Verification Status Dashboard
| Status | Meaning | Public Label |
|---|---|---|
| S0 | concept exists | concept |
| S1 | definition drafted | definition drafted |
| S2 | theorem target identified | theorem target |
| S3 | proof sketch exists | proof sketch |
| S4 | formal statement / stub exists | formal stub |
| S5 | mechanical formalization target | mechanically verified |
| S6 | implementation test exists | implementation tested |
| S7 | external review documented | externally reviewed |
| Target | Node | Status | Next Required Step | Route |
|---|---|---|---|---|
| Fabricon Minimal Relational Unit | Fabricon | S5 | Fabrica.Fabricon (3 proofs) | /04-mathematics/formalization-roadmap |
| DFT Invariant-Preserving Digital Fabric | DFT | S2/S6 | architecture axioms & runtime tests | /02-foundations/digital-fabrica-theory |
| SFR Contributor-Invariant Synthesis | SFR | S2 | define synthesis relation | /02-foundations/theory-atlas |
| FQFT Fractal Field Stabilization | FQFT | S5 | Fabrica.FQFT (4 proofs) | /04-mathematics/formalization-roadmap |
| ISP Trace Reciprocity | ISP | S5 | Fabrica.TraceReciprocity (3 proofs) | /04-mathematics/inventions/trace-reciprocity |
| FFE Variational Stationarity & KKT | FFE | S5 | Fabrica.FFE (4 proofs) | /04-mathematics/formalization-roadmap |
| CodexStation Ordinal Execution | CodexStation | S6 | runtime tests + invariant audit | /05-fabrica/kodex |
Status tiers track internal readiness. S5 denotes machine-verified proof in Lean 4 without sorry. They do not imply external validation unless a documented external review record is linked (ACTIVE_P4_SEALS = 0).