RUNNABLE EXAMPLES
Evidence, not just instructions.
Seven protocol recipes with pinned identities and successful isolated-fork paths. No public transactions or deployment.
| Protocol manifest | Demonstrated local path |
|---|---|
| Pharaoh | Current CL WAVAX → USDC swap |
| Aave V4 | Main and tokenized USDC supply / withdrawal |
| LFJ | Liquidity Book v2.2 WAVAX → USDC swap |
| Blackhole | Algebra V2 WAVAX → USDC swap |
| Silo | Market 103 deposit / withdrawal |
| Euler | Selected EVK deposit / withdrawal |
| BENQI | Core supply / redemption; sAVAX stake / unlock request |
Reproduce the work
- Complete source and executable bundle
- Setup and commands
- Capability matrix and limits
- Contract → browser → canonical index
- Real Noir proof → Solidity verifier
- Standards and registry observations
- Independent agent artifact evaluation
- Scoped internal read-only review
Funded Silo/Euler borrowing, mature sAVAX redemption, governance/claims, real wallet-extension compatibility and public deployment are outside demonstrated execution. Local fork results are dated observations, not live quotes or audits.