Compact Proof Of Oph

Paper release: r1583 Released: July 26, 2026

Observer Patch Holography A Compact Case for an Observer-First Unification Program Observer Patch Holography (OPH) asks whether physics can be reconstructed from the minimum machinery required for a public world. A patch has local state, a boundary, records, readback, and repair moves. Each patch sees a fragment. Agreement across shared boundaries turns private descriptions into public facts. The selected world is a stable normal form, \[ T(\mathfrak U)=\mathfrak U . \] The proposal earns attention because several familiar structures arise from one finite language. They also arrive with different evidence types. Exact theorems, interval certificates, conditional physical compositions, and simulation measurements occupy separate evidence classes throughout this paper.

The following count contains the strongest independent pieces of evidence. Every row states its boundary in the same breath as its result.

The repository contains more than 800 public Lean theorem and lemma declarations. The count includes positive results, premise boundaries, and countermodels. It is useful because the formal statements expose assumptions that prose can otherwise hide. The finite receipts bind inputs, outputs, tolerances, and negative controls to reproducible artifacts [10].

Take a finite family of patches \(x_i\), each with an observable boundary map. For every overlap \(e=(i,j)\), the two induced records must agree. A repair move changes local state while preserving protected readout. On a terminating, frustration-free carrier with a confluent accepted repair relation, every schedule reaches the same quotient normal form. Exact code exhausts all six declared overlap schedules on the reference carrier and returns the same normal form [2,10]. The general confluence hypothesis is part of the carrier contract. Arbitrary local repair does not imply it.

Once a compare, write, and verify slice has completed, its accessible events generate a finite central record algebra. If \(P_E\) is the projector for an event \(E\) and \(\rho\) is the normalized state, then \[ \Pr(E)=\operatorname{Tr}(\rho P_E),\qquad \rho\mid E= \frac{P_E\rho P_E}{\operatorname{Tr}(\rho P_E)}. \] The first expression is the Born probability on this finite surface. The second is Lüders conditioning. The corresponding Clauser–Horne–Shimony–Holt (CHSH) parameter satisfies \[ |S_{\mathrm{CHSH}}|\leq 2\sqrt2 . \] These identities belong to a 112-declaration audited finite event-algebra development [1,10].

The result gives quantum record arithmetic from public observability. It does not construct an arbitrary continuum quantum field theory. Its value is more specific: a finite observer contract produces the probability and update rules required by physical branches built on it.

An oriented conformal spherical support has the connected symmetry \[ \mathrm{Conf}^+(S^2) \cong \mathrm{PSL}(2,\mathbb C) \cong \mathrm{SO}^+(3,1). \] The space of unit timelike observer frames is \[ H^3\cong \frac{\mathrm{SO}^+(3,1)}{\mathrm{SO}(3)},\qquad \dim H^3=6-3=3. \] This is an exact kinematic result on the spherical support branch. Local icosahedral carrier geometry, the federation nerve, and the global \(S^2\) support are distinct objects. A populated four-dimensional event base requires record separation, local charts, an open-image condition, affine transition data, a quadratic cone, and causal reachability [3].

On one common algebra-state tower, normalized modular flow supplies a local clock, half-sided modular inclusions supply positive null translations, null tomography assembles local stress, and generalized-entropy stationarity with small-ball geometry gives \[ G_{ab}+\Lambda g_{ab} =8\pi G_{\mathrm{geom}}\langle T_{ab}\rangle . \] The Lean development proves the typed algebraic composition. A source-derived physical tower, the continuum limit, and the physical identification maps are premises [3,10].

The simulation branch tests the geometry produced by repair dynamics rather than inserting a Lorentzian metric into the readout. The selected path uses \((16{,}384,128,96)\), \((65{,}536,256,96)\), and \((262{,}144,512,384)\) for carrier count, observer count, and support width. The held-out event form has inertia \((1,3)\) at every selected rung. Its cone margin moves through \[ -5.6,\qquad -3.2,\qquad -1.4. \] Coupling spread decreases beside it. At \(262{,}144\) carriers, the support-width \(96\) control has 312 cross-observer edges and inertia \((2,2)\); the support-width \(384\) row has 1,062 edges and inertia \((1,3)\). Configurations, primary arrays, hashes, and regeneration scripts are public [11]. The data establish a reproducible support and cross-read sensitivity on the instrumented branch. They do not establish an invariant-density convergence law, an infinite-scale limit, or the missing cap-state thermal receipt.

The declared local carrier has twelve equal-trace ports with oriented icosahedral incidence. Its proper rotation group is the alternating group \(A_5\). Exact finite calculations give the distance profile, the antipodal pairing, the sixty proper rotations, the rank-three Gram frame, and the decomposition of the real port-coefficient space \[ P_{12}\cong_{A_5} \mathbf1\oplus\mathbf3\oplus\mathbf3'\oplus\mathbf5 . \] Let six antipodal axes have unit vectors \(u_i\), set \(P_i=u_i u_i^{\mathsf T}\), and write \(\Phi(b)=\sum_i b_iP_i\). The face orientation fixes the companion three-dimensional map. Pulling back the block commutator through the resulting equivariant isomorphism gives \[ (P_{12},[\ ,\ ]_\Theta) \cong\mathfrak u(3)\oplus\mathfrak{so}(3) =\mathfrak u(1)\oplus\mathfrak{su}(3)\oplus\mathfrak{su}(2). \] This is an exact coefficient-space Lie algebra. The five-dimensional band is noncentral, the derived algebra has dimension eleven, and the center is the uniform even line. The source packet establishes the local incidence and coefficient construction on the declared carrier lineage. Physical promotion requires a full-rank compact current lift, refinement intertwining, and common source binding [3,10].

Trace balancing extends the same block construction to \(\mathfrak s(\mathfrak u(3)\oplus\mathfrak u(2))\). Its connected group is \[ S(U(3)\times U(2)) \cong \frac{\mathrm{SU}(3)\times\mathrm{SU}(2)\times\mathrm U(1)} {\mathbb Z_6}. \] The six-element kernel is exact, as is the independent lattice quotient with Smith invariants \((1,1,1,1,1,6)\). Physical spin and deck descent are additional conditions.

The trace-balanced block \(V=\mathbb C^3\oplus\mathbb C^2\), with hypercharges \((-1/3,1/2)\), has the exterior branching \[ \Lambda^2V\oplus\Lambda^4V =Q\oplus u^c\oplus e^c\oplus d^c\oplus L . \] It contains fifteen states, the Standard Model hypercharges for one generation, the expected three one-Higgs invariant lines, cancelled gauge and mixed anomalies, and exactly four weak doublets. This is a precise representation witness. Selecting that block as physical matter, excluding extra sectors, imposing spacetime spin statistics, and attaching three families require their own source receipts [3].

The two exact routes meet at the same Lie type: transportable sectors support compact reconstruction, while the local twelve-port coefficient bracket constructs the algebra directly. Their agreement is useful evidence. A theorem of physical identity between the two current objects is a separate obligation.

The local screen cell is asked to reproduce its readable electromagnetic width: \[ P=\varphi+\frac{\sqrt\pi}{A_T(P)},\qquad \varphi=\frac{1+\sqrt5}{2}. \] Here \(A_T(P)\) is the inverse electromagnetic coupling emitted by a trial cell through the declared Thomson-limit map. For each declared map, outward-rounded interval Banach certificates prove existence and local uniqueness. A 256-piece derivative enclosure proves global at-most-one across the analytic domain, with an empty exceptional set [5,10]. The gauge-width map has the certified root \[ \alpha^{-1}=137.035660136946577\ldots \] beside the 2022 Committee on Data of the International Science Council (CODATA) value \(137.035999177(21)\) [12]. The relative separation is \(2.5\times10^{-6}\).

The arithmetic theorem is stronger than the physical reading. The comparison coordinate used by this map is anchored to the measured endpoint, and the source-derived same-scheme hadronic transport is absent. The result is a certified unique root of a declared map and a quantitative diagnostic. It is not an independent determination of the physical fine-structure constant.

The charged-lepton calculation combines a finite eight-path carrier with an empirical electromagnetic transport packet. Its coherent certified intervals have relative half-width \(1.73\%\) for the electron, muon, and tau. The measured triple lies inside all three intervals. A narrower conditional eight-register coordinate lies about \(84\) parts per million from the comparison triple [6,10].

Measured mass ratios and transport anchors enter this lane, so these numbers are diagnostics of internal closure. They give a sharp test surface without claiming a source-only mass prediction. Prospective endpoint status requires a physical charged determinant line, an absolute clock, and a source-emitted transport bridge.

Let \(R^3=I\) and consider the Hermitian three-cycle response \[ C=aI+bR+\overline bR^2. \] When its three eigenvalues are nonnegative and are read as square-root masses, the normalized mass coordinate satisfies \[ Q=\frac{\sum_i m_i}{\left(\sum_i\sqrt{m_i}\right)^2} =\frac13+\frac23\left(\frac{|b|}{a}\right)^2 . \] Consequently, \[ Q=\frac23\quad\Longleftrightarrow\quad \frac{|b|}{a}=\frac1{\sqrt2}. \] The phase cancels from \(Q\) and jointly controls the two mass ratios. Equal rank-two event blocks in the finite tracial Gelfand–Naimark–Segal packet give the required modulus balance exactly [7,10]. Lean checks the circulant identity and equivalence. Physical chiral-family attachment and phase selection are open, so the theorem is independent of the charged-lepton diagnostic above.

For pure de Sitter space of radius \(L\) in spacetime dimension \(d\), \[ r_c=L,\qquad \kappa=L^{-1},\qquad \mu^2=(d-2)\kappa r_c=d-2 =\lambda_{\ell=1}(S^{d-2}). \] The radius and cosmological constant cancel. The smooth \(\ell=1\) modes are generated by de Sitter isometries and form the gauge kernel of the imported shock operator [8,13].

For finite sector dimensions \(d_i\), total dimension \(M=\sum_i d_i\), and sector probabilities \(p_i\), \[ S_{\mathrm{gen}}(p,d) =-\sum_i p_i\log p_i+\sum_i p_i\log d_i =\log M-D_{\mathrm{rel}}(p\Vert d/M), \] where \(D_{\mathrm{rel}}\) is relative entropy. Thus \(p_i=d_i/M\) gives the exact maximum \(S_{\mathrm{gen}}^{\max}=\log M\). If an observer receives a fraction \(f\) of a fixed horizon-observer capacity and the horizon sectors deplete uniformly, every admissible integer transfer obeys \[ \Delta S_{\mathrm{gen}}^{\max}=\log(1-f)<0. \] The positive-real interpolation is strictly decreasing and concave. Its zero-transfer point is a one-sided boundary maximum.

The associated logarithmic sector observable has symmetric-point Hessian \[ \operatorname{Hess}\mathcal A =\frac1{nd^2}\left(I-\frac2nJ\right). \] Its fixed-total tangent curvature is positive, its homogeneous curvature is negative, and its symmetric-point gradient is nonzero. The one-sided capacity transfer carries the sign; an interior fixed-capacity extremum is excluded [8,10].

On the twelve-port icosahedral graph, the raw Laplacian spectrum and regular line-graph identity are exact. If the rotation triplet is an exact gauge sector and the physical shock kinetic term is the scaled nearest-neighbour port or edge Laplacian, normalization at that triplet gives \[ \{-2,\ 0,\ 1+3/\sqrt5,\ 1+\sqrt5\}. \] The edge carrier adds only eigenvalue \(10\) with multiplicity \(18\). Identifying capacity with horizon area, the transfer coordinate with observer mass, and the finite operator with the gravitational shock supplies a conditional time-advance mechanism. The finite identities make none of those physical identifications. They supply no positive cyclic static-patch trace. The obstruction of Chen, Stanford, Tang, and Yang excludes that trace proposal rather than the finite identities above [13].

Each receipt has a separate mathematical domain. OPH becomes interesting because the receipts share one finite architecture. Public records lead to the event algebra. Spherical support leads to Lorentz kinematics. Modular and entropy data lead to the Einstein composition. Icosahedral carrier data lead to the gauge coefficient algebra and an exact matter witness. The same finite readback idea produces the pixel closure, the tracial Koide balance, and the capacity transfer law.

The dependencies are visible enough to be attacked. A proposed carrier must emit local state, ports or boundaries, readback, records, repair moves, and a public evidence bundle. Physical claims require source-bound maps between the finite objects and their spacetime, current, matter, clock, or horizon interpretations. Lean checks symbolic implications. Exact programs check finite searches and interval arithmetic. Simulations measure branches whose continuum construction lies beyond the finite theorem.

Conditional continuations that fail their declared comparison gates are excluded from the evidentiary case in this paper. The audit ledger classifies those closed hypotheses separately from the exact record, geometry, gauge, Koide, and capacity results [9]. Their failure does not strengthen the positive case, and none of their claims is used above.

The program therefore has a clear scientific shape. It contains exact mathematics with recognizable physical structure, a measured spacetime signal with mechanism controls, certified arithmetic closures, and explicit physical attachments that can succeed or fail. That combination supports a serious observer-first route toward unification. It does not amount to a completed physical theory of everything.