PRCPrimeCalibrationForcesNonunitIdentityBranchTransportTarget_of_comparable_trace

In the Primitive Recognition Calculus, a ratio character $\chi$ assigns to each ratio orbit another orbit and is the discrete skeleton from which a native cost is recovered. Prime-direction calibration constrains how $\chi$ behaves on prime generators. Nonunit directions are orbits away from the unit class; identity orientation means $\chi$ keeps that direction on the identity branch rather than the reciprocal branch.

Two blocker targets package the same branch-coupling demand at different strengths. The comparable-trace target asks that identity orientation respect comparability of finite $\delta$-orbit traces on nonunit directions (a trace-order sharpening). The branch-transport target asks the positive transport form: if one nonunit direction stays identity-oriented under prime calibration, that identity branch must reach every nonunit direction.

Upstream, the character-level lemma already shows that respecting comparable trace implies branch transport for a fixed $\chi$. The present declaration lifts that implication from a single character to the quantified prime-calibration targets used in the uniqueness certificate stack.

Term-mode specialization, not a new calculation. Introduce a ratio character $\chi$ together with the hypotheses that it is a PRC ratio character and is prime-direction calibrated. Apply the global comparable-trace target hypothesis to those data to obtain the character-level property that identity orientation respects comparable finite $\delta$-orbit traces. Feed that property into the upstream lemma that turns comparable-trace respect into nonunit identity-branch transport. The resulting transport property is exactly the body of the branch-transport target.

This is one direction of the equivalence between the branch-transport target and the comparable-trace target, and it is the half used when a proof already has the sharper trace-order form and needs the transport packaging. Downstream it feeds the iff theorem equating those two targets, the local-orbit orientation transport target built from local comparable trace, and the product no-mixed-orientation target via the identity-comparable-trace bridge.

Those targets sit inside the native-cost uniqueness blocker certificate and, through the certificate stack, inside the conditional universal foundation certificate. In the Recognition forcing picture this is bookkeeping on the discrete character side that underwrites uniqueness of the native cost before the J-cost and T5 uniqueness step are recovered; it does not itself force $\phi$ or the eight-tick structure, but it closes a branch-coupling gap that would otherwise leave alternative orientations open.