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.
Audit candidate + external security review package
Reviewer-ready package assembled internally: candidate drift 0, source drift at packaging 0, deployment hash mismatches 0. Does not constitute an independent security audit.
External review procurement + grant/legal readiness
Reviewer procurement, grant package, legal review package, corporate checklists, and tracking prepared internally. No reviewer selected, no independent review completed, no legal conclusions made, no gate advanced.
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 |
Audit candidate + external security review package
Reviewer-ready package assembled internally: candidate drift 0, source drift at packaging 0, deployment hash mismatches 0. Does not constitute an independent security audit.
Package root (off-chain): 5280a91817666cd65468b8821373bab34049ba9e8e9963ecc6c427ec2250aa85
ZIP SHA-256 (off-chain): 727e5a5738bdbb416a98b39d5f636e542bb9bea92018062677acff6f7e60eec2
Review procurement + grant/legal readiness
Reviewer procurement, grant package, legal review package, corporate checklists, and tracking prepared internally.
Limitations: no reviewer selected yet · no independent review completed · no legal conclusions made · grant budget still awaits a real auditor quote · no gate advanced.
| Item | Status | Detail |
|---|---|---|
| P11.13A — Audit-readiness package | PASS | Reviewer-ready audit package assembled internally. Not an independent audit. |
| P11.13B — Review procurement + grant/legal readiness | PASS | Procurement, grant, legal, and corporate readiness materials prepared internally. |
| Audit-readiness package | PASS | Source-locked, hash-pinned reviewer package complete. |
| External review procurement | PASS | Frozen scope, quote request, and reviewer tracking prepared. No reviewer selected. |
| Grant application | PARTIAL | Complete except the auditor budget figure — TBD, pending written quotes. |
| Legal review package | PASS | Counsel brief and questions prepared. No legal conclusions drawn; not legal clearance. |
| Freeze | Hash |
|---|---|
| L1 | 4fda54f72b8dfbba |
| L2 | 97df525fe442ffc8 |
| L3 | 398b19c75dbccf75 |
| L4 | ce742c646eafb8fb |
| L5 | caad480ea1bbce49 |
| L6 | f229a7bdf33edfbd |
Evidence snapshot generated: 2026-08-29T15:30:00.000Z
These results were produced by internal Othvera validation on Solana Devnet. Internal validation is not an independent audit. Verify hashes and addresses independently.