Context
The two valuation laws fix K+f-h modulo 18 when the least ternary exponent is one or two. Exact minimum masks and the quadratic-reciprocity gate leave 32 canonical strata before odd-prime quotients.
Proof or evidence
A 26-prime CRT-compatible quotient leaves exactly 40 terminal graphs at common period 20,652,025,680. Centering each graph gives either a genuine small presentation or an exact improper rational boundary identity; nine strata have no graph at all.
Verification notes
Independent Python and C++20 implementations reproduce every stage count, the 40-row terminal hash, all centered roots, the minimum six-one excess of the proper controls, and the resulting output-height bound.
Limitations
- The 40 lift graphs are not proved to contain only their centered roots.
- This classifies two minimum layers of two complementary branches, not the complete normalized grammar or arbitrary expression trees.
- No external review or novelty determination is recorded.