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 \caption{Exact finite validation of the Block 03 periodic heterogeneous atlas.}
4 \label{tab:block03-validation}
5 \small
6 \begin{tabularx}{\textwidth}{@{}L{0.28\textwidth}Y@{}}
7 \toprule
8 Check & Recorded result\\
9 \midrule
10 Enumerated normalized objects & $p=2$ through period 8, $p=3$ through period 6; 583 primitive unit-periodic words.\\
11 Exact identities and automaton checks & 39805 checks; 0 failures.\\
12 Arithmetic model & exact prime-field and polynomial arithmetic.\\
13 Overall status & PASS.\\
14 Boundary & Finite enumeration validates the declared ranges and implementation formulas. It does not replace the symbolic proofs or establish unrestricted automatic-to-Mahler equivalence.\\
15 \bottomrule
16 \end{tabularx}
17 \end{table}

Back to source controls

Back to Stratified Universality