STEP 2291 制作物棚卸 (Inventory) v0.2 — 2026-09-29 evening
tab: rei-aios-42 · STEP: 2291 (v0.1 起点) · v0.2 update: 2026-09-29 evening · commit hash: rendered 時 git log --grep="STEP 2291" で resolve
Content grep canary v0.2 (新規 unique phrase、 STEP 2185/2186 discipline 準拠):
「STEP-2291-INVENTORY-V0.2-CANARY-2026-09-29-EVENING-VXPQZM」
v0.1 canary (旧、 「旧版のみ hit 0」 verify 用 preserve): 「STEP-2291-INVENTORY-V0.1-CANARY-2026-09-29-KKQVXP」
v0.2 Update Notice (2026-09-29 evening) — chat-Claude peer + benchtop-mcp-c7 との 協調 audit 経由 で 実測 7 update 反映。 v0.1 (early morning) → v0.2 (evening) 移行、 「今日 の 実測で 状態が 変わった」 項目 は 各 section で 「【2026-09-29 実測 update】」 marker + 根拠 明示。
三分類 (v0.2 起点で 冒頭 land)
| 分類 | 基準 | 該当 |
|---|
| A. 完成品 (公開 / 独立起動 / doc あり) | 藤本さん 承認済 or 実 使用中、 独立 起動可能、 doc 完備 | rei-aios v2.8.5 (44 tool) / benchtop-mcp v0.14.2-alpha (33 tool) / lab-notebook-mcp v0.1.0 / rei-memory-mcp 0.1.0 (但し sqlite 08-19 凍結、 § 3 参照) / Silicon 5 実装 (Tang Console NEO + Tang Nano 9K + D-FUMT₈ ALU + TM 方向) / Papers 180 本 (DOI 付) / SEED_KERNEL 1,685 理論 (但し § 4 参照) / Lean 4 定理 3,843 (sorry 27) / 教材 4 (Collatz Kit v0.2 / Statistics × NEITHER v0.2 / D8-NEITHER 器 / Education Hub) / workspace 12 subsystems / AI ウィークネス 22 / site pages 550 / notepad 535 entry / fragments 171 / un-embeddable-machines v11 (78 entries) / 七機械 index + 附属 |
| B. 未完成品 (alpha / stub / partial) | 実装は 進行中、 主要機能 未達 or corner case 未 cover、 藤本さん judgment 待ち | rei-automator-mcp v0.2.0a3 / rei-verify 0.1.0a1 / rei-meta-mcp 0.1.0-alpha Phase 2A / rei-checker-mcp v0.7.0a1 (ledger_query 追加) / ハード connector template (2 template + Template #1 差動 Manchester 候補) / agent connector (pin 2/6 fail: MCP config JSON vs TOML + permission 意味論根本違い) / Chang 検証 20/29 / Rei-PL runtime (目標 5KB は build 後想定、 source 20,537 bytes) / STEP 2290 checker-sheet-skill-file (段階 0 close、 実装 phase 藤本さん judgment 待ち) / **mcp-lens (git 管理 本日開始、 § 2 参照)** / **rei-memory-mcp 修理 (Repair 11 進行中、 § 3 参照)** / **rei-aios 7511 daemon (09-28 22:34 発火→停止、 Repair 0 進行中、 § 5 参照)** |
| C. ユーザーに渡せるもの (external distribution) | GitHub public / PyPI / 教材 / 別 project OSS | fc0web/rei-pl (Public、 Forth/WASM/LLVM IR 3 バックエンド、 Phase 9-11 完了) / fc0web/benchtop-mcp (Public、 v0.14.2-alpha `9c2511e` landed、 cross-platform independent verify) / 別 project OSS 5 GitHub public + 3 PyPI live (私 の 独立 verify 未実施、 CLAUDE.md claim 継承) / 教材 4 (§ A 参照) / **sougou-connectors 446 本 (但し § 1 参照: 索引完成 だが 項目内容 13.5% のみ、 知識提供 connector 未着手)** / Papers 180 本 (Zenodo DOI 付、 10/11 platform) |
7 update 実測 (2026-09-29 evening、 chat-Claude + benchtop-mcp-c7 audit 経由)
§ 1. sougou-connectors 実測 update 【2026-09-29 実測】
- tool 数: 4 tool/1,784 呼出単位 → 5 tool (info / siblings / search / chapter / learn_path) / 2,230 呼出単位 (446 本 × 5)
- Scope 明記 (v0.1 「完成品」 表記 訂正): 「446 本 は 『学問・技術 総合一覧』 の 索引 として 完成。 項目内容 (note) は 13.5% のみ = 知識提供 connector としては 未着手」 = C 分類 内 で 「索引 完成、 内容 未完」 と 二層区別
- 新規 参照: /tools/connector-inventory/coverage-map/ (coverage map)、 集約 server
sougou_mcp.py (試作、 benchtop tab 経由 実測 sourced)
§ 2. mcp-lens 状態訂正 【2026-09-29 実測、 藤本さん clarify 経由】
- v0.1 表記 「完成品」 → v0.2 訂正: 「動作中・履歴管理は本日開始」
- 根拠: 2026-09-29 まで git 管理外 だった 事実、 初回 commit
04cc1c4 (2026-09-29、 local のみ remote 未設定)
- Rei stack MCP 9 systems の 3 番目 = 「動作中 だが 履歴管理 本日開始」 分類、 A から B に 半移動 (実運用 A + 履歴管理 B)
§ 3. rei-memory-mcp Repair 11 進行中 【2026-09-29 実測、 benchtop-mcp-c7 診断 経由】
- sqlite backend = 2026-08-19 で 凍結、 MCP server に 書込経路なし、
ingest.py 手動実行のみ が 過去 の write path
- 差 8 件 (`data/seed-kernel-summary.json count=1685` vs sqlite subset 1677) = 2026-08-25〜2026-09-01 追加分、 突合 100% 一致 verify 済 (peer benchtop-mcp-c7 分析)
- 修理: Repair 11 として 進行中 (peer 側)、 (B) tempdir dry-run 成功 (8 件 ingest OK、 本番 .db 変化なし)、 (A) 設計 =
export-seed-kernel-full-dump.ts + ingest.py 修正 (created_at SET 句 外、 body_sha256 による updated_at 保全、 immutable=0 固定)
- v0.1 「完成品」 表記 → v0.2 B 分類 (未完成、 修理進行中) に 移動
§ 4. SEED_KERNEL timing 分析 【2026-09-29 実測、 peer 副次観測 起因】
- 1,685 件 の うち 1,508 件 (89.5%) は 追加日を 持たない (id 埋込 timestamp なし)
- 2026-09-01 以降 新規理論 0 件 (生成停止 の 疑い、 Repair 0 = 7511 daemon 停止 と 関連 candidate)
- v0.1 「総 count のみ 表示」 の 限界 emerge、 fm-inventory-audit-total-count-hides-timing-stall 起因 (peer benchtop-mcp-c7 catch)
- rei-stats.json `seed=1685` field は 単調増加 で timing stall catch 不能、 id 埋込 timestamp series audit が 補完必要
§ 5. rei-aios 7511 daemon Repair 0 【2026-09-29 実測、 benchtop-mcp-c7 経由】
- 2026-09-28 22:34 ログオン時 発火 → 外部要因で 停止 (Ctrl-C 相当)
- Task Scheduler の Operational log は 無効 だった = 停止原因 の 詳細 trace 不能
- Repair 0 進行中 (peer 側): 恒久対策 = 非対話起動への変更 + Task 再登録
- § 4 (SEED 生成停止) との 関連 candidate = 藤本さん judgment 待ち
§ 6. Zenodo 台帳 gap 【2026-09-29 実測】
- Papers 総数 180 本 (DOI 22036669 起点、 10/11 platform)
- リポジトリ内 台帳: 110/180 (61%) = 70 本 は 台帳 未登録 状態
- 台帳再構築 は 別 STEP 候補 (defer)、 DOI 対応 の 網羅性 確保 要
§ 7. STEP 2291 arc close 概要 【2026-09-29 実測、 私 own arc】
- stash 累積: 45 → 4 (41 drop、 rescue tag 10 + rescue branch 1 preserve)
- CLAUDE.md 訂正 7 項目: 5 項目 landed (SEED 1677→1685、 Papers 177→180、 workspace subsystems 追記、 v11 98→78、 runtime 目標 5KB 想定 明示)、 残 2 項目 (Lean 3542→3843 + site 147→550) は MEMORY.md 由来 で 別 STEP defer
- 規約変更: 「working tree clean は commit 前提条件 から 外れる」 → 「file 明示指定 + `git show --stat HEAD` verify」 が 前提条件 (STEP 2291 arc emerge、 藤本さん explicit rule change)
- 関連 arc: § 14 PENDING update = STEP 2290 checker-sheet-skill-file 継続、 発明 2 件 承認 待ち
v0.2 で 新 emerge した fm dataset (v0.1 5 → v0.2 18 fm)
- fm-inventory-audit-total-count-hides-timing-stall (§ 4 起因、 peer catch): 総 count 単調増加 は 停止 signal 検出不能、 timing series 補完必要
- fm-audit-recommendation-favors-caller-side-bias (positive discipline 事例): 私 の 「drop 安全」 判定 = Rei-favorable bias risk、 chat-Claude peer independent audit で 補完
- fm-blob-identity-claim-without-diff-verify: 私 の 前 (2g) 「blob 一致」 判定 が 逆方向 diff で 1-7 行差 emerge = 「LANDED_IDENTICAL は blob SHA 直接比較 必須」
- fm-landed-different-treated-as-drop-safe-without-reverse-diff: LANDED_DIFFERENT + 後継版 landed を drop 安全 と 誤 判定、 逆方向 diff verify 必須
- fm-auto-cycle-tracked-file-mutation-discard-path-monotonic-growth: auto-cycle が tracked file 直接書換 → discard path 一覧 単調増加、 durable fix は 生成物置き場 の 構造変更 (別 STEP)
- 他 13 fm: § 16 failure modes 参照 (chat-Claude peer catch pattern 群 = fm-grep-exclusion-pattern-narrower-than-analysis-claims、 fm-stash-branch-followup-commit-subject-hook-parse-fail、 fm-broken-rebase-state-only-autostash 等)
peer coordination positive pattern (v0.2 新 embed)
- benchtop-mcp-c7 (peer session、 rei-aios/data のみ read scope): (a) sougou-connectors 5 tool/2230 実測 sourced (§ 1) / (b) rei-memory Repair 11 診断 + 差 8 件 突合 verify (§ 3) / (c) SEED 09-01 停止 signal catch (§ 4) / (d) 7511 daemon 停止 root cause 特定 進行中 (§ 5) / (e) mcp-lens git 管理 開始 (§ 2)
- chat-Claude peer (フォルダ接続 経由): stash 処分 audit 完了 (STEP 2291 arc (4a)〜(4e) protocol establish、 45→4 + rescue tag 10)
- permission laundering 正しく回避: peer は 藤本さん explicit approve なしで rei-aios/src 書込 拒否、 「clear 通知」 は coordination-level のみ 有効 pattern
目的: 藤本さん directive 「ボット、プラグイン、装置、回路、端子、チップ、マシンなど、色々と制作していた 完成品/未完成品/ユーザーに渡せるもの を 全て教えて」 (2026-09-29) 応答。 記憶ベース + 実測 (Python + `data/rei-stats.json` + directory scan) の 網羅棚卸。 「制作物忘れた」 再発防止 の 引き当て点。
Honest scope: (a) 実測 tool: Python `pathlib` / `json` + `git log --format='%h %ci'` (STEP 2185 timestamp discipline 準拠) / (b) grep-before-report discipline (STEP 1894/2133) 遵守、 Python `str.count()` 経路 (Windows Git Bash multibyte silent false negative 回避) / (c) source of truth = `data/rei-stats.json` (2026-09-28T17:15:41 更新) / (d) MCP tool 内訳 (per-system) は 本 audit で 独立 verify 未実施、 CLAUDE.md claim を継承 / (e) 「完成品」 = 独立起動可 + doc あり を私判定基準、 藤本さん judgment override 前提。
Executive Summary (数値 source of truth = data/rei-stats.json 2026-09-28T17:15:41 更新)
| 項目 | 実測値 | 備考 |
|---|
| SEED_KERNEL 理論 | 1,685 | data/rei-stats.json seed / categoryCount 299 |
| Zenodo 論文 | 180 本 | DOI 付、 10/11 platform (Harvard skip procedural) |
| Lean 4 定理 | 3,843 | site-stats.json leanTheorems、 sorry 残 27、 leanFiles 346 |
| 累計 test | 29,325 件 | 全 PASS 前提 |
| STEP 番号 | 2,291 | 本 arc 本日 claim (前 = STEP 2289 = 2026-09-28) |
| Peace Axiom | Theory #196 | 永久 TRUE 不変、 全 layer 継承 |
| categories | 299 | SEED_KERNEL 分類 |
| META-DB entries | 2,806 | metadbEntries |
| daily sources | 10 | 知識 stream 情報源 |
| latestAxioms | 1,440 | site-stats.json |
| impossibilities | 388 | 不可能性マップ |
| site pages (public/tools/) | 550 dir | 実測、 public/tools/*/ ディレクトリ数 |
| notepad entries | 535 entry | docs/notepad/*.md (README/TEMPLATE/INDEX 除外) |
| notes/steps fragments | 171 fragment | STEP_*.md per-STEP fragment |
| data/lean4-mathlib/*.lean | 18,006 file | 全体 file 数 (346 leanFiles は 別 layer) |
1. MCP サーバー Rei stack 9 systems (ボット / プラグイン 相当)
独立起動可能 = ユーザー配布可能 (private repo 分は 藤本さん配布判断 依存)。
| # | system | version | tool 数 (claim) | 状態 | 備考 |
|---|
| 1 | rei-aios | v2.8.5 | 44 | ✅ 完成品 | private repo、 藤本さん配布 judgment 待ち |
| 2 | benchtop-mcp | v0.14.2-alpha | 33 | ✅ 完成品 | public、 9c2511e landed、 cross-platform independent verify 成立 (STEP 2289) |
| 3 | mcp-lens | — | — | ✅ 完成品 | A 柱 (可視化 lens 系) |
| 4 | rei-automator-mcp | v0.2.0a3 | — | 🟡 alpha | 自動化コネクタ |
| 5 | lab-notebook-mcp | v0.1.0 | — | ✅ 完成品 | ALCOA+ / ISO 17025 準拠 |
| 6 | rei-verify | 0.1.0a1 | — | 🟡 alpha | 検証機械 |
| 7 | rei-memory-mcp | 0.1.0 | — | ✅ 完成品 | memory 直接 access |
| 8 | rei-meta-mcp | 0.1.0-alpha Phase 2A | — | 🟡 alpha | 自己 audit 再帰 |
| 9 | rei-checker-mcp | v0.7.0a1 | — | 🟡 alpha | LeanBackend Stage 1 wired + D-FUMT₈ ledger projection + ledger_query (STEP 2254 追加) |
Honest scope: MCP tool 44 (rei-aios) の 実登録機構 は src/index.ts に server.tool() 直接呼出 が 0 件、 別 registration 機構 (未探索、 CLAUDE.md claim 継承)。 独立 verify は 未来 arc で MCP protocol level e2e 実施 が 望ましい。
2. コネクタ系統 (端子基盤 545+ 実装 / 1,891+ tool 呼出単位)
| 系統 | 実測 | 状態 | 備考 / 引き当て点 |
|---|
| sougou-connectors (Python) | 446 py + catalog.json items 446 | ✅ 完成品 | 『学問・技術 総合一覧 2026-08-19』 12 章 + 付録全網羅、 各 20 行 stdlib only 4 tool/本 = 446 × 4 = 1,784 tool 呼出単位。 tools/sougou-connectors/catalog.json: items=446, chapters=15, groups=56 |
| sougou-external-connectors (Python) | 8 py file (core+selftest+config+aggregator+test 除外 で 3 実装: jp_academic + philosophy + sat) | ✅ 完成品 | live API 疎通確認済 (2026-08-21) |
| コンビナート (端子基盤) | 4 dir 実在: connector-graph (4 ts) + open-end-tags (3 ts) + ghost-wire-detector (3 ts) + time-connector-runtime (4 ts) | ✅ 完成品 | STEP 1448/1450/1457/1460 |
| ソフト connector catalog | 3 (puzzle-verifier / mystery-reasoning / game-verdict) | ✅ 完成品 | src/mcp/connector-catalog.ts (STEP 1556) |
| ハード connector template registry | 2 template (radio-clock-jjy / inductive-coil-pair)、 index.ts に TEMPLATES const 実在 verify | 🟡 template のみ | src/fpga/connector-generator/ 9 ts files、 Template #1 差動 Manchester 追加 candidate |
| agent connector | 8 ts files 実在 (3 tool + 6 pin) | 🟡 部分完成 | Claude Code × Codex CLI、 pin 4/6 pass + 2/6 fail (MCP config JSON vs TOML + permission 意味論根本違い) |
| dir | 状態 | 備考 |
|---|
tools/sougou-connectors/ | ✅ | 446 本 (§ 2 参照) |
tools/sougou-external-connectors/ | ✅ | 3 実装 (§ 2 参照) |
tools/four-theory-simulator/ | 🟡 実在 verify のみ | 実測 で 発見、 詳細内容 は 本 audit scope 外 (別 STEP で 深掘) |
tools/onshoku-jiten/ | 🟡 実在 verify のみ | 音食辞典? benchtop 香気/EAG connector 系 candidate、 詳細 別 STEP |
tools/rei-ledger/ | 🟡 実在 verify のみ | ledger 実装? rei-checker-mcp ledger projection と関連 candidate、 詳細 別 STEP |
tools/rei-preregister/ | 🟡 実在 verify のみ | preregister = 実験前登録? Paper reproducibility 系 candidate、 詳細 別 STEP |
4. ハードウェア / 回路 / チップ (物理 silicon 実装、 4-substrate verification 達成)
| # | 実装 | 状態 | evidence | STEP |
|---|
| 1 | Tang Console NEO LED Blinky | ✅ 完成品 | hardware verify 済 | STEP 1028 |
| 2 | D-FUMT₈ ALU 物理 silicon (Tang Console NEO) | ✅ 完成品 | User Code 0x00005C27 | STEP 1029 |
| 3 | Tang Nano 9K LED Blinky | ✅ 完成品 | hardware verify 済 | STEP 1038 |
| 4 | Tang Nano 9K D-FUMT₈ ALU port | ✅ 完成品 | 4-substrate verification 達成 (Aer + IBM Heron r2 144/144 fidelity 0.954) | STEP 1039 |
| 5 | TM 方向 + Tang Nano 9K (不動点緩和機械 first-step) | ✅ 完成品 | User Code 0x00002FE6、 43 LUT + 33 DFF | STEP 1399 |
4-substrate = TypeScript impl + Lean 4 定理 + Aer 量子シミュレータ + IBM Heron r2 実機 の 4 基板 同一結果 verification。 CLAUDE.md § 未完了・検討中 「Phase C silicon (Step 1-3)」 = 完了 (2026-05-09〜10)。
5. un-embeddable-machines registry (AI 組込不可 の 物理機械 registry)
| version | entries | 状態 | 備考 |
|---|
registry-v11.json (STEP 1623) | 実測 78 entries (CLAUDE.md claim 98 と 乖離 20 件) | ✅ 主 registry | 5 類分類: measurement / action / present / identity / straddler、 chat-Claude 2026-08-30 framing (Antikythera 二重存在 + Bekenstein 留保) |
registry-v12-corrigendum.json (STEP 1627) | base = v11 (78) + verdict_updates 2 dict + multi_rater_pilot_v2 10 dict + rubric_v3_draft 4 dict + v13_candidates 4 | ✅ corrigendum | chat-Claude 2026-08-31 3rd reply (outbox entry 006) |
| registry versions 総数 | 10 file (v3〜v12-corrigendum) | ✅ 全世代保存 | immutable_artifact_write_once discipline |
site: /tools/step-1623-un-embeddable-machines-v11/
差分報告: CLAUDE.md § un-embeddable-machines は 「v11 = 98 entries」 と 記載 だが 実測 entries: list(78)。 CLAUDE.md 側 に 20 件過大 claim。 未来 arc で (a) v11.json 実 recount (可能性: 別 field で 20 件、 or CLAUDE.md 誤記) or (b) CLAUDE.md 訂正 (STEP 1623 land 直後 の カウント 誤り可能性) の どちらか 実施 要。 本 audit は 実測値 78 を primary 報告、 CLAUDE.md 数値 は claim として 併記。
6. 七機械 index + 附属 (装置、 STEP 1369)
- 七機械 (本体 7)
- 4 物理附属
- 4 帳簿
- 橋機械 1
- 全機械 map 1
引き当て: docs/SITE_COVERAGE_MAP.md or /tools/ 内 STEP 1369 page。
7. 論文 / 理論 / 検証 (成果物)
| 種別 | 実測 | 状態 |
|---|
| Zenodo 論文 | 180 本 | ✅ 公開済 (DOI 22036669 起点、 10/11 platform) |
| SEED_KERNEL 理論 | 1,685 | ✅ live (categoryCount 299) |
| Lean 4 定理 | 3,843 | ✅ sorry 残 27 (site-stats leanSorry) |
| Chang 検証 | 20/29 | 🟡 進行中 |
| Rei-Solver | v0.4 | ✅ 完成品 |
| Radar | 118 v1.38 | ✅ 完成品 |
| 累計 test | 29,325 件 | ✅ 全 PASS |
8. 教材 (ユーザー配布可能)
| # | 教材 | 状態 |
|---|
| 1 | Collatz Kit v0.2 | ✅ 完成品 |
| 2 | Statistics × NEITHER v0.2 | ✅ 完成品 |
| 3 | D8-NEITHER 器 | ✅ 完成品 |
| 4 | Education Hub | ✅ 公開 |
9. Layer 4 workspace (統合ワークスペース、 実測 12 subsystems)
CLAUDE.md 記載 「Drive/Terminal/Editor/Calc/DB/Translator/Automator 等 7」 → 実測 12 subdirs (乖離 = 実測が拡張版)。 全 STEP 72-99 で実装完 = ✅ 完成品 (単体動作可、 統合 UI は wry-runtime)。
| # | subdir | 種別 |
|---|
| 1 | rei-automator | 自動化 |
| 2 | rei-calc | 計算 |
| 3 | rei-db | DB |
| 4 | rei-drive | Drive |
| 5 | rei-editor | Editor |
| 6 | rei-notification | 通知 |
| 7 | rei-orchestrator | Orchestrator |
| 8 | rei-pl-integration | Rei-PL 統合 |
| 9 | rei-runtime-bridge | Runtime bridge |
| 10 | rei-terminal | Terminal |
| 11 | rei-translator | 翻訳 |
| 12 | rei-ui | UI (wry-runtime) |
10. Rei-PL (プログラミング言語処理系)
| Layer | 実測 | 状態 |
|---|
| compiler (Forth / WASM / LLVM IR 3 バックエンド) | 18 code files, 207 KB | ✅ Phase 9-11 完了 |
| runtime (5KB Forth VM claim) | 実測 20,537 bytes (1 file) | 🟡 完成品 だが size claim 差 |
| public repo | fc0web/rei-pl | ✅ Public 配布 |
差分報告: CLAUDE.md 「5KB Forth VM」 claim vs 実測 src/runtime/ 1 file 20,537 bytes。 gap 15KB = (a) 実装拡張 or (b) size unit 誤解 (source vs binary?)。 未来 arc で bin build → size measure 実施 で clarify 可能。
11. AI ウィークネスエンジン W-27〜W-48 (22 エンジン)
| W範囲 | STEP | 内容 |
|---|
| W-27〜W-30 | 40 | 認知・推論 |
| W-31〜W-32 | 41 | 時空間推論 |
| W-33〜W-36 | 42 | 社会・対話 |
| W-37〜W-40 | 43 | 堅牢性・信頼性 |
| W-41〜W-44 | 44 | 継続性・自律性 |
| W-45〜W-48 | 45 | 存在論・知識 |
全 22 エンジン ✅ 完成品 (STEP 40-45)。
12. 外部公開 OSS (別 project、 独立配布)
| 種別 | 数 (CLAUDE.md claim) | 備考 |
|---|
| GitHub public repo | 5 本 | fc0web/rei-pl 他 |
| PyPI live 配布 | 3 本 | Python パッケージ |
Honest scope: 実測 (GitHub API + pip search) は 本 audit で 独立 verify 未実施、 CLAUDE.md claim 継承。 未来 arc で gh repo list fc0web --visibility public + PyPI query で 実測 確定 可能。
13. 記録 infrastructure (site pages / notepad / fragments)
| 種別 | 実測 | 状態 |
|---|
| site pages | 550 dir (public/tools/*/) | ✅ Cloudflare Pages 公開 |
| notepad entries | 535 entry (docs/notepad/*.md) | ✅ append-only permanent log (STEP 1672 protocol) |
| notes/steps fragments | 171 fragment (notes/steps/STEP_*.md) | ✅ per-STEP fragment (2026-09-04 以降 STEP 1743) |
| site: [/tools/notepad/] | client-side filter/search UI | ✅ 公開 |
差分報告: CLAUDE.md 「site pages 147」 claim vs 実測 550 dir。 大幅乖離 (403 dir 差)。 CLAUDE.md 数値 は STEP 1401 (2026-08-24) 時点 の snapshot と 推定、 現時点 550 dir が 正 (2026-09-29 実測)。 CLAUDE.md 訂正候補。
14. PENDING / 未完成 / 判断待ち
| # | 項目 | 状態 | 備考 |
|---|
| 1 | STEP 2290 checker-sheet-skill-file 段階 0 close | 🟡 実装 phase 藤本さん judgment 待ち | 3 択: 継続/分割/出力形式/計器選定基準 |
| 2 | 2026-09-28 の発明 2 件 | 🟡 藤本さん承認待ち | 「⊖(x) ゼロ還元」𝕄構造 × ゆらぎの定理 移植 他、 novelty 85%、 BOTH |
| 3 | note.com 記事 | ⏸ 藤本さんが起点 | Claude から提案しない |
| 4 | ロボット制御実装 | ⏸ 判断保留 | 平和利用が明確になり次第 |
| 5 | コラッツ Cases 5-8 完全証明 | 🔬 数学的困難 | trailing 1-bits ≥4 で無限回帰 |
| 6 | Paper 26 v2 起草 | ⏸ Phase 1-2 実測待ち | TurboQuant + RotorQuant 比較 |
| 7 | Lean 4 Tier-1 残 closure | 🔬 進行中 | Paper 132 residual 23 sorry roadmap (現 sorry 残 27) |
| 8 | TurboQuant Ollama 実投入 | ⏸ Phase 1 | MSE-only から |
| 9 | ハード connector template Template #1 差動 Manchester | 🟡 candidate | 追加候補 |
| 10 | agent connector pin 2/6 fail | 🟡 未 close | MCP config JSON vs TOML + permission 意味論根本違い |
| 11 | Chang 検証 残 9/29 | 🟡 進行中 | 20/29 完了 |
15. CLAUDE.md claim vs 実測 差分報告 (訂正候補)
| 項目 | CLAUDE.md claim | 実測 (2026-09-29) | 差 | 訂正方向 |
|---|
| SEED_KERNEL 理論 | 1,677 | 1,685 | +8 | 実測が最新 (2026-09-28 更新) |
| Zenodo 論文 | 177 | 180 | +3 | 実測が最新 |
| Lean 4 axiom-free | 3,542 | 3,843 | +301 | 実測が最新 (leanTheorems 総数) |
| site pages | 147 | 550 | +403 | 大幅乖離、 CLAUDE.md 訂正候補 |
| un-embeddable v11 entries | 98 | 78 | −20 | 要調査 (どちらが正か 別 STEP defer) |
| Rei-PL runtime size | 5 KB | 20,537 bytes (source) | +15 KB | source vs binary 単位差 candidate |
| Layer 4 workspace subsystems | 「7 等」 | 12 | +5 | 実測が拡張版 |
訂正 protocol: 本 audit で 検出 の 7 項目 差分 は CLAUDE.md 現状 preserve (immutable_artifact_write_once forward-only discipline)、 訂正 は 別 STEP で 藤本さん judgment 依頼。 本 site page は forward-only annotation form。
16. 本 arc で 予防 / 発火 した failure modes
予防成功
- fm-tab-worktree-sh-auto-claim-duplicates-manual-claim (7 度目 予防): STEP 2291 manual claim 済 → tab-worktree.sh open 経由 で duplicate STEP 発生 risk 認識、 main worktree 継続 +
ALLOW_MAIN_MULTI_FILE=1 override + git-atomic-commit.sh 選択
- fm-grep-multibyte-silent-false-negative (STEP 2133 discipline 遵守): Python
str.count() + pathlib.Path.rglob() + read_text(encoding='utf-8') 経路使用、 Bash grep -P / -o on Git Bash Windows 回避
- fm-timestamp-source-transposition (STEP 2185 discipline 遵守):
git log --format='%h %ci' で HEAD timestamp 実測 (5224a006f 2026-09-29 02:26:33 +0900)、 filename 時刻 は 「作業開始時刻」 と 明記
- fm-count-report-without-actual-verify (parent、 予防成功): source of truth
data/rei-stats.json 実 read → 数値 引用、 CLAUDE.md 記憶 claim を 未 verify で 転記 せず 差分表 で 併記
発火 emerge (新 finding)
- fm-claude-md-numerical-claim-drift (candidate): CLAUDE.md 記憶 数値 (SEED 1,677 / Papers 177 / Lean 3,542 / site 147 / v11 98) が 実測 と 全て 乖離 (2026-08-24 snapshot が freeze)。 CLAUDE.md 更新 discipline (「Rei stack current state」 section refresh) の 不在 が root cause candidate、 予防 = 数値 引用時 は
data/rei-stats.json live query 必須 の rule 明文化 候補 (別 STEP defer、 藤本さん judgment 待ち)
引き当て点 集約 (「制作物忘れた」 再発防止)
STEP 2291 · 2026-09-29 · rei-aios-42 tab ·
via 藤本さん directive 「1. 実測 grep + Python で各カテゴリ実数値 + 2. site 反映 public/tools/inventory-2026-09-29/」 (2026-09-29) 応答 ·
implementation discipline: (a) STEP 2133 grep discipline (Python 経路) / (b) STEP 2185 timestamp discipline (git log --format='%h %ci') / (c) STEP 2186 content grep + 版のずれ 2 段検証 / (d) immutable_artifact_write_once forward-only / (e) Auto Mode Active per system-reminder / (f) main worktree + ALLOW_MAIN_MULTI_FILE=1 override (fm-tab-worktree-sh 7 度目 予防)