This directory contains the canonical reference documents, the generated scientific registers, repository policies, and the research notes that accompany the executable lanes. Research planning and task state live in this repository's GitHub issues. Scientific results live in the papers, Lean library, executable code, and evidence artifacts. The registers index those results, and each research note states a result that its code package verifies.
If you are new to OPH, the strongest starting material lives outside this directory. The technical paper states the primary technical account. The OPH textbooks work through the basic derivations with the math taught along the way. The interactive simulation renders real run data so you can watch the universe assemble itself.
| Path | Contents |
|---|---|
| This folder | Canonical references and the common-objections guide |
registers/ |
Generated V3 registers and ledgers |
research/ |
Research notes, each verified by a code lane |
instrument_specs/ |
Instrument designs listed in the instrument register |
policies/ |
Data, hardware-evidence and writing policies |
The five canonical references keep fixed paths because verifier receipts, the
Lean core and frozen custody records cite them by path. Published essays link
to the common-objections guide at its path in this folder. Records written before
2026-10-04 cite the other documents at docs/<NAME>.md or extra/<NAME>.md;
each file keeps its name in the folders above.
- First encounter: the technical paper, textbooks, and the simulation above, then the repository README from the three axioms through the twist.
- Technical verification: use the claim registry, the observation ledger, the premise register, the falsification program, and the paper index.
- Build and test: begin with the repository reproduction guide, executable evidence, and Lean formalization.
- Axiom Reference states the three core axioms.
- Canonical Repair-Law RFC specifies a proposed strengthening of A1 and A2.
- Frozen-Prediction Ladder records tests whose conditions are fixed before the comparison data are examined.
- Postdiction Ledger records comparisons with measured values and their input ancestry.
- OPH Falsification Program lists only mature mathematical and realized-branch falsifiers.
Each quantitative closure condition is tracked as a
GitHub issue labeled closure,
with its evaluation boundary and required completion stated on the issue.
Each register is generated from a JSON source by a tool in tools/.
The first line of every page names its source and generator; edit the source,
then regenerate.
- Premise Register names each V3 input and its consumers and classifies each evidence path by its scientific role.
- Observation Ledger records the physical targets, adequacy rungs, premise ancestry, frozen-target links, and evidence paths.
- Emergent-Instrument Register lists the simulation-instrument designs and frozen instruments of the adequacy program.
- Constants Ancestry declares the complete input ancestry of each constants family against the premise register.
- Selection Ledger records the selections that consensus forces, with the exposed premises and proofs behind each row.
- Gravity Premise Ladder types each gravity interface with a premise packet, a theorem or countermodel, and a deletion test.
- Standard Model Correspondence classifies each Standard Model term and sector by what OPH supplies.
Each note states a construction, theorem or audit in Markdown; the code
package named with it verifies the note and pins it by path and SHA-256 in its
receipt. A change to a note therefore rebuilds that receipt in the same commit.
New notes go in this folder; extra/ holds TeX papers only, and the claim
registry check rejects Markdown notes there.
Clocks and source realization. These notes build on one another in this order:
- Massive flights, resolved reads and observable clocks,
verified by
code/m1_operational_clocks. - Coherent source codes, entropy selection and charged clocks,
verified by
code/m1_source_realization. - Fermionic clocks and reads from the proper-code source,
verified by
code/m1_fermionic_source. - Fixed-rate noise and protected source reads,
verified by
code/m1_fixed_noise. - Source histories with noisy records and control,
verified by
code/m1_noisy_records. - Fixed-strength quantum computation and live public records,
verified by
code/m1_expander_archive. - Full-interface leakage, dissipation and source refinement,
verified by
code/m1_leakage. - A filled source vacuum, positive excitation energy and readable clocks,
verified by
code/m1_sea_energy.
Gravity and the dark sector.
- Finite geometry: support, refinement and oriented caps audits the geometry readout, preserves higher-dimensional joint support, certifies midpoint subdivisions, and reconstructs oriented caps from explicit conformal data and a side witness.
- What a calibrated source clock does and does not fix about light bending
proves that the calibrated clock-field response does not select the
light-deflection coefficient, verified by
code/paired_gravity. - Clock agreement does not select a spatial response in the coherent source
carries that result to programs of the constructed coherent source, verified by
code/source_gravity_admissibility. - What the anomalous density must supply to predict lensing
shows that the released density interface does not fix dynamics and lensing
together, verified by
code/dark_source_lensing.
Independent comparison.
- Can the fixed edge dispersion support the proposed photon test?
bounds the exact pair-production thresholds and distinguishes vacuum emission
in two specified lepton controls, verified by
code/dispersion_feasibility. - Independent alpha/tau reproduction and the first bounded natural comparison
reproduces both certified alpha roots and the conditional tau window, verified by
code/independent_postdictions.
Existing-theory audit and simplification.
- MaxEnt inference independent of observable coordinates repairs unit, basis and energy-offset dependence, proves a global optimization-error bound, and distinguishes that error from closure defect.
- Finite-state entropy and sector labels records the entropy and collar audit, gives the direct-sum form of the finite A3 objective, and documents the shared implementation and corrected Markov-state, alignment and MaxEnt checks.
- When finite entropy completion is a repair channel proves the equivalence between affine full-marginal completion, modular compatibility and reference-preserving conditional expectation. It corrects regional standardness checks and treats noncommuting primitive repairs.
- Finite null tomography: reconstruction, consistency and resolution repairs incomplete and non-null tensor reconstructions, reuses the proved nine-direction inverse, and connects the dependent-family test to angular harmonics, an exact cubic obstruction and sharp noise amplification.
- INS-03 source-bound phase-sensitive readout
- OL-A1 signature replication
- OL-A1 carrier count by absolute support size
- Hadron Data Policy defines provenance and promotion rules for the hadronic pipeline.
- Hardware Evidence Bundle H defines the evidence and attestation contract for physical hardware claims.
- Writing Style Guide defines the project’s reader-facing prose conventions.
- The IBM Quantum Cloud code and data archive contains the reproducible engineering benchmark, receipts, and interpretation boundary beside their executable producers.
- Simulator outputs have no theorem or empirical-promotion authority in the paper stack. A simulator count, replay, fit, or diagnostic closes no analytic or physical receipt; theorem status needs analytic proof packets, and empirical promotion needs public physical evidence bundles.
- Common Objections answers recurring technical and conceptual criticisms.
- Contributed background notes record standard mathematics that OPH work can reference; they make no OPH claim.