Reducedness of the Hilbert scheme of eight points in affine four-space

Unrefereed candidate: an author-claimed complete computer-assisted proof that Hilb^8(A^4) is reduced over every algebraically closed characteristic-zero field. Includes the manuscript, original proof modules, computational evidence, replay tools, negative controls and five producer-coordinated internal AI editorial reports. Internal replay and AI review are not external peer review, independent whole-proof reproduction, formal verification or novelty clearance. Original prose/data CC0-1.0; original code MIT. Historical machine paths are retained solely as provenance, not required replay locations.