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{Internal validation record for Core-Transfer Addendum 04.}
4 \label{tab:validation}
5 \small
6 \begin{tabularx}{\textwidth}{@{}L{0.27\textwidth}Y@{}}
7 \toprule
8 Check & Recorded result\\
9 \midrule
10 Package verifier & Overall pass: true; 383 ledger entries; 0 missing; 0 extra; 0 mismatched.\\
11 Exact theorem verifier & 48 of 48 gates passed; arithmetic used exact integers/fractions, finite-field elimination, integer/composite-modulus split decoding.\\
12 Full unit-test attempt & The full test script did not finish within two bounded runs (120 seconds and 600 seconds). The completed tests were passing when the second run timed out. No claim of a full-suite pass is made here.\\
13 Boundary & Internal consistency and exact finite verification only; no external authenticity or peer-review claim.\\
14 \bottomrule
15 \end{tabularx}
16 \end{table}

Back to source controls

Back to Stratified Universality