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 and symbolic audit for the Part IV semantic quotient extension.}
5 \label{tab:block17-validation}
6 \begin{tabular}{@{}lr@{}}
7 \toprule
8 Audit family & Assertions\\
9 \midrule
10 Semantic diamond dimension & 1,000\\
11 Relative residual dimension & 1,000\\
12 Carrier factorization gate & 1,000\\
13 Quadratic/convex symbolic identity & 1\\
14 Polyphase Hankel determinants & 8\\
15 Theorem-source contracts & 13\\
16 \midrule
17 \textbf{Total} & \textbf{3,022}\\
18 Recorded failures & 0\\
19 \bottomrule
20 \end{tabular}
21 \end{table}

Back to source controls

Back to Stratified Universality