Paper X: Universal Residual Seeds and Conditional Occupied-System Completion

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \documentclass[12pt,a4paper]{article}
2 \usepackage[left=20mm,right=20mm,top=19mm,bottom=19mm,headheight=15pt,headsep=15pt,footskip=22pt]{geometry}
3 \usepackage[T1]{fontenc}
4 \usepackage{lmodern,microtype,amsmath,amssymb,mathtools,mathrsfs,bm}
5 \usepackage{graphicx,array,booktabs,tabularx,multicol}
6 \usepackage[table]{xcolor}
7 \usepackage{tikz,tcolorbox,fancyhdr}
8 \usetikzlibrary{arrows.meta,decorations.pathreplacing,patterns,calc,positioning}
9 \usepackage[hidelinks,pdfauthor={Komorebi P.},pdftitle={Paper X: A Visual Appendix},pdfsubject={Residual seeds, lifting forests, finite occupancy, and the arithmetic separator boundary}]{hyperref}
10 \usepackage{bookmark}
11 \hypersetup{pageanchor=false}
12 \setlength{\parindent}{0pt}
13 \setlength{\parskip}{4pt}
14 \setlength{\emergencystretch}{2em}
15 \renewcommand{\arraystretch}{1.2}
16 \linespread{1.03}
17 \setlength{\abovedisplayskip}{7pt}
18 \setlength{\belowdisplayskip}{7pt}
19 \pagestyle{fancy}\fancyhf{}
20 \fancyhead[L]{\sffamily\fontsize{8}{10}\selectfont PAPER X\quad /\quad VISUAL APPENDIX}
21 \fancyhead[R]{\sffamily\fontsize{8}{10}\selectfont KOMOREBI P.}
22 \fancyfoot[L]{\sffamily\fontsize{8}{10}\selectfont Reader's edition\quad\textbullet\quad Block 27 + scalar/Mellin continuation}
23 \fancyfoot[R]{\sffamily\small V\,--\,\thepage}
24 \renewcommand{\headrulewidth}{.35pt}\renewcommand{\footrulewidth}{0pt}
25 \newcommand{\OO}{\mathcal O}
26 \newcommand{\FF}{\mathbb F}\newcommand{\QQ}{\mathbb Q}\newcommand{\ZZ}{\mathbb Z}\newcommand{\RR}{\mathbb R}
27 \newcommand{\Spec}{\operatorname{Spec}}\newcommand{\Supp}{\operatorname{Supp}}\newcommand{\Fitt}{\operatorname{Fitt}}
28 \newcommand{\Ann}{\operatorname{Ann}}\newcommand{\coker}{\operatorname{coker}}\newcommand{\im}{\operatorname{im}}
29 \newcommand{\rank}{\operatorname{rank}}\newcommand{\Tr}{\operatorname{Tr}}\newcommand{\id}{\operatorname{id}}
30 \newcommand{\whot}{\mathbin{\widehat\otimes}}\newcommand{\m}{\mathfrak m}\newcommand{\p}{\mathfrak p}
31 \newcommand{\head}[1]{\par\vspace{2pt}{\sffamily\bfseries\normalsize #1}\par\vspace{1pt}}
32 \newcommand{\captiontext}[1]{\par\noindent{\footnotesize\color{black!70}#1\par}}
33 \newtcolorbox{insight}{colback=black!3,colframe=black!55,boxrule=0pt,leftrule=1.1pt,arc=0pt,left=10pt,right=10pt,top=5pt,bottom=5pt,before skip=6pt,after skip=5pt}
34 \newcommand{\takeaway}[1]{\begin{insight}\textbf{Read this as:}\ #1\end{insight}}
35 \newcommand{\vfig}[2][.96]{\par\begingroup\centering\resizebox{#1\linewidth}{!}{\input{graphics/#2.tex}}\par\endgroup\vspace{2pt}}
36 \newcolumntype{Y}{>{\raggedright\arraybackslash}X}
37 \newif\ifstarted\startedfalse
38 \newcommand{\vpage}[4]{\ifstarted\clearpage\else\startedtrue\fi
39 \pdfbookmark[1]{V#1. #2}{PXA.visual#1}
40 {\sffamily\fontsize{9}{11}\selectfont\bfseries #3\par}\vspace{5pt}
41 {\raggedright\hyphenpenalty=10000\sffamily\bfseries\fontsize{22}{25}\selectfont #2\par}\vspace{5pt}
42 {\sffamily\fontsize{8.7}{11}\selectfont\color{black!65} #4\par}\vspace{6pt}}
43 \newcommand{\pagerefV}[1]{\hyperlink{PXA.visual#1.1}{V#1}}
44 
45 \newcommand{\CC}{\mathbb C}
46 \newcommand{\kk}{\mathbb k}
47 \renewcommand{\AA}{\mathcal A}
48 \newcommand{\BB}{\mathcal B}
49 \newcommand{\Hull}{\operatorname{Hull}}
50 \newcommand{\srank}{\operatorname{srank}}
51 \newcommand{\Span}{\operatorname{span}}
52 \newcommand{\End}{\operatorname{End}}
53 \newcommand{\diag}{\operatorname{diag}}
54 \newcommand{\Ker}{\operatorname{ker}}
55 \newcommand{\norm}[1]{\left\lVert#1\right\rVert}
56 \newcommand{\mat}[1]{\begin{pmatrix}#1\end{pmatrix}}
57 \newcommand{\Ob}{\operatorname{Ob}}
58 \newcommand{\supp}{\operatorname{supp}}
59 \newcommand{\src}{\operatorname{src}}\newcommand{\tgt}{\operatorname{tgt}}
60 \newcommand{\Res}{\operatorname{Res}}
61 \newcommand{\sech}{\operatorname{sech}}
62 \newcommand{\Dfun}{\mathsf D}
63 \newcommand{\Efun}{\mathsf E}
64 \newcommand{\Tfun}{\mathsf T}
65 \newcommand{\Sfun}{\mathsf S}
66 \newcommand{\Cfun}{\mathsf C}
67 \newcommand{\Thetafun}{\mathsf\Theta}
68 \newcommand{\ones}{\mathbf{1}}
69 \newcommand{\EE}{\mathbb{E}}
70 \newcommand{\Var}{\operatorname{Var}}
71 \newcommand{\diagmat}[1]{\operatorname{diag}(#1)}
72 \newcommand{\ket}[1]{\lvert #1\rangle}
73 \newcommand{\bra}[1]{\langle #1\rvert}
74 \newcommand{\HH}{\mathcal H}
75 \newcommand{\dd}{\mathrm d}
76 \newcommand{\ii}{\mathrm i}
77 \newcommand{\cost}{\operatorname{cost}}
78 \newcommand{\err}{\operatorname{err}}
79 \newcommand{\vp}{v_p}
80 \newcommand{\Zp}{\mathbb Z_p}\newcommand{\Qp}{\mathbb Q_p}\newcommand{\Ztwo}{\mathbb Z_2}
81 \newcommand{\Cj}{C_{4,j}}\newcommand{\Uj}{U_{4,j}}
82 \newcommand{\binomzero}[2]{\binom{#1}{#2}}
83 \usepackage{komorebi-publication}
84 \renewcommand{\KomorebiTitle}{Universal Residual Seeds}
85 \renewcommand{\KomorebiSubtitle}{Deformation forests, transport categories, and conditional system completion}
86 \renewcommand{\KomorebiSeries}{Core series X}
87 \renewcommand{\KomorebiKind}{Visual guide}
88 \renewcommand{\KomorebiShortTitle}{Paper X}
89 \renewcommand{\KomorebiTitleSize}{36}
90 \renewcommand{\KomorebiTitleLeading}{41}
91 \renewcommand{\KomorebiEdition}{Verification edition / 20 October 2026}
92 \KomorebiSetup
93 \renewcommand{\KomorebiProfile}{atlas}
94 \KomorebiSetup
95 \begin{document}
96 \KomorebiCover
97 \pagenumbering{roman}
98 
99 \section*{The current reading contract}
100 This guide preserves the Block 27 and scalar/Mellin worked examples. Their stated checkpoint limits belong to those source revisions. The later occupied-system endpoint is checked at its amended conditional scope: 20/20 internal claims. Actual completed source members, inverse-limit profile closure, compatible carrier presentations and constituent local comparisons remain supplied inputs.
101 \begin{center}
102 \begin{tikzpicture}[node distance=13mm,every node/.style={draw=KomorebiPine,fill=KomorebiSoft,rounded corners=2pt,align=center,text width=5.5cm,inner sep=7pt},>=Stealth]
103 \node (a) {Completed source family\\All-depth horizontal transport\\Closed target profile};
104 \node[below=of a] (b) {Transported target family};
105 \node[right=9mm of a] (c) {Arithmetic trace separator\\Explicit compatible carrier\\Selected constituent copies};
106 \node[below=of c] (d) {Recovered carrier summand};
107 \draw[->,thick,KomorebiPine] (a)--(b);
108 \draw[->,thick,KomorebiPine] (c)--(d);
109 \end{tikzpicture}
110 \end{center}
111 The endpoint proves both outputs. It does not assert that their supplied local structures have been identified. Zero multiplicity is allowed; nonzero occupancy needs its own input. All-place carrier recovery needs the pointwise presentations at each place.
112 \clearpage
113 \section*{A checked scope and a later unpromoted scope}
114 The final checked conditional release records two successful builds, matching proof objects, source and axiom checks, and negative controls. Its exact production source and saved records accompany this edition. A later stronger residual-system attempt records 19/20, no promoted endpoint, and an unavailable pinned Lean executable. The two records describe different input contracts.
115 
116 The traditional edition gives the complete retained manuscript and the later conditional assembly. The Lean guide shows the source-exact endpoint, its proof structure and its evidence. The PDF build checks presentation. The separate October 20 production run freshly compiles the selected 122-module closure; its source selection and exact limits are recorded in the Lean guide.
117 \clearpage
118 \setcounter{page}{1}\renewcommand{\thepage}{V\arabic{page}}
119 \input{source/pages.tex}
120 \end{document}

Back to source controls

Back to Paper X: Universal Residual Seeds and Conditional Occupied-System Completion