Registry · Definition
IV.D308
tau-effective
formalized
IV.D308 — Structural Constants Table
The structural constants table lists dimensionless integers determined by kernel axioms K0-K6: 5 generators, 4 arena dimensions, 3 solenoidal generators, 2 polarity characters, 1 master constant. These are established-scope results, proved in Lean 4 without conjectural steps.