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{Exact finite regression for selected implementation clauses of the Universal Lane Transport theorem. This table is not an exhaustive proof or an external validation.}
5 \label{tab:block15-lane-transport-validation}
6 \begin{tabularx}{\textwidth}{@{}Y r@{}}
7 \toprule
8 Validation family & Exact assertions \\
9 \midrule
10 Integer/unimodular lane matrices & 28,490 \\
11 Dense rational three-level refinement & 16,674 \\
12 Abstract additive folds and strict selectors & 1,000 \\
13 Actual-support loss decomposition & 300 \\
14 Factorial and residue-lane realization & 150,630 \\
15 Deliberately invalid negative controls & 5 \\
16 \midrule
17 \textbf{Total selected implementation assertions} & \textbf{197,099} \\
18 Recorded failures & 0 \\
19 \bottomrule
20 \end{tabularx}
21 \end{table}

Back to source controls

Back to Stratified Universality