Floating Pragma
Observer Patch Holography
OPH asks a simple physics question: how can limited systems build one shared world from partial views? It starts with bounded systems that have a local state, a boundary, memory, a way to read themselves and nearby systems, and a way to repair disagreement. A shared fact has to be recorded, compared, and able to survive a correction.
From three observer axioms, OPH develops one reconstruction program for quantum records, thermodynamics, three-dimensional space, Lorentzian events, gravity, gauge structure, matter, and the constants of nature. The framework uses zero fitted continuous theory values. Its papers, Lean proofs, exact calculations, and simulations form one inspectable research stack.
The finite theory connects public records and disagreement repair to several structures that physics usually introduces separately.
Exact finite results establish Lorentz kinematics, mass-shell structure, causal order, and the inverse-square law. The same construction supplies a concrete route from observer records to Einstein dynamics.
A classification theorem forces the complete twelve-port response to have the Standard Model gauge Lie type. An exhaustive finite construction also identifies a fifteen-state, anomaly-free matter grammar.
Finite event algebras support Born representation, Lüders conditioning, and exact Tsirelson results, including a Bell-state construction that attains the quantum bound.
A conditional finite theorem package recovers the four laws of thermodynamics from consensus repair. Exact interval-certified fixed points turn physical constants into concrete derivation targets instead of fitted continuous inputs.
Each observer patch has a local state, a boundary, and limited access to the world around it. It keeps records of what it can read.
A record becomes a shared fact when other patches can read it, compare it with their own records, and check the overlap.
Conflicting records call for an update, a repeated measurement, or a better explanation. The repair process preserves the evidence needed for others to check the result.
Continuation research examines how a record can retain its role as the system changes, so other observers can use and test it.
More than 6,600 Lean theorem and lemma declarations, exact rational and interval calculations, deterministic simulations, and pinned evidence receipts make the finite core reproducible. Readers can move from the high-level idea to the theorem statement, executable artifact, and source code.
The technical papers distinguish exact finite results from the physical reconstruction steps that connect them to measurement.