STEP 2307 — Reipedia v0.3-rev1 追加候補 3 件 差分調査 (2026-10-09、 read-only)

tab: rei-aios-04 · 作業日: 2026-10-09 · scope: read-only (= 仕様 本体 修正 なし) · spec: docs/REIPEDIA_SPEC.md v0.3-rev1
本 arc の 性格: 藤本さん directive 「docs/REIPEDIA_SPEC.md (v0.3-rev1) を 読んで 追加候補 3 件 を 『記載済み / 一部記載 / 未記載 / 仕様と矛盾』 で 分類、 §2 決定事項 への 影響 評価、 配置先 節 提案 (文面 は 書かない)」 の 遂行。 **read-only**、 本 session で は 仕様 本体 修正 / Phase 1 実装 開始 / commit 判断 の いずれ も 行わない (= 本 session close bundle の みを 作成)。

1. 追加候補 3 件 (= 藤本さん 貼付)

  1. 候補 1: pred_oracle を expect と 照合し直し、 一致率 を 再計算。 「oracle 25% = oracle が 現実で 動かない 可能性」 の 結論 は 撤回扱い (= 対外引用禁止 に 追加)
  2. 候補 2: Node 移植版 を 元 の 較正セット で 走らせ、 HTML 版 の 出力 と 一致 するか 確認。 zip 内 の Python 検出部 の 規則 が HTML 版 と 同一 か も 読んで 差分 を 報告
  3. 候補 3: held-out 作題依頼 に は 検出器コード・dev-set 16 件 を 含めない。 Rei 分 は repo 非参照 の 文脈 で 作題、 不可 なら 「非独立」 と 記録

追加 の 固定事項 (= read-only、 今すぐ 実行可)、 project tree 変更・commit は なし、 結果報告 のみ。

2. 差分調査 結果 — 【確認した事実】

spec 本文 (= 786 行、 §1-§12 + Appendix A/B) を read-only で 読込 + 候補 由来 term を 全 grep。 本調査 で 確認した 事実 のみ 以下 の 表 に 掲載。

#候補 (要約)判定該当節・行 (spec 内)§2 決定事項 影響
1 oracle 撤回 + 対外引用禁止 list 未記載 spec 全体 で pred_oracle / expect / oracle / 25% / 対外引用禁止 / 撤回扱い の 全 term が 不存在。 最近接: §9.10 lines 611-614 「新規 と 名乗る 前 に 更新、 差分 が 無い と 判明したら 新規性 主張 を 撤回」 = 別目的 の 撤回 protocol のみ 存在 (= 新規性 vs oracle 妥当性) なし。 §2 明示決定 7 件 と 無抵触、 §2 筆者推奨 (案) 6 件 と も 無抵触
2 Node vs HTML 版 一致確認 + Python 検出部 差分 未記載 (一部 概念 関連) spec 全体 で Node 移植 / 較正セット / Python 検出部 / zip の 全 term が 不存在。 最近接: (a) §2.1 lines 102-104 「同じ内容 を JSON でも 公開 (= HTML と JSON が 常に 同期)」 【明示】、 (b) §6.2 line 343 「JSON と HTML が 常に 同期 (= HTML は JSON から 決定的 に 生成)」。 両節 は 1 implementation 内 の HTML/JSON 同期 の みを 規定、 複数 implementation (Node / HTML / Python) 間 の parity 検査 は 未定義 なし (明示決定 §2.1 「HTML/JSON 同期」 の 拡張候補 だが 抵触 せず)
3 held-out 独立性 + 「非独立」 記録 未記載 spec 全体 で held-out / dev-set / 検出器コード / 非独立 / 作題依頼 の 全 term が 不存在。 最近接: (a) §4.2 line 237 「S5 は 証明への 出典 を 必須」、 (b) §5.2 lines 269-271 revision_history = {at, from_state, to_state, by, reason, verdict_source}、 (c) §5.8 line 314 state_evidence。 評価 の 独立性 (= データ漏洩 防止、 train/dev/held-out 分離) の 方法論 は 未定義 なし

3. 未記載 項目 の 配置先 提案 (= 文面 は 書かない)

#候補第 1 選択 (推奨)第 2 選択第 3 選択
1 oracle 撤回 + 対外引用禁止 list §7 新 subsection 「7.7 撤回 済み 主張 の 対外引用禁止」 (= §9.10 「新規性 主張 撤回」 と 対 を なす、 原則 層 への 追加) §5.2 revision_history 拡張欄 external_cite_prohibited: boolean + retraction_reason (= 項目 単位 の 撤回 metadata) §4 新 S7 「撤回扱い」 (= 7 種 → 8 種 に 拡張、 ただし S0-S6 の D-FUMT₈ 対応 を 崩すため 推奨度 低)
2 複数 implementation 間 parity 検査 §4 新 subsection 「4.4 検査器 実装 一致性」 (= S1 検査済 の 補強、 複数 implementation 間 の 出力 一致 検査 を 独立 原則 化) §2.1 Engine 【明示】 の 拡張 (= 「HTML/JSON 同期」 を 「全 implementation 間 の 出力 同期」 に 一般化、 ただし 明示決定 の 書き換え、 藤本さん 判断 要) §5 新 subsection 「5.10 implementation 一致性 metadata」 (= parity_test_set + parity_impls 欄)
3 held-out 独立性 + 「非独立」 記録 §7 新 subsection 「7.8 評価 の 独立性」 (= 共通原則 層、 §7.3 単一情報源 原則 と 対) §4.2 原則 の 拡張 (= 「S1/S2/S3 の 根拠 は dev-set と 独立 な held-out で 取得、 不可 なら 『非独立』 marker 必須」) §9.10 「本 §9 の 更新 原則」 拡張 (= 新規性 主張 の 誠実性 と 隣接 の 評価 誠実性)

4. 【推測】 — spec 外 の context 由来 の possibility

5. §2 決定事項 への 影響 まとめ

6. Honest scope (本 arc で 主張しないこと)

7. Failure mode (未来 Claude 用 dataset)

8. 関連 artifacts

STEP-2307-REIPEDIA-DIFF-V0.1-CANARY-DQFXKZ-2026-10-09 · tab rei-aios-04 · spec read-only · atomic commit via scripts/git-atomic-commit.sh