An obstruction and residual-completion theory for Newman--Janis deformations

We formulate an obstruction and residual-completion theory for Newman-Janis-type deformations of black hole seeds, where Newman-Janis-type includes both the original complex-coordinate Newman-Janis algorithm and modified prescriptions such as non-complexification variants. The Newman-Janis algorithm is treated as an off-shell map from a static seed to a stationary-axisymmetric trial geometry, rather than as a solution-generating theorem. Its failure is encoded in a Newman-Janis obstruction tensor, defined as the residual obtained after substituting the trial configuration into the intended field equations. We decompose this residual into dynamical, geometrical/coordinate-admissibility, and source-preservation channels, separating field-equation failure from circularity, Boyer-Lindquist integrability, stress-tensor type, equation-of-state preservation, and matter-model realizability. When the obstruction is nonzero, residual completion asks whether a minimal correction of the metric and matter fields can cancel it. At leading nonzero order in the rotation parameter, this becomes a linear solvability problem: the obstruction must lie in the image of a gauge-fixed completion operator subject to boundary and source-sector constraints, while the cokernel condition gives a no-go criterion in the chosen ansatz class. We illustrate the framework with a Schwarzschild example in vacuum GR. Using an ONJA-type complexification different from the Kerr-generating one, we obtain a non-Kerr rotating trial metric and compute its obstruction. The example gives $n_\star=2$ and $\ell_\star=0$, with an additional quadrupolar component at the same order, and shows how the leading residual is removed by the minimal even-parity correction restoring the Kerr complexification. The framework replaces the search for the correct complexification rule with computable criteria for success, completion, or obstruction.