feat(formal): map challenges to native mutants, require witnesses for every semantic case, and check settlement by receipt - #188

Merged

lan17 merged 64 commits into

mainfrom

claude/fault-map

Sep 21, 2026

Commits on Sep 18, 2026

feat(formal): map every model challenge to native mutants in both ports
lan17
committed
573cec7
fix(formal): check every native mutant anchor on each pull request and simplify the mapping table
lan17
committed
7da07ab
refactor(formal): one mutant catalog with per-port sections, anchors checked by the audit, per-mutant crash records
lan17
committed
ad33596
fix(formal): lock the shared process flight registry in M20 and record only this port's sources
lan17
committed
76ba3ef
test(formal): require a generated witness for every semantic case
lan17
committed
2ec10a4
feat(formal): check the causally-ready-v1 settlement contract by receipt
lan17
committed
4952b77
fix(formal): snapshot the reported observation as its wire encoding
lan17
committed
16559e1
fix(formal): record a settlement violation against its mutant and pin the ledger's hold-order rule
lan17
committed
e3bb674
fix(formal): leave portable evidence unmeasured with its component and bind the settlement check as one field
lan17
committed
dd3d2ce

Commits on Sep 19, 2026

Commits on Sep 20, 2026

Commits on Sep 21, 2026

ci(formal): shard the smoke differential across four runners
lan17
committed
84fccb1