Manuscript text (TeX)
AVOC
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}{Main paper}
4
5 % Operation Komorebi: shared publication profile.
6 \usepackage{komorebi-publication}
7 \renewcommand{\KomorebiTitle}{AVOC}
8 \renewcommand{\KomorebiSubtitle}{Artifact value, guarded operations, and calibrated planning}
9 \renewcommand{\KomorebiSeries}{Research library}
10 \renewcommand{\KomorebiKind}{Traditional paper}
11 \renewcommand{\KomorebiEdition}{Standardized publication edition / 8 October 2026}
12 \renewcommand{\KomorebiShortTitle}{AVOC}
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 source-grounded exposition of the cumulative AVOC Formal v0.41.0 theory. The companion documents provide a worked visual route and a guide to the actual Lean declarations, evidence, and reproduction commands.}
21
22
23 \input{introduction.tex}
24 \input{core_chapters.tex}
25 \input{planning_chapters.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: d1e3796bb0d117f937d4e627ef1db3a6f23d0bf30dad63775528a8e66c0eab3e