Skip to main content

ΩULR · Canonical· Canon 24

The Evolution of ULR Canon 2–24

Canon history is not a linear accumulation of discoveries. The programme moved from the SCC×ULR null stack and empirical positives to a ULR-only gauge programme, then demoted and retracted the appearance of UAR completeness under independent audit before reaching the M1–M8 ontology verdict NO and the observer-relative TV theorem.

1,564 words6 min read

Principles for reading this timeline

Canon is not an independent authority that overwrites the claim ledger. It is a derived reconstruction that reassembles the sources available at each point. A higher edition number does not mean that every preceding conclusion became stronger. In particular, the UAR-completeness narrative in editions 18–20 was retracted as a malformed composite in edition 23 after audit.

No complete snapshot of Canon 1 is currently preserved; its existence is known only through the delta recorded by Canon 2. This page therefore begins with Canon 2, the first directly auditable edition. It does not force brief working reconstructions from the early editions into the shape of new theorems. Instead, it compares the producer documents that remain in the evidence record with the next durable edition.

Editions 2–7 — From SCC×ULR to the threshold of ULR-only

EditionDateCentral changeCurrent reading
22026-07-23Split formation's single null into a structural, causal, and persistence axis-index stackA historical SCC layer relative to each axis's admissibility law
32026-07-23Integrated the first empirical arc and five ULR-CONV-* atoms into CanonPreserve the restricted alignment phenomenon; prohibit a shared-ontology interpretation
42026-07-23Claims 14–16: intervention and behavioural-cohesion certification relative to the SCC contractHistorical results under the SCC contract; they do not replace a ULR existence judgment
52026-07-24Integrated the VQ decisive test and the coarse-graining mechanism hypothesisThe claim that the observed resolution was optimal remained hypothetical; it does not decide the structure/relation dichotomy
62026-07-24Carrier Discrimination Phase 1 and the first four gauge atomsExcludes the strong reading of raw coordinates as carrier identity
72026-07-24–25Eight MLA node-typed gauge atomsSeparates admissible action by node without identifying it with global symmetry

The ULR-only transition was a governance event on July 24, 2026, not the mathematical increment of one particular edition. It overlaps with the research reorganisation of editions 5–7, but edition 8 alone must not be described as the event that historicised SCC.

The meaning of edition 2

When the null is treated as a monolith, the theory's content can hide inside the choice of null. Edition 2 separated what each structural, causal, and persistence axis destroys and preserves. The justification that each axis's law was appropriate nevertheless remained open. The result now survives as a history of research discipline, not as evidence for the current ULR ontology.

The meaning of editions 3–4

Edition 3 incorporated a signal that relation geometry exceeded shuffled nulls and chance across independent model pairs. Later audit did not preserve early figures such as ≥17, 52%, or an exact onset. The current canon retains only provenance-verified quantities: 20 of 25 CIFAR dimensions and 24 of 25 Caltech dimensions exceeded the held-out null, and the typed trend was ρ=0.881\rho=0.881. Edition 4's intervention and behaviour certificates under the SCC contract remain historical formation results; they are not reinterpreted as evidence for a distinctive ULR carrier.

The fork across editions 5–7

Coarse-graining remained a candidate explanation for alignment through several revised controls, but was not promoted to a universal mechanism. During this period, the research question moved from “How is cohesion certified?” to “At which carrier layer does ULR live, and under which transformations is it the same?”

Editions 8–11.1 — Assembly and gauge completeness

EditionDateCentral changeScope lock
82026-07-25Gauge assembly theorem, an external LLaDA preregistration test, and four related atomsSeparately verifies assembly of local actions and transfer to an external architecture
92026-07-25Completed the local stabiliser atlasLocal symmetry relative to architecture and node
102026-07-25Completed Global Gauge Completeness Programme G1–G5Local → lift → compatibility → global filtration
112026-07-27Closed G6, completing the G1–G6 workplan for a minimal Transformer blockNot the maximal gauge of every Transformer
11.12026-07-27Made the assumptions behind global exact completeness explicit and redirected follow-up work along two axesThe unconditional result reaches generic infinitesimal completeness only

This period established the fundamental typing of an observable:

(O,G,N),(O,\mathcal G,N),

where OO is the raw observable, G\mathcal G is the gauge permitted by the function and architecture contract, and NN is the normalisation or quotient implementation. An alignment map is neither an observable nor a gauge, so it is written separately as S\mathcal S when needed.

Editions 12–17 — Quotients and function fibres

EditionDateCentral changeRemaining limitation
122026-07-28Residual finiteness, orbit count, real-weight battery, and quotient-carrier typingWitnesses must be separated from generic laws
12.12026-07-28Consistency repair and corrected conjecture typingA correction within the same edition number, not a theoretical increment
132026-07-28L2 certificate and a conditional chain for ATT generic birationalityExplicit open and full-size generalisation remain incomplete
142026-07-29Relative MLP fibre and ATT quotient identifiabilityWitness- and size-specific
152026-07-29Generic preparation, atlas admissibility, effective residual, and joint witness fibreGeneric transport remains the central debt
16 rev22026-07-29Gauge-typed empirical replication, the scope of T1/T2/T3, and the second-stage gate contractProhibits full-model gauge generalisation
172026-07-30Closed one V3 rational-pilot case with an exact certificateNot a generic theorem for the 165 templates or 4,320 cases
17 rev22026-07-31Repaired evidence provenance, counter semantics, naming, and purpose scopeSeparates active rows from the ledger counter

The most important conclusion of this arc is that “the parameter fibre of the same function can be analysed mathematically,” not that a residual in that fibre constitutes neural meaning.

Editions 18–20 — The rise of UAR and its demotion under audit

EditionDateConclusion at the timeLater adjudication
182026-07-31Closed the off-diagonal half by rigidity and developed the long UAR arcThe channel-side results survive as separate typed atoms
192026-08-01Combined the off-diagonal and unramified halves and described UAR-I as completeFound to create the appearance of completeness by combining different sources and maps
202026-08-02Described the separator boundary as removing the final habitat of counterexamplesIndependent audit found a conclusion-level gap after self-audit
20 revision 22026-08-02Demoted the T1 conclusion without raising the edition numberAn open existential case cannot be read as a universal exclusion across the fibre

The central error was the following quantifier transition:

x  Good(θ,x)⇏x  NoCollision(θ,x).\exists x\;\mathrm{Good}(\theta,x) \quad\not\Rightarrow\quad \forall x\;\mathrm{NoCollision}(\theta,x).

Making an expression well typed by base change is different from constructing the quotient source required by the UAR consumer. This independent audit enabled the assumption-free reopening in edition 21 and the retraction in edition 23.

Edition 21 — Assumption-free reopening

On August 3, 2026, Canon 21 reread the entire record from Motivation onward without assuming existence.

  • Raw CKA was reproduced at 0.769 against a shuffled value of 0.583, with z=35.9z=35.9.
  • A 14-model atlas found 0.803 for supervised models, 0.468 for self-supervised models, and 0.571 for untrained models, contradicting universal convergence.
  • An animacy proxy explained approximately 25%, but the remaining 75% was not promoted to a ULR component.
  • The role/port toy added exact HRbHRb separation and the HRBHRB identifiability boundary.
  • Z0–Z7 was rewritten as a registry that includes strong existing theories and rival-specific falsifiers.

The adjudication did not conclude that ULR had been found; instead, it sharpened the boundary of what cannot be called ULR. The active-row count was 51.

Edition 22 — Small-neural bridge and absorption

Canon 22 transferred the exact role/port toy into a small neural system through an engineered matched pair. Passive probability and activation were pairwise exact, while reset/clone responses separated in 32/32 seeds. Typed response QQ predicted a held-out target better than the passive baseline.

However, QQ produced predictions nearly identical to those of raw port-response B3 and declared routing B4, so it failed to beat those baselines by the preregistered nonabsorption margin. Z1 therefore became Z1_WEAKENED, not accepted. The active-row count was 52.

Edition 23 — Closure of M1–M8 and ontology verdict NO

Canon 23 settled the following issues.

  1. M1 tanh seed-only persistence collapsed.
  2. M2 external relation produced a positive geometry cross-fit and a negative behaviour bridge.
  3. Neural-specific survivors among the seven carriers numbered 0.
  4. Formation retained only an object-relative definition; there was no universal target.
  5. The UAR composite monomorphism was retracted as RETRACTED-MALFORMED-COMPOSITE.
  6. Governance for B0–B4, B*, and hypotheses was completed.
  7. M8's final verdict was adopted as NO.

The active-row count was 53 and the ledger counter was 49.

Edition 24 — Complete characterisation of observer-relative identifiability

Canon 24 did not reverse M8. It closed the role problem with a single theorem. A role C{L,I}C\in\{L,I\} is exactly identifiable when it is measurable with respect to the observer filtration FO\mathcal F^O, and the equal-prior Bayes risk is

R=1PLPITV2.R^*=\frac{1-\lVert P_L-P_I\rVert_{\mathrm{TV}}}{2}.

Adaptive distinguishability is characterised by the supremum of total variation over admissible policies. Total variation contracts under Markov garbling. Infinite-horizon exact discrimination is possible if and only if the full path laws are singular. The active-row count became 54 and the ledger counter 50.

Three conclusions from the evolution

1. Positive phenomena and ontology are distinct

Alignment, gauge theorems, and response separation may all be true without implying that a separate ULR object is necessary.

2. Retraction is a central output of Canon, not concealed failure

The apparent completeness of edition 19 was demoted by the edition 20 audit and resolved by retracting the composite claim in edition 23. The two surviving UAR atoms are narrower but well typed.

3. The current Main programme is a unified validation programme, not a unified ontology

ULR does not assume a new principle connecting its four problems. It tests whether a junction residual remains after reduction to existing typed theories and, if one does, whether it yields a preregistered held-out prediction.

Items 119–159 after Canon 24 belong to a separate noncanonical frontier. They must not be appended to this timeline as Canon 25.