fix: add unwind(4) to normalize Kani proofs (CI timeout)#266

Merged

brandon-coproduct merged 3 commits intomainfrom

fix/kani-unwind-normalize

Mar 20, 2026

Commits on Mar 17, 2026

fix: add unwind(4) to normalize_idempotent and normalize_deflationary Kani proofs

committed
perf(ci): split constitutional Kani into fast/full tiers + add unwind(5)

committed
feat(ck-kernel): two-tier Kani architecture — bitmask fast + BTreeSet nightly

committed