Build evidence
BUILD_DONE Status
Mechanical readout for every clause in docs/POLIS.md §10. This surface reports audit state only.
- BUILD_DONE
- FALSE
- Clauses
- 69
- PASS
- 64
- FAIL
- 5
- PENDING
- 0
Source Artifacts
Clause Results
| Clause | Group | Status | Last evaluated | Audit summary |
|---|---|---|---|---|
| T1 | Code | PASS | Release build succeeds for every workspace crate. | |
| T2 | Code | PASS | Workspace tests finish with zero failed and zero ignored. | |
| T3 | Code | PASS | Clippy passes for workspace tests and examples with warnings denied. | |
| T4 | Code | PASS | Workspace cargo check passes for tests and examples. | |
| T5 | Code | PASS | Rust source files stay at or under 500 lines. | |
| T6 | Code | PASS | Functions stay under 30 lines and cyclomatic complexity 10. | |
| T7 | Code | PASS | Main branch contains no denied development markers. | |
| T8 | Code | PASS | Invariant check rejects forbidden social-media symbols. | |
| E1 | Embedders | PASS | The 21-slot slate exists and every slot is loadable. | |
| E2 | Embedders | FAIL | Distinctness audit requires a calibration set of at least 500; real evidence is not present. | |
| E3 | Embedders | FAIL | Marginal-info audit requires calibrated outcome labels; real evidence is not present. | |
| E4 | Embedders | PASS | Frozen embedder compile gate confirms no trainable gradient path. | |
| C1 | Constellation | PASS | Test citizen intake populates all 21 slots. | |
| C2 | Constellation | PASS | Provenance writes one row per slot forward pass. | |
| C3 | Constellation | PASS | Deletion contract purges private state within 24 hours and issues receipts. | |
| C4 | Constellation | PASS | Constellation type exposes no flattening operation. | |
| M1 | Matching | PASS | Utility formula is computable and weights are signed by SARB approval id. | |
| M2 | Matching | PASS | Constellation guard rejects adversarial set with required recall. | |
| M3 | Matching | PASS | Selection pipeline emits valid candidate gatherings for all six formats. | |
| M4 | Matching | PASS | Mistake loop consumes outcomes and updates protected per-citizen heads. | |
| M5 | Matching | PASS | Synthetic 10k-citizen allocation satisfies the Rawlsian floor. | |
| M6 | Matching | PASS | Matching accepts no priority or promotion path. | |
| F1 | Formats | PASS | All six formats have data model, UI, and venue-integration contracts. | |
| F2 | Formats | PASS | All per-format success metrics are computable. | |
| F3 | Formats | PASS | Agora token protocol, eknomos enforcement, and mind-change aggregate are present. | |
| F4 | Formats | PASS | Symposium phone basket and leitmotif card are present. | |
| F5 | Formats | PASS | Festival contract blocks commercial-vendor fields. | |
| F6 | Formats | PASS | Aleatory composition remains pure lot after hard constraints. | |
| L1 | Lifecycle | PASS | Five-step onboarding flow completes end to end. | |
| L2 | Lifecycle | PASS | Three proof-of-personhood modes are supported; KYC document deletion is checked. | |
| L3 | Lifecycle | PASS | Citizen anchoring prevents simultaneous active polises and enforces move delay. | |
| L4 | Lifecycle | PASS | Exit conversation, printed summary, and deletion receipt flow pass. | |
| G1 | Governance | PASS | VRF stratified sortition draws and logs verifiable receipts. | |
| G2 | Governance | PASS | Citizen Assembly state machine convenes, deliberates, tallies, and publishes aggregate. | |
| G3 | Governance | PASS | SARB weight-change approval and halt workflow pass. | |
| G4 | Governance | PASS | Amendment process time locks and revote ratification pass. | |
| G5 | Governance | PASS | Cooperative articles artifact embeds Tier-4 invariants and signed PDF. | |
| G6 | Governance | PASS | Founder precommitment trust template passes. | |
| P1 | Privacy + Security | PASS | Private state AEAD and HSM-emulator encryption contract passes. | |
| P2 | Privacy + Security | PASS | Differential-privacy aggregate enforces epsilon, delta, and min cell size. | |
| P3 | Privacy + Security | PASS | Signal DM stores ciphertext only and requires prior meeting. | |
| P4 | Privacy + Security | PASS | Audit log is append-only and citizen-pullable. | |
| P5 | Privacy + Security | PASS | Breach incident-response drill pages and meets deadlines. | |
| B1 | Business + Venues | PASS | Civic subscription billing has four access-only tiers. | |
| B2 | Business + Venues | PASS | Venue registry, booking, and fee cap pass. | |
| B3 | Business + Venues | PASS | Civic fund ledger and catalyst grant workflow pass. | |
| B4 | Business + Venues | PASS | Financial audit verifies zero ad and data-sale revenue. | |
| I0 | Invariants | FAIL | Invariant all-pass gate remains failed until current audit closure is complete. | |
| H1 | Hardening | PASS | Fourteen hardening-axis checklist passes. | |
| H2 | Hardening | FAIL | Independent pen-test evidence from an external firm is missing. | |
| H3 | Hardening | PASS | Reproducible build evidence passes. | |
| A1 | Assets | PASS | Logo variants are generated and checked. | |
| A2 | Assets | PASS | Brand palette, typography, and spacing are checked. | |
| A3 | Assets | PASS | Design-system component limits and denied primitives are checked. | |
| A4 | Assets | PASS | Required illustration count and categories are checked. | |
| A5 | Assets | PASS | Marketing landing page check passes. | |
| A6 | Assets | PASS | Festival poster template passes. | |
| A7 | Assets | PASS | Wooden speaking token render passes. | |
| A8 | Assets | PASS | Accessibility audit gate for assets and pages passes. | |
| D1 | Deployment | PASS | D1 deployment topology contract passes. | |
| D2 | Deployment | PASS | Local release gate enforces invariant clauses. | |
| D3 | Deployment | PASS | Citizen-data-free observability live check passes. | |
| D4 | Deployment | PASS | Disaster-recovery drill evidence passes. | |
| D5 | Deployment | PASS | Pilot polis and infrastructure evidence pass. | |
| D6 | Deployment | PASS | 100-citizen invite list and outreach plan evidence pass. | |
| X1 | Documentation | PASS | Operator runbook passes. | |
| X2 | Documentation | PASS | Citizen onboarding document passes. | |
| X3 | Documentation | PASS | Welcoming-citizen training guide passes. | |
| X4 | Documentation | FAIL | Legal-reviewed cooperative articles and bylaws evidence is missing. |