Roadmap | CaliperForge

Solana / Anchor

Solana VM · Anchor · Crucible

cf-invariants-anchor: Crucible/Anchor invariant harness

cf-invariants-jito: tip-distribution harness

cf-invariants-jito-tippayment: tip-payment harness

cf-invariants-jito-priorityfee: priority-fee harness

cf-invariants-pyth: oracle-class protocol harness

Atlas C3: Cashio account-validation twin (~$50M, Mar 2022)

Atlas C4: Mango Markets oracle-freshness twin (~$117M, Oct 2022)

Atlas C5: Loopscale collateral-oracle-bound twin (~$5.8M, Apr 2025)

SVS-1 (Solana Vault Standard): share-price monotonicity harness

Helium lazy-distributor harness: DePIN sector reward-epoch conservation

StreamFlow token-vesting harness: schedule-monotonicity class

AI invariant suggester CLI v1: reads Anchor IDL, emits property-test stubs

Atlas C9: oracle-price-manipulation class (2026 exploit class)

Authoring layer v2: exploit-annotated AI suggestions (sequenced after CLI v1)

Starknet / Cairo

Starknet VM · Cairo 2.x · snforge

cf-invariants: 12-class reference suite, Sepolia-verified

snforge PR #4409: upstream tooling contribution

Additional reference contracts (expanding coverage)

Starknet mainnet harness

13th Cairo invariant class: first real-protocol Starknet harness

snforge stateful-fuzz integration maintenance (opportunistic)

Atlas C-Cairo expansion: 2nd Cairo case (gated on a new citable post-mortem)

Exploit → Invariant Atlas

Cross-chain · Reference library

Atlas v0.1: 7 cases across Cairo, Move, Solana, EVM

Apart "Lost in Translation?" paper (2026-06-20)

BNB invariants whitepaper, published at /papers (2026-06-27, submitted 06-28)

Cross-layer settlement-boundary case (C8, Aztec class)

Atlas v0.2: C8 + C9 + additional class, targeting 10 cases across 4 VMs

Atlas methodology arXiv preprint: extends Apart paper into a full Atlas-methods paper

EVM / HyperEVM

EVM · Solidity · Foundry · Recon Chimera

hyperevm-safety: 6 HyperCore-boundary invariants (v0.1)

cf-invariants-verus-bridge-conservation: lock/mint bridge CI

chimera-template-pack: Foundry + Recon Chimera scaffold

bsc-invariants: BSC invariant harness, public + CI-green (2026-06-28)

Atlas C8 cross-layer settlement twin (see Atlas track)

EVM-reuse trio: Uniswap Foundation, Aave, Taiko (grant-queued, harness reuse from bsc-invariants)

EVM oracle manipulation invariant suite

HyperEVM D-6 RollupSettlementWindow: generalizes Aztec proof-vs-settlement class

EVM AI fuzz-to-invariant lifter: Foundry fuzz suite to invariant stubs

AI-safety evals

Internal gate system + public record

Gate system: §4a content QA + §4b code quality + CEO-Hold

Self-correction record: public at /what-we-caught

Apart paper: cross-model, cross-language auditor eval (2026-06-20)

cf-modeleval evidence gate (v1 build in progress)

Schmidt Sciences submission (Aug 8 deadline, drafting)

LTFF application (in-flight)

cf-modeleval v1: AI-safety certification artifact + GitHub Action

Design-partner onboarding cohort (gated on v1 evidence gate)

Sui / Move

Sui VM · Move language

cf-invariants-move: Move invariant harness (Sui Devnet)

Atlas C2: Cetus overflow-safety + liquidity conservation (~$223M, May 2025)

Sui devnet deploy: publish cf-invariants-move to produce a public package ID

Sui Security Expansion outreach: cold reach to security@sui.io with Move methodology

Move harness v2: second real Sui protocol (gated on license + toolchain check)

What we are building.

Invariant research coverage across chains and VMs.

Reach out to scope.