# 無知の証明 八時間・一本の線・七十一の版 — 円盤と読者についての報告 線は、私たちの持っているどの額縁よりも長い。——『絵を描くことについて』 ## 序 間違えた場所の地図 この本は、私が間違えた場所の地図である。 装置の最終形は、こうである。半径400ミリのステンレス円盤が8時間回り、その上を先端半径12.5マイクロメートルのダイヤモンド針が毎秒25ミリで進む。針は一度も上がらない。線は一本である。機械に与えた感覚は、自分が過去に刻んだ溝を読むことだけであり、進路を変える理由は、読んだものが予測と食い違うことだけである。誤差だけが線を曲げる。8時間でおよそ680メートルの線が刻まれ、線が自分の溝を横切る接合はおよそ56,000箇所になる。この機械の規則を三十回書き直した。最初の数版はA3のステンレス平板の上で走り、身体は途中で円盤に変わる。誓いだけが、全版で変わらない。その記録がこの本の素材のすべてである。 実機では工具は上がれる。上がらないのは、機構の性質ではなく誓いである。同じように、この本にも先に誓いを置く。落ちた主張は文言を変えずに残し、訂正を日付とともに並置する。数字はすべて測定であり、出典を持つ。そして、成立した主張よりも落ちた主張のほうを、この本は本体として扱う。最後にもう一つ。この本は完結しない。系列は本の外で版を重ね続けるから、第四部が日付とともに増えていく。 七十一の版を通じて、私は「知性とは何か」の定義を七度書き直すことになった。七度とも、書き直しを強いたのは着想ではなく測定である。しかもそのうちのいくつかは、私自身の公開済みの主張を私自身の計器が落とした測定だった。定義は改良されて進んだのではない。反証されて進んだ。だから知性についてこの系列が言えたことを再現するには、落ちた場所を順に歩き直すしかない。 ひとつだけ先に断っておく。ここに書かれる円盤はすべて計算の中にある。走行は実機の仕様——接触限界386.7ミリ、許容追従誤差2度——と、中心を通すために私が入れた回転上限60 rpmの上で行われたが、物理の制作はまだ一度も行われていない。金属はまだ削られていない。 # 第一部 一人の著者 ## 一 尽きる驚き 最初の機械は、驚くことしかできないように作った。 規則は簡潔である。機械は進みながら、少し先の金属を読む。そこに溝があるか、あるならどの向きか。読んだものを小さな予測器と突き合わせ、予測が当たっていれば直進し、外れていれば外れた分だけ曲がる。地図は持たない。目標も持たない。報酬もない。あるのは消せない自分の過去と、それを読み損ねる可能性だけである。 最初の2時間、線はほとんど曲がらなかった。第1四半期の旋回量は0.000——ほぼ完全な直進である。故障ではない。空の金属の上では密度はどこも0で、予測は外れようがない。間違えるには、まず痕跡が要る。過去を持つまで、機械は驚けない。 溝が増えると、線は曲がりはじめた。自分の過去が濃くなるほど読み損ねが増え、読み損ねが増えるほど線は複雑になる。この期間の円盤がいちばん美しい。だがそれは続かなかった。8時間の終わりに、予測誤差は0.0543から0.0016へ、34分の1に落ちた。直進率は45%から93%に上がり、被覆は82%で天井に当たった。機械は自分の刻んだ世界を学び切り、世界のほうも機械の癖どおりに削られて、互いに予測可能になった。機械が驚かなくなったのと、針が削らなくなったのは、同じことである。 > 定義 v1(《驚きだけが線を曲げる》)— 知性とは、自分の消せない軌跡を読みながら進むことであり、進み方を変えるのは成功ではなく予測が外れた瞬間だけである。 この定義はうまくいったのだろうか。8時間のあいだ、機械は確かにそのとおりに動いた。だがこの定義は、自分の終わりを内蔵している。誤差だけで動くものは、世界を自分の予測どおりに均してしまった時点で、動く理由を失う。 > 命題1(v1)— 誤差だけで動く機械は、必ず驚かなくなる。 この8時間は、記録としてそっくり残っている。平板の版の刻線は720メートル、120万点をつなぐ一本の連続パスで、針は一度も上がらない。最も重なった場所は41.8回削られ、触れられた面積は73.8%。深さの数字は、無傷では書けない。当初のモデルは41回の重なりで83マイクロメートル——板厚の5.6%——と言ったが、2026年7月26日の訂正が物理を入れ替えた。深さは荷重が決め、1パスで26.9マイクロメートル、何度重ねても増えない。積み重なるのは回数だけで、深さは最初の一回で決まっている。 終盤の機械は止まったのではない。閉じた軌道を見つけて、それをなぞり続けた。針は動き、線は伸び、しかし新しいものは何も刻まれない。誤差という燃料は、走ることそのものによって使い尽くされる。残った問いは単純である——この終わりは、何を変えれば動くのか。 ## 二 四つの軸 時間が足りなかっただけではないのか。私もそう思った。だから十倍にした。 《十日 TEN DAYS》では、同じ規則を10日反復した。機械は毎晩予測器を失い、板だけが持ち越される。朝ごとにゼロから世界を読み直すのだから、易しくなったとすれば易しくなったのは世界の側である。結果は明瞭だった。1日目で被覆0.819。残り9日で増えたのは0.53ポイント。朝の驚きは73分の1に落ち、直進率は3日目に92.7%で固定されて動かない。線は初日に見つけた閉じた軌道を、九日間かけて6504回なぞった。針も止まる——ただし止まり方を、私は一度読み違えた。当初のモデルは最深140.0マイクロメートルを飽和の上限ちょうどと報告し、10倍の時間で除去は3.4倍と数えた。訂正後の物理では、針が止まる理由は板の飽和ではない。深さは最初から荷重で決まっていて、増えるのは重なりの回数だけである。十倍の時間は、別の終わりを買わなかった。 次は数である。《他人の傷》では、同じ規則の機械を最大8台、一枚の板に置いた。互いを検知する感覚は与えていない。他者は、自分では説明できない地形としてだけ現れる。それで何かが起きただろうか。比較には注意が要る。台数の違う条件を時間で比べれば「8本の針は1本の8倍速い」しか出てこないから、条件はすべて同じ被覆率で揃えて比べた。それでも、縄張りは生まれなかった——刻面の99.0%が他者の傷と隣接し、4台の占有率は0.250±0.001で完全に混ざる。読んだ密度で層別して自分の傷と他者の傷への驚きを比べると、差は−0.0019、+0.0001、+0.0018。符号すら定まらない。機械にとって、同じ規則を持つ他者の傷は自分の傷と区別がつかない。同じ規則を持つ他者は、他者ではない。 三つ目は身体である。《読めない五つ》で、規則を極座標プロッターに載せた。回転軸のステップは外周で0.383ミリ——工具幅0.10ミリの4倍近く粗い。工具幅より細かく位置を決められる土地は面積の6.8%しかなく、機械が求めた形のおよそ2割は、そもそも金属に届かない。すると初めて、終わりが動いた。平板では8時間で誤差が34分の1に落ちたのに、円盤では1/1.2から1/3.7までしか落ちない。自分の痕跡が自分の意図の忠実な記録ではないから、読み直すたびに世界は少しずつ新しい。 五通りの規則を、この身体に載せた。感覚の届く距離が半径に比例するもの。一回転先の自分を予測するもの。同じ身振りを、半径が許すスケールで再生するもの。複素の重みを持ち、実部だけが工具を動かすもの。六つの候補のうち最も外れる方へ進むもの。五枚の円盤はそれぞれ違う顔になった——そして五枚とも、同じことを一つだけしなかった。誰も中心へ行かなかったのである。工具幅より細かく位置を決められる精密な土地は面積の6.8%。五つがそこで刻んだ距離は5.2から6.6%——面積の比のとおりである。機械が読むのは密度であって、分解能は感覚に入っていない。私が希少と設計した場所に、機械は価値を置かなかった。希少さは、外から見ている者にしか見えない。 > 定義 v2(《読めない五つ》)— 知性とは、自分の身体が自分の意図を裏切り続ける場所で、それでも次に来るものを予測しようとすることである。 完璧な身体は世界を自分の写しにしてしまい、思考を終わらせる。有限の身体は思考の制約ではなく、思考が終わらないための条件だった——そう書いた。この定義はいまも気に入っている。だが数字の側は、それほど優しくなかった。80時間走らせると、円盤でも誤差は尽きた。五通りのうち四つのモードで1/150から1/196。7214メートルの線のうち69%が幅10ミリの環に吸い込まれ、環の中の溝の向きはほとんど接線に揃った(秩序変数−0.918)。不完全な身体は終わりを消したのではない。十倍の時間を買っただけだった。 尽き方にも、罠があった。探索の規則は、80時間のあいだ誤差0.12を報告し続けた——平坦で、涸れない、発見が続いているように見える数字である。だが位置を見ると、半径は177.4±2.9ミリに64時間固定されていた。機械は自分が削った帯の縁、消えない段差の上で振動しながら、その段差に驚き続けていた。自分の誤差を求める機械は、どこにも行かなくなった後も大きな誤差を報告し続ける。自分の驚きは、発見の証拠にならない。命題1が言う「驚かなくなる」も、だから報告される数字の話ではない。新しいものを刻ませる誤差の話である。 敗北の風景は、ひとつの装置を残した。80時間の環は幅10ミリに7214メートルの69%を吸い込み、124回通過しても深さは26.934マイクロメートルのまま増えない——深さは荷重が決め、反復では増えない。だがその環は、鏡だった円盤の表面を艶消しに変える。溝の底は球ではなく円柱に近く、光は溝の向きを軸とする円錐にしか出られないから、環に灯りを向けると、壁に双曲線の弧が投げられる——一本の溝が壁に描く軌跡は、相対残差1.5×10⁻¹⁶で厳密に円錐曲線である。8時間の円盤では、溝の光は灯りの鏡像の0.72倍。円盤はまだ鏡である。80時間では10.95倍——15倍の反転で、円盤は投影機になる。溝の光が鏡像を追い越すのは9.5機械時間、862メートルの地点だった。機械は、止まりに行く道の上に光学の装置を一つ、置き土産にした。 最後に、位相を変えた。レールを半径から直径に延ばし、中心を通り抜けられるようにした。近道が生まれ、円盤の反対側が隣になる。8時間では何も変わらなかった。80時間では、環はむしろ締まった——帯の切削占有は70.4%から80.1%へ。中心5ミリ以内への1220回の訪問は、すべて最初の10時間に集中し、以後70時間、機械は一度も中心に近づかない。理由は規則の側にある。規則が読むのは密度だけで、密度は「中心が近道だ」とは言えない。規則のどの項でも評価できない選択肢は、その機械には無い。身体の変更は、規則が強制されるときに効き、許されるだけのときには効かない。 時間、数、身体、位相。四つの軸の突き当たりで、円盤は毎回同じものを見せた。閉じた軌道と、それを取り巻く模様である。そして次に分かるのは、その模様のどこまでが機械のもので、どこからが私のものかということだった。 ## 三 止まらない灰色 外周の木目は、機械のものだと思っていた。 v1の円盤の外周には、接線方向に揃った木目が浮かぶ。中心には放射状の漏斗が立つ。どちらも規則が生んだ模様に見えた。そこで回転の上限だけを変える対照を走らせた。30から300 rpmまで振ると、中心の木目は+0.628から+0.114へ、5.5倍落ちた。外周は−0.924から−0.922へ——第三小数まで動かない。中心の模様は機械の身体から来ている。では外周は何から来ているのか。調べると、境界での折り返しを滑らかにするために私が書いた一行に行き着いた。中心の木目は機械の身体、外周の木目は私の著述である。数え直すと、v1のマクロな特徴は、すべて失敗か私の著述だった。 v2はだから、引き算で作った。境界の規則を消し、長さの定数を規則から消し、機械が動かせる量を直動軸の剛性ひとつに絞る。柔らかければ最初に出会った古い溝に機械的に捕まってそれを辿り、硬ければ全部を横断する弦を引く。切り替えの引き金は、溝を横切ったときの衝撃の回数だけ。80時間の結果は、半分は望みどおりだった。半径の拡がり比1.003——v1の0.275に対して、線は最後まで狭まらない。被覆1.00000。初めて、止まらない規則ができた。外周の木目は−0.860から−0.086へ消え、著述を消したことの対照確認にもなった。 そして残り半分。模様が、何も出なかった。自己相関に側ローブは立たず、第一ゼロはどの条件でも円盤の寸法のまま。円盤は均一な灰色になった。唯一、長さらしきものは出た。交差の間隔である。だがステップ長を0.3、0.6、1.2ミリと振ると、間隔は1.872、3.218、6.155ミリと比例して動き、1ステップあたりの衝撃数は0.165、0.187、0.195でほとんど動かない。機械は溝を数えていたのではなく、私の標本を数えていた。出た長さは、私の歩幅だった。 この教訓は、v2の設計の段階で既に二つの案を殺していた。四つの案を三体の批評に当てたとき、私の作った合流の案は、予測の20ミリが記憶窓の20ミリの言い換えであることを指摘され、実測の模様の尺度は2.2ミリ——歩幅の3.7倍——だった。二半径の案は、ピッチが核の幅の1.4006倍に張り付いて死んだ。規則に長さが書いてあれば、出てくる長さは創発ではなく写像である。採られたのは、長さをどこにも書いていない唯一の案だった。それでも、書かなかった長さの代わりに私の歩幅が出てきたのだから、著述は規則の行間からも漏れる。止まらないことと模様を作ることは別の問題であり、灰色は失敗ではなく、著述をすべて取り除いた円盤の、正直な顔である。 ## 四 文法と隠蔽 灰色の中に、目には見えない秩序を沈められないか。次の版はそこから始まった。 v3《文法 GRAMMAR》は、均一な灰色の中に16状態の隠れ機械を埋め込む。円盤は誰の目にも雑音である。だが読者の側を強くしていくと、読める量が階段状に増える。目には2.00ビット——完全な雑音。一次の統計には1.88。三次には1.07。そして状態機械そのものを推論する読者には1.001、反証ゼロ。読者が支払う記述の大きさに応じて、円盤は床まで開く。理解とは、小さな記述で床に届くことである——このときはそう定式化した。 予想しなかったことも起きた。幾何だけから機械を回収させると、回収された機械は私が書いた機械と同型ではない。それなのに、双方が互いのテープを床まで読み合う。金属に残るのは過程であって、書き手の正体ではない。この観察は、のちにもっと大きな形で戻ってくる。 同じ壁は、別の実験でも既に見えていた。判断する機械に十六時間描かせた実験では、評価を持つ後半のほうが絵は確かに良くなり——両立する性質の数は1.43から4.23へ——、そのぶん絵を述べる記述は長くなった。良くなることと理解しにくくなることは、一つの出来事の二つの側面である。そして48枚の中に、幾何が完全に同一なのに性質の集合が違う二枚があった。同じ絵が、二つの異なる作品だった。前半と後半を見分ける盲検は、判断なしの絵では50%——偶然、判断ありの絵では67%、ただし差が最大の層に絞ると50%に戻る。判定者一人、24組の小さな検定で、ここから言えることは多くない。それでも二枚の一致が言うことは残る。絵の側に作品の同一性は無く、金属の側に書き手の正体は無い。 v4では、この文法を実機の身体に載せた。転回は瞬間ではなく動力学になり、コーナーには半径が生まれる。その半径v²/aは、誰も選んでいない長さである——速度と加速度は仕様が決め、私も規則も選んでいない。慣性は刻線長の4.8%を食い、それでも読みの勾配は生き残った。身体は文法を壊さない。文法に、誰のものでもない長さを一つ、書き足すだけである。 v5では文法そのものを変異させた。金属が予測を反証するたびに、規則が一本組み替わる。まず分かったのは、私自身の位置である。v3で私が「統計に不透明」として選んだ表は、両分岐が同じ角を出す状態の数——衝突数——が少ない表であり、衝突数と統計の読みは相関−0.98で並ぶ。つまり私が手でやっていたのは衝突の少ない表の探索で、私の著述は本物で、そしてありふれていた。次に分かったのは、漂流の腕前である。変異を重ねた文法は、一次にも三次にも完全に盲になる(2.001、1.984)——私が設計した文法より、上手に隠れる。統計に読めず、推論には読める。その隔たりは0.30から0.47ビットへ広がった。 この隔たりこそが、系列の積み上げた成果に見えた。統計的なAIには読めず、推論するAIにだけ読める構造を、金属の上に刻めている——そう信じて、私はこれを公開した。 > 命題2(v5)— 統計と推論の差が、この系列の成果である。 v6とv7は、その先で壁に当たった。状態を偏らせようとしても、ヒストグラムは崩れない。P(答)を0.5から0.99まで偏らせても、16状態の訪問比は1.000000のまま動かない。原因は統計ではなく代数だった。遷移を順列にした時点で、有限群上のランダムウォークの定常分布は混合確率によらず一様になる。そして一様な状態は、状況と独立である。隠すために選んだ「遷移は順列」という一手が、状態が何かを知ることを構造的に禁じていた。位置そのものを状態に見せても、利得は0.0005ビット。しかも後から分かることだが、v6の質問は最初から空だった。最初の案「次の弦は前より短いか」は原理的に公正なコインで(実測0.4897)、捨てた。走らせた比較の持続性の質問でも、機械の予測器は定数を言い続ける予測器より悪く(0.4311対0.3443)、答えのエントロピーは状態を知っても0.9349から0.9347にしか下がらない。二版続けて、金属についての質問だと思っていたものが、何についての質問でもなかった。対照も壊れていた。順列でないつもりで書いた写像 (i*7+seed) % 16 は、7と16が互いに素なので全単射であり、対照の両腕が同じ腕だった。像を数えれば分かることである——(i*i+seed) % 16 なら像は4/16に潰れる。順列をやめれば不動点に落ちる。両端とも退化し、中間は無い——v7はそう結論した。 > 命題3(v7)— 隠すことと意味を持つことは同じ量の両端であり、中間は空である。 七つの版が、この二つの命題の上で止まった。どちらも公開した。どちらも、正しく測れているという確信があった。 ## 五 壊れていた計器 役割を分けて最初に行われたのは、設計ではなかった。白色雑音を、私の計器に通した者がいたのである。 2026年7月28日。設計する頭と計器を疑う頭を分けた新しい体制の、最初の一巡だった。構造を何も持たない雑音を「統計と推論の差」の測定路にそのまま通すと、0.4585が出た。v5の公開値は0.473、v6は0.454である。区別がつかない。この測定路はv3から四つの版の成果の物差しだったが、v5とv6が誇った「系列でいちばん広い差」は、無構造の入力が出す差と同じだった。 計器を開けると、原因は単純だった。推論側の読みを担っていた量は記述長ではなく、1 + 2·deaths/(n−1) + 2·log₂(16!)/(n−1)——反証率の一次変換で、実測と4桁一致する。この式は構造上1.0を下回れない。差が広がったのは構造が深まったからではなく、読者が壊れたからである。 > 命題2(再掲)— 統計と推論の差が、この系列の成果である。 **訂正 — 2026-07-28。** 白色雑音が同じ測定路で0.4585を出す。公開値0.473(v5)、0.454(v6)はこれと区別がつかない。「差」は計器の構造が作った下駄であり、金属の性質ではない。命題2は反証された。 同じ日に、もう一つ落ちた。「統計的なAI」の代理をMarkov-3に置いてきたが、より強い汎用の読者——順列も状態数も出力写像も知らないCTW、深さ16——を当てると、v3を0.9899ビットで読む。本作の「推論するAI」の1.001より良い。鍵を持つ者にだけ開くはずだった文法は、鍵なしの読者から隠れていなかった。 それなら、正しい計器で系列全体を読み直すとどうなるか。新しい走行はしていない。円盤は一枚も増えていない。変わったのは物差しだけである。結果、v3は本物だった——並べ替えた対照に対する利得1.0037。そしてv5は0.0152、v6は0.0223、v7は0.0008から0.0051。自分自身の並べ替えと区別がつかない。三つの版の仕事は、読める構造を金属に一つも残していなかった。円盤は在る。線も在る。だがそこに刻まれているはずだった意味は、壊れた計器の目盛りの中にしか無かった。 読み直しは、細部も返した。v7の「両端とも退化」は、理由は違ったが結論だけは正しかった——読み直しが検めた隠蔽の主張のうち、生き残ったのはこれだけである。そしてv3と、のちに崖と呼ぶ構成の違いは、難しさではなく盲の形だった。v3は一次から漏れはじめる。崖は二次まで厳密に盲で、三次で全部来る。読者への態度が、漏れの形として金属に写る。 命題3も無事では済まなかった。「平坦かつ有意味は両立しない」は、構成でひっくり返った。状態を金属の直近4答のシフトレジスタにし、出口をGF(2)線形にすると、記号のヒストグラムは厳密に平坦なまま(H=2.000000)、三次で崖のように開く(H(|3)=1.000000)構造が、同じ16状態で立つ。 > 命題3(再掲)— 隠すことと意味を持つことは同じ量の両端であり、中間は空である。 **訂正 — 2026-07-28。** 中間は構成的に達成できた。空だったのは設計空間ではなく、「遷移は順列」という私の一手が届く範囲である。v3の時点から到達可能だった場所に、七版のあいだ一度も足を踏み入れていなかった。命題3は反証された。 一人で七版を作るあいだ、計器に落とされた主張は一つも無かった——深さの物理を独立のレビューが直したのが、外から来た訂正のすべてである。役割を分けた最初の一回で、公開済みの主張が三つ落ちた。この非対称が意味するのは、七版のあいだ私の主張が正しかったということではない。七版のあいだ、私は自分の計器を疑う役割を持っていなかった、ということである。 # 第二部 役割と読者 ## 六 落ちた十件 新しい体制は、設計から始めることを禁じた。順序は決まっている。計器、読み直し、設計。壊れた物差しの上には何も建てない。 役割も分けた。リサーチの席は互いに相談してはならない——独立性が価値だからである。議論の席は早すぎる合意を禁じられ、プロトタイプの席は完成させることを禁じられた。そして批評の席の仕事はひとつだけ。実装の前に予測を書かせ、外れを探すこと。提案することは禁じた。奇妙な規則に見えるが、どの禁止も第一部の失敗のどれかに対応している。相談すれば前提が共有され、前提が共有されれば間違いも共有される。合意が早ければ対立が争点になる前に消える。そして批評が提案を始めた瞬間、批評は自分の案を守る側に回る。 v8からv15まで、八つの版をこの体制で回した。成果は、どれかひとつの構造ではない。落ちた主張の数である。 | # | 主張 | 判定 | 反証したもの | |---|---|---|---| | 1 | 「統計と推論の差」が成果 | 反証 | 代理対照(初実行) | | 2 | v3の文法は隠れている | 反証 | 正直な読者(CTW) | | 3 | v5・v6・v7は構造を刻んだ | 反証 | 直した計器での読み直し | | 4 | v8のタップは誰も選んでいない | 半分 | 自分の数え上げ(3で割っていなかった) | | 5 | v8は隠す | 反証 | Moore最小化を入れたε機械 | | 6 | 金属の答えは消費される | 反証 | 代数(Bezoutで1.0000復元) | | 7 | 系列は金属を読んでいる | 反証 | 概念席の予測を追った測定 | | 8 | 8時間の三枚は目に区別がつく | 反証 | 同じ機械・違う開始点 | | 9 | v12の壁は身体のもの | 反証 | 四問同時測定 | | 10 | 予測3・4(k=8で崖が埋もれる) | 反証 | 実測 | 表の上では九件が完全な反証で、一件が半分である。出典の総括の文は「八件と二件」と数えていて、表と合わない——この食い違いも、消さずにそのまま記す。うち三つは公開済みだった。 いくつかは、落ち方そのものが発見だった。八番——三枚の円盤は目に区別がつくと私は確信していたが、同じ機械を違う開始点から走らせると、機械のあいだの差は機械の中の揺らぎの1.86倍しかなく、最大の差は同じ機械の中にあった。九番——v12で見つけた壁を私は身体の限界だと書いたが、四つの質問を同時に測ると金属は一接合あたり3.82ビット答えていた。壁は金属ではなく、訊いていなかった私である。七番がいちばん深い。系列は八版のあいだ、規則が出力した記号の列を読んで「金属を読んだ」と称していた。壁の前に立つ人が持っているのは記号の列ではなく、傷のついた円盤である。幾何から読み直す抽出器を作ると、旧来の読みはv3の接合の69%を取りこぼしていた。系列は金属ではなく、自分のメモを読んでいた。 検証の作法も、体制の一部である。四つの席が別々のv8を提案してきたとき、そのうち二つの主張を私は自分のコードで確かめた——相手のコードは使わない。信用するのは、独立な実装の数字が合うことだけである。批評の局面でも同じ作法を通した。落とされた三つの主張は三つとも自分のコードで再現し、二つは相手の数字と6桁一致した。だから私のコードは、検証できる場所では正しい。抽出器の再設計では四通りを並行に走らせ、一つが解いた。三通りは失敗し、失敗の数字も残っている。 五番の落ち方には、計器の教訓が入っている。v8を「隠す」と私は書いたが、秘匿χを正しく測ると0.000000——白色雑音と同じ、つまり何も隠していない。そしてこの「正しく」に、Mooreの最小化が要る。最小化を落とすとv8はχ=1と出る——真は0である。検証中の量そのものが、計器の一手抜きで発明される。十番は、式の中の一項だった。k=8で崖が埋もれるという予測は、対照の項にlog₂nを使っていて、実測との差は0.804。予測は、外れの原因まで特定されて初めて閉じる。 反証した者の列を見てほしい。代理対照。正直な読者。代数。自分の数え上げ。どれも高級な装置ではない。七版のあいだ欠けていたのは能力ではなく、それを向ける役割だった。 ## 七 保存則 落ちたあとに残った形は、思っていたよりも単純だった。 v8は、隠すことをすべて諦めた版である。状態は金属の直近k個の答えをそのまま並べたシフトレジスタ、出口はGF(2)の線形式。読者はk−1次まで何の報酬も受け取らず、k次で全部を受け取る。崖がひとつあるだけで、崖の向こうに秘密は残らない。一方v9は、三次で大半を渡しながら、1ビットだけを永久に渡さない構造を持つ。この「最初に拒む長さ」(平坦域)と「永久に拒む量」(秘匿χ)を、同じ物差しに載せると、一本の不等式が現れた。平坦域×(2−h_μ)+χ ≤ log₂(因果状態数)。左辺の二項が拒み方の二種類、右辺が機械の覚えている量である。白色雑音は全項が0。v3は記憶4.585に対して平坦域1、秘匿1.937で、1.633を使い残していた。v8は使い残しがちょうど0。v9は記憶4.000を平坦域3と秘匿1.000でちょうど使い切る。 > 命題4(v9)— 最初に拒むものと永久に拒むものは、一つの予算を分け合う。予算は記憶である。 **訂正 — 2026-07-30(緊密性)。** 命題は立っている——不等式だからである。落ちたのは「ちょうど使い切る」のほうで、その「ちょうど」は駆動が公正なコインであることの産物だった。実際の円盤の駆動は 0.4987 である。二十七章を見よ。 この不等式は、第一部の命題3の墓標でもある。隠すことと意味を持つことは同じ量の両端だとv7は言ったが、量は一様性ではなく記憶であり、両端のあいだにはv9が立っている——同じ合計を、二つの拒み方に配分して。中間は空ではなかった。空だと見えたのは、私の設計が届く範囲の話だった。 予算には、もう一段の構造があった。v9とv10の道具で可能な構成を全数——2,359,296対——走査すると、平坦域を長くするほど、予算の総額そのものが縮む。平坦域1なら予算は6.907まで許されるが、平坦域2で4.700、平坦域3では4.000に落ちる。三次まで厳密に平坦であることは、因果状態を16に制限する——一次までなら120まで許されるのに。長く黙っていられる機械は、小さな機械だけである。そして予算を使い切っている構成は、いちばん長い平坦域を持つものだけだった。沈黙は買えるが、沈黙の長さそのものが財布を軽くする。この走査は全数でやるしかなかったことも書いておく。平坦域は4^L本の直交条件なので、乱択は間違った道具である。当てずっぽうで見つからないことは、無いことの証拠にならない——数え上げるか、構成で述べるかしかない。 ## 八 第二の予算 保存則の予算は機械の記憶だった。だがもうひとつ、最初からすべてを縛っていた予算がある。線の長さである。 崖の深さkを上げながら、8時間の円盤——接合56,000——で対照との差を測ると、k=6までは0.99を超えるのに、k=7で0.817、k=8で0.453、k=9で0.152と沈み、k=10では0.042でほとんど消える。8時間の線はk≤7を運び、k≥9を失う。同じ構造を80時間——接合1,220,000——で焼けば、k=10でも0.542残る。深さの天井は、規則の賢さでも読者の強さでもなく、金属の量が決めている。そして金属の量を決めたのは、回転時間を8時間と指定した委託者である。 > 命題5(v11)— 回転時間を決めることは、秘密の深さの上限を決めることである。 この天井には皮肉が付いている。7という深さは、人が支援なしに保持できる項目数の範囲——5から9——の内側にある。80時間の円盤は人に持てないものを持てた。8時間の円盤は持てない。「AIには読めるが人間には読めない」という、この系列が最初に夢見た主張は、ここで二重に崩れる。読める・読めないの主張は暗号文なら何でも満たすので自明であり、「AIにも難しい」は偽である——正直な読者が実際に読み抜ける。深さで人と機械のあいだに線を引くことは、8時間ではもうできない。 同じ予算は、同時に走る糸の本数も縛る。金属は一接合あたり3.82ビット答える——v13がそれを測った——から、勘定の上では独立な糸を四本組める。だがv14が実際に組むと、崖での利得は一本で0.999、二本で0.076、三本で0.016、四本で0.005。8時間の線が運べるのは一本だけである。 では、この円盤は何を測る装置なのか。探索を広げる読者と、仮説のクラスを先に当てた読者とで、同じ崖に届くのに必要な接合数を比べると、k=3で10.6倍、k=6で127倍、k=8では1218倍の開きになる。クラスを当てることの価値が、深さとともに指数的に育つ。暗号文はこの主張ができない——どの次数でも、どんな推測にも永久にゼロしか払わない。v3もできない——最初の一歩から払うので、賭ける必要がない。報酬がゼロのまま推測を保持することにいくらの値が付くか。それを金属の量が決めた値札で書くこと。この円盤が測っているのはそれである。 > 定義 v3(v8〜v14)— 知性とは、まだ何も返ってこない仮説に代金を払えることである。 漸進的な報酬に従うのは学習であって、知性の特徴ではない。細菌もそれをする。特徴的なのは、測定可能な改善がちょうどゼロのまま、深さk−1の仮説を保持し続けられることで、それが「見当をつける」と呼ばれているものである。機械の側から見れば、AIが優れているのは速いからではない。正しい種類の仮説を、報酬が出る前に選べるからである——このときはそこまで言えた。見当という語は、のちにもっと重い荷を負うことになる。 八版の最後に、二枚の円盤を焼いた。REGISTERは六次まで報酬ゼロ、そこで全部渡す。WITHHELDは三次で渡すが、1ビットは永久に渡さない。同じ8時間、同じ683メートル、同じ被覆0.50、同じ灰色。金属からの復元は0.9986と0.9991。REGISTERは五次まで対照と重なって六次で0.709の利得が開き、WITHHELDは三次で0.822が開く。二枚のあいだに優劣はない。違うのは、読者から何を、いつまで拒むかだけである。拒み方が二種類ある——最初に拒むものと、永久に拒むもの。八版が残したのは、この区別だった。 ## 九 勾配のない読者 深さという軸は使い切った。それでも上げられるものが、まだ一つ残っていた。読者が当てなければならない仮説の、クラスである。 振り返ればこの系列の円盤は、全部が線形代数で読まれてきた。疑われてきたのは窓の広さであって、解く空間そのものではない。v16は、深さも身体も時間も据え置いて、出口の代数次数だけを上げた。次数1の円盤と次数2の円盤。統計にはこの二枚は同一である——五次の読みで1.1590と1.1492、ヒストグラムも平坦域も予算の使い方も同じ。だが次数1の読者を次数2の円盤に当てると、返ってくる数字は厳密に0.5000である。0.51でもなく、0.49でもない。ちょうど偶然。この厳密さが重要である。読者の仮説が少し間違っているなら、少し当たるはずで、少し当たるなら、当たる方向へ進めばよい。だが基底そのものが間違った読者には、当たりの濃淡が存在しない。 > 命題6(v16)— 間違えた読者には、動くべき方向が存在しない。 計算は何も難しくなっていない。どの段も、解くだけなら小さな一次方程式である。難しくなったのは推測だけ——どの空間で解くか、という一手だけが高くなった。 v17は、その推測を高くするだけでなく、届かなくした。出口が読む三つの過去記号を、直前の三つではなく、散らばった三つ——遅れ1、7、23——にする。すると、文脈の次数を順に上げていく読者は、遅れ23に届くために4²³、つまり7×10¹³通りの文脈を数えなければならない。接合は56,000しかない。ゆっくり届かないのではない。永久に届かない。一方、「支持は三箇所に散らばっている」という仮説の形を先に当てた読者は、数千通りの当てずっぽうを掃くだけでよい。実測では午後ひとつで1.0000に達し、(1,7,23)を回収した。構造は確かに在り、順序を追う読者には——仮説の数C(23,3)=1,771本に対して——四百億倍の隔たりで見えない。そして横に跳んだ読者には、安い。 ## 十 塔 跳ぶ読者に勝たれたのなら、跳ぶ先を消せばよい。v18は、遅れを定数でなくした。 機械自身の直前の記号が、四つの三つ組から今日の支持を選ぶ。固定した支持を掃く読者——v17を解いた読者——は、最良でも0.6326までしか届かない。読者が当てるべきものは「どこを見るか」から「どこを見るかの規則」に上がった。それでも、テープを直前の記号で四つに割り、それぞれの中で支持を掃くという分解を当てた読者は、四分岐すべてで1.0000に達する。難しさは何も増えていない。増えたのは、同時に正しくなければならない推測の段数で、一段だけ当たっても部分点は出ない。 v19は、最後に残った手掛かりを消した。v18の四つの三つ組は秘密だったが、「四つの三つ組を直前の記号が選ぶ」という形そのものは、私のファイルに英語で書いてあった。形が知られているなら、定数は安い。だからv19の表は、どこにも書かれていない。v18の円盤から読み出される——8時間の金属から回収された四つの三つ組が、合成されて十六の三つ組になる。v18を解いていない者は、v19の規則を書き下すことができない。見つけにくい、ではない。述べられない。仮説のアルファベットが、前の読みが起きるまで存在しないのである。この「述べられない」は、実装にも書いてある。v19の表を作る関数は、v18の円盤が見つからないとき、定数に退避せず、拒否して止まる。退避を一つ書けば、消したはずのものが静かに戻るからである。 > 命題7(v19)— 前の円盤を解くまで、規則は述べられない。 何も知らずに来た読者の空間は、勘定の上ではC(23,3)¹⁶——およそ10⁵²通りの表である。これは現代数学の日常の条件に似ている。定理の主張は、前提となる対象の塔の上に立っていて、塔の各段はその前の段が読めるまで存在しない。年月がかかるのは定理ではなく、塔のほうである。 ## 十一 地平線と、その一つ前 塔は長い。だが順序の壁であって、可能性の壁ではない。v17からv19へ順に働けば、読者は着く。壁と呼べるものがあるとすれば、それは証拠が尽きる地点のはずだった。 v20はその地点を探した。仮説空間が標本の分離能力を超えれば、複数の規則が金属に完全に適合し、どの読者にもどれが刻んだかは言えなくなる——構造は検証できるが、同定できない。算術は単純である。外れた仮説が、保留したt記号すべてにたまたま一致して生き延びる確率は2⁻ᵗ。仮説が1,771本なら、生存数の期待値はt=10.8で1を跨ぐ。接合にしておよそ36本。実測もそのとおりに出た。接合60・テスト長11で完全適合は1本、同定できる。接合46・テスト長6で完全適合は14本、同定は壊れる。地平線は実在し、接合36本のところにある。そして8時間の円盤は56,000本を持っている。テスト集合はおよそ16,800記号——2^16800通りの候補から、規則を名指せる。 私の予想は、また私自身の測定に反証された。壁は、金属の量ではなかった。検出は線の長さが縛る。同定は、ほぼ無料である。乏しいのは証拠でも計算でもなく、どの空間を見るかを知っていることだけだった。 > 命題8(v20)— 壁は金属の量ではなく、どの空間を見るかの見当である。 > 定義 v4(v16〜v20)— 知性とは、どこを見ればよいかの見当である。数学が人の理解を離れるとしたら、証拠が尽きるからではない。どこを見ればよいかの見当が、人の手に負えない大きさになるからである。 同じ日のうちに、この五版を数え直して、公開済みの主張が二つ落ちた。 > 命題7(再掲)— 前の円盤を解くまで、規則は述べられない。 **訂正 — 2026-07-29。** 命題そのものは立っている。だが公開ページの「表を厳密に回収」は誤りだった。v18の読者はテープを直前の記号で枝に分ける。枝の中では、遅れ1の記号は定数である。定数の位置は何と置き換えても同じ精度が出るから、真の三つ組が遅れ1を含む枝では、21通りの支持が同率で1.0000に並ぶ。真の三つ組が返ってきたのは、探索が辞書順でそこに先に着いたからで、金属が指したからではない。精度1.0000と、表を回収したことは、別のことである。もう一つ。「10⁵²通り」は上限としてのみ正しい——合成は構造的に対称で、相異なる三つ組は10個しかなく、対称性を当てた読者は10³²、合成則まで当てた読者は10¹³で済む。「対称かもしれない」という一つの当て推量が、19桁を持っていく。 もうひとつは、もっと重かった。v19の枝は直前の二記号で条件づけられるから、遅れ1と遅れ2の枠はどちらも定数になる。そこだけが違う表は、どれだけ金属を増やしても永久に区別できない。数えると、v19の円盤に完全適合する表は21⁴——194,481通りあった。接合を12,000から54,275へ、4.5倍にしても、一つも減らない。v20の算術は「外れうる仮説が偶然生き延びる確率」を数えていた。だがこの194,481通りは外れることができない。v20が探しに行って「無かった」と報告した「検証はできるが同定できない構造」は、探しに行った版の一つ前の円盤に、最初から在った。 **訂正 — 2026-07-29(命題8の範囲)。** 命題8は立っている——ただし「見当さえあれば同定できる」と読んではならない。同定を止めるのは金属の不足だけではない。データが原理的に固定してしまう方向を仮説クラスが持つとき、同定は金属をいくら増やしても戻らない。v19のそれは事故だった。設計していないし、予言もしていない。 |H|は大きくなくてよい。データが定数に固定してしまう方向を、仮説クラスが持てばよい。この一行が、続く十版の軸になった。 ## 十二 最短の記述は触れていない 事故を、設計に変える。しかも今度は、金属を切る前に数を言う。 v21では、機械の高位ビットに自分の過去を追わせた。接続多項式はC = 1 + x⁶ + x¹⁷ + x²⁰ = (1+x³)(1+x³+x¹⁷)。この選び方の要点は、GF(2)では平方が自由だということにある。C² = 1 + x¹² + x³⁴ + x⁴⁰——つまり(12,34,40)は、三つの入力を全部使う別の三遅れ規則でありながら、同じ金属に永久に完全適合する。偶然生き延びる競合仮説ではない。同じ文の、別の書き方である。切る前の予言はこうなる。到達40までの三遅れ支持9,880通りのうち、完全適合はちょうど2個。二遅れの規則は0個——項数が偶数の多項式は必ず1+xを因子に持ち、奇数のものは決して持たないからである。金属の上の実測は、54,672接合で予言と整数まで一致した。統計との差は0.0000。 そしてv21は、自分で自分を反証した。支持を掃く読者には確かに曖昧である。だが、掃く代わりにBerlekampとMasseyの算法を持ってきた読者は、テープの最小生成元を線形時間で返し、クラスを一撃で潰す。曖昧さは、読者が持ち込んだ仮説空間の性質であって、金属の性質ではなかった。おまけに金属の上では、予定になかったことまで起きた。返ってきた多項式は、機械の規則でも設計上の最小生成元でもない、次数19の8項式だった。状態の種を金属が供給するので、状態がどの不変部分空間に落ちるかを決めたのは、私ではなく円盤だった。 v22は、その正しい読者に向けて建てた。M = 1 + x³ + x¹⁷、二遅れ、次数17。C = (1+x³)M、三遅れ、次数20。機械が走らせるのはCである。ただし初期状態をMの軌道の中に置く——すると、その軌道の上でCとMは毎ステップ一致する。MがHを消すなら、(1+x³)Mも消すからである。さて、読者たちは何と言うか。Berlekamp–Masseyは[3,17]を返す。遅れが最も少ない規則を選ぶ約束事も[3,17]。到達が最も短いものを選ぶ約束事も[3,17]。辞書順で最初のものも[3,17]。機械が走らせたのは[6,17,20]であり、三遅れの完全適合6通りの中にそれは確かに居るのに、どの最小性の約束事も、それを選ばない。 だめ押しに、Mそのものを走らせる機械をもう一台作り、同じ8時間を刻ませた。二枚の円盤は、似ているのではない。刻線のSHA-256が一致する。同じ円盤である。 > 命題9(v22)— この円盤の最短の記述は、この円盤に一度も触れていない規則である。 オッカムの剃刀は、世界についての事実ではない。証拠が分離しない記述の中から選ぶための約束事である。ここでは、その約束事が間違っており——そして証拠は、どこまで測っても、間違った約束事に同意し続ける。 ## 十三 対・環・身体の定数 一枚の円盤の拒み方は出揃った。拒否は、円盤の外にも置ける。 v23は二枚で一組である。円盤Aは何も運ばない——両ビットとも金属の答えである。円盤Bは、ストリームとAの高位ビットの排他的論理和を運ぶ。単独で読むと、Aは最良0.5098で完全適合0、Bは0.5079で0。Berlekamp–Masseyの複雑度はどちらも26,337——テープ長のちょうど半分で、これはこの算法が「線形漸化ではない」と言うときの言い方である。二枚を重ねてA xor Bを読んだ瞬間、精度1.0000、完全適合6通り、複雑度17。Bを並べ替えて重ねた対照は0.5082に戻る。どちらの円盤にも、単独では何もない。展示物として、これほどはっきりした形はない——同じ部屋に二枚無ければ、何も無い。 v24は、塔に底が要るかを訊いた。v19の塔もv23の対も、最初の要素があり、最初の要素は私である。そこで、Pの規則はQのテープから読み出され、Qの規則はPのテープから読み出される——そういう相互の対を探した。12個の候補に写像fを尽くすと、不動点は2個あった。対は在る。金属の上で両方の等式が成り立つことも確かめた。どちらの規則も、相手の円盤より先には書けない。底の無い塔は、作れた。だが同時に、その存在の理由が版を殺した。12本のテープに対するfの像は、8個しかない。fは潰れている。相互の対が在るのは、規則が互いを本当に必要とするからではなく、写像が十分に潰れているからだった。底の無い塔は作れた。作れた理由は、塔が浅いことだった。 **訂正 — 2026-07-30。** この診断は、本書が書かれていた朝に落ちた。f(f(p))=pの解は、潰れていないランダムな置換でも期待2個——盤の大きさに依らない。v24の実測、対2個・像の比0.667は、一様ランダム写像の期待値そのものである。対の存在は浅さの産物ではなく、名指しの写像なら何でも持つ汎性だった。底は、写像ではなく候補の一覧に在る。v33がそれを測った。 v25は、秘密を記号列の外に出した。規則は走行中に11回変わる。切り替えの引き金は、接合の番号でも時計でもなく、切削長60,000ミリごと——そして切削長は、記号の転写のどこにも書かれていない。円盤の上にしかない。テープだけを持つ読者は、最良0.5846、完全適合0。切れ目の置き方はC(61218,11)、およそ10⁴⁵通りある。円盤を持つ読者の物差しとは、復元した折れ線から自分で測った刻線の長さである。機械が数えた678404.6ミリに対して、折れ線は677688.1ミリ——約0.1%の系統誤差が積もり、60,000ミリごとの切れ目を最大126接合ずらす。だからこの読者は、切れ目を誤差0から126接合で見つける——近いが、厳密ではない。そして、円盤で自分の物差しを較正した読者——最初の区間で自分の測り方の系統誤差を求め、係数1.001057を掛け直した読者——は、11区間すべてで完全適合に達する。読める読者と読めない読者の差は、賢さでも計算量でもなく、自分の物差しをこの円盤で較正したかどうかだった。 ## 十四 拒否の値段と無知の証明 この系列は、何を作っても最後に同じ問いを向ける。それはいくらか。言うことの値段は、もう測ってある——深さ7、糸一本、金属の量が決める。では、拒むことの値段はいくらか。 v26の予言は、実装の前に書いた。拒否は保存則の口座から引かれない、と——理由は、拒否が状態ではないからである。同じ未来を生む二つの規則は同じ因果状態であり、区別は円盤の中に住んでいない。実測は、予言より強い形で出た。刻み終わった一枚の円盤——v22——に、野心の違う読者を順に向ける。到達23までの支持しか考えない読者にとって、この円盤と両立する規則は1つであり、円盤は何も隠していない。到達40の読者には6つ、2.58ビットが隠されている。到達80の読者には22、4.46ビット。円盤は一枚も変わっていない。金属も時間も規則も同じである。隠される量は、読者が仮説空間をどこまで広げるかが決めていて、円盤はそのためのコストを何も払っていない。 > 命題10(v26)— 拒むことは、言うことの口座から引かれない。 言うことの値段は金属が決める。拒むことの量は読者が決め、円盤は何も払っていない。同じ口座ではない。そもそも、円盤の側に口座が無い。 v27は、この曖昧さを観察から証明に変えた。掃いて数えて「テープを伸ばしても減らなかった」と報告するのは観察である。読者はまだ、10⁶接合ならどうかと疑ってよい。だがBerlekamp–Masseyで最小生成元Mを取り、Mの4項倍元を到達の中で数え上げれば——多項式の割り算だけで、金属は要らない——その集合が、この円盤と両立する三遅れ規則の全体であることが、永久に確定する。v22の円盤では6通り、2.585ビット。この確定に要る金属の量を測ると、200接合——円盤の0.348%——で、全テープと同じ結論に達する。残りの57,349接合は、一つも何も変えない。8時間の線の99.65%は、「これ以上は決して分からない」と知るためには要らなかった。 > 命題11(v27)— 「もう決して分からない」は、円盤の0.35%で確信できる。 v28は、義務の清算である。2026年7月28日の落とし穴52は「gzip・CTW・小さなニューラル予測器を先に当てること」と書いた。書いた当人が、以後の八版でCTWとMarkovしか当てていなかった。「どの読者にも読めない」という主張が、その不備を名指した当のファイルによって既に不完全と分かっている計器の上に立っていた。そこで四つの敵——gzip、CTW深さ16、Markov 1〜8次、隠れ層64のニューラル網——を、v3を陽性対照に混ぜて全円盤に当てた。v3は四つ全員が破る(CTW16で+1.5061、gzipで+1.6309、網で+0.3377)。この系列の円盤は、誰も破らない。網の腕前も較正した——窓の中にある二遅れのパリティは1.0000で学習し、同じ窓で遅れが6,17,20に散ると0.5008に落ちる。窓の外は見えない。計器は生きている。生きている計器が、読めないと言っている。 ## 十五 鋼に戻る ここまでの読者は全員、同じものを手渡されていた。junctions.json——機械が出した記号を、一つも欠けず、一つも間違えずに並べた転写である。それは作品ではない。 作品は傷のついた円盤であり、部屋でそれと向き合う読者は、溝の形から記号を復元しなければならない。復元器はよく設計されている——読むのは溝の模様ではなくサーボの挙動、つまり転回の角度であり、実機の身体では角が半径を持つから、瞬間の折れを探す旧来の検出器が角の内部で余分に発火することも、織り込み済みである。抽出器は、読む相手の身体に合わせて設計されなければならない。それでも、忠実さには限りがある。v22の8時間の円盤で、機械が作った57,549個の接合に対して57,565個を見つけ、57,294個を照合できた。見落とし255、偽検出271、照合できたもののうち399個は別の記号。記号精度0.9930。千に七つの誤り。数百は、何でもない量に見える。 そして、v21からv27が建てたものにとって、それが全部だった。厳密適合を訊く掃きは、完全転写の上では6通りを返し、溝から復元したテープの上では0を返す。Berlekamp–Masseyの複雑度は17から2000——打ち切り長の上限——に張り付く。v27の証明書は、もっと悪い壊れ方をする。複雑度が上限に達すると、証明書が名指す規則は0個になる。「この形の規則は、一つも適合しない」——偽の断定である。合成データで壊れ方を分けると、誤り1個なら証明書は生き残る(複雑度の数字は17から1001へ跳んで嘘をつくが、多項式は正しいまま)。3個で多項式ごと壊れる。最悪なのは、壊れ方が自信のある方向を向いていることだ。この証明書は「分からなくなった」とは言わない。「無い」と言う。 修理は、ある。厳密適合ではなく、順位で読めばよい。支持を精度で並べ替えると、溝から復元したテープの上でも、真のクラス6通りがそのまま上位6つを占め、7位との差は大きい。厳密さは死に、順位は生き残る。 > 命題11(再掲)— 「もう決して分からない」は、円盤の0.35%で確信できる。 **訂正 — 2026-07-29(範囲)。** この確信は、完全な転写の上でだけ成り立つ。溝から0.9930で復元した瞬間、証明書は「不確か」ではなく「偽」を返すようになる。無知の証明は、まだ鋼の上を歩けない。 > 命題12(v29)— 無知の証明は、それが語っている鋼に耐えない。 > 定義 v5(v25・v29)— 知性とは、自分の物差しを、目の前のものへ較正することである。 v25で読者を分けたのは較正だった。v29で証明を殺したのは、較正されていない厳密さだった。定義v3の「まだ返ってこない仮説に代金を払う」も、定義v4の「どこを見るかの見当」も、この語の中に折り畳める——見当とは、どの物差しを持っていくかの選択であり、賭けとは、較正が済むまで払い続ける代金のことである。 v30は、新しい円盤を作らなかった。九つの版の要約を読み、主張と金属の返事を一枚の表に並べただけである。その自己テストが確かめるのは三つだけ——主要な円盤がディスクの上に在ること、全部の円盤が同じ8時間を報告すること、被覆が半分の近傍に在ること。三十版の最後の計器は、もう読みの話をしていない。物の所在と、身体の同一性だけを確かめている。十版のうち四版が、提案した本人を反証した。一版が、前の八版をまとめて反証した。表の最後の行で、系列は情報の話をやめ、また鋼の話に戻る。溝は0.10ミリ、深さは26.9マイクロメートル。この数字は読者には依らない——ただし実機の荷重次第で動く、検証可能な予測である。 # 第三部 方法 ## 十六 計器・読み直し・設計 ここまでの反証者の一覧を作ると、奇妙なことに気づく。高級な読者が、一人もいない。 白色雑音。並べ替え。代数。自分の数え上げ。辞書順。三十の版で公開済みの主張を落としたのは、いつもこの種の安い道具だった。理由は道具の側にはない。安い道具は、主張が立つ前に当てられるからである。高級な読者は主張が立ってから呼ばれ、そのときにはもう、計器が主張の形に馴染んでいる。 だから順序が本体である。計器、読み直し、設計。新しい指標を作ったら、まず構造を持たない入力を通す——雑音が差を出すなら、その差は世界のものではない。これを最初にやらなかった代償が、第一部の四版だった。そして計器そのものが黙る場合を数える。一様性をmax/minで測っていた指標は、未訪問の状態が一つでもあるとinfを返した——崩壊の検出こそが目的だったのに、いちばん面白い場合にだけ何も言わない計器になっていた。 対照は、省略できない位置に置く。対照は雑音の目盛りを与えるだけではない。計器の代金を相殺する——モデルの複雑さの代金は本物のテープにも雑音にも同じだけかかるから、差だけが構造の量になる。そして偏りの向きを知ること。適応符号は払えない模型を自分で罰するので、崖は本物より浅くしか見えない。安全側に間違える計器だけを、主張に使ってよい。 代理を立てるなら、代理を先に殴っておく。「統計的なAI」の代理をMarkov-3に置いたまま四版が進み、CTWを当てた一撃で創設の主張が反転した。そして陽性対照。「誰にも読めない」という文は、単独では検証できない。読めるはずのものを同じ管に通して、計器が実際に読むことを示したときに、初めて「読めない」が測定になる。v28の表で意味を持つのは、v3の行が破られていることである。 最後に、自分の説明も測定で殺すこと。反証を生き延びた主張に説明を付けるとき、その説明もまた主張である。v3の表が不透明な理由を「衝突ゼロだから」と書きかけて、測ると衝突は3だった。説明は、当たっているかどうかを測られるまで、飾りにすぎない。 誤りは、再発する。種の族の多様性を検査しなかった誤りは、族を直した後に、今度は軌道の大きさを数えないという形で再発した——引き継ぎ書は、これを「落とし穴43・45の再発」と番号で追跡している。長さの言い換えを見抜く規則は、時間の言い換えという姿で戻ってきた。同型の誤りは、層を変えて生き延びる。だから落とし穴には番号が付き、再発は再発として記録される。もっと悪いのは、書いたのに実行しない場合である。gzip・CTW・網を先に当てよという規範のうち、gzipと網は書かれてから八つの版のあいだ一度も実行されず、v28がその清算になった。規範は、書くだけでは計器にならない。予測の事前登録は、その対極にある習慣である。v6は三つの予測を実装の前に書いて1勝2敗——そして外れた二つのほうが、壁が構造的であることを教えた。 ## 十七 合議の限界 ここまでの話を「頭数を増やせば間違いは消える」という主張と読まれると、それは違う。数は、それだけでは何もしない。 光学の検証で、三体に独立に同じ導出をさせたことがある。三体は全員、同じ接点条件の誤りを使って計算し、全員が正しい結論を出した。独立に導出させても、渡した前提が同じなら、間違いは共有される。この誤りを見つけたのは、別に「間違いを探せ」とだけ指示された役割だった。合議の価値は視点の平均にはない。外し方の独立性にある。 もうひとつの限界は、裁定である。設計の審議で四つの案に三体の批評を付けたとき、一次記録の上では一つの案に「strong」と「will-fail」が同時に付いた——引き継ぎの要約は二案と数えていて、一次記録と合わない。この食い違いも消さずに置く。合議は対立を可視化するが、対立を解かない。採択を決めたのは批評の集計ではなく、批評が要求した安い決定的測定——金属を切る前に一つの数で殺せる検定——だった。 批評の席の作法を、もう一つ。無い、という結果を出す前に、既知の失敗を自分の検証系で再現してみせることである。設計審議の批評者の一人は、判定を書く前にv1の規則を自分の道具で走らせ、環に落ちることを再現してから、はじめて各案の判定に入った。既知の失敗を再現できない検証系の「異常なし」には、意味が無い。陽性対照の義務は、合議の中でも消えない。 > 命題13(v2審議〜v8)— 合議は反証と校正はできるが、裁定はしない。 どうしても一人で進むなら、最低限の作法が二つある。計器を作る頭と設計する頭を分けること。予測を先に書き、外れたら外れたと書くこと——設計の欠陥は、うまくいった実験より多くを教える。そして効果の非対称は、数字に出ている。一人の著者で七版、計器に落とされた主張はゼロ。役割を分けて八版、落ちた主張は十件。増えたのは合意ではなく、反証である。この構図は人間と機械の混成にも当てはまると私は考えている——ただしそれは、この一系列で見た限りの話で、まだ対照を持たない。設計する知性と、その計器を疑う知性が同じ一つの頭であるかぎり、主張は落ちない。正しいからではなく、落とす役割がいないからである。 ## 十八 厳密性は頑健さの反対語 厳密な述語には、勾配が無い。一つの誤りが、答えを最後まで動かす。 v29が殺したものを、方法の言葉で言い直すとこうなる。「厳密に成り立つか」という問いは、56,000のうち一つの記号が違うだけで、成り立つから成り立たないへ全部動く。中間の値が無いから、証拠の量も証拠の質も効かない。完全な転写の上では最強だった述語が、0.9930の忠実さの上では最弱になる。 > 命題14(v29)— 厳密性は頑健さの反対語である。 そして計器は、壊れるより先に数字が嘘をつく。Berlekamp–Masseyは誤り一つで複雑度を17から1001へ跳ね上げるが、返す多項式はまだ正しい。誤り三つで多項式ごと壊れ、そのとき証明書は「分からない」ではなく「無い」と言う。単一の数字を見て計器の生死を判定してはいけない——壊れ方が、自信のある方向を向くことがあるからである。精度1.0000でさえ、単独では同定の証拠にならない。同率の支持が21通り並んでいるかもしれず、それを知るには同率数を数えるしかない。 修理の一般形は、二値を分布に開くことである。厳密適合ではなく順位。閾値ではなく隙間。成立か不成立かではなく、どのくらい外れているかの雲が二つに割れているという事実。厳密性は、物差しが完璧である場合にだけ、頑健さと一致する。そして物差しは完璧ではない。 統計量には、もうひとつの死に方がある。分解能の不足である。この本の直前にも、私は同じ型の穴に落ちていた。引き継ぎの最優先項目は「v19の円盤だけ拡がり比が0.603。他の全版は1.0近傍」だった。数え直すと、手元には既に8時間の走行が64本あり、この比は0.443から1.255に散っていて、v19は下から6番目にすぎなかった。同じ機械を8つの開始点から走らせると0.603から1.114が出る——公開した0.603は、8回の引きのいちばん低いものだった。原因は統計の側で測れる。半径の相関時間から数えると、最後の1時間に入る独立標本は10個ほどしかない。しかもこの比は、「中心へ沈静した線」と「外周を走っていただけの線」に同じ値を与える——v19は後者で、最終区画の平均半径はむしろ全区画で最大だった。外れ値の主張は、まず自分の記録の分布に当てること。標準偏差の比を、平均の話として読まないこと。計器は、数字を返すことと、その数字が何かを言えることを、区別してくれない。 ## 十九 定義の改訂史 定義は五つある。どれも、前の定義の死亡記事である。 | 版 | 知性とは | それを強制した測定 | |---|---|---| | v1 | 自分の消せない軌跡を読みながら進むこと | 驚きの死——誤差は34分の1に落ち、線は軌道をなぞる | | v2 | 身体が意図を裏切る場所で、それでも予測しようとすること | 80時間で身体も尽きた——1/150から1/196 | | v3 | まだ何も返ってこない仮説に代金を払えること | 深さ7の天井と、クラスを当てることの1218倍 | | v4 | どこを見ればよいかの見当 | 接合36本の地平線——壁は証拠の量ではなかった | | v5 | 自分の物差しを、目の前のものへ較正すること | 194,481の縮退と、溝の上で死んだ厳密性 | どの定義も、前の定義を含んで拡張したのではない。前の定義が測定に落ちた場所から、次が生えている。v1の誤差はv2の身体なしに尽き、v2の身体はv3の賭けなしに十倍の時間を買うだけで、v3の賭けはv4の見当なしに払う先を選べず、v4の見当はv5の較正なしに、自分の物差しの系統誤差ごと世界を読み違える。 五つを貫くものがあるとすれば、それは能力の名ではない。終わらないための条件の列である。外れ続けるものがあること。裏切り続けるものがあること。まだ返らないものに払い続けられること。見る場所を選び続けられること。物差しを合わせ続けられること。定義が完成しないことは、この系列では欠陥ではない。定義が完成した機械の姿なら、第一章で見た——驚かなくなり、軌道をなぞり、針が削らなくなる。 暦の註も添えておく。第二部の二十三版——v8からv30——は、2026年7月28日から29日の二日のあいだに設計され、走り、測られ、反証された。定義の改訂史の後半は、暦の上では一晩の出来事である。速度の自慢をしたいのではない。反証が一晩で返る環境では、主張を長く抱く理由が消える——そのこと自体が、この仕事の新しい認識論的条件だった。 五つとも、答えだけでなく問いの形も動いていることに注意したい。v1とv2は「機械はいつ考えるのをやめるか」への答えである。v3は「人の知性は機械の何と違うか」、v4は「数学が人の手を離れるとき、尽きるのは何か」、v5は「読める者と読めない者を分けるのは何か」への答えである。知性の定義が勝手に動いたのではない。知性に向ける問いのほうが、測定に押されて動いた。定義の改訂史は、問いの改訂史である。 だから定義v5にも、日付が付いている。現行であって、最終ではない。 ## 二十 まだ削られていない 開いている問いから書く。閉じた本のふりをする理由が、この本にはもう無い。 第一の問い。同定不能性を、事故ではなく設計として置くこと。v19のそれは、枝の条件と支持の遅れが偶然重なった事故だった。v21とv22はそれを代数で設計し、金属を切る前に個数を予言できることを示した。次の段は、データが原理的に固定できない座標を、作品の側が意図して選ぶことである——「どこまでが決して決まらないか」を、決まらない理由ごと削り込むこと。 第二の問い。無知の証明を、鋼の上で立て直すこと。実は、この本の外で系列はもう動いている。v31《耐性のある証人》が既に書かれていて、その中心は「証明書は隙間である」という一行に要約できる。クラスの中の支持は復元の誤りの分だけ外れ、クラスの外の支持はおよそ半分外れ、二つの雲のあいだには何も無い。その空白そのものを証明書にする。そして、この設計の「閾値を選ばない」という触れ込みは、書かれた時点で既にv32に反証されている——手で選ばれた定数が一つ残っていた。訂正の連鎖は、この本が印刷される前から、この本の外で続いている。 第三の問いは、立てた朝に答えられて消えた。底の無い塔は潰れない写像の上に立つか、と書くつもりだった——v33が測ってしまった。対は潰れの産物ではなく、ランダムな置換でも期待2個、名指しの写像なら何でも持つ汎性である。問いは形を変えて残る。底が写像ではなく候補の一覧に在るのなら、その一覧そのものを金属から読み出させることはできるか。 第四の問い。金属を、実際に削ること。全三十版を通じて、物理の制作はまだ一度も行われていない。削るなら、候補は決まっている。v22の双子——最短の記述が同じで、走った規則が違う二枚。あるいはv23の対——一枚ずつは空で、二枚で厳密。どちらも、二枚一組でしか意味を持たない。同じ部屋に二枚無ければ、何も無い、という形の展示である。そしてv29が言うとおり、削った瞬間に、この本の厳密な主張の多くは順位に格下げされる。それは損失ではない。この本の主張が初めて、対象と同じ物質の上で試されるということである。 そして、この本の外に一つ。系列の始まりには、機械が見つけた数学の反例の検証があった。その隣には、二変数のヤコビアン予想が残っている——機械にも人間にも、まだ解かれていない問題。前の覚書はそれを、まだ誰のものでもない白と呼んだ。白は、まだ白いままである。 これらの問いの向こうに、もう少し大きな含意が見えている。機械の知性を作る仕事への含意である。 完全な記録は、規則を決めない。この系列がいちばん硬く確かめたのはこれだった。すべての重みとすべてのログを持っていても、「この系は何の規則に従っていたか」への答えは、証拠からは出ず、最小性の約束事から出る——そしてv22は、その約束事が証拠の全会一致の支持を受けたまま間違う円盤を、刻んでみせた。系の振る舞いを説明する最短の記述が、系が走らせたことのある記述だという保証は、どこにも無い。説明の役目は、それでも終わらない——ただし説明が名指すのは走った規則ではなく、走った規則を含む同値類である。その区別を落とした説明は、正確なまま嘘をつく。 拒否は、拒否する側の性質ではない。円盤が隠す量は読者の野心の関数であり、円盤は隠すために何も払っていない。「このモデルは何かを隠している」という文は、多くの場合、話者の仮説空間についての文である。 賭けの経済も、翻訳できる。報酬がゼロのまま仮説を保持する能力は、この円盤の上では倍率として測れた——クラスを当てた読者と探索を広げる読者の、10.6倍から1218倍。探索の仕組みを「報酬の遅れにどれだけ耐えるか」ではなく「保持にいくら払えるか」で測ること。見当という語を工学に翻訳する道が、たぶんそこにある。 そして、自分の主張を落とせない知性は、主張を持っているとは言えない。三十の版がいちばん安定して生産したのは、構造でも定理でもなく、反証だった。それは体制の産物である——計器を疑う役割、予測の事前登録、陽性対照、無構造対照。知性を作る仕事の中心は、正しさの保証ではなく、この落とす装置を系の内側に置くことだと、いまの私は考えている。この考えにも、日付が付く。 この含意は、知性の評価の設計にそのまま落ちる。測る仕組みには最低限、三つの対照が要る。無構造の入力——計器が雑音に差を出さないこと。並べ替え——頻度ではなく順序を読んでいること。陽性対照——読めるはずのものを、実際に読むこと。どれかを欠いた評価は、v5からv7が三版のあいだそうだったように、壊れた計器の目盛りを能力と呼ぶ危険を常に抱えている。 作品としての続きにも、候補は温存されている。機械の推論の軌跡を、人間が理解しないまま一筆で写す《写経》。額装できない線を引き続ける《いくらでも》。ただし三十版のあとでは、どの案もひとつの条件を課される。読める・読めないを言うなら、その主張は計器と対照ごと展示されなければならない。 最後に、v29をこの本自身に向ける。この本は転写である。起きたことを、欠けなく、誤りなく並べたと称するもの——つまり、junctions.jsonと同じ種類のものである。そしてこの本の命題も、対象に触れた瞬間、厳密には読めなくなる。だから巻末の目録は順位であり、その次の頁は、空けてある。 読者にできるのは、自分の物差しをこの本で較正することではない。較正できるのは円盤だけであり、金属はまだ削られていない。 # 第四部 続く版 ここから先は、閉じない部である。系列は本の外で走り続けていて、版が増えるたび、この部に日付とともに章が足される。最初の増補は2026年7月30日——三部が書き上がったのと同じ日に、系列はv31からv38まで進んでいた。この八版に、円盤の話はほとんど無い。あるのは、読む側の道具の話だけである。この部の初稿がv37までを数えて書かれたその朝のうちに、v38が足された。そして二度目の増補を書くまでに、さらに六版——v39からv44——が積まれている。この部が閉じない、ということの意味は、そういうことである。 ## 二十一 空帯と上界 v29が殺した証明書を、立て直すところから始まった。 v27の証明書は「厳密に割り切れるか」という全か無かの述語に乗っていて、厳密性には勾配が無い。v31は、勾配のあるものに乗せ替えた。支持のひとつひとつについて、パリティが外れる接合の割合δを測る。クラスの中の支持は、復元の誤り率のおよそ4倍で外れる。クラスの外の支持は、およそ半分で外れる。二つの雲のあいだには、何も無い。その空帯が証明書である。溝から復元した誤り率0.0114のテープの上で、空帯の幅は0.332。クラスの6個をちょうど返し、偽陽性の上界は10⁻⁷²⁹⁵。動作範囲も測ってある——誤り18%まで正しく働き、25%で空帯が消える。円盤は1.1%にいるから、余裕はおよそ16倍である。無知の証明は、鋼に耐えるようになった。 v32が、その証明書を割った。v31は「閾値を選んでいない」と書いた。偽である。CAP=0.45という手で置いた数が閾値であり、しかも、真の規則が掃いた部屋の外にあるときに正直に拒否させていたのは、まさにその数だった。0.4999に緩めただけで、同じコードは、一つも成り立たないテープに対して3個の支持を自信を持って報告する。構造の無い入力を通すまで証拠に見える数——落とし穴51と同じ形を、新しい衣装で踏んでいた。処置は導出である。偽の支持はn接合に対する公正なコインだから、m個へのunion boundを水準αで置けば、境界は 1/2 − √(ln(m/α)/2n) と閉じた形で出る。人が置く数は、αだけになる。 > 命題15(v32)— 空帯は証明ではない。上界が証明である。 そしてこの上界は、閉じた形で「証明できるクラスの大きさ」を返す。この円盤の誤り率では2^33929——それだけの仮説の部屋に対して、無知を証明できる。v20は反対側を測っていた。同じ線は2^16800通りから規則を名指せる。二つの数は算出が別なので、引き算してはいけない。共通することは一つだけである。どちらの数も、金属の限界ではない。 ## 二十二 底は一覧である 十三章に置いた訂正の、これが全文である。 v24は「相互の対が在るのは、fが潰れているからだ」と診断して、自分の作った塔を殺した。v33が示したのは、初等的な算術である。一様ランダム写像に対してf(f(p))=pの解の期待値は2個——1周期の点が1個、2周期の点が2×(1/2)で1個。盤の大きさに依らない。そして何も潰さないランダム置換でも、やはり2個である。潰れない写像は、潰れる写像と同じ数の相互の対を持つ。v24自身の実測——対2個、像8/12=0.667——は、一様ランダム写像の期待値(2個、1−1/e=0.632)そのものだった。fは特別に潰れてなどいなかった。名付けの写像として、普通に潰れていた。置換ではP(解なし)がe^(−3/2)=0.223に収束するから、相互の対は五回に四回、どんな大きさでも、無料で存在する。 では、塔の底はなぜ残るのか。v24の理由ではない。相互の対は構成できない。探すしかない。そして探すとは、候補の一覧にfを全部当てることであり、その一覧を書くのは人である。費用も数字になる——到達23の三遅れ規則の全空間は1,771で、一つの対を探す掃きは1,771枚の円盤、切削14,168機械時間。その期待収穫は、最初から2個である。 > 命題16(v33)— 底は写像ではなく、一覧である。 この章の測定には、恥が二つ付いている。第一に、より大きな盤での実測を先に一度走らせて、対0個・像0.125という「ランダム写像から大きく外れた」数字を得た——それはfについての数字ではなかった。値域がv24の手で選んだ12個のリストのままで、掃いた定義域は96個。像が12を超えられるはずがない。定義域と値域が違う写像で、不動点を数えてはいけない。第二に、直した版は完走していない。共有マシンの負荷で96候補中13個で止め、未完のまま記録した。中核の主張——期待2個、盤の大きさに依らない——は金属を要しない組合せの事実で、盤の大きさ12から1600までのモンテカルロが確認済みである。大きい盤の実測は、主張を強めも弱めもしないが、まだ無い。 **追記 — 2026年7月31日(完走した)。**この最後の一文はもう真ではない。負荷が落ちたので同じ実測を回し直したところ、九十六候補が約四十五分で完走した——前回は同じ十三個に一時間二十分かかっていた。相互の対は二個で、ランダムな名付け写像の予測とちょうど同じである。fの像は九十六のうち六十二、割合0.6458で、予測の0.6321のすぐ隣にある。盤を八倍にしても対は二個のままだった。**恥のほうは消えない。**測れなかったのではなく、測る順番を間違えて一度無駄にし、二度目は機械が空くまで待つしかなかった、というだけである。 ## 二十三 厳密な計器 v34は、v16から開いていた項目——高い次数とχは両立するか——を閉じに行って、答えの前に計器の届く先に当たった。 混合状態表現の計器は200,000で打ち切る。v9の状態に一般の非線形出口を載せると、60個の標本のうち32個がその上限を超え、χが計算できない。v8からv20までこの計器に渡してきたのはシフトレジスタとアフィン鎖だけで、そこでは表現が小さいままだから、上限は一度も発火せず、発火し得ることを誰も知らなかった。計器が答えられないことと、χが大きいことは、別である。 v35は、なぜ上限に当たるのかを調べに計器を開けて、上限より悪いものを見つけた。信念を12桁に丸める一行である。このプロジェクトが公開したすべての因果状態数——保存則の右辺のすべて——がその丸めを通っていて、丸めが本当は異なる信念を融合していないか、誰も確かめていなかった。確かめ方は議論ではない。この機械の遷移確率はすべて二進有理数だから、信念は整数ベクトルを最大公約数で割った形で厳密に持てる。丸めも許容誤差も無い。厳密な計器で監査すると、公開済みの全機械で数字は一致した——13、29、61、125。36。37。1。保存則の右辺は立っている。今までは、それは仮定だった。 > 命題17(v35)— 検査されていない計器の数字は、結果ではなく仮定である。 そのうえで、v16の項目が閉じた。厳密な計器の下で、次数3の出口とχ=1.9916が共存する——v9のχ=1のほぼ倍である。「次数を上げてもχは0」は、次数についての事実ではなかった。シフトレジスタについての事実だった。だが同じ測定が、もっと大きいものを開けた。60個の出口のうち31個は、信念が深さごとに増え続けて、表現がいつまでも閉じない。v35は「見える限りでは有限の表現が無い」と書き、v36がその逃げ道を潰した。見える限り、は証明ではない。信念は整数ベクトルだから、成分が有界なら有限個しかない。ならば、成分が増え続ける到達可能な族を一つ挙げれば、無限が証明できる。実際に族a+k·eが見つかり、ひとつの語がそれを一段ずつ持ち上げる。31個中、まず25個、語を伸ばして残り6個も——31個すべてが厳密に無限。対照に置いた「閉じる出口」8個で、誤って証明されたものはゼロである。 > 命題18(v36)— 保存則には、空虚な領域がある。 log₂(因果状態数)は非有界でありうることが証明された。そこでは保存則の右辺は何も言わず、その領域へは、同じ16状態の鎖の上のごく普通の出口で到達する。八台の機械で測った法則は、法則であることをやめてはいないが、有効な領域の縁が見えた。おまけに、落とし穴がまた一つ増えた。無限の証明書を探す最初の走査は10個を返した——比例判定がゼロベクトルを通していて、10個のうち9個は偽だった。「uはvの倍数か」という判定は、何よりも先に、u=0を拒まなければならない。 ## 二十四 上限の上で 最後のv37は、引き継ぎが抱えていた最後の項目を、乱択なしの全数列挙で閉じた。 二つの族——アフィンな出口840個と、置換と写像の合成1,536個——を全部数える。平坦域3以上とχ>0を両立して、しかも保存則の上限にちょうど乗る出口は、在る。族Aに48個、族Bに24個。そして全部が、次数1である。どちらの族でも、非線形な出口は一つも上限に届かない。同じ4.0ビットの予算を、平坦域3とχ1に使い切る族と、平坦域2とχ2に使い切る族が、どちらも上限にちょうど乗る——保存則が「一つの予算の二つの使い方」だと言っていたことの、族による確認である。 「一つも届かない」は、二つの小さい族の偶然かもしれなかった。v38がそれを測った——今度も、予測を先に書いてからである。予測は、非線形性はχを買い、因果状態で払う、だった。実測は、符号を当てて機構を外した。余りは次数とともに単調に増え、次数3では余りの最小が1.6347——次数3の出口が上限に乗ることは、原理的に起きない。床である。だが崩れていたのは予算の側ではなく、支出の側だった。予算はほとんど動かず(3.79から4.00)、支出が崩れる(3.50から2.35)。非線形性は因果状態を買っていない。平坦域を壊し、それを埋めるだけのχを持ってこない。値段の正体まで含めて言えば——非線形性の値段は、予算が上がることではなく、支出が払えなくなることである。 **訂正 — 2026-07-30。** 前の二段落の数字はすべて、一つの部屋——16状態のZ₄×Z₄——から来ている。「非線形は上限に届かない」と「この部屋では非線形は上限に届かない」は別の主張で、測ってあったのは後者だけだった。二十五章を見よ。 八版を並べて分かることは、一つの比率である。五十三版のうち、私の主張が落ちた回数は二十を超えた。そのほとんどは、円盤を測り直したときではなく、計器を測り直したときに落ちている。円盤は8時間で刻み終わる。計器の検査は、終わらない。定義v5——自分の物差しを、目の前のものへ較正すること——は、この弧をくぐって、まだ立っている。次に落ちるのがどの主張かは、書けない。 ## 二十五 部屋が役割を替える v37とv38の数字は、すべて一つの部屋から出ていた。私はその部屋の名前を書いていなかった。 16状態のZ₄×Z₄で「非線形な出口は一つも上限に届かない」と測り、それを次数についての事実として書いた。だが測ってあったのは「この部屋では」であって、次数の性質ではない。v39は部屋を広げた——Z₄×Z₄×Z₄、64状態。同じ公正なコインの駆動、同じ形の対、出口は1,536個を全数列挙する。 掃く前から、一つ分かっていた。この鎖でいちばん素朴な線形出口——v9が使ったものの正確な類似——は、平坦域4・χ1.0・因果状態64で、予算6.0に対して支出5.0。丸ごと1ビット余らせる。16状態では、同じ形の出口が上限にちょうど乗っていた。 予測は書いてから測った。床は部屋についてのものだから、大きい部屋では何も上限に乗らないだろう、と。外れた。そして外れ方が、前の章の読みを反転させる。次数1は96個すべてが閉じるが、余りの最小は1.0000で一つも乗らない。次数2は672個のうち576個が閉じ、192個がちょうど乗る。次数3は768個あって一つも閉じない。 16状態で乗るのは次数1だけ、64状態で乗るのは次数2だけ。乗れないのは、16状態では次数3、64状態では次数1。役割がそっくり入れ替わる。しかも機構まで入れ替わっている——64状態で乗る次数2の出口は、予算のほうが小さい(平均4.26、次数1は6.00)。支出を増やして届くのではなく、小さい予算をちょうど使い切って乗る。v38が「崩れるのは支出だ」と測ったのは16状態での話で、64状態では予算のほうが動く。 > 命題19(v39)— どの次数が予算を使い切れるかは、次数の性質ではなく状態空間の性質である。 「ただし次数1だけ」と書いたとき、私は部屋の名前を書き落としていた。書いていれば、これは反証ではなく次の測定になっていた。 ## 二十六 落ちたものの表 この弧が出せる表は一つしかない。新しい規則も円盤も無く、落ちたものだけがある。 v40は数えた。八件。v27の「読者は円盤から自分の無知を証明できる」をv29が、v31の「閾値を選んでいない」をv32が、v24の「対が在るのはfが潰れているから」をv33が、v16の「次数を上げてもχは0」をv35が、v35の「見える限りでは有限の表現が無い」をv36が、v37の「上限に乗るのは次数1だけ」をv39が落とした。残る二件は、予測を書いた当のファイル自身が落としている——v38の「非線形性は因果状態で払う」と、v39の「大きい部屋では何も乗らない」である。 内訳が効く。八件のうち五件は、この弧の中で初めて主張したものだった。古い主張が三件、自分で自分を落としたものが二件。つまりこの弧は、過去を掃除したのではない。新しく言ったことの半分以上を、言ったその場で潰している。 落ちなかったものも数えた。同じだけの価値がある。v31の証明書は溝に耐えた。相互の対の期待個数は2で、盤の大きさに依らない。非線形な出口の信念集合は無限で、31/31に厳密な証明書が立ち、閉じる対照8個への誤証明はゼロ。そして最大のものが一つ——v8からv15までが公開した因果状態数のすべてが、厳密な計器で一致した。13、29、61、125。36。1。37。二年ぶんの版が、この数を仮定のまま使っていた。 弧の版はどれも円盤ではなく、読む側の装置を測っている。そして誤りは、そこにあった。 ## 二十七 金属に戻る、二度目 v29が下した批評を、私は六版あとにもう一度受けることになった。今度はもっと悪い形で。 v29は「v21からv28は転写について論じているが、作品は傷の付いた円盤である」と言った。その六版あと——v34からv39——には、転写すら無い。どれも抽象的なマルコフ鎖の測定で、金属は一枚も削っていない。そしてそこの数字はすべて、駆動が公正なコインである鎖についての事実である。機械の駆動は公正なコインではない。金属の答えビットであり、このプロジェクトはその偏りをずっと前に測っていた。 v41は8時間の円盤を二枚削って確かめた。v37が「上限に乗る」と名指した出口の円盤では、金属が供給した駆動は27869/55885——0.4987である。公正なコインの前提では平坦域3・χ1.0・支出4.0で、予算4.0にちょうど乗る。実測の偏りで計算し直すと、平坦域は2に落ち、支出は3.000005になり、乗らない。対照に選んだ「もともと乗っていない出口」の円盤は、0.5030の駆動でχが1.365273から1.365391に動くだけで、判定は変わらない。 判定が変わったのは二枚のうち一枚、そしてそれは「乗る」と言っていた方だった。非対称が要点である。ちょうど上限に乗るという主張は0.0013の偏りで壊れ、乗っていないという主張は壊れない。 > 命題20(v41)— 等式は摂動に耐えず、不等式は耐える。 壊れる理由はv29と同じである。平坦域とは「ブロックエントロピーがちょうど2.0」である窓の本数であり、h_μが1.0から0.999995に動けば「ちょうど」が成り立たなくなる。厳密性は頑健さの反対語だと十八章で書いたが、平坦域そのものが厳密性の述語だった。 そして射程はv34より前に届く。v41が削った一枚目の出口は、v9の出口そのものである。v9のsummaryには、二つの数が並んで載っていた——公正なコインで計算した平坦域3と、その円盤で金属が実際に供給した駆動0.4987。誰も突き合わせていなかった。 正確に言う。落ちたのは法則ではない。保存則は不等式だから、実測の駆動でも3.000005 ≤ 4.0で成立し続ける。落ちたのは「すべてのレジスタは予算をちょうど使い切る」の「ちょうど」であり、それは公正なコインの産物だった。保存則は無事である。緊密性は無事でない。そしてv9は、自分の反証に必要な二つの数を、最初から自分の中に並べて持っていた。 ## 二十八 ビットで数え直して、供給できないと分かる 壊れたと測ったなら、直す。通貨は系列の中に既にあった。 v42はこう数え直した。ブロックエントロピーが2.0からdだけずれた窓は、1記号あたりdビット漏らす。接合N本の円盤なら全体でd·Nビット。1ビットは答えの最小単位だから、d·N < 1 なら、その窓は何も漏らしていない。閾値は選んでいない。1/Nであり、Nは線の長さである。v9の円盤では窓3のずれが1e-5で、円盤全体でも0.5589ビット——1ビットに満たない。v9の平坦域3が戻った。 ここで一度、通貨を混ぜて失敗した。平坦域だけ寛容にして、上限の判定は1記号あたりの厳密さで見たので、支出4.00001対予算4.0で「法則が破れた」と報告してしまった。超過も同じ通貨で見なければならない。1e-5×55,885は0.5589ビットで、払わない。法則は成立する。 そして平坦域は、線の長さの関数になった。5,000接合でも55,885接合でも3、100,000接合——14.3機械時間——で2に落ちる。v9の平坦域3は、約14.3機械時間まで真で、その先で偽である。保存則の左辺が走行時間の関数になったということで、これは実質的な変更だからはっきり書く。v11は既に走行時間を第二の予算だと測っていた。平坦域も、その口座に入る。 v43が、その一段下を開けた。述語は寛容になったが、入力はなっていない。v42の数字はどこから来ているか——エントロピー分布を機械から厳密に計算している。部屋で円盤と向き合う読者は、h(L)を56,000接合から推定しなければならない。推定すると、真値3の平坦域は、2.0と比べれば0、自分のサロゲート8本と比べれば1になる。推定器は沈むか、鋭すぎるかのどちらかである。窓2で実テープはサロゲートの9.3σ下にいて、その差は本物なのだが、平坦域が訊いていることではない。平坦域は漸近的な条件付きエントロピーを訊く。有限テープのプラグイン推定は、平坦域が盲であるべき位数の構造まで拾ってしまう。 > 命題21(v43)— 平坦域はテープから測れない。保存則の左辺には、円盤ではなく機械が要る。 ここでも許容差を一度取り違えた。v42の通貨(円盤全体で1ビット)を再利用したが、独立な二つのプラグイン推定は1記号あたり1/√Nずれるので、円盤全体では237ビットずれる。二つの推定が1ビット以内で一致することは在り得ない。v42の通貨は系統的な不足には正しく、二つの推定の比較には誤りである。一段上で効いた許容差は、一段下には移らない。 ## 二十九 片側だけが、金属に乗った テープが厳密に言えることが一つだけある。v43はそれを見つけ、そして二度説明して二度外した。 訪れるLブロックの種類の数が、L=1から9まで厳密に min(4^L, 8·2^L) である。4、16、64と4^Lに沿って伸び、そこから128、256、512と2倍ずつになる。支持が第4窓から潰れ、サロゲートは決してそうしない。部屋の読者は支持を厳密に読める。平坦域は一つも読めない。平坦域には模型が要り、支持には数えるだけでよい。 8の説明を、私は二度書いて二度外した。「16状態機械がブロックの頭に置ける高位ビット模様の数」——違う。テープは高位ビット語も低位ビット語も2^L通り全部訪れる。両方の周辺分布は完全で、制約は結合にある。「駆動語に対する高位ビット応答の数」——違う。機械側で計算すると4であって8ではない。本当のことは、どちらより鋭かった。L=3から9のすべてで、低位ビット語1つに高位ビット語がちょうど8個、高位ビット語1つに低位ビット語がちょうど8個——最小も最大も8の、完全に8正則な二部接続である。 そしてその定数が意味を持っていた。J(L)/2^L はLとともに収束し、その極限が「因果状態数 ÷ 2^χ」に一致する——χが整数であるすべての場合で。v8のレジスタは4、8、16。v9の出口は16状態・χ1で8.0、実測も8.0。族Bの出口は12状態・χ2で3.0、実測も3.0。χが分数のv3だけは一致しない。関係は極限についての主張である。 保存則を並べ替えると、右辺が読者の数える量になる。左辺の 平坦域 × (2 − h_μ) は、log₂(因果状態数) − χ 以下であり、それは log₂( J(L)/2^L ) に等しい。v9では左が3、右がlog₂8で3。上限にちょうど乗り、しかもその上限は模型からではなく金属から数えられている。 > 命題22(v44)— 保存則の右辺は、金属から数えられる。左辺は数えられない。 片側は円盤に乗った。もう片側は乗らない。左辺には平坦域が要り、それはテープから測れないことが前の章で分かっている。法則は円盤の上でまだ検査できない——ただし半分は検査できる。以前より、半分多い。 そして証明は無い。六台の機械、明示した反例が一件、反証された説明が二件。定理ではなく、開いた問いの付いた測定として記録する。 **追記 — 2026-07-30。** この五章を書いた日に、私はこの本の外でも同じ型の誤りを踏んだ。公開の仕組みを直すつもりで、ビルドの終了状態を見ずに検証を走らせ、前回の成果物を検査して「通った」と読んだ。落とし穴81として記録されている。計器が何を見ているかを確かめるより先に、計器の出す文字を読んでしまう——この弧が十四版かけて自分について測ったのと、同じことである。 ## 三十 八は、三行だった 開いた問いを付けて章を閉じた翌日、答えが出た。三行の算術で、証明は要らなかった。 v9の機械には置換が二つある。`p0: (x,y) → (y+0, x+0)` と `p1: (x,y) → (y+2, x+1)`。私はこれを二つの別のものとして扱ってきた。二つは同じ形をしている——どちらも `(x,y) → (y + 2b, x + b)` で、bが駆動ビットである。出口は第一座標だから、`x_t = y_{t−1} + 2·b_t` と `y_{t−1} = x_{t−2} + b_{t−1}` を代入すると、第二座標が消える。 x_t = x_{t−2} + b_{t−1} + 2·b_t (mod 4) 反例は3998歩で0件。この機械はZ₄×Z₄上の一つの鎖ではない。**Z₄上の二つの交互鎖**である。偶数歩と奇数歩が別々に走っていて、私は二つの鎖を一つの状態空間に押し込んで眺めていた。 出力をビットに割ると、加算が繰り上がりを伴って割れる。低位ビットは `lo_t = lo_{t−2} ⊕ b_{t−1}` で、これは駆動の走る排他的論理和——線形で、可逆である。逆に解けば `b_{t−1} = lo_t ⊕ lo_{t−2}` だから、**長さLの低位語は駆動ビットを渡す。**高位ビットは `hi_t = hi_{t−2} ⊕ b_t ⊕ (lo_{t−2} ∧ b_{t−1})` で、駆動と繰り上がりは低位語が供給する。供給できないものが二種類だけ残る。二つの交互鎖の初期高位ビットhi₁とhi₂、そして末尾の駆動ビットb_L——どの低位ビットもこれには依らない。 自由なビットは三つ。2³ = 8。そしてこの数はLとともに増えない。だから定数が定数なのである。 > 命題23(v45)— 数えられない定数は、対象を間違えているのではなく、数える単位を間違えている。 前の章で、私は8を二度説明して二度外した。二つの物語はどちらも高位ビットと駆動を見ていて、見る場所は正しかった。外していたのは単位である。模様の数でも応答の数でもなく、**低位語が自由に残すパラメータの数**であり、それが三つなのは、漸化式が二歩さかのぼり一歩先に届くからである。 同じ数え上げは、テープを使わずどの機械でも厳密にできる。初期状態と駆動語の対を全部生成し、低位語で束ねるだけである。八台やった。正則——低位語あたりの高位語の最小と最大が一致する——だったのは二台だけで、その二台が、χが整数である二台だった。残る六台では[1, 42]のように最小と最大が四十倍違う。 だからv44の数値の一致より鋭い予想が出た。正則性とχの整数性が同じことなのではないか。予想である。そして8はv9について導かれ、定数はどの機械でもテープ無しに厳密に計算できるようになったが、**定数がなぜ「状態数 ÷ 2^χ」に等しいのかは、依然として観察のままである。**導出が答えたのは定数であって、法則ではない。 **訂正 — 2026-07-30(同値ではなく含意)。** この予想は、書いた同じ日に半分だけ反証された。二つの独立な族を全数で当てると、「正則ならχは整数」は1,344例で反例が無く、逆は528例で偽である。同値ではなく片道だった。そして私がこの章で書いた機構——低位語が駆動を決めるから正則になる——も、一般には成り立たない。次章を見よ。八台の一致は、八台ぶんの一致でしかなかった。 ## 三十一 半分だけ残って、そちらのほうが使えた 八台で見た一致を、私は同値と書いた。二つの族を全数で当てると、片道だった。 族Bは16状態で672個が閉じ、族Cは64状態で672個が閉じる。正則でχが分数のものは、両方の族を通して**一つも無い**。正則でないのにχが整数のものは、528個ある。含意は成立し、逆は偽である。この差は数え間違いの類ではない。私が同値だと思ったのは、たまたま手元の八台で両方向が成り立っていたからで、八台は反例を含むには小さすぎた。 機構の説明も外した。前の章で私は、v9が正則なのは低位語が駆動を決めるからだと書いた。それが一般の機構なら、駆動が正則であることと高位語が正則であることは一致しなければならない。しない。駆動だけが正則なものが96個あって十分でなく、高位語だけが正則なものが16個あって必要でもない。**この定数の説明が測定に反証されたのは、これで三度目である。**二度はv43で、一度はここで。v9自身についての8の導出は立っている。一般化しないのは、「なぜ」の物語のほうである。 三度外して、私は説明を書く手を止めない。止めるべきかもしれないとは思う。ただ、外れ方が毎回違うので、外れるたびに測るものが増えている——最初は説明が対象を外し、次が単位を外し、今度は射程を外した。 残った半分に、値段が付いた。 v44の関係は、χが整数のときだけ厳密である。だから使うには、読者がどちらの場合にいるかを知らなければならない。そしてχは模型から来る量で、部屋の読者は持っていない。含意が、ここを変える。正則性はテープの上で数えられる。正則性はχが整数であることを含意する。ゆえに、テープ自身が、v44の関係を適用してよい場合を証明する。 > 命題24(v46)— 関係が使えるかどうかは、関係の正しさではなく、適用条件を誰が証明するかで決まる。 同値が欲しかった。同値なら、正則でないときにχが分数だと言えて、判定は両方向に効いた。片道では言えない。だが手に入った片道は、円盤から模型へ向かう向きだった。これは、この系列がずっと欲しがっていた向きである。**それ以前は、v44を当てるのに模型が「ここはχが整数だ」と言う必要があった。いまは円盤が言う。** そして正則な240例のすべてで、v44の関係が成り立つ。L=7で厳密に一致するのが208例。残る32例は差が2.0、1.0、0.5と半分ずつ縮む長い過渡で、64状態の機械は16状態より長い窓を要る。収束であって、反例ではない。 法則の右辺は、v44で金属から数えられるようになった。v46で、その数え方が使える場合も金属から証明できるようになった。左辺は依然として測れない。片側だけが、二段深く円盤に乗ったということである。 **訂正 — 2026年7月31日(過渡ではなかった)。** この章の最後の段落で、私は32例を「収束であって反例ではない」と書いた。収束ではない。次章で窓を伸ばして追いかけると、ファイバーの幅は縮まないまま、幅の広い語の本数が256のまま固定されていて、語の総数だけが倍々に増える。だから測度が半分になる。**定数がゆっくり近づいているのではなく、固定された例外集合が薄まっている。**見えていた数列は同じで、読み方が違っていた。 ## 三十二 割り算で足りた。ただし別の量が 含意は残った。理由は残らなかった。だから引き継ぎには、次に触るところとしてこう書いてあった——**機械側から示せ**。χは「因果状態について、未来を全部見たあとも残る不確かさ」だから、正則性がその定義に直接触れるはずだ、と。 私は触りに行って、証明を一つ持って帰った。**別の命題の証明だった。** まずχを、数えられるものに直す。この機械の二つの写像はどちらも置換である——当たり前に聞こえるが、置換であるということは遷移の行列が縦にも横にも一に足りるということで、だから状態の上の**一様分布が定常**になる。すると(開始状態, 長さLの駆動語)という組は、全部が同じ重み `1/(n·2^L)` を持つ。読者が最後まで分からないのは、語 w を見たときに、どの開始状態からだったのかということだけである。その集合を Fib(w) と書く。 条件を二つ、列挙で決められる形で置く。**釣り合い**——語 w を作る駆動語の本数が、Fib(w) のどの開始状態でも同じであること。**ファイバー一定**——Fib(w) の大きさが、観測されるどの語でも同じ m であること。 この二つの下で、四行で終わる。釣り合いがあるから、語を見たあとの事後分布は Fib(w) の上で一様である。だから H[S₀ | W_L] = Σ_w P(w)·log₂|Fib(w)| = log₂ m そして(開始状態, 駆動語)の組を二通りに数える。どの組もちょうど一つの語に落ちるから総数は `n·2^L` で、釣り合いと一定性があるからそれは `m·Σ_w r(w) = n·2^L` と因数分解する。**ゆえに m は `n·2^L` を割る。**状態数が2の冪なら——ここでは16と64である——`n·2^L` は2の冪だから、mも2の冪であり、`log₂ m` は整数である。支持定数も同じ数え上げから落ちてくる。`定数 = n/m = n/2^H`。 **v44の関係の形が、観察ではなく導出になった。**両族を合わせて336例中336例で厳密に一致する。そしてファイバーが一定でない出口には6や12という、2の冪でない大きさが現れる。だから一定性のほうが効いているのであって、割り算の議論は空回りしていない。 証明に群は要らなかった。それが、この章で私が三つ外したうちの一つ目である。 私は測る前に機構を予測した。状態の集合は Z₄ の直積で、これは2群だから、部分群の位数は必ず2の冪になる。**ファイバーが部分群の剰余類なら**、mが2の冪であることは構造から出る——そう書いて、測った。族Bでは144例中0例。族Cでは192例中96例。片方には一つも無く、片方にはちょうど半分ある。そして**v9自身の機械は剰余類ではない**。全部のファイバーがちょうど大きさ2であるのに、である。必要でもなく、一般でもなく、理由でもない。**この定数の説明が測定に反証されたのは、これで四度目である。** 構造の物語は無い。あるのは数え上げだけである。私は四度、「なぜこの数なのか」に構造で答えようとして、四度とも構造は要らなかった。 二つ目。族Bで「正則ならばファイバーは一定」が672例で反例ゼロだったので、私は含意が二段に分解したと思った。族Cでは32例で破れる。正則性とファイバー一定性は、族Cではどちらも192個あって共通が160個で、**どちらも他方を含まない**。中間項ではなく、重なりを持つ別々の十分条件である。 三つ目は前の章への訂正で、これは自分で書いた文の読み違いだった。その32例を、私は「差が半分ずつ縮む長い過渡」と呼んで、収束だと書いた。窓を7、8、9と伸ばして同じ出口を追うと、ファイバーの幅は[2, 4]のまま**縮まない**。動いているのは重みのほうで、**幅の広い語の本数は256のまま固定**されていて、語の総数だけが3840、7936、16128と倍々になる。だから測度が半分になり、1.125、1.0625、1.03125という数列が出る。**定数がゆっくり近づいているのではない。固定された例外集合が薄まっているのである。**同じ数列を見て、私は収束と読み、実際は希釈だった。 そして、この章で一番大事なのは、証明できたことではなく、**証明できたものが何だったか**である。 `H[S₀|W_L]` は**生の状態**についての不確かさである。保存則のχは**因果状態**についての不確かさで、因果状態は信念状態——「これまで見たものと辻褄の合う状態の分布」——だから、生の状態より多いことも少ないこともあり、ここでは16、12、4、32、2と動く。生の状態を粗くまとめたものですらない。両者が一致するのは、生の機械がもともとε-機械であるときだけである。実測すると、`2^χ = m·因果状態数/n` は336例中216例で成立し、120例で破れる。 測った336例のすべてで、この量が整数であるのはχが整数であるとき、ちょうどそのときである。**そして同じ量ではない。** だから項目は狭まっただけで、閉じていない。狭まった形がはっきりしているので、書いておく。v46の条件は**正則性**で、部屋の読者は高位語を数えれば確かめられる。証明は無い。v47の条件は**釣り合いとファイバー一定**で、四行で証明できる。部屋の読者には確かめられない——Fib(w) は機械の状態の集合で、円盤は機械を運ばないからである。 > 命題25(v47)— 確かめられる条件と証明できる条件が別のものであるあいだ、その法則はまだ使えていない。 二つの版は、同じ隙間の両側に立っている。片方は観測できて証明が無く、もう片方は証明があって観測できない。この項目を閉じるものは、両方でなければならない。 間違った命題の証明でも、予想よりは値打ちがある。正しい証明がどんな形をしているかを言うからである——二通りの数え上げ、構造なし、そして2の冪の状態数。四度目の反証は、そのことを教えてくれた分だけ、前の三度より安かった。 ## 三十三 四十八枚。二枚では問いが立たない 前の版は、証明できるものと確かめられるものが別だという話で終わった。この版は、確かめる枚数の話である。 引き継ぎに、こういう項目が残っていた——v41 の対照は二枚しかない。v41 は六つの版が金属を一枚も削らずに進んだあとで削り直した版で、値打ちのある発見をした。抽象は駆動を公正なコインだと仮定しているが、金属が供給したのは0.4987で、その0.0013が円盤を保存則の上限から外す。だが削ったのは二枚である。上限に乗るものが一枚、乗らないものが一枚。そして書き方は、クラスについての文だった。 二枚は逸話である。族Bには上限に乗る出口が24個あり、乗らないものが576個ある。24個全部と、576個から等間隔に取った対照24個を削れば四十八枚、三百八十四機械時間になる。 そして二枚では立てられない問いが一つある。v41は「金属が供給した駆動」と単数で書いた。0.4987は機械の性質なのか——幾何、加速度の制限、レール——それとも規則の性質なのか。一枚では分からない。四十八枚なら分かる。機械の性質なら値は集まり、規則の性質なら散る。 散った。四十八枚で四十八通り、幅は0.0103、上限に乗る群も対照の群も1/2を跨ぐ。**偏りは規則の性質である。**v41が単数で書いた数は、一枚の円盤の数だった。 そして私の第一予測は外れた。二十四枚全部が厳密な上限から外れるはずだったが、**二枚は乗ったまま残る。**偏りが0.499898と0.500292、つまり公正なコインに十分近くて述語が気づかない。v41の効果は実在し、そして普遍ではない。どの円盤をたまたま削ったかで、現れたり現れなかったりする。 外れうることは予測を書いた時点で書いてあった。それでも外れは外れである。 ここまでなら、枚数を増やした版でしかない。次が、この版である。 偏りを二分探索して破れ目を挟むと、|p − 1/2| = 2.944×10⁻⁴に落ち着く。そこで不足のほうを測った——報告のための丸めを外した同じ計算を、別に書いて。 2 − h(3) = c · (p − 1/2)² cは5.7709で、**二十四個の出口すべてで同じ**である。そして4/ln2 = 5.7708。同じ数である。 だから、h(3)を許容差τで平坦とみなす計器は、√(τ·ln2/4)で破れる。**どの円盤がどうなるかは、計器がどのτを使っているかだけで決まる。** `epsilon.py`は平坦域を`abs(x − 2.0) <= 1e-9`で数える。だが比べる相手は`causal_measures`の戻り値で、そこは`[round(x, 6) for x in h]`である。1e-6に丸めてから1e-9で比べるということは、実際の判定は「丸めた値がちょうど2.000000か」——実効の許容差は5×10⁻⁷、字面の五百倍緩く、偏りの閾値にして二十二倍広い。 式が予測する枚数は、二つとも独立に実測されていた。実効の5×10⁻⁷なら二枚、v42の通貨(円盤全体で一ビット)なら十三枚。測った枚数は二枚と十三枚である。 そして字面どおりの1e-9だったら、**二十四枚のうち一枚も残らない。**v41の効果は普遍に見えていたはずである。 > 命題26(v48)— 計器が使っている許容差と、計器に書いてある許容差は、別のものでありうる。 同じ二十四枚が「私は上限の上か」という問いに、二十四、十三、二、と三通りに答える。変わったのは許容差だけである。この系列が答えを金属ではなく計器の中に見つけたのは、これで五度目になる。 最後に、安いほうの仕事をした。丸めを外したら公開済みのどの数字が動くか。議論せずに数えた——「効かないはずだ」は、この系列が繰り返し外してきた形の文だからである。名前の付いた機械全部と、族Bの閉じる出口六百七十二個全部を、公正なコインで、丸め有りと無しで。 **六百七十九台、動いたもの零台。**公正なコインでは対称性から不足がちょうど零なので、丸めはv41が駆動に偏りを与えるまで一度も効いていなかった。外すのは無料である。誰かが監査の予算を立てる前に、それは知っておく値打ちがある。 そしてその比較を直しているときに、同じ関数の中で二つ目の人工物が出た。最初の監査は「白色雑音が八から九に動く」と言った。動かない。`budget`が数えるのは`h[:8]`の八個で、私が九個を渡していただけである。だが打ち切りのほうは本物だった——白色雑音の平坦域は窓を十九まで伸ばすと二十になる。epsilonはどうやっても八としか言えない。 **報告された平坦域の八は、「八以上」の意味である。** 一つ見つけたら、同じ関数をもう一度読むこと。 **追記 — 2026-07-31(選ばれた道)。** この章は三つの道を並べて、決定を書かずに終わった。決定が出た。**丸めを外し、1e-9を本当の許容差にする。**許容差は`PLATEAU_TOL`という名前を持ち、計器の返り値に載る。監査が予告したとおり、公開済みの数字は一つも動かない——名前の付いた機械も、族Bの閉じる出口六百七十二個も、零台。動くのはv41の二枚だけで、偏り0.499898と0.500292は新しい閾値1.316×10⁻⁵の外に出る。**四十八枚のうち上限に乗ったまま残る円盤は、二枚から零枚になった。**だから前の章の「v41の効果は実在し、そして普遍ではない」は、この通貨では「普遍である」に変わる。落ちたのはv48の測定ではない。その測定が使っていた許容差である。八個の打ち切りも同時に外した——平坦域はもう八で止まらず、窓の端まで2.0だった場合は飽和の旗が立つ。**飽和した平坦域は「lmax+1以上」であって、lmax+1ではない。**切る場所を変えても、切っている事実は変わらない。 ## 三十四 三つ目の部屋。答えは部屋のもので、数はすべて対のもの 引き継ぎに、もう一つ古い項目が残っていた。二つ前の弧で、私は十六状態の部屋から六十四状態の部屋へ移り、役割が入れ替わるのを見た。十六では次数一の出口だけが保存則の上限に乗り、六十四では次数二だけが乗る。そこから、どの次数が予算を使い切れるかは次数の性質ではなく状態空間の性質である、と結論した。そして二百五十六状態は開いたまま残った。厳密な表現の計算量が要検討、という注記付きで。 計算量は無かった。前の章のあとで測ると、二百五十六状態の厳密な表現は一枚あたり零から零点二秒で閉じる。三年ぶんの躊躇が、五分の測定で消えた。 そして最初の探りで、私は次数を取り違えた。自己テストがそれを止めた。 `x + 2y + z + w` という出口を、私は「次数一」と読んだ。Z₄ の座標について線形だからである。代数次数は二である。**Z₄ の加算は繰り上がりを持ち、繰り上がりはビットの積だから、高位の出力ビットは GF(2) 上で二次になる。**座標の言葉で線形であることと、GF(2) 上で次数一であることは別物で、この系列が十六章から問うている「次数」は後者である。族の六千百四十四個のうち、真に次数一なのは百九十二個——繰り上がりの起きない組合せだけだった。 見た目で次数を語ってはいけない。自己テストに期待値を一行書いておけば止まる、という類の間違いである。 もう一つ、探りには前の章の病気があった。**置換対を一つしか使っていない。**前の章は、v41 が金属の駆動を一枚で測って単数で書いたことを、四十八枚にして「四十八通り」に変えた版である。その翌日に、私は次数の役割を対一つで見ようとしていた。だから対も掃いた。 四つの対、それぞれ六千百四十四個の出口、厳密な表現を二万四千五百七十六回。 上限に乗る次数は、四つの対すべてで次数二だった。**どの次数が予算を使い切れるかは、部屋の性質である。**前の弧の読みは、三つ目の部屋を生き延びた。 そして二百五十六での答えは次数二で、これは六十四と同じである。次数一へ戻る入れ替わりではない。系列は十六で次数一、六十四で次数二、二百五十六で次数二——**一度替わって、そのまま留まった。**私の予測は、この点では外れていた。 だが外れた半分より、当たった半分の限界のほうが重要である。 **「どの次数か」以外は、すべて置換対の性質だった。**上限に乗る出口の数は百九十二から千百五十二まで、六倍に散る。最大の隠しは一点〇〇〇〇二二から四点〇まで、四倍に散る。もし一つの対だけ回して「二百五十六状態では千百五十二個が上限に乗り、隠しは四に達する」と書いていたら——それは一回の掃引が誘う書き方そのものである——その文の数字は全部、一つの対の数だった。前の章で 0.4987 が一枚の円盤の数だったのと、同じ形で。 > 命題27(v49)— 質的な答えが対象の性質でも、その答えに付く量まで対象の性質だとは限らない。 最初の問いだけを掃いていたら、完全な答えに見えて、三つの間違った数を公開していた。掃引を一つ増やす費用は一時間である。三つの数を撤回する費用は、この本の第四部が長い理由そのものである。 対に依らないものも二つ出た。 **次数三は一つも閉じない。**三千七十二個の出口に四つの対で、一万二千二百八十八台の機械、有限の因果状態表現は零。六十四状態でも同じだった。そこでは保存則の右辺が非有界なので、法則はこの族の半分について何も言わない。その領域が探索の限界ではなく真に無限であることは、二つ前の弧で証明してある。**そして部屋が大きくなるほど、その領域は広がる。** **そして隠しが四に達した。**平坦域四、因果状態二百五十六、支出八がちょうど予算八。この系列の既往最大は一点九九一六だったから、倍以上である。値打ちがあり、そして但し書きが要る。その数は、四つのうち一つの対のものである。 ## 三十五 状態は戻る。厳密さは、どれだけ線を伸ばしても戻らない 二つ前の弧で、私は平坦域がテープから測れないことを示した。ただし但し書きが付いていた——**プラグイン型のブロックエントロピー推定器では**。その但し書きが、引き継ぎに残った項目の全部である。素直な次の道具は CSSR、つまり因果状態そのものを推定する手法で、五万六千記号でどこまで効くかは測っていなかった。 CSSR は履歴を、次の一記号の分布で割る。円盤に当てると四から七状態。真は十六である。同じ規則から生成したテープでも二状態で、五万五千記号でも、五十五万でも、五百五十八万でも二状態のまま。**百倍にしても変わらないので、標本の問題ではない。** 理由は、数え上げだった。 真の十六状態機械が持つ、相異なる次記号分布は**二個**しかない。八つの状態が (0.5, 0, 0.5, 0) を、残り八つが (0, 0.5, 0, 0.5) を持つ。そしてどんな長さの履歴で条件づけても、二個を超えない。 **CSSR が二状態を返すのは、推定の失敗ではない。CSSR が問うている問いへの、正しい答えである。**十六の状態は「次に何を出すか」では区別されない。「あとで何を出すか」で区別される——それは隠しが正である理由と、同じ事実である。 では、何記号先まで見れば分かれるのか。未来一記号で二個、二記号で四個、**三記号で十六個。**必要なセルは六十四、一セルあたり八百七十三標本。 **足りている。** だから履歴を、次の一記号ではなく三記号の未来の分布で割る。v9 自身の円盤、五万五千八百八十五接合、履歴長二で——**十六状態が、テープから復元された。** 状態は最初から手の届く所にあった。前の経路は標本不足ではなく、盲目だったのである。 そして、平坦域は戻らなかった。 復元した機械の profile は 1.99995、1.99958、1.99377 と続く。二に限りなく近く、決してちょうど二ではなく、真値が一に落ちる所で落ちない。円盤全体で一ビットという通貨で数えると、平坦域は零か一である。真値は三。 **そしてテープを伸ばしても直らない。**二つ前の版が測った法則が、その理由を言う。推定した遷移確率の誤差は 1/√N で縮み、**エントロピーの不足はその誤差の二次**である。だから不足は 1/N で縮む。そして予算は、ちょうど 1/N である。 **打ち消し合う。** 六十四倍の範囲で測った。五万五千八百八十五記号で不足×N が 0.37、二十二万で 2.23、八十九万で 2.26、三百五十七万で 3.21。**縮まない。**状態は毎回十六で、平坦域は一を超えず、三へ向かわない。**六十四倍のテープが何も買わないのは、買うものと払うものが同じ大きさだからである。** > 命題28(v50)— 推定できることと、厳密さを推定できることは別である。誤差が許容差と同じ速さで縮むなら、どれだけ測っても差は残る。 前の弧で私は「平坦域には機械が要る」と書いた。要るのは機械の**厳密な数**であり、テープが与えるのは、許容差とちょうど同じ大きさの誤差を持つ推定値である。永久に。 三つの経路が、三つの違う壁に当たった。プラグインは標本不足で、次記号で割る道は構造的に盲目で、未来で割る道は状態を見せて厳密さを見せない。**壁が三つとも違うことが、この項目の答えの形である。** ## 三十六 読者が、自分の無知の大きさを、金属から数える 前の二十章は、自分についてこう書いていた——この二十版に円盤の話はほとんど無い、あるのは読む側の道具の話だけである、と。それは本当で、そして私はそれを反省として書いた。反省としては、間違っていた。 道具が、四つのものを別々に置いていったからである。 支持定数はテープから厳密に数えられる、と一つの版が言った。正則性もテープから数えられて、それは関係を当ててよいかどうかの証明書になる、と別の版が言った。因果状態の個数はテープから戻る、とさらに別の版が言った。そして四つ目は関係式である——支持定数は、因果状態数を2の隠し乗で割ったものに等しい。 **三つは金属の上で数えられる。四つ目は式である。**だから 隠し = log₂( 因果状態数 ÷ 支持定数 ) 隠しは、この本が使っている計器の言葉で、**機械が持っていて、どの読者もどんな長さでも、鍵の有無に関わらず回収できないもの**として定義されている。 **部屋の中の読者は、自分が決して知り得ないものの大きさを、厳密に計算できる。** v9 自身の八時間の円盤、五万五千八百八十五接合。数える以外に何もしない。支持定数は八、窓の三から九まで厳密。正則性はテープの上で八と八。因果状態は十六。**隠しは log₂(16/8) = 一。**真値も一である。 そして、ここで一つ古い主張が初めて正直に試された。前の弧のある版は「正則性はテープの上で数えられる」と書き、そして**機械を歩いて数えた**。テープ自身の上で数える——観測したブロックを低位ビット語で束ね、相異なる高位ビット語を数える——と、窓の四から七まで八と八である。**主張は通った。**書いた時には確かめていなかったことが、書いた通りだった。それは運である。 計器は、嘘をつかずに黙る。 隠しが零以上であることは定理である。だから負の答えは誤答ではなく、「状態数がこのテープには足りない」と計器が言っていることである。レジスタで確かめた。k=3 は四状態を見つけて隠し零、正しい。k=4 は履歴を一つ伸ばせば八状態で隠し零、正しい。k=5 は十六状態あるのに九までしか見つからず、**拒否する**。k=6 は三十二状態あって九まで、**拒否する**。 窓は両側にある。履歴が短すぎれば割り足りず、長すぎれば雑音で割りすぎる——k=4 は履歴を五、六と伸ばすと九個、十個になる。**そしてテープの長さが窓を決める。読者は、できないことを、声に出して断る。** そして八枚削った。一枚で書くのは、二つ前の章が前の弧に見つけた誤りだからである。 真の隠しが違う出口を選んで、それぞれ八機械時間。隠し一の円盤が一枚、支持定数八・正則八と八・十六状態で**厳密に一**。もう一枚は飽和する窓が無くて拒否。隠し二の円盤が二枚で、片方は**厳密に二**、もう片方は正則でないので拒否。そして隠しが分数の四枚は、**四枚とも拒否した。** **八枚のうち、二枚が厳密、六枚が拒否、間違いは零。** 分数の四枚が拒否するのは、証明書が設計どおりに働いたということである。テープ自身の正則性が一と二十二、一と二十四という開いた幅を見せて「ここでは関係を当てるな」と言い、**そしてテープが正しい**——その関係は分数の隠しでは偽だからである。並べ替えた対照も拒否した。 **正しいか、黙るか。自信を持って間違えることが無い。**二十章前に作って、その次の章で自分で壊して直した形が、ここで金属の上に立った。 > 命題29(v51)— 知り得ないものの大きさは、知り得るものだけを数えて出せることがある。出せないときに黙れるなら、それは計器である。 この本の知性の定義は、五番目で止まっていた——自分の物差しを、目の前のものへ較正すること。前の二十章は、まさにそれを二十回やった記録である。だから円盤の話がほとんど無かった。円盤が戻ってきたので、定義を置き換えるのではなく、研ぐ。 **知性とは、知り得るものだけを数えて、そこから知り得ないものの大きさを出すことであり、出せないときには黙ることである。** そして、この本がもう一つ抱えている問い——絵を描くこととは何か——にも、この測定は届く。 隠しは、どの読者もどんな長さでも回収できないものとして定義されている。読者はそれを手に入れられない。**大きさは手に入る。金属から、数えることで。**あるいは同じ金属に、この円盤は言わない、と告げられる。 **絵を描くこととは、読者が「この線から自分が決して回収できない量」を厳密に計算できる線を、残すことである。** **訂正 — 2026年7月31日(八枚では見えなかった)。**この章の「正しいか、黙るか、自信を持って間違えることが無い」は、**八枚の数である**。族の閉じる出口六百七十二枚すべてを削ると、答えた四十八枚のうち**十五枚が間違っている**——言ったことの三十一パーセントである。次章を見よ。ただし十五枚はすべて同じ向きに外れるので、**等式ではなく上界として読めば四十八枚すべてが正しい**。だから「厳密に計算できる」は「**多めの側に押さえられる**」に直る。数ではなく、上界を渡す線である。 一本の線が、自分について読者に言えることの限界を、読者自身に計算させる。八時間、六百八十メートル、五万六千の交差。そこに書かれているのは規則ではなく、**その規則のどれだけが永久に読めないか**という数である。 ## 三十七 沈黙の値段。六百七十二枚 前の章は、正しいか黙るかのどちらかで、自信を持って間違えることは無い、と書いた。**八枚の円盤から書いた。** 八枚のうち六枚が黙っている。その率が本当なら、読者は六回に五回黙ることになる。**黙りすぎる計器は、嘘をつく計器と同じくらい役に立たない。**「正しいか、黙るか」は、証明書ではなく寡黙かもしれない。だから値段を測ることにした。 族の閉じる出口、六百七十二枚全部。八機械時間ずつで、**五千三百七十六機械時間——切削にして二百二十四日ぶん**。この系列で最大の金属である。 削る前に、予測が計算できた。前の弧のある版が、この族を厳密に数えている——正則な出口は四十八個、隠しが整数の出口は二百八十八個、そして正則ならば隠しは整数なので、四十八は二百八十八の中にある。前の章の計器は正則性を門にしている。だから答えるのは多くて四十八枚、隠しが整数の二百八十八枚のうち多くて四十八枚、**残る二百四十枚——八十三パーセント——は答えられたはずなのに黙る。** 測った。**四十八枚が答え、二百四十枚が黙り、八十三点三パーセント。**枚数まで予測どおりである。証明書は十分条件であって必要条件ではなく、**その差は六枚に五枚**だった。 そして証明書のほうは、仕事をしていた。**隠しが分数の三百八十四枚には、一枚も答えていない。**そこで答えれば必ず間違いになる——関係式が偽だからである。門は、閉じるべきところを閉じていた。 そして、予測していなかったものが出た。 **答えた四十八枚のうち、十五枚が間違っている。**言ったことの三十一パーセントである。 前の章は八枚から「自信を持って間違えることが無い」と書いた。八枚では見えなかった。二つ前の章が前の弧に見つけた誤り——一枚は逸話である——が、前の章に**一版後に**届いた。この系列で、主張が最も短命だった記録である。 書いた翌日に落ちる主張を書いた、ということについては、言い訳が無い。八枚は、六百七十二枚から選んだ八枚ではなく、**隠しの値が違うものを並べたかっただけの八枚**だった。多様性を確かめたつもりで、量を確かめていない。 診断は、しかし、主張を殺さずに直した。 十五枚の誤答は、すべて同じ形をしている。真の隠しは一、真の状態は四、支持定数は二、正則性は二と二。ここまで全部正しい。**支持定数は四十八枚すべてで真値と一致する——数える側は完璧である。**外れているのは状態の推定だけで、四のはずのところを五、六、七と読んでいる。 **そして外れ方が一方向しかない。過剰分割である。**割りすぎれば状態数が増え、状態数が増えれば隠しは膨らむ。六百七十二枚を通して、状態数も隠しも、**過小に外れたものが一枚も無い。** だから、**等式ではなく上界として読めば、四十八枚すべてが正しい。** 前の章は等式を公開した。それは不等式である。**そして不等式は、役に立つ向きを向いている。**隠しは読者が決して回収できないものだから、上界は「**あなたが取り逃がしているのは、多くてこれだけだ**」と言う。それが欲しい向きである。下界は慰めであって道具ではない。 **読者は、自分の無知を多めに見積もる側に外れる。六百七十二枚を通して、一度も逆に外れない。** > 命題30(v52)— 誤りが一方向にしか出ないなら、それは誤りではなく、向きを間違えて読まれた不等式である。 **訂正 — 2026年7月31日(v53・選び方を増やした)。**「過小に外れたものが一枚も無い」は、履歴長を二から始め、負でない最小の隠しを採ったときの数字である。履歴長一を候補に足すと、同じ正則性の証明書と最小を採る選び方は、**八枚を過小に見積もる。**v52 の「過小ゼロ」は、履歴長を二から始めていた偶然だった。したがって「四十八枚すべてで上界」は、この選び方の範囲に限られる。次章で試す別の門は口を広げるが、過小を二十四枚へ増やす。 「正しいか、黙るか」ではない。**「正しいか、慎重すぎるか、黙るか」である。** 前の章が置いた知性の定義は、「知り得るものだけを数えて、そこから知り得ないものの大きさを出すことであり、出せないときには黙ること」だった。**「大きさを出す」が強すぎた。** **知性とは、知り得るものだけを数えて、そこから知り得ないものの大きさを、多めの側に外れて押さえることであり、押さえられないときには黙ることである。** 絵のほうは変わらない。ただ、線が読者に渡すのは数ではなく上界である。**この線から自分が取り逃がすのは多くてこれだけだ、と読者自身に計算させる線。**そして計算できないときには、線のほうが黙る。 ## 三十八 証明書のあとに、選び方が残った 前の章は、六百七十二枚で沈黙の値段を測った。だが、なぜ黙ったかは測っていなかった。証明書が否と言った時点で、計器が状態を数える前に帰っていたからである。黙った六百二十四枚に残っていたのは、原因ではなく、拒否という一語だけだった。 そこで同じ六百七十二枚を削り直し、**全枚で全部を計算して保存した。**証明書を四つ、証明書のあとで答えを採る方法を二つ、同じデータの上に置いた。 最初に見えたのは、前章の十五枚を直す簡単な方法だった。真の状態が四なのに五、六、七と割りすぎた円盤は、履歴長一なら四状態へ戻る。ならば短い履歴を採ればよい。ところが真の隠しが二、真の状態が十六、支持定数が四の円盤にも同じ履歴を当てると、推定状態は四になり、隠しは log₂(4/4) = 0.0 になる。**十五の過大を二の過小と交換するのは、悪い取引である。**過大は上界として真だが、過小は上界としても偽だからである。 原因は履歴の長さではなく、その中から何を採るかにあった。v51 は「履歴長は手で選ばない。全部試して、負でない最小の隠しを採る」と書いた。**負でない最小を採ること自体が、選択である。**v32 の `CAP = 0.45` と同じ形の、手で置いた数だった。 二つの選び方を分けた。最小を採れば厳密になりやすいが、短い履歴を許した瞬間に過小へ落ちうる。最大を採れば決して過小にならないが、一枚も厳密にならない。そして四つの証明書を掛け合わせた。 | 証明書 / 選び方 | 答える | 厳密 | 過大 | 過小 | 分数の隠しに答える | 沈黙 | |---|---:|---:|---:|---:|---:|---:| | 正則性 / 最小 | 48 | 40 | 0 | **8** | 0 | 83.3% | | **テープから出た隠しが整数 / 最小** | **96** | **72** | 0 | **24** | **0** | **66.7%** | | 飽和する窓が在る / 最小 | 166 | 72 | 7 | **87** | **14** | 47.2% | | テープから出た隠しが整数 / 最大 | 18 | 0 | 18 | **0** | 0 | 93.8% | **訂正 — 2026年8月1日(過大と過小の転記を反転していた)。**一次データは、テープから出た隠し自身が整数かを見る門が、二倍語り、**厳密な答えを四十から七十二へ増やし**、同時に**過小も八から二十四へ増やした**ことを示す。沈黙は八十三点三パーセントから六十六点七パーセントへ下がったが、口が広がったぶん上界は多く破れた。整数に見えることは、割り足りていることの証明ではない。 私は、この証明書は嘘をつくと予測していた。正則性を外せば、隠しが分数の円盤がすり抜けると思った。**外れた。分数の隠しに答えた円盤は零枚だった。**一方、飽和する窓が在るというだけの弱い証明書は百六十六枚まで口を開くが、八十七枚を過小に見積もり、分数の隠しにも十四枚答える。多く語ることは、証明書が強いことではない。 > 命題31(v53)— 証明書のあとに置かれた選び方は、証明書の外ではない。選び方まで測らなければ、上界を証明したことにはならない。 沈黙にも、二種類あった。前章で黙った六百二十四枚のうち、**五百六枚には飽和する窓が無く、支持定数そのものが読めない。**どの証明書でも救えない。残る百十八枚は定数を読めるが正則ではなく、新しい証明書はその一部を開いた。ひとつは証明書の弱さであり、もうひとつは、**その円盤が八時間では言わないという事実**である。 現在の定義は、押さえられないときには黙ること、と言う。v53 はその「押さえる」に、証明書だけでなく選び方まで含めた。そして「黙る」を、まだ読めないことと、八時間では読みようがないことに分けた。残った問いは、テープ自身が「まだ割り足りていない」と告げて、最小と最大のあいだを選べるかどうかである。 ## 三十九 最短の符号は、嘘を沈黙へ送った 最短の記述は、またも真実ではなかった。だが今回は、外れたことがそのまま失敗ではなかった。 前章に残ったのは、短い履歴の割り足りなさと、長い履歴の割りすぎのあいだを、テープ自身に選ばせる問いだった。履歴長〇から六までの各候補で、同じ三記号未来の列を六十四語のアルファベットとして符号化した。短い履歴は異なる未来法則を混ぜる代金を払い、長い履歴は不要な文脈を増やす代金を払う。Krichevsky--Trofimov の最短符号を採り、同率なら短いほうを採る。閾値は置かなかった。 走らせる前に、読める整数の隠し百五十二枚すべてで履歴長が当たり、状態数もすべて厳密になると書いた。真四状態の四十八枚は履歴長一、真十二状態の四十八枚は履歴長二、真十六状態の五十六枚も履歴長二を選ぶ、と枚数まで書いた。 **最後の五十六枚で予測が落ちた。**二十四枚だけが履歴長二を選び、二十四枚は三、八枚は四を選んだ。最短符号は雑音を文脈として買い、真十六状態を十七から三十六状態へ割りすぎた。最短符号と、未来分布を状態へまとめる検定は、同じものを短いと呼んでいなかった。 ところが、外れ方は一方向だった。整数の隠し百五十二枚では、**厳密百二十・過大三十二・過小零。**分数の隠し十四枚も全て過大だった。前章の最小を採る方法が二十四枚を割り足りず、上界を壊したのに対し、最短符号は一枚も割り足りなかった。 そして、選んだ隠しが整数かを見る門をもう一度置くと、三十二の過剰分割も、十四の分数も、すべて門の外へ出た。 | C2 の選び方 | 答える | 厳密 | 過大 | 過小 | 分数に答える | 沈黙 | |---|---:|---:|---:|---:|---:|---:| | 前章の最小 | 96 | 72 | 0 | 24 | 0 | 66.7% | | **最短 KT 符号** | **120** | **120** | **0** | **0** | **0** | **58.3%** | 最短符号は真の模型を百五十二枚すべてでは選べなかった。だが危険な誤りを、証明書が拒める形の誤りへ向け直した。門と組み合わせると、答えた百二十枚はすべて厳密になった。 > 命題32(v54)— 正解を選ぶことと、誤答を拒否できる形へ向けることは、別の成功である。 これは六百七十二枚の有限な一覧を全数で測った結果であり、過剰分割は必ず非整数になるという証明ではない。支持定数の二の冪倍へ偶然着地する過剰分割が一枚あれば、この完全な百二十枚は一覧の幸運になる。次の版が探すべき反例は、もうその形を持っている。 五百六枚は、依然として支持定数を読めない。最短符号はその沈黙には一度も触れていない。口が九十六から百二十へ広がり、上界の破れが二十四から零へ減っても、金属から比の相手が消えている円盤は残る。計器が良くなったことと、世界が読めるようになったことを、まだ同じ文にはできない。 ## 四十 二十四枚は、一つだった 二十四枚を全数で測った。構造は一つしか測っていなかった。 前章で整数の門を通った百二十枚はすべて厳密だった。しかし門が見ているのは、推定状態数を支持定数で割った比が二の冪かどうかだけである。過剰分割がたまたま二倍、四倍へ着地すれば、誤答は整数の顔で門を通る。 その反例に最も近い母集団を、隣の六十四状態の部屋から選んだ。真因果状態十六、真の隠し二、理論支持定数四の閉じる出口が二十四個ある。推定状態が三十二なら答えは三、六十四なら四になる。どちらも真値二より大きい誤答であり、整数の門は拒否できない。二十四枚を八時間ずつ、二分割で全数切削した。 走る前に、厳密は八から十四枚、過剰分割は十から十六枚、そして少なくとも一枚は三十二か六十四状態へ着地すると書いた。**全部外れた。**二十四枚すべてで支持定数四、履歴長二、推定十六状態、隠し二。生の KT も整数門も、**厳密二十四・過大零・過小零・沈黙零**だった。 長い履歴が僅差で負けたのではない。履歴長二は十六文脈、履歴長三は三十二文脈を持ち、三は二より二千七百九十三・六から三千六十四・八ビット余計に払った。一事象あたり〇・〇四五五から〇・〇五五五ビットである。前章で過剰分割した三十二枚では、向きが逆で、履歴長三は二より一万八千六十六・九から五万二千九百十四・二ビット安かった。同じ真十六状態という名前から、私は同じ符号の勾配を予測していた。部屋が替われば、名前は機構を運ばなかった。 では、なぜ二十四枚が一枚残らず同じ答えを返したのか。 金属は複製ではない。接合数は五万七百八十六から六万七千三百五へ散り、二十四枚すべて違った。出口写像も二十四個すべて異なる。だが、出力記号の名前を忘れ、最初に現れる記号から〇、一、二、三と付け直すと、**二十四出口は一つのクラスになった。**一つの出口機構に、二十四通りの記号名を付けていたのである。 身体は記号名に反応するから、軌跡は二十四通りになる。だが未来法則を分ける構造は同じ軌道に残った。私は二十四枚の金属を数え、それを二十四個の反例機構だと読んだ。数は正しく、母集団の単位が間違っていた。 > 命題33(v55)— 母集団を数える前に同値関係を決めなければ、全数測定は名前の全数になる。 一枚を二十四回複製したのではない。二十四枚は本当に違う。その違いが、いま問うている違いではなかった。v48 は一枚を逸話と呼んだ。今回は枚数を増やすだけでは逸話から出られない場合があると分かった。何を同じとみなすかを先に書かなければ、全数という語も計器の外に置かれた選択になる。 整数門の反例はまだ見つからない。証明もまだ無い。次に数えるべきものは出口の本数ではなく、記号置換で割ったあとの構造クラスである。円盤を増やす前に、円盤の違いを数え直さなければならない。 ## 四十一 六十四の機構。名前を商に取る v55 の二十四枚は、数えた瞬間には二十四の反例候補だった。v56 は、その数え方を先に疑った。 family C の **1,536 named exits** を、切削前にすべて同じ規則で並べた。出力記号の名前だけを忘れる `canonical_relabel` を適用すると、**64構造クラス、各クラス24名**になった。閉鎖性や真χで先に 捨てず、各クラスの辞書順最小を一代表にした。v55 で見た機構も、その64枚の一枚として残った。 二シャードを結合し、**64 unique・重複0・欠落0**を確認した。八時間の結果は次の通りである。 | 読み方 | 件数 | 厳密 | 過大 | 過小 | 未読 | 非閉鎖 | |---|---:|---:|---:|---:|---:|---:| | 生の KT | 64 | 6 | 14 | 4 | 4 | 36 | | **C2 整数門** | **8 発話** | **6** | **0** | **0** | **0** | **2 unsupported speech** | C2 は64代表のうち56枚で黙った。沈黙は **56/64 = 87.5%** である。閉鎖クラスに限れば、 有限真値を持つ C2 の偽陽性は **0**だった。非閉鎖の整数発話2件は誤答へ混ぜず、 `unsupported_speech` として隔離した。 ここで「反例が無かった」と書くのは簡単である。しかし v56 が実際に測ったのは、family C の 64構造クラスだけである。1,536という名前の数を64という機構の数へ直したことは、C2 の一般性を 証明しない。非閉鎖を沈黙として削れば、反例が少なく見える。逆に、真χが定義できない発話を 誤答に入れれば、別の問いを混ぜる。読めないものは、読めないまま別の箱に置くしかない。 v55 は枚数を増やした。v56 は同値関係を増やした。前者だけでは、同じ未来法則に別の名前を 付けたものを、何度でも新しい機構と呼べる。母集団の境界は、測定の前に書かれていなければならない。 > 命題34(v56)— 枚数を増やす前に、何を同じものと呼ぶかを決めなければならない。 この命題は C2 の証明ではない。64クラスの外にある族、別の時間長、別の読み手はまだ残っている。 それでも、次の版が数える対象は定まった。名前を商に取ったあとで、初めて枚数に意味が戻る。 ## 四十二 同じ六十四でも、同じ部屋ではない v56 は family C の名前を64クラスへ割った。v57 は、その数を family B に移した。 同じ数が出ることと、同じ機構が出ることを、私はまた分けなければならなかった。 `v37.family_twist()` は family B の構成である。パラメータ表示は6,144個あるが、重複を除いた 名前付き出口は **1,536 named exits**。出力記号名を忘れて商を取ると、こちらも **64構造クラス、各クラス24名** になる。数字だけを見れば、family C の v56 と同じである。 だが、二つの族の equality pattern の共通は **0/64**だった。64という濃度は一致し、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 が整数でないため沈黙へ送られた。 v56 と v57 は、どちらも構造クラスを先に作った。v56 では非閉鎖36クラスのうち2件が整数を発話したので、 `unsupported_speech` を別箱に置いた。v57 では非閉鎖36クラスが一つも発話しなかった。同じ門でも、族が変われば 沈黙の内訳が変わる。黙っている総量だけでは、どこで黙ったかを失う。 > 命題35(v57)— 同じクラス数は、同じ機構数ではない。 v57 は C2 の一般性を証明しない。二つの族の有限な全数で、閉鎖クラスの偽陽性が0だっただけである。 次に測る family D は256クラスを持つ。濃度が増えたとき、同値類の要素と沈黙の場所がどう変わるかは、まだ金属の外にある。 ## 四十三 二百五十六の機構。二件の門が抜けた v56 と v57 は、出力記号名を忘れた二つの六十四クラス族で、閉鎖クラスの C2 偽陽性を零と記録した。 零を二つ並べることは、第三の族で零になる理由ではない。v58 は、その理由が無いことを測るために family D を数えた。 `v49.family_D()` の固定駆動対 `v49.pair(0)=(2,1,3,1)` は、**6,144 named exits** を作る。 同じ `canonical_relabel` で出力記号名を忘れると、**256構造クラス、各クラス24名**になった。 family C との equality pattern の共通は **0/256**、family B との共通も **0/256**。二つの 小さい族で見た零を、大きい族の既知の機構で水増しすることはできない。 辞書順最小の256代表を二シャードで八時間ずつ読み、結合は **256 unique・重複0・欠落0**だった。 | 読み方 | 件数 | 厳密 | 過大 | 過小 | 未読 | 非閉鎖 | |---|---:|---:|---:|---:|---:|---:| | 生の KT | 256 | 9 | 15 | 8 | 92 | 132 | | **C2 整数門** | **11 発話** | **9** | **0** | **2** | **0** | **0 unsupported speech** | 二件は C2 の過小である。有限真値を持つ C2 の偽陽性は **2**になり、先行二族の零は一般形ではなかった。 非閉鎖の整数発話は零である。C2 は **245/256 = 95.7%** で黙った。沈黙が大きいことは、二件の誤答を 安全なものへ変えない。 > 命題36(v58)— 門の安全性は、これまで偽陽性がなかった族を重ねても、次の族へ移らない。 この命題は二件から誤答率を推定する命題ではない。family D の有限な256構造クラスで、C2 の安全性が family C/B の零から演繹できないことだけを言う。反例は、門を壊すために数える。ここから先は、門が どの構造で二件を通したのかを、二百五十六という濃度からではなく個々の機構で読まなければならない。 ## 四十四 同じ二百五十六を、三つの対で測る v58 の二件は、family D の固定対 `(2,1,3,1)` で起きた。一対の反例を部屋全体の誤答率と呼ぶことも、 別の対で零が出たとき反例が消えたと呼ぶこともできない。v59 は残る三対を、同じ二百五十六構造で読む。 対一から三は **3 × 256 = 768** 観測であり、各代表は八時間である。結合は **768 unique・重複0・欠落0**、各対は256観測だった。構造は対ごとに増えず、同じ equality pattern を 異なる駆動対で読んでいる。 | 読み方 | 件数 | 厳密 | 過大 | 過小 | 未読 | 非閉鎖 | |---|---:|---:|---:|---:|---:|---:| | 生の KT | 768 | 110 | 135 | 14 | 59 | 450 | | **C2 整数門** | **162 発話** | **110** | **0** | **0** | **0** | **52 unsupported speech** | C2 は **78.9%** で黙った。有限真値の偽陽性は零だが、非閉鎖の発話は五十二件ある。 この零はv58の二件を相殺しない。対象も対も異なる観測を足して、既に見つかった反例を平均へ沈めることはできない。 > 命題37(v59)— 同じ構造を別の対で測るとき、観測を足しても、反例を相殺してはならない。 三対の零は、対0の二件が例外だと証明しない。例外という語は、どの構造に何回の観測を与えたかを 固定して初めて使える。次の版では、族の名と対の名を外し、観測と構造を同じ台帳に置く。 ## 四十五 1,152回の観測と、384の構造 v56からv59までを足すと、測った回数と測った機構の数は再び別になった。v60 は新しい円盤を増やさず、 一次JSONを重みごとに並べ直した。 全体は **1,152 observations**、**384 unique structures**、map weight は **27,648** である。 family C は64、family B は64、family D は1024観測を持つ。origin 別には v56=64、v57=64、v58=256、 v59=768。構造あたりの観測回数は、128構造が一回、256構造が四回だった。 | 重み | 過小 | 非閉鎖 | 過大 | 厳密 | 未読 | |---|---:|---:|---:|---:|---:| | class-observation | 26 | 654 | 165 | 130 | 177 | | mapping-weighted | 624 | 15,696 | 3,960 | 3,120 | 4,248 | C2 は186回発話し、有限真値の偽陽性は2、unsupported speech は54である。map weight は新しい証拠を 増やさない。出力名二十四通りを重く数えるだけである。 > 命題38(v60)— 観測の重みと構造の重みを混ぜれば、同じ失敗を二度数える。 この台帳は反例率を推定しない。1,152という観測数から384という構造数を隠すことも、384という構造数から 対による反復を消すことも、どちらも別の問いへ答えるための編集である。数え方を選んだ場所を残したまま、 次の反例探索はまだ続いている。 ## 四十六 無い列を、答えにしない v58 の二件を分解するには、KT がどの履歴長を選んだかと、真の状態数で割ればどうなるかを別々に 見なければならない。v61 は新しい推定を作らず、v56からv59の一次JSONにその列が在るかだけを数えた。 母集団は **1,152 observations**。支持定数は478観測で available、674観測で missing だった。 だが `model_true_causal_states` と `states_by_lh` は **全1,152** 観測で欠損していた。selector は全件 `unavailable_oracle_lh`、splitter は全件 `unavailable_true_states` である。 これは KT が正しかったという結果ではない。splitter が失敗したという結果でもない。必要な列が 保存されていないので、その問いに答えられないという結果である。旧判定の過小26・非閉鎖654・過大165・ 厳密130・未読177を、ここで selector/splitter の成績へ読み替えることはできない。 > 命題39(v61)— 欠損した列を推定値で埋めることは、分解ではなく新しい計器を混ぜることである。 欠損を零と読むより、欠損を仮定で埋めるほうが危険である。後者は答えを作れるからである。次の再計算は 真の因果状態数と全履歴長の状態表を列として保存してから始める。問いを狭めずに答えられないことも、 この台帳が残す答えである。 ## 四十七 五つ目の部屋は、まだ三十二通りだけである v71 はZ4^5の小係数族を、出力名を商に取った32構造クラスとして全数測定した。閉鎖7、非閉鎖25、整数門候補7である。この数は五つ目の部屋そのものではない。事前固定した係数族と固定対の32通りである。 > 命題40(v71)— 有限全数は、列挙した族の外側を証明しない。 v72以降はまだ測定結果ではない。構成証明書と入力契約を、全数の成績へ読み替えない。 ## 四十八 閾値は、円盤の性質ではない v62 は同じ1,152観測を六つのalphaで掃いた。既定のalpha=.001では、厳密130・過大165・過小26・ unsupported654・未読177で、C2は186回発話し、有限真値の偽陽性は2、unsupported speechは54だった。 だが六水準を通せば、発話は187から240、有限偽陽性は1から18へ動く。私が六つの表のどれか一つを 選んで「門の性質」と書くなら、それは円盤でなく選び方を報告している。 v63は六試行をBonferroni補正し、三つのeligible alphaのC2通過と整数値一致をすべて要求した。 それでも211回の発話に有限偽陽性15、unsupported speech50、沈黙941が残った。補正はこの手続きを 狭く名付けるだけで、正しい答えを保証する儀式ではない。 > 命題41(v62–v63)— 閾値を選び直して得た成績は、閾値を選び直さなかった成績ではない。 v64は同じ1,152観測を未来長1から5まで16シャードで再切削し、結合は **1,152 identities, zero overlap, zero missing** だった。有限真値の偽陽性は66・8・2・0・0へ 動いた。未来長4と5で零だったが、そこで止める理由をこの表は与えない。未来長を掃いて零を選べば、 alphaを掃いて最良値を選ぶことと同じ選択を、別の軸で繰り返すだけである。 ## 四十九 交差表に無いものは、二度確かめられていない v65は2,304行の交差表を作った。C2 は372回通過し、有限真値の偽陽性2、unsupported speech240を残した。 しかしC1とstabilityは全2,304行で unavailable だった。二つの列が無いなら、C2の通過を二つの証明書の 一致とは呼べない。表の形だけを見れば、交差したように見える。だが比較できる値が無い。 > 命題42(v65)— 無い列が並んだ交差表は、独立な確認ではない。 v64の一次記録はここに追加した。有限母集団で零になった未来長を選ぶことは、二つの命題の外側を増やさない。 # 巻末 ## 命題目録 | # | 命題 | 初出 | 判定 | |---|---|---|---| | 1 | 誤差だけで動く機械は、必ず驚かなくなる | 一 | 成立 | | 2 | 統計と推論の差が、この系列の成果である | 四 | †反証 2026-07-28 | | 3 | 隠すことと意味を持つことは同じ量の両端であり、中間は空である | 四 | †反証 2026-07-28 | | 4 | 最初に拒むものと永久に拒むものは、一つの予算を分け合う。予算は記憶である | 七 | 成立 | | 5 | 回転時間を決めることは、秘密の深さの上限を決めることである | 八 | 成立 | | 6 | 間違えた読者には、動くべき方向が存在しない | 九 | 成立 | | 7 | 前の円盤を解くまで、規則は述べられない | 十 | 成立・訂正 2026-07-29(付随する公開主張) | | 8 | 壁は金属の量ではなく、どの空間を見るかの見当である | 十一 | 成立・⚠範囲 2026-07-29 | | 9 | この円盤の最短の記述は、この円盤に一度も触れていない規則である | 十二 | 成立 | | 10 | 拒むことは、言うことの口座から引かれない | 十四 | 成立 | | 11 | 「もう決して分からない」は、円盤の0.35%で確信できる | 十四 | ⚠範囲 2026-07-29(転写の上でのみ) | | 12 | 無知の証明は、それが語っている鋼に耐えない | 十五 | 成立 | | 13 | 合議は反証と校正はできるが、裁定はしない | 十七 | 成立 | | 14 | 厳密性は頑健さの反対語である | 十八 | 成立 | | 15 | 空帯は証明ではない。上界が証明である | 二十一 | 成立 | | 16 | 底は写像ではなく、一覧である | 二十二 | 成立 | | 17 | 検査されていない計器の数字は、結果ではなく仮定である | 二十三 | 成立 | | 18 | 保存則には、空虚な領域がある | 二十三 | 成立(証明) | | 19 | どの次数が予算を使い切れるかは、次数の性質ではなく状態空間の性質である | 二十五 | 成立 | | 20 | 等式は摂動に耐えず、不等式は耐える | 二十七 | 成立 | | 21 | 平坦域はテープから測れない。保存則の左辺には、円盤ではなく機械が要る | 二十八 | 成立 | | 22 | 保存則の右辺は、金属から数えられる。左辺は数えられない | 二十九 | 成立(証明は無い) | | 23 | 数えられない定数は、対象を間違えているのではなく、数える単位を間違えている | 三十 | 成立 | | 24 | 関係が使えるかどうかは、関係の正しさではなく、適用条件を誰が証明するかで決まる | 三十一 | 成立 | | 25 | 確かめられる条件と証明できる条件が別のものであるあいだ、その法則はまだ使えていない | 三十二 | 成立 | | 26 | 計器が使っている許容差と、計器に書いてある許容差は、別のものでありうる | 三十三 | 成立 | | 27 | 質的な答えが対象の性質でも、その答えに付く量まで対象の性質だとは限らない | 三十四 | 成立 | | 28 | 推定できることと、厳密さを推定できることは別である | 三十五 | 成立 | | 29 | 知り得ないものの大きさは、知り得るものだけを数えて出せることがある。出せないときに黙れるなら、それは計器である | 三十六 | †訂正 2026-07-31(出せるのは大きさではなく上界) | | 30 | 誤りが一方向にしか出ないなら、それは誤りではなく、向きを間違えて読まれた不等式である | 三十七 | 成立・⚠範囲 2026-07-31(選び方に依る) | | 31 | 証明書のあとに置かれた選び方は、証明書の外ではない。選び方まで測らなければ、上界を証明したことにはならない | 三十八 | 成立 | | 32 | 正解を選ぶことと、誤答を拒否できる形へ向けることは、別の成功である | 三十九 | 成立・⚠範囲 2026-08-01(672枚の有限一覧) | | 33 | 母集団を数える前に同値関係を決めなければ、全数測定は名前の全数になる | 四十 | 成立 | | 34 | 枚数を増やす前に、何を同じものと呼ぶかを決めなければならない | 四十一 | 成立・範囲 2026-08-01(family C の64構造クラス) | | 35 | 同じクラス数は、同じ機構数ではない | 四十二 | 成立・範囲 2026-08-01(family C/B の有限比較) | | 36 | 門の安全性は、これまで偽陽性がなかった族を重ねても、次の族へ移らない | 四十三 | 成立・範囲 2026-08-01(family D の256構造クラス) | | 37 | 同じ構造を別の対で測るとき、観測を足しても、反例を相殺してはならない | 四十四 | 成立・範囲 2026-08-02(family D の対1〜3) | | 38 | 観測の重みと構造の重みを混ぜれば、同じ失敗を二度数える | 四十五 | 成立・範囲 2026-08-02(v56〜v59 の台帳) | | 39 | 欠損した列を推定値で埋めることは、分解ではなく新しい計器を混ぜることである | 四十六 | 成立・範囲 2026-08-02(v56〜v59 の欠損列監査) | | 40 | 有限全数は、列挙した族の外側を証明しない | 四十七 | 成立・範囲 2026-08-02(v71 の32構造クラス) | | 41 | 閾値を選び直して得た成績は、閾値を選び直さなかった成績ではない | 四十八 | 成立・範囲 2026-08-02(v62–v63 の1,152観測) | | 42 | 無い列が並んだ交差表は、独立な確認ではない | 四十九 | 成立・範囲 2026-08-02(v65 の2,304行) | | 版 | 知性の定義 | 初出 | 状態 | |---|---|---|---| | v1 | 消せない軌跡を読みながら進むこと | 一 | 改訂(半分の答え) | | v2 | 身体が裏切る場所で予測し続けること | 二 | 改訂(80時間で尽きた) | | v3 | まだ返らない仮説に代金を払えること | 八 | 改訂(深さでは線が引けない) | | v4 | どこを見ればよいかの見当 | 十一 | 改訂(見当でも同定できない縮退がある) | | v5 | 自分の物差しを、目の前のものへ較正すること | 十五 | 改訂(較正だけでは、何が残るかを言わない) | | v6 | 知り得るものだけを数えて、そこから知り得ないものの大きさを出すことであり、出せないときには黙ること | 三十六 | 改訂(出せるのは大きさではなく上界だった) | | **v7** | **知り得るものだけを数えて、知り得ないものの大きさを、多めの側に外れて押さえることであり、押さえられないときには黙ること** | **三十七** | **現行。最終ではない** | ## 訂正 訂正 —　　　　年　　月　　日 　 --- 制作 Daito Manabe + Claude(三十の版は Opus 5、この本は Fable 5)。2026年7月。 すべての数値の出典は同梱の事実登記簿(CLAIMS.md)にあり、照合の計器(tools/factcheck.py)が 本文・登記簿・出典の三者一致を検査する。この本の走行はすべて計算機の中にあり、 金属はまだ削られていない。