Repository navigation

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

Closed

DRAFT (do not merge): coherence F2 — invalidate facet counts at input, before the await#347
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