formal: sync scheduling verification track (P models + Occult) - #1117

Merged

kans merged 12 commits into

mainfrom

kans/formal-verification

Sep 1, 2026

Commits on Aug 31, 2026

formal: sync scheduling verification track (P models + Occult)

kans
and
cursoragent
committed
060a83c
formal: address review round 1

kans
and
cursoragent
committed
7594b61
formal: disposition round-2 findings (independent model reviews)

kans
and
cursoragent
committed
7fb1082
formal: add make targets for the model sweeps and Occult suite

kans
and
cursoragent
committed
41978d6
Makefile: drop 6b-branch chaos patterns that leaked into the formal targets commit

kans
and
cursoragent
committed
a83e4b5
formal: restore the bake-off alarm audit, drop a dead probe fixture

kans
and
cursoragent
committed
3b589b1
formal: make the verdict scripts' exit status carry the verdict

kans
and
cursoragent
committed
f4f39e2

Commits on Sep 1, 2026

formal: round-4 review batch + full-pass validation

kans
and
cursoragent
committed
cf808a6
formal: complete the walker run log's missing scenario-4 section

kans
and
cursoragent
committed
1cac907
formal: close the residual grammar-guard gaps in the verdict scripts

kans
and
cursoragent
committed
0591df9
formal: witness P8's over-deletion clause, guard LoadExpressions, register unwitnessed-clause inventory

kans
and
cursoragent
committed
a64c305
formal: walker log carries its own coverage limit; tc3a_P1 row states the two-shape contract

kans
and
cursoragent
committed
e9c89b7