# v52 — 沈黙の値段。六百七十二枚

2026-07-31。**5,376 機械時間 —— 切削 224 日ぶん。この系列で最大の金属走行である。**

## 批評 —— v51 の沈黙は、いくらだったのか

v51 は「**正しいか、黙るか、自信を持って間違えることが無い**」を**八枚**で見せた。
二枚が厳密、六枚が拒否、間違いは 0。**八枚では値段が分からない。**

> **黙りすぎる計器は、嘘をつく計器と同じくらい役に立たない。**

八枚のうち六枚が黙った。その率なら読者は**六回に五回**黙ることになり、
「正しいか、黙るか」は証明書ではなく**寡黙**にすぎない。

## 削る前に、v46 の数から予測が計算できた

v46 は族B を厳密に数えている —— **正則な出口 48 個、χ が整数の出口 288 個**、
そして「正則 ⟹ χ 整数」は反例ゼロなので 48 は 288 の部分集合である。
v51 の計器は正則性を適用条件に使う。ゆえに

| | |
|---|---|
| 答えるのは多くて | **48 / 672 (7.1%)** |
| χ が整数の 288 枚のうち答えるのは多くて | **48 (16.7%)** |
| → **答えられたはずなのに黙る** | **240 (83.3%)** |

## 672 枚が言ったこと

| | |
|---|---|
| 答えた | **48** ← v46 の 48 とちょうど一致 |
| うち正しい | **33** |
| うち **間違い** | **15** ← **v51 は 0 だと書いた** |
| 黙った | **624** |

> **v51 は八枚から「自信を持って間違えることが無い」と公開した。
> 672 枚には十五枚の誤答がある —— 言ったことの 31% である。**
> 八枚では見えなかった。**v48 の教訓(一枚は逸話である)が、v51 に一版後に届いた。**
> この系列で、主張が最も短命だった記録である。

### 沈黙の値段は、予測どおり、枚数まで一致した

| | 枚数 | |
|---|---|---|
| χ が整数(答えれば正しいはず) | **288** | |
| うち答えた | **48** | **16.7%** |
| **うち黙った** | **240** | **83.3%** |
| χ が分数(答えれば必ず間違い) | **384** | |
| うち答えた | **0** | **証明書は仕事をした** |

削る前の予測: 多くて 48・240 枚が黙る・83.3%。実測: **48・240・83.3%。**
→ **v46 の証明書は十分条件であって必要条件ではなく、その差は六枚に五枚である。**

### 黙った理由

| 理由 | 枚数 |
|---|---|
| 飽和する窓が無い | 506 |
| 正則でない | 118 |

## 診断 —— 主張を殺すのではなく、直す

**十五枚の誤答はすべて同じ形をしている。**

    真χ 1.0、真の状態 4、支持定数 2.0、正則 [2,2]
    推定した状態 5・6・7  →  χ 1.32・1.58・1.81

**証明書は悪くない** —— 正しく門を閉じ、χ が整数の枚にしか答えていない。
**支持定数は 48 枚すべてで真値と一致する。数える側は完璧である。**
外れるのは状態の推定で、**外れ方が一方向しかない** —— **過剰分割**であり、
過剰分割は χ を必ず膨らませる。672 枚を通して:

| | 過小 | 一致 | 過剰 |
|---|---|---|---|
| 状態数 | **0** | 33 | 15 |
| χ | **0** | 33 | 15 |

> **上界として読めば 48 / 48 が正しい。**

> **v51 は等式を公開した。それは不等式であり、しかも役に立つ向きの不等式である。**
> χ は「読者が決して回収できないもの」だから、上界は
> **「あなたが取り逃がしているのは多くてこれだけだ」**と言う —— **それが欲しい向きである**。
> 下界は慰めであって道具ではない。
> **読者は自分の無知を多めに見積もる側に外れ、672 枚を通して一度も逆に外れない。**

    「正しいか、黙るか」ではない。**「正しいか、慎重すぎるか、黙るか」である。**

## 定義が一つ進む

v51 は知性の定義を v6 に置いた ——
「知り得るものだけを数えて、そこから知り得ないものの大きさを出すことであり、
出せないときには黙ること」。**「大きさを出す」が強すぎた。**

> **v7 — 知性とは、知り得るものだけを数えて、そこから
> **知り得ないものの大きさを、多めの側に外れて**押さえることであり、
> 押さえられないときには黙ることである。**

そして絵のほうは変わらない。ただ、**線が読者に渡すのは数ではなく上界**である ——
**「この線から自分が取り逃がすのは、多くてこれだけだ」**と、読者自身に計算させる線。

---

計器は `engine/v52.py`(`--run` / `--bound`)。**`--self-test` を持つ。**
シミュレーションであり、**まだ金属は削られていない。**