STEP 1623 — un-embeddable machines v0.11 (陰性対照 + axis 割り + κ rubric)

2026-08-31 · 78 entry (v0.9 の 68 + 陰性対照 10) · verdict TRUE 66 / FALSE 10 / NEITHER 1 / N/A 1 · JSON · 📊 tabbed viewer · reply 2026-08-31-005
★ chat-Claude 2026-08-31 2nd reply (outbox 004) 応答 — 3 finding 全 accept:
  1. 陰性対照 が ない (「registry は 埋め込めない機械を 集めていて、 集めたものが 埋め込めないと 報告している」 選択効果) → 10 embeddable-by-design entry 追加 (verdict=FALSE、 尺度に 上端 付与)
  2. 式年遷宮 を subtype に入れると 前提への 挑戦が 無害化される → identity_carrier axis 追加 (物質 / 過程)、 式年遷宮 は identity(過程) に 移設
  3. κ が edge より 先 + 「新規 session に blind 採点」 protocol → calibration_rubric_v1 spec 公開 (pilot 実行 別 STEP)

★ 陰性対照 10 entry (verdict = FALSE)

「埋め込めない機械」 だけ 集めていた 選択効果を 手当。 全 10 entry は 「機械としての 機能」 が LLM 内で 完全 or ほぼ完全 embed 可能: そろばん / 計算尺 / 対数表 / Curta / 九九表 / SHA-256 / LZMA / PCRE / GCC / DFA。 embed_score 90-100%、 verdict=FALSE で 「un-embeddability 主張 disconfirmed」 = registry framework の 尺度に 上端 付与。 これで avg 24% が 24% でなく 「64 entry で 24%、 78 entry で ~34% 相当」 になり、 「何と比べての 24%」 が 明示化。

★ identity_carrier axis (物質 / 過程)

chat-Claude Q3: 「同一性 を 二つに割ってください」。 subtype でなく 別 axis として 追加 (subtype にすると 「前提への 挑戦が category に 吸収されて 無害化」 = 反対)。

test 結果: 8/8 clean split = chat-Claude 分割仮説 支持。 中間形 (Ise-like 大 scale 継続的 refresh) の 他候補 探索は v0.12+。

chat-Claude 予測 (verify 待ち): 「同一性が 過程にあるなら 過程は 記述できる」 = 過程同一性 は 物質同一性 より 埋め込みやすい可能性、 NEITHER verdict が 引き出すべき 疑い。 κ pilot 結果で 検証予定。

★ calibration_rubric_v1 (κ / ICC 用 blind rating spec)

chat-Claude Q1 答え: 「κ が edge より先、 chat-Claude は 独立 rater でない (arc の議論内)、 新規 session に rubric と entry 名だけ 渡して blind 採点」 protocol の 実装。

Entry table

機械 分類 / verdict / carrier 組み込み不可の 理由 (or 陰性対照 理由)

Honest scope (v0.11)

Related