PRCPrimeCalibrationForcesTwoPrimeReciprocalTraceConnectedTarget_refuted
plain-language theorem explainer
Prime-direction calibration does not force reciprocal orientation at the orbit-2 prime axis to transport along finite δ-trace connections to native prime axes. Native-cost uniqueness and universal-foundation certificates cite this as a closed negative. The proof is a one-step reduction: the reciprocal target is equivalent to the identity-orientation target, which is already refuted.
Claim. It is false that every ratio-orbit character $\chi$ that is prime-direction calibrated must respect reciprocal orientation at the orbit-$2$ prime axis along every finite $\delta$-trace connection to a native prime axis.
background
In the Primitive Recognition Calculus, a ratio character $\chi$ is a map on ratio orbits encoding how multiplicative structure is read. Prime-direction calibration fixes how $\chi$ orients the distinguished prime axes. The reciprocal trace-connected target asserts that once calibration is fixed, reciprocal orientation at the orbit-$2$ prime must transport along any finite $\delta$-trace path that reaches a native prime axis.
Pass 81 isolates a twin identity-orientation target and proves the two targets equivalent: reciprocal transport is the same obstruction seen through reciprocal twist. The identity form is already refuted upstream by reduction to a still weaker prime-identity trace-transport claim. The present declaration is the reciprocal half of that closed negative pair inside PRCNativeCostUniqueness.
proof idea
Assume the reciprocal target holds. Apply the forward direction of the equivalence
PRCPrimeCalibrationForcesTwoPrimeReciprocalTraceConnectedTarget_iff_identity_trace_connected
to obtain the identity-orientation target. Discharge the goal by the already-proved refutation
PRCPrimeCalibrationForcesTwoPrimeIdentityTraceConnectedTarget_refuted.
No new analytic work: pure logical transport across the iff.
why it matters
Native-cost uniqueness needs a clean map of which calibration-to-trace-transport claims survive. This theorem closes the reciprocal two-prime connected target as false, matching the identity twin. Downstream, prc_native_cost_uniqueness_blocker_certificate packages such closed negatives into the uniqueness blocker ledger; prc_universal_foundation_conditional_certificate inherits the same ledger through the foundation stack. In the broader RS forcing picture this is bookkeeping on character/trace structure that sits under J-uniqueness (T5) and the Recognition Composition Law, not a new physical constant. It removes one candidate route from prime calibration to forced native-cost form.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.