01 / Problem
This section is included in the source manuscript and the PDF build for review.
Paper 024 / Application 001 / June 13, 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 proposed as a laboratory operating system for research programs where negative results are valuable and premature claims are dangerous. It binds protocol state machines, instrument telemetry, stress-energy ledgers, null-result likelihoods, sample recipes, and publication artifacts into a signed, replayable workflow. The target domains are electrostatic projection tests, coated-wire replication, microwave cavity audits, and cryogenic subsystem qualification.
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.