Build evidence
Social Media 2 build status
Social Media 2 is operated by the Polis cooperative. This surface reports mechanical audit state for every clause in docs/POLIS.md §10.
- BUILD_DONE
- FALSE
- Clauses
- 89
- PASS
- 70
- FAIL
- 6
- PENDING
- 13
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 real opt-in calibration set of at least 500; synthetic QA manifests are rejected. | |
| E3 | Embedders | FAIL | Marginal-info audit requires real 30-day outcomes; synthetic QA rows cannot satisfy this gate. | |
| E4 | Embedders | PASS | Frozen embedder compile gate confirms no trainable gradient path. | |
| E5 | Embedders | PASS | aiwonder /readyz is green with 23 warm models, covering all 21 slots plus rerank and search-embed; FSV 0810/0811. | |
| E6 | Embedders | PENDING | No-LLM guard exists, but commissioned frozen classifier-embedder evidence for S5-S10, S20, and S21 is still tracked by the open ML-TRAIN issues. | |
| 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. | |
| C5 | Constellation | PASS | Authenticated production event, venue, and host-search routes read a real 21-slot stored Constellation per slot, with no flattening and no public per-citizen explanation. | |
| K1 | Derived Data Abundance — 231-signal layer | FAIL | Production D1 has the cross-term table but 0 real cross-term rows; 210 pairwise terms per real Constellation are not populated yet. | |
| K2 | Derived Data Abundance — 231-signal layer | PENDING | Foundationality scalar Phase-O code/readback exists, but production per-citizen scalar population is not yet proven for BUILD_DONE. | |
| K3 | Derived Data Abundance — 231-signal layer | PENDING | Effective-rank reporting is not yet production-bound to the real DDA signal count. | |
| K4 | Derived Data Abundance — 231-signal layer | PASS | Meaning-compression ratio is computed and surfaced in the meaning-compression dashboard readback from FSV 0804. | |
| 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. | |
| B5 | Business + Venues | PENDING | Stripe immutable webhook ledger, refunds/disputes, and ledger-gap detection remain tracked by open payments/admin issues. | |
| B6 | Business + Venues | PENDING | Business-necessary payment/refund/fraud/tax data policy is partly documented, but full minimized access-controlled disclosure/reconciliation remains open. | |
| W1 | aiwonder ML serving plane | PENDING | Production search embed/rerank runs on aiwonder and Workers AI is disabled, but cross-term and matching compute are not fully proven on aiwonder. | |
| W2 | aiwonder ML serving plane | PASS | Worker-to-aiwonder Tunnel + Access bindings are live; bindings smoke reports aiwonder configured, no missing secret names, and closed breaker state. | |
| W3 | aiwonder ML serving plane | PENDING | aiwonder service is reachable, but the isolated on-box subtree/user/slice/port separation readback remains to be completed. | |
| W4 | aiwonder ML serving plane | PENDING | Zero-data-retention teardown for raw citizen bytes on aiwonder is still tracked by open ZDR issues. | |
| W5 | aiwonder ML serving plane | PENDING | Warm readiness and synthetic weekly-match timing are proven, but the full benchmark set is not yet complete for production BUILD_DONE. | |
| W6 | aiwonder ML serving plane | PENDING | Search vector receipts are stored in Cloudflare, but the full per-inference signed provenance receipt contract for all ML paths remains open. | |
| W7 | aiwonder ML serving plane | PASS | Synthetic 100-journey self-test passed end-to-end with real aiwonder, storage readback, and synthetic calibration exclusion in FSV 0810. | |
| N1 | Admin console + protected root | PENDING | /admin server-side RBAC remains tracked by open admin issues. | |
| N2 | Admin console + protected root | PENDING | Immutable admin audit log and PII-masked UI are not yet complete. | |
| N3 | Admin console + protected root | PENDING | Root account immutability for [email protected] is specified but still requires DB/app guard and route/migration tests. | |
| N4 | Admin console + protected root | PASS | Admin ML ops console surfaces live aiwonder warm, GPU/VRAM, queue, latency, per-slot drill-down, and BUILD_DONE clause status; FSV 0745. | |
| 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 (A) — codex-generated visuals | PASS | Logo variants are generated and checked. | |
| A2 | Assets (A) — codex-generated visuals | PASS | Brand palette, typography, and spacing are checked. | |
| A3 | Assets (A) — codex-generated visuals | PASS | Design-system component limits and denied primitives are checked. | |
| A4 | Assets (A) — codex-generated visuals | PASS | Required illustration count and categories are checked. | |
| A5 | Assets (A) — codex-generated visuals | PASS | Marketing landing page check passes. | |
| A6 | Assets (A) — codex-generated visuals | PASS | Festival poster template passes. | |
| A7 | Assets (A) — codex-generated visuals | PASS | Wooden speaking token render passes. | |
| A8 | Assets (A) — codex-generated visuals | 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. |