This directory is the canonical particle-spectrum code path for OPH inside
reverse-engineering-reality.
The single entry point for results is the postdiction ledger: the forced gauge structure with its Lean receipts, the charged-lepton closure target (one anchor-gap value closes the lane exactly on the measured triple, inside the certified band), the certified lepton intervals with the measured triple inside every one, the conditional Higgs/top envelopes within one experimental sigma, and the quark obstruction and conditional texture rows, each read live from its certified artifact.
The goal is to keep one auditable derivation surface from the OPH inputs derived in the papers to the emitted particle-spectrum artifacts used by the particle paper:
- electroweak calibration
- Higgs/top
- charged leptons
- quarks
- neutrinos
- hadrons
- public claim rendering
Historical Oracle batches, worker logs, and transient handoff material are not part of this canonical tree.
The QFT theorem oracle is deliberately not a production simulator. It verifies the conditional finite-action, anomaly, FJ-coordinate, strict W/Z, and Nielsen algebra and the namespaced dependency DAG. It cannot set a physical-promotion flag. Source-selected actions, QFT-Q2 constructions, QFT-Q3 restoration and identity transcripts, physical-current amplitudes, QFT-Q4 towers, analytic sheets, and numerical freezes remain separate producers.
The ten CKM/PMNS parameter readers in flavor/ and neutrino/ use
mixing.py. It preserves their four output schemas, including
the shared-basis builder's signed phase. Full coordinates require a finite
numeric 3-by-3 matrix with ||U†U-I||_F <= 1e-12 and nonzero entries
U00, U01, U02, U12, U22. Invalid inputs and an undefined Dirac phase raise
ValueError; the reader neither projects onto unitaries nor clips angles.
This is a floating-point readout contract, not a unitarity certificate or
an error bound on coordinates near a singular chart.
In the PDG convention, Eq. 12.3,
U00, U01, U12, U22 are positive, U02 = s13 exp(-iδ), and det U = 1.
Consequently
δ = arg(U00 U01 U12 U22 conj(U02) conj(det U)) modulo 2π.
Every row/column rephasing contributes the same total phase to the five-entry
product and the determinant, so the expression is invariant, including
under Majorana column phases. Separate normalization of each factor avoids
underflow of their product. Angle extraction uses atan2 of entry magnitudes;
it needs neither subtraction of nearly equal moduli nor a denominator floor.
The Jarlskog quartet is evaluated exactly on the supplied binary64 entries
before rounding once; nonzero values below the float range are refused.
test_mixing_readout.py checks independently composed elementary rotations,
phase quadrants, CP conjugation, rephasing, tiny mixing, invalid inputs and
singular charts across all legacy entry points. These changes do not rescue
any rejected particle candidate or supply missing physical source selection.
Frozen artifacts/locks remain historical evidence; new candidate locks also
hash the shared reader and its numeric-validation dependencies.
Run python -m pytest -q code/particles/test_mixing_readout.py from the root.
Run the older neutrino/flavor integration suites in a disposable checkout:
some tests regenerate their default artifacts.
The intrinsic and forward Majorana readers share takagi.py.
They use a scaled direct SVD and check U.T @ M @ U = diag(m) instead of
extracting masses from M†M or subtracting the intrinsic cubic trace shift.
Those older calculations could round positive masses to zero. Complex phases
are preserved at every mass scale; the real shortcut requires exactly zero
imaginary entries. The cubic remains an independent numerical diagnostic.
The checks are normwise binary64 residuals, not interval enclosures or relative
error certificates for arbitrarily small masses. Degenerate blocks requiring
additional congruence resolution are explicitly refused. Run
python3 -m pytest -q -W error code/particles/neutrino/test_takagi_numerics.py
for analytic-spectrum, scale, complex-congruence, and serialized-producer controls.
- calibration
- QFT-Q1--QFT-Q4/WZ theorem oracle
- flavor
- leptons
- neutrino
- hadron
- qcd
- uhe
- compact_transients
- hierarchy
- runs
- scripts
- docs/POSTDICTION_LEDGER.md
- RESULTS_STATUS.md
- PARTICLE_PIPELINE_STATUS.md
- PARTICLE_PROVENANCE_LEDGER.md
- MASS_CANDIDATE_STATUS.md
- THEOREM_GAP_REGISTER.md
- DERIVATION_CHAIN_CLOSURE_MATRIX.md
- CARRIER_MODE_ACCEPTANCE.md
- HADRON_SYSTEMATICS_STATUS.md
- particle_mass_derivation_graph.svg
- electroweak calibration:
calibration/derive_d10_ew_observable_family.py -> calibration/derive_d10_ew_source_transport_pair.py -> calibration/derive_d10_ew_population_evaluator.py -> calibration/derive_d10_ew_w_anchor_neutral_shear_factorization.py -> calibration/derive_d10_ew_source_transport_readout.py - electroweak hierarchy certificate:
hierarchy/certificates/DAG_U.json -> hierarchy/certificates/R_U_interval_certificate.json -> hierarchy/certificates/R_U_krawczyk_certificate.json -> hierarchy/computations/hierarchy_numeric_witness.json -> hierarchy/certificates/R_EW_global_capacity_certificate.json -> hierarchy/certificates/R_local_global_hierarchy_resonance_closeout_335.json -> hierarchy/certificates/R_pixel_screen_resonance_summary.json -> hierarchy/issue_332_rg_naturality_certificate.json - Higgs/top:
calibration/derive_bw_higgs_carrier_bridge.pyrecords the Borel-Weil one-Higgs carrier bridgeH_OPH = H^0(CP1,O(1)) ~= C^2as representation and group-action geometry only. The receipt distinguishes the projective ray's two-torus stabilizer from the nonzero vacuum vector'sU(1)_Qstabilizer before the quantitative D11 lanecalibration/derive_d11_declared_calibration_surface.py -> calibration/derive_d11_forward_seed.py -> calibration/derive_d11_forward_seed_promotion_certificate.py -> calibration/derive_d11_fixed_ray_no_go_theorem.py -> calibration/derive_d11_live_exact_split_pair_theorem.py. The named promotion certificate closes fixed-ray algebra only. The declared D11 surface and conditional split do not emit a source-native or physical-pole mass. - charged leptons:
support and scale artifacts feeding
leptons/derive_lepton_excitation_gap_map.py -> leptons/derive_lepton_log_spectrum_readout.py -> leptons/build_forward_charged_leptons.py - quarks:
flavor/derive_quark_sector_mean_split.py -> flavor/derive_quark_sector_descent.py -> flavor/build_forward_yukawas.py - neutrinos:
neutrino/derive_neutrino_scale_anchor.py -> neutrino/derive_family_response_tensor.py -> neutrino/derive_majorana_holonomy_lift.py -> neutrino/derive_majorana_phase_pullback_metric.py -> neutrino/build_forward_majorana_matrix.py -> neutrino/build_forward_splittings.py -> neutrino/derive_neutrino_weighted_cycle_repair.py -> neutrino/derive_neutrino_bridge_rigidity_theorem.py -> neutrino/derive_neutrino_absolute_attachment_theorem.py -> neutrino/export_forward_neutrino_closure_bundle.pyThe weighted-cycle output is a target-informed template candidate, not a prediction. NuFIT 6.1 rejects its correlated theta23-delta point at the declared 3σ gate.neutrino/score_neutrino_nufit61.pyrecords the official profile result, andneutrino/audit_neutrino_pmns_conventions.pyfinds no admissible convention rescue. The bridge and absolute attachment remain compare-only. The shared-basis identity cancels the charged-lepton matrix by construction and does not supply the missing physical charged-lepton basis. Earlier intrinsic builders also exported left SVD vectors instead of the Majorana Takagi matrix; that implementation error is corrected. This lane emits neither a physical PMNS matrix nor absolute neutrino masses. - hadrons:
qcd/derive_lambda_msbar_descendant.py -> hadron/derive_full_unquenched_correlator.py -> hadron/derive_runtime_schedule_receipt_n_therm_and_n_sep.py -> hadron/derive_stable_channel_cfg_source_measure_payload.py -> hadron/derive_stable_channel_sequence_evaluation.py -> hadron/derive_stable_channel_groundstate_readout.py - High-energy messenger coefficient emission:
uhe/build_uhe_coefficient_emission_receipts.pymirrors the source-only UHE coefficient-emitter receipt ladder. It freezes the quotient, source law, compact-engine source loads, baseline, feature map, moment targets, solver, no-UHE-data-use DAG, and common-source lock without analyzing neutrino, cosmic-ray, or gamma event data. - Compact-transient receipt scaffold:
compact_transients/build_compact_transient_receipts.pymirrors the compact record-surface ladder for FRBs, old-host compact sources, and black-hole recycling. It is diagnostic by default atCR2_CONDITIONAL_PHENOMENOLOGY, blocks physical-prediction promotion until control, refinement, freeze, and held-out likelihood receipts exist, and fails closed if a black-hole generation prior reads ringdown residuals. - rendered public surface:
scripts/build_results_status_table.py
The promoted-results table reports n/a while the sector source gates are
open. The conditional charts carry sharp numeric candidates. Each value below
holds on its stated chart and inherits the open gates recorded in
CONDITIONAL_CANDIDATES.md; none is a promoted
source-only prediction.
This table is a governed comparison surface. Every row is declared with its
role and its resolving lane in
claims/public_surface_quantitative_claims.json,
and tools/check_public_surface_claims.py rejects an undeclared row, an
undeclared table, an unresolved lane, and a numeric comparison coordinate whose
row declares no lane.
| Observable | Conditional value | Comparison coordinate | Condition |
|---|---|---|---|
M_W |
80.37700001539531 GeV |
stale PDG 2025 mass-dependent-width Breit--Wigner coordinate 80.3692 +- 0.0133 GeV |
D10 chart value, conditional on the unemitted QT1--QT5 certificate; no map to the comparison convention and no physical residual or pull |
M_Z |
91.18797807794321 GeV |
stale PDG 2025 mass-dependent-width Breit--Wigner coordinate 91.1880 +- 0.0020 GeV |
same incomplete value-law chart; no map to the comparison convention and no physical residual or pull |
M_W / M_Z |
0.8814429457652062 |
ratio formed from the stale Breit--Wigner coordinates, 0.8813572 |
scale-free coordinate of the same quintet, but not a scheme-independent pole observable |
sin^2 theta_W_eff |
0.22305833336075578 |
0.22321 in a distinct on-shell comparison convention |
same incomplete quintet; no common scheme map, so no residual or pull |
m_H |
125.1995304097179 GeV |
125.13 +- 0.11 GeV |
target-anchored fit: the synchronization scale minimizes an objective containing the measured pair; validation of the formula stack, never a prediction |
m_t |
172.3523553288312 GeV |
172.1 +- 0.6 GeV |
companion coordinate of the same target-anchored fit; never a prediction |
m_t (criticality, adopted branch) |
172.629 GeV |
172.60 +- 0.27 GeV |
double-criticality boundary at the log-midpoint anchor E_star exp(-pi) P^(-1/6), two loops; boundary-scale selection is a theorem modulo two carrier facts CF1/CF2 |
m_H (criticality, adopted branch) |
125.771 GeV |
125.13 +- 0.11 GeV |
same branch and gates; tree readout inside the declared matching band |
m_H at measured m_t (relation test) |
125.72 GeV |
125.13 +- 0.11 GeV |
fit-free curve of the criticality family; tests the m_t to m_H relation independently of the boundary-scale selection |
M_W, M_Z (target-free declared-map audit branch) |
80.3301, 91.1191 GeV |
stale Breit--Wigner coordinates 80.3692, 91.1880 GeV |
zero-selector coordinate on a declared map that the source does not select; the renormalized-vev, tadpole, threshold, running, finite-order, uncertainty, and complex-pole maps are open, so this row is not a physical mass comparison |
positive-chamber C3 Koide identity |
Q = 1/3 + (2/3)(abs(b)/a)^2; Q = 2/3 iff abs(b)/a = 1/sqrt(2) |
PDG 2026 central masses give Q = 0.6666644634026367 |
exact circulant identity; the finite tracial-GNS packet conditionally gives the balanced modulus; physical family attachment, phase, and ratios are open |
m_e, m_mu, m_tau (MCPR conditional) |
0.510956, 105.649, 1776.78 MeV; Q = 0.6666644634090389 |
0.51100, 105.658, 1776.93 MeV; Q = 0.6666644634026367 |
historically target-informed declared architecture; runtime-reference-free evaluation and the 84 ppm mass offset are retrospective diagnostics, neither blind nor source-only |
m_b, m_s, m_d (Clebsch lane) |
6.03 GeV, 140 MeV, 6.1 MeV |
4.18 GeV, 93.5 MeV, 4.7 MeV |
rejected conditional register-Clebsch route; the adopted (b/tau, s/mu, d/e) = (1, 1/3, 3) assignment is uniquely least-discrepant among six permutations without being source-derived; the absolute values are 44.2%, 50.3%, and 30.1% high |
m_s/m_d (Clebsch lane) |
22.9743 |
FLAG 2024 derived central ratios 19.9438 (N_f=2+1+1) and 20.3594 (N_f=2+1) |
exact at the mu_U boundary and protected by common one-loop multiplicative transport; 15.2% and 12.8% high, so the declared conditional route is rejected; the matter receipt gives a conditional channel boundary without equating Yukawa coefficients; the unordered weight set is target-free under its declared alphabet and rules; the historically stipulated MCPR model is neither blind nor source-only; no covariance-aware significance is claimed |
sqrt(m_d/m_s) (Gatto-Sartori-Tonin diagnostic) |
0.2086 |
0.2250 |
restatement of the same rejected ratio, not a derived Cabibbo angle; no relative left-handed eigenbasis is supplied, and the simultaneous diagonal register ansatz itself gives the identity CKM matrix |
Lambda_QCD^(3) |
0.3348 GeV [0.319, 0.350] |
0.338 GeV (published central) |
dimensional transmutation of the source strong coupling; declared threshold inputs bracket-swept |
m_N (nucleon) |
0.929 GeV [0.823, 1.043] |
0.93827 GeV (measured proton) |
source Lambda_QCD times a published lattice-theory ratio (oph_plus_external_qcd_theory) |
alpha^-1 (root plus public width diagnostic) |
137.035959513608567790... |
137.035999177 |
certified source root plus alpha_U(P_public); the mixed quantity is a diagnostic of the declared map rather than a physical output; physical Thomson transport is work in progress |
v / E_star |
2.0199803239725553e-17 |
dimensionless | public-endpoint hierarchy packet; the physical normalization of E_star is work in progress |
The Koide receipt separates three statements. The positive-chamber
face-circulant identity is exact. Equal rank-two event blocks and the finite
tracial Gelfand-Naimark-Segal map give abs(b)/a = 1/sqrt(2) under the
declared finite packet. A physical charged-lepton statement additionally
needs the face-to-chiral-family attachment. The phase remains free and carries
the two mass ratios jointly. The MCPR modulus is 3.30 ppm below exact balance,
but the MCPR architecture was historically target-informed.
The W5 stabilizer calculation reclassifies the family-orbit gap. C3 and
C5 fixed points have a double eigenvalue. The C2 fixed locus has linear
dimension three, hence two projective parameters, and admits simple spectrum.
Symmetry alone leaves enough freedom to carry both independent ratios. A
specific screen-derived invariant potential is required for a numerical
spectrum.
The real-axis receipt enumerates all six fivefold, ten threefold, and fifteen
twofold unoriented icosahedral axes. Its smallest nonzero acute angle is
20.905157447889 deg, while asin(0.2250) = 13.002878162914 deg. This
excludes direct equality between the Cabibbo angle and one of those 31 real
three-dimensional residual-axis angles. It does not exclude spinorial
representations, higher-order symmetry breaking, additional dynamics, or
general overlap models. The 31.717474411461 deg = atan(1/phi) entry is the
geometry self-check.
The source-root-plus-public-width diagnostic is not a fixed point of one map.
Its difference from the measured endpoint is
0.00003966339143220971057 (2.8943775118e-7 relative). The certified
self-consistent gauge-width fixed point is
alpha^-1 = 137.035660136946577... (gauge-width residual 2.5e-6 relative, about
1.6e4 measurement sigma), and the certified source root is
alpha^-1 = 136.994835177412937295...; the physical Thomson map is work in
progress (see
the closure issues).
The per-family surface with tier labels, explanations, and blocking objects is
MASS_CANDIDATE_STATUS.md, generated by
scripts/build_source_only_mass_prediction_surface.py.
The W/Z lane has three distinct numeric surfaces:
- the selected-carrier chart emits
80.38629169244275 GeVand91.18290444674243 GeV; - the archived D10 value-law candidate emits
80.37700001539531 GeVand91.18797807794321 GeV; - the archived
80.377 GeV,91.18797809193725 GeVpair is a comparison-only adapter.
The archived value law is an exact implication of the QT1--QT5 quotient-path
certificate. The repository does not emit that certificate. A proof-producing
enumeration must construct the quotient canonicalizer and finite path lists,
verify the incidence counts, exact color weighting convention, a
representation-derived Z_6 invariant-rank fraction (not merely group order),
the fibre Gram form and residual pairing, and prove source-grammar completeness
and a unique target-free output over an explicit deformation class. The executable QT receipt
checks only the downstream algebra and chart Jacobian; it fails closed on every
source-entailment field.
The Higgs/top lane carries two distinct surfaces. The declared calibration
surface emits m_H = 125.1995304097179 GeV and m_t = 172.3523553288312 GeV
by back-solving from the measured pair through the synchronization-scale
scan; those values are target-anchored fits. The criticality surface derives
both Yukawa-sector boundaries from the gauge sector through the
double-criticality law (lambda = 0 and beta_lambda = 0 at one source
scale) and is a zero-continuous-parameter family over the boundary scale:
the archived mu_U branch gives (164.1, 115.1) GeV at one loop, the named
source scales bracket the measured pair at both loop orders, and the
fit-free curve reproduces m_H = 125.72 GeV at the measured top. The
boundary-scale selection is a theorem modulo two finite carrier facts. A
variational principle (AR1 the boundary reconciles the two anchor records at
mu_U and E_cell; AR2 the reconciliation cost is quadratic in RG time; AR3
the anchors have equal capacity) proves the unique minimizer
E_star exp(-pi) P^(-1/6), (m_t, m_H) = (172.63, 125.77) at two loops
(runs/calibration/d11_boundary_scale_midpoint_selection_theorem.json). AR2 is
discharged under the canonical Gaussian-MaxEnt record model, the AR1 placement
follows from port-additivity plus repair minimization, and AR3 reduces to the
carrier facts CF1 (the boundary record has exactly two parent ports,
gauge-unification and transmutation) and CF2 (those registers are the same
class at equal refinement depth); given RM and CF1 and CF2 the axioms force
the scale with no remaining choices, and CF1/CF2 are the same D11 census
certificate the W/Z law needs
(runs/calibration/d11_anchor_reconciliation_reduction_theorems.json). The
flow-internal selection route is closed by a no-go
(runs/calibration/d11_boundary_scale_selection_audit.json); AR3 is measurable
and the three-loop implied scale is the registered discriminating test.
The row is not a strict source-only particle prediction. Its inherited gates
include the final source root, an independently physical E_star, QT1--QT5,
the concrete RG/matching/scheme receipt, the DS1--DS5 D11 split-character and
rigidity certificate, and top-threshold
control, a complex-pole/uncertainty certificate, and a prospective source DAG.
The full proof-producing implementation contract is documented in
calibration/WZH_SOURCE_CLOSURE_CAMPAIGN.md.
The exact public running-top row uses the PDG 2025 cross-section entry
Q007TP4.
The auxiliary direct-top average Q007TP is compare-only; #207 is closed as a
corpus-limited codomain no-go.
The hierarchy proof bundle is a separate audit lane from the rounded 1.63094
calibration carrier. It records the public endpoint branch
P_C = 1.630968209403959324879279847782648941,
alpha_U(P_C) = 0.041124336195630495, and
v/E_star = 2.0199803239725553e-17, together with a source-audit branch that
keeps the public Thomson endpoint out of the upstream solve. Its Krawczyk
certificate proves a unique source zero for the declared R_U formula stack
inside the supplied interval. The local/global bridge closes on the exact
capacity value
N_CRC^EW = 3.5323546226929906511187512962330547600462e122,
with zero bridge residual, the 12-port screen sieve, the 24-slot oriented
repair register, and epsilon_H = 0 on the selected source-to-Higgs branch.
The screen factor is conditional on strict unit splitting, inverse pairing,
and a source-side D-optimal tomography selector whose production is work in
progress. These are dimensionless hierarchy/naturality statements. They do not turn
v/E_star into a GeV mass until the physical meaning and normalization of
E_star are independently source-closed.
The pixel-screen receipt records the same selected (P_*,N_CRC^EW) pair as an
equal-area screen chart:
K_cell = 4*N_CRC^EW/P_*,
K_cell*(P_*/4)=N_CRC^EW,
Lambda_CRC*l_star^2=3*pi/N_CRC^EW, and
Lambda_CRC*a_cell=3*pi*P_*/N_CRC^EW=12*pi/K_cell.
It is a summary receipt of the existing certificates, not an SI Lambda or
primitive-carrier promotion.
Full SI gravity remains gated by the no-G clock stack.
The emitted W/Z pair is a running/tree chart coordinate. A complete physical observable, renormalization prescription, theory uncertainty, and complex-pole map are absent. The electroweak readout (#594) is not evaluable and is outside the falsification program.
- claim table: RESULTS_STATUS.md
- complete particle-pipeline status: PARTICLE_PIPELINE_STATUS.md
- target-use and convention provenance ledger: PARTICLE_PROVENANCE_LEDGER.md
- per-family mass-candidate classification: MASS_CANDIDATE_STATUS.md
- conditional candidate outputs withheld from the public prediction columns: CONDITIONAL_CANDIDATES.md
- exact-fits-only diagnostic surface: EXACT_FITS_ONLY.md
- exact non-hadron mass bundle: EXACT_NONHADRON_MASSES.md
- machine-readable claim table: results_status.json
- machine-readable exact-fits-only surface: exact_fits_only.json
- machine-readable exact non-hadron mass bundle: exact_nonhadron_masses.json
- generated claim-table artifact: status_table_forward_current.json
- generated exact-fits-only artifact: exact_fits_only_current.json
- generated exact non-hadron mass bundle: exact_nonhadron_masses_current.json
- derivation graph: particle_mass_derivation_graph.svg
- electroweak hierarchy proof bundle: hierarchy
- maximal theorem-emitted package artifact: quark_maximal_theorem_emitted_package.json
- target-free mass bridge artifacts: light_quark_overlap_defect_value_law.json and quark_d12_t1_value_law.json
- physical-sheet contract artifact: quark_lane_closure_contract.json
- algebraic-collapse artifact: quark_absolute_readout_algebraic_collapse.json
- target-anchored
current_family_onlymixed-convention audit witness: quark_current_family_exact_pdg_theorem.json - restricted current-family common-refinement transport-frame sector-attached lift: quark_current_family_transport_frame_sector_attached_lift.json
- restricted current-family common-refinement transport-frame physical sigma lift theorem: quark_current_family_transport_frame_physical_sigma_lift_theorem.json
- restricted current-family common-refinement transport-frame strengthened physical sigma lift theorem: quark_current_family_transport_frame_strengthened_physical_sigma_lift_theorem.json
- restricted current-family common-refinement transport-frame absolute sector readout theorem: quark_current_family_transport_frame_absolute_sector_readout_theorem.json
- restricted current-family common-refinement transport-frame target-audit completion: quark_current_family_transport_frame_exact_pdg_completion.json
- restricted current-family common-refinement transport-frame dimensionful mass textures: quark_current_family_transport_frame_exact_forward_yukawas.json
- restricted current-family common-refinement end-to-end target-audit chain: quark_current_family_end_to_end_exact_pdg_derivation_chain.json
- theorem-grade source-spread non-identifiability obstruction: quark_sigma_source_nonidentifiability_obstruction.json
- source-only spread gate projected from that obstruction: quark_sigma_source_datum_no_target_leak_required.json
- running-mass scheme and physical-Yukawa normalization obstruction: quark_running_mass_scheme_convention_obstruction.json
- selected-class physical sigma-datum descent witness: quark_public_physical_sigma_datum_descent.json
- selected-class target-audit mass-texture wrapper: quark_public_exact_yukawa_end_to_end_theorem.json
- public exact Yukawa promotion frontier: quark_public_exact_yukawa_promotion_frontier.json
- selected-class public closure summary: quark_public_strengthened_physical_sigma_lift_frontier.json
These artifacts fix the quark claim boundary on the local code surface. After
all target rows, exact target witnesses, fitted spreads, and residuals against
them are removed, and granting the candidate-only ordered three-point shape
law of the template-descended branch generator (rejected at common scale,
rho_u rho_d = 0.835), the target-free source packet fixes two ordered profile
rays and leaves their endpoint spans free; without that grant the shape law
itself is unemitted. The compatible spread fiber is exactly
(R_{>0})^2. Its free rescaling action preserves the source identities and
changes the affine mass readout, so it is a physical non-identifiability rather
than a gauge redundancy. The selected-class descent proves representative
independence only after a spread datum is attached; it does not select the
datum. The edge-statistics candidate also leaves two unfixed correction
coefficients and begins from a hand-written family-kernel template.
The legacy-named current-signature counterfamily artifact is emitted in
quark_axiom_level_yukawa_moduli_nonidentifiability.json.
Independent positive rescalings of the two centered quark profiles are an exact
algebraic counterfamily. Their OPH non-identifiability reading is conditional on
the current registered A1--A3 signature and declared structural packet containing
no typed orbit-separating constraint, dynamics, action, or output map. The emitter
serializes that registry audit; it does not prove registry completeness. A
numerical theorem can instead derive any well-typed mechanism that separates or
excludes the orbit; an optimizer-to-output map is one route, not the only one.
The same-family and common-refinement artifacts reproduce their chosen target
coordinates after target inversion. They are audit surfaces, not source-only
predictions. Their packet combines light-quark MSbar coordinates at 2 GeV,
charm and bottom MSbar coordinates at self-scale, and a separate top pole
extraction. The stored GeV-valued matrices therefore certify mass textures,
not physical dimensionless Yukawa matrices. A physical Yukawa construction
would require source-emitted RG trajectories, common-scale transport with
threshold matching, a top conversion, the running Higgs expectation value in
the same scheme, and y_q(mu) = sqrt(2) m_q(mu) / v(mu). Numeric public quark
rows remain withheld. Reopening the source theorem requires a new OPH source
observable that breaks the independent positive-rescaling action without a
dependency path to target data.
From reverse-engineering-reality/code/particles:
python3 calibration/derive_d10_ew_w_anchor_neutral_shear_factorization.py
python3 calibration/derive_d10_ew_source_transport_readout.py
python3 calibration/derive_d10_ew_exactness_audit.py
python3 calibration/derive_d11_declared_calibration_surface.py
python3 calibration/derive_d11_forward_seed.py
python3 calibration/derive_d11_forward_seed_promotion_certificate.py
python3 calibration/derive_d11_live_exact_higgs_promotion.py
python3 calibration/derive_d11_live_exact_split_pair_theorem.py
python3 calibration/derive_d11_reference_exact_adapter.py
python3 neutrino/derive_neutrino_weighted_cycle_repair.py
python3 neutrino/derive_neutrino_bridge_rigidity_theorem.py
python3 neutrino/derive_neutrino_absolute_attachment_theorem.py
python3 neutrino/export_forward_neutrino_closure_bundle.py
python3 neutrino/derive_neutrino_two_parameter_exact_adapter.py
python3 hadron/derive_runtime_schedule_receipt_n_therm_and_n_sep.py
python3 hadron/derive_stable_channel_sequence_evaluation.py
python3 hadron/derive_current_hadron_lane_audit.py
python3 scripts/build_results_status_table.py
python3 scripts/build_exact_fit_surface.py
python3 scripts/build_exact_nonhadron_mass_bundle.py
python3 scripts/generate_mass_derivation_svg.pyFor a disposable runtime rebuild that re-runs the active D10/D11/UV builders, stages the canonical flavor/lepton/neutrino public-surface artifacts, and prints the resulting particle claim table directly in the terminal:
python3 compute_current_output_table.pyUseful flags:
python3 compute_current_output_table.py --show-paths
python3 compute_current_output_table.py --with-hadrons --show-paths
python3 compute_current_output_table.py --no-print-table --show-paths
python3 compute_current_output_table.py --verbose
python3 compute_current_output_table.py --format markdown
python3 compute_current_output_table.py --format json
python3 compute_current_output_table.py --color alwayspython3 -m pytest \
calibration/test_d10_ew_w_anchor_neutral_shear_factorization.py \
calibration/test_d10_ew_source_transport_readout_artifact.py \
calibration/test_d10_ew_exactness_audit.py \
calibration/test_d10_current_carrier_frontier_split.py \
hadron/test_runtime_schedule_receipt_n_therm_and_n_sep.py \
hadron/test_stable_channel_sequence_evaluation.py \
hadron/test_current_hadron_lane_audit.py \
hierarchy/test_hierarchy_bundle.py \
uv/test_oph_bd_threshold_spectrum_receipts.py \
test_results_status_candidate_policy.py \
test_results_status_quark_promotion_policy.py \
test_results_status_structural_rows.py \
test_predictive_builders_reference_free.pyThe code here feeds the particle paper:
- deriving_the_particle_zoo_from_observer_consistency.tex
- deriving_the_particle_zoo_from_observer_consistency.pdf
This particle code surface is part of the OPH public repository. See the main LICENSE.