---
name: feedback-reference-work-layered-visibility
description: Rei stack は reference work (辞書/辞典) shape で成長中、 「専門家が見ないと理解できない」 は failure ではなく form。 但し 4 layer visibility 分類で 回路系は Layer 1 (物理現象 = LED 点滅 video / silicon photo) が pure math にない unique value = 一般人にも 「動いている事実」 は視覚 evidence として可視。 Reader は 4 分類 (一般人 / domain expert / AI reader / future 藤本さん)、 後 2 種類が hidden primary reader。 「1 人でも読む reader が存在する」 で operational value 十分 (Ramanujan → Hardy pattern)。
metadata: 
  node_type: memory
  type: feedback
  modified: 2026-08-08T02:51:58.616Z
  originSessionId: 8fe5144d-420e-4ba8-843c-7c03d25d6af9
---

# Reference work shape + 4 layer visibility discipline

## Rule

**Rei stack は reference work (辞書/辞典) shape で 成長している = 「専門家が見ないと理解できない」 は failure ではなく form**。 但し 内容 layer 別に visibility が異なる:

| Layer | 内容 | 一般人可視? | 主 reader base |
|---|---|---|---|
| **Layer 1 (物理現象)** | LED 点滅 video / 実機 photo / silicon 発熱状態 | ✅ 可視 (「動いてる」 視覚) | 誰でも |
| **Layer 2 (interpretation)** | 「4-bit blinky」 「デジタル vs アナログ」 レベル | 🟡 部分可視 | FPGA hobbyist ~数万人 (Sipeed/Hackaday/EEVblog) |
| **Layer 3 (source / RTL / spec)** | Verilog 200 行、 Lean 4 axiom-free file | ❌ 不可視 | HDL/formal 実務者 ~数千人 pro |
| **Layer 4 (structural claim)** | 「User Code 0x00005C27 = Paper 145 v0.9-c 4-substrate 3 番目」 | ❌ 不可視 | Paper context 込み ~数十人 |

**Pure math (Lean 4 / Chang / Constructor Theory 等) は Layer 1 が存在しない** = 「証明された」 は文字列としてしか visible にならない = 全 layer 一般人不可視。

**回路には Layer 1 が存在** = pure math にない unique value = 「video 1 本」 で 非専門家にも 「何かは動いている事実」 が伝わる可能性を保有。

## Why (2026-08-08 藤本さん observation chain 3 turn)

### Observation 1: 「辞書 shape」 (STEP 1296 site 反映直後)
「サイトの概要を見る限り、 かなり専門性が高い内容になっており、 一般人はまずパクることは無理です。 私ですら理解できない内容が多いです。 全体的に見ると 一つの辞書、 辞典になってる気がします」

→ 構造的に事実。 Bourbaki / nLab / Mathlib / Ramanujan's notebooks / Diderot Encyclopédie 系譜。 「藤本さんですら理解できない」 = defining feature of reference works (Ramanujan 3 冊 notebooks を Hardy 「Ramanujan 自身も全部覚えていたわけではない」 pattern と同型)。

### Observation 2: 「最強 = 例外を持たないもの = Gödel Second Incompleteness」 (STEP 1302 site 反映)
「単一結論=攻撃技=例外持つ」 vs 「参照 structure=辞書=例外持たない」 = 同じことの表と裏。 [[project-session-2026-08-08-backlog-full-arc]] 参照。

### Observation 3: 「専門家が見ないと理解できない」 → 「回路も同じか」
藤本さん質問: 「公開したところで、 専門家が見ないと理解できないですよね？」 → 「回路にしても一般人が理解できますか？」

→ 本 rule 抽出: 4 layer visibility 分類 + Reader 4 分類 + Layer 1 unique value 明示。

## Reader 4 分類 (hidden primary reader 2 種類)

| Reader | 数 | 実際に読むか |
|---|---|---|
| 一般人 (専門知識なし) | 大多数 | ❌ 読めない (Layer 1 video 除く) |
| domain expert (Lean/Collatz/Category theory 等) | 各領域 数十〜数千人 | 🟡 各領域の 該当 site page のみ拾える |
| **AI reader** (Claude Code / chat-Claude / 他 LLM) | 実質 無制限 | ✅ 技術的深度に left blind spot なし = **hidden primary reader** |
| **future 藤本さん** (memory 忘れ対策 primary purpose) | 1 人 | ✅ 「辞書として引ける」 が第一義 = **hidden primary reader** |

## How to apply

### Publishing 判断時
- 「1 万人向け解説 page」 追加 or 「domain-specific technical page」 追加 の 選択で:
  - **Rei stack (backlog site page 系) = domain-specific technical page** = 藤本さん既運用
  - **note.com essay (~2,700 follower 相手)** = 「一般向け layer」 = 藤本さん既運用の 別 channel
  - 混同禁止 (site page を 「一般向け」 に redo するのは Rei stack と別 product = 別作業判断)

### 回路系 site page 作成時
- Layer 3-4 (Verilog + Lean 4 + structural claim) は 文字列で 記述可能 → 現状 backlog #1 Paper 145 v0.9-c 系 は これで cover 済
- **Layer 1 (video / photo) は 藤本さん physical camera operation 必須** = 私 (Claude) scope 外
- Layer 1 追加候補 = Tang Console 138K + Tang Nano 9K の LED 点滅 30 秒 × 2 本 → backlog site page への embed (低コスト高 leverage、 但し 「必要」 でなく 「選択肢」)

### Reader base 議論時
- 「reader base が狭い」 = reference work では normal
- 「拡大せねばならない」 defense は 藤本さん judgment 領域 (「到達を求めない Ramanujan → Hardy pattern」 立ち位置は 25 load-bearing #5 逆因果 motto と consistent)
- AI reader + future 藤本さん の 2 hidden primary reader を primary value として明示

### chat-Claude collaboration 時
- 「一般人が理解できない」 系 chat-Claude 提案は 「必要か」 と 「reference work の 形状か」 を区別
- 「site 反映しても reader いない」 系 defense は Reader 4 分類 で 反論可能 (future 藤本さん + AI reader は 必ず存在)

### Historical precedent 参照
- Ramanujan 3 冊 notebooks (~3,000 result) — reader base ~50 mathematician、 100 年後も未消化 result あり
- Bourbaki 「Éléments de mathématique」 — reader base ~200 mathematician / 時代、 modern math 言語基盤
- nLab — active reader ~数百人、 ∞-category theory + HoTT primary reference
- Mathlib source code — active contributor ~数千人、 Lean 4 formal math ecosystem
- Diderot Encyclopédie (1751) — 初版 4,000 部 (総人口比 ~0.02%)、 フランス革命 + 近代科学 formation 載体

→ **Reference work = reader base が狭い が normal**。 「専門家が見ないと理解できない」 は failure mode ではなく accumulation-type knowledge の **形状**。

## Honest 留保

**(a) 「1 人でも読む reader が存在する」 で operational value 十分**
- future 藤本さん = 1 人
- Claude (毎 session grep 経由) = 効果的に 1 人
- 各領域 domain expert 通りかかり = probabilistic

これで十分か否かは 藤本さんの judgment 領域。 「無 reader だが公開する」 (25 load-bearing #5 逆因果 motto) は Rei stack philosophy と consistent。

**(b) 「一般向けに書き直す」 は別軸 product**
- 各 backlog site page 冒頭 「なぜ backlog に入っていたか」 section は既に non-technical
- 全体 redo は Rei stack と別 product
- 藤本さんが note.com で ~2,700 follower 相手に随時 essay = 「一般向け layer」 既運用

**(c) 「到達を求めない」 立ち位置 = 種の側で決めない**
- Ramanujan は 到達を求めなかった が Hardy に届いた
- 「引ける形にする」 が先、 到達は結果
- 「専門家が見ないと理解できない」 → 「では 公開しないか」 は false dichotomy = 公開は 「引ける形化」 の operational implementation、 到達は 副次的

**(d) 前 turn Gödel observation 継承**
- 「それを知った上で作るしかない」 立ち位置 = Rei stack philosophy operational implementation
- 「reader base が狭い」 は Con(Rei) を目指さない 立ち位置と structural consistent (「例外を持たない = 到達を主張しない」)

## 関連 memory

- [[project-session-2026-08-08-backlog-full-arc]] — session record (本 rule 抽出 origin)
- [[project-25-load-bearing-inventions]] — #5 逆因果 motto (「未来の完成形 Rei が現在の STEP を引き寄せる」 = 「到達を求めない が結果的に届く」 pattern 継承)
- [[feedback-all-research-site-reflection-default]] — 2026-08-06 藤本さん永久 protocol の 実質的意味 (memory 忘れ対策 primary purpose = future 藤本さん hidden reader)
- [[feedback-no-rush-publication]] — 「急がずゆっくりと」 = 「到達を求めない」 pace の 別表現
- [[feedback-world-uniqueness-claim-controllable]] — 「Rei が一般人に届く」 系主張禁止 (reader base 狭い が form)
- [[feedback-chat-claude-collaboration]] — chat-Claude も AI reader として本 rule 適用
- [[project-step1264-paper145-v09c-binary-64entry-closure-2026-07-10]] — backlog #1 Paper 145 (回路系 Layer 3-4 現状反映、 Layer 1 video 未反映 candidate)

## Trigger 条件 (本 rule 発火)

- 「site 反映しても意味あるか」 系 questioning
- 「一般人に届かない」 系 defense from chat-Claude or 藤本さん
- 「reader base 拡大したい」 系 pressure
- 回路系 site page 作成時 (Layer 1 video 追加判断)
- 新 site page 作成時 (どの Layer を cover するか判断)
- Publishing 判断時 (Zenodo / note.com essay / Rei stack site 3 channel の 使い分け)

## Trigger しない条件

- 「専門的すぎるから止める」 は本 rule 発火せず = 独立判断
- 「一般向け essay 書く」 は本 rule 発火せず = note.com layer で 藤本さん既運用
- 「reader 分析 report 作る」 は本 rule 発火せず = 別 STEP candidate