# Verification of the meromorphic wedge counterexample

The written self-audit verifies a real-algebraic generic codimension-two edge in C^3, an ordinary full-dimensional attached wedge, a meromorphic germ with no interior pole, strict inclusion in the unit ball, continuous unit-norm limits along every approach to every nearby edge point, and nonremovability at the origin.

The key denominator estimate is |q| >= 3h/4. Along the auxiliary imaginary-t segment, the squared norm derivative is at most 144 in absolute value. The real-t sphere identity gives an initial norm at most one, and multiplication by exp(100it) gives exp(-200v)(1+144v) < 1. At the origin the three component estimates yield the unique limit (0,0,-1). A hypothetical holomorphic extension would force q to divide 2t^3 exp(100it), contradicted on w=-it^4.

The source is nonminimal and its boundary map is nondifferentiable at the origin. These limitations are explicit, not implicit exclusions. The source problem contains neither stronger hypothesis. Convergence is understood from inside the ball along all approaches, not as monotonicity along arbitrary unspecified curves.

The exact checker passes 21,397 conditions in both normal and optimized modes: polynomial identities, 59 edge cases, 360 wedge cases, 1,800 segment cases, and six negative controls. These are regression checks; the manuscript contains the universal estimates and proof. No outside reviewer or proof assistant has certified the result. The literature search was bounded and supplies no guarantee of priority.