Reality is the stable public world reconstructed by finite, self-reading observers that compare their overlaps and repair disagreement.
Read in French · Paper · Book · Textbooks · Simulation · Hardware
Observer Patch Holography (OPH) is a zero-dial theory-of-everything research program built on one central thesis: observers are primary, and objective reality is emergent. Physics normally begins by supplying spacetime, quantum fields, a gauge group, and a table of measured constants. OPH begins with observers: bounded systems that carry local state, read part of themselves and their neighbors, keep records, and repair disagreement. Reality emerges from observer overlap repair on a holographic screen. From this architecture OPH reconstructs an exact finite structural core: conditional quantum-record identities, a conditional finite four-law package, a three-dimensional observer-frame carrier, and explicit order/clock interfaces that do not instantiate a physical observer-local time. It also derives Lorentz kinematics on the stated global-support branch, the Standard Model gauge Lie type, and a conditional one-generation exterior matter pair.
Three axioms govern the simulator architecture and how observers reach
consensus. Beside them sit two proposed closure programs. The first seeks a
fixed point for the pixel constant
Physics has revised its idea of what is fundamental before. Space was absolute until it was relative; matter was continuous until it was quantized. Each revision looked outrageous from inside the previous picture and obvious from inside the next one. OPH makes the next revision. The observer, treated for a century as a nuisance at the edge of quantum mechanics, moves to the foundation. Spacetime, matter, and the constants become precise reconstruction problems, with exact finite results and open physical identifications kept apart. The material below takes you through that shift from a standing start.
- The book. Reverse Engineering Reality, also available as a print-quality PDF, tells the whole story: what the theory says, how it was discovered, and why the observer-first turn is the one physics has been circling for a century. It is written to entertain and it keeps the science exact.
- The flagship paper. From Observer Consensus to Standard Physics gives the primary technical account of the observer-first reconstruction.
- The textbooks. The OPH textbooks teach the theory the long way. Every basic derivation is worked in full, with the required math built up as you go. Volumes cover gravity, the Standard Model, and unification, each readable online or as a PDF.
- The simulation. The interactive visualizations render real data from the repair dynamics. They expose finite settling, signature tests, and candidate carrier structure, with each finite receipt available for direct inspection.
The rest of this README is the technical entrance to the repository.
Two ledgers carry the quantitative record. The postdiction ledger is the compare-only scoreboard: every certified comparison against a measured value, with its premises and input ancestry stated on the row. The frozen-prediction ladder is the forward instrument: stances registered with cryptographic custody and kill bands before their comparison data is examined, with fixed rules that permit refutation by qualifying measurements.
These public results link directly to their papers, proofs, data, and certificates:
- Three-dimensional space emerges from the algebra of repair records. The declared twelve-port response contains an exact abstract three-dimensional Euclidean completion. Adding comparison records and completing their distance gives ordinary continuous three-space without an assumed coordinate grid. Physical identification of these points and their scale is work in progress. See the spacetime and Einstein paper, the Lean completion proof, and the finite signature evidence.
- Observer agreement reproduces the quantum rules. On the declared finite model, agreement gives the usual quantum probabilities and measurement rules, together with exact limits on correlations and copying. Connecting this mathematics to physical measuring devices is work in progress. See the flagship paper, the public-record proof, and the Born-rule boundary.
- Dynamics, quantum weights, and the action are forced, not chosen. On the finite observer algebra, continuous time evolution has no freedom beyond a Hamiltonian, so the Schrödinger form is a theorem. The quantum weight is the only additive assignment on measurement effects, down to the qubit case. The realized dynamics fixes its own action up to gauge: least action and most probable history are two readouts of one functional, joined to Hamiltonian flow by a Legendre bridge. Attaching units, clocks, and outcome frequencies is work in progress. See the observers paper, the Born representation proof, and the derived-action proof.
- The four laws of thermodynamics follow in the finite observer model. Given a common reference state and the repaired information visible to all observers, the same finite repair rule gives equilibrium, entropy increase, heat and work accounting, and the low-temperature limit. The remaining work connects energy and clock units to a source-produced physical system. See the observers paper, the Lean conditional-repair proof, and the exact certificate.
-
The Standard Model gauge structure from twelve ports. The twelve-port
geometry, complete reversible response, and observer agreement recover the
symmetries of the strong, weak, and electromagnetic forces. A separately
specified matter structure gives
their familiar global form
$(SU(3)\times SU(2)\times U(1))/\mathbb Z_6$ . The finite result also lacks the extra symmetries responsible for proton decay in minimal grand unification. Deriving the matter structure and physical gauge fields from the source is work in progress. See the Standard Model gauge paper, the Lean gauge proof, and the global-form proof. - One generation of matter out of a finite search. An exhaustive scan of the declared possibilities leaves the fifteen particle states and exact charges of one Standard Model generation, with all anomalies cancelled. A separate finite selection gives a rank-three family candidate. The remaining work attaches these structures to physical particles and excludes extra light sectors. See the particle paper, the Lean matter-selection proof, and the family-band proof.
-
The Koide lepton relation comes out as a theorem. A Hermitian
$C_3$ response gives the exact positive-chamber relation among the electron, muon, and tau masses. With two masses supplied, the formula fixes a 72-eV-wide interval centered at$1776.969027$ MeV, compatible with the measured tau mass. This is a target-informed conditional postdiction because its balance premise comes from the known lepton pattern. Source derivation of that premise is work in progress. See the Koide paper, the Lean proof, and the comparison ledger. - A frozen fingerprint in how waves travel. Two declared twelve-port wave rules fix distinctive directional patterns whose first anisotropy appears at sixth order. Their ratios and rejection rules sit in pre-comparison cryptographic custody. Physical-field attachment of a source-selected rule is work in progress. A sufficiently sensitive propagation measurement can then rule out that branch. See the screen microphysics paper, the exact receipts, and the frozen-prediction ladder.
Beyond the eight receipts, the exact layer carries a set of further results, each stated with its boundary at the link:
- A signed-graph theorem proves the screen has no free excitation at zero
cost: on a target-clean source capture the declared signed operator obeys
$\lambda_{\min}\geq24^{-8661}>0$ . It supplies no physical clock or particle mass. See the screen microphysics paper and the pinned source-gap receipt. - A finite capacity theorem maximizes generalized entropy at
$\log M$ , gives the exact shock shift$\log(1-f)$ , and fixes the pure de Sitter relation$\mu^2=d-2$ ; the physical time-advance reading waits on its stated dictionaries. See the focused de Sitter paper and its Lean proof. - On separately declared Maxwell, Yang--Mills, and Einstein branches, the quadratic kernels have zero hard mass parameters and the expected transverse or transverse-traceless classical modes. These are classical carrier statements, not quantum pole predictions. See the forced-structure ledger.
- The finite completion layer proves one public endpoint across completed schedules and representatives, an internal Lorentz model with a bounded soldering contract, and a proof-carrying regional-net interface with exact witnesses and obstruction theorems; the source attachments stay open and typed. See the public-world endpoint proofs, the geometry theorem stack, the finite regional-net interface, and the Lean boundary notes for the exact scopes.
- The library defines what counts as an observer through seven tests: bounded window, readback, stable records, action, forward prediction, and survival under refinement. A worked example passes all seven and three deliberately broken systems fail exactly one each. See the operational observer proof.
The supporting Lean library contains more than 4000 theorems and lemmas and no
admitted proofs. Explicit axiom reports cover the audited theorem subset.
Twenty-three finite proofs use native_decide; their generated native-code
evaluation axioms extend the trust base beyond kernel-only checking. See
Lean/.
The rest of this README is the architecture those receipts come from.
The whole construction stands on three core axioms. The canonical statements
live in the axiom reference and the machine
registry claims/axiom_registry.yaml; the papers include the shared formal
basis.
-
A1: Oriented twelve-port observer screen. There exists an observer
patch net on an oriented spherical screen. At every finite resolution,
each local carrier has twelve primitive boundary ports forming the
vertices of an oriented triangular boundary with 30 edges and 20 faces,
combinatorially the boundary of an icosahedron. Carriers join through
typed seams and coherent triple overlaps, refine to an oriented spherical
support, and expose local state, readback, records, repair moves, and
checkpoints. Formally: for every regulator
$r$ there is a typed object$\mathfrak N_r=(\mathcal P_r,\mathcal A_r,\mathcal R_r,\mathcal I_r, \mathcal U_r,\mathcal C_r,N_r,S_r,b_r)$ whose carriers carry twelve primitive central port projections and the exact boundary packet$K=(P,E,F,o)$ , joined by seam algebras into a nerve with a degree-one bridge to the oriented spherical support, all commuting with refinement. The local carrier, the federation of carriers, and the global$S^2$ support stay typed and distinct throughout the corpus. -
A2: Observer agreement. Observers operating on the screen agree on
the meaning of the data they jointly interpret. Formally: the
interpretation map
$\mathcal J_r$ from observer-accessible data to operational meanings is natural with respect to every visible overlap restriction, recharting, seam translation, higher-overlap map, federation map, and refinement map on accepted public data. No patch sees the whole universe; a fact becomes public only when it survives comparison across overlaps. -
A3: Conditional maximum randomness. Everything that observer
agreement leaves unconstrained is maximally random. Formally: the
realized state is the information projection of an exact reference family
onto the convex set of compatible local state families satisfying the
finite observer-visible constraints. The finite A1-generated observer
cover is state-determining on that feasible set, and its exact weights are
strictly positive:
$\rho_r=\arg\min_{\rho\in\mathcal K_r}\sum_P w_{r,P} D(\rho_{r,P}\Vert\tau_{r,P})$ .
None of the axioms contains a gauge group, a particle list, a recovery law, or a rule that selects field content or multiplicity; A3 selects one state inside one fixed feasible space and nothing else. Collar recovery, generalized-entropy structure, and sector completions enter as named interfaces and declarations at the results that consume them, each classified as an exact theorem, an exact result inside a named finite realization, a discovery-level observation, a declared open interface, an independence result with countermodels, a physical identification, or a withdrawn claim.
Everything else in the repository is the working-out of what these three axioms force, and of exactly how much further structure each physical conclusion consumes.
OPH asks: what is the smallest kind of system capable of having a world at all?
The answer is an observer patch. It need not be a person. It is any bounded physical or computational system that has a local state, a boundary, memory, the ability to read part of itself and its neighbors, and a way to repair disagreement. No patch sees the whole universe. A fact becomes objective only when it can be written, compared across overlaps, recovered after further evolution, and retained as part of the public record.
OPH treats this process as the mechanism that selects a public physical world. The theory has no external ruler, master clock, preferred observer, or list of adjustable physical constants. “Zero dials” means zero fitted continuous theory values. The finite observer contract and each discrete branch condition remain visible.
“Observer” is a structural role. A human mind, an organism, an instrument, or a software process can instantiate it when it has the required state, boundary, records, readback, and repair loop. OPH does not claim that human thoughts manufacture reality. It claims that a world with no possible local perspective, record, or self-consistent readback lacks public physics.
Take a finite patch with local state, a boundary, memory, and a repair rule. It sees only its piece of the world. When two patches overlap, each can inspect a shared interface. While the readings disagree, no public fact exists on that overlap. Repair continues until the same record can be recovered from either side.
The patch net performs one repeated computation:
read local state
↓
exchange boundary records
↓
compare overlapping descriptions
↓
repair disagreement
↓
write the stable result and repeat
The public universe is what remains stable. OPH calls this settled result a normal form. “Subjective” means locally accessible here, not arbitrary: two patches must agree about everything both can inspect.
The formal observer patch is this bounded access, record, readback, and repair
structure. An Echosahedron is a candidate primitive carrier on the homogeneous
branch. Its twelve-port icosahedral boundary supplies local incidence and
rotation group
Three geometries must stay separate. The local carrier boundary is the
icosahedral twelve-port object. The federation screen is a network of those
objects together with its overlap nerve. The support screen is the
observer-facing
Physical phase locking is a candidate mechanism for coherent overlap comparison. It has to produce the accepted repair relation, confluence, public records, and noise bounds. No theorem identifies phase locking with consensus confluence, modular flow, or an observer clock.
On the certified spherical branch, spacetime kinematics comes out of the computation instead of being supplied beforehand. Stable relations among patches define public adjacency, angle, and distance. Record order supplies a candidate history, not a clock; observer-readable transitions, event correspondence, and affine calibration supply operational local time. Compatible calibrated clocks can then supply public time, and the conformal symmetry of the shared spherical screen gives Lorentz symmetry with a three-dimensional space of observer frames. Populating that kinematic chart with a physical event manifold requires the separate receipts stated in the spacetime and Einstein paper.
Matter and forces are stable patterns in the same network. A particle is a reproducible pattern that can be transported through the public record structure. Gauge symmetry controls its internal labels across overlaps. Gravity is the smooth geometry required by the shared information and entropy laws.
The reconstruction has a shared trunk and separately gated branches:
source-selected carrier federation
↓
observer patches with records, overlap comparison, and repair
↓
public quotient normal forms
├─ federation-to-support receipts → S2 cap geometry and geometric flow
├─ independent algebra-state tower → modular flow
│ same-tower composition → Lorentz and conditional Einstein branches
├─ transportable sectors → independent Tannaka compact-group route
└─ local 12-port carrier → exact inverse-port response theorem
→ A1/A2 theorem forcing the abstract compact Lie type
→ conditional matrix current and rank-15 matter construction
→ exact Z6 kernel on declared tensors
source current, matter action, global form, scalar, spectrum,
and family attachments open
↓
quantitative closure and physical-readout tests
Finite readback and repair turn private states into stable public records,
and the algebra of those records gives quantum probabilities and repeatable
observation. On the certified geometric branch, the conformal geometry of the
The Einstein branch is instrumented end to end: every clause of its
antecedent is either a proved theorem or a measured quantity with a
fail-closed instrument and adversarial controls, never an assumption. Direct
measurement supplies the strongest empirical result in this corpus. Across
runs with 16,384, 65,536, and 262,144 carriers, the held-out event forms
carry Lorentzian signature
The carrier geometry then does surprising exact work. Oriented incidence
alone derives the antipodal pairing, the proper
No gauge group is assumed anywhere in the premises; a centreless alternative is excluded by the one-dimensional fixed space. The released matrices are an exact conditional witness, and the classified bracket families carry a forced kinetic sector: block-diagonal in the certified projectors, one coupling ray per simple factor, and equal to the derived action of its own source dynamics.
Inside the declared exterior-response algebra, an exhaustive 1024-subset scan
leaves exactly one chiral anomaly-free selection: fifteen states with the
charges of one Standard Model generation and a common
The boundaries stay explicit throughout: the matrix current, matter action, and global-form selection are not reconstructed from source histories, and laboratory identification, family attachment, scalar multiplicity, and the closure packets are open. The claim scoreboard carries every premise; the exact bracket-search and Jacobi receipts sit in code/a5_closure/.
The claim scoreboard states the scope, premises, and evidence class of each branch. This README concentrates on the strongest exact and measured receipts.
Each map has one exact interval-certified candidate root. A physical fine-structure prediction needs a map selected without using the measured constant, proof that its two sides read one quantity, and same-scheme transport to the Thomson limit. The numerical match has diagnostic status. See the claim scoreboard for the exact values.
The direct route reads
A second route goes through
about
The eight receipts above are the reader-facing summary. Exact premises, comparison ancestry, and falsification rules live in the claim scoreboard, the postdiction ledger, and the frozen-prediction ladder. The exact finite and structural results are the strongest part of the stack. Source-to-physical attachments, physical scales, and prospective data comparisons form the main research route.
A successful theory of everything should explain why facts that appear unrelated arrive as one package. OPH starts from a bounded self-reading patch instead of a spacetime manifold, field content, gauge group, or table of constants. It returns exact dimensions, compact Lie types, conditional global quotients, charge assignments, anomaly cancellations, representation multiplicities, and fixed-point equations. These outputs come from one typed carrier, overlap, and repair architecture. The local icosahedral theorem forces the Standard Model Lie type. The separate compact-sector route reaches that type only on its declared Standard Model packet, and a common physical source identity is an open test. Their shared dependence is the main case that OPH describes one physical world rather than a collection of coincidences.
The evidence also comes in different forms: paper proofs, exact arithmetic, interval certificates, finite receipts, simulations, and explicit falsifiers. Agreement among those forms is more informative than another numerical match produced by another adjustable model.
The evidence comes in several complementary forms:
- hand proofs in the TeX papers;
- interval and uniqueness certificates for declared numerical maps;
- finite carrier and hierarchy receipts;
- particle, geometry, dark-sector, and quantum-hardware code;
- a small-scale simulation harness that supplies receipts where the hand proofs and the Lean development do not reach, in the companion oph-physics-sim repository;
- a claim registry connecting prose claims to artifacts.
The shortest scientific audit checks the claim graph, the exact twelve-port
algebra, public-record capacity, the reversible
python3 tools/check_claim_registry.py
python3 -m pytest -q \
code/a5_closure/test_audit.py \
code/capacity_readback/test_correctable_public_record_capacity.py \
code/capacity_readback/test_reversible_public_checkpoint_packet.py \
code/consensus/test_reference_architecture_benchmark_suite.py \
code/consensus/test_verified_tree_packet_net.pyThe reproduction guide gives the clean-clone setup and the fuller finite-core lane, which adds the two W/Z convention and survival-boundary calibration tests.
Everything above stands on the three axioms together with the stated premises and named interfaces of each result; none of it uses the hypothesis of this section. That hypothesis arrives as a twist rather than a foundation. It is itself an indirect consequence of consistency: something that exists with no outside support must be capable of creating itself. A completely consistent observer-built reality must therefore evolve observers, and those observers eventually build the hardware the reality runs on. The simulated universe and the simulating universe turn out to be the same system. The patches, computation, records, and resulting world all belong to one closed loop; no external computer or programmer appears in the formal construction. The organizing equation of that closure is
the universe as a fixed point of its own observer-accessible readback and repair process.
The bonus is quantitative: if the loop closes,
A physical closure of both constants would give a zero-continuous-parameter
branch with both values returned by the architecture. That physical
attachment is open. The fixed-point theorems certify roots of declared maps;
they do not turn an observed basin or target-defined coordinate into a
physical derivation. On the
Under full closure, the loop answers the last question a theory of everything can be asked: why anything exists, and why it is the way it is. The universe is the unique structure consistent with reading itself into existence. That is the twist the book saves for late in the story, where it belongs, after the observers-first reconstruction stands on its own. None of the results above depend on it.
The direct
The other named obligations are:
- complete the capacity source antecedent and select one positive physical carrier; the horizon-record identification is not evaluable without it;
- construct the common screen/EW load carrier without feeding the Higgs target into N;
- discharge the physical current, determinant, spin-lift, deck-descent, carrier-selection, no-extra-sector, and family-attachment gates that promote the exact exterior witness to a forced physical Standard Model;
- instantiate the complete common-domain gravity tower and the source-only quantitative particle endpoints;
- complete the quantitative particle readout and flavor transport;
- test neutrino susceptibility and mixing geometry;
- construct record-capacity cosmology;
- construct a conditional source-screen spectrum with a source-functional amplitude and edge-center tilt; the radial packet proves one-shell non-identifiability and gives physical source dilation and cross-covariance tomography as separate uniqueness routes. One finite source evidence bundle satisfying every receipt is work in progress;
- derive dark gravity as a repair-charge condensate with dust-like and deep-galaxy regimes;
- complete the physical Yang–Mills transfer and repair-gap receipts; the repository includes a 244-type finite collar-gap calibration, but it is not a physical compact-gauge source receipt;
- test observer-like hardware and software with local state, boundaries, readback, records, repair, and public evidence bundles.
These programs share the same design principle as the core theory: every proposed physical system must be represented as a bounded, self-reading patch with a public evidence bundle.
The OPH Falsification Program is deliberately limited to mature mathematical and realized-branch claims. It is a verification index, not the organizing narrative of the repository.
| If you want... | Start here |
|---|---|
| The flagship introduction to OPH | From Observer Consensus to Standard Physics |
| The shortest persuasive overview | A Compact Case for OPH |
| The spacetime and Einstein derivation | Recovering Observer Spacetime and Einstein Dynamics |
| Both Standard Model gauge routes | Deriving Standard Model Gauge Structure |
| The finite consensus mechanism | Reality as a Consensus Protocol |
| The particle construction | Deriving the Particle Zoo |
| The twelve-port screen architecture and finite modular-gearing theorem | Federated Echosahedral Screen Microphysics |
| Supporting evidence | code/ and the reproduction guide |
| Observer continuation and interpretation | Paradise as Fixed-Point Consensus |
The paper index gives the curated publication map. Focused research PDFs remain in extra/ for repository readers and are not part of the publication release.
The typed OPH dependency map. It separates exact and conditional branches from the open source, support, current, attachment, and scale bridges that would make them one physical realization.
flagship/: the primary standalone OPH paper, its TeX source, and release PDF.paper/: core papers, TeX sources, PDFs, and release metadata.extra/: the published compact proof plus repository-only focused research PDFs.code/: certificates, simulations, particle calculations, and experiments.book/: the book source and downloadable PDF.cosmology/: dark-sector and cosmology research.physics-problems/: focused applications and open-problem notes.docs/: claim policy, falsification program, and technical audit material.assets/: diagrams and public figures.
The simulation source is maintained in the companion oph-physics-sim repository, which produces the simulation receipts and evidence artifacts cited here.
- The book, web edition
- The book, print PDF
- Textbooks
- Interactive simulation
- OMEGA applications and hardware
- Blog
- OPH Sage on Telegram and X
OPH welcomes proofs, counterexamples, simulations, audits, and readable explanations. The reproduction guide rebuilds the certificates and checks from a clean clone. The scoped research questions identify suitable contributions, while the selection ledger states their exact theorem premises and unresolved mathematical inputs.
The repository uses split licensing. All software, including the Lean library, code/, and tools/, is licensed under Apache-2.0. Papers, the book, documentation, figures, and data are licensed under CC BY-NC-SA 4.0. Hardware design files use CERN-OHL-W 2.0. The LICENSE file gives the per-directory map.