Observation versus cognitive state
Read as: Given the challenge, the public observation of the ceremony reveals no mutual information about the prover's hidden cognitive state.
Arguments
Operators
- I
- : mutual information between cognition and observation
- \mid
- : conditioned on the challenge
- = 0
- : the observation does not reduce uncertainty about the hidden state
Significance: The formal block distinguishes witnessing a ceremony from learning the cognition that made the ceremony possible.
Computational contrast: A cognitive proof is not evaluated by artifact-recovery cost; it is evaluated by whether public observations carry knowledge state.
References:Channel ZeroSixth primitive
