Skip to main content

ULR

Why ULR? — Motivation and Self-Correction

23 equations extracted from this document. Each equation pairs with the prose paragraph that immediately precedes it in the source — clicking the title above opens the full document.

Open source document →

  1. #1

    ULR is not a research programme founded on the belief that an immense, unified latent must exist somewhere inside a model. Its more precise motivation today can be stated in three sentences.

    The insufficiency of one local latent motivates investigation,constraining unobserved responses is the minimum efficacy criterion for organisation, andonly an additional constraint beyond existing theory is a distinctively ULR hypothesis.\boxed{ \begin{aligned} &\text{The insufficiency of one local latent motivates investigation,}\\ &\text{constraining unobserved responses is the minimum efficacy criterion for organisation, and}\\ &\text{only an additional constraint beyond existing theory is a distinctively ULR hypothesis.} \end{aligned} }
  2. #2

    The founding Motivation of July 6, 2026 framed modern neural networks as follows. Language, images, robot states, and sensor data pass through tokenisation, embedding, and encoding; interact through attention and residual flows; and can be read out as latent representations at pa…

    a latent value read under one conditionthe entire response organisation that may have formed through many experiences\text{a latent value read under one condition} \quad\neq\quad \text{the entire response organisation that may have formed through many experiences}
  3. #3

    The founding text described one latent as “an internal interpretation of the world at one moment” or “a local section through which the whole structure appears at an instant.” Learning reflects relations, repetitions, differences, transformations, successes, failures, rewards, an…

    “Where is integrated information, and how does a momentary latent acquire meaning within it?”\boxed{ \text{“Where is integrated information, and how does a momentary latent acquire meaning within it?”} }
  4. #4

    Let a model endpoint be and its fully specified preparation state be . If indexes the input, history, time, layer, and extraction protocol, then a local latent is a measurement

    λaP:XPZa,zaP(x)=λaP(x)\lambda_a^P:X_P\longrightarrow Z_a, \qquad z_a^P(x)=\lambda_a^P(x)
  5. #5

    Now let be a response-query family declared before the result. A query may include an input, continuation, horizon, typed intervention such as reset, clone, overwrite, or patch, and an output, action, or reward port.

    ΨQ(P,x)=(Ψq(P,x))qQqQYq.\Psi_Q(P,x) = \bigl(\Psi_q(P,x)\bigr)_{q\in Q} \in \prod_{q\in Q}Y_q.
  6. #6

    A local latent is sufficient for this full response on the declared family of prepared states if and only if

    Eq(λa)Eq(ΨQ)\operatorname{Eq}(\lambda_a) \subseteq \operatorname{Eq}(\Psi_Q)
  7. #7

    Equivalently, some must satisfy . The following collision witness therefore falsifies sufficiency and establishes the insufficiency of that local latent for the declared response family.

    x,x:λa(x)=λa(x),ΨQ(x)ΨQ(x).\exists x,x': \quad \lambda_a(x)=\lambda_a(x'), \qquad \Psi_Q(x)\ne\Psi_Q(x').
  8. #8

    The founding metaphor of an “immense structure beneath the iceberg” was powerful, but a literal reading prematurely reifies a hidden store. The safer present meaning is

    global=the scope in which one package jointly specifies many reachable states, histories, continuations, and tests.\text{global} = \text{the scope in which one package jointly specifies many reachable states, histories, continuations, and tests}.
  9. #9

    The later formalisation does not begin by positing separate learning and inference functions. It first represents the whole process without assigning roles, as the action of a monoid with identity .

    A=(X,M,ρ),ρ1=idX,ρmn=ρmρn\mathcal A=(X,M,\rho), \qquad \rho_1=\operatorname{id}_X, \qquad \rho_{mn}=\rho_m\circ\rho_n
  10. #10

    Physical ports and an experimental doctrine are added afterward. Let be the declared family of terminal probes, let be the admissible continuation submonoid, and let be the readout for . For , the response law is

    ΨD,S(x)m,e=oe(ρmx)\Psi_{\mathfrak D,S}(x)_{m,e} =o_e(\rho_mx)
  11. #11

    Identifying states that produce the same response on the declared tests gives

    xD,Sx    ΨD,S(x)=ΨD,S(x),x\equiv_{\mathfrak D,S}x' \iff \Psi_{\mathfrak D,S}(x)=\Psi_{\mathfrak D,S}(x'),
  12. #12
    ΩD,S=X/D,SimΨD,S\Omega_{\mathfrak D,S} =X/{\equiv_{\mathfrak D,S}} \cong \operatorname{im}\Psi_{\mathfrak D,S}
  13. #13

    The full translation proceeds in this order.

    role-free processphysical ports and experimental doctrinesresponse organisation and identityminimal realisation and identifiabilityformation and embodied-grounding testsonly then, the attribution or withdrawal of the name ULR.\boxed{ \begin{aligned} &\text{role-free process}\\ &\to\text{physical ports and experimental doctrines}\\ &\to\text{response organisation and identity}\\ &\to\text{minimal realisation and identifiability}\\ &\to\text{formation and embodied-grounding tests}\\ &\to\text{only then, the attribution or withdrawal of the name ULR}. \end{aligned} }
  14. #14

    The behavioural chain and the local measurement are represented as distinct branches.

    HistηXqD,SΩD,SρˉmΩD,SϵeYe,\mathsf{Hist} \xrightarrow{\eta}X \xrightarrow{q_{\mathfrak D,S}}\Omega_{\mathfrak D,S} \xrightarrow{\bar\rho_m}\Omega_{\mathfrak D,S} \xrightarrow{\epsilon_e}Y_e,
  15. #15
    Xλ,c,aZ,c,a.X\xrightarrow{\lambda_{\ell,c,a}}Z_{\ell,c,a}.
  16. #16

    Thus

    decodable⇏causally used⇏externally grounded.\text{decodable} \not\Rightarrow \text{causally used} \not\Rightarrow \text{externally grounded}.
  17. #17

    Let the organisation candidates at times and be and . Let be the carrier-transport family justified before results are observed, and let be the structural-type classifier. A strong candidate for separating ordinary state movement from structural formation is

    CandFormτ,G(s,t)=ChgG(s,t)Formτ(s,t)\operatorname{CandForm}_{\tau,G}(s,t) = \operatorname{Chg}_{G}(s,t) \land \operatorname{Form}_{\tau}(s,t)
  18. #18

    The Motivation-translation documents 121–130, written after Canon 24 was sealed, audited the founding text again line by line and sentence by sentence. They neither amended the source text nor advanced the Canon. Each semantic atom was decomposed into the following seven fields.

    T(c)=(τc,Σc,φc,Ac,Wc,Oc,Vc).\mathfrak T(c) = (\tau_c,\Sigma_c,\varphi_c,A_c,W_c,O_c,V_c).
  19. #19

    The current Canon adopts

    current-registry ULR ontology verdict=NO\boxed{ \textbf{current-registry ULR ontology verdict}=\textbf{NO} }
  20. #20

    Noncanonical follow-up document 131 sharpened the early intuition by specifying a minimum criterion for scientific efficacy. Let the class of possible response profiles be

    BqQYq\mathcal B \subseteq \prod_{q\in Q}Y_q
  21. #21

    The weakest operational meaning of organisation is that the possible response combinations form a strict subset of the unconstrained product.

    BqQYq\boxed{ \mathcal B \subsetneq \prod_{q\in Q}Y_q }
  22. #22

    A candidate organisation built from discovery data alone must outperform the independent or product null by at least a preregistered minimum effect on the sealed target.

    Risk(O^;U)<Risk(product null;U).\operatorname{Risk}(\widehat{\mathcal O};U) < \operatorname{Risk}(\text{product null};U).
  23. #23

    The deepest intuition of the founding text was less about “hidden substance” than about studying the relation between one moment and many possibilities. It can now be restated as follows.

    One latent value is a local readout obtained under declared conditions.First, try to falsify its sufficiency for the response family of interest.If it is insufficient, test whether organisation identified from observed conditionsgenuinely constrains unobserved responses and novel compositions.Open a ULR-specific candidate only if that constraint survivespredictive, dynamical, causal, and task baselines.\boxed{ \begin{aligned} &\text{One latent value is a local readout obtained under declared conditions.}\\ &\text{First, try to falsify its sufficiency for the response family of interest.}\\ &\text{If it is insufficient, test whether organisation identified from observed conditions}\\ &\text{genuinely constrains unobserved responses and novel compositions.}\\ &\text{Open a ULR-specific candidate only if that constraint survives}\\ &\text{predictive, dynamical, causal, and task baselines.} \end{aligned} }