Skip to content

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

Draft
rdhyee wants to merge 2 commits into
isamplesorg:mainfrom
rdhyee:fix/coherence-preawait-invalidation
Draft

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

invariant round 2: guarantee a successor on throw; make the verifier …

25a3d68
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
smoke
succeeded Aug 6, 2026 in 56s