Yoneda–Blaschke Detector Calculus (Target 2)

The Volume V conditional theorem $\mathtt{RH\_classical\_of\_no\_phantom\_language\_breakthrough}$ reduces classical RH to two payload fields: an off-critical defect kernel (Target 1) and a Yoneda/Blaschke detector calculus (Target 2). This paper discharges the assembly step of Target 2: it constructs the Volume VI Lean module $\mathtt{Vol6.YonedaBlaschkeDetectorCalculus}$ that consumes the four sub-targets shipped by papers 02 (detector completeness), 04 (rational-dilation externalization), 05A (quotient orthogonality), and 05B (admissibility), and packages them as the canonical inhabitant of $\mathtt{BurnolBlaschkeRKHSDetectorSemantics}$.

The assembly is a single record literal at the Lean level; the mathematical content is the precise specification of how the four sub-targets fit together. Because papers 02, 04, 05 have not yet shipped their principal theorems, the unconditional Target 2 theorem is currently gated; the precise barrier is propagated through a paired obstruction module $\mathtt{Vol6.Obstruction.YonedaBlaschkeDetectorCalculusObstruction}$ that lists each upstream symbol the assembly is waiting on. We state and prove the conditional principal theorem $\mathtt{yoneda\_blaschke\_detector\_calculus\_of\_subtargets}$ and the no-axiom audit confirms paper 06 introduces no $\mathtt{sorry}$, $\mathtt{admit}$, new $\mathtt{axiom}$, or new $\mathtt{opaque}$.