Security
Testing methodology
How the contracts are tested before anything reaches mainnet.
Toolchain
Foundry for unit, fuzz and invariant tests; a local fork of Robinhood Chain for integration runs against real Chainlink feeds and Stock Tokens.
Test layers
| Layer | Purpose |
|---|---|
| Unit | One function, one rule |
| Fuzz | Random inputs within bounds |
| Invariant | Random sequences, global properties |
| Fork | Real feeds, real tokens, real gas |
Unit conventions
Each revert has a named test. Amounts use the real decimals of each asset.
Fuzz properties
- Coupon rate always within the band.
- Matched notional never above either side or the cap.
- Refund plus matched equals deposit.
Coverage
Line and branch coverage reports will be published with the mainnet release.
Static analysis
See Static analysis.
Reviews and audits
See Audits. No external audit is complete yet.