DAO Treasury Demo
Council mesh Checking...
CD
Frozen for reproducibility

Canonical proof

The canonical reviewer proof is DAO-PROP-6CB25C. It remains fixed so judges can verify the same evidence chain, Casper receipt, IPFS archive, recorded SafePay Lite proof, and certificate without the proof hierarchy shifting during review.

Additional evidence, not replacement

Supplemental proofs

Quorumv2 quorum-enabled contract proves pre-quorum rejection, wallet approval, and final post-quorum receipt.
WalletRecorded browser wallet receipt demonstrates custody path without making the demo depend on a judge wallet.
DynamicSupplemental dynamic proposal proves reusable receipt execution while the canonical proof stays frozen.
x402 · CASPER-TRANSFER · RECORDED SETTLEMENTCasper-native x402 v2 is deployed. The public endpoint exposes a live HTTP 402 challenge, and a recorded Casper Testnet casper-transfer settlement finalized successfully. No external facilitator service is claimed.
Two real GovernanceReceipt iterations plus supplemental topology

Smart contract proof table

SurfaceProposal / dateProof hashReviewer meaning
Canonical reviewer proofDAO-PROP-6CB25Ce926582f3dac…c286d852Frozen reproducible Casper receipt
v1 GovernanceReceipt contractJun 29hash-a864046…5caa42f1Receipt anchor used by canonical reviewer proof
Browser wallet receiptDAO-PROP-6CB25C56b6ea6ccaae…be4f12bfRecorded Casper Wallet custody path
Quorum-enabled v2 proofDAO-PROP-6CB25C9d631fe1c925…9efe2928Supplemental receipt after quorum approval
Supplemental dynamic executionDAO-PROP-DYN-00268fd77bc4f59…5e4040e0Reusable engine proof, not canonical
SafePay Lite (recorded V1 native-CSPR)DAO-PROP-6CB25Cdcb35f429590…a6d4914cHistorical payment and duplicate-proof rejection evidence
IPFS archiveDAO-PROP-6CB25Cbafkreih4jw6…4qhahfyqPinned governance archive CID
Reusable engine, controlled execution

Dynamic preview boundary

Non-canonical proposals can build dynamic preview artifacts and testnet intent previews when evidence exists. They are not automatically advertised as canonical executed proofs unless a processed Casper transaction is captured and listed in the proof table.

This avoids fake success states while still showing how the verifier, invariant runner, DAO Mandate builder, and wallet intent packager generalize.
No overclaiming

Live vs roadmap

AvailableCanonical receipt, Proof Center, Judge Walkthrough, browser wallet receipt, quorum proof, Casper-native x402 v2 payment intent, recorded V1 native-CSPR SafePay Lite evidence, IPFS archive, PDF/HTML certificate, and verifier artifacts.
SupplementalOdra topology genesis and dynamic proposal receipts are supporting proofs, not replacements for the canonical reviewer proof.
RoadmapFull cross-contract production enforcement, enterprise IAM/durable queues, and SSE finality pipeline remain launch-plan work.
One-command reviewer checks

Verifier commands

Show local verification commands
uv run pytest -q tests/ -q
uv run python scripts/verify_concordia_receipt.py artifacts/live/casper-final-receipt-proof.json
uv run python scripts/check_canonical_consistency.py
uv run python scripts/redaction_check.py