--- name: project-step1364-checker-spec-v0-received-arc-2026-08-22 description: STEP 1364 CHECKER_SPEC_v0.md (chat-Claude 教員概念 4 層 framing → 3 層 connector 設計 → v0 + Phase 2 spec 追記版) 受領 + 独立 review + 永久 archival + rei-verify 関係整理 pending metadata: node_type: memory type: project modified: 2026-08-21T20:56:56.423Z originSessionId: 5c569e0e-bcd3-455c-92ec-45f22c85b362 --- **Fact**: 2026-08-22、 藤本さん↔chat-Claude web session の 3 turn arc (① 教員概念 4 層 framing OECD Teaching Compass + Biesta learnification + Alpha schools + 4,400 万人不足 → ② 3 層 connector 設計 checker/education/harness → ③ v0 + Phase 2 (§9-13) 追記版 CHECKER_SPEC_v0.md 生成) を rei-aios session で 受領。 私 独立 review 実施 (Pattern 1-6 clean streak 継続、 検出なし)、 永久 archival (`data/external-prior-art/checker-spec-v0-2026-08-22/` + ATTRIBUTION.md + VERIFY_RESULTS.md 3 file)、 実装 未着手 (藤本さん judgment 待ち、 rei-verify 関係整理 pending)。 **Why**: (a) memory 忘れ対策 (Downloads 揮発性 対応、 2026-08-06 藤本さん永久 protocol)、 (b) 将来 実装 GO 判断時の 前提資料 (spec draft 時点の 版差分 tracking 可能)、 (c) rei-verify 0.1.0a1 (既存 PyPI) との 関係整理の 材料 (Pattern 5-B 混同回避、 spec §5 「既存リポジトリに合わせる (AGPL-3.0)」 の 3 択解釈 = (i) rei-verify 拡張 / (ii) 新規 別 repo / (iii) rei-verify dependency + separate MCP、 藤本さん judgment 待ち)、 (d) STEP 1360 Teacher Pilot Kit と の layer 区別明示 (STEP 1360 = Rei 教材 pilot infrastructure / STEP 1364 = 独立 検証器 spec、 domain 独立 で 混同禁止)。 **How to apply**: 1. **Archival 3 file 構成** (STEP 1344/1345 precedent 追従、 5 例目 archival): (i) CHECKER_SPEC_v0.md (immutable copy from Downloads、 307 行 ~12 KB) / (ii) ATTRIBUTION.md (source + purpose + review summary + Rei stack alignment audit table + license + related memory 一覧) / (iii) VERIFY_RESULTS.md (§0-8 v0 core 独立 review + §9-13 Phase 2 独立 review + 藤本さん共有 visualization insight review + 最終評価 + 次 action candidates 4 択)。 2. **spec 核心 6 point 独立検証**: (a) §1.1 判定経路に LLM 入れない = STRONGLY AGREE (STEP 1349 `source: 'static-truth-table'` field pattern と 構造的相補、 domain 違う) / (b) §1.2 三値 (VALID/INVALID/UNDECIDED) + reason_code = STRONGLY AGREE (STEP 1350 SNR<3→NEITHER と 同型 pattern の 形式検証域 実装) / (c) §9.4 較正ハーネス ラベル付けに LLM 使わない = STRONGLY AGREE (HELM/TrustLLM/MTBench 等 の LLM-as-judge 計器汚染 問題の 一貫解、 spec 全体で 最も 賢い設計) / (d) §12.1 locate_first_error 説明生成しない = STRONGLY AGREE (4 層 framing 締めの 教員論結論 「保証の帰属 = 人間 layer」 の 実装制約変換) / (e) §12.2 boundary_report 反証台帳 実データから生成 = AGREE / (f) §11 転移ハーネス 実装しない (interface のみ) = AGREE。 3. **私 側 追加観察 4 点** (spec 未記載、 実装時 判断材料): (i) §9.4 自己申告 validity check の 欠落 (常に DECISIVE / DECISIVE と HEDGED 同一 accuracy 相関 case)、 Phase 2.1 candidate / (ii) §12.2 boundary_report reason_code filter (MISSING_AXIOM vs UNSUPPORTED_SYNTAX 等 教師の 授業設計に 質的違い) / (iii) dataset_version 定義の 欠落 (silent 変更で 縦比較 崩壊、 hash + freeze commit 3 段 candidate) / (iv) §11 interface docstring 化 (「同一学習者 AI-aided vs unaided + delayed retention」 2 protocol 前提)。 4. **藤本さん共有 visualization insight** (計測ベンチ意匠、 判定率 30% + ガイド 1:5 で 乖離 小さい): spec 存在意義の 実物 demo = verifier 性能 (decision_rate) と system 安全性 (乖離) が **分離**、 安全性は verifier quality ではなく **escalation path 存在** に 依存、 4 層 framing 締めの 教員論結論 「保証 = 常に 正しい ではなく、 降りるべき時に 降りる」 を **数値化**、 STEP 1350 SNR<3→NEITHER discipline と 同型 pattern の 教育域 実装。 5. **Rei stack alignment audit** (Pattern 5-B 混同回避 全 7 対応表): rei-verify (PyPI live 要判断) + grounded-check (別 layer) + STEP 1350 d8_verdict (同型 pattern) + STEP 1349 d8_apply source field (構造的相補) + STEP 1354 D8-NEITHER 教材 (別 layer 混同禁止) + discovery-worker v0.1 (別 repo isolation precedent) + STEP 1359 rei-preregister (別目的、 CLI 実装 pattern 参照可能)。 6. **次 action candidates 4 択** (藤本さん judgment 待ち): (A) rei-verify 拡張 / (B) 新規 別 repo `rei-checker-mcp` (私 recommend、 discovery-worker precedent と 対称、 [[feedback-isolation-by-repo-boundary-2026-08-22]] 整合) / (C) rei-verify dependency + separate MCP / (D) 全面 defer。 **Honest scope**: (i) 実装 未着手 = archival + review のみ、 「spec が Rei stack に 統合された」 主張ゼロ (Pattern 5-B 混同回避 徹底)。 (ii) 「chat-Claude spec が 世界初」 主張ゼロ ([[feedback-world-uniqueness-claim-controllable]] 適用)。 教育 AI 評価域は HELM / TrustLLM / MTBench 等 先行あり、 spec novelty は 「calibration harness で LLM を label 付けに使わない」 discipline 位置のみ。 (iii) rei-verify (既存 PyPI 0.1.0a1) との 関係言及 spec 内 なし = 藤本さん judgment 待ち事項、 3 択 (A/B/C) を VERIFY_RESULTS.md §「次 action candidates」 に 明示。 (iv) 「STEP 1364 で 検証器を 作った」 主張ゼロ = 本 STEP は archival + review のみ、 実装 は 別 STEP candidate。 (v) STEP 1360 (Teacher Pilot Kit) と の 区別: STEP 1360 = Rei 自身の 教材 (Statistics/Collatz) の 教員 pilot infrastructure、 STEP 1364 = 独立 検証器 spec = 別 layer で 混同禁止 (Pattern 5-B risk 特に高い pair、 明示区別)。 (vi) chat-Claude 「Alpha guides 誤解法 事象」 引用 (Axios / AIFunLab 記事) は spec 内で 過剰主張なし = verify 済、 但し 引用元 記事 の 独立 verify は 未実施 (Phase 2 実装時 判断)。 (vii) 2026-08-06 「全研究 site 反映 default」 protocol は spec 実装 GO + STEP 化後に 適用判断 (現時点 draft phase で site 反映 defer)。 (viii) 藤本さん共有 visualization (計測ベンチ意匠、 HTML with BGM) は spec 併置で 受領、 但し HTML file 未 archive (spec markdown のみ archive)、 visualization の 独立 archival は 別 STEP candidate。 **★ 5 例目 archival precedent 継承** (STEP 1344 benchtop-devicedef + STEP 1345 mcp-world-first-strategy + STEP 1352 memory mirror + STEP 1363 rei-automator distribution): Downloads folder chat-Claude 生成物の rei-aios 内 immutable archival pattern。 3 file 構成 (原本 + ATTRIBUTION + VERIFY_RESULTS) 定型化。 未来 chat-Claude 生成物受領時の template として functional。 **関連**: [[project-step1345-benchtop-provenance-spike-2026-08-19]] (前 archival precedent = 3 file 構成 template origin) + [[project-benchtop-devicedef-external-asset-2026-08-17]] (STEP 1344 = 別 chat-Claude session 生成物 archival、 本 STEP 5 例目) + [[project-step1352-memory-mirror-arc-2026-08-20]] (memory mirror 経由 public 到達性、 本 archival も mirror 化後 public 参照可能) + [[project-step1360-teacher-pilot-kit-2026-08-21]] (Rei 自身 教材 pilot infrastructure、 本 STEP 1364 と 別 layer 明示) + [[project-step1359-preregister-spike-2026-08-21]] (rei-preregister v0.1、 spec §12 escalate 系と 別目的 明示) + [[project-discovery-worker-v01-spike-arc-2026-08-22]] (別 repo isolation precedent = spec 実装形態 recommend B の 根拠) + [[feedback-isolation-by-repo-boundary-2026-08-22]] (実装形態 B recommend の 根拠、 discovery-worker precedent 継承) + [[feedback-chat-claude-hallucination-warning]] (Pattern 1-6 clean streak 継続、 本 verify で 追加 detection なし) + [[feedback-connector-criteria-and-impossibility-2026-08-20]] (「コネクタ判定 3 区分」 の 実践、 §0 「一行を受け取り、 真偽を返す 検証器。 それ以上でも それ以下でも ない」 と 整合) + [[feedback-super-naming-siren-family-pattern]] (spec 命名 discipline: 「検証器」 と 名乗り 「保証」 は 名乗らない = siren-family 回避) + [[feedback-critique-response-pattern]] SAC-4 (§12.3 escalate discipline と 相補、 「機械が 判定を 降りた地点 = 人間 管轄」 = SAC-4 の 教育域 実装) + [[feedback-no-rush-publication]] (§8 「急がず ゆっくりと」 の spec 内明示、 逆輸入元) + [[feedback-all-research-site-reflection-default]] (2026-08-06 protocol、 site 反映 は 実装 GO 後 判断) + [[feedback-world-uniqueness-claim-controllable]] (「世界初」 主張 spec 内なし、 本 STEP でも 継承) + [[feedback-one-reproduction-over-ten-unverified]] (§3 「判定率が 測れる 状態に なる」 = 「1 の 測定 > 10 の 未測定」 の 教育域 対応)。