Add Kani formal-verification proofs for the finance programs (+ two program hardenings) - #85

Merged

mikemaccana merged 10 commits into

mainfrom

claude/escrow-kani-tests-i3q98g

Jun 30, 2026

Commits on Jun 29, 2026

Add Kani formal-verification proofs for the escrow program
claude
committed
8bac8b1
Add Kani formal-verification proofs for the token-swap AMM
claude
committed
c479498
Tune AMM Kani proof bounds so the full suite verifies green
claude
committed
d7d6895
Add SessionStart hook to auto-install Kani + order-book Kani proofs
claude
committed
398adea
Add Kani formal-verification proofs for the lending program
claude
committed
ff084e3
Add Kani formal-verification proofs for the betting-market program
claude
committed
ac840ec
Add Kani proofs for the vault-strategy and token-fundraiser programs
claude
committed
6290632

Commits on Jun 30, 2026