EXECUTABLE METHOD · v0.2

Do not ask AI for an argument. Make the theory survive an evaluator.

The toy demonstration is retired. The first real benchmark adapters are now public, versioned, source-anchored and failure-preserving.

Freeze

Hash the ontology contract before a model sees the benchmark.

Manifest

Define observables, units, sources, tolerances, assumptions and Q1–Q5 scope.

Execute

Run explicit equations or detector dynamics. A paragraph cannot return GREEN.

Score

Compute residuals, marginals, event statistics and assumption-specific bounds.

Preserve failure

Keep the worst residual and every failed candidate. Red is data.

Mutate

Change the candidate only inside the declared ontology, or declare the rule change.

The project now has five real adapters. Open them.

Live benchmark ledger Suite receipt Runner source SHA-256 inventory

What is real now

Blackbody adapterChecks Rayleigh–Jeans failure and the Boyer/Planck formula relation while refusing to label that identity a rederivation of all SED dynamics.

Barrier adapterChecks the common exponential skeleton and keeps electron statistics outside the claim.

Quantum-optics adapterMechanically scopes g² and HOM bounds to their model assumptions instead of calling one number “the classical limit.”

Hall singlet adapterImplements Hall’s published setting-dependent hidden-state density, reproduces singlet joint probabilities and no-signalling marginals, and checks the corrected 2016 M value.

Detector-dynamics sandboxGenerates event times from continuous input plus threshold/reset/recovery dynamics; 40 candidates are retained, including failures.

ProvenanceEvery manifest references the same ontology-contract SHA-256; source and receipt files are hashed in the public inventory.

What is not real yet

There is still no unified classical theory of hydrogen, Bell correlations, photodetection and semiconductor microphysics. The Hall adapter supplies a mathematical representation, not a microscopic origin for measurement dependence. The detector sandbox supplies detector anticoincidence, not a source-plus-detector reconstruction of single-emitter quantum optics. Those red cells stay red.

The job is no longer to make the classical case sound possible. The job is to make candidate dynamics fail specifically enough that AI can repair or abandon them.