01 / Problem
This section is included in the source manuscript and the PDF build for review.
PAPER-024 / June 13, 2026 / corrected September 18, 2026
NIDUS Lab: A Falsification-First Operating System for Frontier Physics Experiments
A JMP0X1B application architecture for protocols, ledgers, instruments, and review gates
01 / Abstract
Abstract
NIDUS Lab is a reference architecture for a laboratory operating system where negative results remain useful and premature claims are blocked by protocol gates. No executable runner, schema implementation, end-to-end instrument simulation, or conformance result is released with this proposal.
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.
\[
\mathrm{Run}=(P,A,T,D,R),
\]
\[
\Box(\mathrm{Publish}\Rightarrow \mathrm{ProtocolComplete}\wedge\mathrm{ArtifactsSigned}\wedge\mathrm{ReviewClosed}).
\]
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.