Manuscript text (TeX)
Certified Bayesian Inference
main.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
Included manuscript sections
1 \documentclass[11pt]{article}
2 \input{common.tex}
3 \renewcommand{\paperkind}{Traditional paper}
4
5 % Operation Komorebi: shared publication profile.
6 \usepackage{komorebi-publication}
7 \renewcommand{\KomorebiTitle}{Certified Bayesian Inference}
8 \renewcommand{\KomorebiSubtitle}{One-observation Gaussian updates, exact packets, and outward-rounded evidence}
9 \renewcommand{\KomorebiSeries}{Research library}
10 \renewcommand{\KomorebiKind}{Traditional paper}
11 \renewcommand{\KomorebiEdition}{Standardized publication edition / 8 October 2026}
12 \renewcommand{\KomorebiShortTitle}{Certified Bayesian Inference}
13 \renewcommand{\KomorebiTitleSize}{38}
14 \renewcommand{\KomorebiTitleLeading}{43}
15 \renewcommand{\KomorebiProfile}{classical}
16 \renewcommand{\KomorebiOrientation}{portrait}
17 \KomorebiSetup
18 \begin{document}
19 \KomorebiCover
20 \KomorebiOpeningNote{A complete finite-dimensional, one-observation inference construction\\Based on Certified Inference Core 1.0.0}
21
22
23 \input{introduction.tex}
24 \input{foundations.tex}
25 \input{solver.tex}
26 \input{closing.tex}
27 \end{document}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: b40b4276ba4fa733474ec0ffa3dff8998268524d66faa437fce1a445031ea23f