TIndex
Theorem index
72 unique theorem-class IDs (T-…) extracted across ULR, SCC, ONN, papers, and notes. Each row links to the first document that names the ID.
#
- T-6-StabilitySCC Theorem Registry
… C-0006b | P-0006b | E-0006 | Closure FP is attracting in stability metric | | **T-6-Stability** | Stability of Closure FP | accepted | A | C-0006c | P-0006c | E-0007 | Full …
SCC archive
- T-6aSCC Theorem Registry
… C-0003 | P-0003 | E-0003 | Hessian positive on interior; local stability | | **T-6a** | Closure Fixed Point (Existence) | accepted | A | C-0006a | P-0006a | E-0005 …
SCC archive
- T-6bSCC Theorem Registry
… ted | A | C-0006a | P-0006a | E-0005 | u* = Cl_t(u*) ∃ for all parameters | | **T-6b** | Closure Fixed Point (Stability) | accepted | A | C-0006b | P-0006b | E-0006 …
SCC archive
- T-8-CoreSCC Theorem Registry
… C-0007 | P-0007 | E-0008, E-0009 | Residence time > expected near saddle | | **T-8-Core** | Phase Transition (Core Dominance) | accepted | A | C-0008 | P-0008 | E-0010 …
SCC archive
- T-8-FullSCC Theorem Registry
… C-0008 | P-0008 | E-0010, E-0011 | Binuclear → mononuclear at critical β | | **T-8-Full** | Phase Transition (Global) | accepted | A | C-0009 | P-0009 | E-0012, E-0013 …
SCC archive
- T-11SCC Theorem Registry
… A | C-0009 | P-0009 | E-0012, E-0013 | Full energy landscape bifurcation | | **T-11** | Γ-Convergence | accepted | A | C-0011 | P-0011 | E-0014 | Variational conve …
SCC archive
- T-14SCC Theorem Registry
… ed | A | C-0011 | P-0011 | E-0014 | Variational convergence under scaling | | **T-14** | Gradient Flow | accepted | A | C-0014 | P-0014 | E-0020:E-0022 | Gradient d …
SCC archive
- T-20SCC Theorem Registry
… C-0014 | P-0014 | E-0020:E-0022 | Gradient descent converges to minimizer | | **T-20** | Axiom Consistency | accepted | A | C-0020 | P-0020 | E-0025 | Axioms A1–E m …
SCC archive
- T-σ-InheritPerception · W6 — Observer Moduli Space
… 05-OBS partially resolved. Alongside these promotions, T-Temporal-Identity and T-σ-Inherit were developed as working Cat B candidates with numerical anchors (exp83 4/4, e …
Journal
- T-σ-Lemma-1SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… 4B/5C/5R on W5 Day 1 G0 (2026-04-27) with the σ-framework supporting structures T-σ-Lemma-1/2/3 + T-σ-Theorem-3/4 — 57 claims total, 75% fully proved. Further upgraded to …
SCC archive · +7 more
- T-σ-Lemma-2SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… rily on $T_{u^*} \Sigma_m$. *Status:* **Proved**, Cat A. *(C-0712, P-0712.)* **T-σ-Lemma-2. σ-Framework Nodal Count Properties.** *(New, W5 Day 1 G0, 2026-04-27.)* For $\ …
SCC archive · +5 more
- T-σ-Lemma-3SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… ved (i)-(iv) Cat A**; (v)-(vi) **Cat C riders bundled**. *(C-0713, P-0713.)* **T-σ-Lemma-3. Goldstone–ℓ=1 Angular Saturation.** *(New, W5 Day 1 G0, 2026-04-27.)* In the c …
SCC archive · +5 more
- T-σ-Multi-1SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… A entries) + V5b-T-zero (Cat A def) + T-σ-Theorem-4 retroactive Cat A → Cat B + T-σ-Multi-1 / V5b-F-empirical (Cat B targets). Further upgraded to 46A/5B/5C/5R = 61 claims …
SCC archive · +5 more
- T-σ-multi-ASoft Cognitive Cohesion — Canonical Specification (CV-1.11)
… emma-1/2/3 + T-σ-Theorem-3** (W5 σ-framework), **T-Commitment-14-Multi-Static / T-σ-multi-A/D-Static** (CV-1.5.1 Multi-Static cluster), **V5b-T-zero**, **T-L1-F** (CV-1.5. …
SCC archive
- T-σ-multi-A-StaticSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… \circ}_M$ per Option A; corner-saturated regime open per OP-0008 + OP-0009). **T-σ-multi-A-Static. Multi-Formation σ-A Component (Static).** *(New, CV-1.5.1, 2026-04-29.)* σ-A c …
SCC archive · +5 more
- T-σ-multi-D-StaticSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… gime (T-Persist-K-Weak overlap; per-block Hessian no longer block-diagonal). **T-σ-multi-D-Static. Multi-Formation σ-D Component (Static).** *(New, CV-1.5.1, 2026-04-29.)* σ-D c …
SCC archive · +5 more
- T-σ-Theorem-3SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… 1 G0 (2026-04-27) with the σ-framework supporting structures T-σ-Lemma-1/2/3 + T-σ-Theorem-3/4 — 57 claims total, 75% fully proved. Further upgraded to 45A/5B/5C/5R = 60 cl …
SCC archive · +7 more
- T-σ-Theorem-4SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… (2026-04-29) via D-6a Multi-Static (3 Cat A entries) + V5b-T-zero (Cat A def) + T-σ-Theorem-4 retroactive Cat A → Cat B + T-σ-Multi-1 / V5b-F-empirical (Cat B targets). Furt …
SCC archive · +8 more
A
- T-A2SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… from $\max \sigma' = 1/4$. A1 failure from $\sigma^{-1}(0.9)/z > 4$. *(R4.)* **T-A2. Monotonicity of Sigmoid Closure.** $u \leq v$ pointwise $\implies \mathrm{Cl}_ …
SCC archive · +2 more
- T-ACT-KERNEL-COMPSCC — Final Sealed Status (May 2026, CV-1.17) — HISTORICAL
… (2026-05-13/14, W7 D4) — SEAL** intermediate audits of CV-1.14 reserved state; T-ACT-KERNEL-COMP→REL registered with explicit forward-reference (conditional lift queued). - **C …
SCC archive · +1 more
- T-Ax1SCC Canonical Spec — Part 1: Foundations & Formal Universe
… r $\mathbf{T}_t$, which appeared in the formal universe and carried two axioms (T-Ax1, T-Ax2), had zero realizations, zero theorems, zero energy terms, and zero pred …
SCC archive
- T-Ax2SCC Canonical Spec — Part 1: Foundations & Formal Universe
… hbf{T}_t$, which appeared in the formal universe and carried two axioms (T-Ax1, T-Ax2), had zero realizations, zero theorems, zero energy terms, and zero predicate r …
SCC archive
B
- T-Beyond-WeylSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… neral graph case incomplete; requires Cheeger/spectral clustering analysis.) **T-Beyond-Weyl. Structured Spectral Perturbation Bound for Multi-Formations.** The joint K-for …
SCC archive · +4 more
- T-BindSCC — Research Status Snapshot (April 2026, W5 Day 1 G0 close, CV-1.5) — HISTORICAL
… i-formation Cat A), and the 2026-05-04 audit (test count 175 → 215 + 1 xfailed, T-Bind Phase 13 confirmation, NQ-187 continuum-vs-discrete caveat, `open_problems.md` …
SCC archive · +1 more
- T-Bind-FullSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… 1)** per Phase 13 Erratum 2026-04-07 + W6 G2 audit reconciliation 2026-05-04. **T-Bind-Full** is **Cat A as a corollary of T-Bind-Proj**. Both entries were physically pres …
SCC archive · +4 more
- T-Bind-ProjSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… cordingly. ### OP-0010 status update (CV-1.5.2 / W6 G2 audit, 2026-05-04) - **T-Bind-Proj** is **Cat A for all τ_cl ∈ (0,1)** per Phase 13 Erratum 2026-04-07 + W6 G2 aud …
SCC archive · +8 more
- T-Birth-ParametricSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… pprox 0.89$ moved to Category B — empirical fit, no analytical derivation.)* **T-Birth-Parametric. Supercritical Pitchfork Bifurcation in Formation Stability.** At the critical …
SCC archive · +7 more
C
- T-CC-StableK-KernelSoft Cognitive Cohesion — Canonical Specification (CV-1.11)
… oved**. The CV-1.12–1.17 additions (T-Temporal-Identity (a) Cat A via > H-SINK; T-CC-StableK-Kernel Cat B, H-COMP-KERNEL closed; H-MORSE partially > closed) are recorded in the > …
SCC archive · +5 more
- T-Commitment-14-Multi-StaticSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… e time-series + rigorous K-jump theory; OP-0008 σ^A K-jump non-determinism). **T-Commitment-14-Multi-Static. Multi-Formation σ-Signature on Interior.** *(New, CV-1.5.1, 2026-04-29.)* Exte …
SCC archive · +6 more
D
- T-d_min-FormulaSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… s configuration-specific. See Category B section.)* **Moved to Category B.** **T-d_min-Formula. Analytical Formula for Critical Inter-Formation Distance.** The branch-conditi …
SCC archive · +3 more
F
- T-FORMATION-BIRTHSCC Research Overview
… ll graphs (spectral universality) - T8-Full: Phase transition for full energy - T-FORMATION-BIRTH: General graph (Phase 14 upgrade) **Group 3: Stability & Dynamics (8)** - T14: …
SCC archive
I
- T-IDSCC Hero Theorems — 16 Major Results
… ly post](/journal/2026-05-08-perception-week-6/). --- ## The 10 heroes | # | T-ID | Name | Group | Cat | |---|------|------|-------|-----| | 1 | **T1** | Existen …
SCC archive · +1 more
K
- T-K-Select-OBSSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST-1..5, T-K-Select-PF, T-K-Select-OBS) = 17 new claims. **As sealed in this snapshot: 54A/14B/5C/5R = 78 claims, ~69% …
SCC archive · +5 more
- T-K-Select-PFSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… 6-B, T-P-F-ε0, T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST-1..5, T-K-Select-PF, T-K-Select-OBS) = 17 new claims. **As sealed in this snapshot: 54A/14B/5C/5R = …
SCC archive · +5 more
L
- T-L1-FSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… re-activation rider; CV-1.5.2 promotes the first multi-formation Cat A theorem T-L1-F under the L1-J regime — see notes below.)* - **F-1 (K=2 vacuity) — SPLIT-RESOL …
SCC archive · +15 more
- T-L1-MSCC Research Overview
… ckage I (CV-1.9, complete). - **L1-M-AUDIT:** Close R-1/R-2/R-3 audit items for T-L1-M canonical promotion. - **OMS formal rows:** Register Appendix OMS §A–§M theorem …
SCC archive · +1 more
M
- T-MergeSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… Note, not a fixed Commitment). The static global minimum on pure E_bd (K=1, by T-Merge (b)) and the dynamic protocol-endpoint observables under full SCC (K-hat, F) ar …
SCC archive · +12 more
- T-MF-SynthesisPerception · W6 — Observer Moduli Space
… at a K-jump event is not determined by pre-merger $\sigma^A$ alone. This blocks T-MF-Synthesis and requires the Wigner-projection computation (W9+). - **T-Temporal-Identity / …
Journal
O
- T-OP6-BSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… *W6 upgrades (CV-1.6 → CV-1.11, 2026-05-04 to 2026-05-08):** +8 Cat A (T-ST-5a, T-OP6-B, T-P-F-ε0, T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST-1..5, T-K …
SCC archive · +6 more
P
- T-P-FSCC — Final Sealed Status (May 2026, CV-1.17) — HISTORICAL
… eObj-1, T-V5b-T), W5 multi-formation bridge (T-L1-F), W6 stochastic foundation (T-P-F-ε₀, T-PF-A1-AR/SDE/GI/PE), W6 boundary + selection (T-OP6-B, T-K-Select-PF/OBS) …
SCC archive
- T-P-F-e0SCC Theorem Registry
… *Category A (Fully Proved)** | **54** (46 at CV-1.5.2 + 8 W6: T-ST-5a, T-OP6-B, T-P-F-e0, T-PF-A1-AR/SDE/GI/PE) | T-1, T-20, QM-1:4, C-Axioms, Predicate-Energy Bridge, …
SCC archive
- T-P-F-e0-KSCC Theorem Registry
… n-Formula, T-Beyond-Weyl, T-sigma-Theorem-4 (retroactive), T-sigma-Multi-1; W6: T-P-F-e0-K (Kramers stability), T-ST-5b (smooth-depth barrier), D-ST-1..5 (stereo diagnost …
SCC archive
- T-P-F-ε0SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… des (CV-1.6 → CV-1.11, 2026-05-04 to 2026-05-08):** +8 Cat A (T-ST-5a, T-OP6-B, T-P-F-ε0, T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST-1..5, T-K-Select-PF …
SCC archive · +5 more
- T-P-F-ε0-KSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… 5-08):** +8 Cat A (T-ST-5a, T-OP6-B, T-P-F-ε0, T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST-1..5, T-K-Select-PF, T-K-Select-OBS) = 17 new claims. **As seale …
SCC archive · +4 more
- T-PersistSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… ext{core-to-core inheritance via } \mathbf{M}^k$, applying the single-formation T-Persist directly to each $(u^k_t, u^k_s)$ pair. When formations have disjoint supports …
SCC archive · +3 more
- T-Persist-1SCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… * Each formation $u^k_t$ satisfies the single-formation hypotheses (H1)-(H4) of T-Persist-1. - **(WS)** Well-separated: $D_{\text{sep}} \geq 3$ with $4\varepsilon_1/\min_k …
SCC archive · +9 more
- T-PERSIST-1B-UNCONDITIONALSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… via Kupka-Smale genericity (NB removal) + Sard's theorem (GT absorption) — see T-PERSIST-1B-UNCONDITIONAL.md. Directional basin containment (Theorem BC', BC-PRIME-THEOREM.md) has ellips …
SCC archive
- T-Persist-FullSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… ase 11 completion — all 5 T-Persist-1 conditions now proved or unconditional.)* T-Persist-Full ([Part 5 · Registry](/notes/part-0/canonical-spec-scc-5-results-registry/)) syn …
SCC archive · +7 more
- T-Persist-K-SepSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… eshold $d_{\min}^*$ depends on the minimum spectral gap: well-separated (d > 3, T-Persist-K-Sep proved), weakly-interacting (boundary overlap allowed, T-Persist-K-Weak conditi …
SCC archive · +11 more
- T-Persist-K-StrongSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… k|)$), strongly-interacting (significant bulk overlap, barrier-crossing regime, T-Persist-K-Strong local stability proved). Closed transport plans ensure persistence across time …
SCC archive · +1 more
- T-Persist-K-UnifiedSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… sites. - **Multi-formation regimes unified by $\Lambda_{\mathrm{coupling}}$** (T-Persist-K-Unified, Corollary III): Persist degradation rates parametrized by soft overlap measure …
SCC archive · +7 more
- T-PERSIST-K-UNIFIEDSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… mation branch; branch identity, tie-breaker, and history are external data.)* *(T-PERSIST-K-UNIFIED.md, PHASE-AB-SYNTHESIS.md.)* *Implementation:* `scc/multi.py` functions `coupli …
SCC archive
- T-Persist-K-WeakSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… (d > 3, T-Persist-K-Sep proved), weakly-interacting (boundary overlap allowed, T-Persist-K-Weak conditionally proved, $|O_{jk}| \leq 0.2 \min(|\text{Core}_j|, |\text{Core}_k|) …
SCC archive · +6 more
- T-PF-A1-ARSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… 6 → CV-1.11, 2026-05-04 to 2026-05-08):** +8 Cat A (T-ST-5a, T-OP6-B, T-P-F-ε0, T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST-1..5, T-K-Select-PF, T-K-Select …
SCC archive · +5 more
- T-PF-A1-GISCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… CC energy has a well-defined stochastic dynamics on the constraint manifold. **T-PF-A1-GI. Unique Gibbs Invariant Measure $\pi_{T_*}$.** *(New, CV-1.9, 2026-05-06.)* The …
SCC archive · +5 more
- T-PF-A1-PESCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… temperature $T_*$ canonically selects a distribution over formation states. **T-PF-A1-PE. Poincaré Inequality + Exponential Ergodicity.** *(New, CV-1.9, 2026-05-06.)* T …
SCC archive · +5 more
- T-PF-A1-SDESCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… :* **Proved**, Cat A. Geometric foundation for the well-posed reflected SDE. **T-PF-A1-SDE. Lions-Sznitman Reflected SDE.** *(New, CV-1.8, 2026-05-06.)* The reflected Lan …
SCC archive · +5 more
- T-PreObjSCC — Final Sealed Status (May 2026, CV-1.17) — HISTORICAL
… rough exp97**, plus the W4-extended **E-0090 through E-0097** cluster anchoring T-PreObj / T-V5b-T / σ supporting structures, plus the W5 numerical work that does not c …
SCC archive
- T-PreObj-1SCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… athcal{F} \geq 2$ as the default ground state — is **mathematically grounded by T-PreObj-1 + T-PreObj-1G** (Cat A graph-class independent), not merely an ontological decl …
SCC archive · +16 more
- T-PreObj-1GSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… q 2$ as the default ground state — is **mathematically grounded by T-PreObj-1 + T-PreObj-1G** (Cat A graph-class independent), not merely an ontological declaration. Pre-o …
SCC archive · +11 more
S
- T-sigma-Lemma-1SCC Theorem Registry
… te-Energy Bridge, T-PreObj-1, T-PreObj-1G, Lemma 4 (W4), T-V5b-T (W4 extended), T-sigma-Lemma-1/2/3, T-sigma-Theorem-3 (W5 G0); T-Commitment-14-Multi-Static, T-sigma-multi-A/D …
SCC archive
- T-sigma-Lemma-2SCC Theorem Registry
… , T-Persist-K-Sep, T-Persist-K-Weak, T-Persist-K-Unified; V5b-F (NQ-173 carry); T-sigma-Lemma-2 (v)+(vi) riders bundled in Cat A parent | | **Resolved/Clarified/Sidestepped (W …
SCC archive
- T-sigma-Multi-1SCC Theorem Registry
… etric General, T-d_min-Formula, T-Beyond-Weyl, T-sigma-Theorem-4 (retroactive), T-sigma-Multi-1; W6: T-P-F-e0-K (Kramers stability), T-ST-5b (smooth-depth barrier), D-ST-1..5 …
SCC archive
- T-sigma-multi-ASCC Theorem Registry
… , T-sigma-Lemma-1/2/3, T-sigma-Theorem-3 (W5 G0); T-Commitment-14-Multi-Static, T-sigma-multi-A/D-Static (CV-1.5.1); T-L1-F (CV-1.5.2); **W6: T-ST-5a, T-OP6-B, T-P-F-e0, T-PF- …
SCC archive
- T-sigma-Theorem-3SCC Theorem Registry
… reObj-1, T-PreObj-1G, Lemma 4 (W4), T-V5b-T (W4 extended), T-sigma-Lemma-1/2/3, T-sigma-Theorem-3 (W5 G0); T-Commitment-14-Multi-Static, T-sigma-multi-A/D-Static (CV-1.5.1); T-L …
SCC archive
- T-sigma-Theorem-4SCC Theorem Registry
… Pre-W6: gamma_eff, T-Birth-Parametric General, T-d_min-Formula, T-Beyond-Weyl, T-sigma-Theorem-4 (retroactive), T-sigma-Multi-1; W6: T-P-F-e0-K (Kramers stability), T-ST-5b (sm …
SCC archive
- T-ST-5aSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… 05-02). **W6 upgrades (CV-1.6 → CV-1.11, 2026-05-04 to 2026-05-08):** +8 Cat A (T-ST-5a, T-OP6-B, T-P-F-ε0, T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST- …
SCC archive · +5 more
- T-ST-5bSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… Cat A (T-ST-5a, T-OP6-B, T-P-F-ε0, T-PF-A1-AR/SDE/GI/PE) + 9 Cat B (T-P-F-ε0-K, T-ST-5b, D-ST-1..5, T-K-Select-PF, T-K-Select-OBS) = 17 new claims. **As sealed in this …
SCC archive · +4 more
T
- T-Temporal-IdentitySCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… ubstantially resolved via P-F-A1 Package I Cat A. Next: CV-1.12 via **H-SINK** (T-Temporal-Identity a/b/d, +3A target). Carry NQ: NQ-173 (V5b-F partial Goldstone), NQ-174 (ζ_*(gra …
SCC archive · +8 more
V
- T-V5b-TSCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems
… a 1-fold Goldstone branch; the **Goldstone nodal count = 2 universal**. Source: T-V5b-T (after 8 V5b iterations V1 → V5b''). Numerical verification: E-0095 (NQ-170b ζ- …
SCC archive · +11 more
X
- T-xxxxSCC Theorem Registry
… rpose:** Register all claims (C-xxxx), proofs (P-xxxx), and canonical theorems (T-xxxx, CV-x.y). This is the authoritative index of what has been proved. **Structure …
SCC archive
Z
- T-zeroSCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… 0 claims at CV-1.5.1 (2026-04-29) via D-6a Multi-Static (3 Cat A entries) + V5b-T-zero (Cat A def) + T-σ-Theorem-4 retroactive Cat A → Cat B + T-σ-Multi-1 / V5b-F-emp …
SCC archive · +6 more