A family of plane polynomial automorphisms is indexed by the degrees of the elementary maps used to build it. The Polydegree Conjecture predicts when one such family lies in the closure of another. This anonymous, unrefereed candidate presents the full column indexed by e equals four. For every degree d at least two, it claims that the stratum with degree d plus four lies in the closure of the stratum with degrees d and five. The proof divides all degrees into four residue classes. Previously published work covers degrees below twenty. One residue class has an exact solution. For the other three, fourteen thousand nine hundred eighty-five outward-rounded FLINT and Arb calculations cover a finite interval. A separate analytic argument, based on explicit Fourier-limit zeros and quantitative Newton bounds, covers every later degree from one threshold onward. The public package contains all case rows, exact locators, receipts, source, manuscripts, manifests and deliberate mutation controls. A companion Lean development verifies a universal bordered-Jacobian identity over arbitrary commutative rings. Another short paper proves a conditional boundary-norm transfer theorem. The scope is crucial. This does not prove Furter's R three, monotone rigidity, the two-dimensional Jacobian conjecture or the quartic Hessian conjecture. The work has producer-side replay and internal AI review, but no independent implementation, external specialist review or journal peer review. This synthetic-voice briefing is a communication aid, not additional mathematical evidence.