Finite-Count Certification of Joint Reference Transport: Ancilla-Orientation Safety and Isolated-Leg Obstructions

Finite local calibration does not by itself determine how a preparation and a detector are related through a joint physical transport. We study the ancilla-orientation family A_theta(rho) = (1-theta)rho + theta rho^Gamma for an arbitrary two-qubit state rho and binary effect E, followed by an unknown joint completely positive trace-preserving channel. Eight jointly transmitted product inputs, comprising the complete X tensor X and Z tensor Z bases, give a complementary-basis bound on the channel's Choi infidelity. A channel-distance estimate and the retained local calibration bound then yield the uniform selector enclosure b_E + sqrt(2 s_rho) + (1+theta)epsilon, including the generally nonpositive candidate. One physical compatibility set gives simultaneous inner and outer confidence intervals for the restricted safe class. A sufficient fixed allocation of 21,600,000 trials has coverage at least 0.99; an explicit integer rule has transpose-exclusion power at least 0.996 at a stated alternative and an accepted upper endpoint at most -0.000620. The construction consumes 43,200,000 prepared qubit instances. Conversely, an exact joint channel can fix every isolated-leg input with the other leg held in |0>, remain at maximal half diamond distance from identity, and change the safe interval while preserving the complete permitted record law. A one-basis phase-channel obstruction provides a second control. The result combines established process-verification methods with a finite-count safety certificate and precisely specified weaker-record obstructions. Compatible complex types, bounded controls, a common transport context, and declared drift remain explicit premises. The source-and-evidence companion preserves the paper-specific Lean sources and historical execution, exact numerical programs and receipts, the separate AI-assisted review return, and the release source/build/validation records. Formal support remains conditional on eleven analytic-law inputs and three acquisition contracts. No end-to-end formal verification, experimental validation, or external human peer review is claimed. Release rights are scoped by component: CC BY 4.0 for the article and author-owned documentation/data; a newly prepared MIT grant for original author-owned software and Lean sources; and the original licenses and notices for third-party or inherited material. The companion rights notice specifies the scope and exclusions.