Manuscript En02-A@1 · En02-A-v1.tex · corollary · bb1319d5
Corollary: K: a precise update-slack separation
Diagonal-faithful rigidity › Operational derivation of the cocycle · lines 1595–1601
En02-A@1#cor:K
If an admissible capacity- strategy, , deviates from Born on a sub-capacity input, it violates . Equivalently, under , any outcome-law deviation must be at full capacity.