• First real protocol harnessed — cf-invariants-jito on Crucible 2026-06-03 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 2026-06-02 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 2026-06-02 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 2026-06-01 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.