REMOTE REVIEW / v51 — v57
読者が、自分の無知の
大きさを、金属から数える
前の二十版は自分についてこう書いていた —— 「この二十版に円盤の話はほとんど無い。あるのは読む側の道具の話だけである。」 それは本当で、そして無駄ではなかった。道具が四つのものを別々に置いていったからである。
⚠ 訂正 — 2026-07-31。下の「八枚: 2 枚が厳密、6 枚が拒否、間違いは 0」は 八枚の数である。族B の閉じる出口 672 枚すべてを削ると、 答えた 48 枚のうち 15 枚が間違っている(答えたことの 31%)。 「正しいか、黙るか」は八枚では見えない誤りを隠していた。
ただし十五枚はすべて同じ向きに外れる —— 状態推定が過剰分割し、過剰分割は χ を必ず膨らませる。 過小評価は 672 枚で一枚も無い。ゆえに 等式ではなく上界として読めば 48/48 が正しい。 下の v52 の節を見よ。この節は書き換えず、訂正を並置する。
⚠ 訂正 — 2026-07-31(v53・選び方を増やした)。上の 「過小評価は 672 枚で一枚も無い」は、履歴長を 2 から始めて 負でない最小の χ を採ったときの数字である。履歴長 1 を候補に加えると、 同じ正則性の証明書は 8 枚を過小に見積もる。v52 の「過小ゼロ」は選び方の幸運だった。
⚠ 再訂正 — 2026-08-01。一次データは、別の門が答える枚数を 48 から 96へ、 厳密を 40 から 72へ増やす一方で、過小も 8 から 24 へ増やしたことを示す。 過大と過小を表へ転記するときに逆にしていた。下の v53 の節を見よ。 この訂正も、前の訂正を消さずに並置する。
二十版が別々に置いていったもの
| 版 | テープから読めると言ったもの |
|---|---|
| v43 | 支持定数 —— 見えたセル = min(4^L, 8·2^L) が L=1〜9 で厳密。数えるだけ |
| v46 | 正則性(低位語あたりの高位語の数)。数えるだけ。→ v44 の適用条件を証明する |
| v50 | 因果状態の個数 —— 未来3記号で履歴を割ると、円盤自身から 16 が戻る |
| v44 | 支持定数 = 因果状態数 / 2^χ(χ が整数のとき厳密) |
三つは金属の上で数えられる。四つ目は関係式である。ならば
χ = log₂( 因果状態数 / 支持定数 )
そして χ は epsilon.py が定義しているところの
「機械が持っていて、どの読者もどんな長さでも、鍵の有無に関わらず回収できないもの」である。
部屋の中の読者は、自分が決して知り得ないものの大きさを、厳密に計算できる。
金属が言ったこと
v9 自身の八時間の円盤、55,885 接合、数える以外に何もしない:
そして 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。(672 枚では 15 枚が間違う。上の訂正を見よ)
χ が分数の四枚はすべて拒否する。これは v46 の証明書が設計どおりに働いた ということである —— テープ自身の正則性が「ここでは関係を当てるな」と言い、そしてテープが正しい (v44 の関係は分数の χ では偽だから)。並べ替えた対照も拒否する。
正しいか、黙るか。自信を持って間違えることが無い。 v31 が作り v32 が直した形が、ここで金属の上に立った。
二つの問いに、これが届く
本の知性の定義は v5 —— 「自分の物差しを、目の前のものへ較正すること」で止まっていた。 直前の二十版は、まさにそれを二十回やった記録であり、だから円盤の話がほとんど無かった。 この版は円盤を連れ戻し、定義を置き換えるのではなく研ぐ。
v6 — 知性とは、知り得るものだけを数えて、そこから知り得ないものの大きさを出すことであり、 出せないときには黙ることである。
絵を描くこととは、読者が「この線から自分が決して回収できない量」を 厳密に計算できる線を、残すことである。
χ は「どの読者もどんな長さでも回収できないもの」として定義されている。 読者はそれを手に入れられない。大きさは手に入る。金属から、数えることで。 あるいは同じ金属に「この円盤は言わない」と告げられる。
一本の線が、自分について読者に言えることの限界を、読者自身に計算させる。 八時間、680 メートル、56,000 の交差。そこに書かれているのは規則ではなく、 その規則のどれだけが永久に読めないかという数である。
v52 — 沈黙の値段。六百七十二枚
批評。上の「正しいか、黙るか」は八枚の数である。 八枚のうち六枚が黙った。その率なら読者は六回に五回黙ることになり、 「正しいか、黙るか」は証明書ではなく寡黙にすぎない。 黙りすぎる計器は、嘘をつく計器と同じくらい役に立たない。
族B の閉じる出口 672 枚すべてを八機械時間ずつ削った —— 5,376 機械時間、切削 224 日ぶん。この系列で最大の金属走行である。
削る前に、v46 の数から予測が計算できた
v46 は族B を厳密に数えている —— 正則な出口 48 個、χ が整数の出口 288 個、 そして「正則 ⟹ χ 整数」は反例ゼロなので 48 は 288 の部分集合である。計器は正則性を門にする。ゆえに 答えるのは多くて 48 (7.1%)、χ が整数の 288 枚のうち多くて 48 (16.7%)、 残る 240 枚 (83.3%) は答えられたはずなのに黙る。
| 672 枚・5,376 機械時間 | 枚数 |
|---|---|
| 答えた | 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 の証明書は十分条件であって必要条件ではなく、その差は六枚に五枚である。
診断 —— 主張を殺すのではなく、直す
十五枚の誤答はすべて同じ形をしている。
真χ 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 — 知性とは、知り得るものだけを数えて、そこから知り得ないものの大きさを、 多めの側に外れて押さえることであり、押さえられないときには黙ることである。
絵のほうは変わらない。ただ、線が読者に渡すのは数ではなく上界である —— 「この線から自分が取り逃がすのは、多くてこれだけだ」と、読者自身に計算させる線。 そして計算できないときには、線のほうが黙る。
v53 — 証明書のあとに、選び方が残った
批評。v52 は沈黙の値段を出したが、なぜ黙ったかは測っていなかった。 証明書が否と言うと、計器が状態推定の前に帰っていたからである。 黙った 624 枚には原因ではなく、拒否という一語だけが残っていた。
同じ 672 枚を削り直し、全枚で全部を計算して保存した。 四つの証明書と二つの選び方を、同じデータの上で比べる。
十五枚を直すと、上界が二枚で壊れた
v52 の誤答十五枚は、履歴長 1 なら真の 4 状態へ戻る。ところが真 χ=2・真状態16・支持定数4 の円盤でも、
履歴長 1 は状態を 4 と読み、χ = log₂(4/4) = 0.0 を返す。
15 の過大(上界としては真)を 2 の過小(上界としても偽)と交換するのは、悪い取引である。
原因は履歴長ではなく選び方だった。v51 は「全部試して、負でない最小の χ を採る」と書いた。
それは選択である。v32 の CAP = 0.45 と同じ形の、手で置いた数だった。
672 枚 × 4 証明書 × 2 選び方
| 証明書 | 選び方 | 答える | 厳密 | 過大 | 過小 | 分数 χ に | 沈黙 |
|---|---|---|---|---|---|---|---|
| C1 正則性 | min | 48 | 40 | 0 | 8 | 0 | 83.3% |
| C1 正則性 | max | 48 | 0 | 48 | 0 | 0 | 83.3% |
| C2 χtape が整数 | min | 96 | 72 | 0 | 24 | 0 | 66.7% |
| C2 χtape が整数 | max | 18 | 0 | 18 | 0 | 0 | 93.8% |
| C3 飽和窓が在る | min | 166 | 72 | 7 | 87 | 14 | 47.2% |
| C3 飽和窓が在る | max | 166 | 0 | 166 | 0 | 14 | 47.2% |
| C4 C2 かつ正則 | min | 48 | 40 | 0 | 8 | 0 | 83.3% |
| C4 C2 かつ正則 | max | 6 | 0 | 6 | 0 | 0 | 97.9% |
⚠ 訂正 — 2026-08-01。C2/min は答える数を 48→96、厳密を 40→72へ増やすが、 過小も 8→24へ三倍にする。分数 χ への誤答は 0 のまま、沈黙は 83.3%→66.7%。 テープから出た χ 自身が整数に見えることは、割り足りていることの証明ではない。 口は広がった。上界の証明書は広がらなかった。
私は「C2 は嘘をつく」と予測した。外れた。分数 χ に答えた円盤は 0 枚だった。
証明書のあとに置かれた選び方は、証明書の外ではない。 選び方まで測らなければ、上界を証明したことにはならない。
沈黙は二種類だった
| v52 で黙った理由 | 枚数 | 証明書で救えるか |
|---|---|---|
| 飽和する窓が無い(支持定数が読めない) | 506 | 救えない |
| 正則でない(支持定数は読める) | 118 | C2 が一部を開いた |
506 枚は証明書の問題ではない。その円盤が八時間では言わないという事実である。 「黙る」は、まだ読めないことと、八時間では読みようがないことに分かれた。
v54 — 最短の符号は、嘘を沈黙へ送った
批評。v53/min の短い履歴は二十四枚を割り足りず、上界を壊した。 長い履歴なら今度は雑音を状態として割りすぎる。そこで履歴長0〜6のそれぞれで 同じ三記号未来の列を64語アルファベットの KT 符号で記述し、 最短の符号を選んだ。同率なら短い記述を採る。閾値は置いていない。
走る前の予測は外れた。 読める整数 χ 152枚すべてで真の履歴長を選ぶと書いたが、真16状態の56枚では 24枚だけが履歴長2を選び、24枚は3、8枚は4を選んだ。32枚を17〜36状態へ割りすぎた。 最短符号は真の模型を選ばなかった。
ただし外れ方は一方向だった。整数 χ の152枚は 厳密120・過大32・過小0。分数 χ の14枚もすべて過大だった。 選んだ χ が整数かを見る C2 を置くと、32の過剰分割も14の分数もすべて門の外へ出た。
| C2 の選び方 | 答える | 厳密 | 過大 | 過小 | 分数 χ に | 沈黙 |
|---|---|---|---|---|---|---|
| v53 / 最小 | 96 | 72 | 0 | 24 | 0 | 66.7% |
| v54 / 最短 KT 符号 | 120 | 120 | 0 | 0 | 0 | 58.3% |
正解を選ぶことと、誤答を拒否できる形へ向けることは、別の成功である。
最短符号は危険な割り足りなさを消し、残った割りすぎを整数ゲートがすべて拒否した。 答えた120枚は全て厳密だった。
これは672枚の有限カタログを全数で測った事実であり、 「過剰分割なら必ず非整数になる」という定理ではない。支持定数の二の冪倍へ着地する過剰分割が 一枚あれば、この完全な120枚は一覧の幸運になる。506枚は依然として支持定数を読めず、 最短符号はその構造的沈黙には触れていない。
v55 — 二十四枚は、一つだった
批評。整数門 C2 は、推定状態数と支持定数の比が二の冪かだけを見る。
過剰分割が 支持定数 × 2^k へ着地すれば、間違った整数 k も正しい顔で通る。
そこで隣の族Cから、真因果状態16・真χ2・理論支持定数4の閉じる出口24個を取り出し、
八時間ずつ全数切削した。
反例を出す予測は外れた。 厳密8〜14・過大10〜16、少なくとも一枚は32または64状態へ割れて C2 を通る、と走る前に書いた。 結果は24枚すべて履歴長2・16状態・χ2。生の KT にも整数門にも、誤答は一枚もなかった。
| 読み方 | 答える | 厳密 | 過大 | 過小 | C2の誤答 | 沈黙 |
|---|---|---|---|---|---|---|
| 生の KT | 24 | 24 | 0 | 0 | — | 0% |
| C2 整数門 | 24 | 24 | 0 | 0 | 0 | 0% |
履歴長3は2より全枚で 2,793.6〜3,064.8ビット高かった。 v54で過剰分割した32枚では、逆に履歴長3が2より18,066.9〜52,914.2ビット安かった。 同じ真16状態でも、二つの族は符号に逆の勾配を渡していた。
母集団を数える前に同値関係を決めなければ、全数測定は名前の全数になる。
出口写像は24個すべて異なり、接合数も 50,786〜67,305に散って24枚すべて違う。 だが出力記号の名前を最初の出現順に付け直すと、24出口は一つの構造クラスになった。 身体としては24枚でも、未来法則について試した機構は一つだった。 v55 は C2 の反例を見つけず、証明もしなかった。v56 は候補を数える前に記号置換で商を取り、 異なる構造クラスを一つずつ並べる。
v56 — 六十四の機構。名前を商に取る
批評。v55 の24枚は、身体としては違っても出力記号の名前を忘れると一つの構造クラスだった。
v56 は family C の 1,536 named exits を測定前に canonical_relabel で商化し、
64構造クラス、各クラス24名の辞書順最小を一代表にした。
64 unique・重複0・欠落0。二シャードを八時間ずつ測定して結合した。
| 読み方 | 件数 | 厳密 | 過大 | 過小 | 未読 | 非閉鎖 |
|---|---|---|---|---|---|---|
| 生の KT | 64 | 6 | 14 | 4 | 4 | 36 |
| C2 整数門 | 8 発話 | 6 | 0 | 0 | 0 | 2 unsupported speech |
C2 は64代表のうち 56/64 = 87.5% で黙った。有限真値を持つ閉鎖クラスの偽陽性は
0である。非閉鎖36クラスの整数発話2件は、誤答ではなく
unsupported_speech として隔離した。
v56 は C2 の一般性を証明しない。非閉鎖を沈黙として削れば反例が少なく見え、真χが定義できない発話を 誤答に混ぜれば問いの境界が消える。名前を商に取ることと、有限真値を持つものだけを判定することを、 同じ台帳の中で分けて記録した。
v57 — 同じ六十四でも、同じ部屋ではない
批評。v56 の family C 64クラスを family B に移した。v37.family_twist() の
1,536 named exitsも、64構造クラス、各クラス24名へ落ちた。
ただし family C と family B の canonical pattern の共通は 0/64。クラス数が同じでも、 要素は一つも同じではない。
64 unique・重複0・欠落0。二シャードを八時間ずつ測定して結合した。
| 読み方 | 件数 | 厳密 | 過大 | 過小 | 未読 | 非閉鎖 |
|---|---|---|---|---|---|---|
| 生の KT | 64 | 5 | 1 | 0 | 22 | 36 |
| C2 整数門 | 5 発話 | 5 | 0 | 0 | 0 | 0 unsupported speech |
C2 は 5/64 だけが発話し、沈黙は 59/64 = 92.2%。有限真値を持つ閉鎖クラスの 偽陽性は 0である。非閉鎖の整数発話も0だった。raw KT の過大1件は C2 が整数でないため拒否された。
同じクラス数は同じ機構数ではない。v57 は二つの族の有限比較であり、C2 の一般性の証明ではない。
読むもの
- ARC-v51.mdv51 の全結果(訂正あり)
- ARC-v52.mdv52 —— 672 枚の全結果
- ARC-v53.mdv53 —— 証明書と選び方の比較
- ARC-v54.mdv54 —— 最短符号と整数ゲートの全数測定
- ARC-v55.mdv55 —— 二十四枚と一つの構造クラス
- ARC-v56.mdv56 —— 1,536の名前を64構造クラスへ商に取る
- ARC-v57.mdv57 —— family B の64クラスは family C と別の機構
- v31〜v50 — MEASURING THE METER計器のほうを測った二十版
- 無知の証明系列を追う、完結しない本
- 概要系列全体