 swung0x48
|
2fafe1f438
|
[docs] (P7): CONTRACT-P7 7.2 records the ID-P7-62 nondeterministic-monolith amendment, and the window-2 RUNBOOK its ruling, re-reductions and bliss's pass rate under monolith x3
|
2026-09-23 19:34:03 -04:00 |
|
|
swung0x48
|
9d026e1ab6
|
[tools] (P7): gate 3 runs the monolith x3 and 60-reduce.py judges a case whose same-session monolith is not bit-identical by the ID-P7-62 distributional check
|
2026-09-23 19:34:03 -04:00 |
|
|
swung0x48
|
2069887874
|
[tools] (P7): the window-2 reducer takes an adjudicated lost CTS case out of its block's rate on both sides and prints it ADJUDICATED
|
2026-09-23 17:48:25 -04:00 |
|
|
swung0x48
|
8f3d179ced
|
[tools] (P7): window-2 reducers enforce the contract's repeats, arms and case set, and gate Pass-to-NotSupported losses
|
2026-09-23 17:04:14 -04:00 |
|
|
swung0x48
|
32cc68fa59
|
[tools, docs] (P7): window 2 holds the shared device lock and marks a CTS block done only when it is a complete reading
|
2026-09-23 14:39:40 -04:00 |
|
|
swung0x48
|
5a844b1e50
|
[tools] (P7): window-2 reducer never passes an empty, unrateable or subset reading, and its rate gate is tested
|
2026-09-23 14:39:40 -04:00 |
|
|
swung0x48
|
6b8690f1d5
|
[tools] (P7): window-2 reducers follow the contract formula, require every block and one boot session
|
2026-09-23 14:39:40 -04:00 |
|
|
swung0x48
|
cf54962a61
|
[tools, docs] (P7): window 2 restore stops the replay leftovers and rides out the vendor boost
|
2026-09-23 14:39:40 -04:00 |
|
|
swung0x48
|
09e98055b6
|
[tools, docs] (P7): device window 2 runbook and scripts
|
2026-09-23 14:39:40 -04:00 |
|