Normal-Closure Monodromy and Boundary Defects for the Jacobian Conjecture

We prove that every Keller map F: A^n_k -> A^n_k over an algebraically closed field of characteristic zero is an automorphism. The proof is organized around a finite directed system of certified states equipped with a lexicographically ordered energy. Its transitions are defined geometrically and are either terminal, energy preserving, or strictly decreasing with respect to the control carrier. The remaining full-monodromy configuration is reduced to a horizontal ramified tract, which is excluded by Henselian Kummer normalization, finite étale rigidity in the transverse directions, transverse denominator analysis, and a reduction to one-dimensional slice geometry.