反証条件は「後から自分に甘く解釈できない構造」で設計する — 未実験と棄却の区別・下限閾値・凍結・縮退先の事前定義 / PaPut