ULR Canon 24 — Canonical State

Status of this document

This page is the public canonical summary aligned with Canon 24 · LEDGER 105 · PROGRESS 31. The LEDGER owns the status of each individual claim; the Canon does not promote those statuses. Non-canonical research notes written later do not alter the verdict on this page.

Final verdict of Edition 24

\boxed{\textbf{neural-specific residual in the current registry}=0}

Limited shared alignment, gauge and function-fibre mathematics, physical-response separation, and external-relation cross-fit are all preserved. Each, however, can be explained by an existing typed theory and requires no separate ULR object. The current position is therefore Z0 typed pluralism/deflation.

The quantificational scope of this verdict matters.

\text{NO in the current finite registry} \quad\not\Rightarrow\quad \text{impossibility for every future candidate}

Final disposition of M1–M8

Milestone	Question	Final verdict
M1	Does Z1 physical response create an independent carrier in learning?	`WEAKENED`; seed-only tanh v2 is `COLLAPSED@tanh-delay-v2`
M2	Does Z5 external relation produce internal and behavioural residuals?	`WEAKENED`; positive relation cross-fit, negative behaviour bridge
M3	Is there a neural-specific survivor among the seven carriers?	0/7
M4	Can formation be defined and applied relative to an object?	Conditional definition complete; universal instance `NO_ADMISSIBLE_TARGET`
M5	Did UAR close as a single monomorphism theorem?	Previous composite retracted; split into channel exclusion and assembly unramifiedness
M6	Has the strongest typed baseline been fixed?	B0–B4 and combined B* contracts complete
M7	Have hypothesis, falsification, and termination disciplines been fixed?	Preregistration, rival, falsifier, prediction, and termination complete
M8	Does a separate ULR object remain after every baseline?	NO

Exact composition of the 54 active rows

N_active_rows=54 does not mean that a ULR object was discovered 54 times. Many rows instead state boundaries, impossibility results, or conditional identifiability for a ULR interpretation.

Layer	Count	Role
Empirical TIER 1-(E)	6	Limited alignment phenomena and typed gauge robustness
Gauge/function-fibre/assembly TIER 1-(F)	44	Symmetry, quotient, lift, rigidity, and failure boundaries
Observer-relative TIER 1-(G)	3	Exact identifiability boundaries for role and port
Small-neural TIER 1-(H)	1	Neural realisation of a toy boundary and baseline absorption

Separately, N_ledger_counter=50 is a cumulative counter for a particular change history. The two numbers serve different purposes and cover different sets, so they must not be used interchangeably.

Seven clusters of the 44 gauge and assembly atoms

Cluster	Atom count	Canonical conclusion
G0 architecture/observable typing	4	Raw coordinates and raw geometry do not define identity
G1 node/local gauge	12	Classifies admissible symmetries by architecture and node
G2 assembly/lift/gluing	7	Distinguishes local admissibility from an actual parameter lift
G3 global completeness/degeneracy	4	Conditional and generic completeness for the specified minimal block
G4 fibre/quotient rigidity	10	Structure and conditional rigidity of the same-function fibre
G5 generic/assembly evidence	3	Exact and generic results for particular algebraic assemblies
G6 typed UAR complex	4	Channel exclusion, assembly unramifiedness, and failure class

The two central boundaries of this layer are

\text{same function}\nRightarrow\text{same raw geometry},

\text{non-gauge fibre residual}\nRightarrow\text{meaning, circuit, or ULR}.

All 44 IDs are listed without duplication in the claim ledger.

Reduction results for the seven carriers

Candidate carrier	Strongest standard explanation	Current verdict
parameter quotient	Symmetry and invariant quotient	Reduced
activation ensemble	Empirical law, kernel, moment	Reduced
relation transform	RSA, CKA, external relation	Reduced
predictive state	PSR, minimal realisation	Reduced
physical response	Causal testing	Reduced
dynamical carrier	Ordinary state-space, random dynamical system	Reduced
external relation	Relation outside the model	Not an internal carrier

0/7 does not mean that these tools are useless. Each remains in the programme's toolkit, but no survivor in the current registry supports a separate neural-specific ontology.

UAR correction

The former ULR-ASSEMBLY-UAR-MONO is RETRACTED-MALFORMED-COMPOSITE. Full channel incidence compares two channel points under one $\theta$ in

\mathcal I_{\mathrm{full}} \subseteq \Theta\times X_{\mathrm{ch}}\times X_{\mathrm{ch}}

Phase R, by contrast, concerns the tangent map and unramifiedness of the joint assembly map $a_{\mathrm{asm}}\colon Q=\Theta^{\mathrm{adm}}/G_\Sigma\to\mathcal J$ . Injectivity of the channel map and unramifiedness of $a_{\mathrm{asm}}$ cannot be added together to produce a single monomorphism.

The following two independent atoms remain active.

ULR-UAR-CH-TYPED-EXCLUSION: off-diagonal exclusion for the typed channel source.
ULR-UAR-ASM-UNRAMIFIED: unramifiedness of $a_{\mathrm{asm}}\colon Q\to\mathcal J$ over a nonempty open subset of $Q$ .

Any renewed assembly-monomorphism question must begin afresh with the off-diagonal collision incidence of $Q\times_{\mathcal J}Q$ . An ordinary section that selects one good point in each fibre does not prove the absence of collisions throughout every fibre.

Canon 24 increment for observer-relative role

Declare the role variable $C\in\{L,I\}$ , observer information $\mathcal F^O$ , and transcript laws $P_L,P_I$ . Exact discriminability is then equivalent to the $\mathcal F^O$ -measurability of $C$ . Under equal priors, the minimum error is

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

An adaptive observer is evaluated by the TV supremum over admissible policies. If the internal transcript is a garbling of the external transcript, data processing prevents TV from increasing. Under a fixed infinite policy, finite-prefix error converges to 0 if and only if the full path laws are mutually singular.

This theorem did not reopen the ontology verdict. It completely characterises what is identifiable for the declared observer and experiment, not a universal semantics of learning and inference. See the learning–inference identifiability boundary for the full development.

Current Z0–Z7 registry

Hypothesis	Current grade	Canonical interpretation
Z0 typed pluralism	final current-registry winner	Uses typed theories in parallel without additional ontology
Z1 physical response	weakened application programme	Standard testing absorbs the engineered bridge
Z2 predictive state	baseline theory	Mostly absorbed by PSR and realisation
Z3 possibility field	exploratory	No independent signature
Z4 multiscale dynamics	mathematical scaffold	No carrier selector
Z5 external relation	weakened external baseline	Positive relation cross-fit, negative behaviour bridge
Z6 causal circuit	baseline + gauge problem	Mostly absorbed by causal abstraction
Z7 coherence formation	conditional language	No universal neural target

Passing the formal hypothesis schema does not imply truth or novelty. The former H1 relational correspondence remains only as a historical working hypothesis.

Current position of formation

Formation is not identical to metric onset. It requires at least the following data.

(\text{object identity},\ \text{cross-time transport},\ \text{structural type}).

Under a selected transport, deformation within the same stratum must be distinguished from crossing a structural boundary. Because the current M3 carrier-survivor count is 0, the universal neural target is NO_ADMISSIBLE_TARGET. Earlier co-onset measurements are not discarded, but they may be used only as a subsequent measurement of an object after a new carrier and identity have first been registered.

Representative misreadings prohibited by the Canon

Do not interpret high alignment as the same mechanism or meaning.
Do not interpret a raw-coordinate ablation difference as a gauge-independent circuit difference.
Do not promote an unexplained residual into evidence for a new entity.
Do not generalise an exact toy theorem into a large-model law.
Do not convert an observer-relative quotient into observer-independent identity.
Do not convert NO in the current registry into the absence of neural organisation in general.

Reopening conditions

For a new ontology candidate to reopen M8, the following must be fixed before results are observed.

Candidate object and identity;
admissible gauge and physical port;
B0 passive, B1 geometry, B2 predictive, B3 causal testing, B4 routing, and combined B*;
nonreduction to the strongest typed baseline;
incremental prediction of held-out behaviour or transfer;
a boundary that prevents an external relation from being mistaken for an internal carrier;
rival, finite falsifier, termination rule, raw receipt, and independent audit;
for formation, cross-time transport and causal manipulation.

Until this gate is passed, follow-up work belongs to the non-canonical frontier and is not Canon 25.

Status of this document#

Final verdict of Edition 24#

Final disposition of M1–M8#

Exact composition of the 54 active rows#

Seven clusters of the 44 gauge and assembly atoms#

Reduction results for the seven carriers#

UAR correction#

Canon 24 increment for observer-relative role#

Current Z0–Z7 registry#

Current position of formation#

Representative misreadings prohibited by the Canon#

Reopening conditions#