CLASSICAL RECONSTRUCTION
EXECUTABLE LEDGER · v0.4

Stop arguing. Run it.

Every green badge below comes from a deployed receipt. Green means the adapter satisfied its declared benchmark—not that nature has been declared classical.

Loading executable suite…
BLACKBODY

Boyer formula target

Thermal remainder of x/2 coth(x/2) is checked against Planck’s x/(e^x−1). This validates the formula relation, not Boyer’s entire derivation.

…
BARRIER

Exponential skeleton

Classical evanescence and leading WKB are compared only at the shared exp(−2κd) level. Electron statistics remain outside the claim.

…
QUANTUM OPTICS

Bounds need assumptions

Positive-intensity standard detection, random-phase HOM, and phase-correlated HOM are separate model classes, not one rhetorical “classical limit.”

…
BELL

Hall model, not hand-waving

The published setting-dependent density and deterministic local responses are integrated exactly over the sphere sectors and checked against singlet probabilities.

…
DETECTOR

Events from dynamics

Continuous input drives an accumulator, threshold, reset and recovery state. No antibunching curve is inserted by hand. Every grid candidate is kept.

…
ONTOLOGY HASH

Rules frozen first

Every manifest carries the same SHA-256 ontology-contract hash. A candidate cannot change the rules after seeing the residual.

…

What the receipts actually say

BlackbodyBoyer thermal formula and Planck target coincide numerically to floating-point precision; Rayleigh–Jeans overshoots the Planck mode energy by more than four orders of magnitude at x=12. The adapter does not rederive the stochastic dynamics.
Hall singletJoint probabilities, −cosφ correlations and 1/2 marginals are reproduced by Hall’s setting-dependent density. The corrected 2016 measurement-dependence value is checked. The mechanism producing setting–λ dependence remains open.
Detector sandboxThreshold/reset/recovery dynamics generate the event point process. The grid contains both passes and failures. This proves detector dynamics matter; it does not reconstruct single-emitter source physics.
Barrier + quantum opticsThese adapters police scope: shared exponential structure is not electron tunneling statistics, and familiar g²/HOM limits are bound to declared detection/source assumptions.

Open the machinery

MANIFESTSblackbody · barrier · optics · Hall · detector
RECEIPTSsuite · manifest validation · SHA-256 inventory
CODEblackbody.py · hall_singlet.py · detector_sandbox.py · run_all.py
CONTRACTontology JSON · manifest schema
“Uniquely quantum” is no longer allowed to survive by adjective. Name the model class. Run the benchmark. Publish the failure.

Loading deployed receipts…