rei-meta-mcp Phase 2A — contract mismatch surfacing
(name-only, warning-only)

目的

rei-meta-mcp Phase 1 (2026-08-19、 3 tool + 3 adapter kind + §4 「to be unchecked is not to be coherent」 4 verdict 分離) の 翌日、 意図宣言 (tool description / registry の expected_fields) と 実挙動 (payload keys) の drift を機械検出する layer を追加。

Direct target: finding #30 (rei-aios get_kernel_status の description 「理論数・調和度・七値分布を含む」 vs 実 payload 「調和度・七値分布」 両方不在) を、 昨日 外部 Claude session が 手動で発見した状態から、 毎回の check_coherence 呼び出しで自動 surfacing に 昇格。

§4 discipline の contract 軸拡張

実装内容 (5 file 変更)

Adapter side (sqlite / mcp_stdio / unreachable_placeholder) + server.py は 無変更。 adapter は 既に source_payload_keys を summary に含めており (Phase 1 設計、 mcp_stdio_adapter.py:97)、 Phase 2A は それを 活用するだけ。

Contract check logic

def _check_contract(obj, probes) -> list[str]:
    if not obj.expected_fields:
        return []          # backward compat: no expectation → no check
    warnings = []
    expected = set(obj.expected_fields.keys())
    for probe in probes:
        if not probe["reachable"]:
            continue
        actual_keys = probe["fingerprint"].get("source_payload_keys")
        if actual_keys is None:
            continue       # full-flavour (sqlite) intentionally skipped
        actual = set(actual_keys)
        missing = expected - actual
        extra   = actual - expected
        if missing:
            warnings.append(
                f"CONTRACT: {probe['name']} — expected fields missing "
                f"from payload: {sorted(missing)} (description ↔ payload drift)"
            )
        if extra:
            warnings.append(
                f"CONTRACT: {probe['name']} — payload has fields not in "
                f"expected: {sorted(extra)} (undocumented)"
            )
    return warnings

Registry schema (Phase 2 追加)

version: 1

objects:
  seed_kernel:
    description: "SEED_KERNEL 理論群"
    identity_key: id
    expected_fields:            # ← NEW (Phase 2)
      totalTheories: int
      latestTheoryId: str
      categories: dict
      dfumtValue: scalar
      # 藤本さん が 明示 write。 auto-derive しない。
      # 「description 主張 vs 実装」 の 正解基準
      # (drift の どちらが 正か は 別 arc の judgment)

Test 結果

Live smoke 実測 (2026-08-20)

$ PYTHONIOENCODING=utf-8 python scripts/smoke_contract.py

source_payload_keys: [
  "categories", "categoryCount", "dfumtValue",
  "latestTheoryId", "totalTheories"
]

VERDICT: single_source
CONTRACT warnings: 2
  ! CONTRACT: rei-aios-local-mcp — expected fields missing from payload:
     ['harmony_score', 'seven_value_distribution']
     (description ↔ payload drift)
  ! CONTRACT: rei-aios-local-mcp — payload has fields not in expected:
     ['categoryCount'] (undocumented)

PHASE 2 SMOKE PASS — finding #30 shape mechanically detected

Rei stack alignment

• Rei stack が Rei stack を audit する 再帰構造 第 2 段: Phase 1 = 数値 divergence (record_count / id_set_hash / content_hash) 検出、 Phase 2A = 意図宣言 vs 実挙動 の drift 検出。
• 「発見の再現性」 の 昇格: 昨日 外部 Claude session が 手動で発見した finding #30 が、 今日から 「呼び出す度に 自動 surfacing」 に 転換。 1 度きり → 継続的 audit。
• finding #31 (rei-meta 自身の verdict/status drift) は Phase 3 candidate: 「rei-meta が rei-meta を audit する」 自己言及型で 単独で 慎重な設計必要、 Phase 2A の scope 外 defer。

Honest scope

1. Phase 2A は name check only (型 hint int/str/dict/scalar は informational)、 実 payload の 型 との 比較 は Phase 3 candidate。
2. Contract check は summary-flavour source のみ (mcp_stdio)、 full-flavour (sqlite) は 意図的 skip (records schema fixed)。
3. expected_fields は repo owner が 明示 write、 auto-derive しない (drift の正解は 人間 judgment、 tool は 意図宣言 と 実挙動 の 対比を出すだけ)。
4. verdict enum 不変 (6 種) = Phase 2A design decision、 contract_mismatch verdict 格上げは Phase 2B (別 arc)。
5. Live smoke は tmp registry を用いて 実 config/sources.yaml を touch しない、 藤本さん手元の live config への expected_fields 追加は 別 action (藤本さん judgment 待ち)。
6. finding #30 の 実修正 (option a payload 追加 / b description 訂正 / c defer note) は Rei-AIOS 側の 別 arc、 本 Phase 2A は 「検出 tool 側」 の 実装のみ。

使用例

# 1. registry (config/sources.yaml) に expected_fields を追加
version: 1
objects:
  seed_kernel:
    description: "SEED_KERNEL"
    identity_key: id
    expected_fields:
      totalTheories: int
      latestTheoryId: str
      # ... 追加

# 2. Claude Desktop 経由で呼び出し
> meta_check_coherence(object_name="seed_kernel")

# 3. output に CONTRACT: warning が 自動 surfacing
warnings: [
  "CONTRACT: rei-aios-local-mcp — expected fields missing from payload: [...]",
  ...
]

Open items

• Phase 2B contract_mismatch verdict 追加 (enum 6 → 7)、 warning-only を verdict 化
• Phase 3 rei-meta 自身の self-audit (finding #31、 docstring 直読)
• Phase 2 型 check name check → 型 hint との 実 payload 型 比較
• Rei-AIOS 側 finding #30 の 実修正 (option a/b/c、 藤本さん judgment 待ち)

関連

• Repo: github.com/fc0web/rei-meta-mcp · commit 5ae5695
• Phase 1 arc (前 arc): project_rei_meta_mcp_phase1_arc_2026-08-19.md
• Phase 2A arc (本 arc dedicated memory): project_rei_meta_mcp_phase2a_arc_2026-08-20.md
• finding #30 (direct motivation): project_rei_aios_get_kernel_status_description_drift_2026-08-20.md
• finding #31 (Phase 3 candidate): project_rei_meta_mcp_verdict_status_description_drift_2026-08-20.md
• MSIX diagnostic (連続 arc): feedback_windows_store_msix_virtualization_config_2026-08-20.md