The Constructor Alphabet Under a Null Model: Trials-Corrected Significance for the QTT Corpus

A trials-correction engine for parameter-free numerical physics claims. This record freezes a constructor alphabet for the Quantum Traction Theory corpus and asks a plain statistical question: if a legal expression may be built from the printed alphabet, how surprising is it that some expression lands inside a given experimental corridor? The central audit objects are \[ K=Nₗₑₐᵥₑₛ+Nₒₚₑᵣₐₜₒᵣₛ, K^(x,w):\; E[N(K,w)]=1, \] where \(K\) is expression complexity and \(K^\) is the complexity at which one chance expression is expected inside target corridor \(w\). The binding row rule is \[ Krow≥ K^(x,w) the corridor agreement is void as evidence. \] Any separate source theorem, finite enumeration, or forward prediction must then stand on its own provenance rather than on numerical closeness. The frozen grammar is hashed before the corpus-wide audit: \[ SHA256( A) = a76635710034818ef071e885c351a88b56afd46ed78b706016ef3829493a3e27. \] The corrected executable receipt gives \[ Ndistinct(K=5)=31{,}425, Ndistinct(K≤5)=32{,}317. \] The pilot cards print both sides of the audit. For \(α⁻¹=137.035999166\) at the CODATA-width corridor \(w=1.6×10⁻¹⁰\), the corrected receipt gives \[ K^_{α⁻¹} 11.54. \] For the neutrino mass-squared ratio at a one-percent corridor, it gives \[ K^ν 3.51. \] So the fine-structure corridor can remain protective if the corpus expression audits below the crossover, while the percent-level neutrino corridor is void as corridor evidence under this alphabet. That neutrino row must be judged by its independent source-word enumeration and forward test, not by percent-level closeness. The release includes the paper PDF and a reconstruction ZIP containing the LaTeX source, the standard-library Python engine, the pilot Enumeration Cards, render audit, metadata, and SHA-256 manifest. Related QTT anchors: Main book concept DOI: 10.5281/zenodo.17527179 Artian Keystone Audit: 10.5281/zenodo.21141060 Newton's constant source ledger: 10.5281/zenodo.20057430 qtt-verify: 10.5281/zenodo.21138431