01 / Problem
This section is included in the source manuscript and the PDF build for review.
Paper 027 / Application 004 / June 13, 2026
NullLedger: Signed Bayesian Evidence Infrastructure for Negative Results
Publishing reusable null bounds for speculative physics and mission-grade engineering
01 / Abstract
Abstract
NullLedger is a technology paper for turning negative results into signed, queryable scientific assets. It implements the Bayesian null ledger proposed for electrostatic projection experiments but generalizes to materials replication, cavity audits, and subsystem qualification. Each entry stores model definitions, likelihoods, controls, nuisance assumptions, posterior summaries, and provenance.
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{Entry}=\{M,L,C,N,P,H\},
\]
\[
\mathrm{Combine}(E_i,E_j)\Rightarrow \mathrm{Compatible}(M_i,M_j,C_i,C_j).
\]
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.