01 / Problem
This section is included in the source manuscript and the PDF build for review.
PAPER-027 / June 13, 2026 / corrected September 18, 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 reference architecture for turning negative results into signed, queryable scientific assets. Signatures can establish artifact integrity and provenance, not scientific validity. No schema implementation, verifier, threat-model test, or statistical compatibility result 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.
\[
\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.