model: DevheadGuard.tla sha256=d28b7d15218c391937c381fdae1e8d23bdc8477b2b2df09f3cac17fda6a39566
DevheadGuard_design cfg_sha256=dad58959575ce34bab95fdee9a72b20556704b3a8386946d5c78575550cc3403 result=PASS
DevheadGuard_design_flaky cfg_sha256=475a491811c064889c6083ca479d5f73bd840af66aa9997a1901ba967d92bd00 result=PASS
M1_p1_no_idempotency cfg_sha256=1b4f363a62729993319981b864bf4859055bfc25f63dabc5a61c8b20623fc8b7 result=VIOLATED AtMostOneRevertPerCulprit
M2_p2_self_only cfg_sha256=ac52676e06ff873c8790e7d871192e3b8f4a833a7a39a4622deca3bd09eaf65e result=VIOLATED RevertOnlyForBrokenMerge
M3_p3_no_gate cfg_sha256=107c936bd9ef01bb429a6c488c12d9670be12f920f059b589a546d094e53cad5 result=VIOLATED NoFixAndRevertBothLandWithoutCheck
M4_p4_no_release_on_crash cfg_sha256=465bb82b966ffbccae9bcc0c71cdf3ce0d6fb57fc735f85c01afe77060461370 result=VIOLATED SlotReleasedOnExit
M5_p5_no_deadline cfg_sha256=1c06004051901b302233afebb976c27914efec736f6e632064ac34dac9076037 result=VIOLATED RedReachesGreenOrEscalated
