Skip to content

Wire the checkpoint invariant predicates - #325

Merged
chris-colinsky merged 2 commits into
mainfrom
chore/wire-checkpoint-invariants
Oct 20, 2026
Merged

Wire the checkpoint invariant predicates#325
chris-colinsky merged 2 commits into
mainfrom
chore/wire-checkpoint-invariants

Reject invariants a checkpoint case never checks

82c0b0e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar