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 global-invariant and cross-stratum synthesis layer.}
4 \label{tab:block13-combined-validation}
5 \small
6 \begin{tabularx}{\textwidth}{@{}Y r@{}}
7 \toprule
8 Validation suite & Exact assertions\\
9 \midrule
10 Bridge matrix, overlap replay, directional-loss, and finite \v{C}ech suite & 154,209\\
11 Weighted $q$-ary tree--algebraic--holonomic and tagged-invariant suite & 119,453\\
12 \midrule
13 Regression/authentication assertions already represented in the certified native-stratum program & 39,846\\
14 \textbf{New Global synthesis atlas comparison and coherence assertions} & \textbf{233,816}\\
15 All assertions executed by the two Global synthesis atlas suites & 273,662\\
16 Failures & 0\\
17 \bottomrule
18 \end{tabularx}
19 \end{table}

Back to source controls

Back to Stratified Universality