# Verification of the four point certificate

The manuscript proves exact fiber cancellation for all powers, continuity
of evaluations in all asserted analytic topologies, the real boundary
annihilator, a quantitative H^2 lower bound, minimal evaluation support,
and conformal transport with the correct mass rescaling.

The companion checker independently implements arithmetic over
Q(sqrt(2),i). Both normal and optimized Python modes pass 1,746 checks
with byte-identical reports. Tested domains include four boundary atoms,
four support points, mass multipliers 1 through 9, powers 0 through 32,
Riesz coefficients 0 through 99, and three rational-complex automorphisms.
Zero signed mass in every exact exponential fiber proves arbitrary-power
cancellation in conjunction with the written argument. The checker is
not a proof assistant and does not certify novelty or all source scope.

Three-modulus point reconstruction is an elementary inherited lemma,
included with proof, not a new priority claim. The source record omits
approximation specifications. The paper supplies explicit interpretations
and does not declare the entire original record solved.