STEP 1840 · 2026-09-06 · Rei-AIOS comparator infrastructure · rei-aios commit cd7dbe4fb · rei-meta-mcp commit 112548a

rei-meta-mcp coherence を comparison-basis contract に適合 — assertion 反転 arc (別 repo Python 修正 + rei-aios 追随)

STEP 1838 で唯一 NONCONFORM だった rei-meta-mcp meta_check_coherence を、 payload に comparisonBasis 10 field を直接添付する形で契約に適合。 rei-aios 側の adapter + fixture + assertion も同時追随。 §14 test assertion を G2/G3 NONCONFORM → 4 gate 全 CONFORM に 意図的反転。

1. 修正対象と前提

rei-meta-mcp = C:\Users\user\rei-meta-mcp、 Python 3.13、 rei-aios とは 別 git repo。したがって作業は 3 段:

rei-meta-mcp 側 (Python) で src/rei_meta_mcp/coherence.py 修正
rei-aios 側 (TypeScript) で basisFromReiMetaCoherence adapter + enumerate.ts + test/step1838 fixture 追随
動作中の rei-meta-mcp process を再起動 → 実 payload で verify

再起動 verify は本 session 内では不可 (私 = rei-aios-97 が再起動対象に含まれる)。 fixture は「新 shape がこう返るはず」の期待値ベース、実 payload との一致検証は別 session 繰り越し。

2. Before / After — payload shape の変化

Before (STEP 1840 前)

{
  "status": "coherent",
  "sources": [...],
  "divergence": {
    "count_diff": {...},
    "latest_id_diff": {A: null, B: "..."},
    "latest_timestamp_diff": {A: "...", B: null},
    "disagreements": [...],
    "only_in": null
  },
  "warnings": [...]
}

基底の宣言なし (G1/G2 検査不能)
片側欠測を *_diff で報告 (G3 違反)
unchecked source ありでも coherent 返却可能 (G4 違反)

After (STEP 1840 適合後)

{
  "status": "coherent_on_basis" | "insufficient_basis"
          | "divergent" | "single_source" | ...,
  "sources": [...],
  "comparisonBasis": {
    "sourcesDeclared": [...],
    "sourcesCompared": [...],
    "uncheckedSources": [...],
    "availableFields": {...},
    "comparedFields": ["record_count"],
    "basisOrigin": "intersection",
    "separatingPower": "scalar",
    "undetectable": [4 blind spots]
  },
  "divergence": {
    "count_diff": {...},    // meet 内 のみ
    "unavailable_fields": {  // 新 key
      "latest_id": {A: null, B: "..."},
      "latest_timestamp": {A: "...", B: null}
    }
  },
  "warnings": [...]
}

3. status 語彙の変化

旧 status	→	新 status	条件
`coherent`	→	`coherent_on_basis`	reachable ≥ 2 かつ agree かつ comparedFields 非空かつ uncheckedSources 空 (G1+G2+G3+G4 all pass)
(未定義)	+	`insufficient_basis`	reachable ≥ 2 かつ agree だが comparedFields 空 or uncheckedSources 非空 (G1 or G4 blocked)
`divergent`	=	`divergent`	pairwise 不一致あり (変更なし)
`single_source`	=	`single_source`	1 reachable (変更なし)
`unreachable`	=	`unreachable`	0 reachable (変更なし)

Breaking change: 従来 status == "coherent" を parse していた caller は破壊されうる。 rei-aios 側 callsite grep で === "coherent" 実比較 0 件 と事前確認済 (hit 4 は全て module 内 comment / label)。加えて positiveVerdicts に coherent を併存させて、 legacy caller (もし将来現れたら) も破壊しない後方互換保持。

4. undetectable[] — 4 blind spot 常時宣言

G2 は「content 未満の分離力なら見えない divergence class を名指せ」。 rei-meta の現状 (meet = record_count 1 scalar) では少なくとも 4 種:

record_count preservation blindness (同じ count で内容 or id 差し替えは検出不能)
content-level record edits (id set 保持で body change) は content_hash 両側無しでは検出不能
id-set replacement (同 count で id 差し替え) は id_set_hash 両側無しでは検出不能
cross-flavour comparison (full × partial): meet 外は「沈黙」であり「一致」ではない

5. §14 assertion の意図的反転

test/step1838-comparison-basis-contract-test.ts §14 の assertion は、 STEP 1838 land 時点では G2/G3 NONCONFORM を「主 finding」として assert していた。本 STEP 1840 で rei-meta-mcp が適合したので、 assertion を 4 gate 全 CONFORM に 意図的反転。

これは test 緩和ではない。 status の変化 (契約未適合 → 適合) を反映した結果。 fixture + §14 + §15 のコメントに明記。未来の私が「なぜ assertion が反転したのか」を引き当てられるように discipline 保持。

§15 counterfactual も拡張: coherent_on_basis + unchecked source → G4 NONCONFORM の new counterfactual + legacy coherent counterfactual の二重 assert。

6. 実測結果

test batch	結果
rei-meta-mcp pytest (全 8 test file)	62/62 PASS
test_coherence.py (identical fixture → coherent_on_basis flip)	11/11
test_contract.py (end_to_end_finding30 → coherent_on_basis flip)	6/6
rei-aios test:step1838 (§14 assertion 反転 + §15 拡張)	79 → 81/81 PASS
新規 assertion 2: undetectable[] non-empty + legacy backward compat	+2
rei-aios regression (1599/1605/1608/1609/1613/1615/1676)	166/166
rei-aios comparator:basis-audit	3/3 CONFORM + rei_meta N/A
rei-aios tsc --strict on modified files	0 errors

7. Honest scope

MCP 再起動 → 実 payload verify は別 session 繰り越し。私 (rei-aios-97) が再起動対象に含まれるため本 session 内では実施不可。 fixture は「新 shape がこう返るはず」の期待値ベース、実 payload との一致 verify は別 session で meta_check_coherence("seed_kernel") → basisFromReiMetaCoherence(payload) で行う必要あり。
期待 payload (seed_kernel, 2026-09-06 状態): status=divergent (record_count 1677 vs 1685)、 comparisonBasis で meet=[record_count] + undetectable 4 entries、 divergence.unavailable_fields で latest_id / latest_timestamp 分離。
Breaking change 影響: rg -n 'status.*coherent|meta_check_coherence' src/ scripts/ で hit 4 件、全て comparison-basis-contract module 内 (comment / display label / JSDoc)、 === "coherent" 実比較 0 件 = 実質 breaking なし。
coherent を positiveVerdicts に残す判断: legacy caller 破壊防止 + §15 counterfactual 二重扱い。完全撤廃は未来 STEP judgment。
novelty 主張なし。 STEP 1838 の contract を Python 側に反映させた operational 適合作業。新概念は無い。

8. STEP 番号 collision 記録 (本 arc 全体)

順	番号	私の目的	先取り者	解決
1	1836	comparison-basis 準備	別タブ (mirror centralize)	→ 1838 rename
2	1837	B (rei-meta) 予約	別タブ (cmix bpc corrigendum)	→ 1839 予約変更
3	1839	rei-meta 適合 (B)	別タブ (Weaver Level B semantic)	→ 1840 rename
4	1840 (一時)	rei-meta 適合 rename 後	別タブ (Weaver STS-B continuation、同時発生)	別タブが 1841 に移動、 1840 セーフ

学び: 番号は commit で確定するもので、 rename 作業中の 5 分でも別タブが取れる。本 arc 4 回の collision は異常頻度、 STEP 番号 claim protocol の強化が未来 STEP candidate。

9. 関連 STEP

STEP 1838 — comparison-basis contract v0.1 (本 arc の相手、契約定義)
STEP 1676 — self-description contract (同型 dogfood)
STEP 1608 / 1609 — N/A 語彙と retention gate 最外化 (G1 の起源)

10. 詳細参照

Notepad: 2026-09-06T17-19 STEP 1840
Fragment: notes/steps/STEP_1840.md
rei-aios commit: cd7dbe4fb
rei-meta-mcp commit: 112548a (別 repo Python)
← Tools index に戻る

1. 修正対象 と 前提

2. Before / After — payload shape の 変化