Pisot Dimensional Theory (PDT-AutoMath): Automated Mathematical Discovery from the Pisot Boundary

Applies the AutoMath 'Derive-Discover-Name' methodology to the PDT polynomial pair x^3-x-1=0 and x^4-x-1=0 at the unique Pisot boundary of x^n=x+1. Derives 95 theorems across 10 mathematical branches from three axioms: P3, P4, and the unit norm identity N(rho*Q)=-1. Branches cover core algebra, norm theory, integer sequences (Padovan/Perrin), convergence and spectral theory, compositum structure, elliptic curves and L-functions, dynamics, arithmetic geometry, physics staircase (coupling constants), and connections to the golden ratio. All 95 theorems verified. Compare: AutoMath (Omega Institute) derived ~2350 theorems from x^2=x+1 in Lean 4. PDT uses the two members straddling the unique Pisot boundary, from which all SM constants can be derived.