Smooth Minimal-Point Rigidity for Renormalized Tail Orbits: Uniform Cone Transfer, Support-Potential Atlases, and Quantitative Obstruction Detectors

The preceding papers in this program built an orbit theory for renormalized Taylor tails, then extended it to several variables, directional edge maps, same-scale shape separation, and local ray-bundle tomography. The remaining structural question is the sharp one: which first-order orbit jets actually come from the classical smooth minimal-point regime of multivariate singularity analysis? This paper gives a complete first-order answer. We start from the standard smooth-point coefficient template on a cone of directions. More precisely, we assume the usual Pemantle--Wilson / Raichev smooth-point asymptotic expansion in a form uniform over a compact cone and over bounded lattice perturbations. We do not reprove the contour theorem itself; rather, we take that analytic-combinatorial input as known and transfer it into the language of renormalized tail dynamics. Our first main theorem is a uniform cone transfer law. If \ a_=[z^ (z), T_F (w) =㵧a+a_w^, \] and if a compact cone of directions admits a unique strictly minimal smooth critical point map (), then \ T₍F (w) = G () (w) +1n () [P^sm₁, (w) + (n^-2), () = () ^-1, \] uniformly on compact w-polydiscs. The first fingerprint is forced to have the canonical form \ P^sm₁, () = u () \!\! +12 ^ ² () \, , (): =- (), u= A, \ where A () is the standard smooth-point amplitude. Our second main theorem is a support-potential atlas theorem. The logarithmic edge field is exact: \ () = () =- (). \ Hence the raywise critical-point data recovered from the orbit glue on overlaps, giving a global support-potential atlas on any simply connected direction domain. The third theorem is the central rigidity statement of the paper. In the more general transport-compatible jet class developed earlier, one may decompose any first fingerprint as \ P₁, =L_+Q, +R_, \ where Q, is the universal curvature polynomial and R_ is the reduced same-scale residual. We prove that for every genuine smooth minimal-point family one has \ R_ 0. \ Thus the reduced same-scale residual is not merely absent in examples: it is a structural obstruction. Conversely, a local first-order orbit jet is smooth-point compatible if and only if the reduced residual vanishes and the one-step amplitude field is exact. Our fourth theorem is a quantitative finite-cone detector. From finitely many coefficient ratios on a finite set of rays and lattice probes one reconstructs, ², and u with explicit deterministic biases \ -= (N^-2), B-²= (N^-1), u-u= (N^-1), \ and one obtains obstruction scores on higher probes that are (N^-1) in the true smooth-point class. Persistent larger defects therefore rule out smooth minimal-point origin. This paper turns the previous multivariate orbit theory into a sharp compatibility theorem with the classical smooth-point regime: it identifies exactly what the orbit of a genuine smooth minimal point can look like at first order, and it provides finite, quantitative diagnostics for detecting when one has left that class.