% Auto-generated working paper draft for research.jmp0x1b.com
% Build: pdflatex -interaction=nonstopmode paper-027-nullledger-signed-bayesian-evidence-infrastructure-for-negative-results.tex

\documentclass[11pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{array}
\usepackage{hyperref}
\usepackage{enumitem}
\usepackage{verbatim}
\usepackage{fancyhdr}
\usepackage{lastpage}
\hypersetup{colorlinks=true, linkcolor=black, urlcolor=black, citecolor=black}
\setlist[itemize]{leftmargin=1.2em}
\setlist[enumerate]{leftmargin=1.4em}
\newtheorem{proposition}{Proposition}
\newtheorem{definition}{Definition}
\newtheorem{protocol}{Protocol}
\pagestyle{fancy}
\fancyhf{}
\lhead{JMP0X1B Research}
\rhead{Working paper draft}
\cfoot{\thepage\ of \pageref{LastPage}}
\sloppy

\title{\Large Paper 027 / Application 004\\[0.6em]\textbf{NullLedger: Signed Bayesian Evidence Infrastructure for Negative Results}\\[0.3em]\large Publishing reusable null bounds for speculative physics and mission-grade engineering}
\author{JMP0X1B Research Group}
\date{Working paper draft / June 13, 2026}
\begin{document}
\maketitle
\begin{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.
\end{abstract}

\noindent\textbf{Status.} Draft manuscript for review and revision. This paper is not an empirical claim of new physics or field-ready technology. It is a structured proposal, theory note, protocol, or application architecture intended to be auditable, falsifiable, and publishable with source.

\tableofcontents
\newpage

\section{Problem}
Negative results are often trapped in PDFs, lab notebooks, or private repositories. They become difficult to combine, search, or cite. The problem is to publish nulls as structured evidence without exaggerating their scope or exposing sensitive raw data unnecessarily.

\section{Model}
NullLedger separates public metadata, signed digests, redacted run summaries, and optional raw data. Query results return compatibility warnings when users attempt to combine entries with mismatched mechanisms, controls, or priors.


\[
  \mathrm{Entry}=\{M,L,C,N,P,H\},
\]
where $M$ is model, $L$ likelihood, $C$ controls, $N$ nuisance assumptions, $P$ posterior, and $H$ provenance hash.
\[
  \mathrm{Combine}(E_i,E_j)\Rightarrow \mathrm{Compatible}(M_i,M_j,C_i,C_j).
\]


\section{Claims}
\begin{enumerate}
\item \textbf{Claim 1.} Null results deserve infrastructure equal to positive-result repositories.
\item \textbf{Claim 2.} Compatibility checks prevent mathematically invalid meta-analysis from looking authoritative.
\item \textbf{Claim 3.} Signed digests allow public citation before full raw-data release.
\item \textbf{Claim 4.} The same ledger pattern supports engineering qualification failures, not only speculative physics nulls.
\end{enumerate}

\section{Evidence Plan}
The prototype should ingest synthetic nulls from electrostatic, materials, and cavity domains and demonstrate compatibility warnings. A second demonstration should publish a cumulative exclusion plot that changes when one entry is amended through an erratum.

\section{JMP0X1B Implementation Surface}
The implementation should build on provenance contracts, deterministic serialization, and typed model schemas in JMP0X1B. Query functions should expose reasoned failures, not only successful combinations.

\subsection*{Illustrative JMP0X1B-style contract}
\begin{verbatim}
record EvidenceEntry { model: ModelRef, controls: ControlSet, likelihood: Digest, posterior: PosteriorSummary, provenance: Provenance }
fn combine(entries: List<EvidenceEntry>) -> Either<CompatibilityError, MetaPosterior> effects{Statistics, Provenance, Audit}
\end{verbatim}


\section{Release And Review Plan}
Release schemas, example entries, query semantics, compatibility tests, and a public-facing report generator for research.jmp0x1b.com.

\section{Open Questions}
\begin{itemize}
\item How much likelihood detail is needed for useful combination?
\item How should confidential raw data be escrowed?
\item What signature trust model should the first deployment use?
\item Can journals cite ledger entries as formal artifacts?
\end{itemize}

\section{Conclusion}
NullLedger gives failed or negative experiments durable scientific value. It is one of the highest-leverage software applications from the research program.

\section*{References}
\begin{thebibliography}{99}
\bibitem{jmp013} JMP0X1B Research Group. \emph{A Bayesian Null Ledger for Electrostatic Projection Experiments}. Working paper draft, 2026. \url{https://research.jmp0x1b.com/papers/a-bayesian-null-ledger-for-electrostatic-projection-experiments.html}
\bibitem{jmp017} JMP0X1B Research Group. \emph{Conservation-First Stress-Energy Audits for Closed Electromagnetic Devices}. Working paper draft, 2026. \url{https://research.jmp0x1b.com/papers/conservation-first-stress-energy-audits-for-closed-electromagnetic-devices.html}
\bibitem{jmp020} JMP0X1B Research Group. \emph{Formal Verification of Falsification Protocols for Frontier Physics Experiments}. Working paper draft, 2026. \url{https://research.jmp0x1b.com/papers/formal-verification-of-falsification-protocols-for-frontier-physics-experiments.html}
\bibitem{wilkinson} M. D. Wilkinson et al. The FAIR Guiding Principles for scientific data management and stewardship. \emph{Scientific Data}, 3:160018, 2016.
\bibitem{prov} World Wide Web Consortium. \emph{PROV-DM: The PROV Data Model}. W3C Recommendation, 2013. \url{https://www.w3.org/TR/prov-dm/}
\bibitem{jmp_provenance} JMP0X1B. \emph{jmp0x1b\_provenance package}. \url{https://libs.jmp0x1b.com/packages/jmp0x1b_provenance}
\bibitem{jmp_lang_spec} JMP0X1B. \emph{jmp0x1b\_lang\_spec package}. \url{https://libs.jmp0x1b.com/packages/jmp0x1b_lang_spec}
\end{thebibliography}

\end{document}