Ambiguity-preserving transcript
Read as: Given the challenge, observing the transcript does not collapse uncertainty about the hidden state.
Arguments
Operators
- I
- : mutual information between hidden state and observation
- \mid
- : conditioning on the public challenge
- = 0
- : zero effective leakage under the stated model
Significance: This is the formal condition that keeps many secret hypotheses alive even as public observations accumulate.
Computational contrast: Classical unicity relies on redundancy eventually collapsing ambiguity; this claim denies that collapse at the level of effective information.
