OPH observable status

OPH is a rigorous, consistent and complete description of the unified, self-creating computational Universe we inhabit.

21.3%completed+31.9% conditional
50
completed
12
executable model
38
closed theorems
75
conditionally completed · 53% incl.
Theorem + executed 12Finite theorem 38Certified computation 17Conditionally derived 75Frozen prediction 8Compare-only 23Rejected / killed 8Owed / open 53Exposed premise 1
Particle Catalogue0/38 · 0%
Cosmology2/29 · 7%
Executable Model6/22 · 27%
Spacetime11/21 · 52%
Gauge Forces7/20 · 35%
Particle Masses1/20 · 5%
Empirical Comparisons0/17 · 0%
Quantum Mechanics7/16 · 44%

Completed = computed by the executable model, or a finite theorem with all premises closed. 235 observables total; conditional results, route exclusions and open items do not count. Conditionally completed (outer arc) = theorems whose remaining named premises are still open.

694
entries
235
observables
245
finite theorems
14
frozen predictions

Status rule: an observed property is never marked impossible. “Route ruled out” applies only to a proposed derivation; a genuine no-go for an observed property would falsify OPH.

Theorem + executed - Proved, and also realized in the runnable OPH model (model/), with replayable outputs.

Finite theorem - Proved for the declared finite objects (paper proof, often Lean-checked).

Conditionally derived - Follows from OPH under named physical antecedents or attachments still open.

Certified computation - Executed, replayable finite construction with receipts.

Frozen prediction - Registered before data with a kill band (Frozen Prediction Ladder).

Compare-only - Retrospective or diagnostic number compared with measurement; not a blind prediction.

Rejected / killed - Candidate tested and rejected, or retracted - published with equal prominence.

Route ruled out - A specific candidate, identification or construction is proved insufficient; never a claim that an observed property cannot exist.

Owed / open - Not yet derived; work owed, often with a named GitHub issue.

Exposed premise - Declared input or choice, recorded openly in the selection ledger.

Imported - Taken from outside OPH (calibration, compilation) - not derived.

ScaleShow

235 observables shown · click a row for registered claims, falsifiers and sources

Executable Model22

ObservableStatus
›Classical outcome statistics (coin, current, post-repair load)
Theorem + executed
›Interference visibility after repair (dephasing by a parity record)
Theorem + executed
›Interference fringe probability Pr(plus) vs phase (C/E test)
Frozen prediction
›Fringe probability for empty vs full seam preparation (T/E test)
Owed / open
›Record-law identification rate on a continuing carrier
Certified computation
›Periodic Y-readout response: frequency and amplitude
Certified computation
›Modular tick vs repair count vs clock reading
Owed / open
›Joint readings of two event clocks (field-plus probability, tick ratio)
Certified computation
›Signal propagation range per repair event
Theorem + executed
›Record distances between ports (effective dimension 3)
Theorem + executed
›Neighbour preservation under screen refinement
Certified computation
›Detector densities from local history repair (130 anharmonic endpoints)
empirical evaluation
Certified computation
›Reference-qubit coherence under screen feedback
Certified computation
›Root-observer output under federation growth and screen refinement
Certified computation
›Relaxation to the stationary state (equilibration error)
Theorem + executed
›Seam-current covariance and Brownian path limit
Certified computation
›Two-particle field statistics from incident-clock counting
Certified computation
›Field-record correlations at unused time lags
Certified computation
›Defect flux class of every particle (6Y mod 6)
mystery solved
Theorem + executed
›Integer lift of the face register
Certified computation
›Lepton register phase (exclusive read count)
empirical evaluation
Conditionally derived
›Charged-lepton mass hierarchy (e, μ, τ)
empirical evaluation
Conditionally derived

Particle Catalogue38

ObservableStatus
›Up quark (u)
particle
Owed / open
›Up antiquark (ū)
antiparticle
Owed / open
›Down quark (d)
particle
Owed / open
›Down antiquark (d̄)
antiparticle
Owed / open
›Strange quark (s)
particle
Owed / open
›Strange antiquark (s̄)
antiparticle
Owed / open
›Charm quark (c)
particle
Owed / open
›Charm antiquark (c̄)
antiparticle
Owed / open
›Bottom quark (b)
particle
Owed / open
›Bottom antiquark (b̄)
antiparticle
Owed / open
›Top quark (t)
particle
Conditionally derived
›Top antiquark (t̄)
antiparticle
Conditionally derived
›Electron (e⁻)
particle
Conditionally derived
›Positron (e⁺)
antiparticle
Conditionally derived
›Muon (μ⁻)
particle · empirical evaluation
Conditionally derived
›Antimuon (μ⁺)
antiparticle · empirical evaluation
Conditionally derived
›Tau lepton (τ⁻)
particle · empirical evaluation
Conditionally derived
›Antitau (τ⁺)
antiparticle · empirical evaluation
Conditionally derived
›Electron neutrino (νe)
particle
Owed / open
›Electron antineutrino (ν̄e)
antiparticle
Owed / open
›Muon neutrino (νμ)
particle
Owed / open
›Muon antineutrino (ν̄μ)
antiparticle
Owed / open
›Tau neutrino (ντ)
particle
Owed / open
›Tau antineutrino (ν̄τ)
antiparticle
Owed / open
›Right-handed (sterile) neutrino ν_R
particle
Owed / open
›Photon (γ)
particle
Conditionally derived
›Gluons (g, 8 colour states)
particle
Conditionally derived
›W⁺ boson
particle
Compare-only
›W⁻ boson
particle · antiparticle
Compare-only
›Z boson
particle
Compare-only
›Higgs boson (H)
particle
Conditionally derived
›Graviton
particle
Conditionally derived
›Proton (p)
particle · empirical evaluation
Conditionally derived
›Antiproton (p̄)
antiparticle
Conditionally derived
›Neutron (n)
particle
Conditionally derived
›Antineutron (n̄)
antiparticle
Conditionally derived
›Pions (π⁺, π⁰, π⁻)
particle · antiparticle
Owed / open
›Other hadrons (kaons, hyperons, mesons, resonances)
particle · antiparticle
Owed / open

Quantum Mechanics16

ObservableStatus
›The Born rule
mystery solved
Conditionally derived
›State update (Lueders rule)
Conditionally derived
›Tsirelson bound 2 sqrt 2
mystery solved
Finite theorem
›Bell nonlocality in public records
Compare-only
›No-cloning theorem
Finite theorem
›Robertson uncertainty relation
Finite theorem
›Superselection and partition pinching
Finite theorem
›Complex Hilbert space (phase lift)
Conditionally derived
›Schroedinger evolution
Conditionally derived
›Measurement inside an interacting process
mystery solved
Certified computation
›Decoherence and classical records
mystery solved
Finite theorem
›No-signalling and locality
Theorem + executed
›Coherence multiplier g: C vs E laws
Frozen prediction
›Pauli matrices and spin-1/2 minimal coupling
Finite theorem
›Spin-statistics connection
Owed / open
›Trapped-ion oscillator comparisons
empirical evaluation
Certified computation

Spacetime21

ObservableStatus
›Three spatial dimensions
mystery solved
Theorem + executed
›1+3 Lorentzian signature
mystery solved
Conditionally derived
›Lorentz group SO+(3,1)
mystery solved
Conditionally derived
›Finite signal speed (light cone)
Theorem + executed
›Causal order
Finite theorem
›Proper time from counting
Finite theorem
›Clocks made of events
Certified computation
›Optical clock attachment test
empirical evaluation
Rejected / killed
›Continuum field operator
Finite theorem
›Spectral dimension two on the screen
Conditionally derived
›Isotropy of propagation to rank five
Finite theorem
›Propagation anisotropy at l = 6
FZ-11 · FZ-12
Frozen prediction
›Vacuum birefringence null
FZ-09
Owed / open
›Relativistic mass shell E^2 = m^2 + p^2
Finite theorem
›Mass-energy equivalence (E = mc^2)
Conditionally derived
›Inverse-square law (Gauss shells)
Finite theorem
›Newtonian mechanics and Lagrangians
Conditionally derived
›Force law along worldlines
Finite theorem
›Momentum conservation and covariance
Conditionally derived
›Conservation laws and Ward identities
Finite theorem
›Proper length
Finite theorem

Thermodynamics9

ObservableStatus
›Arrow of time
mystery solved
Finite theorem
›Zeroth law (temperature)
Theorem + executed
›First law (energy conservation)
Finite theorem
›Second law (entropy increase)
Finite theorem
›Third law
Finite theorem
›Landauer bound
Finite theorem
›Fluctuation relations
Finite theorem
›Transport, diffusion and Green-Kubo
Finite theorem
›Work and response
Finite theorem

Gravity11

ObservableStatus
›Einstein field equation with Lambda
Conditionally derived
›Massless graviton
Conditionally derived
›Bekenstein-Hawking area law
mystery solved
Finite theorem
›Black hole information
mystery solved
Conditionally derived
›Black hole ringdown (alpha = 4 line)
FZ-06 · FZ-14
Rejected / killed
›de Sitter time-advance sign
Finite theorem
›Horizon area = public-record capacity
Owed / open
›Local stress-energy tensor
Conditionally derived
›Null nets and light-sheets
Conditionally derived
›Equivalence principle (inertial = gravitational mass)
Owed / open
›de Sitter shock time-advance sign
Conditionally derived

Dark Sector7

ObservableStatus
›Dark matter as non-luminous modular charge
mystery solved
Conditionally derived
›Flat rotation curves & baryonic Tully-Fisher
mystery solved
Conditionally derived
›Acceleration scale a0
FZ-01
Frozen prediction
›RAR / BTFR scatter law
FZ-07
Owed / open
›Dark-source lensing
Owed / open
›Dark energy w = -1 (w0, wa) = (-1, 0)
FZ-13 · FZ-01 · mystery solved
Frozen prediction
›DESI w(z) stance
FZ-08
Owed / open

Cosmology29

ObservableStatus
›Cosmological constant magnitude
Compare-only
›Total record capacity N
selection rows 15-21
Owed / open
›Scale-invariant primordial fluctuations (Harrison-Zel'dovich)
mystery solved
Conditionally derived
›Scalar spectral tilt n_s = 1 - P/48
FZ-01 · FZ-15
Frozen prediction
›FLRW expansion
Conditionally derived
›CMB A5 angular multiplets
FZ-02
Frozen prediction
›Vacuum ensemble classification
Conditionally derived
›Structure formation
Owed / open
›Hubble constant value
Owed / open
›Initial state / big bang
Conditionally derived
›Running of the tilt dn_s/dlnk = 0
empirical evaluation
Conditionally derived
›Primordial gravitational waves r = 0
empirical evaluation
Conditionally derived
›Isocurvature fraction β_iso = 0
Conditionally derived
›Primordial non-Gaussianity f_NL
Conditionally derived
›Spatial curvature Ω_K = 0
empirical evaluation
Conditionally derived
›Redshift as a record-count ratio
Conditionally derived
›Crossing-read area law
Conditionally derived
›Inflation-free observer-screen synchronization
Conditionally derived
›Photon–baryon transport (CMB acoustic physics)
Conditionally derived
›MOND acceleration scale a₀
Owed / open
›Sum of neutrino masses Σm_ν
Owed / open
›Relativistic species N_eff
Owed / open
›Black-hole ringdown integer-k comb (FZ-14)
Owed / open
›Executed abundance epochs on a closed cell
Theorem + executed
›Particle/antiparticle class balance (C symmetry)
Theorem + executed
›Baryon-to-photon ratio η_b
Owed / open
›Dark-matter density Ω_c h²
Owed / open
›Big Bang nucleosynthesis (light-element abundances)
Owed / open
›CMB temperature today
Owed / open

Matter11

ObservableStatus
›Baryon number & proton stability
mystery solved
Finite theorem
›One anomaly-free generation of 15 Weyl states
mystery solved
Conditionally derived
›Gauge anomaly cancellation
mystery solved
Conditionally derived
›Parity violation / chirality
Conditionally derived
›Three generations
selection row 14
Owed / open
›Yukawa couplings
Owed / open
›Standard Model action
Conditionally derived
›Unitary scattering
Finite theorem
›Interacting matter state space
Conditionally derived
›Vacuum fidelity
Finite theorem
›Charged Weyl fermions
Finite theorem

Gauge Forces20

ObservableStatus
›Standard Model gauge algebra su(3)+su(2)+u(1)
mystery solved
Finite theorem
›Global form (SU(3)xSU(2)xU(1))/Z6
mystery solved
Conditionally derived
›Electric charge quantization
mystery solved
Conditionally derived
›Massless photon
Conditionally derived
›Massless gluons and confinement
mystery solved
Conditionally derived
›Yang-Mills mass gap
mystery solved
Conditionally derived
›Maxwell's equations
Finite theorem
›Coulomb's law
Finite theorem
›Charge conservation
Finite theorem
›Electromagnetic radiation & photons
Conditionally derived
›Gauge kinetic terms
Finite theorem
›Jacobi identity of the face bracket
selection row 22
Conditionally derived
›No minimal grand unification
mystery solved
Finite theorem
›Electroweak symmetry breaking
Conditionally derived
›Electroweak load beta_EW = 4
Conditionally derived
›Electroweak hierarchy (why v << M_Planck)
Conditionally derived
›Weak mixing angle
Owed / open
›Strong coupling alpha_s
Conditionally derived
›Asymptotic freedom / RG running
Conditionally derived
›Holonomy and Aharonov-Bohm phases
Finite theorem

Constants5

ObservableStatus
›Pixel constant P = phi + sqrt(pi)/alpha^-1
Conditionally derived
›Fine-structure constant 1/alpha
Compare-only
›Thomson-endpoint alpha
Compare-only
›Source dimensionless gap
Conditionally derived
›Golden ratio in physics
Finite theorem

Particle Masses20

ObservableStatus
›Higgs boson mass
Compare-only
›Top quark pole mass
Compare-only
›W boson mass
Compare-only
›Z boson mass
Compare-only
›Koide relation Q = 2/3
mystery solved
Finite theorem
›Tau lepton mass
FZ-10
Frozen prediction
›Electron mass
Conditionally derived
›Muon mass
Conditionally derived
›Charged-lepton mass scale (anchor gap)
Owed / open
›Absolute quark masses
Owed / open
›Strange/down ratio (register-Clebsch)
Rejected / killed
›Cabibbo angle / CKM
Owed / open
›CP violation phase
Owed / open
›Neutrino mixing (PMNS)
FZ-03
Rejected / killed
›Neutrino mass ordering
FZ-03
Owed / open
›Absolute neutrino masses
Owed / open
›QCD scale Lambda_QCD
Compare-only
›Nucleon / proton mass
Compare-only
›Hadron spectrum
Owed / open
›Absolute mass scale (GeV)
Owed / open

Empirical Comparisons17

ObservableStatus
›IBM quantum hardware implementation
empirical evaluation
Certified computation
›Gaussian oscillator readout (McGarry et al.)
empirical evaluation
Compare-only
›Driven anharmonic dynamics
empirical evaluation
Compare-only
›Changed-potential transfer
empirical evaluation
Compare-only
›Quantum characteristic (Gram) constraints
empirical evaluation
Compare-only
›Inherited EM endpoint vs CODATA
empirical evaluation
Rejected / killed
›Regional optical-clock attachment
empirical evaluation
Rejected / killed
›Modular-transition optical assignment
empirical evaluation
Rejected / killed
›Full CMB readout vs Planck
empirical evaluation
Compare-only
›WMAP A5 angular-template search
empirical evaluation
Compare-only
›Fixed-capacity w-law vs DESI DR2
empirical evaluation
Compare-only
›SPARC deep-regime RAR / BTFR
empirical evaluation
Compare-only
›Weighted-cycle PMNS vs NuFIT 6.1
empirical evaluation
Rejected / killed
›Scalar tilt vs ACT DR6 posterior
empirical evaluation
Compare-only
›Electroweak crossover temperature
empirical evaluation
Certified computation
›Colour deconfinement and hadron binding
empirical evaluation
Certified computation
›Electroweak coupling chain (v, α_s, sin²θ_W, α)
empirical evaluation
Compare-only

Big Questions3

ObservableStatus
›Why is there anything rather than nothing?
mystery solved
Exposed premise
›Why is there subjective experience (qualia)?
mystery solved
Conditionally derived
›Why exactly these laws and constants?
mystery solved
Conditionally derived

Research Frontier6

ObservableStatus
›String theory as effective edge language
Owed / open
›The OPH 'paradise' and thinking patches
Conditionally derived
›Closure: a universe that reads itself
Conditionally derived
›Relativistic QFT as effective description
Conditionally derived
›Physical attachment of finite theorems
Owed / open
›General relativity as effective description
Owed / open