- First real protocol harnessed — cf-invariants-jito on Crucible Jito tip-distribution ported from anchor-lang 0.31.1 to 1.0.1, four invariant classes, four planted-bug twins. CI: clean=0, planted≥1 across all four.
- Build update — cf-invariants Cairo suite grows to nine, chimera-template-pack ships Three new Voyager-verified Cairo references on Starknet Sepolia (lending, staking, vesting). A Foundry + Recon Chimera scaffold for stamping contest entries.
- Stateful invariant testing for Solana/Anchor — cf-invariants-anchor on Crucible Anchor IDL in. Crucible-compatible fuzz source out. CI proves it: clean vault passes, planted twin fails.
- cf-invariants — building the missing layer in Cairo testing A Rust CLI sidecar that adds stateful invariant testing to Cairo 2.x. Three reference contracts on Starknet Sepolia, each surfacing a planted bug on cold start.