Observer Patch Holography

Reality is the stable public world reconstructed by finite, self-reading observers that compare their overlaps and repair disagreement.

Read in French · Book · Textbooks · Simulation · OMEGA

Observer Patch Holography (OPH) is a zero-dial theory of everything 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. From this it derives the rest. Reality emerges from observer overlap repair on a holographic screen. From five axioms and two constants, $P$ and $N$, the observed universe arises: quantum measurement, Lorentzian spacetime, the conditional Einstein branch, gauge symmetry, and matter are readouts of one finite observer-consistency system on their stated premises.

Start Here

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, and spacetime, matter, and the constants follow as outputs. 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 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. You watch spacetime and matter emerge on screen instead of taking the papers' word for it.

The rest of this README is the technical entrance to the repository.

Six Reproducible Receipts

These six public artifacts carry direct links to their proofs, data, or certificates:

1. Four-dimensional spacetime, measured emerging. A support-adjusted path at 16k, 65k, and 262k carriers gives the held-out event form Lorentzian signature $(1,3)$ (one time, three space), with cone margins $-5.62$, $-3.22$, and $-1.41$. At 262k carriers, reducing support width from 384 to 96 changes the cross-observer edge count from 1,062 to 312 and the signature from $(1,3)$ to $(2,2)$. Raw data: evidence/einstein_convergence; every number regenerates bit for bit.
2. A machine-checked core that polices itself. A sorry-free Lean 4 library of more than 800 theorems and lemmas covers the consensus core, the gauge identifiability theorem, the finite screen algebra, and the Einstein-branch composition. Every public theorem carries a per-theorem axiom report. Lean/
3. A dimensionless closure with a certified arithmetic status. The pixel closure $P=\varphi+\sqrt\pi/A_T(P)$ has a machine-certified unique root for each declared map, with zero fitted continuous values. Its physical Thomson identification requires source-derived hadronic transport. The registered comparison is diagnostic, with its scope and evidence recorded in the claim scoreboard.
4. A charged-lepton diagnostic with a declared closure test. The empirical closure surface carries a confirm-or-refute target and explicit input ancestry. It does not establish a source-only mass prediction. The full comparison table, forced gauge structure included, is the postdiction ledger.
5. An exact positive-chamber Koide theorem. A Hermitian $C_3$ response on an icosahedral face fiber obeys $Q=1/3+(2/3)(|b|/a)^2$, so $Q=2/3$ exactly when $|b|/a=1/\sqrt2$ in the nonnegative-eigenvalue chamber. Equal rank-two blocks and the finite tracial Gelfand–Naimark–Segal map supply that balance under the declared event-packet premises. Physical chiral-family attachment, phase, and numerical ratios are open. The standalone positive-chamber Koide paper states the theorem, proof, formalization boundary, and provenance of the target-informed numerical diagnostic.
6. An exact finite de Sitter capacity law and shock normalization. Maximizing finite generalized entropy over sector probabilities gives $\log M$ exactly. Uniform transfer of a fraction $f$ of the screen capacity changes the extremal entropy and the uniform logarithmic sector coordinate by $\log(1-f)<0$. In pure de Sitter space, the shock coefficient satisfies $\mu^2=d-2$, exactly the $\ell=1$ spherical Laplacian eigenvalue, independent of the horizon radius. Lean checks the algebraic core. Reading the transfer as a physical time-advance shock requires the stated horizon, observer-mass, gravitational, gauge-mode, and kinetic-operator dictionaries. The focused de Sitter paper gives the finite theorem and the physical boundary.

The rest of this README is the architecture those receipts come from.

The Five Axioms

The whole construction stands on the five axioms of Observers Are All You Need:

1. A1: A screen net. A finite net of local algebras is assigned to connected patches of the holographic screen, the observer-facing support charted by $S^2$ on the certified spherical branch. The screen is not generic: its microphysical realization is the federated twelve-port carrier architecture with local icosahedral rotation symmetry $A_5$, stated precisely in Federated Echosahedral Screen Microphysics. The local carrier, the federation of carriers, and the global $S^2$ support chart stay typed and distinct throughout the corpus.
2. A2: Overlap consistency. Neighboring patches must agree on shared observables. No patch sees the whole universe; a fact becomes public only when it survives comparison across overlaps.
3. A3: Local MaxEnt with refinement stability. Each patch carries the least biased local state compatible with its finite constraint data, stably under refinement.
4. A4: Recoverable generalized entropy. Records can be recovered after further evolution; this supplies the collar-recovery and focusing structure used by the gravity lane.
5. A5: Minimal admissible realization. The simplest low-energy sector compatible with the consistency constraints is selected.

Everything else in the repository is the working-out of what these five axioms force.

The Idea In Plain Language

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.

How The Reconstruction Works

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 $A_5$. A carrier becomes an observer only when the required records and repair loop are physically realized.

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 $S^2$ chart obtained on the separately certified spherical branch. Local icosahedral symmetry can coexist with a nonspherical federation nerve.

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 compact 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 → Tannaka reconstruction → economy-selected matter packet
             ↕ physical-current identity open
           local 12-port A5 current → Standard Model Lie type
        ↓
quantitative closure and physical-readout tests

What Comes Out

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 $S^2$ support gives the connected Lorentz group and exactly three observer-frame spatial dimensions, and modular flow with entropy stationarity gives the Einstein first-variation relation.

The Einstein branch is instrumented end to end. Every clause of its antecedent (geometric modular normalization, GNS cyclicity and modular intersections, the Lorentzian event cone, same-source stress and coupling) has a machine-certified fail-closed instrument with adversarial negative controls and semantic countermodels, so each clause is either a proved theorem or a measured quantity, never an assumption. Two clauses are theorems: coupling universality holds with zero spread for every icosahedrally symmetric source law, and generator positivity holds by construction for the declared law family. Direct measurement supplies the strongest empirical result in this corpus: the Einstein-cone scale path. The selected configurations use $(16{,}384,128,96)$, $(65{,}536,256,96)$, and $(262{,}144,512,384)$ for carrier count, observer count, and support width. Their held-out event forms have Lorentzian signature $(1,3)$, with cone margins $-5.62$, $-3.22$, and $-1.41$ and decreasing coupling spread. A same-size control at 262,144 carriers uses support width 96. Its cross-observer edge count is 312 instead of 1,062, and its signature is $(2,2)$ instead of $(1,3)$. These measurements establish reproducible sensitivity to support and cross-read structure under the archived configurations. They do not establish a fixed-density convergence law or an infinite-scale limit. The primary data are stored in evidence/einstein_convergence and every number reproducible bit for bit from the simulation repository. Two measured clauses are open: cap-state modular temperature and a preregistered larger-rung test of the event form. Both carry frozen verdicts.

The evidence stack combines exact finite derivations, machine-checked proofs, and deterministic measurements with primary data. Mathematical statements, conditional physical readings, and measured properties carry separate claim classes in the claim scoreboard.

The carrier geometry then does surprising work for free. On the certified echosahedral lineage, primitive port readback and oriented incidence alone derive the twelve-unit split, the antipodal pairing, the proper $A_5$ action, and the rank-three icosahedral frame, and the resulting coefficient space carries an exact commutator witness of $\mathfrak u(1)\oplus\mathfrak{su}(2)\oplus\mathfrak{su}(3)$, the gauge algebra of the Standard Model. Two logically independent routes, the finite $A_5$ current classification and the transportable-sector/Tannaka route with the minimal admissible realization, reach that same Lie type; trace balance and deck descent produce the global quotient $(SU(3)\times SU(2)\times U(1))/\mathbb Z_6$; and the declared matter packet gives an exact fifteen-state one-generation witness with the Standard Model hypercharges, anomaly cancellation, three colors, and a canonical rank-three candidate family band.

The exact finite centerpiece of the gauge branch is

$$ P_{12}\cong_{A_5}\mathbf1\oplus\mathbf3\oplus\mathbf3'\oplus\mathbf5, \qquad (P_{12},[\ ,\ ]_\Theta) \cong\mathfrak u(1)\oplus\mathfrak{su}(3)\oplus\mathfrak{su}(2). $$

This coefficient algebra is constructed from the finite local carrier data instead of being supplied as the starting symmetry. It agrees in Lie type with the separate transportable-sector/Tannaka/economy route. Promotion to one physical current object and to the exact Standard Model matter packet uses the receipts listed below.

The exact carrier results retain explicit physical boundaries. Physical current attachment, Spin and deck descent, matter selection, family attachment, the Einstein source tower, and the physical closure packets are open producers. The issue tracker records their work packages. The value $N_g=3$ is the minimum of the declared economy class. Local icosahedral incidence constrains the carrier, while the federation nerve requires its own construction.

Claim Tracking

The claim scoreboard records the status, scope, dependencies, and evidence of every tracked branch. This README concentrates on the strongest exact and measured receipts.

The Two Constants: P and N

$P$ is the local pixel ratio: the size of the elementary observation cell in natural geometric units, informally the universe's resolution. OPH does not choose this grain by fitting the fine-structure constant. It asks a cell to agree with the observation process that the cell itself supports. The local inside/outside readback closes at

$$ \boxed{P_\star=\varphi+\frac{\sqrt\pi}{A_T(P_\star)}}. $$

Here $A_T(P)$ is the Thomson-limit inverse electromagnetic coupling emitted by a trial cell. If $P$ were changed by hand, the cell geometry, repair spectrum, gauge widths, and particle-side hierarchy would cease to describe the same observer system. The closure equation makes $P$ an output of the architecture. The fixed-point theorem used by the calculation states that a self-map of the physical interval with contraction constant below one has exactly one fixed point. Outward-rounded interval certificates verify those hypotheses for each declared $P$ map and exclude a second root across its full analytic domain. The claim scoreboard records the root, external comparison, residual, and claim class. The comparison uses $P_C$, which is defined from the measured endpoint. Source-derived same-scheme hadronic transport is an open dependency under #425. The registered comparison has diagnostic status, with a physical fine-structure constant claim outside its scope.

$N$ is the public-record capacity of the whole observer system, or in simulation language, how much correctable memory the substrate carries. It is secondary. The observed universe can simply be read: $N$ is reverse-engineered from measurement the way any machine setting is reverse-engineered from the machine's behavior, and no result in the core reconstruction depends on deriving it from first principles. A conditional self-read condition, $N=\log M_0(\mathfrak U_N)$, proposes to return it from the correctable public-record capacity; its finite counting branch is exact and its physical attachment is open, tracked on the issue tracker.

Results At A Glance

Result	What OPH contributes	Main source
Finite observer consensus	Terminating repair, protected readout, schedule-independent quotient normal forms, and central records	Reality as a Consensus Protocol
Quantum event surface	Born probabilities, Lüders conditioning, and the Tsirelson bound on the finite central record surface	Observers Are All You Need
Relativity	On the certified global support branch with an independently complete algebra-state comparison on the same tower, $\mathrm{Conf}^+(S^2)\cong\mathrm{SO}^+(3,1)$ and $H^3\cong\mathrm{SO}^+(3,1)/\mathrm{SO}(3)$	Compact recovery paper
Einstein dynamics	Typed composition from modular flow, null stress, entropy stationarity, and small-ball geometry; construction of one source-derived common-domain tower is work in progress	Compact recovery paper
Echosahedral selector and finite $A_5$ gauge algebra	Local source-derived twelve-unit split, inverse pairing, proper $A_5$ action, and rank-three frame on the declared carrier lineage; exact coefficient-space construction and, conditional on a declared charged-double-triplet representation with four signed coefficients, an exact compact-current algebra $\mathfrak u(1)\oplus\mathfrak{su}(2)\oplus\mathfrak{su}(3)$. Physical response source binding and physical refinement intertwining are open; there is no automatic global $S^2$ conclusion	Compact recovery paper
Standard Model global form	Exact $S(U(3)\times U(2))$ and shared-center $\mathbb Z_6$ calculation, with physical current and descent receipts stated separately	Compact recovery paper
Matter structure	Exact one-generation exterior witness, hypercharge/anomaly arithmetic, three-color carrier, canonical rank-three candidate band, and conditional economy selection $N_g=3$; physical family attachment is open, and the conditional field-theory implications are separated from their open OPH producers	Compact recovery paper
Quantum field-theory landing	Finite-action invariance; exact finite determinant-line and Hamiltonian criteria; formal perturbative restoration and strict finite-order W/Z algebra; separate nonperturbative reconstruction and resonance implications. The exact finite and perturbative routes are parallel descendants of the local action, with source-native constructions as explicit physical gates	Compact recovery paper
Finite de Sitter screen	Exact pure-de-Sitter shock normalization, finite entropy maximum, uniform capacity-transfer law for the logarithmic sector coordinate, and analytic curvature; the physical time-advance reading is conditional on the horizon and shock dictionaries stated in the focused paper	Finite de Sitter capacity paper
Physical W/Z poles	The strict-one-loop map from a complete renormalized packet to charged and neutral complex poles is proved and machine checked, with sign, sheet, order, neutral mixing, and strict-vs-square-root rules fixed. Its numerical fixture is a post-exposure backend regression; source matching, an independent gauge-symmetry engine, covariance, physical-current amplitudes, and the clock are open, so no OPH-native pole is promoted	Particle paper
Local $P$ closure	$P=\varphi+\sqrt\pi/A_T(P)$; the fixed-point uniqueness schema and interval certificates give one root for each declared map; physical Thomson transport is work in progress	Fine-structure constant paper
Conditional global $N$ extension	$N=\log M_0(\mathfrak U_N)$, with $M_0(q)=\alpha(G_q)$ and $M_0=\lvert X_{\rm reach}\rvert$ on the reversible branch; the physical packet and unique slack zero are work in progress	Observers Are All You Need
$N$–Higgs bridge	Conditional relation $R_{\rm EW}=\alpha_U(P)\log(N/\pi)-6\pi/P$ from the common screen/weak load carrier	Deriving the Particle Zoo
Exact verification	Interval certificates, finite receipts, and reproducible simulations	code/

Why Take The Claim Seriously?

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 groups, 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 and compact-sector routes meet at the Standard Model Lie type, while their 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.

Evidence You Can Inspect

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.

Audit The Finite Core

The shortest scientific audit checks the claim graph, the exact twelve-port algebra, public-record capacity, the reversible $N$ packet, and finite consensus:

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.py

The 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.

The Twist: The Universe Is Its Own Simulator

Everything above stands on the five axioms alone. There is one further hypothesis, and it 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

$$ T(\mathfrak U_{\mathrm{OPH}})=\mathfrak U_{\mathrm{OPH}}: $$

the universe as a fixed point of its own observer-accessible readback and repair process.

The bonus is quantitative: if the loop closes, $P$ and $N$ cannot be arbitrary. They must satisfy self-referential closure conditions: the cell must agree with the observation process it supports, and the record capacity must agree with the records the system keeps about itself. Part of that closure is machine-checked in Lean. The declared $P$ map has a certified fixed point, while its comparison with the physical fine-structure constant has diagnostic status. Closure conditions are tracked as GitHub issues with their evaluation boundaries and required completions stated, and the mature falsification surface is collected in the OPH Falsification Program.

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. The first-principles $N$ closure is work in progress. Reading $N$ from the universe leaves every consequence of the five axioms intact.

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.

Open Proof Obligations And Falsification Boundary

The direct $N$ theorem contains a finite, source-derived simulator public-checkpoint packet. At fixed $D=24$, the packet has the reachable public records, the publicness rule, joint checkpoint kernels, carrier projections, and extension and refinement maps. Injective checkpoint generators reduce its capacity theorem to $M_0=|X_{\rm reach}|$, computable by exact CSP or model counting. The open physical $N$ theorem requires physical-universe attachment, a capacity-indexed source family, and the exact finite-size slack law with one physical zero. The independent finite $A_5$ control has $M_0=60$ and $D_{\rm raw}=60k$; its publicly inert multiplicity proves that raw equality at $k=1$ is not physical $N$-closure.

The other named obligations are:

• prove horizon-record saturation on the same refinement tower;
• 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.

Choose A Reading Path

If you want...	Start here
The shortest persuasive overview	A Compact Case for OPH
The technical center	Recovering Relativity and the Standard Model
The full observer-first synthesis	Observers Are All You Need
The finite consensus mechanism	Reality as a Consensus Protocol
The particle construction	Deriving the Particle Zoo
The exact positive-chamber Koide identity and finite tracial balance	The Positive-Chamber Koide Identity for Icosahedral Face Circulants
The exact finite de Sitter capacity law and conditional shock-sign attachment	The de Sitter Time-Advance Sign from a Finite Screen with Fixed Capacity
The twelve-port screen architecture and finite modular-gearing theorem	Federated Echosahedral Screen Microphysics
Supporting evidence	code/ and the issue tracker
Observer continuation and interpretation	Paradise as Fixed-Point Consensus

The paper index and supplement index give the complete curated publication map.

Dependency Map

_{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.}

Repository Guide

• paper/: core papers, TeX sources, PDFs, and release metadata.
• extra/: compact proof and focused mathematical supplements.
• 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.

Explore OPH

• The book, web edition
• The book, print PDF
• Textbooks
• Interactive simulation
• OMEGA applications and hardware
• Blog
• OPH Sage on Telegram and X

Contribute

OPH is an open research program, and contributions are wanted: proofs, counterexamples, simulations, audits, and readable explanations all move it forward. A good first hour is the reproduction guide, which rebuilds the certificates and checks from a clean clone. The open problems live on the issue tracker and in the selection ledger, which lists exactly what is proved and exactly what is left. Pick a row and take it.

License

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.