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 verification of the Global synthesis atlas invariant-descent and weighted q-ary cross-stratum models.}
4 \label{tab:block13-global-invariant-validation}
5 \small
6 \begin{tabularx}{\textwidth}{@{}Y r@{}}
7 \toprule
8 Validation class & Checks\\
9 \midrule
10 Bridge-matrix structural checks & 172\\
11 Weighted q-ary coefficient identities & 1,856\\
12 Exact support-period identities & 8,192\\
13 Formal fixed-point identities & 8,192\\
14 Minimal-polynomial relation checks & 8,192\\
15 Finite parameter recovery & 128\\
16 Tree/algebraic/holonomic comparison paths & 64\\
17 Supported first-order recurrence checks & 1,792\\
18 Packet support and orbit-phase checks & 2,112\\
19 Exact packet synthesis checks & 44,352\\
20 Address-carry packet equations & 44,352\\
21 Tagged component-separation checks & 49\\
22 \midrule
23 \textbf{Global synthesis exact checks} & \textbf{119,453}\\
24 \textbf{Failures} & \textbf{0}\\
25 \bottomrule
26 \end{tabularx}
27 \end{table}

Back to source controls

Back to Stratified Universality