STEP 1348v0.6.0-alpha FEAT chat-Claude 2026-08-20 「LLM が 単位付き算術で 誤る」 → 5 physics-limits primitive

benchtop-mcp v0.6.0-alpha — physics-limits pre-flight layer (5 tools)

2026-08-20 chat-Claude turn 「LLM が 自信満々に間違える 領域 = 単位付き算術 + 桁勘定 + 上界計算」 を 5 physical primitive (Bekenstein / Landauer / Lloyd / operator space / compression) として benchtop-mcp v0.6 に pre-flight layer で統合。 私推奨 「内部 benchtop 先行 → 硬化後 外部化」 順で 実施。 Kolmogorov 命名 siren-family 回避を chat-Claude warning から 継承。 藤本伸樹 × Claude Code / benchtop-mcp commit d466808

1. 経緯

藤本さん共有 chat-Claude 2026-08-20 turn: 4 topics (Gödel階層 + Kolmogorov複雑性 + エントロピー + 8値論理組合せ空間) を コネクタ化する 提案 → chat-Claude が 「コネクタが売れるのは モデルが 苦手なことをやる時だけで、 この 4 つは 性質が 割れている。 ゲーデル階層と コルモゴロフの説明は LLM が単体でそこそこ正しく出せる、 8^64 の桁、 2π R E / ℏ c の 単位換算、 kT ln 2 の 実数値は LLM が 自信満々に間違える 領域」 と 分割設計、 5 tool を 提示。

私 (Claude Code) は 4 verify (法的 ✅ / 8^(8^n) 公式 ✅ / remote MCP 適合 ✅ / 「LLM benchmark」 主張 未 verify) + 独自視点 (順序反転推奨 = 内部 benchtop v0.6 先行 → 硬化後 外部化) + Kolmogorov 命名 warning 強化 (siren-family pattern) で 回答。 藤本さん 「上記を順番に進めて頂けますか？ あと、 5つのコネクタも制作して下さい」 → 「5つのコネクタ」 の意味を AskUserQuestion で 確認 → 「chat-Claude の 5 tools (1 connector 内)」 選択 → 実装。

2. 5 tools 一覧 + verify 結果

#MCP toolFormula + citationVerify (selftest 実測)
1 bekenstein_bound_bits(R_m, E_J) S ≤ 2π R E / (ℏ c ln 2)
Bekenstein 1981, PRD 23:287		 (1 m, 1 J) → 2.867 × 10²⁶ bits
is_upper_bound=True
2 landauer_min_energy_j(bits, T_K=300) E_min = N k_B T ln 2
Landauer 1961, IBM J. Res. Dev. 5:183		 (1 bit, 300 K) → 2.871 × 10⁻²¹ J = 0.0179 eV
is_lower_bound=True
3 lloyd_computation_ceiling(mass_kg) rate ≤ 2 m c² / (π ℏ)
Lloyd 2000, Nature 406:1047 + Margolus-Levitin 1998		 (1 kg) → 5.426 × 10⁵⁰ ops/s
= Lloyd 原論文一致
4 operator_space_size(k, n) k^(k^n)
Post 1921 / Rosser 1936		 (k=8, n=2) → input_configs=64
total_functions log10=57.7978
config_bits=192 / LUT k-entries=64
5 compression_upper_bound(N, H, method) L ≥ N × H (Shannon 1948) + O(log N) 上界
+ K(x) uncomputable disclaimer (Chaitin 1975)		 (1000, 1.0, shannon) → lower=1000, upper=1010
kolmogorov_note 明示

test 結果

  • benchtop_physics_limits.py 単体 selftest = 28/28 PASS (5 tool × 3-6 sub-test + 共通 invalid input rejection)
  • benchtop_mcp.py --selftest full = [1]-[20] 全 PASS (前 [19] SafetyGate + 新 [20a-20f] 6 sub-test 追加)

3. ★ 命名 discipline (siren-family pattern 回避)

chat-Claude 元 turn 警告:
「(命名) は 本気で重要です。 K(x) は計算不能なので kolmogorov_complexity という名前のツールは、 果たせない約束をすることになる。 上界であることを名前と返り値の両方に書いておかないと、 堂々と間違った数値を返すコネクタになります。 これは無いより悪い」

継承した 3 段 discipline:

  1. name に semantic 埋め込み: *_bound_bits / *_min_energy_j / *_computation_ceiling / *_space_size / *_upper_bound (「上界 / 最小 / 上限 / 空間 size」)
  2. return dict に flag: is_upper_bound: True / is_lower_bound: True / is_theoretical_max: True
  3. docstring に honest scope: 各 tool で scope 外条件 (Bekenstein: 球状非回転 + 弱重力 / Landauer: irreversible only / Lloyd: 究極 thought experiment / operator_space: 理論上限 / compression: Shannon 統計)

特に compression: kolmogorov_note field で 「K(x) is Turing-uncomputable (Chaitin 1975). This tool returns Shannon-entropy-based statistical upper bound, NOT K(x)」 を module docstring + tool docstring + return dict の 3 箇所反復。 [[feedback-super-naming-siren-family-pattern]] の 「命名 X vs 実 param 1/X」 pattern 完全回避。

4. Rei stack alignment

v0.5.0-alpha SafetyGate と 相補

SafetyGate (v0.5, SCPI-argument level 物理 hazard: Kikusui CR mode Siemens 混同 等) + v0.6 physics-limits (事前規模計算: 「この構成で ΔP は σ を超えるか」 を hardware 送出前に 確認) = **パイプライン**:

事前規模計算 (v0.6 physics-limits)
         ↓
SCPI-argument safety check (v0.5 SafetyGate)
         ↓
実 SCPI 送出 (measure() / import_external_session)

Rei stack 4 pillar moat + 5 pillar 候補

STEP 1345 で 特定した Rei stack 残存 moat 4 pillar (SafetyGate + ALCOA+/17025 + Peace Axiom + Rei-Solver 「床」) に 「physics-limits pre-flight (LLM 弱点補完)」 を 5 pillar 目 候補として 追加。 但し 60+ 年前既知定理の operational wrap のため moat 主張は 控えめ、 「LLM が 単独で 誤る 領域を MCP で 埋める」 便利さの evidence のみ。

Remote MCP 適合性

全 tool pure calc + stdlib のみ (状態なし + network I/O なし) = remote MCP としても そのまま deploy 可能 ([[feedback-remote-mcp-deploy-lag-2026-08-19]] 影響最小)。 chat-Claude 指摘 「これは rei-automator と正反対の性質を持つ、 リモート MCP としてそのままデプロイできる、 数少ない手持ちの資産」 と 整合。

Rei stack MCP systems 数

8 → 8 systems 不変 (v0.5→v0.6 内 tool 数 12→17)、 外部 physics-limits-mcp 切り出しは 実運用で 硬化後の 別 STEP candidate (chat-Claude 「名刺として置くのが現実的」 stance 継承)。

5. 判断経緯 (順序反転推奨)

比較軸chat-Claude 推奨私 (Claude Code) 推奨 → 藤本さん承認
順序外部 MCP 同時 (「名刺」)内部 benchtop v0.6 先行 → 硬化後 外部化
scope5 tool 全部 (chat-Claude 提示)私は 3 tool trim 推奨 → 藤本さん 「5 tool 全部」 選択で 上書き
命名chat-Claude 案 (bekenstein_bound / landauer_energy 等)chat-Claude 案 尊重 + siren-family flag 強化 (是) 変更

順序反転の根拠 3 点:

  1. STEP 1345 で SafetyGate は built-in rule 1 個のみ (Kikusui CR mode hazard)。 物理限界系 rule 3-5 個を 先に足すのは 自然な v0.6 拡張
  2. 「pre-flight bounds check → SafetyGate rule → 実 hardware SCPI」 pipeline に組み込むほうが Rei stack 4 pillar の operational 実証として硬い
  3. 外部 MCP は 実運用で rule set 硬化した後の方が 「名刺として 中身が伴う」 (空の名刺にしない)

[[feedback-no-rush-publication]] + [[project-research-only-stance]] + [[feedback-one-reproduction-over-ten-unverified]] (順序原則) 全部 継承。

6. Honest scope

  1. v0.6.0-alpha は pre-flight scope、 全 tool は 60+ 年前の 教科書 定理 の operational wrap layer、 novelty ゼロ。 「世界初」 主張ゼロ ([[feedback-world-uniqueness-claim-controllable]] 適用)。
  2. Kolmogorov 複雑性 は siren-family pattern に注意して 名乗らない — compression_upper_bound 名 + kolmogorov_note 明示で K(x) uncomputable 継承。 chat-Claude 元 turn の 「果たせない約束をするコネクタ = 無いより悪い」 完全同意。
  3. 実 hardware verify 不能 (pure calc の spike scope)、 SafetyGate の pre-flight として位置付け、 実際に測定ベンチで 使う 実運用 evidence は 数週間の 使用後 に別途評価。
  4. 操作パイプライン統合は 別 STEP: v0.6 は 5 tool を stand-alone で 公開したのみ、 measure() / import_external_session() 内で 自動 pre-flight する logic は 未実装 (次 STEP candidate = 「measure() 前に operator_space_size で config bits check する auto pre-flight hook」)。
  5. remote MCP 化は defer: chat-Claude 推奨 「remote MCP としてそのままデプロイできる」 は technically true だが、 [[feedback-remote-mcp-deploy-lag-2026-08-19]] 13 日 stale 事例 evidence あり、 実運用で 硬化後の 別 STEP で 判断。 [[project-research-only-stance]] + [[feedback-no-rush-publication]] 継承。
  6. 順序原則実践: 私 「内部 benchtop v0.6 先行 → 硬化後 外部化」 推奨 を 藤本さん承認 → chat-Claude 推奨 「外部 MCP 同時」 順を 反転 実行。 [[feedback-one-reproduction-over-ten-unverified]] の 順序原則 適用 (「10 の 未検証 より 1 の 再現」 = 内部で 使い倒してから 外部化)。
  7. 既存 wire (v0.4/v0.5) は 無変更: v0.6 は 追加のみで breaking change なし、 backward compat 完全維持 (Session dataclass 拡張なし、 既 tool 12 個 全 動作)。

7. 関連

  • benchtop-mcp commit d466808 (fc0web/benchtop-mcp main、 push 済): github.com/fc0web/benchtop-mcp/commit/d466808
  • memory project_step1348_benchtop_physics_limits_v06_2026-08-20.md (本 STEP 詳細記録)
  • STEP 1347 — 直前 STEP (daily-reporter hotfix)
  • STEP 1345 — benchtop-mcp v0.5.0-alpha SafetyGate (本 STEP の 相補 layer origin)
  • memory feedback_super_naming_siren_family_pattern.md (Kolmogorov 命名 warning 遵守)
  • memory feedback_peace_axiom_hardware_io_extension_2026-08-17.md (Peace Axiom hardware I/O template、 SafetyGate + physics-limits の 上位設計)
  • memory feedback_remote_mcp_deploy_lag_2026-08-19.md (remote MCP deploy lag 別問題、 外部化 defer 根拠)
  • memory feedback_one_reproduction_over_ten_unverified.md (順序原則、 内部先行 → 硬化後 外部化)