PRCPrimeCalibrationForcesTwoPrimeReciprocalExcludesPrimeIdentityTarget_refuted
plain-language theorem explainer
The two-reciprocal exclusion target is false: prime-direction calibration that leaves the orbit-2 axis on the reciprocal branch does not force every native prime axis off identity. Native-cost uniqueness and universal-foundation certificate work cite this blocker. The proof reduces the universal target to its mixed-witness form by a proved equivalence, then applies the already-refuted witness statement.
Claim. It is false that every ratio-orbit map $\chi$ which is a PRC ratio character and is prime-direction calibrated satisfies two-prime reciprocal exclusion of prime identity: that is, the claim "if the orbit-$2$ axis is reciprocal-oriented, then no native prime axis remains identity-oriented" does not hold for all such $\chi$.
background
In the Primitive Recognition Calculus, ratio characters are maps on ratio orbits that encode how multiplicative structure is read as cost. Prime-direction calibration fixes how each prime axis is oriented (identity versus reciprocal). The two-reciprocal exclusion target asserts a global rigidity: once calibration puts the orbit-$2$ axis on the reciprocal branch, no native prime axis may stay on identity.
That target is a universal quantification over characters. A sibling witness form weakens the same idea to a mixed-witness statement (existence of an identity-oriented native prime witness is forbidden when orbit-$2$ is reciprocal). An in-module equivalence identifies the universal target with that witness target.
The local module develops native-cost uniqueness for PRC: which cost functionals arise from calibrated characters, and which candidate uniqueness or exclusion claims survive. Several related exclusion and factorization targets are proved or refuted in parallel; this declaration is one of the refutations.
proof idea
Short reduction, not an independent calculation. Assume the universal two-reciprocal exclusion target. Apply the forward direction of the proved equivalence with the witness target to obtain the mixed-witness form. Discharge by the already-established refutation of that witness target (itself reduced further to a mixed-composite cost-consistency refutation upstream). No new character arithmetic appears here.
why it matters
Native-cost uniqueness in PRC needs a clear map of which calibration-driven exclusion claims hold and which fail. Refuting two-reciprocal exclusion of prime identity shows that reciprocal orientation of orbit-$2$ does not by itself wipe identity-oriented native primes; uniqueness cannot lean on that shortcut.
Downstream, the native-cost uniqueness blocker certificate aggregates proved and refuted factorization/exclusion targets into a single certificate object. The universal-foundation conditional certificate in the UniversalFoundation module likewise consumes this layer of PRC foundation results. In the broader Recognition forcing picture, cost uniqueness feeds the path toward the unique $J$-cost (T5) and the self-similar fixed point $\phi$ (T6); clearing false exclusion targets keeps that path honest rather than over-constrained.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.