| # Original inactivity policy and ordered warning timeout effects | |
| RE-978. Focused validation: `cargo xtask test-group qvm-client-inactivity`. [Machine report](qvm-client-inactivity.json). | |
| A120-case source contract executes actual150382 through all bounded policy branches: protected entities, disabled config, pause anchoring, signed movement bytes/attack, dead-client deadline extension, exemptions, warnings and timeout. Word arithmetic wraps before signed comparisons. Mode1 requests callback183102 with team string s, then a message; other modes request a drop. Native effects remain captured; source deadline/warning fields and supplied health are verified. | |