# Verification of the scoped semisimple-field corollary

The originating researcher accepted the written proof after an adversarial
self-audit covering the field of definition of the modular covering,
non-prime-to-ell isogeny degrees, residual lattice independence, scalar
extension, level-one modularity and the weight interval, exact Delta image
witnesses, cyclotomic intersections, restriction of simple factors,
nontrivial occurrence, and the distinction between full and semisimple fields.

The manuscript and reproducibility/proof.md contain the proof. Khare's
theorem, the classical newform decomposition, and Hoshi-Iijima's theorem
are load-bearing external inputs, with precise source locators. The
prime classification and large-image theorem are not original claims.

The portable checkers use three exact constructions of 200 Delta
coefficients, agreeing on tau(103) = -225755128648. They verify the
Frobenius discriminants, generate the elementary SL_2 and GL_2 groups
over F_11 and F_13, and exhaust 489142 scalar-lift controls. A nontrivial
unipotent-versus-identity control retains the loss of extension data under
semisimplification. Normal and optimized Python executions are compared
with the sealed research outputs during package construction.

The compiler result and visual-review receipt bind the inspected source,
five-page PDF and page images. A successful build or DOI is not mathematical
peer review. There is no independent review, proof-assistant certification,
absolute-priority certificate or claim that Hall's full question is closed.