Authorities: claims/*/status.json, todo/todo.json, ROADMAP.md, RESULTS-LEDGER.md, negative-results/registry.md, claims/GATES.md.
49 claims · T0: 1 · T1: 10 · T2: 1 · T3: 1 · T4: 8 · T5: 10 · T6: 15 · T7: 3 393 reusable results · 388 negative/audit records · 208 registered gates/hypotheses
| Task | State | Claim | Gate | Task summary |
|---|---|---|---|---|
T-054 |
in_progress | — | PA-ROUND1-EVIDENCE-ROLE-AND-MINIMUM-MANIFEST-FREEZE | Pre-A evidence register and candidate-functional tournament |
T-055 |
in_progress | C6-SPACETIME-SIGNATURE | C6-BCC-PREMISE-BLOCKED | Geometry-first truncated-octahedron candidate triage: enumerate realizations and test empty-reference sign before structural use |
T-057 |
in_progress | C6-SPACETIME-SIGNATURE | LEGACY-SELECTIVE-INDEX-AND-ON-DEMAND-REVALIDATION | Selective legacy preservation, retrieval, and gate-by-gate revalidation |
T-059 |
in_progress | — | PA-INVERSE-OBSERVATION-TARGET-MAP-HOLDOUT-FREEZE | Pre-A observation-first inverse constraint and prediction lane |
T-061 |
in_progress | — | PA-INVERSE-OBSERVATION-TARGET-MAP-HOLDOUT-FREEZE | Dynamic-owner and observation-map identifiability intake |
T-063 |
in_progress | — | — | PAH-OMC-020 N2a source-authorized non-coordinate bounded-energy realization audit |
T-064 |
in_progress | — | — | PAH-OMC-020 N2b closability and common-space form realization audit |
T-086 |
in_progress | C6-SPACETIME-SIGNATURE | PA-ROUND1-EVIDENCE-ROLE-AND-MINIMUM-MANIFEST-FREEZE | PAH-OMC-020 minimal ordered-convergence dependency audit |
T-087 |
in_progress | C6-SPACETIME-SIGNATURE | PA-ROUND1-EVIDENCE-ROLE-AND-MINIMUM-MANIFEST-FREEZE | PAH-OMC-020 owner-packet sufficiency bridge for full ordered correlations |
T-090 |
in_progress | C6-SPACETIME-SIGNATURE | PA-ROUND1-EVIDENCE-ROLE-AND-MINIMUM-MANIFEST-FREEZE | PAH-OMC-023 owner-authorized successor admission gate |
T-091 |
in_progress | C6-SPACETIME-SIGNATURE | PA-ROUND1-EVIDENCE-ROLE-AND-MINIMUM-MANIFEST-FREEZE | PAH-OMC-024 anchored-n persistence audit for the R-552 root-multiplicity gap |
T-094 |
in_progress | C6-SPACETIME-SIGNATURE | PA-ROUND1-EVIDENCE-ROLE-AND-MINIMUM-MANIFEST-FREEZE | PAH-OMC-027 source-authorized dynamic form-route packet admission |
T-032 |
blocked | A1-PRODUCTION-KERNEL-MANIFEST | — | Operator-independent certification and main-proof-line decision for the canonical N-001 scalar-slice manifest before any T5 package |
T-048 |
blocked | A11-CLASSII-TRUE-INCREMENT-DETERMINANT-REDUCTION | A11-CLASSII-TRUE-INCREMENT-STABILISED-LOG-LAPLACE | A11: prove the true-increment stabilised relative log-Laplace bound |
Full task ledger: TODO.md. Detailed staged plan: ROADMAP.md.
| Gate | Citing claims |
|---|---|
GAP-3 |
C5-NEWTON-G, E1-HIGGS-EW, E3-GAUGE-COUPLINGS, E4-FERMION-MASSES, E5-CKM-MIXING, E6-PMNS-NEUTRINO |
A6-CLASSII-FULL-FIELD-BARE-CONCENTRATION |
A6-CLASSII-K-COMPOSITE-DEFINITION, A6-CLASSII-UV-POWER-COUNTING, A7-CLASSII-RENORMALISED-ENERGY-COMPOSITE |
GAP-4 |
F1-COSMO-DARK-SECTOR, F2-BARYOGENESIS, F3-INFLATION-CMB |
A10-CLASSII-STABILISED-RELATIVE-LOG-LAPLACE |
A10-CLASSII-RELATIVE-COMMUTATOR-REDUCTION, A9-CLASSII-SMART-PATH-CANCELLATION |
A6-CLASSII-COUNTERTERM-CLOSURE |
A6-CLASSII-K-COMPOSITE-DEFINITION, A6-CLASSII-UV-POWER-COUNTING |
A11-CLASSII-TRUE-INCREMENT-STABILISED-LOG-LAPLACE |
A11-CLASSII-TRUE-INCREMENT-DETERMINANT-REDUCTION |
A13-CLASSII-CONTROLLED-SHELL-ENERGY-ONE-USE |
A13-CLASSII-RELATIVE-PHASE-SOURCE-BUDGET-OBSTRUCTION |
A13-CLASSII-FULL-PROGRESSIVE-REVISIT-EXTENSION |
A13-CLASSII-RELATIVE-PHASE-SOURCE-BUDGET-OBSTRUCTION |
A7-CLASSII-NELSON-EXPONENTIAL-BOUND |
A7-CLASSII-RENORMALISED-ENERGY-COMPOSITE |
A7-CLASSII-SELF-COUPLING-INTERPOLATION |
A8-CLASSII-DECOUPLED-NELSON-BOUND |
C6-BCC-PREMISE-BLOCKED |
C6-SPACETIME-SIGNATURE |
CP-UNITARITY |
D4-QUANTUM-CONSISTENCY |
H-SUPPRESSION-DISCHARGE |
C1-LORENTZ-KIN |
PRED-G-FREEZE |
C5-NEWTON-G |
SCHEME-2LOOP |
C4-GRAVITY-1LOOP |