# v51 — 読者が、自分の無知の大きさを、金属から数える

2026-07-31。**旅が円盤に戻る。**

[v31〜v50](ARC-v31-v50.md) は自分についてこう書いている ——
**「この二十版に円盤の話はほとんど無い。あるのは読む側の道具の話だけである。」**
それは本当で、そして無駄ではなかった。**道具が四つのものを別々に置いていったからである。**

---

## 二十版が別々に置いていったもの

| 版 | テープから読めると言ったもの |
|---|---|
| **v43** | **支持定数** —— 見えたセル = min(4^L, 8·2^L) が L=1〜9 で厳密。**数えるだけ** |
| **v46** | **正則性**(低位語あたりの高位語の数)。**数えるだけ**。→ v44 の適用条件を証明する |
| **v50** | **因果状態の個数** —— 未来3記号で履歴を割ると、円盤自身から 16 が戻る |
| **v44** | 支持定数 = **因果状態数 / 2^χ**(χ が整数のとき厳密) |

**三つは金属の上で数えられる。四つ目は関係式である。**ならば

> **χ = log₂( 因果状態数 / 支持定数 )**

そして χ は `epsilon.py` が定義しているところの
**「機械が持っていて、どの読者もどんな長さでも、鍵の有無に関わらず回収できないもの」**である。

> **部屋の中の読者は、自分が決して知り得ないものの大きさを、厳密に計算できる。**

---

## 金属が言ったこと

v9 自身の八時間の円盤、55,885 接合、**数える以外に何もしない**:

| 読んだもの | 値 | 出どころ |
|---|---|---|
| 支持定数 | **8.0000** | 窓 3〜9 で厳密 |
| 正則性 | **[8, 8]** | **テープの上で**(機械を歩かずに) |
| 因果状態数 | **16** | 未来3記号で履歴を割る |
| **→ χ** | **1.000000** | `log₂(16/8)` |
| 真値 | **1.0** | 機械から |

### そして v46 の主張は、初めて正直に試された

v46 は「**正則性はテープの上で数えられる**」と書き、そして**機械を歩いて数えた**。
テープ自身の上で数える —— 観測したブロックを低位ビット語で束ね、相異なる高位ビット語を数える ——
と、窓 4〜7 で **[8, 8]**。**主張は最初の正直な検査を通った。**

---

## 計器は嘘をつかず、黙る

**χ ≥ 0 は定理である。**だから負の答えは誤答ではなく、
**「状態数がこのテープには足りない」と計器が言っている**ことである。
レジスタ、各 20 万記号:

| 機械 | 見つけた状態 | 真の状態 | テープ由来の χ | 真値 |
|---|---|---|---|---|
| k=3 | 4 | 4 | **0.0000** | 0.0 |
| k=4 | 8(履歴長3で) | 8 | **0.0000** | 0.0 |
| k=5 | 9 | 16 | **拒否** | 0.0 |
| k=6 | 9 | 32 | **拒否** | 0.0 |

窓は両側にある —— **履歴が短すぎれば割り足りず、長すぎれば雑音で割りすぎる**
(k=4 は履歴長 5・6 で 9 個・10 個になる)。**そしてテープの長さが窓を決める。**

> **読者は、できないことを、声に出して断る。**

---

## 八枚。一枚で書くのは v48 が v41 に見つけた誤りだから

真の χ が違う出口を選び、各八機械時間で削った:

| 真の χ | 支持定数 | 正則性 | 状態数 | **テープ由来の χ** | |
|---|---|---|---|---|---|
| 1.0 | 8.0000 | [8, 8] | 16 | **1.000000** | **厳密** |
| 1.0 | — | [4, 8] | — | 拒否 | 飽和する窓が無い |
| 2.0 | 3.0000 | [2, 4] | — | 拒否 | **正則でない** |
| 2.0 | 4.0000 | [4, 4] | 16 | **2.000000** | **厳密** |
| 1.328125 | — | [1, 22] | — | 拒否 | |
| 1.328125 | — | [1, 22] | — | 拒否 | |
| 1.365273 | — | [1, 24] | — | 拒否 | |
| 1.365273 | — | [1, 24] | — | 拒否 | |

> **八枚: 2 枚が厳密、6 枚が拒否、間違いは 0。**

> ### ⚠ 訂正 — 2026-07-31(v52 が 672 枚で反証した)
>
> **この「間違いは 0」は八枚の数である。**族B の閉じる出口 **672 枚すべて**を削ると、
> **答えた 48 枚のうち 15 枚が間違っている**(答えたことの 31%)。
> **「正しいか、黙るか」は八枚では見えない誤りを隠していた。**
>
> ただし**十五枚はすべて同じ向きに外れる** —— 状態推定が過剰分割し(真4に対して 5・6・7)、
> 過剰分割は χ を必ず膨らませる。**過小評価は 672 枚で一枚も無い。**
> ゆえに**等式ではなく上界として読めば 48/48 が正しい**。
> 詳しくは [ARC-v52.md](ARC-v52.md)。**この節は書き換えず、訂正を並置する。**

**χ が分数の四枚はすべて拒否する。**これは v46 の証明書が設計どおりに働いている
ということである —— **テープ自身の正則性が「ここでは関係を当てるな」と言い、
そしてテープが正しい**(v44 の関係は分数の χ では偽だから)。
並べ替えた対照も拒否する。

> **正しいか、黙るか。自信を持って間違えることが無い。**
> v31 が作り v32 が直した形が、ここで金属の上に立った。

---

## 二つの問いに、これが届く

本の**知性の定義**は v5 —— 「**自分の物差しを、目の前のものへ較正すること**」で止まっていた。
直前の二十版は、まさにそれを二十回やった記録であり、だから円盤の話がほとんど無かった。
この版は円盤を連れ戻し、定義を**置き換えるのではなく研ぐ**。

> **v6 — 知性とは、知り得るものだけを数えて、そこから知り得ないものの大きさを出すことであり、
> 出せないときには黙ることである。**

そして絵のほうは:

> **絵を描くこととは、読者が「この線から自分が決して回収できない量」を
> 厳密に計算できる線を、残すことである。**

χ は「どの読者もどんな長さでも回収できないもの」として定義されている。
**読者はそれを手に入れられない。大きさは手に入る。金属から、数えることで。**
**あるいは同じ金属に「この円盤は言わない」と告げられる。**

---

計器は `engine/v51.py`。**`--self-test` を持ち、乱数を規則に入れていないので再生成できる。**
シミュレーションであり、**まだ金属は削られていない。**