Verification code for "Arithmetic Geometry at the Pisot Boundary" — five arithmetic theorems and the Dimensional Norm-Hodge Theorem for the PDT polynomials

Computational verification of Pisot pruning across the trinomial family x^n = x + 1 — three-test suite for the algebraic foundation of Pisot Dimensional Theory.

The strong coupling constant α_s(M_Z) = Ω₄/23 = 0.117921 from the real period of elliptic curve 1132b1 divided by the discriminant prime of x³−x−1. Zero free parameters. 0.02% match to PDG.