適用02 — ウルフラムを超える

draft v0 — 各判定は要再audit。STEP 未採番。素材のみ。shared tree 不触。 作成: 2026-09-18 / 前提: decision-device-type-prior-art-audit-v0.md（同日）の4フィールドをそのまま使う 関連: [[proof-pipeline-device-map]] PIN 7 / [[braid-stopping-calibration]] / [[rei-compression]] STEP 1894

0. 位置づけ

前回の audit で判定器 D = (V 値域, e 誤り率, t 全域性, c 較正) の4フィールドを定義した。本 audit の主張は一つ：

ウルフラムのプログラムは、この4フィールドのうち c（較正）を一つも持たない判定器の集合である。

そして Weinberg / Shalizi / Mitchell / Kadanoff の批判が全部同じ1点に収束する理由がこれで説明できる。彼らは「複雑性の独立した定義がない」と言っているが、装置の言葉に直すと「判定に較正がない」。

1. 「超える」の4分岐

2. ウルフラムの判定器を4フィールドで型付け

2.1 Class 1–4 分類（Wolfram 1984, Physica D 10:1–35）

2.2 「Class 3 = ランダム」判定

ウルフラム自身による最も明快な実例（Rule 30 Prize 告知, 2019、verbatim 確認済）：

"I've tried all sorts of statistical randomness tests on the center column of rule 30—and never found any significant deviation from randomness."

3ビット lookup table が生む列について、非周期性も等頻度性も未証明（本人が賞金を出している当の問題）であり、その暗号版は 1991 年に破られている（Meier–Staffelbach, EUROCRYPT '91、鍵長 300–500 bit を当時のハードで破る）のに、判定の根拠は「検定を試したが見つからなかった」。これは前回 audit の braid arc と完全に同型の推論。

2.3 計算的既約性（CI）

非対称な使われ方が問題。近道が見つかれば「元々 obviously simple だった」、見つからなければ「既約性の確証」。Israeli–Goldenfeld の粗視化に対する本人の反応が "nice, small paper," "useful, if not very surprising"（Physical Review Focus）であり、反証データとして扱われていない。

★ 2.3-bis そもそも指示対象があるか（2026-09-18 追記、適用04 より）

Blum の高速化定理（JACM 14(2), 1967）が、CI の概念そのものへの潜在的な障害になる。

定理：任意の全計算可能 r(x,y) に対し、それを計算するどのプログラムも計算可能因子 r で高速化できるような全計算可能述語 f が存在する。帰結として f には漸近的に最適なプログラムが存在しない。

含意：ある関数に漸近的に最適なプログラムが存在しないなら、「この関数が要求する計算量」は well-defined でない。すると**「近道は存在しない」という主張に指示対象がない。**

この接続を明示した唯一の文献は Zwirn, Complex Systems 24(2):149–174, 2015 で、しかも切り捨てるために言及している（verbatim: "But these problems are artificially constructed to prove the theorem."）。彼は Blum 高速化を仮定によって排除し「自然な問題」に限定することで、初めて CI を定義できるようにしている。Gorard の Slowdown Theorem（Complex Systems 27(2), 2018）は Blum を引用していない。

誰もこれを批判として展開していない。 §2.3 の表の c 欄は「なし。反証条件もなし」に加えて、**「指示対象の存在が未確定」**が立つ。詳細は [[turing-machine-totality-audit]]（適用04）§4.2。

2.4 PCE

判定器ですらない。p.719 の言明 "whenever the behavior one sees is not obviously simple, it will almost always correspond to a computation of equivalent sophistication" は、"not obviously simple" / "almost always" / "equivalent sophistication" の3語がいずれも未定義。本人も p.719 で "in part as a new law of nature, in part as an abstract fact and in part as a definition" と書いている。

Weinberg の指摘が最も簡潔："What does Wolfram mean by complex? If his conjecture is not to be a tautology, then we must have some definition of complex behavior independent of the notion of universality."

2.5 比較

オートマトンは c を持たないが e = 0 なので較正が不要。ウルフラムの装置は e ≠ 0 でありながら c を持たない。これが型として一番まずい位置。

3. 差分候補の判定

差分候補 W-1: Class 3 判定に「盲点閾値 n₀」を付ける → CONFINE

既存（強い）：乱数検定の世界には、まさにこの装置がある。

• TestU01（L'Ecuyer & Simard, ACM TOMS 33(4) Art.22, 2007）の f モジュール。生成器の族をパラメータ ρ（周期長）で並べ、検定が決定的に棄却し始める標本数 n₀ を求め、log n₀ = a·log ρ + δ に回帰する。公表された具体値：良い格子構造を持つ full-period LCG に対し collision test で n₀ ≈ 16·ρ^(1/2)、birthday-spacings で n₀ ≈ 16·ρ^(1/3)。これは「検定が確実に盲目である領域」の定量化そのもの。
• 同論文 Table I は、欠陥が解析的に既知の生成器（RANDU 等）に対する検出数の表＝ ground truth に対する検出率。
• PractRand の 190 生成器 × バッテリ × CPU 時間予算の検出数表（自己公表・単著・非査読）。
• Zenil, Soler-Toscano & Joosten, "Empirical Encounters with Computational Irreducibility and Unpredictability", Minds & Machines 22(3):149–165, 2012 — 3,4状態2記号 TM を実際に「追い越そう」と試み、予測が成功／失敗する場所を報告。CI の測定版として最も近い既存実験。

未見：CA 分類にこれを適用した例。Vispoel, Daly & Baetens, "Progress, gaps and obstacles in the classification of cellular automata", Physica D 432:133074 (2022) は分類方式を横断比較したレビューだが、方式間の不一致件数も誤り率も報告していない。CA 分類の検出力・偽陰性率を測った論文は見当たらない。

判定 CONFINE：「TestU01 の f-module 方法論を CA 分類に移植する」という記述に固定。方法論そのものの新規主張は禁止。NIST SP 800-22 が β を名指しして計算を放棄している（§3.3）ことは、この空白が意図的な放置であることの傍証として使えるが、それ自体は新規性ではない。

差分候補 W-2: 分類結果に副情報の申告を義務づける → SURVIVE（ただし前回より弱い）

CA 分類側の申告状況（調査の主要成果）：

つまり CA 分類の主要手法は、圧縮器も閾値もステップ数も初期条件も verdict の一部として申告しない。 下流が「規則 X は圧縮で Class 3」と引用するとき、Deflate・200 ステップ・単一黒セル初期条件を併記する義務はない。

ゲート側の既存（前回より強い）：前回 audit では SPEC CPU2017 §4.6 / TPC / Registered Reports / Kaggle しか拾えていなかった。今回、より強い2件が出た。

• ICMJE 臨床試験事前登録 — "require registration of clinical trials in a public trials registry at or before the time of first patient consent for enrollment as a condition of consideration for publication"、"authors failing to prospectively register a trial risk its inadmissibility to our journals"。結果が存在する前に副情報（仮説・主要評価項目・解析計画）を申告しなければ、結果は公表されない。 本物の refusal-until-declared で、成熟した唯一の事例。
• MLPerf (MLCommons) — closed division の必須成果物、敵対的異議申立て窓（"Submitters must officially file objections to other submitter's code…"）、制裁（open への移動・撤回・公表後の削除）。peer enforcement 付きの本物のゲート。

圧縮界は pricing で解いている（前回と同じ）。LTCB は verbatim で "plus the size of a zip archive (readable by unzip) containing the decompressor and any other files needed by the decompressor at run time (dictionaries, configuration files, .dll files not normally part of Windows, etc)"。Hutter Prize は 2017 年以降さらにソースコード公開を賞の硬いゲートにしている。

判定 SURVIVE（弱め）：残る空白は「ゲート + 誤り率の同時成立」のみ。ICMJE も MLPerf も LTCB も、ゲートはあるが誤り率を持たない。conformal / selective classification は誤り率を持つがゲートを持たない。両者を持つ装置は依然として未見。

→ §5 で前回 audit の該当判定を訂正する。

差分候補 W-3: ground truth ラベル集合の構成 → 素材として成立（新規性主張なし）

較正には ground truth が要る。CA には既に3種類ある。

1. 確定した1件：Rule 110 の universality（Cook, Complex Systems 15(1):1–40, 2004。1985年の Wolfram の予想を証明）。Neary & Woods (ICALP 2006) が多項式オーバーヘッドに改善し P-completeness を示している。

2. 記録された誤判定（本 audit の最重要発見）：Li & Packard (1990) の分類表で、chaotic クラスの列は verbatim で

   "chaotic 18,22, 30,45,54,60, 90,105, 106,129,137,146,150, 161"

   そして同じ論文の本文が verbatim で

   "For elementary CA rules, only Rule-54 and Rule-137 (or Rule-110) have the typical Class-IV behavior s."

   54 と 137（= 110 の同値類代表）の両方が、本文で Class IV と名指しされながら表では chaotic に入っている。 後に universality が証明される規則が「ランダム」の箱に入った、論文内で自己矛盾した状態の記録。分類方法は verbatim で "the characterization of the rules by the dynamics from typical initial configurations ('random initial configurations')" — 格子サイズもステップ数も本数も宣言なし。境界規則の曖昧さは自認しているが "the ambiguity in defining these 'boundary rules'…will not affect the general conclusion" と処理されている。

   これは前回の Kim 1993（B₄/B₅ 核元探索の "(so far unsuccessful!)"）と同じ型の証拠。較正素材として一次資料価値が高い。

3. 機械的に検証可能なラベル集合：Israeli & Goldenfeld (PRL 92:074105, 2004 / PRE 73:026203, 2006) が 256 ECA 全部について粗視化可能性を報告。240 規則が粗視化可能、失敗は 16 規則＝ 30, 45, 106, 154 とその対称像。 これは操作的・規則ごと・再現可能な性質で、著者らは測度として提示していないが実質的に既存の測定済みラベル集合。

重要な留保：Rule 110 が N=5 で Rule 0 に粗視化された件を「110 は可約と示された」と読むのは誤読。著者自身が trivial と呼んでおり、長時間ダイナミクスに現れない Garden of Eden 配置への射影であって、110 の計算を近道したのではない。著者らの主張は "undecidability and computational irreducibility are not good measures for physical complexity" という妥当性の主張であって反証ではない。

3.3 補足: 乱数検定側の裏付け

• NIST SP 800-22 Rev.1a は β を名指しして計算を放棄している（§1.1.5 verbatim）："Unlike α, β is not a fixed value… because there are an infinite number of ways that a data stream can be non-random… The calculation of the Type II error β is more difficult than the calculation of α"。130 ページ中どこでも β を計算していない。
• NIST は 2022-04-19 に改訂を決定し、理由リストの筆頭が "clarify the purpose and use of the statistical test suite, in particular rejecting its use for assessing cryptographic random number generators"。Rev.2 は 2026-09 時点で未発行。
• Saarinen (IACR ePrint 2022/169) は SP 800-22 自身の Appendix D 参照生成器（内部状態を全部出力する QCG 等）が暗号的に壊れているのに合格することを示している。
• Foreman, Yeung & Curchod (Entropy 26(12):1053, 2024)：意図的に弱い 32-bit LFSR に対し PractRand 855 失敗 vs NIST 10 失敗（約4,600 検定中）。※数値は HTML 要約経由、引用前に表を直接確認のこと。

L'Ecuyer の総括が本 arc の一文要約になる：合格は対象についての言明ではなく探索者の到達範囲についての言明である — "the bad ones fail very simple tests whereas the good ones fail only very complicated tests that are hard to figure out or impractical to run"。

3.4 分岐 B（物理）を KILL する根拠

• 反証可能な定量予測なし。プロジェクト自身の FAQ が "do not yet know the overall quantitative scale of the core phenomena" と認めている。elementary length ~10⁻⁹⁰ m（自己評価 "somewhat unreliable"）は、自由パラメータ κ と観測された宇宙年齢から推定した状態数 Ξ を経由して出る数値で、理論から決まらない。
• Harlow の 2020 年の指摘（既存物理は 1/10¹⁰ の精度で確認済み、Wolfram の成功は "at best, qualitative"）は6年間答えられていない。
• INSPIRE 引用数（2026-09 時点）: 旗艦論文 34、Gorard の GR 論文 27。TOE を名乗る枠組みとしては物理文献への浸透がほぼない。
• 中核2論文は Wolfram 自身が創刊した Complex Systems 掲載。査読付き物理誌の成果（IJTP 63:83, 2024）は圏論/ホモトピー型であって物理的予測ではない。

ただし公平に：2020 年モデルは Aaronson の 2002 no-go に対して「グラフの重ね合わせを基本にする」（＝ no-go が仮定していた「グラフが確定している」を落とす）という正しい箇所での応答になっている。これは評価されるべきで、そのうえでなお、この土俵で勝つのは物理の本職の仕事。

4. 決定的な制約 — Culik & Yu

Culik & Yu, "Undecidability of CA Classification Schemes", Complex Systems 2:177–190 (1988)（verbatim）：

"…it is undecidable to which class a given cellular automaton belongs, even when choosing only between the two simplest classes."

Theorem 5（p.182）、Corollary 1（p.184, Class One）、Theorem 8（p.185, Class Two）、Theorem 12（p.186, Class Three）。

帰結：Class 3 判定の誤り率は「未測定」なのではなく、一般には測定不能。ground truth ラベル集合が原理的に存在しない。

したがって本プロジェクトは必ず「宣言された族」に限定しなければならない。これは L'Ecuyer が TestU01 について言っていることと同じ制約 — "the results will depend on the selected class of RNGs"。§3 の W-3 が挙げた3種の ground truth（universality 証明済み規則 / Li–Packard の記録された誤判定 / Israeli–Goldenfeld の粗視化可能性ラベル）は、いずれも特定の族の上でのみ使える。

これは弱点ではなく仕様。宣言された族の外で較正を主張したら、それが反証条件 (a)。

5. 前回 audit（decision-device-type-prior-art-audit-v0.md）の訂正

差分候補 (ii)「棄権が申告義務と結合」の判定を SURVIVE のまま維持するが、根拠を弱める。

前回は申告ゲートの既存例として SPEC CPU2017 §4.6 / TPC FDR / Registered Reports / Kaggle を挙げ、いずれも「社会的・編集的ゲートで誤り率なし」とした。今回2件の追加が出た：

• ICMJE 臨床試験事前登録は「編集的」で片付けられる強さではない。結果が存在する前の申告を公表の条件とし、不履行は inadmissibility を招く。refusal-until-declared の完成した実装。
• MLPerf は敵対的異議申立てと公表後削除を含む peer enforcement 付きゲート。

前回の記述「ゲートは社会的/編集的でありすべて誤り率を持たない」は、後半（誤り率を持たない）は維持されるが、前半（社会的/編集的にすぎない）は弱すぎる記述だった。訂正後の主張：

ゲート自体は複数分野で成熟しており（ICMJE, MLPerf, SPEC, LTCB/Hutter の pricing 版を含む）、新規性はそこにはない。残る空白は「未申告による棄権が、それ自体の発火率を実測される」ことの一点のみ。

この訂正により、差分候補 (ii) の主張範囲はさらに狭くなる。

6. 最小形

新 arc は立てない。Wolfram の Class 3 判定に n₀ を付ける1枚が最小。

1. §2 の4フィールド表（Wolfram の4装置）をそのまま書く
2. ground truth 族を1つ宣言する。推奨は Israeli–Goldenfeld の粗視化可能性ラベル（256 ECA 全数、失敗 16 規則が既知） — 機械的に再現でき、族が閉じていて、Culik–Yu の制約内に収まる
3. 分類手法を1つ選び（Zenil 2010 の Deflate 方式が最も申告が揃っている）、TestU01 の f-module 方式で n₀ を測る：ステップ数を増やしていったとき、その手法が族内の既知構造を検出し始める閾値
4. 申告欄を verdict の一部にする（圧縮器・ステップ数・初期条件・格子サイズ。未申告なら判定を拒む＝ STEP 1894 の refusal 機構をそのまま流用）
5. Li–Packard の 54/137 自己矛盾を、較正が無い場合に何が起きるかの実例として併置
6. 反証条件を事前登録（§7）

規模で勝つのではなく型で勝つ形。個人で実行可能で、compose baseline も引ける（Zenil 2010 + TestU01 f-module + SARIF 的申告 schema の素朴な合成が baseline）。

7. 反証条件（事前登録）

恒久禁止事項（Pattern L 予防）：

• ウルフラムの結果を「誤り」と呼ばない。Class 分類は目視の分類として当時の役割を果たしており、Rule 110 universality は本物の定理。問題は c の欠落であって結果の虚偽ではない
• 「計算的既約性を反証した」と書かない。Israeli–Goldenfeld も反証していない
• PCE を「間違い」と呼ばない。反証不能と呼ぶ（Weinberg の指摘に帰す）

8. 引用一覧

✓ = 本 audit で直接 fetch し verbatim 確認 / △ = 検索結果・二次情報由来、原典未確認

直接確認 ✓

• Li & Packard, "The Structure of the Elementary Cellular Automata Rule Space", Complex Systems 4:281–297 (1990) — https://wpmedia.wolfram.com/sites/13/2018/02/04-3-3.pdf ✓（chaotic 列に 137 と 54、本文の Class IV 記述、分類方法、曖昧さの自認をすべて verbatim 確認）
• Wolfram, "Announcing the Rule 30 Prizes" (2019-10-01) — https://writings.stephenwolfram.com/2019/10/announcing-the-rule-30-prizes/ ✓（統計検定の文、3問題、$30,000、左境界 0.252 を verbatim 確認）
• Wolfram, "Universality and complexity in cellular automata", Physica D 10:1–35 (1984) — https://new.math.uiuc.edu/im2008/dakkak/papers/files/wolfram.universityofca.pdf ✓（"appear to fall into four qualitative classes" 等。※ページ番号は概数）
• Culik & Yu, "Undecidability of CA Classification Schemes", Complex Systems 2:177–190 (1988) — https://content.wolfram.com/sites/13/2018/02/02-2-2.pdf ✓（Theorem 5/8/12, Corollary 1 を確認）
• Langton, "Computation at the edge of chaos", Physica D 42:12–37 (1990) — https://shinyverse.org/al4ai/papers/Langton.EdgeOfChaos.pdf ✓（λ_c が与えられないこと、ECA で λ が弱いことを確認）
• Wuensche, "Classifying cellular automata automatically", Complexity 4(3):47–66 (1999) — https://brainmaps.org/pdf/ca1.pdf ✓（"recognized subjectively" を含む scan 設定を確認）
• Zenil, "Compression-Based Investigation of the Dynamical Properties of Cellular Automata", Complex Systems 19(1):1–28 (2010) — https://content.wolfram.com/sites/13/2019/03/19-1-1.pdf ✓
• L'Ecuyer & Simard, "TestU01", ACM TOMS 33(4) Art.22 (2007) — https://www.iro.umontreal.ca/~lecuyer/myftp/papers/testu01.pdf ✓（f モジュール、log n₀ 回帰、n₀ ≈ 16ρ^(1/3)、Table I を確認）
• NIST SP 800-22 Rev.1a (2010) — https://nvlpubs.nist.gov/nistpubs/legacy/sp/nistspecialpublication800-22r1a.pdf ✓（§1.1.5 の β 記述を verbatim 確認）
• NIST 改訂決定 (2022-04-19) — https://csrc.nist.gov/News/2022/decision-to-revise-nist-sp-800-22-rev-1a ✓
• Israeli & Goldenfeld, PRE 73:026203 (2006) — https://guava.physics.ucsd.edu/~nigel/REPRINTS/2006/Israeli%20Coarse-graining%20of%20cellular%20automata%20PRE%202006%20(PDF).pdf ✓（240/256、失敗 16 規則、Rule 110→Rule 0 を trivial と自認）
• Israeli & Goldenfeld, PRL 92:074105 (2004) — https://arxiv.org/abs/nlin/0309047 ✓（abstract を verbatim 確認）
• Cook, "Universality in Elementary Cellular Automata", Complex Systems 15(1):1–40 (2004) — https://wpmedia.wolfram.com/sites/13/2018/02/15-1-1.pdf ✓
• Aaronson, "Book Review: A New Kind of Science", arXiv:quant-ph/0206089 ✓（QIC 2002 掲載は Comments 欄で確認、巻号ページは未確認）
• Shalizi, Bactra Review #132 — https://bactra.org/reviews/wolfram/ ✓
• Mahoney, LTCB rules — https://www.mattmahoney.net/dc/textrules.html ✓
• ICMJE 臨床試験登録 — https://www.icmje.org/recommendations/browse/publishing-and-editorial-issues/clinical-trial-registration.html ✓
• MLPerf training rules / MLCommons submission rules — https://github.com/mlcommons/training_policies/blob/master/training_rules.adoc ✓ / https://github.com/mlcommons/policies/blob/master/submission_rules.adoc ✓
• Saarinen, IACR ePrint 2022/169 — https://eprint.iacr.org/2022/169.pdf ✓
• Wolfram Physics FAQ (予測について) — https://www.wolframphysics.org/questions/scientific-general-interest/does-your-theory-make-predictions/ ✓
• Vitányi, "How Incomputable Is Kolmogorov Complexity?", Entropy 22(4):408 (2020) — https://homepages.cwi.nl/~paulv/papers/incomp.pdf ✓（CTM への3点批判：証明不能・O(1) 定数が 100 bit 超・確率の総和が 1 を超える誤り）

検索結果・二次情報由来 △

• Wolfram, A New Kind of Science (2002) — p.716/719/726/737/741 — https://www.wolframscience.com/nks/p719--the-content-of-the-principle/ 等 △（オンライン版の該当ページ）
• Kadanoff, Physics Today 55(7):55 (2002), doi:10.1063/1.1506752 △（p.981/983 の相転移記述の誤り指摘。SciSpace 経由 PDF）
• Mitchell, "Is the Universe a Universal Computer?", Science 298(5591):65–68 (2002) — https://melaniemitchell.me/EssaysContent/new-kind-of-science-review.pdf △
• Weinberg, "Is the Universe a Computer?", NYRB (2002-10-24) — https://www.nybooks.com/articles/2002/10/24/is-the-universe-a-computer/ △
• Giles, "What kind of science is this?", Nature 417:216–218 (2002) — https://www.nature.com/articles/417216a △（本文は paywall、Cook 関連は FOM 投稿経由の二次引用）
• Becker, "Physicists Criticize Stephen Wolfram's 'Theory of Everything'", Scientific American (2020-05-06) △（Harlow の 1/10¹⁰ 発言の出典）
• Meier & Staffelbach, "Analysis of Pseudo Random Sequences Generated by Cellular Automata", EUROCRYPT '91, LNCS 547:186–199 — https://link.springer.com/chapter/10.1007/3-540-46416-6_17 △
• Neary & Woods, "P-completeness of Cellular Automaton Rule 110", ICALP 2006, LNCS 4051:132–143 △
• Vispoel, Daly & Baetens, Physica D 432:133074 (2022) — https://www.sciencedirect.com/science/article/pii/S0167278921002311 △
• Zenil, Soler-Toscano & Joosten, Minds & Machines 22(3):149–165 (2012) — https://link.springer.com/article/10.1007/s11023-011-9262-y △
• Zwirn & Delahaye, "Unpredictability and Computational Irreducibility" (2013) — https://arxiv.org/pdf/1111.4121 △ / Zwirn, Complex Systems 24(2):149–174 (2015) △
• Gorard, "The Slowdown Theorem", Complex Systems 27(2):177–185 (2018) △
• Leyva-Acosta, Acuña Yeomans & Hernández-Quiroz, Entropy 26(9):802 (2024) および Entropy 28(6):601 (2026) — BDM 批判 △
• Cebrián, Alfonseca & Ortega, "Common Pitfalls Using the NCD", Comm. Info. Systems 5(4):367–384 (2005) △（gzip が 32KB 窓を超えると正規圧縮器公理を破る）
• Foreman, Yeung & Curchod, Entropy 26(12):1053 (2024) — https://arxiv.org/abs/2403.18716 △（855 vs 10 の数値は要表確認）
• PractRand cross-battery 結果 — https://pracrand.sourceforge.net/Tests_results.txt △（自己公表・非査読）
• Wolfram Physics 一年目更新 / Units and Scales — https://writings.stephenwolfram.com/2021/04/the-wolfram-physics-project-a-one-year-update/ △

9. この audit の限界

• §3 の W-1/W-2 の negative は bounded search の結果で不在証明ではない。前回同様、本装置が扱う問題そのものが audit 自身に適用される。
• Wolfram 1984 の引用ページは PDF 要約パス経由の概数。verbatim 引用を論文に載せる前に印刷版の頁を確認すること。
• Kadanoff レビューの p.981/983 指摘、Harlow の発言、Meier–Staffelbach の内容は二次情報経由。
• INSPIRE 引用数は 2026-09 時点のスナップショット。
• 前回 audit と同じく英語文献中心。