REMOTE REVIEW / v2 — 規則を取り替える
止まらなかった、
そして何も
作らなかった
機械に決めさせるのをやめて、金属に工具を掴ませた。 この系列で初めて、八十時間走らせても止まらない規則になった。 そして円盤は、均一な灰色になった。
なぜ規則を取り替えたか
これまでの五つの版はすべて「機械が金属を読んで決める」規則だった。そして 四度とも閉じた軌道で終わった — 時間を足しても(十日)、機械を増やしても (一枚の板を共有)、身体を粗くしても(極座標)、新しい選択肢を差し出しても(直径レール)。
最後のひとつが理由を言った。直動レールを半径から直径に伸ばして、 針が中心を通り抜けられるようにした。中心は回り込まずに反対の外周へ行ける近道である。 機械は八十時間で22回使って、やめた。規則が読むのは密度で、 密度は「これは近道だ」と言えない。
身体の変更は、規則が強制されるときに効き、
許されるだけのときには効かない。
極座標の量子化は全歩に効いた。直径レールは機会を差し出すだけだった。
規則のどの項でも評価できない選択肢は、その機械には存在しない。
だから v2 は、決めることをやめる。
規則
機械が動かせるのは直動軸の横方向の剛性だけである。
予測器も密度も重みも無い。そして境界の規則も無い — 前の版で外周の木目が私の著述だと分かったので、著者になるものを置かなかった。 レールが travel を使い切ったとき起きるのは反射だけで、 これは工具が金属を離れられないという前提から出てくる(反射に長さは入らない)。
規則の中の唯一の角度も自由ではない。針が溝に留まるのは溝の壁が横力を支えられる間で、
半幅にわたる壁の平均勾配は 2·深さ/幅 — この工具が刻む溝の値である。
Rule.decide は方位・溝の向き・カウンタだけを取る規則のどこにも長さが書かれていない。
N は交差の回数で、無次元である。だから弦の長さは
N ÷ その場所の金属が持つ 1 mm あたりの溝の本数になる。
模様に長さが出たなら、それを作ったのは金属である —
私が置く場所がどこにも無いから。
自己検証は、切り替え表が回転で不変であることを確かめる。
動画 — 同じ八十時間、同じ 7214 m
止まらなかった
これまでの終わり方はいつも同じ signature を持っていた — 半径が動かなくなる。それを最後の八分の一と全区間で比べる。
| 全区間の |r| | 最後の八分の一 | 拡がり比 | ||
|---|---|---|---|---|
| v1・8時間 | 129.3 ± 40.93 | 132.6 ± 38.19 | 0.933 | まだ動いている |
| v1・80時間 | 164.2 ± 19.83 | 169.6 ± 5.45 | 0.275 | 閉じた |
| v2・8時間 | 129.7 ± 46.58 | 132.3 ± 45.88 | 0.985 | 動いている |
| v2・80時間 | 128.9 ± 46.26 | 128.6 ± 46.39 | 1.003 | まったく狭まらない |
v2 の最後の八分の一は、走行全体とまったく同じだけ半径を動いている。 十倍の時間を与えても、この規則には落ち着く先が無い。
四つの、初めてand all four follow from capture being forced, not offered
| v1 | v2 | |
|---|---|---|
| 8時間の被覆 | 0.878 | 0.970 — v1 の最終値を 5.16 時間で越える |
| 80時間の被覆 | 0.901、環の中 | 1.00000 — 円盤が埋まる |
| 刻線の行き先 | 69% が幅10 mm の環一本 | 帯の面積に比例して均一 |
| 外周の軸性秩序 | −0.860 | −0.086 |
最後の行は前の版の訂正の対照確認である。
v1 の外周の木目は、私が選んだ EDGE_MM = 22 mm という距離に遡れた。
v2 には境界規則が無く、木目は一桁小さくなって消えた。
自分の著述を、自分の否定で確かめたことになる。
そして、模様は出なかった
ここが設計目標そのものだった。ミクロの規則からマクロの模様が出てくること。 出なかった。
| 自己相関の第一ゼロ | 側ローブ | |
|---|---|---|
| v1・8時間 | 144.72 mm | 無し |
| v2(v1 の被覆に切り詰め) | 146.19 mm | 無し |
| v2・8時間 全体 | 145.97 mm | 無し |
第一ゼロはどれも円盤自身の寸法であり、側ローブはどの被覆でも無い。 特徴長は無い。(比較は必ず同じ被覆率で行っている — v2 は 8時間で 0.970 まで行くので、v1 の 0.878 に切り詰めた列を並べてある。)
訂正 — 私が測っていたのは自分の壊れたセンサだった
このページは最初、「出た長さは私のステップ長だった」と書いていた。 それは誤りである。対照実験が測っていたのは引き金ではなく、 私の交差検出器が壊れていることだった。以下は訂正した測定である。 誤っていた版の主張と数字も、消さずに下に残す。
最初の検出器は、1ステップに1回だけ方向場を「点で」読んでいた。だから読みは ステップ長と格子の比だけで決まっていた — ステップが格子より大きければ溝を跨いで見落とし、 小さければ自分が直前に付けた跡と同じセルを読んで何も数えない。
| ステップ長 | 壊れた検出器の衝撃/mm | 直した検出器の衝撃/mm |
|---|---|---|
| 0.15 mm | 0.0000(720 m で 10 回) | 0.8447 |
| 0.3 mm | 0.5343 | 0.8628 |
| 0.6 mm | 0.3108 | 0.6923 |
| 1.2 mm | 0.1625 | 0.7056 |
直した版は、交差をステップではなくセル単位で数える — 軌跡が通るセルを順に歩き、各セルに書き込む前に読む。 だから工具は自分の今回の跡を絶対に数えず、1 mm あたりの交差数は ステップ長に依存しなくなる。自己検証がそれを直接確かめている: 3本の溝を横切れば、0.15 / 0.3 / 0.6 / 1.2 mm のどのステップでも「3」と数える。 実機の走行では、8倍のステップ範囲でばらつきが ×1.22 まで縮んだ (残差は、切り替えがステップ境界に落ちる量子化と整合する)。
そして金属は、本当に長さを持っていたthe trigger does read the metal
残る長さは記録の解像度である。それも振った。
| 記録の解像度 | 交差の平均間隔 | 半分にしたときの比 | 格子の言い換えなら |
|---|---|---|---|
| 0.5 mm | 1.826 mm | — | |
| 0.25 mm | 1.159 mm | 1.575 | 2.00 |
| 0.125 mm | 0.922 mm | 1.256 | 2.00 |
比が 1.575 → 1.256 と 1 に向かって落ちていく。 格子の言い換えならどちらも 2.00 のままである。外挿すると間隔は 約 0.8 mm の有限値に収束する — 工具幅(0.10 mm)でもステップ長でもない、 この規則が作った模様自身が持つ長さである。
それでも、模様は出ないa length of its own is not enough
ここが今回の本当の結果である。金属は長さを渡した。規則はそれを使った。 それでも円盤は felt のままだった。
| 直した検出器の走行 | 被覆 | 自己相関の第一ゼロ | 側ローブ | 隙間サイズの CV |
|---|---|---|---|---|
| 記録 0.5 mm | 0.9573 | 145.89 mm | 無し | — |
| 記録 0.25 mm | 0.9438 | 145.02 mm | 無し | 1.304 |
| 記録 0.125 mm | 0.9022 | 147.71 mm | 無し | 2.031 |
| メッシュの基準 | — | — | 要る | ≤ 0.6 |
校正済みの基準は「側ローブがあること」かつ「隙間サイズの CV ≤ 0.6」である (完全なメッシュ 0.04、揺らぎ付き 0.45、ランダムウォーク 0.95)。 両方とも落ちる。ただし v1 の CV は 58.9 だったので、 v2 の 1.30 は45分の1に均されている — 「均一な灰色」の数値である。
だから結論は、公開したときより強くなった。
「長さは私のものだった」ではなく、金属が持っている長さを規則が使っても、
マクロな模様には足りない。規則に長さを書かないことは必要だったが、
十分ではなかった。
止まらないことは、訂正後も変わらない — 80時間で拡がり比 1.000(壊れた検出器では 1.003)、被覆 1.0。 規則の骨格は何も変えていないので、そこは影響を受けない。
誤っていた版が書いていたことkept, not deleted
記録として残す。当時のページはこう主張していた — 「弦は N × 約4.4 × ステップ長で、模様の尺度は私の離散化である」、そして 「被覆 0.97 の面は連続体なので、この引き金は疎な円盤でだけ定義できる」。 前半は私のセンサの性質で、引き金の性質ではなかった。 後半の物理(溝は 6 重に重なる)はそれ自体は正しいが、 疎な円盤ですら壊れていたのだから、根拠として引いたのは誤りだった。 被覆 0.0〜0.1 の区間でも比は 1.75 / 0.52 で、最初の 1 mm から時計だった。
いちばん残るのはこれである
v1 のマクロな特徴は、すべて失敗か、私の著述だった。
環は閉じた軌道、外周の木目は私が選んだ距離、
空いた中心は密度に分解能が見えないこと。
v2 は三つとも取り除いた。そして円盤は均一な灰色になった。
前の版に模様があったのは、うまく動かなかったからだった。 止まったから環ができ、私が境界を書いたから木目ができ、見えない土地があったから穴が空いた。 うまく動く規則には、そのどれも無い。
そして訂正のあとでも、これは変わらない。金属が長さを持っていることは確かめた — 約 0.8 mm、記録の解像度を細かくしても消えない。それでも模様は出ない。
止まらないことと、模様を作ることは、別の問題だった。
この規則は前者を、後者を手放すことで買っている。
次の問いはもう「どうやって動かし続けるか」ではない —
金属が長さを持っていて、規則がそれを使っていて、
それでも模様にならないのは何が足りないのかである。
候補は一つに絞られた — この規則には長さを比べる相手がいない。
メッシュには「近くは引き、遠くは押す」という二つ目の尺度が要るが、
YIELD / BREAK が持っているのは一つだけである。
踏んだ罠
- 工具は、自分が直前に付けた跡の上に立っている。最初の版は工具位置の 方向場を読んでいたので、常に自分の向きを読んで「横切っている」が発火せず、 45 m で衝撃が 10 回しか出なかった。先端が出会うのは前方の溝である。
- レール端で方位を接線に射影すると、外周が吸収状態になる。 75,000歩のうち26,508歩が r = 195 に張り付いた(被覆 0.0066、切り替え1回)。 リムの円は自分自身を捕捉角より大きな角度で横切らないので、衝撃が永久に発火しない — v1 のリム罠の最も純粋な形で、しかも揺らす誤差項がもう無い。正しくは反射である。
- 被覆率の分子と分母は、同じマスクで数える。分母は環内のセルに限っていたのに、 分子は環外のセルも数えていた。|r| = 194.99 の工具が中心 195.2 のセルに入れられるので、 円盤を埋めた最初の走行が coverage 1.00282 を返した。 これまで満杯に近づいたことが無かったので出てこなかった。修正しても v1 の被覆 0.87815 は不変で、軌跡も変わらない。
この頁の材料
- yieldbreak.py
規則の全体。
Rule.decideが位置引数を持たないこと、捕捉角がstylus.pyから出ること、--self-testの中身 - findings_corrected.json 訂正後の全数字 — 直した検出器の対照(ステップ4種・格子3種)、80時間、自己相関、隙間CV
- findings.json(誤っていた版) 最初の測定。壊れた検出器の数字ごと、記録として残す
- summary(80時間) 被覆 1.00000、7224 m、切り替え 772,408 回
- summary(訂正後・80時間) 被覆 1.0・拡がり比 1.000。止まらないことは訂正に耐えた
- summary(対照・記録 0.125 mm) 格子を細かくしても間隔が半分にならない — 金属の長さの証拠
この前の版
- 一本の線がしてきたこと — OVERVIEW 系列全体の見取り図。動画4本と、v1 で私が間違えていた七点
- 読めない五つ — FIVE KINDS OF UNREADABLE v1 の現行作。極座標プロッター × 5、金属の物理、八十時間、壁への投影
- 四つの計画と、三つの却下 この規則が選ばれた議事録。20体の相互評価と、採用しなかった三案の全文
- 他人の傷 台数は多様性ではないと出た版。「同じ規則の他者は他者ではない」
- 十日 — TEN DAYS 時間では先が無いと出た版
- 驚きだけが線を曲げる 系列の最初。平板・八時間