# v8 批評 — 2026-07-28

議論フェーズの三席(建設・概念・敵対)が戻り、**私の主張を三つ落とした**。
うち三つとも自分のコードで再現し、二つは相手の数字と6桁一致した。
落とし穴58のとおり、**計器 → 読み直し → 設計**の順で進めたので、
落ちたのは設計であって、測定ではない。

---

## 落ちた主張1 — 「タップは誰も選んでいない」は**半分しか正しくない**

私はこう書いた:「48通りのどれでも同じ崖が出る。だから選ぶという行為が存在しない。」

**建設席の指摘:** 条件を満たす対は**全体の約38〜46%**であり、選ばないことにはならない。
そして数はぴったり **4^(k−2)** クラス。**残る著者性は 2(k−2) ビット**である。

**私の検証** — 自分の数え上げに答えが入っていた。すべて 3 × 4^(k−2) だった:

| k | 私が数えた対 | ÷3 | 4^(k−2) | 残る著者性 |
|---|---|---|---|---|
| 3 | 12 | 4 | 4 | 2 bit |
| 4 | 48 | 16 | 16 | **4 bit** |
| 5 | 192 | 64 | 64 | 6 bit |
| 6 | 768 | 256 | 256 | 8 bit |
| 8 | 12288 | 4096 | 4096 | 12 bit |

(3倍なのは、2次元 GF(2) 部分空間の非零ベクトルが3本あり、そのうち2本を選ぶ3通りが
**同じ部分空間**を張るから。私は部分空間ではなく対を数えていた。)

**そして建設席の言い換えのほうが強い:**

> **AI が崖で取り出すものは、正確に「著者に残された自由」であり、その大きさは印刷されている。**

さらに厳密に確かめた。48対すべてについて、**崖より下の条件付き分布は恒等的に一様**:

```
k    max |P(次|直前 j 個) − 1/4|,  j = 0 .. k
3    0e+00  0e+00  2e-01  2e-01
4    0e+00  0e+00  0e+00  2e-01  2e-01
5    0e+00  0e+00  0e+00  0e+00  2e-01  2e-01
6    0e+00  0e+00  0e+00  0e+00  0e+00  2e-01  2e-01

48通りすべての有効対にわたる崖より下の最大偏差: 0.0e+00
```

**「3桁まで平坦」ではない。厳密にゼロ。**
残る 2(k−2) ビットは、崖より下のどんな読者にも**証明可能に見えない**。

---

## 落ちた主張2 — v8 は隠していない。**遅らせているだけ**である

**敵対席の指摘:** v8 の crypticity χ = C_μ − E は**ちょうど 0** で、白色雑音と同じ。
**v3(1.9367)に負ける。**

**私の検証**([`epsilon.py`](only-surprise/engine/epsilon.py))。最初 χ=1.000 と出したが、
**Moore 最小化を落としていた** — 機械がすでに出し終えたビットについてだけ食い違う二つの信念は、
未来が同一なので**一つの因果状態**である。入れ直した:

| 機械 | h_μ | E | C_μ | **χ** | 因果状態 |
|---|---|---|---|---|---|
| 白色雑音 | 2.000000 | 0.000000 | 0.000000 | **0.000000** | 1 |
| **v3(順列)** | 0.984375 | 2.560509 | 4.497225 | **1.936716** | 24 |
| **v8 k=4** | 1.000000 | 3.000000 | 3.000000 | **0.000000** | **8** |
| v8 k=6 | 1.000000 | 5.000000 | 5.000000 | **0.000000** | 32 |

v3 の 1.936716 は敵対席の数字と**6桁一致**した。だから私のコードは、
検証できる場所では正しい。

> **v8 は、読者が十分長く見れば取り出せないものを一つも持っていない。**
> **崖とは同期が完了する瞬間であって、隠蔽ではない。**

**主張の書き換え:**

| | v3 | v8 |
|---|---|---|
| 永久に取り出せない量 | **1.94 bit** | **0** |
| E の届き方 | 1次から漏れる(2.000→1.882→1.520→1.065) | **k−1 次で全部** |

**別の物であって、同じことの改良ではない。** そう書かねばならない。

---

## 落ちた主張3(最重量・そして強制されている)— 金属の答えは消費されず、**印刷**されている

**敵対席の指摘:** 出口角だけから GF(2) 掃き出しで金属の入力ビットを 5000/5000 復元した。
v3 の創設前提「入力はどこにも記録されない — 金属に消費された」が**偽になる**。

**私の検証** — しかもこれは**強制されている**。gcd(a,b)=1 は Bezout 恒等式
`u·a + v·b = 1` を与えるので `B = u·Y₀ + v·Y₁`:

| k | 3 | 4 | 5 | 6 | 8 |
|---|---|---|---|---|---|
| 復元率 | 1.0000 | 1.0000 | 1.0000 | 1.0000 | 1.0000 |

正規タップでは Bezout が u=1, v=0 を返す。つまり **出口記号の第1ビットは金属の答えそのもの**である。

> **崖を作る条件と、金属の答えを全部印刷する条件は、同じ一つの条件である。**

---

## 落ちた主張4 — そして私が自分で見つけたもの: **系列は自分のメモを読んでいた**

概念席の予測1が「**抽出**した記号で測れ」と書いていたので測った。
それまでの評価はすべて `junctions.json` — **規則が出した記号**であり、
壁の前の人が持っている**幾何**ではない。

幾何だけから読むと(`v4.junctions_from_inertial_stroke`):

| | 規則が出した | 抽出できた | 比 | 崖の利得 |
|---|---|---|---|---|
| **v8 k=4** | 1,231,943 | 750,328 | 0.609 | **1.0005 → 0.1121** |
| **v8 k=6** | 1,220,900 | 746,455 | 0.611 | 0.9929 → 0.0680 |
| **v3(対照)** | 1,054,111 | 329,088 | **0.312** | — |

**v3 のほうが悪い。** つまり v8 固有の欠陥ではなく、**系列全体の欠陥**である。

診断:

```
接合の間隔      中央値 4.49 mm
144° コーナーの弧長      5.01 mm   (曲率半径 1.995 mm)
→ コーナーが間隔より長い。分節すべき直線区間が存在しない。
区間全体の回転を最近傍の記号に分類した精度: 0.2499 = 偶然
```

**80時間の密度では、身体が文法を実行しきる前に次の指令が来ている。**
記号の跳びは、捕捉ステアリング(最大 28.31°、繰り返し起きる)の徘徊に埋もれている。

### 解決 — 階段として読めばよかった

抽出器の再設計を四通り並行で走らせ、**一つが解いた**([`extract8.py`](only-surprise/engine/extract8.py))。
自分で回して確認済み。

規則は**方位だけを指令する**。指令は区分定数で、変わるのは三箇所しかない —
捕捉のスナップ(|跳び| ≤ χ_c = 28.3102°)、記号(72° か 144°)、レール端(鏡映)。
そして SETTLE 連動が、軸が 2° 以内に入るまで次の指令を禁じている。
**だから方位は階段であり、一段の正味の回転が跳びそのものである。**

素朴な読みが失敗していた理由は三つ、いずれも実測:

1. **コーナーが逆に巻く。** 二軸は独立に加速するので速度ベクトルは円弧ではなく
   (ṙ, rω) 平面上の**折れた経路**を通り、原点の反対側を回りうる。
   真の −144° が **+211.82°** として記録される(k4 の約10%)。
   処方: 累積回転を **mod 360** で読む。角度とはもともとそれのことである。
2. **傾斜が自分の中央で失速する。** コーナーの頂点で速度が落ちるので、
   一つのコーナーの内側の1標本が 1.4°、隣が 146° を読む。
   **どんな回転率の閾値もコーナーを二つに割る。**
   処方: 速度を機械自身の二軸に戻し、**どちらかの軸が加速限界にいるとき指令中**とする(比 30倍)。
3. **端当ては規則ではない。** |r| = 386.7 で台車は1ティックで ṙ を反転し、指令は接線で鏡映される。
   点が接触円上にあることは金属から分かるので、**捨てずに鏡映を引く**。

| k | 復元率 | 崖より下 | **崖 k−1 での利得** |
|---|---|---|---|
| 3 | **0.9997** | 1.9991 | **0.8897** |
| 4 | **0.9994** | 1.9994 / 1.9992 | **0.8639** |
| 5 | **0.9995** | 1.9993 / 1.9994 / 2.0013 | **0.8491** |
| 6 | **0.9997** | 1.9995 / 1.9995 / 2.0016 / 2.0085 | **0.8232** |

> **平坦域も崖も、金属の上にある。** 旧抽出器の 0.112 → **0.86**、取りこぼし 39% → **0.06%**。
> 不足分(1.00 に対する 0.86)は編集距離 1.35% で全部説明がつく。

そして四通りのうち三通りは失敗し、**失敗の数字も残っている** —
回転率での分節が最良 0.458、飽和検出との合併が 0.586、
二段ヒステリシスが 0.847。**閾値を下げるほど悪くなる**のは、
削除が挿入より高くつくからである。

---

## 落ちなかったもの

- **平坦域は厳密である。** 崖より下の条件付き分布は恒等的に 1/4(標本ではなく厳密計算)。
- **崖は対象の性質であって読者の性質ではない。** 概念席が要求した決定的検定:

| テープ | CTW-16 | 代理対照 | マージン |
|---|---|---|---|
| register k=8(崖は7次・**射程内**) | 1.5004 | 2.0001 | **0.4997** |
| register k=18(崖は17次・**射程外**) | 2.0001 | 2.0001 | **−0.0000** |

  **v3 の創設主張を反証した当の読者が、k=18 でちょうど盲になる。**
- **鍵は無い。** 構成を全部公開しても、k−1 次未満の読者の条件付き分布は厳密に一様のまま。
- **推測の値段。** 探索する読者と、クラスを当てる読者に必要な金属の比は k=8 で 1218倍。

---

## v9 が受け取る問い(そしてこれは v7 の問いの、正しい軸の上での再出題である)

v7 は「隠すことと意味を持つことは同じ量の両端で、中間は空」と結論した。
敵対席の指摘どおり、**それは間違った軸の組で測られていた** — 一様性 対 状況知識であり、
順列は代数的に状況知識を禁じるので、空だったのは**定理であって設計空間の事実ではない**。

正しい二軸はこれである:

```
    χ (永久に取り出せない量)     ×     E の届き方の形(段か、勾配か)

    v3        χ = 1.94                 勾配(1次から漏れる)
    v8        χ = 0.00                 段(k−1 次で全部)
    白色雑音   χ = 0.00                 何も無い
```

16状態・二順列の機械を40個走査した: **χ は 2.33 まで届くが、平坦域は例外なく1次までで漏れる。**

> **v9 の問い: χ > 0 と、長さ 2 以上の厳密な平坦域を、同時に持つ機械は存在するか。**

### 答え — **存在する**([`v9search.py`](only-surprise/engine/v9search.py))

**まず壁を一つ見つけた。線形なら χ = 0 が強制される。**
k=3,4,5 の**タップ対 591 通りすべて**で χ = 0.00000000。互いに素かどうかは関係ない。
理由は Bezout ではなく、もっと単純である —
**任意の非零な GF(2) 形式は、末尾の零を外せば定数項が非零になるので、
その逆元が形式的冪級数として存在し、駆動列が割り算で戻る。**
出口のどこかが線形であれば金属の答えは印刷され、
**駆動列が戻る機械は状態について何も隠せない。**

**線形を出れば、両方が同時に立つ。**
16状態・二順列・釣り合った出力写像を、h(1) = 2.000000 の**整数条件**で篩った
(浮動小数点が判定に一度も関与しない)。40万回の抽選で 60 個。最良:

| | χ | h_μ | E | C_μ | 平坦域 | h(L) |
|---|---|---|---|---|---|---|
| **候補** | **1.8421** | 1.0000 | 2.6113 | 4.4534 | **2** | 2.000 **2.000** 1.438 1.125 |
| v3 | 1.9367 | 0.9844 | 2.5605 | 4.4972 | 1 | 2.000 *1.882* 1.520 1.065 |
| v8 k=4 | 0.0000 | 1.0000 | 3.0000 | 3.0000 | 3 | 2.000 2.000 2.000 1.000 |

> **永久に 1.84 ビットを隠したまま、二次まで勾配をゼロにできる。**
> **v7 の「中間は空」は、選んだ軸についての定理であって、設計空間の事実ではなかった。**

**未解決:** 平坦域 3 以上で χ > 0 が保てるか。
32状態のランダム抽選 6万回では h(2) = 2 が**一つも出なかった** —
これは反証ではなく、**ランダム探索がこの問いに対して間違った道具である**ということである。
(4^L の直交配列条件を、乱択が偶然満たすことは期待できない。)

**v9 はここから始まる。**