Concordia Judge Walkthrough

Proposal DAO-PROP-6CB25C

Canonical reviewer receipt e926582f3dacd05d9bd59a4fe0ae3c3c884ad57f23ab7318925cef34c286d852

Canonical contract hash-a8640466af8c72fdcb8d9bb85bf445903ce5969fd9a7e7cb08179ffd5caa42f1

Quorum proof 9d631fe1c925cd4991180b1a794e8b69f061a33033e372273ffadcaf9efe2928

Supplemental dynamic lifecycle proof DAO-PROP-DYN-002 68fd77bc4f59f56cb7fb7310d3cbc525ffbfbe87ffda70b51bfd55985e4040e0

Supplemental dynamic argument source supplemental_dynamic_execution_artifact

Browser wallet receipt 56b6ea6ccaae4d79221ca63a259f508b13a15679ef4984e87d158fbfbe4f12bf

x402 payment dcb35f4295909b1c87d07b7f4d02ab95afef99d2d4cdddee961c8f5ca6d4914c

IPFS CID bafkreih4jw6ntzydjudnlcbge3pehxufrj2pvydzx5hnzc3e4n4qhahfyq

Technical jury note https://concordia.47.84.232.193.sslip.io/technical-jury-note

Canonical proof is frozen for reproducibility; dynamic proposals are preview/execution-ready unless fully evidenced and signed; full cross-contract production enforcement is roadmap, not overclaimed.

Concordia DAO Council is the Casper governance firewall for AI-run DAOs: Dissent Receipts preserve Verity's objection, Locke is bound to the exact approved hash, and browser-wallet quorum is proven on-chain when execution is reverted before quorum and accepted after quorum.

DAO Treasury Demo
Council mesh Connected
—
CD
90-second review pathDAO-PROP-6CB25C

Judge Walkthrough

Concordia DAO Council is the Casper governance firewall for AI-run DAOs: Dissent Receipts preserve Verity's objection, Locke is bound to the exact approved hash, and browser-wallet quorum is proven on-chain when execution is reverted before quorum and accepted after quorum.

Canonical CSPR.live ReceiptAudit PacketCertificatePDF Certificate
Interactive adversarial replay

Try to break the council

ready
This controlled replay never signs or broadcasts a Casper transaction. It shows the deterministic gateway refusing payloads that do not match the approved DAO Mandate.
ON-CHAIN REJECTED / ACCEPTED

The chain enforces the quorum

Same envelope, same contract — the only difference is quorum. Verifiable by anyone.

Rowan, Proposal SentinelRowanProposal Sentinel
Mercer, Treasury Intelligence AgentMercerTreasury Intelligence Agent
Verity, Risk & Legal AgentVerityRisk & Legal AgentDissent receipt
Alden, Protocol Strategy AgentAldenProtocol Strategy Agent
Locke, Casper Execution AgentLockeCasper Execution AgentExecution receipt
Wells, Governance ArchivistWellsGovernance ArchivistArchive
What judges should experience

Demo hook

A malicious AI tries to push an unsafe 30% treasury allocation. Concordia catches the violation, Verity challenges it with Dissent Receipts, the DAO Mandate caps it to 8%, Locke can execute only the exact approved hash, and browser-wallet quorum proves the same action is reverted before quorum and accepted after quorum.

Optional reviewer interaction

Live wallet / testnet sandbox

Preview first

Judges can inspect wallet connectivity, typed Casper runtime args, and optional Casper Wallet testnet signing from the On-chain proof section. This never mutates the canonical DAO-PROP-6CB25C proof unless an advanced testnet action is explicitly signed.

1. Connect wallet2. Confirm casper-test3. Preview typed args4. Optional testnet sign
Open Wallet SandboxRecorded Wallet Receipt
One coherent story

Ordered proof path

1
Risky proposal

A treasury proposal requests 30% allocation.

proof
2
DAO Constitution

The policy cap allows only 8%.

proof
3
SafePay Lite

Concordia verifies a paid specialist report before including it in the proof.

verified
4
Invariant runner

Machine checks catch cap, quorum, tamper, replay, duplicate proof, and policy mismatch failures.

passed
5
Verity dissent

The challenge and dissent hash are preserved.

proof
6
DAO Mandate

Locke executes only the approved DAO Mandate, never free-form LLM output.

proof
7
Quorum approval

Supplemental quorum proof confirms the safe envelope path.

proof
8
Locke execution

Only the approved mandate is anchored to Casper.

proof
9
Public proof

CSPR.live, IPFS, proof pack, certificate, and verifier close the loop.

proof
Reviewer links

Proof shortcuts

Evidence ChainIPFS ArchiveProof Pack JSONTrace APIPDF Certificate
Bounded authority

DAO Mandate

Locke mandate only
Allowed actionexecute_casper_governance_receipt
Networkcasper-test
Entry pointstore_governance_receipt
Allocation30.00% requested → 8.00% cap
Mandate hashLoading…
Locke executes only the approved DAO Mandate, never free-form LLM output.
Machine-verifiable checks

Invariant runner

30% allocation violates 8% capdeterministic check
passed
no quorum blocks executiondeterministic check
passed
tampered envelope hash rejecteddeterministic check
passed
duplicate x402 proof rejecteddeterministic check
passed
old nonce/replay rejecteddeterministic check
passed
LLM numeric mutation ignoreddeterministic check
passed
policy hash mismatch rejecteddeterministic check
passed
No fake success

SafePay Lite

verified
Payment proofdcb35f4295909b1c…5ca6d4914c
Report hashverified
Duplicate proofrejected
Provider reputation delta+1
SafePay Lite verifies Casper payment and report hash before the specialist report is treated as proof.
Concrete non-canonical RWA run

RWA evidence packet

DAO-PROP-RWA-001 · RWA_INVOICE_POOL_ONBOARDING
Face value$125,000
Maturity60 days
Debtor risk58
Issuer score72

Outcome: ESCALATED_TO_HUMANS. This RWA packet has its own supplemental receipt when shown, but it is not the canonical Casper proof.

Audit exports

Downloads

Download audit pack
Governance archivecards.csvoutcomes.csvproof_table.csvreputation.csvcasper_receipts.csvx402_settlements.csv