CIndex
Claim ID index
102 unique claim IDs, including 55 ULR-* IDs, extracted from the public corpus. This is a lexical navigation index: canonical, active, historical, and retracted status remains owned by each linked ledger.
C
- C-0001Claim C-0001 — The Soft Cohesion Field is Primitive
… uished regions where $u$ is high, stable, and temporally persistent. > **ID:** C-0001 · **Status:** validated · **Confidence:** 100% · **Proposed:** 2026-03-26 > **E …
SCC archive · +3 more
- C-0002Claim C-0001 — The Soft Cohesion Field is Primitive
… "crisp object" — that remains a downstream question --- ## Related Claims - C-0002: Objects are distinguished formations (not primitives) - C-0003: Formations are …
SCC archive · +2 more
- C-0003Claim C-0001 — The Soft Cohesion Field is Primitive
… lated Claims - C-0002: Objects are distinguished formations (not primitives) - C-0003: Formations are defined by proto-cohesion (Bind ∧ Sep ∧ Artic ∧ Persist) --- …
SCC archive · +2 more
- C-0004Claim C-0002 — The K-Field Architecture is Necessary
… itive - C-0003: K=2 exists as kinetically-trapped metastable state (Option C) - C-0004: Repulsion prevents formation coalescence [TBD] --- ## Validation Status | C …
SCC archive
- C-0007T7-Enhanced — Non-Idempotent Metastability Advantage
> **Hero · Phase + Stability group · Cat A.** > Source: C-0007 / P-0007. Verification: E-0008, E-0009 (residence time, $p = 0.037$). > Canonic …
SCC archive · +1 more
- C-0008T8-Core — Phase Transition (Spectral Universality)
> **Hero · Phase + Stability group · Cat A.** > Source: C-0008 / P-0008. Verification: E-0010, E-0011. Canonical version: CV-1.0. > Full state …
SCC archive · +1 more
- C-0009SCC Theorem Registry
… ear at critical β | | **T-8-Full** | Phase Transition (Global) | accepted | A | C-0009 | P-0009 | E-0012, E-0013 | Full energy landscape bifurcation | | **T-11** | Γ- …
SCC archive
- C-0011T11 — Sharp-Interface Γ-Convergence
> **Hero · Phase + Stability group · Cat A.** > Source: C-0011 / P-0011. Verification: E-0014. Canonical version: CV-1.0. > Full proof: [Canon …
SCC archive · +1 more
- C-0014T14 — Gradient Flow Convergence (Łojasiewicz)
> **Hero · W4 Capstone group · Cat A.** > Source: C-0014 / P-0014. Verification: E-0020:E-0022. Canonical version: CV-1.0. > Full proof: …
SCC archive · +1 more
- C-0020T20 — Axiom Consistency (A1' resolves A1↔A3 incompatibility)
> **Hero · Foundation group · Cat A.** > Source: C-0020 / P-0020. Verification: E-0025. Canonical version: CV-1.0. > Full statement and …
SCC archive · +1 more
- C-0101SCC Theorem Registry
… y consistent | | **C-Axioms** | Cohomology-Resolvent Alignment | accepted | A | C-0101 | P-0101 | E-0030:E-0032 | C3'' symmetrization complete (upgraded 04-03) | | ** …
SCC archive
- C-0110SCC Theorem Registry
… 04-03) | | **QM-1** | Quantum Mechanical Analogy (Eigenvalue) | accepted | A | C-0110 | P-0110 | E-0040 | Fiedler eigenvalue is binding edge | | **QM-2** | QM-2 (Spe …
SCC archive
- C-0111SCC Theorem Registry
… eigenvalue is binding edge | | **QM-2** | QM-2 (Spectral Gap) | accepted | A | C-0111 | P-0111 | E-0041 | Spectral gap related to phase transition | | **QM-3** | QM- …
SCC archive
- C-0112SCC Theorem Registry
… related to phase transition | | **QM-3** | QM-3 (Perturbation) | accepted | A | C-0112 | P-0112 | E-0042 | Perturbations stay confined | | **QM-4** | QM-4 (Commutatio …
SCC archive
- C-0113SCC Theorem Registry
… Perturbations stay confined | | **QM-4** | QM-4 (Commutation) | accepted | A | C-0113 | P-0113 | E-0043 | Operator commutation holds generically | | **T-Bind-Proj** …
SCC archive
- C-0200SCC Theorem Registry
… esidual Bound at Constrained Minimizers | accepted | A (for all τ_cl ∈ (0,1)) | C-0200 | P-0200 | E-0050:E-0052 | Tangential Residual Bound at Constrained Minimizers; …
SCC archive
- C-0201SCC Theorem Registry
… | **T-Bind-Full** | Bind Lower Bound at Constrained Minimizers | accepted | A | C-0201 | P-0201 | E-0053 | Bind Lower Bound at Constrained Minimizers; $\mathsf{Bind}( …
SCC archive
- C-0300SCC Theorem Registry
… | **Predicate-Energy Bridge** | Energy ↔ Diagnostic Alignment | accepted | A | C-0300 | P-0300 | E-0060:E-0063 | Energy minimization ↔ diagonal optimization (upgrade …
SCC archive
- C-0301SCC Theorem Registry
… pgraded 04-03) | | **Deep Core Dom. 2b** | Deep Core Dominance | accepted | A | C-0301 | P-0301 | E-0064, E-0065 | Core is always dominant in asymmetric regime (upgra …
SCC archive
- C-0400SCC Theorem Registry
… d 04-03) | | **T-Persist-1(a)** | Transport Persistence (base) | accepted | C | C-0400 | P-0400 | E-0070 | Conditional: assumes generic parameters | | **T-Persist-1(b …
SCC archive
- C-0401SCC Theorem Registry
… T-Persist-1(b)** | Transport Persistence (basin unconditional) | accepted | A | C-0401 | P-0401 | E-0071, E-0072 | Unconditional: genericity automatic (upgraded 04-03 …
SCC archive
- C-0402SCC Theorem Registry
… | | **T-Persist-1(d)** | Transport Persistence (fixed stratum) | accepted | C | C-0402 | P-0402 | E-0073 | Conditional: on fixed active stratum | | **T-Persist-1(e)** …
SCC archive
- C-0403SCC Theorem Registry
… m | | **T-Persist-1(e)** | Transport Persistence (confinement) | accepted | A | C-0403 | P-0403 | E-0074 | Tight confinement bound (upgraded 04-03) | | **T-Persist-Fu …
SCC archive
- C-0404SCC Theorem Registry
… **T-Persist-Full** | Transport Persistence (full composition) | accepted | C | C-0404 | P-0404 | E-0075 | Conditional on multiple regime conditions | | **T-Persist-K …
SCC archive
- C-0500SCC Theorem Registry
… | | **T-Persist-K-Sep** | K-field Persistence (well-separated) | accepted | C | C-0500 | P-0500 | E-0076, E-0077 | Conditional: on well-separated regime + per-formati …
SCC archive
- C-0501SCC Theorem Registry
… | | **T-Persist-K-Weak** | K-field Persistence (weak coupling) | accepted | C | C-0501 | P-0501 | E-0078 | Conditional: on weakly-interacting regime | | **T-Persist-K …
SCC archive
- C-0502SCC Theorem Registry
… | | **T-Persist-K-Unified** | K-field Persistence (parametric) | accepted | C | C-0502 | P-0502 | E-0046, E-0047 | Parametric family (Sep/Weak/Strong); 100% validatio …
SCC archive
- C-0550SCC Theorem Registry
… A lemma (Lemma 4), 1 Cat A corollary (F-1 split-resolution). - Status changes: C-0550 (F-1), C-0551 (M-1), C-0552 (MO-1) — challenged → resolved/clarified/sidesteppe …
SCC archive
- C-0551SCC Theorem Registry
… a 4), 1 Cat A corollary (F-1 split-resolution). - Status changes: C-0550 (F-1), C-0551 (M-1), C-0552 (MO-1) — challenged → resolved/clarified/sidestepped. - Counts: 3 …
SCC archive
- C-0552SCC Theorem Registry
… corollary (F-1 split-resolution). - Status changes: C-0550 (F-1), C-0551 (M-1), C-0552 (MO-1) — challenged → resolved/clarified/sidestepped. - Counts: 35A → **37A**, …
SCC archive
- C-0553SCC Theorem Registry
… corners). Multi-formation extension to $\Sigma^K_M$ still open (Phase 5). | | **C-0553** | Type A/B Classification | challenged | OP | exp65 | E-0065 | exp65 invalida …
SCC archive
- C-0600SCC Theorem Registry
… allenged | OP | exp65 | E-0065 | exp65 invalidates; Type B never observed | | **C-0600** | K-field Model Selection | tentative (partially addressed) | pending | none …
SCC archive
- C-0700SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… –experiment agreement), E-0091 (L=32 dichotomy). *Status:* **Proved**, Cat A. *(C-0700, P-0700.)* <Figure src="/content-assets/scc-figures/fig09-preobj-mechanism.p …
SCC archive · +2 more
- C-0701SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… oretical and qualitative empirical confirmation. *Status:* **Proved**, Cat A. *(C-0701, P-0701.)* **Lemma 4. Quadratic Form Positive Definite (M matrix).** *(New, W4 …
SCC archive · +2 more
- C-0702SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… > 0$) under the linear independence hypothesis. *Status:* **Proved**, Cat A. *(C-0702, P-0702.)* <Figure src="/content-assets/scc-figures/fig10-lemma4-quadratic-f …
SCC archive · +2 more
- C-0710SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… ter mode-indexing artifact identified+resolved). *Status:* **Proved**, Cat A. *(C-0710, P-0710.)* <Figure src="/content-assets/scc-figures/fig11-goldstone-bloch.pn …
SCC archive · +2 more
- C-0711SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… ntitative scaling carried as NQ-173 to W5+. Source: E-0096 (free BC partial). *(C-0711, P-0711.)* <Figure src="/content-assets/scc-figures/fig12-goldstone-nodal-co …
SCC archive · +1 more
- C-0712SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… up $G_u$ acting unitarily on $T_{u^*} \Sigma_m$. *Status:* **Proved**, Cat A. *(C-0712, P-0712.)* **T-σ-Lemma-2. σ-Framework Nodal Count Properties.** *(New, W5 Day …
SCC archive · +1 more
- C-0713SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… ntry. *Status:* **Proved (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 …
SCC archive · +1 more
- C-0714SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… )* *Status:* **Proved Cat A in continuum**, discrete correction NQ-180 (W6+). *(C-0714, P-0714.)* **T-σ-Theorem-3. σ at Uniform on $D_4$ Free-BC Grid (Closed Form).* …
SCC archive · +1 more
- C-0715SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… ty → single $E$; even pair → $A_1 \oplus B_1$.)* *Status:* **Proved**, Cat A. *(C-0715, P-0715.)* **T-σ-Theorem-4. σ at First Pitchfork on $D_4$ Free-BC Grid (Leadin …
SCC archive · +1 more
- C-0716SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes
… -with-explicit-structural-parameter-5-theorems) for the row-level Cat B flag. *(C-0716, P-0716.)* #### W5 Day 3 EOD — D-6a Multi-Static Cluster (CV-1.5.1, 2026-04-29 …
SCC archive · +1 more
- C-0717SCC Theorem Registry
… | Multi-Formation σ-Signature on K-field (Static) | accepted | A definitional | C-0717 | P-0717 | (theoretical extension of Commitment 14) | Defined on $\widetilde{\S …
SCC archive
- C-0718SCC Theorem Registry
… Formation σ-Tuple Multi-Set Invariance | accepted | A (well-separated regime) | C-0718 | P-0718 | (theoretical via Coupling Bound Lemma + T-σ-Lemma-1) | Multi-set $\{ …
SCC archive
- C-0719SCC Theorem Registry
… Static** | Between-Formation Cohomology Pull-Back | accepted | A definitional | C-0719 | P-0719 | (wreath-product representation theory, Specht 1935 + James-Kerber 19 …
SCC archive
- C-0720SCC Theorem Registry
… -Formation Goldstone-Pair Instability (Phase 4 Static) | tentative | B target | C-0720 | (sketch) | (Phase 4 D-6a numerical, Phase 6 Q1 box-clipping) | Goldstone-pair …
SCC archive
- C-0721SCC Theorem Registry
… ount Bridge under L1-J Regime | accepted | A (conditional under L1-J package) | C-0721 | P-0721 | (theoretical via L1-A..L1-L chain; numerical L1-I 439/1920 FEASIBLE_ …
SCC archive
U
- ULR-ASSEMBLY-CERT-DISCRIMINANTULR Claim Ledger — Canon 24's 54 Active Rows
… EMBLY-FAILURE-CLASS` | Classification of the class in which assembly fails | | `ULR-ASSEMBLY-CERT-DISCRIMINANT` | Discriminant boundary detected by the certificate | These four atoms do not …
ULR
- ULR-ASSEMBLY-FAILURE-CLASSULR Claim Ledger — Canon 24's 54 Active Rows
… LR-UAR-ASM-UNRAMIFIED` | Unramifiedness of the joint assembly quotient map | | `ULR-ASSEMBLY-FAILURE-CLASS` | Classification of the class in which assembly fails | | `ULR-ASSEMBLY-CERT-D …
ULR
- ULR-ASSEMBLY-UAR-MONOULR Canon 24 — Canonical State
… y supports a separate neural-specific ontology. ## UAR correction The former `ULR-ASSEMBLY-UAR-MONO` is **RETRACTED-MALFORMED-COMPOSITE**. Full channel incidence compares two chan …
ULR · +2 more
- ULR-ATT-QUOTIENT-IDENTULR Claim Ledger — Canon 24's 54 Active Rows
… eration | | `ULR-GAUGE-BPLUS-THMC` | B+ finiteness and the Theorem C chain | | `ULR-ATT-QUOTIENT-IDENT` | Identifiability of the ATT quotient | | `ULR-MLP-CHANNEL-RIGIDITY` | Conditi …
ULR
- ULR-CONV-DIMULR Claim Ledger — Canon 24's 54 Active Rows
… but this does not imply that every modality converges into one space. ### E2 `ULR-CONV-DIM` 20 of 25 CIFAR dimensions and 24 of 25 Caltech dimensions exceeded the held-o …
ULR · +1 more
- ULR-CONV-EXISTULR Claim Ledger — Canon 24's 54 Active Rows
… h cluster does—and does not—establish. ## E0–E5 — Six empirical atoms ### E0 `ULR-CONV-EXIST` For a limited set of concept/model pairs, relational geometry exceeds a shuff …
ULR · +1 more
- ULR-CONV-INDEPULR Claim Ledger — Canon 24's 54 Active Rows
… upported for those pairs; an observer-independent common space is not. ### E1 `ULR-CONV-INDEP` Independent vision-only × language-only pairs also exceed chance. Joint multi …
ULR · +1 more
- ULR-CONV-ORIGINULR Claim Ledger — Canon 24's 54 Active Rows
… xies. Proxy correlation must not be promoted to identity with meaning. ### E4 `ULR-CONV-ORIGIN` The statistic strengthens during training from a near-chance initialisation, …
ULR · +1 more
- ULR-CONV-SEMULR Claim Ledger — Canon 24's 54 Active Rows
… ut it does not identify 17, 20, or 24 as an exact intrinsic dimension. ### E3 `ULR-CONV-SEM` Alignment has a graded association with the selected semantic/language proxie …
ULR · +1 more
- ULR-EFFECTIVE-RESIDUALULR Claim Ledger — Canon 24's 54 Active Rows
… ILITY` | Distinction between local rigidity and global-atlas admissibility | | `ULR-EFFECTIVE-RESIDUAL` | Effective residual action after quotienting | | `ULR-JOINT-WITNESS-FIBER` | …
ULR
- ULR-EMP-GAUGE-ROBUSTULR Claim Ledger — Canon 24's 54 Active Rows
… This is evidence of a learning trend, not of an exact formation time. ### E5 `ULR-EMP-GAUGE-ROBUST` The T1/T2 exact results and T3 trend are preserved under the specified permut …
ULR · +1 more
- ULR-GAUGE-ARCHULR Claim Ledger — Canon 24's 54 Active Rows
… architecture and observable-typing claims | ID | Canonical role | |---|---| | `ULR-GAUGE-ARCH` | States that the admissible exact gauge depends on architecture | | `ULR-GAUG …
ULR
- ULR-GAUGE-ASSEMBLY-THMULR Claim Ledger — Canon 24's 54 Active Rows
… even assembly, lifting, and gluing claims | ID | Canonical role | |---|---| | `ULR-GAUGE-ASSEMBLY-THM` | Basic theorem giving conditions for assembling node actions | | `ULR-GAUGE-A …
ULR
- ULR-GAUGE-ASSEMBLY-UNIFULR Claim Ledger — Canon 24's 54 Active Rows
… SSEMBLY-THM` | Basic theorem giving conditions for assembling node actions | | `ULR-GAUGE-ASSEMBLY-UNIF` | Uniformity of assembly over the specified family | | `ULR-GAUGE-EXTERN-LLADA …
ULR
- ULR-GAUGE-ATTN-GLUEULR Claim Ledger — Canon 24's 54 Active Rows
… meter | | `ULR-GAUGE-OCC-GLUE` | Compatibility across multiple occurrences | | `ULR-GAUGE-ATTN-GLUE` | Gluing condition for an attention branch | The central point of G2 is $$ \ …
ULR
- ULR-GAUGE-BLOCK-SECTORULR Claim Ledger — Canon 24's 54 Active Rows
… --| | `ULR-GAUGE-DEG-LOCUS` | Degeneracy locus where the generic law fails | | `ULR-GAUGE-BLOCK-SECTOR` | Sector decomposition of a minimal block | | `ULR-GAUGE-JET-SPEC` | Jet-level …
ULR
- ULR-GAUGE-BOUNDARY-B3B4ULR Claim Ledger — Canon 24's 54 Active Rows
… ed open set | | `ULR-GAUGE-MIXING-REDUCTION` | Reduction of mixing freedom | | `ULR-GAUGE-BOUNDARY-B3B4` | Boundary obstructions B3/B4 | | `ULR-GAUGE-POLE-EXCLUSION` | Exclusion of po …
ULR
- ULR-GAUGE-BPLUS-THMCULR Claim Ledger — Canon 24's 54 Active Rows
… ions B3/B4 | | `ULR-GAUGE-POLE-EXCLUSION` | Exclusion of pole degeneration | | `ULR-GAUGE-BPLUS-THMC` | B+ finiteness and the Theorem C chain | | `ULR-ATT-QUOTIENT-IDENT` | Identif …
ULR
- ULR-GAUGE-COUPLEULR Claim Ledger — Canon 24's 54 Active Rows
… UGE-ARCH` | States that the admissible exact gauge depends on architecture | | `ULR-GAUGE-COUPLE` | Shows that head- and layer-level auxiliary parameters alter the gauge-action …
ULR
- ULR-GAUGE-DEG-LOCUSULR Claim Ledger — Canon 24's 54 Active Rows
… global-completeness and degeneracy claims | ID | Canonical role | |---|---| | `ULR-GAUGE-DEG-LOCUS` | Degeneracy locus where the generic law fails | | `ULR-GAUGE-BLOCK-SECTOR` | …
ULR
- ULR-GAUGE-EXTERN-LLADAULR Claim Ledger — Canon 24's 54 Active Rows
… LR-GAUGE-ASSEMBLY-UNIF` | Uniformity of assembly over the specified family | | `ULR-GAUGE-EXTERN-LLADA` | Preregistered test on an external architecture | | `ULR-GAUGE-LIFT-OBSTRUCTI …
ULR
- ULR-GAUGE-FIBER-FINITEULR Claim Ledger — Canon 24's 54 Active Rows
… nction-fibre and quotient-rigidity claims | ID | Canonical role | |---|---| | `ULR-GAUGE-FIBER-FINITE` | Finiteness of the function fibre on the specified open set | | `ULR-GAUGE-MI …
ULR
- ULR-GAUGE-G6-CLOSEULR Claim Ledger — Canon 24's 54 Active Rows
… GAUGE-JET-SPEC` | Jet-level specification and the boundary of completeness | | `ULR-GAUGE-G6-CLOSE` | Closure of the G1–G6 work plan | G3 establishes conditional global complete …
ULR
- ULR-GAUGE-JET-SPECULR Claim Ledger — Canon 24's 54 Active Rows
… ils | | `ULR-GAUGE-BLOCK-SECTOR` | Sector decomposition of a minimal block | | `ULR-GAUGE-JET-SPEC` | Jet-level specification and the boundary of completeness | | `ULR-GAUGE-G6-C …
ULR
- ULR-GAUGE-LIFT-OBSTRUCTIONULR Claim Ledger — Canon 24's 54 Active Rows
… `ULR-GAUGE-EXTERN-LLADA` | Preregistered test on an external architecture | | `ULR-GAUGE-LIFT-OBSTRUCTION` | Obstruction preventing a local action from lifting to a parameter action | | …
ULR
- ULR-GAUGE-LOCAL-CHAR-3ULR Claim Ledger — Canon 24's 54 Active Rows
… ORM-EPS-SCALAR` | Boundary between RMSNorm $\varepsilon$ and scalar action | | `ULR-GAUGE-LOCAL-CHAR-3` | Classification of the specified local characterisations | | `ULR-GAUGE-SWIGL …
ULR
- ULR-GAUGE-MIXING-REDUCTIONULR Claim Ledger — Canon 24's 54 Active Rows
… FIBER-FINITE` | Finiteness of the function fibre on the specified open set | | `ULR-GAUGE-MIXING-REDUCTION` | Reduction of mixing freedom | | `ULR-GAUGE-BOUNDARY-B3B4` | Boundary obstruc …
ULR
- ULR-GAUGE-OCC-GLUEULR Claim Ledger — Canon 24's 54 Active Rows
… on | | `ULR-GAUGE-SHARED-LIFT` | Joint lift required by a shared parameter | | `ULR-GAUGE-OCC-GLUE` | Compatibility across multiple occurrences | | `ULR-GAUGE-ATTN-GLUE` | Gluing …
ULR
- ULR-GAUGE-POLE-EXCLUSIONULR Claim Ledger — Canon 24's 54 Active Rows
… mixing freedom | | `ULR-GAUGE-BOUNDARY-B3B4` | Boundary obstructions B3/B4 | | `ULR-GAUGE-POLE-EXCLUSION` | Exclusion of pole degeneration | | `ULR-GAUGE-BPLUS-THMC` | B+ finiteness an …
ULR
- ULR-GAUGE-REAL-BATTERYULR Claim Ledger — Canon 24's 54 Active Rows
… ULR-MLP-V3-PILOT-QCERT` | Exact rational certificate for one V3 pilot case | | `ULR-GAUGE-REAL-BATTERY` | Real-weight boundary battery | A generic open set, a pilot case, and a real …
ULR
- ULR-GAUGE-RMSNORM-CHARULR Claim Ledger — Canon 24's 54 Active Rows
… terisations | | `ULR-GAUGE-SWIGLU-CHAR` | Local characterisation of SwiGLU | | `ULR-GAUGE-RMSNORM-CHAR` | Local characterisation of RMSNorm | | `ULR-GAUGE-SOFTMAX-CHAR` | Local chara …
ULR
- ULR-GAUGE-SHARED-LIFTULR Claim Ledger — Canon 24's 54 Active Rows
… | Obstruction preventing a local action from lifting to a parameter action | | `ULR-GAUGE-SHARED-LIFT` | Joint lift required by a shared parameter | | `ULR-GAUGE-OCC-GLUE` | Compati …
ULR
- ULR-GAUGE-SOFTMAX-CHARULR Claim Ledger — Canon 24's 54 Active Rows
… of SwiGLU | | `ULR-GAUGE-RMSNORM-CHAR` | Local characterisation of RMSNorm | | `ULR-GAUGE-SOFTMAX-CHAR` | Local characterisation of softmax | Transformations permitted by local equa …
ULR
- ULR-GAUGE-SWIGLU-CHARULR Claim Ledger — Canon 24's 54 Active Rows
… GE-LOCAL-CHAR-3` | Classification of the specified local characterisations | | `ULR-GAUGE-SWIGLU-CHAR` | Local characterisation of SwiGLU | | `ULR-GAUGE-RMSNORM-CHAR` | Local charac …
ULR
- ULR-JOINT-WITNESS-FIBERULR Claim Ledger — Canon 24's 54 Active Rows
… | | `ULR-EFFECTIVE-RESIDUAL` | Effective residual action after quotienting | | `ULR-JOINT-WITNESS-FIBER` | Joint fibre structure of the specified witness | G4 shows that a same-funct …
ULR
- ULR-MLA-GAUGE-EXPERTULR Claim Ledger — Canon 24's 54 Active Rows
… itional structure and gauge | | `ULR-MLA-GAUGE-HEAD` | Head-index symmetry | | `ULR-MLA-GAUGE-EXPERT` | Expert-index symmetry | | `ULR-MLA-OBS-NODE-TYPING` | Observable contract at …
ULR
- ULR-MLA-GAUGE-HEADULR Claim Ledger — Canon 24's 54 Active Rows
… formation | | `ULR-MLA-GAUGE-ROPE` | Rotary positional structure and gauge | | `ULR-MLA-GAUGE-HEAD` | Head-index symmetry | | `ULR-MLA-GAUGE-EXPERT` | Expert-index symmetry | | ` …
ULR
- ULR-MLA-GAUGE-LATENTULR Claim Ledger — Canon 24's 54 Active Rows
… 1 — 12 node/local-gauge claims | ID | Local structure addressed | |---|---| | `ULR-MLA-GAUGE-LATENT` | Admissible action at a latent node | | `ULR-MLA-GAUGE-QK` | Query/key co-tra …
ULR
- ULR-MLA-GAUGE-QKULR Claim Ledger — Canon 24's 54 Active Rows
… | |---|---| | `ULR-MLA-GAUGE-LATENT` | Admissible action at a latent node | | `ULR-MLA-GAUGE-QK` | Query/key co-transformation | | `ULR-MLA-GAUGE-VO` | Value/output co-transfo …
ULR
- ULR-MLA-GAUGE-ROPEULR Claim Ledger — Canon 24's 54 Active Rows
… co-transformation | | `ULR-MLA-GAUGE-VO` | Value/output co-transformation | | `ULR-MLA-GAUGE-ROPE` | Rotary positional structure and gauge | | `ULR-MLA-GAUGE-HEAD` | Head-index …
ULR
- ULR-MLA-GAUGE-VOULR Claim Ledger — Canon 24's 54 Active Rows
… tion at a latent node | | `ULR-MLA-GAUGE-QK` | Query/key co-transformation | | `ULR-MLA-GAUGE-VO` | Value/output co-transformation | | `ULR-MLA-GAUGE-ROPE` | Rotary positional …
ULR
- ULR-MLA-OBS-NODE-TYPINGULR Claim Ledger — Canon 24's 54 Active Rows
… ` | Head-index symmetry | | `ULR-MLA-GAUGE-EXPERT` | Expert-index symmetry | | `ULR-MLA-OBS-NODE-TYPING` | Observable contract at each node | | `ULR-RMSNORM-EPS-SCALAR` | Boundary bet …
ULR
- ULR-MLP-ATLAS-ADMISSIBILITYULR Claim Ledger — Canon 24's 54 Active Rows
… CHANNEL-RIGIDITY` | Conditional rigidity of the relative MLP channel fibre | | `ULR-MLP-ATLAS-ADMISSIBILITY` | Distinction between local rigidity and global-atlas admissibility | | `ULR-E …
ULR
- ULR-MLP-CHANNEL-RIGIDITYULR Claim Ledger — Canon 24's 54 Active Rows
… C chain | | `ULR-ATT-QUOTIENT-IDENT` | Identifiability of the ATT quotient | | `ULR-MLP-CHANNEL-RIGIDITY` | Conditional rigidity of the relative MLP channel fibre | | `ULR-MLP-ATLAS-AD …
ULR
- ULR-MLP-V2-GENERIC-OPENULR Claim Ledger — Canon 24's 54 Active Rows
… — Three generic/assembly-evidence claims | ID | Canonical role | |---|---| | `ULR-MLP-V2-GENERIC-OPEN` | Nonempty generic open set on which the V2 conditions hold | | `ULR-MLP-V3-PI …
ULR
- ULR-MLP-V3-PILOT-QCERTULR Claim Ledger — Canon 24's 54 Active Rows
… -GENERIC-OPEN` | Nonempty generic open set on which the V2 conditions hold | | `ULR-MLP-V3-PILOT-QCERT` | Exact rational certificate for one V3 pilot case | | `ULR-GAUGE-REAL-BATTERY …
ULR
- ULR-NEURAL-ROLE-PORT-ABSORPTIONULR Claim Ledger — Canon 24's 54 Active Rows
… ll path laws are mutually singular. ## N0 — One small-neural application ### `ULR-NEURAL-ROLE-PORT-ABSORPTION` In a 32-seed engineered family, the same learned neural core is connected eit …
ULR
- ULR-OBS-TYPINGULR Claim Ledger — Canon 24's 54 Active Rows
… head- and layer-level auxiliary parameters alter the gauge-action coupling | | `ULR-OBS-TYPING` | Requires observables to be typed as $(O,\mathcal G,N)$ | | `ULR-WRAW-EXCL` | …
ULR
- ULR-OBSERVER-ROLE-DISCRIMINATIONULR Claim Ledger — Canon 24's 54 Active Rows
… l response. The identified object is not $R$ itself, but $[R]_{H,B}$. ### O2 `ULR-OBSERVER-ROLE-DISCRIMINATION` Once a role $C\in\{L,I\}$, observer filtration $\mathcal F^O$, and transcript …
ULR
- ULR-PERSISTENT-SUBSPACE-IDENT-BOUNDARYULR Claim Ledger — Canon 24's 54 Active Rows
… nterface. This is not a universal role ontology for real Transformers. ### O1 `ULR-PERSISTENT-SUBSPACE-IDENT-BOUNDARY` For reset response $Y_R=HRB$, a full-column-rank read port $H$ and a full-row …
ULR
- ULR-RMSNORM-EPS-SCALARULR Claim Ledger — Canon 24's 54 Active Rows
… symmetry | | `ULR-MLA-OBS-NODE-TYPING` | Observable contract at each node | | `ULR-RMSNORM-EPS-SCALAR` | Boundary between RMSNorm $\varepsilon$ and scalar action | | `ULR-GAUGE-LOCA …
ULR
- ULR-ROLE-PORT-SEPARATIONULR Claim Ledger — Canon 24's 54 Active Rows
… e different maps. ## O0–O2 — Three observer-relative role/port claims ### O0 `ULR-ROLE-PORT-SEPARATION` A persistent writer and a cache writer with the same passive trajectory and i …
ULR
- ULR-UAR-ASM-UNRAMIFIEDULR Canon 24 — Canonical State
… R-CH-TYPED-EXCLUSION`: off-diagonal exclusion for the typed channel source. 2. `ULR-UAR-ASM-UNRAMIFIED`: unramifiedness of $a_{\mathrm{asm}}\colon Q\to\mathcal J$ over a nonempty ope …
ULR · +2 more
- ULR-UAR-CH-TYPED-EXCLUSIONULR Canon 24 — Canonical State
… a single monomorphism. The following two independent atoms remain active. 1. `ULR-UAR-CH-TYPED-EXCLUSION`: off-diagonal exclusion for the typed channel source. 2. `ULR-UAR-ASM-UNRAMIFI …
ULR · +2 more
- ULR-WRAW-EXCLULR Claim Ledger — Canon 24's 54 Active Rows
… `ULR-OBS-TYPING` | Requires observables to be typed as $(O,\mathcal G,N)$ | | `ULR-WRAW-EXCL` | Excludes the strong claim that raw weight coordinates determine representati …
ULR