Observer Patch Holography

Physics from the records observers can share.

Main paper · Book · Notebook · Lean library · Reproduce · Pragma Research · Français

Observer Patch Holography (OPH) proposes that physics is what bounded observers can establish together. Finite observers compare records on shared boundaries, repair their disagreements, and treat as real whatever survives every comparison. Three problems that resist a classical account motivate the programme: quantum measurement, correlations that no local classical model reproduces, and the origin of an apparent spacetime. OPH seeks one explanation for all three in the consistency of observers' records and operations, and it pursues that explanation as an executable observer, machine-checked mathematics and predictions fixed in advance.

The Universe reads itself into existence. OPH has one hypothesis, the closure hypothesis: the Universe is a timeless, self-referential structure whose observers recover the specification of their own world from their records and build hardware that realizes that same history, including its builders. Nothing lies outside this loop, so the recovered specification owes no further justification. It has to run and reproduce what observers measure. Space, time and matter are effective descriptions of the records, and "our Universe" is the public record, what survives every comparison between observers. The basis states the hypothesis, the no-outside rule, the agreement condition and the executable specification; the working terms explain the timeless view and the clocks inside it.

• An observer that runs. A twelve-port observer retains its records and uses them to choose the next repair, changing the final occupation from 1/6 to 35/264. Native repairs supply bounded state preparation and current readout; compiled controls let overlapping observers read one common reference and its active modular clock, retaining disturbance and failures. Complete state tomography makes that reference identifiable, and a declared repair schedule derives its entropy maximum at two conserved occupation moments. Native census histories also give coherent entropy stationarity through adaptive repairs, with exact recovery and information-loss domains, coin costs and timeouts kept explicit. A separate finite quantum process joins electric flux, charged matter and a scalar field with recorded feedback. Refining screens support Gaussian field limits and waves of finite speed.
• A Lorentzian scalar field as the observers' effective description. On a declared radial product over a refining screen, one action determines field correlations, response and an active modular clock. For any finite measurement menu and positive tolerance, one smooth static (1+3)-dimensional Lorentzian scalar field theory approximates those joint readouts. A finite interacting projection has source-executed quantum readouts and a controlled occupation limit. The radial design, interaction coupling, preparation and physical units remain inputs; the radius derived from native current records does not select the field's radial direction. The integrated verdict states the construction's scope.
• Particle fields and mass measurements. A declared spin lift supplies the internal charges of one Standard Model generation and its allowed Higgs interactions. Native incidence also supplies record-correctable objects carrying the actual geometric triplets on two carriers. Their tested exchange responses have a 17-dimensional algebra and fail the gauge theorem's complete 12-current premise. A specified coherent control law realizes twelve closed currents on that same carrier, with an explicit spin/exterior lift and Higgs channels. The control-menu boundary and lift remain inputs. Exact coherent filtering gives an invertible control map into this same algebra; ordinary state cooling does not implement that Hamiltonian filter. A separate native-record controller acts on all eighteen exchange-plus-phase currents. Every finite filter stays invertible; only a joint limit of increasing bias and update count approaches twelve observable currents under bounded drives. Its baths, feedback rule and actuators are supplied, and physical current completeness remains open. Calibrated fields reproduce supplied running masses in simulated observer records. A separate native correlation and exchange construction gives fermion modes and interactions. Specified phase and exchange controls also derive a free three-dimensional relativistic field, with two Dirac copies per sector, and execute finite detector histories. Both its free gaps and a separate interaction-dressed pole construction fail the measured lepton hierarchy. Repeated correction has a controlled coherent limit. Fixed record-driven Higgs feedback also produces unequal couplings without mass inputs, but an analytic bound excludes its charged-lepton hierarchy for every trigger frequency in its stationary averaged mass family. Its native implementation recovers the specified coefficient from complete fixed-basis detector records with separate source and inversion errors. Two-rotation feedback also fails the hierarchy; a full selector bath retains additional low charged responses. A complete twelve-state record memory resolves three unequal coefficients with a finite-angle inverse. A common gauge-covariant interaction makes its rates sector dependent using the actual Higgs supports. All three tested geometric interaction angles fail the charged hierarchies. The coefficients attach to the same finite Weyl/Higgs action, with a separate fixed-detector inverse; this supplies no physical mass prediction. An incidence-defined repair source-executes a protected three-level family band and matches the finite theorem's projector. Original-carrier loop phases and a current-mediated auxiliary response also fail the lepton hierarchy; changing the latter's positive strengths cannot fix its identification with the lowest subthreshold poles. The same currents also support source-compiled local matter transport and a conditional continuum comparison in a chosen gauge background, retaining both Dirac copies and both chiralities. Source selection of the physical masses, a chiral interacting continuum and joint gravitational dynamics remain unproved. Mass-response research and matter contracts give the evidence and construction assumptions.
• Standard physics from finite agreement. Under stated premises, finite theorems give the specification familiar structure: public records that do not depend on the order of repairs; the Born rule and the Tsirelson bound on completed records; a carrier that is three-dimensional in its slow response; the Standard Model gauge Lie algebra and a conditional anomaly-free matter representation; a (1+3)-dimensional causal order with count-based proper time; and the Einstein equation from null balance.
• Mathematics you can check. The Lean library contains more than 12700 public theorems and lemmas with no admitted proofs, and every retained computational receipt is replayed under continuous integration.
• Tests fixed in advance. Predictions and their rejection rules enter the frozen-prediction ladder before the eligible comparison data, with OpenTimestamps proofs, most of them anchored in Bitcoin; the dispersion prediction for the primitive port orbit is one of them. The postdiction ledger and the falsification programme keep comparisons with measurements apart from tests of the mathematics. The cross-scale audit tests shared numerical maps and records the physical identifications needed before separate comparisons can count as evidence for one construction.

Agreement with the full range of observed measurement statistics has not been established. The theorems hold under stated premises, and the executable observer is a candidate judged by declared acceptance criteria. The sections below say which premises the construction supplies and which remain inputs.

A joint finite vacuum/geometry test on the native angular screen finds that the bare regional entropy and boundary area vary with the same sign at fixed slab volume. It excludes a positive bare-area stationarity attachment for that slab; the physical small-ball generalized entropy and stress dictionary remain separate from this calculation. A specified free fermion vacuum supplies a half-space modular/stress relation and a bare planar entropy density. These use the same field action and an independent spatial cut; they do not establish joint metric stationarity or a physical Newton constant.

From the repository root, with Python 3.11 or newer:

python3 -m model.observer run --trials 10000 --seed 42

This runs the minimal record-and-feedback experiment and prints forecast scores and a result hash. The model guide covers the richer observers, clocks, fields and data comparisons; the construction guide states the verified scope and remaining inputs.

• Agreement and stable records. Under explicit termination and consistency conditions, local repairs reach one shared public result whatever their order. Further results control which records survive refinement. Consensus paper.
• Quantum observations. Within the stated finite quantum algebra, verified results cover repeatable measurements, classical records that later operations cannot disturb, uncertainty and the Bell correlation bound, with a state that attains it. Finite quantum event algebras.
• Three spatial directions. The fixed twelve-port carrier and its mean repair rule give an exact three-dimensional slow response with Euclidean geometry, which an observer's current records recover. Carrier construction.
• Gauge symmetry. Under stated premises on complete reversible response and observer transport, the twelve-port response algebra has the Standard Model gauge Lie type, and a specified matter representation gives an anomaly-free generation. Gauge derivation.
• Thermodynamics. One finite repair construction gives the four laws, fluctuation relations and the Landauer erasure bound under stated reference, energy-calibration and low-temperature premises. Thermodynamics account.
• Information capacity. Exact results count which records stay distinguishable after the allowed operations, bound that count by the available carrier, and follow it through refinement. Record capacity.
• Entangled-pair coupling candidate. Alex Wissner-Gross derives a finite spectral expression with inverse 137.035999189566. The independent OPH reconstruction credits that construction and tests its complete-outcome and normalization assumptions. Its identification with the physical electromagnetic coupling and its proposed attachment to the screen-grain equation are conditional.
• Matter and fields. A supplied charged-scalar and Maxwell action with its geometry and quantization give an interacting Hamiltonian after gauge reduction, and controlled scalar refinement connects classical detector readouts to a nonlinear field equation. A common metric dictionary is constructed; the tested static radial product fails its relative-stress gravity test and requires a geometry response. Matter continuum.

These are conditional mathematical results. Making their premises hold for the observations of one common model is the central construction problem. The premise map records which premises the executable specification supplies and which it takes as inputs.

• Observers Who Read Their Universe into Existence is the main synthesis: the theory in one account, selected results in detail, the scoreboard of the construction and the closure hypothesis. Cite its released version, the PhilPapers record.
• An Executable Observer for Observer Patch Holography states the specification, its acceptance criteria, its certified components and the premise map.
• The theorem library holds the long proofs, from consensus and observers and records to spacetime and Einstein dynamics. The paper index and the paper set list every paper and its role.
• Companion papers carry focused results. A lepton-mass relation, the Koide relation, holds exactly under a stated balance premise. The capacity programme asks whether the public capacity assigned to the Universe agrees with the one reconstructed from inside. These constant calculations, including the fine-structure root, have diagnostic status.

The reproduction guide runs the verification suite from a clean clone. The model verifier replays every retained receipt:

python -m pip install -r model/requirements.txt
python -m model.verify

The Lean library builds with Lake, the documentation index lists the registers and policies, and the book gives a longer road in. The textbooks at learn.floatingpragma.io and the interactive simulation at simulation.floatingpragma.io are the gentlest introductions.

The task is to make one observation-and-repair process supply the effective physics: connect the observer's clock, spatial interpretation and field measurements on the same histories, then compare outcome probabilities, correlations and responses to interventions with independent observations. A supplied field equation remains an input even when its simulation works. Contributions should resolve a named connection or expose a failure in the shared model; the construction guide, the repair-law guide and the research issues set out that work. Paper releases follow the release policy; main-branch PDFs are source previews, and deposited releases retain their original bytes.

Software, including Lean and the model code, uses Apache-2.0. Papers, documentation, figures, data and ledgers use CC BY-NC-SA 4.0, with upstream Particle Data Group terms for the packaged particle values. The license map gives the directory-specific terms.