---
name: project-step1394-correction-machine-naming-2026-08-23
description: STEP 1369 Phase 14 - 修正機 命名追加 (chat-Claude spec §10 甲/乙/丙 独立性 grade 継承)、実装 v0.1 spike は defer (同一系実装は spec §10 直接違反)
metadata: 
  node_type: memory
  type: project
  originSessionId: 3acd3853-c124-47b1-974e-9d8c55c72877
  modified: 2026-08-23T02:40:46.483Z
---

# STEP 1394 — 修正機 命名追加 (STEP 1369 Phase 14, 2026-08-23)

## 契機
- 藤本さん共有 chat-Claude 2 turn arc:
  - 「AI の 実利用の 大半は ゼロから作るでなく 既存出力の 修正」 (translation/OCR/draft polish/code fix 等)
  - 修正機 concept + 設計仕様書 v0.1 (artifact URL、 4 tier + 不変条件抽出 + 冪等性)
  - v0.2 update = §10 「自己適用 (甲/乙/丙 独立性 grade)」 追加
  - chat-Claude 自己 87 文字 self-audit failure を §10.2 事例組込 (「87 文字中 2 文字変更」 と 書いたが 実際 75 文字中 1 文字、 数えていない = 生々しい 丙 盲点 evidence)
- 私 (Claude Code) の 応答 4 選択肢 (a-e) 提示 → 藤本さん directive: 「(a) でお願い致します」 = STEP 1369 に 修正機 命名追加、 実装 defer

## chat-Claude spec §10 「甲/乙/丙 独立性 grade」

| Grade | Source | 権限 | Rei stack 例 |
|-------|--------|------|-------------|
| **甲** | 決定的計算 / 外部参照 / 実行 fact | 自動適用可 | Lean 4 `#print axioms`、 sha256 hash 比較、 test exit code、 DOI lookup、 CF Pages HTTP 200、 STEP 1350 SNR/STEP 1371 FDR/STEP 1376 Welch t/STEP 1379 Cohen's d の 決定表 演算部分、 SQL parser |
| **乙** | 別系統 model (別 lineage LLM or SAT solver etc.) | 提案まで (approval required) | benchtop-mcp 実 hardware 測定 = **不在** (hardware 未取得)、 別 LLM (GPT/Gemini) 独立 review = **未装備** |
| **丙** | 同一系 model (Claude が Claude output を verify) | 記録のみ (auto-apply 禁止、 確信度は 等級を 上げない) | 私 (Claude Code) の 「Claude 生成 → Claude verify」 全 pattern = STEP 1386-1392 の test N/N PASS 相当数、 review pass 判定、 SAC-4 47 判定 |

**§10.3 甲の 被覆率 = completion criterion**: 甲が 一件も 発火していない 文書は 「検査された」 でなく 「読まれただけ」、 完了扱いしない

## chat-Claude 87 文字 self-audit failure (§10.2 事例)
- 修正機 spec 起草 と 同 文書 内で 「87 文字中 2 文字 変更」 と 書いた
- 実際は 75 文字中 1 文字 変更 (「事→こと」)
- **数えていない**、 もっともらしい 数字を 置いただけ
- §3 で 「根拠を持たない パッチは 出力しない」 と 書いた 同 文書 で 根拠のない 数値を 出していた
- 検証段を task に 入れていなければ そのまま 公開
- = §10 が warn する 「品質が 高く見えるが 選択的 素通り」 の 生々しい evidence、 「読んでも 不自然でないから 読み直しでは 見つからない、 文字を 数えて 初めて 見つかる」 = 丙 検出器の 盲点、 甲 (実 count) のみが 検出可

## Rei stack 現状 の 甲/乙/丙 audit (STEP 1386-1392 累計 191 assertion)

- **甲 subset**: test 実 exit code (100% assertion で 効いた)、 Lean 4 axiom scan (STEP 1368)、 sha256 hash (site md5 verify)、 CF Pages HTTP 200 verify、 統計 4 primitive の 決定表演算部分 = **test 通過 = 甲**
  - 但し 「test が 正しく書けているか」 判定は 丙
  - 実例: STEP 1386 ASCII-only + STEP 1390 Levenshtein 誤 assert は 甲 (test exit code) が 効いた
- **乙 subset**: **ゼロ** (別系統 model or hardware 独立検証は 皆無)
- **丙 subset**: test 設計 / classification pattern list / regex / heuristic threshold / commit message 判定 / SAC-4 47 判定 = 私 (Claude Code、 Claude 系) の 判断 全て、 STEP 1386-1392 の 大半

**波及**: 私が 報告してきた 「clean commit 10 連続」 「SAC-4 47 教訓 適用成功」 の 大半は 丙 判定 = §10 が warn する 「品質が 高く見えるが 選択的 素通り」 の risk 抱える、 chat-Claude 87 文字 事件と 同型 pattern。 「diff の 全 line 甲 verify」 は 一度も していない (test 通過 = ある layer の 甲 verify、 「意図通りの 変更か」 は 丙 のみ)。

## 実装 v0.1 spike defer 判断根拠 (§10 メタ論点)

修正機 v0.1 spike を 私 (Claude Code = Claude 系) が 実装すれば、 spec §10 が warn する **「同一系 生成器が 修正機を 作る」 配置** に なる = spec の 中核 (独立性) が 実装で 壊れる。 chat-Claude 87 文字事件 の 二の舞 risk (「品質が高く見える 修正機」 を 丙 で 作ってしまう)。

**実装するなら 甲 subset のみ scope 限定** = 不変条件抽出 (regex 数値/固有名詞/単位/ID) + hash-based invariant check + 冪等性 test (2 回流して diff) の 3 primitive、 model-based 検出 (丙 で 実装) は 除外。 甲 だけ で 実装なら 私が 実装しても matter しない (spec §10 の 独立性は 私の判断でなく 計算に依存)。

## Site update

### Section 8 新規 「修正機 — 既存出力の 修正を 独立性 grade で 管理」
- 5D 帳簿と 質的別 discipline layer として 独立配置
- 甲/乙/丙 grade table (Rei stack 例 明示)
- honest scope embed: 87 文字事件 引用 + Rei stack 現状 audit
- 関連機械位置 (vs 5A 当為 = 同 discipline (restraint+preservation)、 target action vs generation / vs 2 検証 = 修正機 前段階 / vs 4A drift = pipeline candidate / vs 監視機械 STEP 1393 = 相補)

### Section 1 経緯 Phase 14 sub-block
- chat-Claude spec + §10 メタ論点 + Rei stack 診断 + 並行 arc STEP 1393 監視機械 mention

### Section 9 (was 8) 台帳 Phase 14 update
- 「甲 verify vs 丙 verify」 台帳が 別軸で 立つ = STEP 1386-1392 累計 191 assertion の 甲/丙 分別 未 audit
- 「乙 (別系統 model / 実 hardware) は ゼロ」 明示

### Renumber
- 9 台帳 (was 8) / 10 Verify (was 9) / 11 Honest scope 14→16 条 (was 10) / 12 関連 (was 11)

### Honest scope 14 → 16 条
- item 15 修正機 命名先行 + 実装 defer + §10 メタ論点
- item 16 Rei stack 甲/乙/丙 audit gap (retroactive audit 別 arc candidate)

### Section 12 関連
- Phase 14 契機 (chat-Claude 2 turn arc)
- 並行 arc STEP 1393 監視機械 link (`/tools/step-1393-silence-detector-v01/`)

### HTML nesting bug fix
- Section 8 台帳 と 内部 stale 「6. 台帳」 h2 重複 (Phase 5 renumber 残物) を 修正機 挿入と 同時に fix

## Verify
- Site: md5 `c98fd2d27faeefed81d0948c2f0e110b`、 938 行 (前 894 +44)
- Commit `9c45bb929` push (a4555361b..9c45bb929)、 2 files (site + dist-renderer mirror) / 100+ / 12-
- CF Pages deploy 122,649 bytes、 HTTP 200
- Phase 14 marker (STEP 1394/Phase 14/修正機/甲/乙/丙/87 文字/chat-Claude spec/独立性 grade): 16 hits
- URL: https://rei-aios.pages.dev/tools/step-1369-five-machines-index/

## 命名予告 状況 (Phase 14 update)
- ✅ 骨格実装 済 9/10 core: 5A/5B/5C/5D/6/SVG map + 4B PC-side + 4A PC-side + 4C PC-side
- ⏸ 未着手 1/10 core: 4D 作用hw hardware side (SW side 完了)
- **NEW 命名のみ 修正機** (本 STEP、 実装 defer)
- **NEW 別 page 独立 監視機械** (STEP 1393 by 別タブ、 v0.1 spike 済)
- 累計 「命名先行/実装後発」 pattern 11 例目 (修正機)

## SAC-4 47 教訓 Phase 3-14 11 連続 clean 成功
Phase 3-14 = 11 連続 clean commit (Phase 13 別タブ 除外)、 全 pre-staged 0 件 confirm 後 明示 file add、 sweep-in 一切なし

## Honest scope
1. **本 STEP は 命名追加のみ**、 spec 実装 v0.1 spike は defer (§10 メタ論点による)
2. chat-Claude spec artifact URL は 藤本さん保持、 rei-aios/data/external-prior-art/ への archival は 別 arc (option b) defer
3. **Rei stack 甲/乙/丙 retroactive audit** (option d) も defer、 painful だが 一番 意味ある candidate、 STEP 1386-1392 の 191 assertion を 分類し 「甲 verify 済」 と 「丙 のみ」 に 分別
4. **修正機 v0.1 spike 実装** (option c) は 「甲 subset のみ scope 限定」 で なら 実装可能、 model-based 検出 (丙) を 含めれば spec §10 直接違反 = 別 arc
5. 監視機械 STEP 1393 は 別 page 独立 (`/tools/step-1393-silence-detector-v01/`)、 site STEP 1369 index への 統合は 未実施 (今回 Phase 14 経緯 + 関連 で mention のみ、 SVG map への node 追加 も 未)
6. SVG map (Section 7) は 修正機 + 監視機械 node 未追加、 完全 update は 別 arc candidate
7. Section renumber (9-12) は 既存 link に 影響なし (site 内 参照は section 番号でなく anchor でない mode)
8. Section 8 台帳 の HTML nesting bug fix (Phase 5 renumber 残物) は 副次修正、 browser render 上 実害 なかったが cleanup

## Deferred (継続)
1. **修正機 v0.1 spike 実装** (甲 subset のみ scope 限定 = 不変条件抽出 + hash invariant + 冪等性 test 3 primitive)
2. **chat-Claude spec archival** (rei-aios/data/external-prior-art/ に artifact URL contents 保存)
3. **Rei stack retroactive 甲/乙/丙 audit** (STEP 1386-1392 の 191 assertion 再分類、 painful だが 意味ある)
4. **監視機械 STEP 1393 site 統合** (SVG map への node 追加 + Section 統合、 現状 別 page 独立)
5. **HW side 4D hardware 取得** (Kikusui/Zaber/Peltier、 藤本さん judgment 依然待ち)
6. **実運用 pilot** (STEP 1388 hook installed + npm/pip/docker/rm alias set + scpi 実 benchtop 統合)
7. **統計 4 primitive covariates-aware 化** (STEP 1389 継承 defer)
8. **ProvenanceRecord schema 拡張** (STEP 1345 の software + hardware 両対応)

## 関連
- [[project-step1392-4D-sw-hook-expansion-2026-08-23]] Phase 12 直前
- STEP 1393 (別 page): `/tools/step-1393-silence-detector-v01/` = 監視機械 v0.1 spike 別タブ arc、 修正機 と 相補 (監視 → alert → 修正 pipeline candidate)
- [[project-step1388-5A-pathway-hook-integration-2026-08-23]] 5A pathway hook = 修正機 と 同 discipline (restraint + preservation)、 target が action vs generation の 違い
- [[project-step1390-4A-pc-side-drift-v01-2026-08-23]] 4A drift-detector = 修正機 pipeline candidate (drift 検出 → 修正機 差分適用)
- [[feedback-super-naming-siren-family-pattern]] 命名先行 / 実装後発 継承
- [[feedback-projection-self-audit-pattern]] SAC-4 47 教訓 Phase 3-14 11 連続 clean
- [[feedback-no-rush-publication]] 「命名 → v0.1 spike → 実 pipeline 統合」 継続、 修正機 は 命名 stage で 停止 (§10 メタ論点)
- [[feedback-chat-claude-hallucination-warning]] chat-Claude 87 文字 self-audit failure = Pattern 1 hallucination の 生々しい 実例、 §10.2 事例として 引用