urt-rs / docs /research /QVM_EXIT_CLASS.md
nmarshall's picture
qvm: recover exit class guard
6a55e9b
|
Raw History Blame Contribute Delete
642 Bytes

Original exit-rule mode11 class guard and scan bound

RE-826. Reproduce with python3 scripts/analyze_qvm_exit_class.py; focused validation: cargo xtask test-group exit-class. Machine report.

45 source guard fixtures cover state/team/class boundaries, empty/non-mode11 paths, multiple offenders,64-slot scans and configured count truncation. Independent tests verify exact captured format/send/reason arguments and first-offender ordering. The stage deliberately stops before the remaining exit policies.

Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.