Epic: Mainnet Readiness & Financial Safety
Summary
Engage a reputable Soroban/Rust auditor to review both contracts and publish the report.
Background & Problem
The contracts hold user points redeemable for real assets. 182 unit tests + fuzzing + Kani are strong but are not a substitute for an independent audit before custody of value.
Impact / Why it matters
Audit is table-stakes for mainnet credibility and for most grant/exchange integrations.
Proposed Approach
Acceptance Criteria
Filed as part of the mainnet-readiness & world-class roadmap. Scope is intentionally small enough for one focused PR; comment to claim.
Summary
Engage a reputable Soroban/Rust auditor to review both contracts and publish the report.
Background & Problem
The contracts hold user points redeemable for real assets. 182 unit tests + fuzzing + Kani are strong but are not a substitute for an independent audit before custody of value.
Impact / Why it matters
Audit is table-stakes for mainnet credibility and for most grant/exchange integrations.
Proposed Approach
Acceptance Criteria
docs/audits/.Filed as part of the mainnet-readiness & world-class roadmap. Scope is intentionally small enough for one focused PR; comment to claim.