DRAFT (do not merge): coherence F2 — invalidate facet counts at input, before the await - #347

Closed

rdhyee wants to merge 2 commits into

isamplesorg:mainfrom

rdhyee:fix/coherence-preawait-invalidation

Commits on Aug 6, 2026

coherence F2: invalidate facet counts at input, before the await

rdhyee
and
claude
committed
1be4ddc
invariant round 2: guarantee a successor on throw; make the verifier unable to false-pass

rdhyee
and
claude
committed
25a3d68