File size: 664 Bytes
8dc2612 99a6f51 | 1 2 3 4 5 6 | # 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.
|