Skip to content
Registration Theory

Status

Research status ledger

What is proved, what is numerically supported, what is conjectured, what has been superseded, and what remains unresolved — tracked explicitly rather than left implicit. Current status review: September 26, 2026.

For theorem-by-theorem statements, assumptions, physical status, and DOI links, see the Derivations ledger →

Status legend

DefinitionIntroduces terminology or notation; makes no claim.
AxiomAssumed as a starting point, not derived from anything prior.
Exact TheoremProved exactly, with a complete argument, under stated hypotheses.
Exact Model ResultProved exactly within a specific canonical model, not yet general.
Computational ResultDemonstrated numerically or by simulation; not a closed-form proof.
Conditional ResultHolds only given additional assumptions not yet established.
ConjectureBelieved plausible; not proved and not yet disproved.
InterpretationA reading offered on top of established structure, not the structure itself.
Open ProblemAn active research target with no established resolution.
SupersededAn earlier formulation that has since been withdrawn or replaced.

Research categories

Categories identify a publication's role in the Registration Theory program; they are separate from proof status.

Foundations

Canonical definitions, axioms, and controlling foundations of the program.

Registration Theory

Core registration results concerning consequence, persistence, history, and host-relative structure.

Registration Geometry

Mathematical reconstruction of relational, retained, and effective geometric structure.

Trinity / ACRF

Trinity structure and controlled ACRF model results used to test RT mechanisms.

Comparative Foundations

Direct comparisons with established theories that identify shared ground, different primitives, explanatory order, and discriminating RT propositions.

Historical RT Lineage

Earlier work retained for provenance and for tracing ideas that may or may not survive in current RT.

Ledger

Grouped by status. Each claim links to its supporting publication where one has been verified; claims without a clear supporting source are omitted rather than inferred. See Last reviewed on each entry for when its status was last checked.

Exact results

Exact Theorem

ACRF-4 admits an exact 1 ⊕ 3 decomposition

R⁴ decomposes exactly as U ⊕ H4, with U = span{1} of dimension 1 and H4 = { r : 1ᵀr = 0 } of dimension 3, and R⁴ / U ≅ H4 ≅ R³.

Scope: A structural linear-algebra fact about the canonical finite ACRF-4 registration model. It does not by itself identify the four ACRF-4 coordinates with physical quantities.

  • Does not constitute a derivation of physical spacetime from ACRF-4.
  • Host calibration is downstream and does not supply a preferred basis automatically.

Last reviewed 2026-08-27

Exact Model Result

ACRF-4 admits an exact reciprocal current–retention channel

Within canonical ACRF-4, the three-dimensional current sector H4 and the three-dimensional retained-edge image E = Im L, with (Lr)ᵢⱼ = rᵢ + rⱼ, couple reciprocally under the model's linearized tangent dynamics. Since ‖Lr‖² = 2‖r‖², W = L/√2 is an isometry between the two sectors, and the normalized cross-sector operator J = [0 W*; W 0] satisfies J² = I.

Scope: A structural result about linearized tangent dynamics of the canonical ACRF-4 model, not an unconditional algebraic fact like the 1 ⊕ 3 decomposition above.

  • Does not identify H4 with physical space or the retained sector with physical time.
  • Does not derive an expanding ledger, Lorentz symmetry, the physical value of c, or an inter-host transfer map.

Last reviewed 2026-08-27

Exact Model Result

Canonical ACRF-4 has exact node-block nonautonomy and strict retained-edge densification

For every nontrivial node partition in finite canonical ACRF-4, the node update is not globally autonomous by block. Every zero cross-cut retained-coupling set is destroyed by one update, and the nonnegative fixed-budget coupling simplex maps into strictly positive edge support with K_ij' > 0.0056771420617977… .

Scope: An exact result for the specified four-node adaptive update and its nonnegative six-edge fixed-budget coupling simplex. It includes the generated 2+2 state with cross couplings 0 → 0.15 and c_S = −0.375 under the existing symmetric-host closure theorem.

  • Strict positive K support is a feature of the written all-pairs adaptive target, not a derivation of sparse primitive-neighbor locality.
  • Does not prove coupling of independently closed hosts, cross-registration consequence sufficiency, or a forward-generated inter-host transfer map T_ji.
  • Does not establish primitive Trinity interaction, physical propagation, physical space or time, Lorentz spacetime, or a universal physical c.

Last reviewed 2026-08-28

Exact Model Result

Retained registration state is an exact fading-memory history functional

In ACRF-4, the retained relational matrix K obeys the discrete update Kₙ₊₁ = (1−ρ)Kₙ + ρK̂(xₙ₊₁); under exposure-normalized refinement this converges to an exact continuum Volterra-type fading-memory functional of the relational path, K(T) = e^(−γT)K(0) + γ∫₀ᵀ e^(−γ(T−t)) K̂(x(t)) dt.

Scope: An exact result for the canonical ACRF-4 retained-relational-matrix update. It supports, but does not by itself formally establish, reading the enlarged state (x, K) as locally Markovian where projection to x alone generally is not.

  • A general spatial or continuum stable-record invariant beyond this prototype remains open.
  • K should not be equated with literal physical memory in every possible implementation; its scope is tied to this model.

Last reviewed 2026-08-27

Exact Theorem

The elementary brokerage generator is unique up to scale and yields hyperbolic (1,1) structure

For an elementary conjugate brokerage channel C = [0 1; 1 0] (C² = I), under stated continuity, composition, role-symmetry, unimodularity, and nontrivial-coupling assumptions, the infinitesimal generator is proportional to C. This gives the one-parameter group Bη = [cosh η, sinh η; sinh η, cosh η] and a preserved nondegenerate quadratic form, unique up to scale, of signature (1,1): Q(y) = y₀² − y₁².

Scope: An abstract theorem about brokerage-channel mixing under the stated assumptions; not by itself a completed derivation of physical Lorentz spacetime.

  • Does not establish that this structure governs general spacetime.
  • The proposed extension to physical energy via latent/exchanged brokerage is proposed, not derived.

Last reviewed 2026-08-27

Exact Model Result

Existence, self-adjointness, and stability of the finite resolved operator D_S

For finite-dimensional inner-product record spaces V and W_S with a positive semidefinite self-adjoint registration operator R and a linear system-resolution map A_S, the resolved operator D_S := A_S R A_S† exists, is self-adjoint and positive, has fixed-data uniqueness, factors through R^(1/2) with rank(D_S) = rank(A_S R^(1/2)), and its threshold effective rank is stable under a positive distance-to-spectrum condition.

Scope: A controlled finite-dimensional theorem package for a candidate system-resolution map; supplements System-Relative Dimensionality in Registration Theory rather than replacing or extending its physical claims.

  • Record-space inner products are not spacetime metrics.
  • Threshold effective rank is not identified with physical spatial dimension.
  • Does not address physical derivation of A_S, history dependence, conservation dynamics, or dimensional interpretation.

Last reviewed 2026-08-27

Exact Theorem

Consequential Closure Diagnostic Theorem

Given causal closure, the No-Unaccounted-Consequence Principle, and representation coverage, a model that merges two reachable states cannot later produce different admissible physical registration consequences. If it does, the representation is incomplete, the stipulated dynamics is non-closed, or both.

Scope: Stipulated deterministic registration regimes with an independently specified future physical consequence signature and the three stated premises.

  • Does not derive causal closure from primitive Registration Theory axioms.
  • Does not derive the No-Unaccounted-Consequence Principle.
  • Does not derive a cross-host transfer mechanism, physical propagation, spacetime locality, or a universal carrier.
  • Does not claim novelty for future-equivalence quotients, Myhill–Nerode-style minimization, or causal-state constructions.

Last reviewed 2026-08-30

Exact Theorem

Future-Consequence Quotient Lemma

An independently specified future physical consequence signature induces a quotient by consequential equivalence, and every consequence-sufficient representation factors onto that quotient in the information/factorization order.

Scope: Set-theoretic consequence-equivalence construction over the stipulated future-consequence regime.

  • Supporting mathematical lemma only; the quotient construction has substantial prior art and is not the paper's novelty claim.
  • The quotient is only as physically meaningful as the independently specified consequence signature.

Last reviewed 2026-08-30

Exact Model Result

Finite-Amplitude Permutation-Quotient Host Sufficiency in Canonical ACRF-4

For canonical finite ACRF-4 under the internal relabeling group S2 x S2, the invariant quotient separates physical internal-label orbits exactly, the full nonlinear update descends uniquely to the quotient for every finite horizon, and every permutation-invariant receiver-host consequence factors through that quotient.

Scope: Canonical finite ACRF-4 with the two-node partition S={1,2}, C={3,4}, fixed retained-edge budget, and the stated native ACRF update.

  • Does not establish a universal Registration Theory cross-registration theorem.
  • Does not establish a source-only context-free map W_C -> W_S; the exact law is receiver-conditioned and includes both host states and their shared retained boundary.
  • Does not establish a multi-host cocycle or general composition law.
  • Does not derive sparse primitive-neighbor locality, physical propagation, spacetime, Lorentz structure, or a universal physical c.

Last reviewed 2026-08-31

Exact Model Result

Receiver Odd-Sector Linear Silence and Quadratic Re-Entry

At an internal-permutation-symmetric constituted receiver state, receiver-odd tangent directions are annihilated by invariant receiver consequence derivatives through every finite horizon, but their even quadratic invariants re-enter the native receiver dynamics after one update.

Scope: The receiver-side S2 symmetry sector and the stated canonical ACRF-4 current update, with the quadratic re-entry evaluated at the broken constituted fixed state used in the paper.

  • First-order silence does not imply finite-amplitude irrelevance.
  • The result is a model-level symmetry statement and not a universal physical law.

Last reviewed 2026-08-31

Exact Model Result

Minimal Homogeneous Odd-Sector Polynomial Invariant Generators

The S2 x S2 invariant polynomial ring on the odd variables (d_S, a, d_C, b, c) is generated by eleven quadratic/cubic invariants, and these eleven form a minimal homogeneous polynomial generating set. The fixed budget removes r, reducing the full displayed polynomial presentation from 16 to 15 generators.

Scope: Polynomial invariant theory for the explicit S2 x S2 representation used by the canonical ACRF-4 two-host decomposition.

  • Polynomial-generator minimality is not the same as dynamical consequence-minimality.
  • The 15 displayed polynomial generators are algebraically redundant as coordinates on the orbit space.

Last reviewed 2026-08-31

Exact Model Result

Nine-Dimensional Generic Orbit Quotient and Stratified Host-Boundary Structure

The constrained canonical ACRF-4 state has dimension nine, and quotienting by the finite S2 x S2 group preserves generic dimension. A global nine-scalar canonical orbit representative exists. On the generic d_S d_C != 0 chart, the quotient has the exact 3+3+3 form W_S=(m_S,p_S,D_S), W_C=(m_C,p_C,D_C), B_SC=(A,B,C); globally the quotient is stratified because symmetry-restoration sets have nontrivial stabilizers.

Scope: The exact orbit space of the two-host canonical ACRF-4 state under internal host relabeling.

  • The 3-coordinate boundary description is a generic chart, not one globally smooth product factor.
  • The boundary orientation is defined relationally with respect to constituted host orientations.

Last reviewed 2026-08-31

Exact Theorem

Relative Registration Metric Identity

For positive scalar representatives A and B with one-step gains Gamma_A and Gamma_B, the relative metric M_{A|B}=A/B changes exactly by the gain ratio Gamma_A/Gamma_B.

Scope: Exact algebraic statement for positive scalar representatives or one-dimensional calibrated quantities.

  • Does not yet establish the full Registration Tensor metric theorem.
  • Does not derive physical meters, seconds, or an absolute metric.

Last reviewed 2026-09-02

Exact Theorem

Common Registration Cancellation

If a measured system and its reference undergo the same positive common registration gain, that gain cancels exactly from their relative metric.

Scope: Exact corollary of the scalar relative-registration metric identity.

  • Does not prove that all physical systems share a universal common gain.
  • Does not by itself establish a tensorial or relativistic measurement law.

Last reviewed 2026-09-02

Exact Theorem

Log-Additive Registration Lineage Variable

For a positive multiplicative consequence carrier C_{n+1}=Gamma_n C_n, the logarithm of accumulated consequence converts sequential products into an exact additive lineage variable.

Scope: Exact for positive scalar consequence factors in the restricted multiplicative regime.

  • Does not identify the additive variable with physical time.
  • Does not prove that general finite-amplitude registration consequence is one-dimensional.

Last reviewed 2026-09-02

Exact Model Result

Preserved Ray Identity with Multiplicative Consequence in Symmetric ACRF-4

At the canonical symmetric ACRF-4 state, the zero-mean sector H4 is multiplied by lambda_H4 = alpha - beta; therefore a relational ray is preserved while its amplitude changes multiplicatively. For canonical parameters the exact multiplier is 1.05.

Scope: Local tangent result at the fully symmetric canonical ACRF-4 state.

  • Does not establish a universal registration gain.
  • Full finite-amplitude cross-host consequence is not one-dimensional.

Last reviewed 2026-09-02

Exact Theorem

Odd-Dimensional Complex-Structure Obstruction

No odd-dimensional real vector space admits a real-linear endomorphism J satisfying J² = −I; in particular, a real three-dimensional registration carrier cannot itself carry a linear complex structure.

Scope: Exact finite-dimensional real linear algebra.

  • Does not determine the physical registration carrier or prove that Registration Theory requires complexification.

Last reviewed 2026-09-02

Exact Theorem

Uniqueness of Triadic Alternating Closure in Complex Dimension Three

For a complex three-dimensional carrier W, the space Λ³W* is one-dimensional, so every nonzero alternating trilinear closure form is unique up to an overall complex scale.

Scope: Exact multilinear algebra on complex dimension three.

  • Does not prove that physical registration closure must be alternating or trilinear.

Last reviewed 2026-09-02

Exact Theorem

Normalized Triadic Closure Index Bounds

The normalized determinant closure index chi_3=|Omega(z1,z2,z3)|/(||z1||||z2||||z3||) lies in [0,1]; it vanishes exactly for linearly dependent triples and reaches one exactly for mutually orthogonal triples up to normalization and phase.

Scope: Exact Hadamard-determinant result for a Hermitian complex three-space with a compatible normalized volume form.

  • The index is a mathematical closure diagnostic, not yet a measured confinement observable.

Last reviewed 2026-09-02

Exact Theorem

SU(3) Automorphism Theorem for Hermitian Triadic Closure

For a complex three-dimensional W with positive Hermitian form h and nonzero alternating three-form Omega, the complex-linear automorphisms preserving both h and Omega form a group isomorphic to SU(3).

Scope: Exact group-theoretic theorem for the stated mathematical structures.

  • Does not prove that primitive physical registration necessarily preserves h and Omega.
  • Does not derive a local SU(3) gauge connection, gluons, Yang-Mills dynamics, or QCD.

Last reviewed 2026-09-02

Exact Model Result

Canonical ACRF-4 Two-Channel Boundary-Consequence Field

For the canonical two-host decomposition, the complete source-to-receiver external preactivation contribution factors exactly into a two-channel boundary field Phi=(e_m,e_d); when both channels vanish, the full one-step receiver quotient consequence agrees with the receiver-isolated successor, including retained-edge updating.

Scope: Exact algebraic result within canonical finite ACRF-4 and the specified two-host quotient/intervention.

  • This is a model-level boundary-consequence field, not yet a universal physical field.
  • The result is one-step; multi-horizon invariance of the zero-field set remains open.

Last reviewed 2026-09-04

Exact Model Result

ACRF-4 Receiver-Mean Boundary Channel Is Not Gauge

The receiver-uniform boundary channel e_m has a nonzero host-versus-source projection in H4 whenever e_m is nonzero, and nonlinear ACRF-4 succession does not preserve a generic global-shift quotient; therefore e_m cannot be removed as common-mode gauge in canonical ACRF-4.

Scope: Exact canonical-model no-go for the existing H4/common-mode quotient, with a numerical witness for generic nonlinear successor inequivalence.

  • Does not rule out a different future primitive dynamics with a genuine common-mode gauge symmetry.
  • Does not by itself identify e_m with a particular physical field component.

Last reviewed 2026-09-04

Exact Theorem

Persistent Individuation as a Necessary Condition for Stable Comparison

For an operand-sensitive comparator to remain well defined across admissible realizations or re-registrations of its operands, the comparator must factor through equivalence classes that preserve the operand identities relevant to the comparison.

Scope: Formal well-definedness and quotient-factorization result under the paper's definitions of contextual identity, admissible re-registration, and stable operand-sensitive comparison.

  • Necessity does not establish sufficiency.
  • The theorem does not construct a physical comparator from primitive RT dynamics.
  • It does not prove that Registration Theory is the only ontology capable of satisfying the condition.

Last reviewed 2026-09-06

Exact Theorem

Bilateral Consequence Factorization Theorem

For a declared bilateral representation, joint consequence sufficiency is equivalent to constancy of both participant consequence signatures on representation fibers and to factorization of both consequences through the same common representation.

Scope: Exact representation-theoretic result conditional on the declared bilateral event domain, representation, and consequence signatures.

  • Does not by itself prove that a proposed representation is physically primitive.
  • Physical completeness still requires that consequential retained-boundary information not be omitted.

Last reviewed 2026-09-08

Exact Model Result

Global Bilateral Quotient Reconstruction in Canonical ACRF-4

Canonical finite ACRF-4 admits two globally defined participant-relative records that are exchanged involutively and jointly reconstruct the complete orbit-separating quotient; the same common carrier remains upstream of both matched-intervention consequences.

Scope: Exact within canonical finite ACRF-4, including symmetry-restoration strata through Q=(E,UU^T,VV^T,c^2,cUV^T).

  • The global invariant representation is algebraically redundant and does not make the stratified quotient a globally smooth product.
  • The ACRF participant-relative records are not identified with primitive Trinity registrations.
  • No physical metric, Lorentz structure, force, charge, or universal speed follows from this theorem.

Last reviewed 2026-09-08

Exact Model Result

Closure-Induced Complex Structure Theorem

On a common two-component closed registration sector, if conjugate exchange C_cl and closure-orientation parity R_cl are anticommuting involutions, then J_cl = R_cl C_cl satisfies J_cl^2 = -I.

Scope: Exact algebraic result on a common closed registration sector V_cl where C_cl^2 = R_cl^2 = I and R_cl C_cl = -C_cl R_cl.

  • The physically selected common closed sector has not yet been derived from primitive Registration Theory dynamics.
  • The result does not by itself establish that physical registration succession is generated by the induced compact action.

Last reviewed 2026-09-09

Exact Model Result

Closure-Induced Compact Phase Action

Because J_cl^2 = -I, the induced action U_cl(phi) = exp(phi J_cl) = I cos(phi) + J_cl sin(phi) is exactly 2pi-periodic and therefore admits algebraic winding classes when a closed orbit is realized.

Scope: Exact algebraic consequence of the closure-induced complex structure on the defined closed registration sector.

  • The periodic algebraic action is not yet identified with intrinsically individuated physical registration succession.
  • Integer winding classes are not identified with charge, spin, particle number, mass, or another physical quantum number.

Last reviewed 2026-09-09

Exact Model Result

Conjugate Boundary Divergence Lemma

For hyperbolic conjugate evolution with null coordinates u and v satisfying uv = Q, approach of one nonzero conjugate coordinate to zero forces reciprocal divergence of the other.

Scope: The two-component conjugate action generated by C^2 = I with u' = exp(eta)u and v' = exp(-eta)v.

  • Does not identify u or v with a specific physical observable.
  • Does not by itself establish finite-time divergence in a physical system.

Last reviewed 2026-09-11

Exact Model Result

Finite-Parameter Conjugate Blow-Up Criterion

Finite-parameter divergence in the hyperbolic conjugate sector occurs when the accumulated conjugate rapidity diverges at a finite evolution parameter.

Scope: Hyperbolic conjugate evolution parameterized by eta(lambda) with the stated regularity and nonzero initial conjugate data.

  • Does not derive the driving rate from primitive Registration Theory dynamics.
  • Does not identify the evolution parameter with physical time.

Last reviewed 2026-09-11

Exact Model Result

Invariant Intersection Theorem

The simultaneous level set uv = Q and u^2 + v^2 = A^2 contains at most four points, so a continuous trajectory constrained by both invariants is constant on any connected interval.

Scope: Real two-component conjugate coordinates satisfying both the hyperbolic product invariant and compact quadratic invariant.

  • This is an algebraic obstruction theorem, not a derivation of physical closure.

Last reviewed 2026-09-11

Exact Model Result

Compact-Closure / Noncompact-Escape Dichotomy

Open conjugate evolution generated by C^2 = I permits noncompact reciprocal amplification, whereas the stated closed-sector structure with J_cl^2 = -I generates compact bounded phase evolution.

Scope: The open hyperbolic conjugate sector and the previously defined common closed registration sector.

  • The physically selected common closed sector is not yet derived from primitive registration dynamics.
  • Closure is not identified with a minimum physical length or universal ultraviolet cutoff.

Last reviewed 2026-09-11

Exact Model Result

Boundary-Kernel Closure Characterization

In canonical ACRF-4, zero instantaneous receiver-directed boundary consequence is exactly characterized by membership of the source-host state in the kernel of the two-channel boundary operator.

Scope: Canonical finite ACRF-4 with the established source-to-receiver boundary operator.

  • Instantaneous kernel membership does not imply persistence under succession.
  • The canonical ACRF-4 boundary operator is not yet a universal physical boundary-flux law.

Last reviewed 2026-09-11

Exact Model Result

Zero-Boundary-Field Non-Invariance Theorem

The complete instantaneous zero-boundary-field set in canonical ACRF-4 is not forward invariant under the successor map.

Scope: Canonical finite ACRF-4.

  • The theorem rules out instantaneous cancellation as a sufficient criterion for persistent closure but does not rule out invariant zero-field subsets.

Last reviewed 2026-09-11

Exact Model Result

Persistent Zero-Field Sector Theorem

Canonical ACRF-4 contains an exact successor-invariant sector that remains internally active while producing identically zero receiver-directed boundary consequence at every successor.

Scope: The explicitly defined antisymmetric invariant sector of canonical ACRF-4.

  • This is a model-level existence theorem and is not yet a universal Registration Theory localization theorem.
  • Physical spatial boundedness and radiative release require additional bridge theorems.

Last reviewed 2026-09-11

Exact Model Result

Nonzero Persistent Closed Registration

The exact persistent zero-field sector contains a nonzero fixed registration with q approximately 0.588489729294, pC approximately 0.609588504962, and pS = r approximately 1.078082299008.

Scope: The reduced successor system on the exact invariant zero-field sector of canonical ACRF-4.

  • Transverse stability of this nonzero fixed registration remains to be established.

Last reviewed 2026-09-11

Exact Model Result

Canonical Local Complex Structure at a Persistent ACRF-4 Registration

At the nonzero persistent closed registration of canonical ACRF-4, the reduced closed dynamics derive a retained-even/current-odd parity involution and nonzero reciprocal tangent cross-responses. Reciprocal-gain normalization yields an exchange involution that anticommutes with the native parity, so J_cl = R_cl C_cl satisfies J_cl^2 = -I.

Scope: Exact normalized local tangent result on the forward-invariant two-dimensional retained/current core of the canonical successor-invariant zero-boundary-field sector.

  • Does not establish a global finite-amplitude exchange involution on all of Z_anti.
  • Does not prove that physical registration succession is generated by the induced compact phase action.
  • Does not identify the complex structure with a physical wavefunction, charge, spin, particle number, or quantum mechanics.

Last reviewed 2026-09-15

Exact Model Result

Participant-Exchange Complex-Orientation No-Go Theorem

At the nonzero persistent closed registration, the natural matched-label lift of participant block exchange is complex-linear, while composition with an allowed internal host relabeling gives a gauge-equivalent lift of the same quotient-level participant exchange that is anti-complex. Therefore J versus -J does not descend through the internal-label quotient; only [J] = {J,-J} is canonical at this level.

Scope: Exact normalized local tangent result combining the persistent closed ACRF-4 complex structure with the independently established G = S2^(S) x S2^(C) internal-label quotient and distinct participant block exchange P_SC.

  • Does not establish a global finite-amplitude complex structure or a smooth orientation double cover over the full stratified quotient.
  • Does not identify J -> -J with electric charge, time reversal, particle-antiparticle conjugation, spontaneous symmetry breaking, or quantum mechanics.
  • Does not prove that physical registration succession is generated by the associated compact phase action.

Last reviewed 2026-09-17

Computational results

Computational Result

Two-Step Quotient Observability Rank Nine

A numerical audit at a generic admissible state reported rank 6 at one step and rank 9 by horizon two for the combined host quotient readouts, with smallest reported two-step singular value approximately 1.21 x 10^-2.

Scope: Numerical observability audit reported in the paper for one generic admissible canonical ACRF-4 state.

  • Supports but does not prove generic consequence-minimality.
  • An analytic nonzero 9 x 9 minor or certified interval proof remains open before promoting this to an exact theorem.

Last reviewed 2026-08-31

Computational Result

Receiver-conditioned ACRF-4 consequence generates a boundary-sensitive effective network operator

Using the intervention-defined receiver consequence from canonical ACRF-4, a declared finite-type projection produces an effective cross-registration reproduction operator whose spectral structure is strongly controlled by RT-internal dynamics. At delta=0.0277128, the full two-channel field gives rho=1.02091 while the difference-only mean-channel ablation gives rho=0.61267; low versus high retained-boundary quartiles give rho=0.53974 versus 1.40048.

Scope: Computational result for 12,000 admissible canonical ACRF-4 states sampled with x_i uniform on [-0.8,0.8] and the six retained edges drawn as 6*Dirichlet(2,...,2), using the coordinate-normalized receiver quotient metric, a transparent eight-bin projection of W=(m,p,|d|), and outward branching number b=2.

  • The multitype spectral-radius threshold and ordinary percolation mathematics are standard; the RT-specific contribution is the construction and control of the effective operator from receiver consequence.
  • A rho=1 crossing under a monotone receiver-resolution sweep is not by itself evidence of new RT criticality; the meaningful result is the displacement produced by RT-specific interventions and retained-boundary organization.
  • The branching rerun bootstraps the same empirical offspring law used to construct the operator and is therefore an implementation-consistency check, not independent physical validation.
  • The current operator propagates pre-interaction receiver types. A complete dynamic propagation theorem requires the receiver successor state, formalized by the Cross-Registration Successor Kernel.
  • The first loopy-network realization does not yet enforce one globally compatible ACRF-4 state across every incident edge at each vertex.

Last reviewed 2026-09-04

Conditional results

Conditional Result

Finite-step consequence support under one-step locality

If the native ACRF-4 update couples only primitive neighbors (one-step locality), the n-step full-state tangent propagator has no support beyond registration depth n: d_reg(i,j) > n ⇒ (Jⁿ)ⱼᵢ = 0, so the consequence-front length obeys ℓ_reg(n;i) ≤ n.

Scope: Standard locality mathematics applied to the ACRF-4 update graph, conditional on the one-step locality assumption stated in the source; the result itself is not claimed as novel.

  • Does not by itself derive a physical speed of light.
  • Canonical ACRF-4 itself is not thereby shown to satisfy sparse primitive-neighbor locality: its mean term is globally consequential and its adaptive retained-coupling target gives every pair positive support after one update.
  • The forward-generated shared-event transfer carrier required for physical propagation remains unresolved.

Last reviewed 2026-08-27

Conditional Result

Balanced Energetic Consequence Implies No Momentum Change, Conditionally

Assuming a momentum bridge Delta p_i = kappa J_E_directional(i), vanishing first directional moment of the energetic registration current implies Delta p_i=0.

Scope: Algebraically exact conditional consequence of the explicitly assumed momentum bridge.

  • The physical energetic current and momentum bridge have not been derived from canonical Registration Theory.
  • Does not derive inertia, force, Newton's laws, or inertial mass.

Last reviewed 2026-09-02

Conditional Result

Conjugate Doubling Gives a Complex Three-Space

Given two paired real three-dimensional sectors and a fixed isomorphism between them, J(u,v)=(-iota v,iota^{-1}u) satisfies J²=-I, making the six-real-dimensional doubled carrier a complex vector space of dimension three.

Scope: Exact linear-algebra consequence of the explicitly assumed paired three-dimensional sectors and fixed identification.

  • The physical existence, uniqueness, and interpretation of the paired sectors are not derived by this theorem.
  • Does not identify the resulting complex carrier with QCD color space.

Last reviewed 2026-09-02

Conditional Result

Persistent Singlet Closure Under Equivariant Succession

If the registration successor map is equivariant under a group action, the fixed/singlet sector is invariant under every finite iterate of that successor map.

Scope: Exact conditional theorem for an explicitly assumed equivariant successor map.

  • Singlet-sector invariance does not by itself establish dynamical stability, binding energy, finite size, or confinement.

Last reviewed 2026-09-02

Conditional Result

Singlet Cancellation of Adjoint Boundary-Current Expectation

If a boundary registration current transforms in the SU(3) adjoint representation, its one-point expectation value in an SU(3) singlet state must vanish because the Lie algebra su(3) has trivial center.

Scope: Exact representation-theoretic consequence of the stated singlet-state and adjoint-current assumptions.

  • Does not imply that current fluctuations, internal currents, or all boundary dynamics vanish.
  • Does not yet imply zero production of physical spatial extent.

Last reviewed 2026-09-02

Conjectures

Conjecture

Persistent Registration as Ongoing Maintenance

A persistent constituted identity may remain invariant across an indefinitely extendable registration lineage while retained consequence and internal maintenance continue to update.

Scope: Candidate foundational principle compatible with the present Registration Theory ontology and limited maintained-distinction models.

  • Not a canonical axiom or universal theorem.
  • Does not imply an already-existing infinite amount of measured time.

Last reviewed 2026-09-02

Conjecture

Registration-Gain pi/3 Conjecture

A deeper Trinity/registration derivation may yield a dimensionless elementary relational gain Gamma_R = pi/3, with a separate bridge required to relate that gain to the ACRF tangent multiplier alpha - beta.

Scope: Conjectural interpretation motivated by the note's three-equal-face / closed-circular-traversal construction.

  • The circular construction is not forced by the Trinity axioms.
  • The canonical ACRF value alpha - beta = 21/20 is not equal to pi/3.
  • No universal physical constant is established.

Last reviewed 2026-09-02

Conjecture

Registration Closure–Boundary Conjecture

A persistently realized registration singlet may have zero net outward space-facing boundary production while maintaining nonzero internal registration, providing a candidate bridge from invariant closure to bounded physical objecthood.

Scope: Open foundational bridge proposed by the closure note.

  • No derived law yet maps singlet or adjoint-current cancellation to a constant physical spatial boundary.
  • Does not establish QCD confinement or a linear confining potential.

Last reviewed 2026-09-02

Conjecture

Particle–Field Trinity Conjugacy Conjecture

A particle-like physical object is a persistent localized registration organization, while its field is the Trinity-conjugate relational registration of that same organization; particle and field are therefore proposed as reciprocal registered regimes rather than independent primitives.

Scope: Principal ontological conjecture of the particle–field paper, compatible with paired Trinity conjugacy and exact ACRF-4 boundary-consequence structure.

  • The physical identification of the localized/retained side with particle and the conjugate boundary/current side with field is not yet derived from primitive RT dynamics.
  • Does not yet recover Maxwell equations, gravity, quantum field theory, or a universal physical field law.

Last reviewed 2026-09-04

Conjecture

Relative Charge-Orientation Conjecture

Physical charge sign is proposed as a relational orientation characteristic of particle–field Trinity conjugacy; current ACRF mathematics supplies relative orientation and parity structures but no host-independent conserved signed charge functional.

Scope: Conjectural physical reconstruction based on relative host/boundary orientation and reversal parity.

  • No absolute charge sign, U(1) gauge structure, charge conservation law, or electromagnetic coupling has been derived.

Last reviewed 2026-09-04

Conjecture

Mass as Coarse-Grained Persistence and Localization

Mass is proposed as a host-level coarse-grained property of a persistently localized, internally active, closed multi-registration organization rather than as one elementary conjugate invariant.

Scope: Conjectural reconstruction informed by localization, persistent-lineage, retained-history, and invariant-closure results.

  • No physically calibrated mass functional M_R[H] has yet been derived.
  • Inertial mass, gravitational mass, and empirical energy-momentum relations remain reconstruction targets.

Last reviewed 2026-09-04

Conjecture

Radiation as a Propagating Field-Conjugate Regime

Field and radiation are distinct: radiation is proposed to occur when the field-conjugate registration enters a persistent outward consequence-support propagation regime following loss, reorganization, or release of localized closure.

Scope: Ontological and dynamical conjecture linking the particle–field distinction to the closure/localization program.

  • A nonzero boundary field does not by itself imply radiation.
  • The Closure-Loss / Radiative-Propagation theorem has not been proved.

Last reviewed 2026-09-04

Conjecture

Mathematical Individuation Conjecture

Any mathematical object that is physically instantiated, operationally represented, or used as a stable relational element within a registration system requires stabilized equivalence of retained distinctions sufficient for repeatable identification and comparison.

Scope: Concerns physically instantiated or operational mathematical representation within registering systems, not the independent existence or truth of abstract mathematics.

  • Number, scalar, vector, tensor, metric, and geometry have not been universally reconstructed from persistence.
  • The bridge from persistent individuation to a dynamically realized comparator remains an open derivation problem.
  • The conjecture does not reduce abstract mathematics to physics.

Last reviewed 2026-09-06

Open problems

Open Problem

Reconstruction of physical spacetime from registration dynamics

ACRF-4 now has exact node-block nonautonomy and strict retained-edge densification, but its complete positive K-support graph does not derive sparse primitive-neighbor locality. Deriving physical spacetime still requires a forward-generated boundary-growth and inter-host transfer structure whose complete dynamics remain unresolved.

Last reviewed 2026-08-28

Open Problem

A universal physical value of c derived from the framework

Not yet established as a completed universal derivation.

Last reviewed 2026-08-27

Open Problem

Full Lorentz symmetry without remaining assumptions

A derivation of full Lorentz symmetry that does not depend on further unstated assumptions has not yet been completed.

Last reviewed 2026-08-27

Open Problem

Universal metric reconstruction theorem

A completed, general theorem reconstructing a physical metric from registration structure remains open.

Last reviewed 2026-08-27

Open Problem

Physical 3+1 dimensionality as a cross-host reconstruction obligation

ACRF-4 contains an exact three-dimensional relative registration sector (H4), but the physical identification and stabilization of macroscopic 3+1 geometry across independently registering systems requires additional reconstruction results not yet established in general.

Last reviewed 2026-08-27

Superseded formulations

Superseded

Direct physical identification of ACRF-4 structural sectors

Earlier formulations assigned direct physical meaning to the ACRF-4 structural decomposition. That identification has been withdrawn. ACRF-4 now provides downstream registration structure; physical time, space, and energetic distinctions require additional host-dependent reconstruction.

Last reviewed 2026-08-27