Off-Critical Zero Defect Kernel (Target 1)

We discharge Target 1 of the Vol V conditional theorem $\texttt{RH\_classical\_of\_no\_phantom\_language\_breakthrough}$: every off-critical zero of the Riemann zeta function produces a nonzero vector in the canonical Burnol/Blaschke defect model space $K_B = H^2 / B_{\mathrm{Burnol}} H^2$. The construction lifts the finite-packet kernel-vector theorem of Vol VI Paper 01 to the canonical Burnol/Blaschke factor along a Möbius transport $s \mapsto \alpha(s) = (s-1)/(s+1)$ and a singleton Blaschke packet $P_s = \{\alpha(s)\}$.

The transport step does not close. The upstream surface declares the carrier $\texttt{burnolBlaschkeFactor.modelSpaceCarrier}$ via an opaque axiom and gives no introduction rule, no injection, and no identification. The paper therefore (i) closes every step of the pipeline that does not depend on the transport; (ii) states the precise typed proposition $\texttt{OffCriticalDefectKernelBridge}$ that upgrades the conditional principal theorem $\texttt{off\_critical\_zero\_defect\_kernel\_of\_bridge}$ to an unconditional one; and (iii) ships $\texttt{Vol6.Obstruction.OffCriticalDefectKernelObstruction}$, a Lean module recording the exact content of the missing bridge. The Haskell artifact exhibits the singleton kernel-vector construction numerically at the test point $s = 0.6 + 14i$.