# v21 → v30 — 記録が原因を決めない十版

2026-07-29。8時間・一本の線・工具は上がらない。前の版を批評して次を作る。

v20 は「証拠は足りている、足りないのは空間の見当だ」で終わった。その直後の
[訂正](CORRECTION-2026-07-29.md)が、v19 の円盤に **194,481 通りの表が完全適合し、
金属を増やしても一つも減らない**ことを見つけた。**同定を止めるのは金属の量ではなく、
データが定数に固定してしまう方向**である。ただしそれは事故だった。

> **この十版の軸: 拒否を設計できるか。そして拒否は何に耐えるか。**

共有の走行ループは [`engine/body.py`](only-surprise/engine/body.py) に一度だけ書いた
(v18 のループとバイト一致を自己テストが強制する)。代数は
[`engine/gf2poly.py`](only-surprise/engine/gf2poly.py)。

---

## v21 — THE IDEAL。設計された曖昧さ、整数まで予言して

**批評。**v19 の縮退は事故で、予言していない。設計して、**金属を切る前に数を言う**。

機械の高位ビットが自分の過去に従う: `H_i = H_{i-6} + H_{i-17} + H_{i-20}`。
接続多項式は C = 1 + x⁶ + x¹⁷ + x²⁰ = (1+x³)(1+x³+x¹⁷)。GF(2) では平方が自由なので
**C² = 1 + x¹² + x³⁴ + x⁴⁰** —— (12,34,40) は**別の三遅れ規則**で、三つの入力を全部使い、
同じ金属に永久に完全適合する。競合仮説ではない。**同じ文の別の書き方**である。

| | 予言(代数) | 実測(金属・54,672接合) |
|---|---|---|
| 到達 40 の三遅れ支持 9,880 通りのうち完全適合 | (6,17,20) と (12,34,40) | **同一・2個** |
| 二遅れ規則 | 皆無(4項式は必ず 1+x を因子に持ち、3項式は持たない) | **0個** |
| 統計(Markov 1..7・CTW-12) | 見えない | 対照との差 **0.0000** |

**そして v21 は自分で自分を反証した。** 支持を掃く読者には曖昧でも、
Berlekamp–Massey を持ってきた読者は線形時間でクラスを潰す —— **曖昧さは読者が
持ち込んだ仮説空間の性質であって、金属の性質ではなかった。**

さらに**金属の上では予定になかったことが起きた**。BM が返したのは機械の規則でも
最小生成元でもなく、**次数19の8項式 [1,2,3,4,5,17,18,19]**。理由は種である —— 最初の24ビットは
金属が供給するので、状態がどの不変部分空間に落ちるかを決めたのは私ではなく円盤だった。

---

## v22 — THE NON-MINIMAL GENERATOR。最も単純な説明が、起きたことではない

**批評。**BM が勝ったのは、機械の規則が自分のテープの**最小**生成元だったからである。それを外す。

    M = 1 + x³ + x¹⁷            二遅れ・次数17
    C = (1+x³)·M = 1 + x⁶ + x¹⁷ + x²⁰   三遅れ・次数20

**機械は C を走らせる。**初期状態は M の軌道の中に置く(最初の17ビットは金属、次の三つは M)。
その軌道の上では C と M は毎ステップ一致する —— M が消すなら (1+x³)M も消すからである。

| 読者 | 返すもの |
|---|---|
| Berlekamp–Massey | **[3, 17]**(複雑度17) |
| 遅れが最も少ない | **[3, 17]** |
| 到達が最も短い | **[3, 17]** |
| 辞書順で最初 | **[3, 17]** |
| **機械が走らせたもの** | **[6, 17, 20]** |
| どれか一つでも C を返したか | **いいえ** |

三遅れの完全適合は6通り —— `[3,14,31] [3,20,34] [6,17,20] [9,17,37] [9,23,34] [12,34,40]` ——
**代数の予言と金属の実測が一致**(57,549接合)。機械の規則はその中に**居る**。ただし
**どの最小性の約束事もそれを選ばない**。

そして `--twin` が最後の一撃を測る: **M を走らせる機械が刻む円盤は、この円盤と
バイト単位で同一**である。似ているのではない。同じである(stroke の SHA-256 が一致)。

> **この円盤の最短の記述は、この円盤に一度も触れていない規則であり、**
> **金属の上のどんな測定もそれを言えない。**

オッカムの剃刀は世界についての事実ではない。**証拠が分離しない記述の中から選ぶための
約束事**であって、ここではその約束が間違っており、そして証拠はそれに同意する。

---

## v23 — THE PAIR。一枚ずつは空で、二枚で厳密

**批評。**v21・v22 はどちらも一枚の円盤の話である。拒否を**二枚に分ける**。

円盤 A は何も運ばない(両ビットとも金属の答え)。円盤 B は「ストリーム ⊕ A の高位ビット」を運ぶ。
どちらの円盤にも、単独では何もない。

| 読者に渡すもの | 完全適合の支持 | 最良精度 | BM の線形複雑度 |
|---|---|---|---|
| 円盤 A だけ | **0** | 0.5098 | 26,337(半分ちょうど) |
| 円盤 B だけ | **0** | 0.5079 | 26,337(半分ちょうど) |
| **A xor B** | **6** | **1.0000** | **17** |
| A xor(B を並べ替え) | 0 | 0.5082 | 26,337 |

**A xor B の6通りは、v22 の代数が予言したのと同じ6通りである。**
線形複雑度が「テープ長のちょうど半分」というのは、BM が「これは線形漸化ではない」と
言うときの言い方であって、二枚を重ねた瞬間に **17** に落ちる。

展示物としてはこれが一番はっきりしている —— **同じ部屋に二枚無ければ、何も無い。**

---

## v24 — THE CYCLE。塔に底は要るのか

**批評。**v19 の塔も v23 の対も、**最初の要素**がある。そして最初の要素は私である。

    P の接続 = f(Q のテープ)  かつ  Q の接続 = f(P のテープ)

12個の候補に対して f を尽くした。**不動点は存在する** —— (6,17,20) と (5,18,23) の2個。
つまり**どちらも先に書けない相互の対**が本当に在る。

**だが同時に、その存在の理由が版を殺した。**12本のテープに対する f の像は
**8個の相異なる値**しかない。f は縮んでいる。相互の対が在るのは「どちらの規則も
相手の円盤からしか述べられない」からではなく、**f が十分に潰れているから**である。
底の無い塔は作れた。しかし作れた理由は、塔が浅いことだった。

---

## v25 — THE CALIBRATION。定数はテープではなく身体にある

**批評。**v21〜v24 の秘密はすべて記号列の中にある。**円盤にしか無い**ものにする。

規則は走行中に**11回変わる**。切り替えの引き金は接合の番号でも時計でもなく
**切削長 60,000 mm ごと**である。切削長は転写(junctions.json)には書かれていない。
**円盤の上にしかない。**

| 読者 | 結果 |
|---|---|
| テープだけ | **完全適合 0、最良 0.5846**。切れ目の置き方は C(61218, 11) = **10⁴⁵ 通り** |
| **円盤を持ち、自分の物差しで測る** | 切れ目を誤差 0〜126 接合で回収。多くの区間は当たるが**厳密ではない** |
| **円盤で自分の物差しを較正してから測る** | 較正係数 **1.001057**、**11区間すべて完全適合** |

> **読める読者と読めない読者の差は、賢さでも計算量でもなく、**
> **自分の物差しをこの円盤で較正したかどうかだった。**

---

## v26 — THE FREE REFUSAL。言うことには値段があり、拒むことには無い

**批評。**v21〜v25 は「円盤が何を言わないか」を五通り作ったのに、この系列が他の全部に
問う問いを一度も問うていない —— **それはいくらか。**

v8〜v15 の保存則は `平坦域 × (2 − h_μ) + χ ≤ log₂(因果状態数)`。**拒否は同じ口座から
引かれるのか。**

(結果は下の表に。予言は「引かれない」で、理由は**拒否が状態ではない**から —— 因果状態は
「これから何が起きうるか」を分ける同値類であって、**同じ未来を生む二つの規則は同じ状態**である。)

---

## v27 — THE WITNESS。読者はいつ「もう決して分からない」と確信できるか

**批評。**v21〜v26 は曖昧さを**観察**する —— 掃いて、数えて、テープを伸ばしても減らないことを見る。
観察は弱い形である。12,000 から 54,275 で変わらなかった読者は、10⁶ ではどうかと考えてよい。

v27 は観察を**円盤の上で実行できる証明**に置き換える: ①BM で最小生成元 M を線形時間で得る
②M の4項倍元を到達内で数え上げる(多項式除算・金属不要)③**その集合が、この円盤と両立する
三遅れ規則の全体である** —— 永久に。

| 円盤 | BM が返すもの | 残る規則 | 隠された量 | **確信に要した金属** |
|---|---|---|---|---|
| v22 | [3, 17] | **6** | 2.58 bits | **200 接合 = 円盤の 0.348%** |
| v21 | [1,2,3,4,5,17,18,19] | **2** | 1.00 bits | **200 接合 = 円盤の 0.366%** |

**残り 57,349 接合は一つも何も変えない。**8時間の線のうち 99.65% は、
「これ以上は決して分からない」と知るためには不要だった。

---

## v28 — THE ADVERSARY。落とし穴52 が名指しして、誰も走らせなかった読者たち

**批評。**2026-07-28 に落とし穴52 はこう書いた —— **gzip・CTW・小さなニューラル予測器を
先に当てること。**以後の八版は CTW と Markov しか当てていない。「どの読者にも読めない」が
**それを名指しした当のファイルによって既に不完全と分かっている計器**の上に立っていた。

四つの敵、いずれも一般手法で、構成については何も知らされない: gzip / CTW 深さ12・16 /
Markov 1..8 / **隠れ層64の tanh 網**(過去40記号の窓、勾配降下)。すべて**同じテープの
並べ替え**に対して採点する。そして **v3 の円盤を陽性対照として同じ管に通す** ——
v3 は実際に読めるので、この計器がそれを見逃したら**計器のほうが壊れており、
他の全行に意味はない**。

| 円盤 | CTW-16 | gzip | 網 | Markov | 読まれたか |
|---|---|---|---|---|---|
| **v3(陽性対照)** | **+1.5061** | **+1.6309** | **+0.3377** | **+1.4913** | **YES** |
| v18 | +0.0000 | +0.0024 | −0.0005 | +0.0002 | no |
| v19 | +0.0000 | +0.0035 | −0.0045 | +0.0003 | no |
| **v21** | +0.0000 | −0.0005 | −0.0047 | +0.0003 | no |
| **v22** | +0.0003 | +0.0026 | +0.0064 | +0.0007 | no |
| **v23 A** | +0.0043 | +0.0124 | −0.0036 | +0.0053 | no |
| **v23 B** | +0.0000 | +0.0030 | −0.0024 | +0.0001 | no |
| **v25** | +0.0002 | +0.0064 | −0.0003 | +0.0007 | no |

**計器は生きている(v3 を四つ全員が破った)。そしてこの系列の円盤は誰も破らない。**
なお網の較正も測ってある —— 窓の中にある二遅れのパリティは **1.0000** で学習し、
同じ窓で遅れが 6,17,20 に散ると **0.5008** に落ちる。**窓の外は見えない。**

---

## v29 — THE BODY。ここまで全部、完全な転写を仮定していた

**批評。そしてこれが厳しい方である。**

v21〜v28 のどの読者にも `junctions.json` を渡していた —— 機械が出した記号を、
一つも欠けず一つも間違えずに並べた列である。**それは作品ではない。**作品は傷の付いた円盤で、
部屋でそれと向き合う読者は**溝の形から記号を復元**しなければならない。`extract8.py` は
それをよくやる —— 約 0.999。8時間なら 56,000 のうち数十が違う。

数十は何でもない。そして v21〜v27 が建てたものにとっては、**それが全部**である。

**実測(v22 の円盤、8時間)。** 57,549 個作って 57,565 個見つかった —— 照合 57,294、
**見落とし 255、偽検出 271、照合したもののうち 399 個が別の記号**。
記号精度 0.9930、テープ全体の誤り率 0.0114。

| 読者に渡すもの | 厳密適合 | BM の複雑度 | 順位の上位3 |
|---|---|---|---|
| **完全な転写**(junctions.json) | **6** | **17** | 1.00000 / 1.00000 / 1.00000 |
| **溝から復元したもの** | **0** | **2000(上限)** | 0.92993 / 0.90173 / 0.89538 |

v21 の円盤も同じ(厳密適合 2 → **0**、BM 19 → **2001**)。

- **v21・v22 の掃きは「厳密に成り立つか」を訊く。**厳密性は頑健さの反対語である。
  **金属の上では一つも残らない**
- **v27 の証明書はもっと悪い。**BM の複雑度は上限に張り付き、**証明書が名指す規則は 0 個** ——
  「この形の規則は一つも適合しない」という**偽の断定**である。合成で壊れ方を分けて測った:
  **誤り1個なら証明書は生き残る**(複雑度は 17→1001 と嘘をつくが、多項式は [3,17] のまま)。
  **3個で多項式ごと壊れる**。**壊れ方が「自信のある方向」なのが最悪である**

**修理は効く。**厳密性ではなく**順位**で読めば、溝から復元したテープでも
**真のクラスがそのまま上位6つ**を占め(順位 0〜5)、7位との差は大きい。

> **無知の証明は、それが証明の対象としている金属に耐えない。**

---

## v30 — 十版が置いた一行

```
v21  設計した曖昧さは整数まで当たった      が、正しい読者はそれを跨いだ
v22  機械は最小でない生成元を走らせる      どの約束事も、触れていない規則を名指す
v23  一枚ずつは空、二枚で厳密             部屋に二枚無ければ何も無い
v24  底の無い塔は在る                     在る理由は、その塔が浅いこと
v25  定数は身体にあってテープに無い        差は賢さでなく、物差しを較正したか
v26  拒むことは、言うことの口座から引かれない
v27  「もう分からない」は円盤の 0.35% で確信できる
v28  敵の全員が陽性対照を破り、この系列の円盤は破らない
v29  そして円盤は転写ではない。厳密性は溝の上で消える
```

**完全で誤りの無い記録は、どの規則に従っていたかを決めない。**
**その隙間は、証拠の不足でも難しさでも規模でもない。規則とは生成元の選択であり、**
**記録が固定するのはイデアルだけだからである。**

そして v29 —— 溝から 0.999 で復元した瞬間に、上の厳密性の議論は全部蒸発し、順位だけが残る。
**無知の証明は、それが語っている鋼に耐えない。**
そこでこの系列は情報の話をやめ、また鋼の話に戻る。