Manuscript XII-F@1 · XII-F.tex · section · 54cb3169
A nonzero off-(CP) check
F2: companion support and the off-condition diagnostic › A nonzero off-(CP) check · lines 825–834
This proves that a universal companion cancellation cannot simply discard its support hypothesis. It does not prove that (CP) is necessary for every individual zero value: accidental cancellations and special fields are possible. F2 ends Constructed as a support statement and diagnostic, not Proved obstructed for the on-(CP) identity.