Finite Observer Consensus as a Reconstruction Principle: Normal Forms, the Standard Model Lie Type, and a Route to the Einstein Field Equation

Paper release: r2043

Keywords: foundations of physics; Observer Patch Holography; finite reconstruction; causal sets; quantum records; Einstein field equation; gauge structure.

Introduction and claim boundary

Quantum probability, Lorentzian kinematics, gravitational dynamics, and gauge structure enter standard descriptions through distinct mathematical inputs [sources]. Observer Patch Holography asks whether they can instead arise as different public readouts of one finite observer architecture.

The primitive object is an observer patch: a finite subsystem with local state, an observable boundary, readback, durable records, and authorized repair moves. At each regulator, local carriers realize observer patches and federate through typed overlaps. Each carrier has twelve primitive boundary ports with oriented icosahedral incidence. The screen is a federation-level construction: its overlap nerve maps with degree one to a refinement tower with oriented \(S^2\) support. Local carrier boundary, federation nerve, and spherical support are distinct parts of the construction.

OPH identifies an objective fact with a record that survives every authorized comparison. A patch begins with a private, repairable record. Patches compare their readbacks on shared boundaries and accept only repairs that preserve protected data. When the named repair relation terminates, satisfies the local diamond, and is complete, every maximal schedule from a fixed initial quotient state reaches the same consistent normal form. The resulting protected record is idempotent, schedule independent, and insensitive to presentation data hidden by the quotient. OPH interprets this public normal form as emergent objective reality. Authenticated read-after-write provenance generates a finite informational poset. Its canonical source height is zero at roots and one plus the maximum direct-parent height otherwise, and equals the attained longest authenticated-parent-chain length. Independently, the exact rank-three positive source quotient defines the four-dimensional ambient target carrier \(\mathbb R\oplus V_{\rm src}\), with a Lorentz form and \(S^2\) null-direction space. A positive timeScale times source height enters only as the temporal coordinate of an event placement in that carrier. A finite enumeration along one source axis and scale larger than its diameter constructs an injective forward-causal placement for every finite log. This auxiliary placement is neither source-selected nor order-reflecting. This is not an intrinsic dimension estimator for the finite poset. It removes a freely supplied rank-four chart from the finite precursor. A source-selected spatial event map and physical causal identification require compatible refinement. The direct causal-set route also requires faithful order embedding, calibrated count density, independent dimension tests, manifoldlikeness and topology. Smooth Einstein promotion further requires either same-family tensor-curvature convergence or the independent continuum small-ball/null-balance identification; scalar-curvature convergence alone is diagnostic.

Observer freedom is constrained before a state is selected. A1 fixes the accessible hardware, including local port incidence, overlap interfaces, the complete reversible-response tangent, and the spherical support. A2 fixes agreement on shared operational meaning and requires proper carrier rechartings to be implemented from inside that response. A3 selects the least informative state within the feasible set left by those constraints. Observers use authorized local operations and coordinate descriptions within fixed quotient-visible hardware and protocol. Authorized operations and rechartings preserve its invariants. On the signed-record response branch, the normalized repair response has an intrinsic rank-three Gram quotient. Its public carrier-position readout leaves observers exactly three independent directions to recover, and authorized rechartings preserve their rank. A faithful physical-position realization must preserve this dimension.

Within the closure hypothesis, the twelve-port carrier and \(S^2\) support are fixed facts of one self-consistent universe. Internal observers encounter them through completed records. Within their record history, they can infer the hardware and protocol and later construct a realization that returns the same invariant readouts. The complete structure has no beginning at which the architecture is chosen. Inhabiting the closed solution, discovering its specification, and constructing it are compatible relations within one fixed point. Closure requires fidelity among the inferred specification, its later implementation, and the inhabited world.

The equation \(T(\mathfrak U)=\mathfrak U\) states the universe-level closure hypothesis. It extends beyond the finite normal-form theorem and places the simulating description, the recovered architecture, and the inhabited system in one mathematical object. The structure carries two internal orders. Observer time orders completed records, while well-founded repair descent proves termination. No global clock orders these components. Reconstruction followed by construction in observer record order is therefore compatible with timeless closure and sends no information toward earlier records.

The physical thesis is that, in one inhabited common realization, these protected public readouts are the observables of our universe. The supporting results have different logical types. Finite theorems recover density-operator probability, Lüders conditioning, the Tsirelson ceiling, no-cloning, the intrinsic rank-three position carrier, the local Standard Model gauge Lie type, and an anomaly-free fifteen-state generation. Reconstruction contracts give Lorentz-frame kinematics and the conditional Einstein equation when their stated geometric and physical antecedents hold. Closure diagnostics land close to the measured fine-structure and cosmological constant coordinates, and a frozen prospective propagation branch fixes its first anisotropic harmonic at angular rank six. The full physical thesis requires one common realized tower carrying all of these readouts, including four-dimensional event geometry.

The case for OPH is the reach of one observer architecture. Protected normal forms define shared records; complete reversible response with endogenous transport fixes the local gauge Lie type; and one supplied matter action supports both real-sector continuum trajectories and an interacting Hilbert space. These results connect objects that ordinary physical models introduce separately. Their common physical realization is the empirical content of the proposed unification.

Each link has an explicit input and an independently inspectable output. The closure hypothesis supplies the timeless self-referential reading. A1 fixes patch hardware, A2 fixes agreement and endogenous transport, and A3 selects the least-informative compatible state. Named repair and propagation laws then support finite theorems and certified computations. Termination, confluence and a physical kinetic operator require their own premises. Physical realization maps identify records, currents, clocks, stress and scales with laboratory or spacetime objects. Spherical support gives Lorentz symmetry; realized null balance, Ward conservation, the Bianchi identity and an independent scale give the Einstein implication.

the table separates these implications from diagnostics and prospective tests. Companion papers give the longer proofs and executable evidence [sources]. Each step is identified as a Lean theorem, exact executable certificate, conditional paper argument, numerical receipt, or explicit unproved premise.

the table gives the seven epistemic claim classes used throughout.

Throughout, “source” means computed from the declared finite source specification, including every explicitly named source law, with no measured physical input. “Source-only” marks a quantity whose entire dependency cone is of that kind. A physical realization map is not source-only merely because the finite branch calculation is target-clean.

The distinction is mathematical: a finite implication and a physical realization of its antecedents are different claims. Machine-readable receipts record that distinction and reject a physical verdict when a required map is absent.

Throughout this paper, a contract is a named, typed theorem interface. It records the inputs, domains, maps, normalization conventions, premises, outputs, and realization obligations for one implication. The term keeps the full dependency surface visible and introduces no additional physical law. Thus a transaction contract, matter contract, or Einstein contract names the specific interface consumed by that result.

Principal contributions

Finite records connect to geometry, matter and dynamics. the table states hypotheses and conclusions. The normal-form layer gives a canonical partial normalizer, sharp stability and refinement bounds, and complexity barriers. A transactional local diamond yields schedule-independent public records; on the adaptive branch, finite stabilization is source-derived, while fairness, completeness and confluence supply normality and uniqueness. Bounded waste controls attempt cost, and certified read-from provenance supplies a finite causal order. The carrier layer returns an intrinsic rank-three position readback and forces the gauge Lie type, with a conditional \(\mathbb Z_6\) matter image and exhaustive exterior selection. The quantum-record layer derives Born weights from finite effect valuations and carries Lüders conditioning, Tsirelson’s bound and the copying obstruction on a declared algebra-state pair.

The dynamical layer includes a controlled nonlinear continuum limit of a supplied charged-scalar/Maxwell action. Its real, zero-current sector converges at first order in the energy norm on a uniform conforming spatial refinement, under smooth-solution and initial-projection hypotheses. The fixed-mesh interacting kinetic metric is complete; its declared Laplace–Beltrami Hamiltonian has a unique self-adjoint closure and a nonzero neutral Hilbert space. Bounded self-reading software patches execute the same charged model, and a configuration-based duration recovers its action time on nonturning solutions. These are mathematical and computational realizations on supplied geometry and couplings, with physical identification stated separately. The geometry layer constructs a \((1+3)\) target from an independent real axis and the rank-three carrier, then isolates the common physical refinement, stress, entropy and scale premises under which null balance yields the Einstein field equation.

Operational quantum reconstructions [sources], relational and modular accounts of physical facts and time [sources], thermodynamic routes to gravitational dynamics [sources], and compact-group reconstruction [sources] are the principal comparison points. Born and Lüders rules, Tsirelson’s inequality, conformal–Lorentz isomorphisms, Tannaka reconstruction, and the familiar exterior representation of one generation are used as established ingredients. The originality asserted here is limited to the observer-fiber normalizer with sharp refinement control, the transaction contract yielding the local diamond, the A1–A2 forcing theorem with its fixed-space exclusion, the conditional four-band witness and exhaustive exterior selection, the nine-direction null design with exact determinant and decoder constants, the frozen coefficient-linked primitive-port prediction and the carrier-class band that contains it, the finite effect-valuation representation with its sharp- and unsharp-web countermodels and exact phase-lift boundary, the converse ladder characterizing the generator of a supplied continuous flow, the kernel-and-reference-fixed log-transition action with its real-Legendre non-identifiability theorem, the two independent declared-family selections of the internal-energy slope at nonzero ledger, with the hopping-charge gauge and conservation equivalence, the oriented-face compact-family discriminator with its complete invariant-metric phase diagram, the \(F/G\) invariant-form dimension-drop theorem, the exact local finite face-curvature action with its scalar Coulomb sector, the slot-interface Tsirelson saturation with its record-diagonal boundary, the unique deep-regime enclosed-mass law with its self-contained Cauchy lemma, the capacity-to-equation-of-state map with its displayed scoring asymmetry, and the identification of the continuum Yang–Mills gap with the limiting repair gap under named reconstruction certificates.

Reproduced structures

the table lists the structures of observed physics that the reconstruction returns, with the class of each result in the vocabulary of the table and the section that proves or states it. The table carries no claim beyond the class in its third column: a finite theorem is a theorem about the declared finite objects, a reconstruction implication carries the physical antecedents displayed with it, and a diagnostic consumes measured input and predicts nothing.

Every row carries the premises stated at its own theorem, and the physical realization maps that separate a finite implication from a claim about nature are collected in Section 11.

The standing unsupplied maps

One physical realization must carry compatible events, fields, action, states and readouts across refinement. Its five obligations are:

A finite theorem that consumes none of these stands on its own domain. A statement about nature consumes some of them, and each boundary block below names which. No result in this paper discharges any of the five.

The three axioms

The model uses the following three mathematical postulates.

None of the axioms contains a gauge group, a particle list, a spacetime dimension, or a recovery law. A1 does fix a two-dimensional spherical support and hence the Lorentz kinematic type used below. The results below state which structures follow from these axioms, which require added premises, and which realization maps are consumed as premises.

The self-referential closure hypothesis

The closure hypothesis is the overarching structural premise. The universe is modeled as a timeless, closed, self-referential mathematical structure in which the simulating description and the simulated system are one object, and the physical configuration is a fixed point \(T(\mathfrak U)=\mathfrak U\) of a universe-level closure operator. No primitive or preferred global clock is assumed or derived. Repair order is a partial order on commits, an observer history is an ordered chain of completed records, and that order is invariant under arbitrary strictly increasing regradings, so affine time and proper time require separate calibration and event-geometry receipts.

A structure closed under its own description contains subsystems that read, record, compare, and reconstruct it. Within their emergent subjective time, observers assemble a consistent account of the structure, recover its simulator architecture, and construct that recovered specification, whose constructed hardware and protocol generate the same class of observer records from which it was inferred. Globally there is no earlier reconstruction and later construction; that ordering belongs to the observers’ internal records. The closure condition requires the recovered specification, its constructed realization, and the inhabited structure to return the same invariant quantities, and it supplies no finite repair law, current derivative, physical kinetic operator, or existence and uniqueness proof for the cosmic fixed point.

No temporal paradox arises. The equation \(T(\mathfrak U)=\mathfrak U\) relates parts of one timeless object, with no global time coordinate along which information travels backward. Repair descent is a well-founded order on authorized state updates used to prove termination and compare schedules, and it is neither an observer’s experienced time nor a universe-level clock, so observers can recover the specification and later construct it in their own record order while both stages belong to the same global fixed point. On this reading A1–A3 provide the finite consistency conditions under which the loop closes, and the A2 endogeneity clause is the hypothesis’s local expression inside the axioms: every proper recharting is implemented from inside the response. The necessity claims proved here concern the quotient-visible specification recovered inside the inhabited fixed point, within the stated premise sets.

Two finite results give the hypothesis exact content on declared branches. The packet-quotient closure theorem proves, on the declared finite consensus branch, that the closure map is an affine idempotent whose fixed points are exactly the packets supported on consensus normal forms, with no habitat-level extension [source]. The universe-level record-closure equation \(N=\log M_0(\mathfrak U_N)\) is posed exactly, and the all-rung arithmetic proves nonidentifiability for the bounded completion class defined by base agreement, positivity, and the carrier bound; universal all-rung membership in a complete A1–A3 capacity-source contract is unproved, so direct \(N\) is not evaluable on that incomplete antecedent [source]. A positive result requires a complete antecedent and a proof of one physical zero.

The hypothesis also fixes how the declared carrier is read. The twelve-port carrier belongs to the fixed-point solution inhabited by the observers, and A1 is their recovered description of its quotient-visible specification. The hardware present in the structure, the specification inferred from public records, and the realization constructed later in observer record order must return the same invariant quantities under closure. This internal fidelity is the hypothesis’s necessity claim. The mathematical theorems consume the specification as a premise; universe-level closure remains the separately stated hypothesis. Its quantitative candidates, the screen-grain equation and the capacity coordinate, are developed in Section 10.1, where existence, uniqueness, and stability of the physical fixed point are separate determinacy tests.

How the constraints work together

Physical structure is selected at the intersections of constraints. The carrier incidence fixes a finite response space, its symmetry action, and its invariant subspaces, and that geometry by itself admits many equivariant response laws. A1 restricts the menu to faithful, complete, compact, commutator-closed reversible responses, and A2 requires every proper recharting visible through overlap agreement to act internally on that same response. For the twelve-port carrier the resulting one-dimensional fixed space excludes the sole centreless compact alternative and fixes the local Standard Model gauge algebra, so geometry, reversible dynamics, and agreement are all used in that conclusion.

Repair dynamics occupy a distinct part of the architecture. A named repair law produces a schedule-independent public record only when its termination and local-diamond premises hold. The gauge theorem imports no such law: it consumes the complete response clause of A1 and the endogenous transport clause of A2 directly, and a simulator that claims to realize those clauses owes an implementation-level check that adds no premise to the implication. The same discipline applies to measures. Carrier counting and algebraic traces supply finite candidate measures, agreement and repair determine whether they descend to the public quotient, and a physical realization map must then preserve them as spacetime or laboratory measures. This dependency discipline separates forced structure from formal resemblance.

The theorem chain

The results form branches with different premises: \[\begin{array}{rcl} \text{finite carrier and convergent repair} &\longrightarrow& \text{consensus normal form},\\[1.5mm] \substack{\text{signed port records}\\ \text{normalized repair response}} &\longrightarrow& \substack{\text{abstract continuous local}\\ \text{three-dimensional Euclidean carrier}},\\[1.5mm] \text{algebra-state reading of the completed record} &\longrightarrow& \text{finite quantum record identities},\\[1.5mm] \text{A1 response and A2 transport} &\longrightarrow& \text{Standard Model local Lie type},\\[1.5mm] \text{displayed matter representation} &\longrightarrow& \text{conditional }\mathbb Z_6\text{ matter image},\\[1.5mm] \text{oriented spherical support} &\longrightarrow& \text{Lorentz observer-velocity kinematics},\\[1.5mm] \text{authenticated read-after-write provenance} &\longrightarrow& \substack{\text{finite informational causal poset}\\ \text{and canonical source height}},\\[1.5mm] \substack{\text{source causal poset, rank-three carrier, real axis,}\\ \text{celestial }S^2\text{, and finite placement contract}} &\longrightarrow& \substack{\text{populated finite }(1+3)\text{ Lorentzian precursor}\\ \text{with exact order--cone embedding}},\\[1.5mm] \substack{\text{physical event/link attachment and compatible refinement,}\\ \text{calibrated count--volume density, independent dimension,}\\ \text{manifoldlikeness, topology, and uniqueness}} &\Longrightarrow& \substack{\text{effective four-dimensional time-oriented}\\ \text{Lorentzian event manifold}},\\[1.5mm] \substack{\text{same-family tensor-curvature convergence or}\\ \text{continuum small-ball/null balance, with}\\ \text{stress, Ward/Bianchi, coupling, and scale}} &\Longrightarrow& G_{ab}+\Lambda g_{ab}=8\pi G_NT_{ab},\\[1.5mm] \substack{\text{deep-regime scale covariance}\\ \text{and quadrature composition}} &\Longrightarrow& v^4=GM_ba_0,\\[1.5mm] \substack{\text{repair relaxation and}\\ \text{reconstruction certificates}} &\Longrightarrow& \text{positive Yang--Mills mass gap}. \end{array}\] The normal-form, carrier, quantum-record, gauge-Lie-type, Lorentz-kinematic, finite-poset, and finite-precursor rows are finite or exact results under their displayed premises; the matter-image row is a conditional finite algebraic theorem. The effective-manifold, Einstein, deep-gravity, and mass-gap rows are reconstruction implications. The spacetime branch is exact through the populated finite \((1+3)\) precursor and its finitely checkable order-embedding constructor, and conditional at the physical continuum and curvature promotions. A common modular–stress–entropy tower is the proposed route to the null-balance antecedent of the Einstein row; no physical realization of that tower is supplied. Sections 2 through 10 develop these branches. Section 11 records the physical interpretation maps. Section 12 describes the verification stack. Section 13 states the falsification architecture and the empirical decision rule. Section 14 compares the program with neighboring approaches. The conclusion states the program’s full ambition, a derivation of the constants and structural properties of nature from consistency requirements alone.

The primitive finite architecture

The carrier realization used throughout is the twelve-port icosahedral architecture of A1: each carrier’s boundary packet is combinatorially the oriented icosahedron boundary \((P,E,F,o)\) with \(|P|=12\), \(|E|=30\), \(|F|=20\); carriers federate through typed seam algebras with coherent triple-overlap cocycles into a nerve carrying a degree-one bridge to the oriented spherical support. Under the closure hypothesis, this is the quotient-visible source architecture recovered by inhabitants of the fixed point. Every result below displays its dependence on that architecture.

Two exact features of this architecture enter the later constructions. First, the proper rotation group of the icosahedral packet is the alternating group \(A_{5}\), with sixty rotations acting on the twelve ports; the real port-coefficient space has the character decomposition \[\begin{equation} P_{12}\;\cong_{A_5}\;\mathbf 1\oplus\mathbf 3\oplus\mathbf 3'\oplus\mathbf 5, \label{eq:bands} \end{equation}\] an exact multiplicity-free decomposition obtained by standard finite-group character theory [source] and checked by certified projectors. The two triplet bands are machine-checked at the level of the projectors themselves. On the six-dimensional golden sector the spectral projectors have entries in \(\tfrac1{20}\mathbb Z[\varphi]\) with eigenvalues \(2\varphi^2\) and \(2/\varphi^2\), each is the entrywise Galois conjugate of the other, their characters take the values \(3,-1,0\) off the order-five classes and \(\varphi\) or \(1-\varphi\) on the twenty-four order-five elements, and a Burnside span certificate makes each piece an irreducible real representation of the listed automorphism group. Irreducibility survives extension of scalars: the nine listed automorphisms span the complex endomorphism algebra with the same inverse certificates, the two complexified pieces are inequivalent because the traces on the order-five row are \(1-\varphi\) and \(\varphi\), and the real endomorphism algebra of each piece is the real scalars, so both are of real type (). Second, record keeping is integer valued: a write appends \(+1\), a retraction appends \(-1\), and readback sums atomic events per port; a conservative repair transfers one unit across a seam whenever the oriented mismatch has magnitude at least two. With \(V(N)=\sum_i N_i^{2}\), each such repair strictly decreases \(V\) by \(2(d-1)\) for mismatch \(d\ge 2\), so repair terminates by a finite theorem. Divisibility of total load by twelve is a necessary consensus condition and is not sufficient by itself. For the certificate’s source-generated full-pile packet, an explicit eighteen-move schedule reaches consensus.

The same incidence fixes the dimension of the carrier’s own position readback, which is the reason the number three occurs in this framework without being declared.

Hardware and protocol: one substrate, typed dynamics, several readouts

The finite substrate and the operations acting on it are distinct parts of the model. Every physical conclusion requires a specified operation and its own realization map.

Under the closure hypothesis, the substrate is also the specification recovered by observers inside the model and constructed by them within their emergent subjective future. Its ports, seams, readback, records, and repair interfaces form the hardware side of the strange loop. The observations used to infer the specification and the constructed simulator that realizes it belong to the same globally closed structure.

The substrate and reversible-response tangent are the content of A1: a federation of finite carriers, each with the oriented twelve-port icosahedral boundary packet, joined through typed seam algebras with coherent triple overlaps into a nerve that bridges to the oriented spherical support, together with the complete reversible response space of each carrier. The companion microphysics paper specifies this substrate at the level of patch hardware, records, and synchronization interfaces [source]. This layer fixes what exists at each finite regulator: ports, seams, records, and response directions. It does not select a repair schedule, convergent repair law, or physical propagation operator.

The agreement and state-selection protocol combines A2 and A3 with named branch dynamics. Patches write and retract integer record events, read back port sums, compare induced records on shared boundaries, and interpret accepted data through the natural functor of A2. A named repair law moves oriented mismatches under quadratic descent; its termination and local-diamond premises are proved separately. A3 selects the residual state by constrained information projection after the agreement constraints are fixed. The companion consensus paper develops this layer as an asynchronous agreement protocol with explicit safety and liveness assumptions [source]. The protocol fixes what happens: which configurations count as repaired, which records become public, and which transports implement recharting.

The claim structure of the paper is that distinct readouts of this one protocol-on-hardware system yield the distinct pillars of observed physics. Repair to a fixed point under quadratic descent and the transactional diamond gives the schedule-independent public record of Section 3, and the algebra-state reading of that record surface gives the quantum identities of Section 4. Overlap transport around closed paths gives the central defects and edge-center entropy of Section 5. Authenticated semantic commits give the informational event carrier and order. Independently, the standard real axis, source rank three, and celestial/Lorentz cone data give its finite (1+3) ambient model; canonical source height enters only through event placement. A physically faithful manifoldlike refinement limit gives the conditional effective spacetime of Section 6, and modular flow with entropy stationarity on that same limit gives the conditional field equation of Section 7. Endogenous recharting of the complete port response gives the gauge type and conditional matter image of Section 8. Record readback, the modular ledger, and the realized path law give the position, energy, and action of Section 9. Capacity accounting and closure readback give the quantitative surfaces of Section 10, and homogeneous propagation on a selected carrier action gives the coefficient rays of Section 10.6. the table indexes the resulting structures by physical name.

One feature of this pipeline carries the unification claim: the branches consume one substrate under typed operations, so the same completed records that define measurement feed the event geometry, and the same overlap transport that defines agreement feeds the gauge forcing. The universe claim of the program is the conjunction. A physical carrier that realizes the hardware and runs the protocol produces public records whose readouts include quantum probability, Lorentzian causal structure, Einstein dynamics, and the Standard Model gauge and matter skeleton, with the maps of Section 1.3 as additional premises.

Observable normal forms and finite consensus

A completed finite configuration \(x\) is a fixed point of the named repair-and-agreement map: \[\begin{equation} \mathcal R_{\mathrm{cons}}(x)=x, \end{equation}\] where \(\mathcal R_{\mathrm{cons}}\) is the composite finite dynamics. This map is distinct from the universe-level closure operator \(T\) of Section 1.5. Fixed-point existence, observable determination, and schedule independence are separate questions. The following framework isolates them [source].

Exact observable fibers

The fiber \(C_b\) is unrealizable, reconstructing, or ambiguous according as its cardinality is zero, one, or greater than one. This trichotomy avoids assigning a state to a record that has either no consistent extension or several observationally indistinguishable extensions.

This normalizer is defined by observable fibers, independent of a chosen repair schedule. A repair relation implements it only when the relation preserves \(B\), reaches the consistent set, and satisfies an appropriate liveness condition. Confluence from one source does not by itself prove determination across distinct sources with the same protected record.

For a separately declared finite scheduler, protected observations admit four nested first-hit layers: nonempty consistent fiber, positive reach from some active source, almost-sure reach from every active source, and a single first-hit endpoint class modulo the declared silent equivalence. Their complementary cuts partition the empty-fiber, inaccessible, liveness, and selection obstructions, the layers instantiate the behavior-cut interface of this section exactly under explicit support–rewrite laws, and an exact finite-state morphism transports the whole profile. The four cuts compare coordinatewise, a product preorder rather than a scalar score. The definitions, machine-checked theorems, native fixtures, and countermodels are in the observable-normal-forms component paper [source]; the statement is conditional on the declared scheduler and morphism packet and supplies neither hitting-time rates nor an implementation-refinement result.

For the repository’s canonical single-site repair, the attempt semantics is sharper. Every adaptive run is eventually constant because each nonstuttering attempt is an accepted repair and strictly lowers the mismatch count. Pathwise weak fairness makes the stable state a normal form, while work conservation gives a normal horizon no larger than the initial mismatch count. Under completeness and confluence, every such weak-fair run reaches the canonical raw repair endpoint and hence the same public fixed-point object. These results select no scheduler and provide no stochastic hitting law, rate, physical clock, or refinement theorem.

The attempt count has its own sharp capacity theorem. Every chosen-site invocation costs one unit, including equality stutter. At fixed initial mismatch one, a scheduler can delay the first genuine repair for any prescribed finite number of attempts and then normalize on the next attempt, so the mismatch rank alone gives no finite attempt horizon. If every reducible record instead sees a genuine change among the next \(q+1\) attempts, the bounded-waste upper horizon is \((q+1)\) times the initial mismatch count. An independent-defect family attains the work-conserving case exactly at \(q=0\), and the different-cardinality TwoCell source gives a second sharp instance. With a sufficient budget and the existing completeness and confluence premises, the same bound reaches the canonical raw and public fixed-point endpoint before budget exhaustion [sources]. This mathematical capacity is not a physical clock, rate, energy, bandwidth, fee, or hardware quota.

The precedence layer beneath these results is itself source-derived. Every quotient-visible register version carries the identifier of its last semantic writer, each commit certifies the register versions its acceptance genuinely depends on, and the informational order is the transitive closure of authenticated read-from parenthood. The causalSupp field is supplied semantic data: Lean requires it to lie inside the read set, while its soundness and completeness as the set of genuine dependencies are producer and independent-verifier obligations rather than kernel-derived dependence analysis. A direct edge requires the child to certify the resource, the parent to write it, the child’s pre-commit snapshot to name that parent as writer, and the pre-commit value to equal the parent’s post-commit value. A raw writer label alone is a negative control. The result is a strict order under a rank increasing along direct edges and is least among strict transitive extensions of those edges. The executed-history model derives such a rank from execution position, and any exact precedence adapter carries the generated order verbatim. Static mismatch scores are writer-blind, so a standing residual determines no causal arrow. Under fresh-ID, duplicate-free, and visible-support hypotheses, a hidden commit changes no visible mismatch and supplies no outgoing direct raw or authenticated parent edge to a visibly supported child; incoming edges into the hidden commit are not excluded. For one adjacent independent swap, the authenticated relation and its transitive closure are preserved under fresh-ID and duplicate-free hypotheses on both executions. The broader equivalence-generated swap chain preserves only the raw writer-citation relation; it does not prove arbitrary labeled-payload invariance. Executor stutters are removed before commits are formed. The generated relation is an authenticated read-from dependence suborder and analogue of happened-before in distributed computing [source]. Record or program order contributes only when a later commit genuinely consumes the earlier record.

Lean packages reflexive generated ancestry as a partial order and proves that every interval is finite at each finite cutoff. Thus, as an abstract finite poset, this object satisfies the order-theoretic causal-set axioms. Standard causal set theory starts from a locally finite order whose relation is interpreted as proto-causality [sources]; finiteness gives local finiteness here, but read-from dependence is informational rather than physical. A standard faithful-embedding interpretation additionally requires an order embedding, manifoldlikeness and dimension, and the approximately Poisson count-density condition that completes a causal-set faithful embedding [sources]. On the continuum side, causal order determines conformal geometry only under the relevant distinguishing or causality hypotheses [sources]; event number or an equivalent volume datum is needed for the conformal factor. The standard Lorentz-invariant continuum approximation uses Poisson sprinkling rather than a regular lattice [source]. The OPH commit log supplies no calibrated map from event counts to spacetime volume. No faithful embedding, four-dimensional manifoldlikeness, volume law, continuum existence, or Hauptvermutung uniqueness theorem follows from the finite provenance order. This exact statement is exposed as generatedBeforeEq_isPartialOrder and finiteCausalSetAxioms; it is deliberately an informational theorem.

This theorem shows that chainlike captured histories are not forced by the authenticated-provenance grammar. Every finite causal set can be represented exactly as an abstract semantic log, and Theorem 20 then gives it a separated one-way realization in the exact source (1+3) carrier. The relation \(R\) is supplied to the compiler. Its per-event snapshots are not proved to arise from one threaded executor, and no OPH dynamics, physical event identification, order embedding with a calibrated density law (and hence no causal-set faithful embedding), or manifold limit is selected by this expressivity result ().

The finite OPH construction does not leave the ambient carrier’s dimension and signature to a chart receipt. Authenticated semantic provenance fixes the event carrier and generated order. From its parent relation, Lean computes root height zero and one plus the maximum direct-parent height otherwise, proving strict increase on parents and generated ancestry. Independently, the exact source Gram quotient is a positive rank-three carrier. Its direct sum with a real axis, \[W_{\rm src}=\mathbb R\oplus V_{\rm src},\qquad Q(t,x)=t^2-g_{\rm src}(x,x),\] has real dimension four and Lorentz inertia \((1,3)\). Source-unit directions map exactly to future-null rays, so the source \(S^2\), the celestial \(S^2\), and the null boundary are the same algebraic direction type. This removes the free event order, supplied ordinal placement coordinate, rank-four chart, and fitted signature from the finite precursor ().

Every finite log has a separated one-way realization in this carrier without a placement-existence premise. Choose a finite enumeration \(i:E\simeq\operatorname{Fin}(n)\), place \(i(e)\) along one fixed source-spatial axis, and take height scale \(n+1\). The enumeration separates events, its spatial diameter is smaller than the time increment across every parent edge, and generated ancestry enters the future cone. Distinct events at the same source height are spacelike. This construction is auxiliary and enumeration-dependent; it supplies neither order reflection nor source-selected physical coordinates.

For any supplied spatial readback \(x(e)\) and positive height scale \(\tau\), the placement \(F(e)=(\tau h_L(e),x(e))\) sends every parent edge, and hence every generated ancestry, into the future cone when the source-metric edge speed bound holds. If the converse cone/order implication holds, exact order–cone equivalence follows. Antisymmetry of authenticated ancestry then forces \(F\) to be injective, so the placement is an exact finite order embedding and every source-poset interval is exactly the corresponding cone interval on the placed event image. Composing this placement with the proved source-carrier equivalence constructs a separated one-chart finite causal-chart interface. The all-pairs converse need not be checked as a black box. Lean derives it from two finite geometric conditions: the spatial readback separates events within every equal-height layer, and every increasing-height pair unsupported by ancestry is strictly spacelike. These conditions remain supplied for a physical candidate; provenance does not select the readback. That global finite chart is not an open manifold atlas. The formal diamond witness is non-chain, its branches are spacelike, and every parent edge is null. Optional affine frame transports supply covariance after placement; the ambient target-carrier dimension comes from the direct sum, while causal order comes from the semantic log. Neither fixes the intrinsic dimension of the finite poset. The canonical height is ordinal rather than an operational clock, and the spatial readback is not derived generically.

Exact-to-conditional composition.

The strict causal-set route requires one source-selected family. It must identify physical events and links, make order and cone agree exactly in both directions, and cover the source \(S^2\) densely and isotropically. It must also calibrate \(\#I/\rho\to\operatorname{Vol}(I)\), refine compatibly, pass independent dimension and manifoldlikeness tests, recover stable thickened-antichain topology or homology, and converge to a unique distinguishing Lorentzian limit. Causal order then fixes the conformal geometry and the calibrated measure fixes scale; neither conclusion follows from finite cardinality alone.

On the same finite event type, a minimal source-direction Einstein-shape theorem asks for nine fixed algebraic source-direction balances, supplied symmetric geometry and stress fields, four discrete step maps, Ward/Bianchi identities, and step connectedness. Exact null tomography derives balance on every null vector, the pointwise metric ambiguity, its constancy, and \[\mathsf{geometry}_{ab} =\kappa\,\mathsf{stress}_{ab}+\Lambda\eta_{ab}.\] The minimal theorem contains no normalization, vacuum calibration, Newton constant, or universal source field. No provenance edge selects a tensor field, step, or balance. A physical Einstein reading further requires either same-family discrete tensor-curvature convergence or the separately premised continuum small-ball/null-balance identification, together with same-source stress, Ward/Bianchi data, coupling and scale calibration, and controlled remainders on the same physical continuum family. The Benincasa–Dowker and dimension-dependent causal-set operators give concrete curvature tests for that limit [sources].

A declared tensor scalar action on prepared golden addresses supports classical waves, full Fock spaces and bounded smeared detectors. Spatial refinement and symmetric local steps \(\tau_q=o(h_{\min,q})\) have the same massive Dirichlet free-field detector limit for bounded piecewise-continuous smearings and coherent momentum preparations; \(h_{\min,q}\) is the smallest coordinate gap.

A compact preparation in \(y_1\le0.45\) and detector in \(y_1\ge0.55\) give, for \(q=233\), \(\tau=2^{-17}\) and every \(s\in[0.95,1]\), \[|P^{\mathrm{step}}_{q,c}(s)-P_c(s)|<0.050078, \qquad |P^{\mathrm{step}}_{q,c}(s)-\tfrac12|>0.137746.\] Here \(P^{\mathrm{step}}\) reads the nearest update within the window. The error includes full spatial leakage, both localization tails, time stepping and original-vacuum covariance change. Exact factor-based certificates establish the bounds without executing the tensor history; the spacetime paper proves the comparison [source]. Field edges fit the causal read radius. Axes, boundary, protected addresses, action, quantization and model time are declared; physical clock and count-volume identification require their separate hypotheses.

Without exterior access, the two field layers generate a common unitary shear of the original regional net, with isotony and disjoint commutativity; they recover the original site algebra precisely when \(B=0\). These are linear access counts, not implemented routing costs. Classical records do not grant the assumed Weyl access or a physical region assignment [source].

The input-independent compiler produces a fixed federation with immutable input ports. Genuine node repairs decrease a dependency rank; pathwise weak fairness gives stable consensus and the correct output, common to all same-input normal endpoints. Emission-order round robin finishes within its first \(n\) attempts. The compiler’s single-consumer structure bounds every accepted path by \(n(n+1)/2\), with an emitted family attaining \(\Theta(n^2)\). General well-formed circuits instead admit \(2^n-1\) accepted steps, attained by a fanout chain. Weak fairness gives no uniform attempt horizon; bounded waste \(q\) gives \((q+1)n(n+1)/2\). These statements concern canonical node repairs: the weak patch-frame relation can stutter fairly forever. No physical scheduler, clock, energy or hardware cost follows from these operation counts [sources].

Approximate outputs, refinement, and cost

Three further results control the normalizer where exactness fails, and their proofs are in the component paper [source]. Let \((Q,d_Q)\) be finite, \((\mathcal B,d_{\mathcal B})\) metric, and \(C=\Phi^{-1}(0)\) nonempty for a nonnegative consistency residual \(\Phi\), with \(\eta_\Phi(t)=\max\{\operatorname{dist}_Q(x,C):\Phi(x)\le t\}\) turning residual error into distance from consistency and \(\omega_B(r)=\max\{d_Q(c,c'):c,c'\in C,\ d_{\mathcal B}(Bc,Bc')\le r\}\) measuring how well protected observations distinguish consistent outputs. For \(L_B\)-Lipschitz \(B\), any two outputs with \(\Phi(x)\le\delta_x\), \(\Phi(y)\le\delta_y\), and \(d_{\mathcal B}(Bx,By)\le\varepsilon\) satisfy \[\begin{equation} d_Q(x,y)\le \eta_\Phi(\delta_x)+\eta_\Phi(\delta_y) +\omega_B\!\left( \varepsilon+L_B[\eta_\Phi(\delta_x)+\eta_\Phi(\delta_y)] \right), \label{eq:two-output-bound} \end{equation}\] which is exact in the \(\omega_B\) term at zero residual, with the coefficient one on each residual-distance term optimal in the class of finite metric systems. Along a refinement tower with restriction maps \(\rho_{m,n}\) and level normalizers \(N_n\), the naturality defect accumulates as \(d_n(\rho_{m,n}N_mq,N_n\rho_{m,n}q)\le\sum_{j=n}^{m-1}K_{j,n}a_j\) with \(K_{j,n}=\operatorname{Lip}(\rho_{j,n})\) and \(a_j\) the one-step defect, so nonexpansive restrictions with a summable defect sequence give asymptotic naturality of the normalizers. Canonicity carries no promise of cheapness: for succinct Boolean boundary systems, deciding whether a protected record has a consistent extension is NP-complete, deciding whether \(B_S|_C\) is injective is coNP-complete even when all but one variable are observed, and deciding whether every protected collar value has some consistent interior extension, equivalently whether an unrestricted total strong repair exists, is \(\Pi_2^P\)-complete.

Repair realization on the twelve-port carrier

For a prepared batch of support-closed transactions, join \(\tau\) and \(\sigma\) in the conflict graph when \[W_\tau\cap(R_\sigma\cup W_\sigma)\ne\varnothing \quad\text{or}\quad W_\sigma\cap(R_\tau\cup W_\tau)\ne\varnothing .\] The conflict components below are obtained by iterating the following finite closure: compute semantic support to a fixed point inside every aggregate, rebuild the conflict graph on the expanded read and write sets, merge every connected component, and repeat until the partition and all aggregate supports are unchanged.

The declared class also has gauge compatibility (repair commutes with local relabeling), idempotence of the completed dynamics, and refinement compatibility where proved. The public object is the protected quotient record, not an arbitrary intermediate configuration.

The public OPH-FPE run of this law uses the level-six cell rung of the geodesic icosahedral refinement tower: \(81{,}920\) exact twelve-port carriers, \(983{,}040\) port readings, the thirty seams of every carrier, and one declared gluing of ports to neighbouring cells, \(2{,}580{,}480\) seams in all. The repair primitive is the seam-mean retraction, symmetric between the two sides of a seam and conservative, so uniform scheduling gives the repair mean \(T=I-L/60\) of Theorem 5 on every carrier. Under the integer law, sixteen shuffled schedules from one seeded load terminate in \(51\) to \(79\) sweeps at the balanced class, every unit transfer lowers \(V=\sum_iN_i^2\) by exactly \(2(d-1)\), no accepted move raises \(V\), and all sixteen return one quotient hash equal to the component multiset fixed by the initial totals. Under the real seam-mean law the isolated carriers terminate in \(26\) or \(27\) sweeps at the component means within \(10^{-9}\) with one terminal hash; on the glued federation the component mean is the unique fixed point by linearity and conservation, and a declared budget of \(256\) sweeps lowers the seam mismatch from \(1.5\times10^{7}\) to \(17\). The seam-sum form rises on \(23\) to \(41\) percent of the non-wait moves, so the descent functional of Section 2 is \(V\) and the seam sum is a termination diagnostic only. At levels zero to three the same receipts hold in exact rational arithmetic, and the per-carrier normalized response kernel read from the run equals \(4P_{\mathrm{slow}}\) to \(10^{-12}\) on isolated carriers; under the declared gluing the slow-band share reads \(0.91\) at thirty steps and the glued-port pattern replaces it at large depth, a property of the gluing convention, which is the open cofinal-gluing item. A standalone verifier that imports no simulator code rebuilds the component multisets from the primitive arrays, replays one schedule from its seed, and recomputes every hash [source].

The self-reading component is a closure loop at carrier scale. From an event log alone, with no access to the generator, a fixed recovery returns the twelve ports, the thirty seams, the inverse-port pairing at distance three, the automorphism group of order \(120\) with its rotation subgroup of order \(60\), the seam-mean rule, the uniform schedule, the rank-three Gram, and the Lie split \(1+3+8\); the carrier instantiated from that specification returns the same invariant vector on two further iterations. The tetrahedral and octahedral carriers recover their own specifications, the Gram rank alone being three for all three carriers, and the random endpoint-overwrite law recovers as nonconservative with a schedule-dependent terminal state and no fixed point. Neither receipt supplies a continuum or laboratory realization.

The architecture sits close to distributed agreement in the tradition of Lamport, Shostak, and Pease [source]: patches play the role of protocol nodes, overlap repair of a quorum vote, and the completed fixed point of the decided state. A component paper of the stack proves safety and liveness for a Byzantine-tolerant reading of repair under explicit quorum and partial-synchrony assumptions [source]; the impossibility boundary of Fischer, Lynch, and Paterson [source] is the reason those assumptions are named.

Finite record algebra and quantum identities

Once a compare, write, and verify slice has completed, its accessible events are represented in a finite-dimensional \(*\)-algebra with a normalized state. This algebra-state representation is an explicit input at this stage. The consensus theorem identifies which record is public; it does not derive the classification of finite-dimensional \(C^*\)-algebras or the trace pairing.

The carrier supplies a candidate that reaches past the classical bound without reaching the quantum one. On the declared binary-icosahedral spinor branch the defining two-dimensional representation has a unique invariant line in its tensor square, and for the incidence-defined \(120\)-row setting family carried by the twelve ports the invariant singlet gives \(\lvert S_{\mathrm{CHSH}}\rvert=1+3/\sqrt5=2.3416407865\ldots\), every declared setting row having correlations \((-1/\sqrt5,-1/\sqrt5,-1/\sqrt5,+1)\). An independent exact verifier reconstructs the invariant multiplicity, all \(720\) covariance identities, the joint probabilities, the no-signalling marginals, and the complete \(12^4\) setting census, which contains \(960\) maximizers. The displayed family forms two proper rotation orbits and is selected by no carrier property, and the finite source packet supplies neither a completed two-wing record instrument nor source-selected settings, so this is an exact projective candidate rather than a physical Bell prediction.

The two halves bracket one committed record surface: the algebra-state representation attains the full quantum value on a declared entangled witness, while one fixed record-diagonal state with four jointly diagonal bounded readouts stays inside the classical bound. The Bell state and all four settings are real matrices, so the exact gap here is entanglement, non-diagonal coherence, and noncommutativity rather than the complex phase direction. The result covers no arbitrary context-dependent classical operational model, and the saturating state and events are declared library data rather than source-produced preparations.

The first identity is the Born rule on this finite surface [source]; the second is the declared Lüders conditioning instrument [source]. The projectors alone do not select that instrument: an explicit swap-twisted instrument has the same effects and different updates. Kraus form with induced effect \(P\) together with invariance on the states certain of \(P\) is equivalent to being the Lüders map, so certain-state invariance is what selects the instrument the effect table leaves open; the swap-conjugation map on two dimensions has Kraus form with induced effect the identity and fails that invariance, and the committed repeatability clause is strictly weaker and does not select (). Events, preparation, readback, and a source implementation are unbuilt. The third is the Tsirelson bound [source] for the Clauser–Horne–Shimony–Holt combination [source] at fixed cutoff. Compatibility structure for commuting events follows the standard finite operational pattern within the same library.

Two maps built from a partition of pairwise orthogonal projectors \((P_i)\) with \(\sum_iP_i=I\) organize conditioning on the same surface. The pinching \(\mathcal P(X)=\sum_iP_iXP_i\) and the average \(\mathcal A(X)=\sum_i\frac{\operatorname{Tr}(XP_i)}{\operatorname{Tr}(P_i)}P_i\) are positive, unital, trace-preserving idempotents, with a zero projector contributing zero. The exact range of \(\mathcal P\) is the commutant of the partition and the exact range of \(\mathcal A\) is the commutative span of the \(P_i\), so \(\mathcal A\mathcal P=\mathcal A=\mathcal P\mathcal A\); the average preserves every partition-event weight, and on a member of nonzero weight it commutes with Lüders conditioning, both orders returning the normalized projector. Each statement follows from orthogonality, the identity \(\operatorname{Tr}(\mathcal A(X)P_i)=\operatorname{Tr}(XP_i)\), and the two range descriptions.

These are standard finite-matrix identities related to trace-preserving conditional expectations [sources]. The accompanying formal development contributes a checked arbitrary-partition interface, exact range and uniqueness statements, and adapters from projection events to the state-level Clauser–Horne–Shimony–Holt bound [source]. No priority claim is made for Born probability, Lüders conditioning, pinching, or Tsirelson’s inequality as identities of the represented state.

The same surface carries the copying obstruction. After zero projectors are removed, trace coordinates and projector synthesis are mutual inverses, so the public record algebra is star-equivalent to complex functions on the active labels. Independently, if one ancilla-free linear isometry of the tensor square copies two sharp states from the same normalized blank, preservation of inner products forces their overlap \(z\) to satisfy \(z^2=z\), so \(z\) is zero or one and the overlap-one branch forces equality. Two distinct alternatives copied by one device are therefore orthogonal, which is the finite form of no-cloning on the completed record. The mixed-state no-broadcasting implication is exposed as an explicit adapter premise [source].

At the level of weights the Born form is derived rather than assumed. Every valuation on the effects of the finite surface that is nonnegative, normalized, and additive on coexisting effects equals \(E\mapsto\operatorname{Tr}(\rho E)\) for a unique density operator \(\rho\), in every finite dimension including two, where the projector-only Gleason theorem fails, and the derivation consumes no continuity axiom.

Finite webs do not by themselves supply its hypothesis, and the gap is located exactly. Sharp two-outcome webs admit the non-Born valuation \(F_z(\mathbf n)=(1+n_z^3)/2\); the exhibited unsharp trine excludes that response, yet every axis in the finite battery has \(n_y=0\), so the planar response \(F_y(\mathbf n)=(1+n_y^3)/2\) agrees with the maximally mixed Born weight on the whole battery while staying non-affine off it. The source-attached real \(S_3\) algebraic web is blind to the Pauli-\(Y\) direction in the same way, and its missing coordinate is exact: for its noncommuting projector candidates \(P,Q\) the commutator phase lift \(I/2-(2\sqrt3/3)i(QP-PQ)\) is the \(+Y\) projector, and \(P,Q,+Y\) separate every fixed-trace \(2\times2\) matrix. Closure under real coarse graining and real Kraus pullbacks stays \(Y\)-blind, so a complex phase-sensitive effect is load-bearing for this tomography. What the missing step needs is a source-produced complex-tomographically-complete effect and instrument web together with an operational theorem giving full coexistent-effect additivity [source]. Outcome frequencies can validate such an instrument and cannot by themselves create the universal valuation law, and the algebraic phase lift is neither a source instrument nor an outcome receipt.

Overlap defects and edge-center entropy

Overlap agreement has a second layer beyond equality of scalar records. Transport maps can compose only up to a central multiplier. The resulting defect is a finite gluing invariant; removing triangle defects and obtaining endpoint-only transport are distinct operations.

The theorem gives a precise finite meaning to gluing curvature. A vanishing triangle class does not imply trivial transport around noncontractible loops. If the center varies as a local coefficient system, the cocycle equation must use the transported, twisted Čech differential; that case lies outside the untwisted statement above.

Finite edge-center decomposition

Let a regulated collar be cut into left and right halves with common interface \(\Sigma\). Suppose finite-dimensional Hilbert spaces \(\widetilde H_L,\widetilde H_R\) carry diagonal unitary actions of a finite compact group \(G_\Sigma\). Write \[\widetilde H_L=\bigoplus_\alpha V_\alpha\otimes H_{L,\alpha}, \qquad \widetilde H_R=\bigoplus_\beta V_\beta^*\otimes H_{R,\beta}.\] Here the \(V_\alpha\) are pairwise inequivalent irreducible unitary representations of \(G_\Sigma\) and \(d_\alpha=\dim V_\alpha\).

The theorem distinguishes the gauge-invariant collar state from its one-sided reduced state; the representation-dimension term belongs to the latter. Reading \(Z_L\) as an area observable requires a physical realization map. Exact quantum Markovity alone also does not identify an arbitrary state-dependent Markov decomposition with these preselected edge-center factors; alignment of the state with the collar decomposition is an additional premise. Related edge-mode and algebra-center decompositions occur in lattice gauge theory [sources].

Source-derived causal spacetime and the Einstein limit

How the finite results assemble

The slow-response band supplies an abstract continuous three-dimensional Euclidean carrier under the premises of Theorem 5. Its unit directions identify with the celestial \(S^2\) and future-null rays; adjoining a real axis gives the \((1+3)\) Lorentz carrier. Authenticated records separately supply events, generated order and longest-parent-chain height. The finite placement theorems join these structures: the edge-speed bound preserves order, and converse support gives order reflection, separation and interval preservation. The local three-dimensional result therefore enters the spacetime composition. Direct causal-set reconstruction requires events filling this carrier with compatible causal and volume scaling. Effective field reconstruction instead controls local readouts and interventions on one source-selected family.

One common physical refinement family promotes this finite precursor to an effective spacetime when it supplies physical event and link identification, source-selected order/cone embeddings, calibrated count density, independent dimension and manifoldlikeness tests, stable topology, and a unique distinguishing Lorentzian limit. On that same family, either convergent tensor-curvature reconstruction or the independent continuum small-ball/null-balance identification, together with physical stress, Ward/Bianchi conservation, universal coupling, and scale calibration, yields the Einstein equation. Thus the populated finite causal precursor is an exact result, while the smooth curved \((3+1)\)-dimensional manifold and its Einstein dynamics are the stated continuum composition theorem.

Exact kinematics of the spherical support

The oriented conformal spherical support carries \[\begin{equation} \mathrm{Conf}^{+}(S^{2})\;\cong\;\mathrm{PSL}(2,\mathbb C)\;\cong\; \mathrm{SO}^{+}(3,1), \qquad H^{3}\;\cong\;\frac{\mathrm{SO}^{+}(3,1)}{\mathrm{SO}(3)}, \qquad \dim H^{3}=3 . \label{eq:lorentz} \end{equation}\] These are classical isomorphisms of conformal geometry, consumed as exact mathematics [source]. They identify the three-dimensional hyperbolic homogeneous space of future unit timelike directions. Interpreting those directions as physical observer velocities requires realized events, clocks, and local frames.

The dimensional statements fit together on one carrier: the selected rank-three response quotient supplies the spatial metric, its unit directions are the source \(S^2\), and adjoining a scalar axis gives the \((1+3)\) Lorentz module. The normalized seam average is also selected under the naturality and unique-minimizer hypotheses of Proposition 45. These determine spatial geometry and an internal spatial operator. The following construction realizes a causal order and count measure on source records; the subsequent covariance criterion restricts which operational orders can have that geometry.

Here covariance must preserve possible influence on actual histories, interventions and clock readouts. An algebraic Lorentz action on source directions alone supplies no such operational transformation. The criterion selects cone shape under that hypothesis; it does not select read weights or a temporal field equation.

The readout uses authenticated ancestry and counts, with a reference interval setting its unit. It reconstructs elapsed duration after the upper endpoint and requires access to the interval records. It supplies a geometric clock for the declared source family, independently of a Hamiltonian or oscillator. Identifying a running matter clock with this readout requires their common physical realization.

Einstein reconstruction

The four-dimensional small-ball coefficients of entanglement-equilibrium arguments [source] are isolated from their physical reading by one machine-checked identity: with \(G_N>0\) and \(\ell>0\), scalars satisfying \[\begin{equation} \delta S_{\mathrm{bulk}} =\frac{8\pi^2\ell^4}{15}\,t,\qquad \delta A=-\frac{4\pi\ell^4}{15}\,f,\qquad \delta S_{\mathrm{bulk}}+\frac{\delta A}{4G_N}=0 \label{eq:smallball} \end{equation}\] obey \(f=8\pi G_Nt\) exactly, substitution cancelling the common nonzero prefactor.

The tensor completion begins at an explicitly realized null-balance relation. This is the point at which the physical bridge enters the mathematical implication.

For OPH to supply the null-balance premise the displayed equation, one common refinement tower must realize all of the following:

1. the effective manifold of Theorem 22, with sufficient regularity for its Levi–Civita connection and contracted Bianchi identity;

2. geometrically normalized cap modular flow and half-sided modular inclusions whose directional charges define one symmetric tensor \(T_{ab}\);

3. the Ward identity for that tensor, independently of its reconstruction from directional charges;

4. the edge-center split of Theorem 18, the physical normalization \(\delta\langle Z_L\rangle=\delta A/(4G_N)\), the modular first law, and generalized-entropy stationarity;

5. one family with \(\ell_r>0\), \(\ell_r\to0\), all named remainders \(o(\ell_r^4)\), the continuum diamond-kernel and fixed-volume area formulas used in the small-ball identity the displayed equation, and enough local observer directions to establish the displayed equation; and

6. universal coupling of the stress and entropy branches, a vacuum reference, and a physical scale calibration establishing \(\kappa=8\pi G_N\).

The exact finite layer contains null tomography, the edge-entropy split, and the coefficient identity, and the machine-checked composition proves the tensor step from an explicit null-balance premise while separately checking the small-ball arithmetic. The bridge between them is (M4). One Newtonian ingredient is carried by a machine-checked shell law on the committed carrier: a spherically symmetric flux with constant shell charge falls off exactly as the inverse square, the exponent being the carrier dimension minus one with the dimension three supplied by Theorem 5 rather than assumed. Its flux premises are declared, and its join to the composed Einstein branch is unbuilt.

Two gauge reconstructions and a finite matter image

Sector reconstruction

The overlap and edge-center branch gives a structural gauge result before a particular compact group is identified.

The theorem classifies the group encoded by the realized sector data. A trivial sector category reconstructs a trivial group, so the statement selects the Standard Model group only given a suitable sector witness, and it identifies its group with the finite response group of the next subsection through a separate premise.

The twelve-port response algebra

Let \(A\) be the icosahedral adjacency operator and \(J\) the antipodal involution on the twelve ports. Exact incidence gives \[\begin{equation} 10J=A^3-4A^2-5A+10I . \label{eq:antipode-polynomial} \end{equation}\] Put \(\varphi=(1+\sqrt5)/2\). Choose from each antipodal axis one of the certificate’s exact coordinate vectors \(u_i\in\mathbb Q(\sqrt5)^3\), each with \(\lVert u_i\rVert^2=2+\varphi\), and put \(U=[u_1\ \cdots\ u_6]\). For a real port field \(f\), write \[b_i=\frac{f_i+f_{J i}}2,\qquad d_i=\frac{f_i-f_{J i}}2,\qquad c=\frac16\sum_i b_i,\qquad b^0=b-c\mathbf1 .\] The even coordinates split as \(\mathbf1\oplus\mathbf5\). The odd coordinates split as the rank-three frame channel detected by \(U\) and its Galois-conjugate companion detected by \(\sigma(U)\), where \(\sigma(\sqrt5)=-\sqrt5\), giving the source-module decomposition \[P_{12}\cong_{A_5}\mathbf1\oplus\mathbf5\oplus\mathbf3\oplus\mathbf3'.\]

Let \[\Phi_0(b^0)=\sum_{i=1}^{6}b_i^0u_iu_i^{\mathsf T}, \qquad \widehat{x}\,y=x\times y .\] The conditional matrix witness uses the space \[H=\mathbb C^3_E\oplus\mathbb C^3_W\] and four nonzero rational coefficients \(\lambda_1,\lambda_5,\lambda_3,\lambda_{3'}\), one on each source band. These are explicit branch premises. The two three-dimensional response blocks match the two rank-three odd channels; they are not asserted to be a derived physical Hilbert space. Write \(v_p\) for the signed coordinate vector at port \(p\). For \(g\in A_5\), let \(R_g\in\mathrm{SO}(3)\) be the exact rotation satisfying \(R_gv_p=v_{g(p)}\) on the oriented port frame, and define \[\Pi(g)=\operatorname{diag}(R_g,\sigma(R_g)).\] The target \(A_5\) action on \(\mathfrak u(H)\) is conjugation by \(\Pi(g)\).

Global form and anomaly-free exterior module

The structure layer composes as one conditional statement with a coarse two-mask capstone. A single theorem on the declared premise bundle proves the forced Lie type, the unique type-matched nearest family at the bundle’s balanced point, and the fifteen-state count, anomaly forms, and \(\mathbb Z_6\) stabilizer directly on the bundled selection mask. Within the declared exterior-table grammar, exactly two masks survive at the selected coarse \(G\) label and the mask permutation exchanges them. This does not count bracket points in the continuous \(G\) family or select a global form, physical matter carrier, current, or action, so it is not a two-model uniqueness theorem for complete Standard Model structures.

One corollary of the product type concerns a channel that the framework does not contain. For the forced abstract type \(\mathfrak u(1)\oplus\mathfrak{su}(3)\oplus\mathfrak{su}(2)\), instantiated by the declared charged-double-triplet current witness, the adjoint is the direct sum \((8,1,0)\oplus(1,3,0)\oplus(1,1,0)\). It contains no mixed \((3,2,-5/6)\) generator and no conjugate, so the ordinary minimal simple grand-unified gauge-exchange channel is absent from the twelve-dimensional current algebra. This is an algebraic statement about that adjoint. It establishes no proton lifetime and excludes neither scalar mediators, nor higher-dimensional baryon-number violation, nor other ultraviolet gauge mechanisms.

Massless carriers, conditionally

Three conditional masslessness statements occur on distinct premise sets, each a consistency consequence of its declared branch and none an independent discriminator from the Standard Model or General Relativity. For the photon, a finite one-loop calculation importing the electroweak action and its symmetry-restored vacuum relation certifies a transverse self-energy and a null direction of the neutral mass matrix, so that fixture carries no hard photon mass term; a derivation additionally requires a source-generated action, (M3), and a photon-pole map. For the gluon, the color factor in the displayed equation lies in the unbroken subalgebra of the conditional global form, and under the separately declared scalar completion no scalar direction carries color, so the finite action contains no hard color-vector mass term, with the physical gluon spectrum and confinement outside the finite calculation. For the graviton, linearizing the composed relation of Theorem 28 about a suitable vacuum yields a null spin-two kernel with two transverse-traceless modes, conditional on the same premise vector and supplying no source-selected Hilbert space, positive-residue pole, or rest-mass prediction.

The Yang–Mills mass gap

Confinement sits on the other side of the same gauge sector, and the finite repair dynamics reaches it as a conditional identity rather than as a spectrum calculation. The Clay problem asks for a nontrivial four-dimensional quantum gauge theory with a positive mass gap for every compact simple gauge group [source]. The companion paper states what the architecture supplies and what it consumes [source].

The finite mechanism is exact. On the support-visible compact-gauge branch, local holonomy data and the screen scaling chart give the candidate Euclidean form, and exact local repair acts on it as a positive Euclidean relaxation generator at finite cutoff. Atomic heat-bath collars supply that generator, and a finite source-type table together with a uniform approximate-tensorization receipt gives the explicit rate floor \(\delta_\star=c_\star/A_\star\).

Lean checks only a narrower conditional statement. In its legacy finite-gap result, commuting collar projections and strictly positive rates are hypotheses. The separately machine-checked legacy Lemma 7.2 gives scalar relaxation on a homogeneous fiber, but no Lean theorem bridges its matrix and scalar to the collar projections and rates. The minimal fixed-space witness instantiates only abstract finite operator premises; it is not a compact-gauge construction, a continuum certificate, or a physical mass-gap derivation. The noncommuting Dobrushin and fiber-dependent-rate routes remain separate viable routes under their stated receipts.

A finite numerical diagnostic tests the identification on \(\mathbb Z_2\) gauge systems at \(L=2,3\). The Wilson constant-rate receipt is analytic in the free limit and fails on the tested diagonal interacting grid, while the Kogut–Susskind Doob transform has exact positive fiber-dependent rates \(c_\ell=\lambda(r+1/r)\) with the analytic floor \(c_\ell\ge2\lambda\). That grid is not a no-go: it leaves anisotropic limits, alternative transfer objects, and the variable-rate route untouched. Quotient-space approximate tensorization and continuum transfer are unconstructed.

Position, energy, matter, and the action

A reconstruction that starts from records owes an account of the objects physics starts from. This section states what position, energy, matter, and the action are inside the finite architecture, which of them are derived and which are declared, and how far the route to a Standard Model Lagrangian is carried. The layer boundary is sharp throughout: the finite objects are constructed, and their identification with laboratory position, laboratory energy, physical matter, and a physical action consumes the maps of Section 1.3.

Position

Position is the carrier’s own readback of its accumulated records. Theorem 5 makes this exact: the normalized repair response has intrinsic rank three, the signed record module and the seam current module embed densely in one abstract three-dimensional Euclidean carrier under the response-selected Gram metric, and cumulative records act on it by exact internal translations while the sixty proper carrier maps act by isometries. Displacement is therefore a record difference, and the dimension of the carrier is an output of the incidence rather than an input. Physical position, physical length, and cofinal gluing between carriers are unsupplied.

Energy

Energy is the modular ledger of the record state. For a reference \(\tau\) the modular Hamiltonian is \(K=-\log\tau\), the second law of Section 11 appears as \(\Delta S\ge\Delta\langle K\rangle\) on \(\tau\)-preserving channels, and the exact identity \[S(p)-S(\tau)=\langle K\rangle_p-\langle K\rangle_\tau-D(p\Vert\tau)\] makes the entanglement first law \(\delta S=\delta\langle K\rangle\) a first-order corollary. The quantity \(\langle K\rangle\) is the internal energy ledger every later statement weighs.

That ledger composes exactly. Against a positive product reference it is additive over parts for every joint state, correlated or otherwise, and the binding defect against a general joint reference is the expectation of \(\log(\tau_1\tau_2/\tau_{12})\), which vanishes on the product reference. Against the Gibbs reference of a declared total \(H_1+H_2+V\) with part references at \(H_1\) and \(H_2\) and one inverse temperature, the defect is \(\beta\langle V\rangle+\log(Z_{12}/Z_1Z_2)\), whose constant vanishes at \(V=0\). For a declared attractive \(V\le0\) at \(\beta\ge0\) the state part is nonpositive and the constant is nonnegative, so attraction alone leaves the sign of the defect unfixed; the two-point uniform state has the exact positive defect \(-1/4+\log((3+e)/4)\).

The mass–energy identity has its two halves here. The kinematic half is a normalization: for a declared positive mass parameter along a future unit timelike frame direction of the Hermitian Lorentz module, the Lorentz square of the scaled frame vector is \(m^2\), the scalar coordinate satisfies \(E^2=m^2+\lvert p\rvert^2\) and equals \(m\) exactly at vanishing spatial coordinates, every oriented Lorentz map transports the construction with the same Lorentz square, and a future null vector satisfies the zero-mass identity. The declared plane wave of that momentum, read along its own worldline, advances in phase by exactly \(m\) per unit proper time, with period set the integer multiples of \(2\pi/m\).

The dynamical half is the slope with which \(\langle K\rangle\) enters inertia, and two independently declared selection routes constrain it. On the momentum map, in the family \(P_\lambda=(m+\lambda E)\,u+(1-\lambda)E\,e_0\) every member has rest energy \(m+E\), yet \(P_\lambda\) is covariant under oriented Lorentz maps and sits on the shell of its rest energy at every frame exactly when \(\lambda=1\) or \(E=0\), with transport defect \((1-\lambda)E\,(e_0-Le_0)\) and Lorentz-square defect \(2(1-\lambda)E(m+\lambda E)(u^0-1)\), the converse witnessed by an explicit boost. On the action, midpoint refinement of a worldline leaves the proper length invariant and doubles the step count, so, for \(E\ne0\), refinement invariance of the internal action \(E(aL+bM)\) forces \(b=0\) and excludes the per-step additive ledger. Separately, for \(E\ne0\), the declared proper-time principle selects coefficient one in the family \(E\lambda L\); the declared internal clock is the proper-length member, and the length action \((m+E)L\) has equation of motion \((m+E)\,\Delta T=\) impulse on timelike windows, the unit-tangent difference carrying the inertial coefficient \(m+E\). Under the same declared shape the inertial coefficient of a composite is \(m_1+m_2+E_1+E_2\) plus the binding defect, which is the shape a mass defect takes.

The stability window of Section 9.5 carries a dimensionless carrier-coordinate causal bound once the seam-step worldline unit is identified with the scaled field step. A crossing step is timelike exactly when \(4<h^2\), and no step lies both inside the window and above that value, so in the window every per-step crossing is spacelike, the ratio of the two thresholds being \(2\varphi^2=3+\sqrt5\). A block of \(k\) rests and one crossing is timelike exactly when \(2<(k+1)h\), which inside the window forces \(\sqrt2\,\varphi<k+1\) and therefore at least two rests per crossing, and its speed \(2/((k+1)h)\) is below one exactly when the block is timelike, is never one on a timelike block, and has supremum one over the window, approached and never attained. The identification is declared, and without it the two thresholds are independent, so no signal speed is claimed.

Matter

Matter enters as charge carried by the record structure, in two registers that the framework keeps distinct. The gauge register is the exterior module of Theorem 34: a declared trace-balanced representation whose exterior algebra branches into the fifteen-state chiral generation, with the exhaustive scan selecting exactly one charge-conjugate pair inside the declared menu and the common \(\mathbb Z_6\) kernel fixing the maximal faithful image. The transport register is integer port load. A write appends \(+1\), a retraction appends \(-1\), and, at a declared nonzero step \(h\), a declared charge hopping along the twelve ports has conserved total charge, satisfies the committed continuity equation identically, and makes the source pairing gauge invariant under endpoint-vanishing gauge functions exactly when continuity holds on the interior steps. Its endpoint step difference is the polarization load of the committed coupling at the charge fixing \(\kappa=-qh/(12-4\varphi)\). That charge carries an exact discrete balance. Under closed two-step variations of the transported action, exchanging a forward crossing of a seam with an adjacent rest moves the action by \(qhE(e)\) at the delayed step with zero clock cost, so, for nonzero charge \(q\) and nonzero step \(h\), the exchange is stationary exactly when the scaled electric seam field on that seam vanishes there; the block momentum is unchanged by every in-block move. Along the respective scaled Ampère evolutions sourced by the original and delayed hopping currents, and with the original field static across the crossing step, the delay difference equals \(h\) times the field-energy transfer at the hop. The worldline class and the potentials are declared. The hopping sources are consistent with the field sector: the hopping load and current satisfy the discrete continuity equation, the Gauss constraint propagates under the sourced Ampère step exactly when the sources are conserved, and a Gauss-consistent history exists if and only if the initial load is neutral and the sources are conserved, so on the closed carrier one hopping charge alone is admissible only at zero charge and a join carries a neutral partner or a neutralising background ().

The neutral-partner branch is realized by one finite action on this carrier, not by adding independently prescribed background sources after variation. Two declared seam-step worldlines carry charges \(q\) and \(-q\), and the action is the source-free Maxwell window functional plus both minimal-coupling terms and both clock terms. For \(h\ne0\) it is invariant under gauge functions that vanish at the two window endpoints. Its load is neutral at every step and its summed load and current obey the continuity equation identically. Variation of this same action in the two field slots, with the seam-potential endpoints fixed, is equivalent to the sourced scaled Ampère equations at \(m<N\) and Gauss equations at \(n<N+1\) for those two worldlines. A closed two-step replacement of either path, with the other path and the fields fixed, gives an exact off-shell clock-plus-interaction action difference; this identity is not by itself a path equation of motion. At \(q=1\), \(h=1/2\), the opposite crossings of seams \(0\) and \(29\) recover the explicit nonzero-current Coulomb-started history and make its field-sector stationarity non-vacuous. The same packet fails the declared closed-two-step exchange-stationarity condition in both path slots: for every \(N\ge1\), delaying either the positive seam-\(0\) crossing or the negative seam-\(29\) crossing while fixing the fields and the other path changes the action by \(5/12\) for every pair of clock-unit values within the fixed quadratic clock-action form. The two results are charge conjugates, and applying both canonical exchanges simultaneously changes the action by \(5/6\). These are only the displayed discrete exchanges, not continuum first-variation claims or a no-go for other paths, fields, or action shapes. That packet does not exhaust the same action. On the window \(N=1\), a second exact rational temporal-gauge history at the same \(q=1\), \(h=1/2\), and the same two crossing paths satisfies the sourced Ampère and Gauss equations. Every admissible closed two-step replacement of either path has one of four intermediate ports. The two endpoint routes have zero action difference, while each triangular detour has clock difference \(-4\) and interaction difference \(+4\). The same finite action is therefore stationary in both field slots and unchanged under every in-window closed two-step replacement in either path slot. Its sources are nonzero and opposite on seams \(0\) and \(29\), and at the separately declared clock unit \(\tau=3\) both crossings are timelike in the existing Lorentz-module metric (, ). This supplies an exact same-instance stationary inhabitant rather than a source selection. The pair, charge, step, field history, action terms, clock unit, and variation class remain declared. No minimum, stability, or dynamic-selection theorem follows. In particular \(\tau=3\) is independent of \(h=1/2\); setting \(\tau=h\) would make a crossing spacelike. No laboratory-time calibration or continuum limit follows.

On a declared flat Spin chart, the registered representations compose local Yang–Mills, anticommuting Weyl, Higgs and Yukawa terms with derivative-sensitive gauge identities. Their physical connection to transported port loads, selected coefficients and matter clock remains unsupplied.

The action, and why it is stationary

Given a pointwise-continuous one-parameter group of record-preserving star-automorphisms on the finite private algebra, every such group is blockwise unitary conjugation generated by one time-independent self-adjoint Hamiltonian per Wedderburn block, unique up to a real scalar [sources]. The Schrödinger form is a theorem about that supplied flow; no theorem selects the flow parameter as physical time or selects one flow from the record alone.

Once the kernel and reference are supplied, the finite path action is fixed rather than independently posited. For any strictly positive row-stochastic kernel and strictly positive normalized initial law, the Markov path law is the exponential tilt of the step-uniform reference by the log-transition action at multiplier one, and an action-multiplier pair reproduces the law exactly when the multiplier-weighted action equals the log-transition action plus a constant. The action is therefore unique up to an additive constant and a multiplier rescaling, the bare convention choosing multiplier one. The step-uniform reference is itself the unique reference invariant under independent target scrambling at fixed source. The declared object is the reference measure; given it, the dynamics selects its own action, and the committed source chain instantiates both statements through kernel-decided integer receipts.

Single-site minimality of that action is then a statement about probability. Single-site minimizers of the log-transition local action coincide with most probable paths of the realized chain through an exact corner identity, so single-site least-action minimization and local maximum likelihood are two readouts of one functional. Stationarity alone is weaker: an explicit concave stationary history is nonminimal and not a positive-Gibbs mode. A finite Legendre bridge joins the two faces: the discrete Euler–Lagrange condition at a junction holds exactly when one step of the discrete Hamilton flow carries the incoming junction state to the outgoing one, for the quadratic class and for strictly convex Lagrangians with a solver section, and the constant Noether current of the chain face equals the quadratic Legendre momentum, conserved with the energy along the free Hamilton orbit that reproduces the committed witness path. One machine-checked theorem composes them: a fixed-endpoint single-site-minimizing embedded history realizes the derived action of the same kernel whose exponential tilt is the path law, is an interior most-probable update of that law, and satisfies the discrete Hamilton equations.

The field sector on the screen

The same carrier supports an exact static field theory. The seam Laplacian has an explicit symmetric rational Green matrix whose kernel is exactly the constants, every neutral load has a canonical Coulomb solution that is the unique cycle-orthogonal and unique minimal-energy solution of the discrete Gauss problem, and the committed uniform seam repair is one minus one sixtieth of that same Laplacian, so the repair operator and the field operator are the same object up to normalization. The \(U(1)\)-valued seam connections modulo port gauge transformations are classified exactly by their nineteen chord holonomies, the first cohomology of the thirty-seam graph with circle coefficients being \(U(1)^{19}\), matching the source-free Gauss cycle rank. The twenty oriented faces give a genuinely local curvature \(CA\), with \(C\) of rank nineteen, kernel exactly the port gradients, and five nonzero entries per seam row in \(C^{\mathsf T}C\). The local quadratic action is gauge invariant exactly for conserved seam currents, its stationary points exist exactly for those currents, and they are global minima unique modulo gauge.

The complete seam-current symbol also carries a quantitative continuum field theorem. On a supplied common Euclidean domain, set \(\omega_a(k)=\sqrt{\Lambda_a(k)}\), and use the opposite-sign curl pair \(\mathcal G_a(E,B)=(D_aB,-D_aE)\) with \(D_a=i\omega_a(k)|k|^{-1}k\times\) at nonzero momentum and zero at the origin. The exact source second and fourth moments imply the global bounds \[0\le |k|^2-\Lambda_a(k)\le \frac{a^2|k|^4}{20},\qquad 0\le |k|-\omega_a(k)\le \frac{a^2|k|^3}{20}.\] Its Fourier propagator assembles to a unitary group on real \(L^2(\mathbb R^3;\mathbb R^6)\): opposite momenta obey the conjugate reality condition, and longitudinal components are fixed. For the local Maxwell group \(U_0\), Plancherel gives \[\sup_{|t|\le T}\|(U_a(t)-U_0(t))F\|_2 \le \frac{Ta^2}{20}\,\||D|^3F\|_2.\] For arbitrary finite-energy data the convergence is strong and uniform on bounded time intervals. Duhamel’s formula extends it to the same prescribed current on every scale; charge continuity propagates the Gauss constraint. The global scalar estimates are kernel-checked in ; the real-field, strong-limit, and forcing arguments are proved in the detailed microphysics paper [source]. This is continuum Maxwell dynamics for a declared field family. The Euclidean domain, reversible evolution, common time and physical current identification are supplied, and the finite-scale curl is generally nonlocal. A map from authenticated source histories and decoded observer fields into this family is not constructed.

Coupled matter, continuum trajectories and quantum states

One supplied charged-scalar/Maxwell action on a solid twenty-tetrahedron cone supports both a nonlinear continuum estimate and a finite-mesh interacting Hilbert space [source]. Its real, zero-current sector is invariant under the full coupled equations, including terms from the gauge-dependent scalar interpolation. With zero electromagnetic fields it reduces to \(u_{tt}-\Delta u+m^2u+gu^3=0\). For \(m^2>0\), \(g\geq0\), a smooth \(C^2_tH^2_x\) Neumann solution and Ritz-projected initial data, a nested conforming refinement, \(n=2^k\), with \(20n^3\) cells and uniform shape bounds gives \[\sup_{0\leq t\leq T}\bigl(\|u_n-u\|_{H^1} +\|\dot u_n-\dot u\|_{L^2}\bigr)\leq C_T/n.\] For a smooth magnetic-Neumann reference and magnetic Ritz data, complex matter has the same rate in a prescribed uniform magnetic field. Self-consistent Maxwell backreaction requires a separate estimate.

On the fixed mesh with unwrapped edge coordinates and \(e\ne0\), eliminating the twelve mean-zero gauge directions using the full kinetic form gives a complete metric \(\gamma\) on \(\mathcal Q=\mathbb R^{30}\times\mathbb C^{13}\). For supplied \(\hbar>0\) and Laplace–Beltrami quantization, \[\widehat H=-\frac{\hbar^2}{2}\Delta_\gamma+V \quad\hbox{on}\quad L^2(\mathcal Q,d\mathrm{vol}_\gamma)\] is essentially self-adjoint on compactly supported smooth functions. The nonzero subspace invariant under the remaining constant matter phase reduces its closure and carries unitary evolution. Gauge-invariant scalar-density and magnetic smearings are the same configuration functions classically and quantum mechanically: their maximal multiplication operators are self-adjoint on the neutral sector and have a joint spectral probability law. In the real sector, bounded Lipschitz density readouts inherit the \(O(1/n)\) trajectory rate. Quantum continuum convergence and selection of quantization are separate requirements.

Five self-reading patches evolve field records through feedback. Interval integration and authenticated replay bound 81 decoded position/velocity checkpoints within \(1.0001\times10^{-10}\) of the charged solution on \([0,2]\), whose lift satisfies 68 Euler–Lagrange and 13 Gauss equations. For regular paths in \(E>V\), the temporal-gauge duration \(d\tau=\sqrt{G_q(dq,dq)/(2(E-V(q)))}\) is reparameterization invariant; on nonturning solutions of energy \(E\) it recovers action time. Geometry, couplings, preparation, quantization and laboratory identification are inputs [sources].

Standard Model action structures

the table distinguishes gauge and fermion forms constrained by the finite representation, scalar and Yukawa interactions supplied as inputs, and parameters not determined by the construction. It records action shapes and relative structures; numerical coupling values are separate inputs.

The four classifications mean different things. The single derived conditional row is the right-handed neutrino stance: within the declared grammar the exhaustive scan admits exactly one unordered charge-conjugate pair of chiral anomaly-free packages, each with fifteen Weyl states and no right-handed neutrino, so minimal content is a theorem of that grammar, with neutral anomaly-free singlets outside the scanned space. The partial rows carry an attained shape without a source-produced action: ad-invariance over each certified compact bracket forces a block-diagonal kinetic form with zero cross terms and one free positive coefficient per simple factor, which is the Yang–Mills shape, and the registered exterior grammar fixes the covariant-derivative coupling pattern of each fermion line through its hypercharge. The registered-premise rows are consumed as declared: no theorem produces the scalar doublet, the quadratic-plus-quartic potential, either of its coefficients, the vacuum, the electroweak scale, or any Yukawa matrix, and an exact non-definability result leaves a free positive rescaling family of admissible up-type spectra. The two absent rows have no structure in the framework.

Two exact discriminators constrain the gauge sector without selecting it. A declared equal-weight cyclic rule on the twenty oriented faces gives the \(A_5\)-equivariant bracket \(B_{\rm face}=60R_{13}\), which fails Jacobi in exactly \(240\) of \(2640\) independent coordinates, split evenly between \(+1\) and \(-1\); exact primal–dual certificates compare it with the classified compact locus under three coordinate edit norms, \[\begin{array}{c|ccc} &G&F&P\\ \hline \ell_1&30(\sqrt5-1)&60\ {\rm (infimum)}&60\\ \ell_2^2&(615-123\sqrt5)/22&(615+123\sqrt5)/22&45\\ \ell_\infty&(5-\sqrt5)/10&\sqrt5/5&1/2 , \end{array}\] so the family \(G\) wins all three. Independently, ad-invariance reduces the \(F/G\) three-weight space to dimension two through the exact conjugate relations \(F:w_{3+}=\sqrt5\,w_5\) and \(G:w_{3-}=\sqrt5\,w_5\), while the \(P\) control stays two-to-two, and a symbolic two-factor theorem makes the relative factor coefficient identifiable from a constructed Gibbs kernel without selecting its value.

Exact quantitative closures and physical tests

The finite architecture supports a small set of quantitative surfaces sharp enough to be tested numerically. Each surface below is classified by the table: the theorems are finite theorems, the numerical enclosures are certified finite computations, and every empirical surface is typed as a diagnostic, a conditional empirical test, or a frozen prospective branch prediction. The closure hypothesis of Section 1.5 contributes its quantitative candidates here, in Section 10.1, under the same typing.

Closure candidates: the screen grain and the capacity coordinate

Two declared map candidates motivated by the closure hypothesis are examined, one for the screen grain and one for the record capacity, and both carry interval-certified roots. Neither clears the source-only selection and same-quantity gates. The certified gauge-width grain map has its fixed point at \(P=1.6309682414\) and returns the inverse electromagnetic coupling \(137.0356601\), a relative distance of \(2.5\times10^{-6}\) from the 2022 CODATA value \(137.035999177(21)\) [source]. The capacity branch gives the candidates \(3.2921\times10^{122}\) and \(3.3001\times10^{122}\) against the coordinate \(3.3129\times10^{122}\) read back from the weighted Planck base-\(\Lambda\)CDM chain, residuals of \(-0.63\) and \(-0.39\) percent. Both comparisons are diagnostics of declared source maps in the vocabulary of the table, and both were exposed before the branch choice, so neither carries predictive weight. What the two rows record is the size of the residual for frozen formulas that do not tune a parameter against the displayed target; the choice of map is itself declared. For the coupling, the absolute residual \(3.3904\times10^{-4}\) exceeds the experimental standard uncertainty \(2.1\times10^{-8}\); numerical proximity is not agreement at that precision. A physical endpoint for either one additionally requires target-independent selection of the map, a typed bridge identifying the two sides as readings of one quantity, and, for the coupling, same-scheme hadronic spectral transport to the Thomson endpoint.

The capacity coordinate carries the cosmological constant itself through one dictionary. Reading the record capacity as the de Sitter horizon entropy in nats gives \[\begin{equation} N=\frac{3\pi}{\Lambda\,\ell_P^{2}}, \qquad\text{equivalently}\qquad \Lambda=\frac{3\pi}{N\,\ell_P^{2}}, \label{eq:capacity-lambda} \end{equation}\] with \(\ell_P^{2}=\hbar G/c^{3}\). The two capacity candidates then read \(\Lambda=1.0959\times10^{-52}\,\mathrm m^{-2}\) and \(1.0933\times10^{-52}\,\mathrm m^{-2}\), against \(\Lambda=3\Omega_\Lambda H_0^{2}/c^{2}=1.0891\times10^{-52}\,\mathrm m^{-2}\) at the Planck base-\(\Lambda\)CDM centrals, distances of \(+0.62\) and \(+0.38\) percent. Equivalently the vacuum energy densities are \(5.277\times10^{-10}\) and \(5.265\times10^{-10}\,\mathrm{J\,m^{-3}}\) against \(5.245\times10^{-10}\). the displayed equation is the same dictionary that produces the comparison coordinate, so this is the capacity diagnostic expressed in the constant rather than a second and independent comparison, and it consumes the measured \(\hbar\), \(G\), and \(c\) through the calibration import (M2). Large capacity explains the small dimensional constant, not its agreement with the comparison: a relative capacity residual \(\delta\) gives a relative constant residual \(-\delta/(1+\delta)\).

The official DESI DR2 release supplies four base-\(\Lambda\)CDM chains for BAO+CMB. Each was authenticated against its manifest. Transforming every weighted sample gives a covariance-preserving retrospective coordinate, \[\Lambda\ell_P^2=(2.96770\mathbin{\pm}0.03978)\times10^{-122},\] with weighted 2.5–97.5 percent interval \([2.88997,3.04530]\times10^{-122}\) [sources]. The transform retains the sampled \(H_0\)–\(\Omega_\Lambda\) covariance rather than inserting a separate Gaussian covariance. It is a target-informed \(\Lambda\)CDM posterior display, not an OPH likelihood, theory uncertainty, or predictive pull.

In the displayed proposals, \(A_T(\cdot)\) is the inverse electromagnetic coupling the declared Thomson-limit source map returns at a trial screen grain, \(\alpha_U(\cdot)\) the coupling the same declared map returns at its unification point, \(\mathfrak U_N\) the regulated universe-level observer system at capacity budget \(N\), and \(M_0\) the correctable-code capacity of its terminal public record; the grain scalar of these equations is distinct from the port set and the event projectors used elsewhere in this paper. Certified roots of both displayed maps are compared against the 2022 CODATA inverse coupling [source]. The symbol \(\varphi=(1+\sqrt5)/2\) is the golden ratio of Section 8.

The closure principle.

The axioms describe the observer screen. The global closure principle states that the simulating and the simulated description are one system. Every quantity that has both a construction-side reading and a readback-side reading must take the same value once a typed bridge proves that the two readings denote one invariant. The equality is forced by self-identity. Constructing that bridge and the return map is part of the physics. Existence, uniqueness, and stability are separate determinacy tests on the resulting equation. The name given to such an equation carries no mathematical weight: after the typed identification, unequal readings would describe two systems rather than the single self-referential universe.

The local screen-grain proposal \[P=\varphi+\sqrt{\pi}/A_T(P),\] with \(A_T(P)\) the inverse coupling returned by the declared source map, has one interval-certified fixed point on its declared analytic domain. Interpreting that root as the laboratory coupling additionally requires a target-independent choice of the physical map, a typed bridge identifying the two sides as readings of one quantity, and same-scheme hadronic spectral transport to the Thomson endpoint. The displayed map’s certified fixed point sits at \(P=1.6309720959\) and returns \(A_T=136.9948352\); the certified gauge-width variant’s fixed point sits at \(P=1.6309682414\) and returns \(137.0356601\). Through the same outer equation the measured 2022 CODATA coupling \(\alpha^{-1}=137.035999177(21)\) reads back the grain value \(P=1.6309682094\). The comparisons stand at \(3.0\times10^{-4}\) relative for the displayed map and at \(2.5\times10^{-6}\) for the gauge-width variant, as diagnostics of the declared source maps. The latter absolute residual is \(3.3904\times10^{-4}\), compared with experimental standard uncertainty \(2.1\times10^{-8}\); this is not agreement at measured precision.

The direct global proposal is \[N=\log M_0(\mathfrak U_N).\] The bounded completion class defined by base agreement, positivity, and the carrier bound does not select a unique cosmic value. Universal all-rung membership in a complete A1–A3 capacity-source contract and the corresponding executable-to-Lean bridge are absent. The incomplete antecedent determines no direct \(N\), and no theorem extends the bounded-class conclusion to the complete source class. A positive result must complete the source antecedent and prove one physical zero, either within the three-axiom source contract or through a separately named stronger source law. A separate common-load branch starts from \[N_0=\pi\exp\!\left(\frac{6\pi}{P\,\alpha_U(P)}\right).\] On the finite collar branch, the declared total reserve expectation \(P/4\) and six-class equidistribution give presence probability \(P/24\) for each declared class. If one class is physically selected as the blocked event, its scalar-weighted presence receipt is discharged, and that normalized collar-survival factor is proved to act on the global capacity, the corresponding candidate is \[N_{\mathrm{pres}}=N_0\left(1-\frac{P}{24}\right), \qquad \ln\frac{N_{\mathrm{pres}}}{\pi} = \frac{6\pi}{P\,\alpha_U(P)} +\ln\left(1-\frac{P}{24}\right).\] The exponential alternative \(N_{\mathrm{Pois}}=N_0e^{-P/24}\) requires a separate mean-count or continuum carrier. Exact neutral, one-class, and six-class-total actions share the declared local datum, obey positive composition and finite cut-count regrouping, and disagree globally. The finite source therefore selects no action or blocked-event semantics. The source class determines no named-law value, and its horizon branch has no capacity object. A stronger source-derived action would require the screen/electroweak bridge, physical common-load bridge, physical \(\mathbb Z_6\) seam action, scalar-weighted receipt, and horizon-record identification. On the source-forward numerical branch, \[N_0=3.5321\times10^{122},\] so the finite-presence candidate is \(3.2921\times10^{122}\) and the exponential candidate is \(3.3001\times10^{122}\). The full weighted Planck base-\(\Lambda\)CDM chain gives the comparison coordinate \(3.3129\times10^{122}\). The respective residuals are \(-0.63\) percent and \(-0.39\) percent. Both comparisons were exposed before the branch choice and carry no predictive weight.

The positive-chamber Koide identity

The icosahedral carrier’s face structure supplies order-three cyclic response operators. The following exact identity governs every Hermitian three-cycle response [source].

The shape depends on \(\rho/a\) and \(\delta\). Fixing \(Q=2/3\) fixes \(\rho/a\) and leaves one phase: the two mass ratios vary together. Equal rank-two event blocks in the finite tracial Gelfand–Naimark–Segal packet supply the balance \(\rho/a=1/\sqrt2\) exactly under the declared tracial premises, and the Lean development checks both the circulant identity and the equivalence [source].

Under the balance and mass-ordering premises the measured electron and muon masses [source] determine the tau mass through one quadratic, governed by a prospectively fixed conditional test whose target definition, precision floor of \(0.045\) MeV, and decision rule were fixed before comparison with any post-registration measurement [source]. The outward-rounded enclosure is \([1776.968991,\allowbreak\,1776.969063]\) MeV, a \(72\)-eV window whose center sits \(0.43\sigma\) from the measured \(1776.93\pm0.09\) MeV. The premise ancestry is declared, the balance having been abstracted from the measured triple, so this is a target-informed conditional postdiction whose evidential weight lies in the kill direction: a world-average or dedicated central value more than three standard uncertainties from \(1776.969027\) MeV refutes the balanced-circulant premise, and with it the equal-rank-two-block tracial reading of the face-circulant sector, the only registered exact balanced-circulant family mechanism. Alternate family-sector carriers, potentials, dynamics, and source attachments are not excluded. The surface supplies no physical family attachment or phase selection.

The charged-lepton interval diagnostic

A finite eight-path carrier with an empirical electromagnetic transport packet yields outward-rounded enclosures for the three charged leptons of logarithmic half-width \(1.732\%\), one-sided widths \(-1.72\%\) and \(+1.75\%\), under the declared payload-coherent anchor-gap premise, against \(6.554\%\) for the premise-free independent-gap enclosures; the measured triple lies inside all three coherent enclosures [source]. Measured mass ratios and transport anchors enter the branch, so this is a diagnostic of internal closure giving a sharp surface that a source-emitted transport bridge must hit, and a physical charged determinant line, an absolute clock, and that bridge are the maps an endpoint prediction requires.

The electroweak chart and strict pole-consumer checks

On the target-free but declared and incomplete running/map branch, evaluating the supplied formulas gives the electroweak chart coordinates \(80.330\) and \(91.119\) GeV for the \(W\) and \(Z\) carriers, with no measured mass entering the arithmetic. The source does not select the map, so these are not source-emitted coordinates [source]. Writing \(S=gv_F/2\), \(t=g'/g\), \(w=S^2\), and \(z=S^2(1+t^2)\), the strict one-loop consumer factorizes on the declared domain as \(s_W/s_Z=(1+d_W)/((1+t^2)(1+d_Z))\) with \(d_W\) and \(d_Z\) the normalized self-energy factors, whose strict expansion is \(\frac{1}{1+t^2}(1+d_W-d_Z)+O(\text{loop}^2)\). The common scale cancels under passive rescaling at fixed \(t,d_W,d_Z\), while those three inputs stay unselected. Directed complex-interval receipts exclude zeros of a scalar inverse-propagator entry on declared principal-sheet boxes, and separate receipts isolate, for each of \(W\) and \(Z\), one simple scalar zero with derivative and scalar-residue balls in its declared lower-half pole box on a channel-specific algebraic chart [source]. The receipts identify neither chart with the physical resonance sheet and prove no unique continuation, sign bridge, full-matrix Laurent residue, or current amplitude, and their external fixture is uncomposed with the declared-map coordinates, so no chart-to-pole map, physical pole, or mass comparison follows.

Finite capacity and the de Sitter transfer sign

The screen’s finite capacity supports an exact entropy accounting with one conditional gravitational reading [source].

Identifying capacity with horizon area, the transfer coordinate with observer mass, and the associated finite port operator with the gravitational shock supplies a conditional de Sitter time-advance mechanism with a definite sign: under those dictionaries an observer absorbing a capacity fraction \(f\) strictly lowers the maximal generalized horizon entropy by \(\log(1-f)\), and the one-sided boundary maximum carries the definite sign of the associated time shift. The finite identities make none of those physical identifications; no horizon or observer dictionary is supplied, and the finite calculation supplies no positive cyclic static-patch trace.

The unique rank-six invariant of the primitive carrier

In this subsection, “spin six” means spherical-harmonic angular rank \(j=6\). It does not denote a particle with spin six. The mathematical engine is the invariant count for the sixty-element proper icosahedral rotation group. The dimension of the invariant subspace in angular rank \(L\) is \[m_L=\frac1{60}\Bigl[(2L+1)+15\,U_{2L}(0)+20\,U_{2L}(\tfrac12) +12\,U_{2L}(\tfrac\varphi2)+12\,U_{2L}(\tfrac{\varphi-1}2)\Bigr],\] where \(U\) denotes the Chebyshev polynomials of the second kind. The exact table gives \(m_1=\cdots=m_5=0\) and \(m_6=1\). Thus no nonconstant invariant occurs below angular rank six, and the rank-six invariant line is one-dimensional, in agreement with the classical icosahedral-harmonic classification [source].

The universality theorem concerns a class of finite operators, and a physical prediction requires a narrower branch whose operator and transfer are fixed. For the declared equal-weight twelve-port member the stationary structure is exact at every scale: the \(62\) critical directions of \(\mathcal I_6\) define \(31\) projective axes, and three exact projective charts with a \(2{,}624\)-leaf interval cover prove that the full cosine kernel has exactly those directions for every \(0<|ak|\le1\), the twelve port directions remaining maxima, the twenty face-center directions minima, and the thirty edge-center directions saddles [source].

Let \(u_1,\ldots,u_{12}\) be the unit vectors through the twelve carrier ports. The primitive twelve-port propagation branch declares that the intrinsic spatial kinetic symbol lies in the cosine class of Theorem 43 with scale-independent coefficients; that the complete primitive orbit is its sole hop support, with no independent isotropic or directional term through order \(k^6\); that the carrier scale \(a\) is finite and positive with the continuum quadratic term normalized to \(k^2\); that one carrier rest frame is transported coherently over the experiment; and that the tested scalar or polarization-independent sector realizes the operator, a photon realization additionally requiring equal action on both transverse polarizations. Transitivity of the proper carrier group forces equal weights once the single orbit is selected. The carrier is realized as a quasiperiodic structure or as a graph, since no periodic three-dimensional lattice carries this point group, so the branch presupposes no crystal.

The finite repair packet leaves this branch avoidable. Its certified operator acts on thirty internal seam readings, a spatial translation stencil acts on a field at distinct sites, and a physical-sector readout is a third typed object; an exhaustive classification of the declared serialized artifacts finds no packet joining a complete twelve-port translation operator to a physical readout of that same operator. The equal-weight stencils on the vertex, face, and edge orbits have pairwise distinct rank-six rays, and proper-carrier transitivity selects no orbit as the physical hop support.

The proposition contains an exact finite source theorem and a conditional physical branch. The naturality and minimizer clause supplies a homogeneous internal action whose generator satisfies the positive maximum principle and an exact Dirichlet identity, and whose plane-wave spectrum is the symbol above; Section 9 develops the field structure that generator carries.

The declared spatial symbol admits an exact remainder certificate with no physical premise: writing \(q=ak\), the kernel-checked eighth moment, the exact range \(-5/9\le\mathcal I_6\le1\), and alternating cosine bounds give \(\lvert\widehat\Lambda-P_6\rvert\le\tfrac{7}{388800}q^8\) and \(\tfrac{19}{20}q^2\le\widehat\Lambda\le q^2\) uniformly on \(0\le q\le1\), where \(P_6=q^2-q^4/20+(1/840-\mathcal I_6/12600)q^6\). An exhaustive target-free enumeration of all \(2^{12}\) sign-error vectors in one fixed twelve-row design detects the leading coefficient in every replica at noise scale \(1/200\), while the linked isotropic and rank-six higher-order pair is detected in \(209\) of \(4096\), so that stress law leaves the pair unresolved. The certificate concerns the mathematical operator and turns \(a\) into no SI length.

If \(\Lambda_a\) is separately identified with a physical frequency squared, the positive leading branch gives exact formal-series coefficients for \(\omega\), its radial group velocity, and its transverse gradient, the last proportional to \(a^4k^4\nabla_{S^2}\mathcal I_6\). The spatial-symbol bound supplies no analytic remainder for that physical branch, and physical position, field sector, clock, cofinal gluing, physical scale, frame and boost law, wave-packet dynamics, laboratory readout, and nuisance model are all required before a time-of-flight comparison exists. The edge branch and the primitive-port branch have opposite rank-six signs, and their coefficient rays, custody packages, exposure exclusions, and comparison budgets are separate.

One exact theorem binds the two frozen rays and every member of the declared positive-weight scalar cosine class into a single test surface.

The theorem converts the two frozen branches into two points of one exact map. The declared class shares a support-independent negative quartic sign and the floor \(B_0/C_4^2\ge10/21\), whose excess is a normalized weighted radial-moment gap vanishing exactly on common-radius support, while the signed rank-six ratio constrains the weighted angular moment and distinguishes the three pure fundamental orbit rays. The frozen vertex branch sits at the endpoint \(16/75\) of the band and the frozen edge branch at \(-1/15\). The class-level kill surface is correspondingly wider than either branch band: under the same physical-sector premises, a resolved intrinsic dispersion with \(B_0/C_4^2\) below \(10/21\), or \(B_6/B_0\) outside \([-16/135,16/75]\), or a residue at ranks one through five, or a rank-six residue off the rotated \(\mathcal I_6\) template, excludes every member of the declared class at once. Exact saturation of the floor certifies common-radius support, and a generic rank-six anisotropic model carries independent \(k^6\) and \(k^8\) amplitudes whose relative amplitude the common-radius stratum fixes. The certificate reads no comparison data and changes no frozen bytes [source].

The same class carries an exact auxiliary-frequency contraction bound.

The edge ray and its complete decision rule are frozen under public commit custody before any eligible edge-branch comparison payload [source], with the template class, every primitive-port comparison input, and every datum inspected before that freeze excluded. A null carries no verdict unless a pre-exposure source theorem for the same action and sector supplies \(a_{\min}>0\) and a preregistered power and remainder contract makes the entire admitted manifold excludable.

Exposed source-seam diagnostics.

Under the external subluminal quadratic convention \(a=\sqrt{20}/E_{\mathrm{QG},2}\), published time-of-flight bounds give conditional photon/clock-sector translations. Separately, the Auger air-shower translation reaches \(a<0.546\,\ell_P\) only with photon-only Lorentz violation, Lorentz-invariant leptons, and the paper’s alternative UHECR scenario containing a subdominant proton component above \(10^{19}\,\mathrm{eV}\) [sources]. These diagnostics derive no scale and carry no evidence weight.

The Lorentz-invariant-lepton premise in the air-shower translation is load-bearing. If instead the hard photon, electron, and positron are assigned the same leading coefficient \(\delta=-d=-a^2/20\), additive head-on collinear kinematics gives, at \(u=x(1-x)\in(0,1/4]\), \[\epsilon_{\rm req}(k,u)=\frac{m_e^2}{4ku}+\frac{3dk^3}{4}u .\] The reciprocal-linear envelope and endpoint transition are machine-checked. At and above the transition, Lean also proves that the equality witness is realized by an open physical share, so it is the constrained share minimum rather than merely a lower bound. Explicitly, \[\epsilon_{\min}(k)= \begin{cases} m_e^2/k+3dk^3/16, & 3dk^4\le16m_e^2,\\ (\sqrt3/2)m_e k\sqrt d, & 3dk^4\ge16m_e^2. \end{cases}\] The branches agree at equality. The unconstrained minimizer is \(u_*=m_e/(\sqrt{3d}\,k^2)\); it enters the physical interval at \(k_t=2\sqrt{m_e}(3d)^{-1/4}\). At \(a=\ell_P\), representative single-energy CMB targets give finite leading kinematic windows \([4.12\times10^{14},7.82\times10^{19}]\,\mathrm{eV}\) for \(\epsilon=6.34\times10^{-4}\,\mathrm{eV}\) and \([8.70\times10^{13},3.70\times10^{20}]\,\mathrm{eV}\) for \(\epsilon=3.0\times10^{-3}\,\mathrm{eV}\). These are roots of a conditional leading equation, not optical depths or fluxes. They neither transfer the published photon-only Auger exclusion to the common-coefficient branch nor supply an interaction vertex, radiation spectrum, source population, cascade, shower, or detector response [source].

Primitive-port prediction and decision rule.

Proposition 44 is a frozen prospective conditional physical-branch prediction [source]. The minimal locally Lorentz-invariant Standard Model plus General Relativity in local vacuum supplies the baseline \(C_4=B_0=B_6=0\) for intrinsic propagation, and nonminimal effective operators, media, curvature, or another icosahedral system can imitate some or all of the pattern, so a match distinguishes the branch from that baseline without identifying OPH uniquely. In the Standard-Model Extension coefficient language [sources] the branch populates only the thirteen-component nonbirefringent rank-six multiplet at operator dimension eight, collapsed to one amplitude and one frame orientation, with every anisotropic coefficient at \(1\le j\le5\) exactly zero in the carrier rest frame and frame boosts admixing neighboring ranks at first order in the frame velocity.

The exposure class is fixed. The internal-linear-combination map of the dated template search, its likelihood class, and every data product examined there are ineligible for this prediction; that search included the icosahedral rank-six and higher templates and returned a family-wide \(p\)-value of \(0.64\). The target statement, exact coefficient snapshot, registration record, public commit custody, and detached calendar attestations fix the prospective content and its decision rule [source].

No empirical verdict is licensed without a dataset-specific registration fixing one post-freeze release, a joint likelihood or full covariance for the same-sector coefficient vector, the carrier and observer frames, the \(\mathrm{SO}(3)/A_5\) orientation profile, the boost law, the environmental and instrumental nuisance model, trials accounting, sensitivity floor, and calibrated joint threshold. The decision rule scores the complete branch manifold \[C_4<0,\qquad B_0=\frac{10}{21}C_4^2,\qquad B_6=\frac{32}{315}C_4^2,\] with every intrinsic coefficient at \(1\le j\le5\) zero and the \(j=6\) vector on the rotated \(\mathcal I_6\) orbit. The branch fails at five standard deviations or more if an isolated intrinsic \(C_4\) is positive, an isolated lower-rank coefficient is nonzero, the linked sixth-order terms are excluded at adequate sensitivity, or the calibrated profile likelihood excludes the complete manifold. Support requires exclusion of the zero-coefficient baseline at five standard deviations or more, agreement with the linked manifold within two, rejection of named systematic alternatives, and an independent replication. A null is inconclusive, since the branch supplies no positive lower bound on \(a\), as are incomplete covariance, insufficient sixth-order sensitivity after a negative \(C_4\), and failure to isolate the carrier contribution. A failed verdict rejects the primitive twelve-port physical propagation branch, and applies to the framework as a whole only after a stronger source law makes that branch forced and exclusive.

Physical interpretation maps and their consequences

The preceding theorems concern finite records, explicit response maps, and reconstruction implications. They become claims about nature only when a physical carrier realizes the operations and identifications in Definition 2. the table records the resulting implications and the premise that can fail, keyed to the standing maps of Section 1.3.

The gravitational chain and its break point

The route from patches to gravity is one chain: consensus supplies the authenticated finite event poset and exact longest-parent-chain source height; independently, the real axis, rank-three source carrier, and celestial/null data construct the local (1+3) ambient precursor, while height enters its event placement; a physically faithful, count-calibrated, manifoldlike refinement family supplies the effective Lorentzian manifold; modular flow and half-sided inclusions supply the local time generator and null translations on that same family; and the entropy split with its stationarity conditions would establish the null-balance premise that Theorem 28 completes. The break point is visible. The normal-form, entropy, and tomography statements have exact finite layers, and the passage to gravity starts when one physical tower realizes (M4). Read through that map, the gravitational response is the large-scale compatibility condition on repaired records: the metric describes the stable causal relation among them, modular flow describes how a patch reads change, and entropy stationarity fixes the response that keeps local accounts compatible.

The dark sector: non-luminous charge, the deep galaxy law, and the vacuum coordinate

The two dark components can enter the physical Einstein branch only through separate typed adapters. A dark-sector adapter identifies non-luminous modular charge, its stress and the absence of an electromagnetic readout; an independent horizon–record adapter identifies a selected finite capacity with de Sitter entropy and the vacuum metric coordinate. Neither identification is part of the minimal finite Einstein-shape theorem. The companion papers carry the full conditional statements, premises, and comparisons for both [sources].

Under the supplied universal-coupling, physical-stress and source-localization premises, sourcing gravity by modular charge gives a conditional classification identity: the rest-frame Einstein relation responds to total modular charge, the luminous-only relation holds exactly when the non-luminous charge vanishes, and a geometric excess over the luminous term is classified as non-luminous modular charge. This does not derive that a nonzero excess exists, its abundance, or a physical carrier attachment. A separate collar-recovery and modular-stress adapter supplies one candidate: anomalous modular energy on overlap collars, bounded by the collar recovery defect, absent at full recovery, and diluting as \(a^{-3}\) when the adapter’s conservation hypothesis holds. For common envelope parameters \(\kappa\geq0\), \(B\geq1\), \(r_0\geq0\), \(\zeta>0\), fixed positive collar radius and bounded stress constant, anomalous stress tends to zero as density grows at fixed positive depth, or depth at fixed positive density. This is asymptotic suppression; exact finite-source vanishing, source existence, abundance and galactic localization remain separate premises.

Conditional on two named premises, the deep-regime profile is characterized rather than supplied as an additional functional form. An enclosed-mass law that is degree-one scale covariant in the radius and composes independent sources in quadrature, because variances of independent collar defects add, carries a unique constant \(a_0>0\) with \(M_A(r)=r\sqrt{M_ba_0/G}\); this forces the deep anomalous acceleration \(a_A=\sqrt{a_ba_0}\), and hence the asymptotic total-acceleration relation, flat rotation curves, and the baryonic Tully–Fisher relation \(v^4=GM_ba_0\), with each premise proved load-bearing by an explicit counterexample law. A per-cut model reduces quadrature composition to variance additivity on \(nr\) nested cuts and gives the exact dictionary \(a_0=Gn^2c\), with only the product \(n^2c\) identifiable. The corrected SPARC diagnostic compares the total observed acceleration with \(a_b+\sqrt{a_ba_0}\), not with the anomalous term alone. An older comparison against a finite-radius total-speed proxy produced displaced bootstrap intervals. A matched seen-data diagnostic instead compares the baryon-subtracted anomalous speed at the outermost retained point, applies the same deep cut, and excludes bulge galaxies because the snapshot lacks the disk/bulge luminosity split required by its mass denominator. On 97 common galaxies its paired log-ratio interval \([-0.117,0.026]\) dex contains zero. Because several observable, sample, and combination choices change together, this supports but does not causally identify a mixed-proxy explanation.

A separate source-bound replay calibrates the published empirical full-RAR interpolation rather than the OPH deep law. It authenticates the committed CDS/VizieR SPARC snapshot, reproduces the published 153-galaxy parent selection, and retains 2696 points in 147 contributing galaxies after the strict fractional-velocity-error cut, three points more than the published 2693-point census. At the standard fixed stellar mass-to-light values it gives \(a_0=(1.1613\mathbin{\pm}0.0802)\times10^{-10}\,\mathrm{m\,s^{-2}}\), where the displayed width is the galaxy-bootstrap standard deviation, with 0.1327 dex residual scatter. Equal parent-galaxy weighting shifts the fitted scale by \(-9.58\%\), while inverse fractional-velocity-variance weighting alone shifts it by \(+15.49\%\). These alternatives are estimator-sensitivity controls, not likelihoods. The interpolation and acceleration scale were known before the replay, no source law fixes \(a_0\), and the nuisance model is incomplete, so the result strengthens data custody and arithmetic rather than supplying OPH-specific evidence [sources].

A per-point Gaussian data term with gridded nuisance penalties and an equal-correlation covariance scan has also been computed. It is a penalized profile objective rather than a maximum-likelihood analysis: its delta-objective sublevel sets are uncalibrated sensitivity contours, some disconnected, and the data quadratic-form ratios sit far above one under both nominal denominator conventions, so it can reject no future source value, and a prospectively frozen covariance, intrinsic-scatter, and coverage calibration is unbuilt. An isotropic ambient density has zero trace-free quadrupole, and its traceful isotropic tidal scale is four orders of magnitude below the uncertainty of the dimensionally comparable Cassini quadrupole coefficient, although Cassini bounds that isotropic channel only indirectly. The value of \(a_0\), the physical attachment of the envelope, a full relativistic stress and lensing law, and the abundance are among the named open constructions [source].

The vacuum side of the sector is the capacity coordinate of Section 10.1 read as a density. Identify \(\rho_{\rm DE}(a)=\kappa/N(a)\) at constant \(\kappa\) and take the continuity definition \(w(a)=-1-\tfrac13\,\mathrm d\ln\rho/\mathrm d\ln a\). The two definitions give \[\begin{equation} w(a)=-1+\frac13\frac{\mathrm d\ln N}{\mathrm d\ln a}, \label{eq:capacity-w} \end{equation}\] so a fixed record capacity implies \(w=-1\) and hence the exact Chevallier–Polarski–Linder point \((w_0,w_a)=(-1,0)\) with no continuous freedom inside that branch, a monotone nondecreasing capacity implies \(w\ge-1\) at every epoch, and \(w<-1\) implies local capacity loss. The power-law family has constant \(w=-1+\epsilon/3\) and \(w_a=0\). the displayed equation is an algebraic consequence of the two definitions and derives neither fixed capacity, the density identification, nor a closed dark sector. The scoring asymmetry is displayed with it: exclusion of \((-1,0)\) in any direction can fail the fixed branch, while compatibility with that point gives no support, since it is also the \(\Lambda\)CDM null. A \(w_0w_a\)CDM posterior is a model-dependent and likelihood-dependent projection rather than a direct capacity measurement, so a comparison requires a post-freeze dataset combination, a scored range, a statistic, complete thresholds, fallbacks, and a direction-neutral nuisance policy fixed in advance [source]. Existing survey posteriors and the display-bias mock are seen diagnostics.

A hash-checked retrospective postprocessing of the four official DESI DR2 Cobaya chains for each default CMB combination finds posterior-weight fractions in the full CPL monotone-capacity subset on \(0\le z\le2\) of \(0.00705\%\) for BAO+CMB, \(0.1125\%\) with Pantheon+, \(0.01206\%\) with Union3, and \(0.02054\%\) with DESY5 [sources]. The respective raw tail counts are only 6, 126, 15, and 11, and at least one of the four chains has no tail row in two combinations. The fractions are therefore prior- and likelihood-dependent retrospective diagnostics, with explicit rare-tail resolution warnings; they are not branch probabilities, a frequentist exclusion, or a frozen score. Gaussian moment distances of the fixed point are likewise recorded only as diagnostics, not as official profile-likelihood or evidence results.

There is also a conditional local clock bridge, but it needs three explicit physical premises beyond the displayed capacity formulas: (B1) the electroweak closure capacity is the same physical \(N\); (B2) the finite closure relation is an epochwise physical law; and (B3) physical evolution selects the committed root branch and co-variation convention while the local clock reads the same homogeneous cosmological \(\alpha\) with the required time map. An outward-rounded implicit-function certificate proves the selected declared branch continuously differentiable without finite differences on \(\lvert\Delta\ln\alpha\rvert\le10^{-5}\) and gives \[\frac{\mathrm d\ln N}{\mathrm d\ln\alpha} \in[-0.214173865,-0.206176031],\qquad \frac{\mathrm d\ln\alpha}{\mathrm d\ln N} \in[-4.850224325,-4.669103775].\] The first interval excludes zero before the reciprocal is formed. Under B1–B3, the optical-clock drift result of Filzinger et al. then gives the local diagnostic \(\lvert1+w_0\rvert\le6.94\times10^{-10}\) [source]. This does not derive that cosmic tangent, does not justify extrapolating it over order-one changes, and does not empty the monotone branch: arbitrarily small positive capacity drift remains viable.

A common source, and measurement as a completed record

One observer-consensus tower feeds two readout branches. The overlap, record, and repair structure feeds the event and modular branch, while the twelve-port incidence, complete reversible response, and endogenous overlap transport feed the local gauge-type branch, with trace-balanced blocks supplying a separate conditional matter branch. A single self-reading carrier could supply both sets of antecedents. That common source identifies gravity with no gauge boson and fixes no coupling, and it leaves the two gauge constructions distinct: \(G_{\mathrm{Tan}}\) is reconstructed from a sector category, while \(G_{\mathrm{packet}}\) is the maximal faithful image of the explicit finite response and matter module. A completed unification requires joint physical realization and a proof that the corresponding current diagrams commute.

Measurement sits at the transition from a private repairable record to a protected public normal form. A record is public when it has survived every authorized comparison and no repair can change it; event projectors, weights, and state updates are defined on the completed algebra-state surface, and state update moves from one public record class to the next. A physical application must identify actual durable records and verify the transaction and readback premises, and the theorem constructs no state space for an interacting continuum field theory.

Thermodynamics from conditional repair

The four laws form a finite conditional theorem package by short elementary arguments once Axiom 3 is read on transition distributions and the typed source and physical receipts are supplied. Axiom 3 applies separately to states and to transition distributions, and both information projections are solved exactly. The state projection with faithful reference and conserved constraints is the Gibbs exponential family by the information-projection Pythagorean identity, and on one supplied nondegenerate finite spectrum equality of Gibbs distributions identifies the inverse temperature, which is the finite zeroth-law transitivity receipt rather than an equilibration theorem. The transition projection onto the fibre of the complete repaired visible datum is weighted conditional resampling from the same reference, the weighted observation-fiber projector of the consensus construction. That kernel is stochastic, idempotent, reversible, and stationary, fixes every fibre-measurable charge, and contracts relative entropy to the reference, so the second law is a data-processing theorem with the modular form \(\Delta S\ge\Delta\langle K\rangle\) on \(\tau\)-preserving channels and the Landauer erasure bound as a corollary.

The inequality is the mean of a fluctuating entropy production obeying exact integral, pointwise, and level-set fluctuation identities, and the mean is an identity rather than a bound: one repair step’s mean entropy production equals the relative entropy from the input state to its repaired image exactly, so it is strictly positive whenever the step changes a strictly positive state and vanishes precisely on the fibre-conditional-reference fixed points. That is a strict single-step orientation off the repaired manifold. The identical kernel is idempotent and therefore produces zero further dissipation after the first projection, so a sustained macroscopic arrow is unclaimed. Detailed balance with a linear Poisson solver on centered currents gives a symmetric positive-semidefinite finite Green–Kubo matrix with an exact cutoff remainder [sources]; for each current pair, iterating the idempotent full-fibre time-step gives either zero positive-lag correlation or nonstabilizing partial sums, so a decaying memory tail with a stabilizing sum requires a separately sourced nonidempotent evolution. For a finite joint update the exact bookkeeping split is \(\Delta U=\delta Q+\delta W+\operatorname{Re}\operatorname{tr}(\delta\rho\, \delta H)\), the two-term form holding for an ordered fixed-\(H\) or fixed-\(\rho\) stroke, and the composed repair heat stroke holds \(H\) fixed. At every finite regulator the excited Gibbs mass is bounded by \(\tfrac{d-g_0}{g_0}e^{-\beta\Delta}\), the entropy limit \(k_B\log g_0\) is a finite corollary of that bound, and finite-step unattainability follows because faithful repair and pinching steps cannot reach the rank-deficient zero-temperature state. Through the central split \(K=2\pi B+Z\) one repair step with a fibre-measurable central charge obeys the cap Clausius inequality \(2\pi\Delta\langle B\rangle\le\Delta S\), which discharges the Einstein branch’s finite first-law premise package on the simplex tangent space of this model.

A constructive finite alternative keeps the full-fibre projector \(P\) as equilibrium and uses local heat-bath evolution \(T\). An exact eight-state nonproduct witness preserves a nonconstant public bit and obeys \(TP=PT=P\) and the entrywise minorization \(T^2\ge(7/96)P\). On fibre-centred observables, \(\lVert T^n\rVert\le(89/96)^{\lfloor n/2\rfloor}\), giving a unique centred Poisson solver and convergent Green–Kubo sums. A merely globally centred protected current retains covariance \(2/9\). Thus conserved records coexist with decaying memory under this supplied law; native source selection and physical transport are separate [sources].

What fails together

Authenticated semantic commits and their read-from relation supply the finite events and informational order directly. Independently, the real axis joined to the rank-three source Gram quotient constructs a four-dimensional ambient Lorentzian target carrier and its null-direction sphere; canonical source height enters only through event placement, and intrinsic poset dimension remains a continuum diagnostic. The direct causal-set route uses a common physical refinement passing the faithful-order, density, manifoldlikeness, topology, uniqueness, and curvature rows of Theorem 22; neither event charts nor signature are inserted as independent starting data. On the other branch the carrier exposes twelve response channels grouped by icosahedral symmetry into four bands, complete reversible response closes their public tangent under commutators, and observer agreement requires rechartings to act inside that same response, so compactness and the single fixed line leave the Standard Model gauge Lie type. A separate matter module tests which charges coexist without anomalies, and it turns no finite channel into an observed particle.

The conditional implications share premises, so they fail in groups. Failure of (M4) removes the effective-spacetime and Einstein conclusions together. Failure of (M3) removes the gauge and matter interpretations together. Failure of (M2) removes every statement in laboratory units, including the mass-energy slope and the four-law package in physical form. The finite normal-form, invariant-theory, and algebraic results retain their stated domains under all three. the table summarizes the principal physical interpretation claims made here.

Machine verification and reproducibility

Each result maps to an artifact class:

• a Lean library with no admitted propositions in the dependency closure reported here, including formal premise boundaries and countermodels;

• exact-arithmetic code receipts: integer and rational computations, interval certificates with outward rounding, and \(\mathbb F_{2}\) rank computations, each emitting a canonical hashed payload;

• simulation receipt bundles pinning the applicable source or module revision, configuration, seed where stochastic, grids, tolerances, and output hashes, with deterministic reserialization distinguished from fresh source replay;

• verifiers that recompute verdicts from clause vectors and reject receipts whose stored verdict disagrees, so a caller cannot assert a truth flag directly;

• adversarial negative controls: every certificate ships with mutations that must be detected, and a control that cannot fail is treated as a defect of the certificate, not as support;

• provenance rules under which machine-readable records classify every quantitative row as a source result, reconstruction implication, diagnostic, prospectively fixed test, or rejected candidate and reject any stronger classification unsupported by the recorded dependencies.

The repository, receipts, schemas, and rebuild instructions are public [sources]. The formal and executable stack checks the claims assigned to it and enforces their stated boundaries. Analytic arguments in this manuscript retain their displayed mathematical proofs, and no part of the stack establishes physical realization.

Artifact map

the table names the artifact family behind each group of results. Repository continuous integration checks the theorem-count floor, rejects admitted proofs in the public library, and rebuilds the finite certificates used here; simulator replay is governed by the simulator receipts and reproduction commands. Exact file paths, manifests, receipts, mutation suites, and negative controls accompany each module in the public repositories [sources]. Online Resources 1 to 3 supply compact snapshots of the formal library, the exact certificates, and the finite evidence cited in this table.

Empirical meaning and falsifiability

The custody-bound register fixes target definitions, exclusion thresholds, precision floors, exposure classes, and decision rules before eligible comparison [source]. Propositions 44 and 45 are the prospective discriminators in this paper. Their coefficient rays are fixed separately, their excluded exposure classes are declared, and their dataset-specific comparisons are sealed under the conditions stated in Section 10.6. A qualifying failure rejects the tested physical propagation branch. OPH-wide scope requires a stronger source law that supplies the physical action, readout, frame transport, and exclusivity theorem for that branch.

The gravitational and gauge conclusions have separate empirical boundaries. The Einstein composition requires one physical refinement tower satisfying its event, modular, stress, entropy, continuum, vacuum, and scale premises together. The gauge and matter conclusions require laboratory-current attachment and a continuum operator limit. Failure to construct those maps leaves the corresponding finite theorems intact and removes their claimed physical application. Non-identifiability theorems determine which finite source interfaces cannot supply the missing information.

The dark sector and the gauge-spectrum statement carry their own decision shapes. A world-average charged-lepton measurement more than three standard uncertainties from the balanced-circulant center refutes the equal-rank-two tracial reading of the face-circulant sector. A resolved deep-regime galaxy sample that violates degree-one radial scale covariance or quadrature composition of independent sources removes the uniqueness of the deep law, and a fitted constant that fails to be common across the two channels removes the single-constant reading. For the vacuum coordinate, the scoring is one-sided: exclusion of \((w_0,w_a)=(-1,0)\) in any direction fails the fixed-capacity branch, while agreement with that point supports nothing, because it is also the \(\Lambda\)CDM null. The Yang–Mills identification fails if the support-visible continuum construction fails, if reflection positivity fails, or if the uniform repair gap is absent; failure of the finite \(\mathbb Z_2\) diagnostic retracts that computation alone.

Discussion and comparison

Operational reconstructions derive quantum structure from information and composition principles [sources]. OPH makes a narrower statement at the quantum stage: a completed finite record, once represented by an algebra-state pair, carries the standard event, conditioning, expectation, and correlation identities, with the observer-indexed normal form and its transaction contract as the distinctive input. Those reconstructions derive the quantum state space itself from operational axioms, while OPH takes the finite algebra-state representation as an explicit input and contributes the completed-record surface on which the identities operate together with the consensus theorem that defines completion. Four neighbors calibrate the record story. Quantum Darwinism locates classical objectivity in redundant environmental records [source], and the completed-consensus record plays the same public role with redundancy replaced by protected overlap agreement and an explicit repair dynamics. The cellular-automaton program shares the finite substrate [source], while OPH locates the quantum identities on the completed record surface rather than in an underlying ontological basis. Wigner’s-friend extensions constrain agents reasoning about one another’s unfinished measurements [source], whose premises concern pre-consensus perspectives that the completed surface does not represent. Relational quantum mechanics treats physical facts as relational [source] and the thermal-time program reads time from modular structure [source]; OPH attaches public facts to protected overlap records and consumes normalized modular flow only on a typed common tower, with its local-diamond proof neighboring asynchronous agreement [sources].

The gravitational branch belongs to the family of thermodynamic and entanglement-based routes to geometry [sources], with Bisognano–Wichmann modular flow and half-sided modular inclusions as established analytic ingredients [sources]. The contribution of Theorem 28 is the explicit composition contract, with event, modular, stress, entropy, asymptotic, vacuum, and scale premises in one statement and the finite null ambiguity identifying exactly where a metric-proportional term enters. The route from a null-projected balance and the Bianchi identity to the full equation, with \(\Lambda\) as an integration constant, is familiar from trace-free and unimodular formulations [sources]; what is added here is the finite nine-direction design with exact determinant and decoder constants and the premise contract (G1)–(G6) stated as one implication.

The gauge section contains two reconstruction routes and one conditional global-form witness. Doplicher–Roberts/Tannaka reconstruction supplies the structural sector group [sources]; independently, complete A1 response and endogenous A2 transport force the local Standard Model gauge Lie algebra; and the explicit matrix map with the exterior-module scan gives the conditional packet group. Equality of the sector group and the packet group is a separate commuting-square premise, and that separation keeps the categorical reconstruction, the local Lie-type theorem, and the physical global group apart.

A useful comparison of unification proposals asks how much physical structure follows from each declared input and which observations distinguish the resulting models. OPH offers a concrete case through its protected-record construction, gauge Lie-type constraint and coupled matter example, with proofs and executable checks attached to individual implications. Formal verification measures deductive reliability; predictive success requires physical realization and eligible measurements. Neither theorem counts nor numerical coincidences define a probability that an architecture describes nature. The realization premises of Section 13 specify that scientific test for OPH.

Conclusion

The finite architecture relates records, spatial carriers and matter through explicit mathematical interfaces. Its normal-form theorems control agreement, stability and refinement; finite effect valuations yield the probability rule for quantum records; carrier completion gives a three-dimensional position readback; and complete response with endogenous transport forces \(\mathfrak u(1)\oplus\mathfrak{su}(2)\oplus\mathfrak{su}(3)\). On the declared matter menu, exhaustive selection yields an anomaly-free fifteen-state generation with common \(\mathbb Z_6\) kernel.

A supplied charged-scalar/Maxwell action connects these mathematical objects to a controlled nonlinear continuum trajectory and an interacting quantum state space. Uniform refinement gives first-order convergence of its real quartic-wave sector. On the fixed mesh, the complete coupled metric gives a unique self-adjoint Hamiltonian under the declared quantization prescription. Bounded self-reading patches execute the charged model, while its changing configuration determines model duration at fixed energy. These constructions exhibit calculable fields, states and equations; a source-selected action and one common physical realization are additional requirements.

The gravitational branch assumes a common physical refinement tower with the stated stress, entropy, continuum and scale data. Null tomography, Ward conservation and the Bianchi identity then yield the Einstein equation up to a cosmological constant. Constructing that tower with the gauge and matter readouts is a separate requirement. Modular charge carrying no electromagnetic readout classifies a non-luminous gravitating sector whose deep-regime law is unique under scale covariance and quadrature composition, carrying one constant into flat rotation curves and \(v^4=GM_ba_0\); reading the dark-energy density as \(\rho_{\rm DE}=\kappa/N\) sends fixed capacity to \((w_0,w_a)=(-1,0)\); and on the support-visible compact-gauge branch the continuum Yang–Mills Hamiltonian gap is the limiting repair gap under the named certificates.

The closure formulas are retrospective diagnostics of declared maps. The prospective content is the frozen dispersion surface, where \(C_4<0\) with \(B_0/C_4^2\ge10/21\) and \(B_6/B_0\) inside \([-16/135,16/75]\) excludes the whole declared carrier class at once when a resolved measurement falls outside it.

The finite theorems establish implications on their stated domains; the quantitative formulas are diagnostics or prospectively fixed tests. The five maps of Section 1.3 are consumed rather than constructed, so these results do not establish that the architecture describes our universe. A physical reconstruction requires one realization preserving the proved relations across records, fields, states and scales. The closure hypothesis of Section 1.5 proposes that such a self-consistent structure can determine its own physical content; the conditional theorems specify what that proposal must realize.

Reproducibility statement

All theorems, certificates, simulation configurations, receipts, and the formal library are public in the project repositories [sources]. The paper release manifest records the release identifier (r2043) together with PDF hashes and sizes. Computational receipt bundles pin the applicable source or module revision, configuration, seed where stochastic, and output hashes. Clean-checkout rebuild instructions and negative controls accompany the artifacts. Machine-readable claim and prediction provenance is available with the artifacts [source].

The Lean source tree, pinned toolchain, exact verifiers, manifests, receipts, negative controls, tests, the level-six exact-federation archive, the closure-loop archive, the causal-poset archive, and local-domain evidence are identified in the table. The complete simulation source is maintained in the public simulator repository at the evidence-producing revisions [source].

This manuscript synthesizes and strengthens results whose longer proofs also appear in public component preprints on observable normal forms, finite event algebras, consensus, Einstein reconstruction, and gauge structure [sources]. The component relationship is disclosed here so that overlap is visible.

Four Online Resources accompany this article. Online Resource 1 contains the tracked Lean source tree with its pinned toolchain and dependency manifests. Online Resource 2 contains the exact-arithmetic certificate closure with its receipts, reference manifests, negative controls, and tests. Online Resource 3 contains the hash-bound finite evidence for the exact-federation, closure-loop, causal-poset, and local-domain computations reported here. Online Resource 4 contains the component preprints named above together with their sources. Each archive carries its own manifest, license, and reproduction instructions, and each is a snapshot of material that is also public in the repositories [sources].

Statements and Declarations

Funding. The authors declare that no external grants or dedicated third-party research funding were received for the preparation of this manuscript.

Author affiliations. Bernhard Mueller is affiliated with Pragma Research Inc. and with the Information Physics Institute. Alexander Osika is affiliated with EtherWorks. Jinwook Kim is affiliated with Oraclizer Labs.

Author contributions. Bernhard Mueller developed the OPH concept and mathematical synthesis, wrote the main manuscript, and coordinated the formal and computational evidence. Alexander Osika proposed that the screen pixel ratio and the correctable-record capacity are derivable rather than fitted, supplied the detuning fixed-point equation that determines the pixel ratio, and originated the echosahedral patch-hardware design on which the screen-microphysics branch is built, in addition to the physical-realization and hardware boundary, prototype framing, and manuscript review. Mario Poneder contributed the finite port-current construction and verifier, gauge and matter certificates, and proof review of the edge-entropy and Einstein-normalization branches. Kai Xue contributed consistency checks, simulator review, visualization review, and prototype-engineering review. Ben Cassie contributed implementation-claim and physical-evidence review. Peter Nguyen contributed proof auditing, branch-boundary analysis, compact-gauge and global-quotient analysis, and manuscript consistency review. Jinwook Kim developed the mathematical constructions, proofs, and counterexamples for the mechanism-variant comparison kernel and conditional example, protected-behavior first-hit obstruction profiles and finite-state transport, source-derived phase-effect selection, canonical adaptive-repair endpoint stratification, cumulative attempt-capacity bounds and sharpness results, and input-independent fixed computation-federation progress and execution. He constructed a provably fair emission-order round-robin scheduler with a linear exact-output attempt bound, established order-sharp quadratic accepted-step bounds for the actual compiler with the exponential fanout control, and proved the historical weak-relation fair-stuttering no-go and the weak-fair delay versus bounded-waste horizon separation. He formalized these results in Lean, connected the repair and execution results to Tower endpoints, and contributed their manuscript, claim-registry, ledger, and reproducible-build surfaces. David Matscheko contributed proof review of consensus repair, observable normal forms, modular and Einstein algebra, edge entropy, hypercharge, and the \(\mathbb Z_6\) quotient. Jonathan Hill contributed Lean formalization and proof auditing of observable normal forms, refinement and repair results, complexity classifications, and artifact coverage. William T. Glynn contributed simulator development, computational implementation, reproducible-build infrastructure, and release-validation work in the main OPH research repository. Maarten Antonie Visser contributed consensus-protocol review, physics feedback on the foundations and emergent-spacetime framing, and the source-derived causal-poset reading of authenticated provenance that the event-precedence layer implements. Kale Arnav Anirudha contributed consensus-paper material, asynchronous-agreement analysis, repair-map definitions, and formal review of the protocol surface. Brieuc de La Fournière contributed finite Lean constructions on the source-derived causal-order and carrier-symmetry surfaces, including the cover-relation provenance compiler and the antipodal port-action identification, and external comparison controls for the charged-lepton branch. All authors reviewed and approved the manuscript. All authors agree to be accountable for all aspects of the work.

Corresponding author. Correspondence should be addressed to Bernhard Mueller.
Email: bernhard@floatingpragma.ai.

Data availability. The finite witnesses, simulation configurations, receipts, scientific claim registries, and release manifests supporting this study are available in the public OPH and simulation repositories [sources]. Individual receipts and their bundle documentation provide the source and output provenance for computational claims. The artifact map identifies the level-six exact-federation archive, the closure-loop archive, the causal-poset archive, and the local-domain evidence cited in the manuscript. Online Resource 3 supplies that evidence as a hash-bound archive.

Code availability. The Lean sources, exact-arithmetic verifiers, finite scans, simulation code, tests, and rebuild instructions are available in the same public repositories [sources]. The computational claims in this manuscript identify their principal files in Section 12. Online Resources 1 and 2 supply the formal and exact-computation sources as compact snapshots, and Online Resource 4 supplies the component preprints.

Ethics approval and consent to participate. Not applicable. The study involved no human participants, human data, or animals.

Consent for publication. Not applicable.

Competing interests. Bernhard Mueller is affiliated with Pragma Research Inc. and with the Information Physics Institute. Alexander Osika is affiliated with EtherWorks. Jinwook Kim is affiliated with Oraclizer Labs. The authors participate in OPH-related research, software, simulation, or prototype-development programs and may receive professional or reputational benefit from this work. These relationships are disclosed. The authors declare no other competing interests.

AI Assistance Disclosure

This research project used research-grade commercial models, including Anthropic’s Fable and OpenAI’s GPT-6 Astra, for research support, software development, editing, and synthesis. The authors are responsible for the paper’s claims, methods, and final text.