Stratified Universality

Download original file

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

Read the typeset paper

1 \begin{table}[htbp]
2 \centering
3 \small
4 \caption{Final formal-foundations publication audit.}
5 \label{tab:formal-foundations-v2-audit}
6 \begin{tabularx}{\textwidth}{@{}L{0.31\textwidth}Y@{}}
7 \toprule
8 Audit surface & Recorded result\\
9 \midrule
10 Source graph & 65 recursively included TeX files; 620 labels; 153 source references\\
11 Concordance & 75 components with synchronized status and domain counts\\
12 Inherited validation & Block 15 PASS; Block 16 PASS with 1,344,823 assertions\\
13 Part IV validation & 3,022 exact symbolic assertions; zero recorded failures\\
14 Compiled artifact & 247 pages; metadata, theorem-layer text, references, citations, and graphics checked\\
15 Audit result & 77 checks; 0 failures\\
16 Boundary & Internal publication integrity only; not independent peer review or historical-priority validation.\\
17 \bottomrule
18 \end{tabularx}
19 \end{table}

Back to source controls

Back to Stratified Universality