Paper release: r2004 Released: July 30, 2026

Author affiliations: ¹Pragma Research Inc., Washington, United States; ²SNRGY Inc., Gothenburg, Sweden; ³independent researchers. ^*Corresponding author: bernhard@floatingpragma.ai.

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

Introduction and claim boundary

Quantum probability, Lorentzian kinematics, gravitational dynamics, and gauge structure enter standard theories through distinct mathematical inputs. Observer Patch Holography (OPH) asks which structures follow from a specified finite patch system whose components retain records, compare overlap readbacks, and repair disagreement. The source object is narrower than generic observer consistency: it includes a declared twelve-port carrier, explicit repair hypotheses, a finite algebra-state representation, and the interpretation maps stated with each physical conclusion.

The mathematical answer has two layers. Exact results concern observable normal forms, finite record identities, refinement stability, computational obstructions, and the twelve-port response construction. Physical conclusions require further maps from those finite objects to events, currents, clocks, stress, and scales. The Lorentz statement is a group-theoretic consequence of the assumed spherical support. The Einstein statement has a different logical form: an exact coefficient identity is followed by tensor completion from an explicit null-balance, Ward, Bianchi, and scale contract. The modular, stress, entropy, continuum, and area maps are the proposed route to that contract. No physical conclusion follows until one carrier realizes them jointly.

Table [tab:claim-status] gives the four status descriptions used throughout.

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.

Principal contributions

The principal mathematical contribution is an observer-indexed normal-form framework that separates existence, observable determination, schedule independence, stability, and computational cost. It gives a canonical partial normalizer, a sharp two-output stability bound, an accumulated refinement bound, and complexity barriers for succinct boundary problems.

The second principal contribution is the finite twelve-port response construction. An inner-action classification first shows that any compact Lie bracket on the twelve-port \(A_5\) module for which the \(A_5\) action is inner has the Standard Model gauge Lie type. The four-band response map then supplies an explicit bracket with that type. Under the displayed trace-balanced matter contract, it also gives a faithful matter image with \(\mathbb Z_6\) cover kernel and an anomaly-free fifteen-state exterior module. The source inputs, response representation, four coefficients, and exhaustive finite scan are part of the theorem statements; laboratory-current attachment is not.

The finite record-algebra development packages projection events, state updates, partition expectations, and the Clauser–Horne–Shimony–Holt bound in a machine-checked interface. These identities are established finite-dimensional mathematics. The contribution here is their placement on the completed public-record surface and the exact interface connecting them.

The geometry branch distinguishes observer-velocity kinematics from event geometry. The Einstein field equation is presented as tensor completion from a realized null balance, with every modular, stress, entropy, area, Ward, continuum, and scale requirement listed as part of the open realization contract. Reproducible finite simulations test a source construction against parts of that contract without promoting the finite sample to a continuum spacetime.

Operational quantum reconstructions , relational and modular accounts of physical facts and time , thermodynamic routes to gravitational dynamics , and compact-group reconstruction provide the principal comparison points. Born and Lüders rules, Tsirelson’s inequality, conformal–Lorentz isomorphisms, Tannaka reconstruction, and the familiar one-generation exterior representation are used as established ingredients. The originality asserted here is limited to the observer-fiber normalizer with sharp refinement control, the semantic transaction contract yielding the local diamond, the inner-action classification and explicit four-band twelve-port response map, the exhaustive selection result within its declared exterior menu, and their placement beside a typed geometry-to-dynamics implication.

The three axioms

The model uses the following three mathematical postulates.

None of the axioms contains a gauge group, a particle list, an event-manifold 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 remain open.

The theorem chain

The results form branches with different premises: \[ \begin{array}{rcl} \text{finite carrier and repair} &\longrightarrow& \text{normal form and record identities},\\[1.5mm] \text{twelve-port response and displayed matter block} &\longrightarrow& \text{gauge algebra and }\mathbb Z_6\text{ matter image},\\[1.5mm] \text{oriented spherical support} &\longrightarrow& \text{Lorentz observer-velocity kinematics},\\[1.5mm] \text{realized null balance, Ward/Bianchi, and scale} &\Longrightarrow& G_{ab}+\Lambda g_{ab}=8\pi G_NT_{ab}. \end{array} \] The first two rows are finite constructions. The third consumes the declared spherical support. The fourth is a reconstruction implication. A common modular–stress–entropy tower is the proposed route to its null-balance antecedent and remains an open physical realization. Sections 2 through 8 develop these branches. Section 10 describes the verification stack. Section 11 states the falsification architecture and the open obligations. Section 12 compares the program with neighboring approaches.

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. This is the declared source architecture. We do not claim a uniqueness theorem selecting it among all possible carriers; where results depend on it, the dependence is displayed.

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 and checked by certified projectors. 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.

Observable normal forms and finite consensus

A completed configuration is defined as a fixed point of the repair-and-agreement map: \[ \begin{equation} T(\mathfrak U)=\mathfrak U, \end{equation} \] where \(T\) is the composite repair-and-agreement dynamics. Fixed-point existence, observable determination, and schedule independence are separate questions. The following framework isolates them .

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.

Approximate outputs and refinement

Let \((Q,d_Q)\) be finite, let \((\mathcal B,d_{\mathcal B})\) be metric, and let \(C=\Phi^{-1}(0)\) be nonempty for a nonnegative consistency residual \(\Phi\). For \(t,r\geq0\), define \[ \begin{align} \eta_\Phi(t) &=\max\{\operatorname{dist}_Q(x,C):\Phi(x)\le t\},\\ \omega_B(r) &=\max\{d_Q(c,c'):c,c'\in C,\ d_{\mathcal B}(Bc,Bc')\le r\}. \label{eq:stability-moduli} \end{align} \] The first modulus turns residual error into distance from consistency. The second measures how well protected observations distinguish consistent outputs.

Let \((Q_n,d_n)\) be nonempty finite metric spaces. For \(m\geq j\geq n\), let \(\rho_{m,n}:Q_m\to Q_n\) be restriction maps satisfying \(\rho_{n,n}=\operatorname{id}_{Q_n}\) and \(\rho_{m,n}=\rho_{j,n}\rho_{m,j}\). Let \(N_n:Q_n\to Q_n\) be total level normalizers. Set \[ a_j=\max_{q\in Q_{j+1}} d_j(\rho_{j+1,j}N_{j+1}q,N_j\rho_{j+1,j}q), \qquad K_{j,n}=\operatorname{Lip}(\rho_{j,n}). \]

Computational boundary

The normalizer can be canonical without being cheap. For a Boolean circuit \(F:\{0,1\}^n\to\{0,1\}\), take \(C=F^{-1}(1)\) and let \(B_S\) project onto a declared coordinate set \(S\).

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 architecture sits close to distributed agreement in the tradition of Lamport, Shostak, and Pease : 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 ; the impossibility boundary of Fischer, Lynch, and Paterson 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 first identity is the Born rule on this finite surface ; the second is Lüders conditioning ; the third is the Tsirelson bound for the Clauser–Horne–Shimony–Holt combination at fixed cutoff. Compatibility structure for commuting events follows the standard finite operational pattern within the same library.

These are standard finite-matrix identities related to trace-preserving conditional expectations . 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 . No priority claim is made for Born probability, Lüders conditioning, pinching, or Tsirelson’s inequality.

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 .

From observer velocities to events and spacetime

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 . 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.

A measured finite Lorentzian signature

The simulation branch measures the event form. Repair dynamics on federated carriers emits semantic events with ancestry; a declared chart combines one ancestry-depth coordinate with three spectral coordinates; a quadratic event form is fitted on a declared training half of the event pairs and evaluated on the held-out half. The signature is therefore held out from the update rule and is classified as a certified finite computation. The cone margin is the minimum held-out signed score, with sign \(+1\) for ancestry-comparable pairs and \(-1\) for incomparable pairs. A negative margin means that at least one held-out pair lies on the wrong side of the fitted quadratic cone.

On the reported support-adjusted comparison path with (carrier count, observer count, support width) equal to \((16{,}384,128,96)\), \((65{,}536,256,96)\), and \((262{,}144,512,384)\), the held-out event form has inertia \((1,3)\) at every rung, with cone margins \[ \begin{equation} -5.6,\qquad -3.2,\qquad -1.4 \end{equation} \] whose magnitudes shrink along that path. The rows change support width and cross-edge density, so they do not constitute a convergence sequence. At \(262{,}144\) carriers the same-size support-width-\(96\) control has \(312\) cross-observer edges and inertia \((2,2)\), while the support-width-\(384\) row has \(1{,}062\) edges and inertia \((1,3)\). In this finite comparison, changing the support and cross-read structure changes the fitted inertia. The comparison does not isolate a unique mechanism or establish a continuum limit .

A finite source satisfying part of the local-domain contract

One deterministic capture at \(16{,}384\) carriers supplies: a finite causal complex of \(2{,}304\) events with exact acyclicity and a strict time function; a certified four-column chart, nondegenerate on the sample, whose global held-out form has inertia \((1,3)\); six closed observer-visibility neighborhoods with exact induced affine transitions, cocycles, orientation, and time orientation; an observer-visible seam complex of \(8{,}662\) carriers and \(11{,}816\) seams whose \(38\) triangles are all frustrated under the declared orientation-reversing seam transport, with lift-ambiguity rank \(3{,}117\) over \(\mathbb F_{2}\); typed scalar, chiral, and gauge sections with a sign-twisted local derivative whose adjoint, kinetic, covariance, gluing, refinement, and boundary identities are verified by exact integer evaluation; and a signed-graph rank theorem giving a zero twisted kernel, hence an exactly positive dimensionless spectral gap for the declared local operator. The capture is a certified finite computation; its rank and positivity statements are finite theorems.

One provenance graph binds the construction, and an isolated rerun reproduces the canonical receipt content byte for byte. The verifier rejects any receipt that promotes this finite domain to a continuum spacetime, a physical clock, or a physical mass scale.

Einstein reconstruction

The four-dimensional small-ball coefficients used in entanglement-equilibrium arguments can be isolated from their physical interpretation.

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 [eq:null-balance], one common refinement tower must realize all of the following:

1. the event manifold of Theorem 19, 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 17, 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 Proposition 22, and enough local observer directions to establish [eq:null-balance]; 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. The joint physical tower, its continuum formulas, Ward identity, area normalization, clock and stress identifications, and scale readings remain open realization maps. The machine-checked composition proves the tensor step from an explicit null-balance premise and separately checks the small-ball arithmetic; it does not construct the bridge between them. The finite signature measurement in Section 6.2 tests one geometric ingredient and does not replace these premises.

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.

Theorem 24 classifies the group encoded by the realized sector data. A trivial sector category reconstructs a trivial group. It does not select the Standard Model group without a suitable sector witness, and it does not identify its group with the finite response group below.

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 response construction supplies 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

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. Table [tab:physical-map] records the resulting implications and the premise that can fail.

Gravity through the modular-entropy map

OPH begins with finite observer patches instead of a metric field. Each patch has local state, a boundary, protected records, readback, and repair moves. Consensus supplies public record classes. A record-germ realization satisfying (E1)–(E7) supplies the event manifold and its causal cone. On that same refinement tower, modular flow supplies a normalized local time generator, half-sided inclusions supply positive null translations, and null tomography assembles their charges into local stress. The edge-center entropy split, area normalization, shrinking-family control, and fixed-volume stationarity would then have to establish the null-balance premise. Null tomography, Ward conservation, the Bianchi identity, and the scale map complete that premise to the Einstein field equation in Theorem 23.

This is a route with a visible break point. The normal-form, entropy, and tomography statements have exact finite layers. The passage to gravity starts only when one physical tower realizes the event, modular, continuum, universal-coupling, vacuum, and scale premises together.

Intuition. Under the stated realization map, the gravitational response represents the large-scale compatibility condition associated with repaired records. Local observers extend and compare records; the metric describes the stable causal relation among those records. Modular flow describes how a patch reads change, and entropy stationarity fixes the response needed for the local accounts to remain compatible.

A common source for gravitational and gauge branches

In this framework, the candidate fundamental theory that combines the gravitational and gauge sectors is one observer-consensus tower with two readout branches. The overlap, record, and repair structure feeds the event and modular branch. The twelve-port incidence, response map, and trace-balanced blocks feed the gauge branch. A single self-reading carrier could therefore supply both sets of antecedents.

This common source neither identifies gravity with a gauge boson nor fixes all couplings. It also leaves 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.

Intuition. One object performs two tasks. Its overlap structure organizes events and the gravitational response; its boundary response organizes charges. The proposed architecture takes the carrier and its self-reading dynamics as their common source, with spacetime and gauge structure appearing as distinct public readouts.

Completed records as measurement events

The finite construction locates a measurement at the transition from a private, repairable record to a protected public normal form. Event projectors, weights, and state updates are then defined on the completed algebra-state surface. A physical application must identify actual durable records and verify the transaction and readback premises. The theorem does not construct the state space of an interacting continuum field theory.

Intuition. Within the model, a record is called public when it has survived every authorized comparison and no repair can change it. Probability describes the completed record surface; state update moves from one public record class to the next. The construction locates observation in the bookkeeping that patches perform on their shared boundaries.

Event geometry from record germs

The spherical support identifies the Lorentz group and the hyperbolic space of timelike directions without supplying physical events. Events enter only through the direct limit of separating record germs. Theorem 19 states a sufficient gluing criterion: four-component charts with open images, compatible affine transitions, tetrads, a Lorentzian quadratic form, and causal reachability must all occur on one populated refinement limit. The criterion packages these inputs into one Lorentzian manifold; it does not select four dimensions or Lorentz signature from weaker data. The finite instrument measures rank and inertia on a prescribed chart, while its negative cone margins and absent cofinal limit prevent continuum promotion.

Intuition. Record germs say when two finite histories describe the same event and how nearby events can be distinguished. A spacetime appears only when those local descriptions cover the completed event set, agree on overlaps, and carry one compatible causal cone. The manifold records the stable way in which public events fit together.

Gauge type and the finite matter image

The twelve-port coefficients split under the alternating-group action into bands of dimensions \(1\), \(3\), \(3\), and \(5\). If a compact Lie bracket carries that action by inner automorphisms, Theorem 25 forces one central direction together with simple ideals of dimensions three and eight. The response map \(K\) realizes this algebra explicitly. The matter space \(V\) is a separate supplied representation; its exterior algebra gives the familiar fifteen-state branching, and the exhaustive scan proves the two-mask selection only inside its declared ten-summand menu. Physical gauge fields, matter poles, families, and masses require current and continuum realization maps.

Intuition. The carrier exposes twelve response channels. Icosahedral symmetry groups them into four inequivalent bands, while inner compact rotations determine how those bands can close under commutators. The finite response map turns that organization into the Standard Model gauge Lie type. A separate matter module then tests which charges can coexist without anomalies; it does not turn the finite channels into observed particles.

Why a string description could be effective

String theory is neither an input to the finite construction nor a consequence of the theorems proved here. Persistent one-dimensional seam or flux defects would supply candidate string kinematics only if their histories were schedule-independent or gauge-equivalent and formed a controlled two-dimensional continuum. A usable effective description would also require scale separation, a local reparametrization-invariant action or measure with finite renormalized tension, a controlled derivative expansion and error bounds, closure of the retained modes, and compatible interaction weights for splitting and joining . Under those assumptions, the collective modes could be organized in worldsheet language. Such a description would concern collective extended modes of the observer network. A fundamental perturbative-string interpretation would additionally require quantum Weyl-anomaly cancellation and modular consistency; a noncritical effective-string interpretation would require its own controlled regime. Neither route, nor its spectrum, target-space map, coupling, and relation to the gauge and gravitational branches, is constructed here.

Intuition. Tracing a persistent line defect through a chosen repair history defines a two-dimensional combinatorial history. It becomes a physical worldsheet only if alternative repair histories are gauge-equivalent and a realized clock, target-space map, scale separation, and controlled continuum limit exist. Under those premises, the sheet is a candidate coarse-grained degree of freedom; its vibrations, splitting, and joining can be organized with effective-string variables.

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 ledgers classify every quantitative row as source result, reconstruction implication, diagnostic, or rejected candidate, and reject a stronger classification unsupported by the recorded dependencies.

The repository, receipts, schemas, and rebuild instructions are public . 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

Table [tab:artifact-map] identifies the principal artifacts for each result. Repository continuous integration checks the theorem-count floor, rejects admitted proofs in the public library, and rebuilds the repository-local finite certificates used here. Simulator replay is governed by the simulator receipts and reproduction commands cited below.

Empirical meaning, falsifiability, and open obligations

The program maintains a preregistration architecture: custody-bound target definitions, exclusion thresholds, precision floors, and decision rules fixed before comparison, with failed hypotheses retained in a negative ledger . Those exploratory quantitative programs are outside the mathematical case made in this paper.

The program’s empirical case rests on three decisive gates:

1. Physical realization of the common refinement tower. The Einstein composition of Theorem 23 needs one source-derived tower satisfying its premises jointly; the signature instrument and its controls measure progress toward exactly this object.

2. A source-only current and continuum realization. The gauge and matter results of Section 8 await laboratory current attachment and a continuum operator limit; identifiability audits delimit which attachments the registered source interface cannot supply. This gate requires source-visible observables beyond that interface.

3. One preregistered quantitative forecast not used in architecture selection. A sealed machine-readable prediction contract fixes the comparison custody. The first source-visible candidate is scored once; a complete negative inventory is an acceptable published outcome.

Each gate can fail, and the second one can fail provably. The program treats a rigorous non-identifiability theorem as a result of equal standing with a positive construction, because it tells the theory where additional observable structure must come from.

Discussion and comparison

Operational reconstructions derive quantum structure from information and composition principles . 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. The distinctive input is the observer-indexed normal form and its transaction contract. The algebra-state representation remains explicit.

Relational quantum mechanics treats physical facts as relational ; the thermal-time program reads time from modular structure . OPH combines these themes by attaching public facts to protected overlap records and consuming normalized modular flow only on a typed common tower. Its local-diamond proof also has a direct distributed-systems neighbor in asynchronous agreement .

The gravitational branch belongs to the family of thermodynamic and entanglement-based routes to geometry . Bisognano–Wichmann modular flow and half-sided modular inclusions supply established analytic ingredients . The contribution of Theorem 23 is the explicit composition contract: event, modular, stress, entropy, asymptotic, vacuum, and scale premises appear in one statement, while the finite null ambiguity identifies exactly where a metric-proportional term enters.

The gauge section also contains two logically separate routes. Doplicher–Roberts/Tannaka reconstruction supplies the structural sector group . The finite packet group comes from the explicit twelve-port response map and exterior-module scan. The equality of these groups is an open commuting-square problem. This separation prevents the standard categorical theorem from being counted as a derivation of the specific packet group.

For a foundations readership, the methodological claim is also concrete. Finite theorems, certified computations, reconstruction implications, and physical realization maps are different mathematical objects. Keeping those types visible makes every emergence claim auditable and gives each claim a specific failure mode. A3 also places agreement constraints before state selection. The physical adequacy of that ordering depends on the open gates in Section 11.

Conclusion

For the specified finite observer-patch architecture, observable fibers give a canonical partial normalizer, stability moduli control approximate and refined outputs, and succinct boundary problems have explicit complexity barriers. On the transactional carrier, semantic dependency closure and revalidation yield the local diamond, so quadratic descent gives a schedule-independent public record. The completed finite algebra-state surface then carries the standard probability, conditioning, expectation, and correlation identities.

The principal finite gauge construction is the twelve-port response map. The inner-action closure theorem first classifies the only possible compact inner-action Lie type on its \(A_5\) module. For the declared response representation and four nonzero band coefficients, the pulled-back bracket yields \(\mathfrak u(1)\oplus\mathfrak{su}(2)\oplus\mathfrak{su}(3)\). Trace balance and the exterior module give the global \(\mathbb Z_6\) quotient and an anomaly-free rank-fifteen representation, while the exhaustive scan isolates its charge-conjugate pair within the stated class.

The geometry and dynamics results have a different status. A Lorentz-group action and its hyperbolic homogeneous space follow from the oriented spherical support; their physical interpretation requires event, clock, and frame maps. A Lorentzian event manifold follows only under the displayed event premises. The Einstein field equation follows only from one common tower satisfying the modular, stress, entropy, asymptotic, vacuum, and scale premises. The physical tower, continuum limit, laboratory-current attachment, quantum-field realization, and remaining interpretation maps are open. The paper therefore offers a finite reconstruction framework with exact results and explicit physical hypotheses; it does not claim a completed derivation of all physics, particle masses, a cosmology, or a proof that the simulator describes our universe.

Reproducibility statement

All theorems, certificates, simulation configurations, receipts, and the formal library are public in the project repositories . The paper release manifest records 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. The claim ledger and prediction register are machine readable .

Three compact companion files accompany this submission. Online Resource 1 contains the Lean source tree, pinned toolchain and dependency manifests, and build instructions for the formal results. Online Resource 2 contains the exact Python verifiers, manifests, receipts, negative controls, and tests for the finite response and proof-obligation certificates. Online Resource 3 contains the hash-bound finite signature-ladder and local-domain evidence, their manifests, and replay instructions. The complete simulation source is maintained in the public simulator repository at the evidence-producing revisions .

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 . The component relationship is disclosed here so that overlap is visible.

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., Washington, United States. Alexander Osika is affiliated with SNRGY Inc., Gothenburg, Sweden. Mario Poneder, Kai Xue, Ben Cassie, Peter Nguyen, Maarten Antonie Visser, Kale Arnav Anirudha, David Matscheko, and Jonathan Hill contributed as independent researchers.

Author contributions. Bernhard Mueller developed the OPH concept and mathematical synthesis, wrote the main manuscript, and coordinated the formal and computational evidence. Alexander Osika contributed 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. Maarten Antonie Visser contributed consensus-protocol review and physics feedback on the foundations and emergent-spacetime framing. Kale Arnav Anirudha contributed consensus-paper material, asynchronous-agreement analysis, repair-map definitions, and formal review of the protocol surface. 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. 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, claim ledgers, and release manifests supporting this study are available in the public OPH and simulation repositories . Individual receipts and their bundle documentation provide the source and output provenance for computational claims. Online Resource 3 supplies the finite signature-ladder and local-domain evidence cited in the manuscript.

Code availability. The Lean sources, exact-arithmetic verifiers, finite scans, simulation code, tests, and rebuild instructions are available in the same public repositories . The computational claims in this manuscript identify their principal files in Section 10. Online Resources 1 and 2 supply compact source snapshots for the formal and exact-computation claims.

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.; Alexander Osika is affiliated with SNRGY Inc. 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.

Use of AI-assisted tools. OpenAI Codex was used for literature organization, drafting assistance, language editing, LaTeX formatting, and consistency checks. The authors reviewed and revised the resulting text, verified the mathematics, claims, citations, and declarations, and accept full responsibility for the manuscript. No AI system is listed as an author.