Compact Proof Of Oph

Paper release: r1545 Released: July 17, 2026

Observer Patch Holography as a Strange-Loop Self-Simulation The Strongest Results and Their Certificates Observer-Patch Holography (OPH) is a theory-of-everything candidate with zero continuous dials, closure-defined constants, machine-certified uniqueness of its fixed points, a structural core carried by 111 sorry-free Lean theorems, a standing falsification program with cryptographically frozen and externally timestamped targets, and a survived hostile 42-finding third-party audit that identified no false theorem in the recovered core. That combination exists nowhere else among theory-of-everything programs, and every item on the list is a checkable public artifact. The construction begins with one radical subtraction. It drops objective, observer-independent spacetime from the starting assumptions and begins with finite observers. Each is a bounded self-reading patch with local state, ports, boundary readback, durable records, mismatch feedback, repair moves, and public receipts. No patch contains the world. Reality is the stable public fixed point that survives when all local views are made mutually consistent, \[ T(\mathfrak U_{\rm OPH})=\mathfrak U_{\rm OPH}. \]

Douglas Adams proposed that the Earth is a computer running a very long calculation, and he was joking. OPH makes the adjacent claim with the joke removed: the universe is a computation checking its own records, and the output is on public display. Take nothing except finitely many observers that keep records and argue until their notes agree, model the argument as a fixed-point computation on a holographic screen, and solve. Out falls a universe whose events obey Born-rule probabilities on a central record algebra [O1,O3], whose observers see \(3+1\)-dimensional Lorentzian spacetime running Einstein’s equations on the declared branches [O4,C8], whose horizon closes at the de Sitter capacity \(\Lambda_\star\ell_\star^2=3\pi/N_\star\) so the sky reads as an accelerating expansion with a small cosmological constant [O1,O4], and whose particle catalogue is the Standard Model quotient with three colors, three generations, and one Higgs doublet [O4]. The full answer runs to rather more decimals than 42.

The mathematical object is a finite patch system. Patches expose ports, write records, compare overlaps, repair disagreement, and return a shared normal form [O1,O2]. Let \(T\) be the observer-overlap repair map and let \(\mathfrak U_{\rm OPH}\) denote the selected normal form. The simulation identity is \[ T(\mathfrak U_{\rm OPH})=\mathfrak U_{\rm OPH}. \] The OPH simulation theorem establishes this identity from endogenous update, observer-readable records, schedule-independent overlap repair, selected-branch elimination, and implementation/clock closure [O2]. The universe is the stable record world returned by its own readback-and-repair computation.

The concrete carrier is a finite collection of local states, ports, central records, repair maps, and checkpoints. The reference benchmark replays all six overlap schedules and returns the same repaired normal form on the clean abelian branches [C5]. A separate Lean 4/Mathlib artifact certifies observer confluence, approximate schedule independence, refinement naturality, and the contractive conditional-resampling projector, part of the 111 sorry-free theorems that carry the consensus core and the coupling algebra [C6].

The screen readout supplies an oriented conformal \(S^2\). Its connected conformal group is the connected Lorentz group, \[ \mathrm{Conf}^+(S^2) \cong\mathrm{PSL}(2,\mathbb C) \cong\mathrm{SO}^+(3,1). \] The corresponding observer-frame space is \[ H^3 \cong\frac{\mathrm{SO}^+(3,1)}{\mathrm{SO}(3)}, \qquad \dim H^3=6-3=3. \] On the declared event branch, repaired records populate a four-dimensional event base of signature \((-{+}{+}{+})\), while \(H^3\) is the fiber of unit timelike observer frames over each event [O4].

The \(2\pi\)-normalized modular flow of screen caps supplies the observer-relative clock. Half-sided modular inclusions give positive null translations; null tomography assembles their directional charges into a conserved local \(T_{ab}\). Fixed-cap generalized-entropy stationarity, the uniform small-ball limit, and the all-directions tensor upgrade then compose to \[ G_{ab}+\Lambda g_{ab}=8\pi G_{\rm geom}\langle T_{ab}\rangle. \] Every arrow in this chain has a named theorem and a machine-readable receipt type [O4,C8].

The local pixel closure

The SL-3 estimate of the pixel from measured \(\alpha\) is \(P=1.630968209403959\ldots\), a declared input of the claim lattice. A trial pixel \(P_k\) produces a field-width readback \(R_P(P_k)\), which the pixel chart turns into the next iterate: \[ \alpha_k=R_P(P_k), \qquad P_{k+1}=\Gamma_P(P_k)=\varphi+\alpha_k\sqrt\pi, \qquad \varphi=\frac{1+\sqrt5}{2}. \] On the selected particle branch, the internal readback chain is \[ P\longmapsto\alpha_U(P)\longmapsto A_Z(P) \longmapsto A_T^{\rm src}(P), \qquad \alpha_{\rm in}(P)=\frac{1}{A_T^{\rm src}(P)}. \] Two declared maps carry certified fixed points [C1]. The gauge-width map has the certified self-consistent fixed point \[ \alpha^{-1}=137.035660136946\ldots, \] a relative \(2.5\times10^{-6}\) from the measured \(\alpha^{-1}=137.035999177(21)\) [S2] (ledger row CL-2). The source map has the certified root \[ \alpha_{\rm root}^{-1}=136.994835177413\ldots, \] a relative \(3.0\times10^{-4}\) from measurement (CL-1), with the forward closure point \(P_{\rm fwd}=1.630972095858897\ldots\) satisfying \(P_{\rm fwd}=\varphi+\sqrt\pi/A_T^{\rm src}(P_{\rm fwd})\). Both roots are enclosed by direct interval Banach with outward rounding, the enclosure covers the infinite-cutoff SU(2)/SU(3) edge sums through geometric majorants, and the printed-pair identity holds to 35+ digits under converged precision-100 reruns, enforced by a CI test (CL-6). The certificates establish existence and uniqueness for the declared maps; the Ward-projected hadronic transport term of the physical Thomson readout is open, and its source-derived emission under a frozen detached protocol is the registered falsification event for this lane [C18].

The global capacity closure

Let \(\Omega_N^{\rm sc}\) be the closed-screen normal forms supported at capacity \(N\). The global source map compares their record capacity with the screen budget and applies Minimal Admissible Realization (MAR): \[ S(N)=\log|\Omega_N^{\rm sc}|-N, \qquad N_\star=\operatorname{MAR}\arg\max_N S(N). \] The selected endpoint fixes the horizon normalization through \[ \Lambda_\star\ell_\star^2=\frac{3\pi}{N_\star}, \qquad \Lambda_\star a_{\rm cell}=\frac{3\pi P_{\rm fwd}}{N_\star}, \qquad a_{\rm cell}=P_{\rm fwd}\ell_\star^2. \] The coupling theorem G2-GAP-1 is proven modulo three declared premises: the seed (\(N_0=\pi\)), the contraction, and the tick-projection identity are theorems, the algebraic layer is machine-checked in Lean, and the conditional fixed point is certified at \(3.532\times10^{122}\) with relative width \(1.6\times10^{-25}\) [C16]. The estimate from measured \(\Lambda\) in the Planck base-\(\Lambda\)CDM model is approximately \(N_\Lambda=3.313\times10^{122}\) [S5]. Conditional on the readback map \(F\) and the coupling premises CP-1–CP-3, the bridge central value differs from the \(\Lambda\)-located capacity by \(6.6\%\); the joint Planck posterior, propagated through the \(\Lambda\)-to-\(N\) map across three degeneracy routes (\(2.67\%\) relative sigma on \(\Lambda\) [S5]), places the central value \(2.4\) to \(2.5\) one-dimensional standard deviations from the located capacity under the consumed likelihood combination, and \(3.8\) to \(3.9\) under Planck+BAO, so the combination freeze is part of the test registration (ledger row CL-3; propagation artifact in [C16]). Construction of \(F\) and the premises CP-1–CP-3 are open; the balance condition CP-1 is the one counting-theorem-shaped premise between CL-7 and the live capacity test.

The compact-gauge branch

The gauge derivation starts with individually transportable seeds selected by zero-obstruction transport. A common strict representative fixes the tensor category carried by those seeds. Surjective pullback functors and forgetful fibers construct its refinement limit, and Doplicher–Roberts/Tannaka reconstruction reads off the compact group. MAR selects the realized one-generation/one-Higgs matter package; anomaly cancellation, Yukawa invariance, and the central kernel then fix the hypercharge lattice and quotient [O4]. The result is \[ G_{\rm SM} \mathrel{=} \frac{\mathrm{SU}(3)_c\times\mathrm{SU}(2)_L\times\mathrm{U}(1)_Y} {\mathbb Z_6}, \qquad N_c=3, \qquad N_g=3. \] The selected hypercharge lattice is \[ \begin{gathered} Q_i=(3,2)_{1/6},\qquad u_i^c=(\bar3,1)_{-2/3},\qquad d_i^c=(\bar3,1)_{1/3},\\ L_i=(1,2)_{-1/2},\qquad e_i^c=(1,1)_1,\qquad H=(1,2)_{1/2},\qquad i=1,2,3. \end{gathered} \] The Higgs doublet is the Borel–Weil carrier \[ H^0(\mathbb{CP}^1,\mathcal O(1))\cong\mathbb C^2, \qquad \operatorname{Stab}(\langle H\rangle)=\mathrm U(1)_Q. \] Its connected adjoint is \((8,1,0)\oplus(1,3,0)\oplus(1,1,0)\), which fixes charge quantization and excludes mixed \((3,2,\pm5/6)\) connected adjoint generators. The same branch supplies the electroweak integer \[ \beta_{\rm EW}=N_c+1=4. \]

The QCD-free hierarchy witness

The source-audit hierarchy witness reuses the pixel candidate and the compact-gauge integers. Its matched unified-width coordinate is \(\alpha_U(P_{\rm fwd})=0.041124247441816685\). The screen count begins with a triangulated \(S^2\). For curvature charge \(q_v=6-\deg(v)\), Euler’s identity and \(3F=2E\) give \(\sum_v q_v=6V-2E=12\). Refinement-stable MaxEnt realizes the twelve units as twelve equivalent fivefold defects, and edge-center completion turns them into twelve central ports. Reversible write/check orientation doubles the gauge-algebra dimension: \(m_{\rm rep} =2\dim(\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak u(1)) =2(8+3+1)=24\). With local cell entropy \(\ell_{\rm cell}=P_{\rm fwd}/4\) and \(\beta_{\rm EW}=4\), the transmutation law is \[ \frac{v}{E_\star} =P_{\rm fwd}^{-1/2} \exp\!\left[-\frac{2\pi} {\beta_{\rm EW}\alpha_U(P_{\rm fwd})}\right] =2.0198114078576331\times10^{-17}, \] evaluated at the certified \(P_{\rm fwd}\). The exact parametric law and the 12/24 counts are theorem outputs; the numerical endpoint has the certificate class source-audit branch witness [O5,C3]. The weak scale is a settled-form readout with naturality defect \(\epsilon_H=0\), \(\epsilon_H\in[0,0]\): a seventeen-order hierarchy from a one-line law, with no supersymmetric machinery and no tuning.

The criticality branch and the electroweak chart

The criticality law \(\lambda=0\), \(\beta_\lambda=0\) at one source scale fixes the top Yukawa from the gauge couplings, a family with zero continuous parameters over the boundary scale; the boundary-scale selection is a variational theorem (exactly quadratic record cost on the one-loop chart, capacity-weighted log-mean placement) modulo two finite carrier facts, and the selected boundary is \[ \mu_b=\sqrt{\mu_U E_{\rm cell}} =E_\star e^{-\pi}P_{\rm fwd}^{-1/6} =4.86\times10^{17}\,\mathrm{GeV}. \] Evaluated at the measured top mass, the fit-free criticality curve returns the Higgs coordinate \(125.7\) GeV at two loops, within \(0.5\%\) of the measured value [S4] and inside the declared truncation and matching bands (conditional criticality branch) [C4]. A flow-internal alternative is a certified no-go: \(d\beta_\lambda/d\ln\mu\) has no root on \([10^{16},1.3\times10^{19}]\,\mathrm{GeV}\), so the boundary scale has to come from the observer-patch side, and the four-candidate boundary-scale registry is frozen before any three-loop computation exists [C4].

The strict source-audit branch also returns the running/tree chart coordinates \((m_W^{\rm chart},m_Z^{\rm chart})=(80.330,\,91.119)\) GeV, with no measured mass entering; the physical readout contract (renormalized vev, tadpole scheme, thresholds, matching order, complex-pole map) is open, and no physical pull is defined. One convention diagnostic is on record: under the complex-pole convention with PDG 2026 central masses and widths, the converted W pole is \(80.3340\) GeV [S3], and the chart W coordinate sits \(0.5\) propagated experimental standard deviations from it. The diagnostic measures convention distance on the chart coordinate; a physical comparison requires the completed readout contract.

Strong-interaction scale

Dimensional transmutation of the source strong coupling, with no hadronic input, gives \(\alpha_s(M_Z)=0.11834\), \(0.5\sigma\) from the public reference, and fixes the strong scale \[ \Lambda_{\rm QCD}^{(3)}=334.8~\mathrm{MeV}, \] \(0.3\sigma\) from the measured \(338(12)\) MeV, on the conditional source-running branch. The published lattice ratio \(m_N/\Lambda_{\rm QCD}\) places the nucleon at \(929\) MeV, \(-1.0\%\) from measurement, as an external lattice input [C2,C7].

On the declared Einstein branch, the edge-entropy/area-law theorem identifies the coefficient of the local Einstein equation \[ G_{ab}+\Lambda g_{ab}=8\pi G_{\rm geom}\langle T_{ab}\rangle \] and its Newton–Poisson limit with the observer-cell ratio \[ G_{\rm geom}=\frac{a_{\rm cell}}{4\bar\ell_{\rm shared}}. \] The local pixel branch supplies \(a_{\rm cell}=P_{\rm fwd}\ell_\star^2\) and \(\bar\ell_{\rm shared}=P_{\rm fwd}/4\). Substitution gives \[ \frac{G_{\rm geom}}{\ell_\star^2} =\frac{P_{\rm fwd}}{4(P_{\rm fwd}/4)}=1, \qquad \boxed{G_{\rm geom}=\ell_\star^2}. \] The pixel number cancels because it counts both cell area and shared edge entropy. The factor \(4\) follows from the ratio between the structural Einstein coefficient and the Newton–Poisson convention [O4].

The table states the positive result and records its evidence class once. Paper numbers refer to the numbered OPH papers in the References block.

OPH publishes its own kill conditions. The falsifiability map states exact failure conditions [C14]: 33 kill conditions, cryptographically frozen targets with external timestamp proofs [C18], fail-closed gates on every physical comparison, and a permanent executed record. Targets freeze before payloads are computed, and every executed verdict is kept, whichever way it lands. A full adversarial third-party audit, 42 findings deep, identified no false theorem in the recovered core, and the program absorbed its two implementation defects with fail-closed repairs landed the same day. A reader who wants OPH dead has a published procedure: pick a fork below and produce the object it names. The sharpest standing forks:

The open program is finite and enumerated: the hadronic transport (CL-1/CL-2), the capacity readback map \(F\) with its contraction certificate (CL-3/CL-4/CL-7), the electroweak physical readout map (CL-5), solver hygiene (CL-6, closed), and a source-derived flavor-orbit selector for the mass sector. Each is a computation or a construction with a declared certificate schema [C16,C17].

The assent structure of this document is deliberately mechanical. A reader who grants the six principles and verifies the cited artifacts retains exactly one degree of freedom: the closure ledger [C17]. The fixed points cannot be relocated, no OPH surface may claim more than the ledger and scorecard record, and each exit from the argument carries its price in named objects. When the ledger is driven to zero by blind completions with uniqueness certificates, declining the identification of the closure output with our universe requires striking a principle, and each principle names the observation that would justify striking it.