PRCPrimeCalibrationForcesNonunitIdentityWitnessGlobalizesTarget_refuted
plain-language theorem explainer
Prime calibration of a ratio character does not force any identity-oriented nonunit witness to globalize the identity branch. Researchers tracking native-cost uniqueness blockers cite this as one link in the refutation chain. The proof is pure transport: the witness-globalization target is equivalent to the already-refuted branch-transport target, so negation transfers in one step.
Claim. It is false that every prime-direction-calibrated ratio character $\chi$ has the property that a single identity-oriented nonunit witness globalizes the identity branch. Equivalently, prime calibration does not force identity-branch globalization from any one identity-oriented nonunit witness.
background
In the Primitive Recognition Calculus, ratio characters $\chi : \mathrm{RatioOrbit} \to \mathrm{RatioOrbit}$ encode the multiplicative skeleton underlying the native cost. Prime-direction calibration constrains how $\chi$ acts on prime generators. The witness-globalization target asserts: whenever such a calibrated character admits any identity-oriented nonunit direction, that single witness fixes the identity branch globally.
This lives in the native-cost uniqueness module, which isolates branch-coupling blockers: candidate forcing claims that would pin the cost character to one native form. Upstream, the same blocker is stated as an identity branch-transport target and already refuted. An equivalence theorem identifies the witness-globalization form with that branch-transport form, so the two stand or fall together.
proof idea
One-line modus tollens along an equivalence. Assume the witness-globalization target holds. Apply the forward map of the iff with the identity branch-transport target to obtain branch transport. Discharge by the prior theorem that branch transport is already false (itself reduced further to a comparable-trace refutation). No new analytic or combinatorial work.
why it matters
Closes one formulation of the branch-coupling blocker so certificates can record that prime calibration does not force identity-branch globalization from a single witness. Direct parents: the local-exclusion refutation and the orbit-orientation-coherence refutation both reduce to this statement; it is also wired into the native-cost uniqueness blocker certificate and the conditional universal-foundation certificate. In the Recognition forcing landscape this is hygiene around native-cost uniqueness near T5 J-uniqueness, not a positive uniqueness theorem: it documents which naive forcing routes fail before the real uniqueness argument proceeds.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.