01 / Problem
This section is included in the source manuscript and the PDF build for review.
PAPER-020 / June 13, 2026 / corrected September 18, 2026
Formal Specification of Falsification Protocols for Frontier Physics Experiments
From narrative controls to machine-checkable laboratory obligations
01 / Abstract
Abstract
JMP0X1B papers repeatedly require pressure ladders, polarity pairs, shielding controls, blind runs, null bounds, and artifact ledgers. This paper proposes a formal-specification layer for those obligations. No executable specification, model-checker run, counterexample suite, or verified protocol is released.
02 / Frame
Research Frame
This landing page publishes the paper as an auditable source bundle. The PDF carries the full mathematical argument, claims, evidence plan, implementation surface, and release notes.
\[
\Box(\mathrm{ClaimReleased} \Rightarrow \mathrm{Calibrated}\wedge\mathrm{ControlsCovered}\wedge\mathrm{LedgerClosed}\wedge\mathrm{Reviewed}).
\]
\[
\Box(\mathrm{Released}\Rightarrow\mathrm{AppendOnlyErratumEnabled}),\qquad
\Box(\mathrm{DataAmended}\Rightarrow \mathrm{RevisionLinked}).
\]
03 / Structure
Paper Structure
The manuscript follows the JMP0X1B discipline: state the problem, formalize the model, name the claims, and publish enough source material for review and revision.
02 / Model
This section is included in the source manuscript and the PDF build for review.
03 / Claims
This section is included in the source manuscript and the PDF build for review.
04 / Evidence Plan
This section is included in the source manuscript and the PDF build for review.
04 / Files
Paper Files
The PDF is generated from the LaTeX source. Both are published for auditability and future revision.