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 % Generated by verify_block16_holonomy_lane_transport.py
2 \begin{table}[htbp]
3 \centering
4 \caption{Exact finite regression for selected holonomy-twisted lane clauses. The table is an implementation record, not a proof or external validation.}
5 \label{tab:block16-validation}
6 \begin{tabular}{@{}lr@{}}
7 \toprule
8 Validation family & Exact assertions\\
9 \midrule
10 Group actions and object-orbit descent & 7,780\\
11 Pair-orbit partitions and intertwiner bases & 3,537\\
12 Orbital path composition and structure constants & 1,212,963\\
13 Compatible selectors and negative controls & 994\\
14 Equivariant refinement and orbit-projector sums & 10,162\\
15 Rational cyclotomic orbit projectors & 109,374\\
16 Theorem-source contract & 13\\
17 \midrule
18 Total selected implementation assertions & 1,344,823\\
19 Recorded failures & 0\\
20 \bottomrule
21 \end{tabular}
22 \end{table}

Back to source controls

Back to Stratified Universality