Manuscript XII-F@1 · XII-F.tex · section · 54cb3169
The copied switching display
F2: companion support and the off-condition diagnostic › The copied switching display · lines 691–712
XII-F@1#eq:UCP
The set (eq:sampling-support) is not a claim that the full functional dependence on is localized there: was itself propagated from . Nor is it a support bound for the scalar response before smearing.
The condition (CP) uses , not . Thus its cancellation need not arise by deleting each term of (eq:companion-display) separately. For example, a locally constant tail of can make the local term and a propagated switching term cancel.
A useful configuration-independent sufficient condition is
It implies (CP) for every for this fixed parameter and observation. We use (UCP) in the decisive witness.
Displayed formulas in this passage
XII-F@1#eq:UCP · line 705