Verification Evidence
Derived from the frozen Othvera closure freezes (L1–L6). These are internal validation results recorded on Solana Devnet — not an independent security audit, and not a claim of production or mainnet readiness.
Successor-stack fuzz
1,000,000 deterministic model-fuzz cases over the successor trust boundaries; all violation counters zero.
Live Squads 3-of-5 + generation-bound proof closure
A real on-chain Squads v4 3-of-5 governs Registry V3 from genesis; generation-bound stale-approval and stale-proof rejection proven live.
Vault binding reach
The generation-bound binding reaches the vault layer; legacy bindings rejected at the successor identity gate.
Real economic lifecycle
Real full-basket deposit mints canonical shares; proportional in-kind redemption burns them; solvency holds; legacy bindings rejected on the real economic vault.
Oracle-driven rebalance safety
Oracle-driven rebalance starts on live drift; deposits are locked during rebalance; redemption stays available; abort preserves custody and supply.
Real adapter leg + route firewall
A real adapter-mediated rebalance leg executes with exact spent/received accounting; the P8D route firewall rejects wrong adapter, custody, tail-injection, and discriminator with zero state mutation.
Each adversarial and safety counter recorded during closure. Every counter is expected to be zero; a non-zero value is a failure, not a pass.
| Invariant | Value | Expected | Status |
|---|---|---|---|
| unauthorizedGovernanceSuccesses | 0 | 0 | OK |
| singleKeyGovernanceBypassSuccesses | 0 | 0 | OK |
| staleApprovalProofSuccesses | 0 | 0 | OK |
| staleProofBindingSuccesses | 0 | 0 | OK |
| legacyBindingCanonicalActivations | 0 | 0 | OK |
| wrongBindingAccepts | 0 | 0 | OK |
| unauthorizedShareMintSuccesses | 0 | 0 | OK |
| custodySideEffects | 0 | 0 | OK |
| insolvencyEvents | 0 | 0 | OK |
| arbitraryCpiSuccesses | 0 | 0 | OK |
| routeFirewallDifferences | 0 | 0 | OK |
| spentReceivedParityDifferences | 0 | 0 | OK |
| mainnetTransactions | 0 | 0 | OK |
| Freeze | Hash |
|---|---|
| L1 | 4fda54f72b8dfbba |
| L2 | 97df525fe442ffc8 |
| L3 | 398b19c75dbccf75 |
| L4 | ce742c646eafb8fb |
| L5 | caad480ea1bbce49 |
| L6 | f229a7bdf33edfbd |
Evidence snapshot generated: 2026-08-29T03:30:02.386Z
These results were produced by internal Othvera validation on Solana Devnet. Internal validation is not an independent audit. Verify hashes and addresses independently.