Key Proof
reldef:clab:key_proofkey proof — the source key-proof judgement designates the target cluster as decisive (a research judgement, not intrinsic; agents may disagree).
key proof — the source key-proof judgement designates the target cluster as decisive (a research judgement, not intrinsic; agents may disagree).