caliperforge

CI-native planted-twin regression harness for the x402 agentic-payments settlement threat model. Reference facilitator deployed and exercised on Base mainnet + Sepolia; receipts in docs/basescan/. Apache-2.0.

Defender-side stateful invariant harness for Euler Earn allocator + vault share accounting. Clean/planted twin pair against the Pashov Audit Group M-01 finding (2025-07-25) and Euler's fix commit. Real Euler Earn contracts (pinned submodule); no mocks except Euler Earn's own EVault strategy fixture. GPL-2.0-or-later.

Invariant harness for Jito tip-distribution on Solana / Anchor, on top of Crucible. CI-verified clean / planted twin.

An invariant-fuzzing harness for the Pyth Solana Receiver, run on Crucible

An invariant-fuzzing harness for the Jito priority-fee-distribution program, running on Crucible. Third Jito program under the same anchor-lang 1.0.1 / Crucible v0.2.0 rails as cf-invariants-jito / cf-invariants-jito-tippayment.

Invariant harness for the Jito tip-payment program on Crucible v0.2.0. Sibling artifact to `cf-invariants-jito`.

Open-source library of CI-runnable planted-twin reproductions for the x402 agentic-payments threat model (clean/planted pairs, INVARIANT VIOLATED marker convention, 16-seed reachability certification).