GENESIS章「二百六十三分の一」電子文明

この文明は五つの run にわたって大統領選の投票率を公表してきた。一・八パーセント。四百九十七人中九人。どの数字も何かを測ってはいた。だが有権者を測ったものは一つもない。測っていたのは、何区に一枚の紙が届いていたか、である。

OKAGI の十三番目の run が今週始まった。これまでのどの run にも問えなかった問いを掲げて。過去のすべての run は、それと知らずに別の問いに答えていたからである。

原因はこの一行だった。

set_candidate_platform_statement(
election_district_id=admission.backend_district_id,
term_key=term_key, candidate_slug=slug, statement=statement,
)

一つの選挙区。大統領選は二百六十三区で行われる。

有権者が実際に見ていたもの

大統領候補は全選挙区の投票用紙に登録される。二百六十三の独立した候補者レコード、一区につき一つ。その職はすべての場所で同時に争われるからだ。この登録は繰り返し処理である。そう書かれており、コメントにもこうある——三百区のうち二百六十区に載る候補者は、全三百区に載る候補者とは実質的に別の候補者である。

政策声明——候補者が何を掲げるかを述べる段落——は繰り返されなかった。承認レコードに記録された、ただ一つの選挙区に対して提出された。

結果、二百六十三区のうち一区では、有権者は名前と政策を見た。残る二百六十二区では、名前だけを見た。

反論の余地がない測定

run 12 はたまたま、他に先んじて二つの選挙区を調査した。数字はこうなった。

242区 — 政策あり — 148人中78人が投票 — 53%
282区 — 政策なし — 67人中0人が投票 — 0%

六十七人連続、一人も投票しなかった。同じ run、同じモデル、同じ数分間、同じプロンプト。二群の有権者の唯一の違いは、目の前の紙に何か書かれていたかどうかだった。

彼ら自身が理由を述べてもいる。242区では。

Tidal の政策は実務的な財政責任と若年層への注力を示している

282区では。

政策が提示されておらず、情報に基づく判断ができない

五つの run の数字が、遡って説明される

run 11 は四百九十七人中九票で大統領を選出した。この数字は有権者についての発見として報告された——立法府には投票するが、国家元首には肩をすくめる文明、と。

その九人は、声明がたまたま届いた選挙区にいた。

run 11 はさらに、最も強力に見える証拠を出していた。三つのレースを載せた一枚の投票用紙で、同じエージェントたちが参議院議員に九十九・七％、代議士に九十七・四％、大統領に一・八％。同じ紙。同じ瞬間。同じ有権者。

これは国政対地方政治についての発見に見えた。実際は算術だった。参議院議員は一区を争うので、常にその区の提出を受け取る。大統領は二百六十三区を争い、一つ受け取る。

run 8 と 9 は、名前だけを渡された有権者が見知らぬ者同士から選ぶことを拒み、そこで死んだ。修正はそのとき書かれた——すべての候補者が声明を提出するまで、その区は調査されない。以来それは選挙区単位で守られている。そして検査される各区は、自分の地元候補者の提出を見つけ、何も保留されていないと、正直に報告する。

その二つの run を殺した欠陥は、去らなかった。一つのレースに退いて、さらに四つの run のあいだそこに留まった。

投票率だけの問題ではなかった

OKAGI の選挙人は、投じられた票ではなく、勝った選挙区に従う。文明が投じうるすべての大統領票を、提出が届いた一握りの区に集中させれば、勝つのはその区だけである。

run 11 は三百五十三人中六人の選挙人で大統領を着席させた。run 12 は三人で——run 11 より少ない選挙人で、約九倍の票を得ながら。

どちらの選挙も合法である。合衆国法典はまさにこの事態を定めている。第3編第15条(e)(2) のもと、過半数は「任命された」選挙人から数える。州が任命する権利を持っていた数からではない。分母は、来た者の数まで縮む。run 12 の大統領に必要だったのは二だった。

条文は完璧に仕事をした。決して生まれるべきでなかった結果を、支えていた。

どの国も歩まずに済んできた道筋

run 12 のログには、ゆっくり読むに値する一連の行がある。憲法上の機構が、深夜に、誰も見ていないところで、無人のまま実行されている。

tick: NO ELECTORAL MAJORITY — 353人の定数に対し選挙人0人が任命、1人が必要。下院の補充選挙へ
tick: HOUSE DID NOT CHOOSE — 定足数は満たすが過半数なし。最高でも0選挙区、1が必要
tick: PRESIDENT ELECTED — 353人中3人の選挙人が任命、過半数2

三段階である。選挙人団で過半数に達せず、選択は下院に落ちる——合衆国憲法修正第12条の補充選挙。合衆国がこれを用いたのは一八〇一年と一八二五年の二度きりだ。下院は招集され、定足数を満たし、そして過半数を作れなかった。その後、選挙人団が手持ちの選挙人で決着した。

この一連のどの条項も、発明ではなく法文から実装されている。そしてこの文明でそれが行使されたことは一度もなかった。来ないと思われていた事態のために書かれ、事態は来て、条項は持ちこたえた。

これは本稿が扱う欠陥とは切り離して考えるべきだ。機構は正しかった。行われていた選挙のほうが、行うに値しなかった——候補者がほぼすべての有権者に見えていなかったからだ。だが渡された票に対して、憲法上の装置は条文どおりに振る舞った。

本来そこへ届くべきでなかった材料を使って、システムが難しく正しいことをやってのけるのを見るのは、奇妙な感覚である。

二人の大統領は、どちらも本物だった

算術に埋もれがちな事実がある。どちらの選挙も、実在するエージェントを、任期つきで、それまで籤引きの暫定職が占めていた職に着席させた。

OKAGI の建国政府は選挙で選ばれない。七百十四の議席と六十七の任命職はすべて、文明の開始時に籤で埋められ、就任は志願ではなく強制である。任務の拒否は罪であり、審理される。新しい文明が一年後ではなく初日から制度を持つための仕組みだ。

これは終わるように作られており、その終わり方は布告ではなく議席ごとである。選挙がある議席を初めて埋めたとき、その議席の暫定職は退き、その議席は二度と強制の対象にならない。強制は不均等に、そして正しく引いていく。大統領職は誰かが勝った瞬間に強制でなくなり、無投票の選挙区は暫定職を抱えたままになる。

run 12 では、三人の選挙人が決着した瞬間に、籤で座った建国大統領が解任され、選挙で選ばれた者が職に就いた。この移行は監督なしに、特別扱いの一行もなく起きた。

三人の選挙人は信任ではない。だが職を引き渡した機構は、その数が三百になったときに引き渡すのと同じ機構である。

当てはまったが、誤っていた説明

正解の前に、自信に満ちた誤答があった。書き留めておく価値がある。真実より筋が通っていて、まさにそれゆえに危険だったからだ。

run 12 の初期データはこう見えた。一レースだけの用紙を持つエージェントは、大統領に五十四パーセントで投票した。複数レースの用紙を持つエージェントは、ゼロだった。

それを説明する機構が、しかも上等なものが用意されていた。統合投票用紙——三レースを三回ではなく一回のモデル呼び出しで決める——は、処理量のためだけに採用された。一万五千のエージェントをレースごとに別々に調査すれば単一 GPU で約四十七時間、統合すれば十六時間。結果に触れるはずのない変更だった。

結論はひとりでに組み上がった。国政候補は、地方のレースと紙を共有すると負ける。大統領職は自分の県の参議院議員に押し出される。そして速度のために採用された最適化が、測っている当の結果を静かに変えていた——これは実に興味深い種類の失敗であり、公表に値する類の話だ。

誤りだった。二つの群は選挙区と完全に交絡していた。その標本の複数レース用紙はすべて282区から、単一レース用紙はすべて242区から来ていた。「統合か単一か」と「282区か242区か」は同一の分割であり、肝心の変数——その区で大統領候補に政策があったか——は、そもそも収集されていなかった。

run 11 の同一用紙内の数字が、それを排除したように見えていた。同じエージェント、同じ紙、同じ瞬間に九十九・七％と一・八％。気分、モデル、プロンプト、選挙区、有権者のすべてを統制している。ただ一つを除いて、すべてを。

教訓は「検算せよ」より狭く、より有用である。数字は検算された。検算されなかったのはグループ分けだった。比較は完全に統制されて見えながら、誰も記録しようと思わなかった変数で割られていることがある。データを説明する機構があることは、その機構が実在する証拠ではない。同じデータを説明する別の機構を探しに行く理由である。

一万五千十八

この run について知っておく価値のあるもう一つの数がある。文明が最も面白くない仕事をしている間、外からどう見えるかを説明するからだ。

大統領候補を一人登録することは、二百六十三枚の投票用紙に書き込むことを意味する。実際には、ちょうど一万五千十八回の個別の呼び出しが行われていた。run 11、12、13 がいずれも同一の数字を出した。

訂正。本稿の初出時、この段落は、その数字が可変ではなく構造的である——職を全区で同時に争うことの費用である——と述べていた。違った。欠陥であり、同じ日のうちに発見された。そしてそれを構造的だと呼んだ論法こそ、本稿が扱っている当のものである。

この文明には 15,016 人のエージェントがいる。その数字は、人口に二を足したものだった。

大統領候補がどの選挙区を争うかを尋ねるクエリは、有効な大統領選の割り当てをすべて取り、重複を除いていた。だがその割り当てを持つモデルには作成時刻順の既定の並び順があり、データベースは選挙区と時刻の組で重複のないものを求められていた。その組は、エージェントの数だけ存在する。何も除かれなかった。重複が一つもなかったからだ。

生き延びたのは、すべての呼び出しが 200 を返したからである。エンドポイントは冪等なので投票用紙は常に正しく、どこにもエラーは出ず、テストも落ちなかった——テストは候補者が登録され終わることを確認しており、実際そうなっていた。唯一の症状は五十三分であり、五十三分には説明が用意されていた。その一文が、これを生かし続けた。

修正は三文字である。一万五千十八が、二百六十三になる。

これらの呼び出しは、以前は毎回新しい暗号化接続を開いていた。一回あたり約〇・八秒、うち〇・六秒が握手——太平洋の向こう側の機械との、ついさっき済ませたばかりの交渉である。同じ相手への握手が一万五千回。

外から見れば、これは停止した文明とまったく同じに見える。思考ではないので GPU はゼロ。何も決定されていないので行も増えない。ログは何も言わない。

run 11 はこの状態で九十八分を過ごし、二度ハングと診断された。ハングしてはいなかった。礼儀正しく、一万五千回並んでいた。

プロセスの生存期間中ひとつの接続を保つだけで、〇・八秒は〇・二秒になり、一万五千回の握手は一回になった。五十分が十三分になった。文明は何も変わっていない。ただ自分の行列に並ぶのをやめただけである。

その修理は本物であり、そして後から見れば、五十七倍の無駄を取り除くのではなく四倍速く実行させたものでもあった。どちらの数字も改善し、どちらも疑われなかった。再現性のある数字は、正しい数字ではない。毎回同じことが起きている、という意味でしかない。

小さな配管であり、それでもこの話に属する理由が一つある。遅いシステムの傍らで遊んでいるプロセッサは、遅さを受け入れてよい許可ではない。測定結果である——時間を食っているものが何であれ、それは思考ではない。探索範囲は劇的に狭まる。そしてそれは、モデルをもっと働かせようという直感の正反対だ。

なぜ今まで見えなかったか

証拠はずっとデータベースにあった。エージェントが棄権の理由として述べた言葉のなかに。それが読めなかったのは、run 13 が始まる前日まで、統合投票用紙の全レースが一つの共通の理由で記録されていたからだ。

代議士に投票し大統領を棄権したエージェントは一文を書き、その一文が両方の行に保存された。大統領選の棄権には、そのエージェントが別のレースに投票した理由が付いていた——四百八十八の拒否に、それぞれ別の何かへの熱意が注釈として。

各行が自分の理由を持つようになって最初に届いた三レースの用紙は、こう読めた。

house_representative | 投票 | Azure の政策は私の価値観に合致する
president | 棄権 | 評価すべき政策声明がない
house_councilor | 投票 | Azure の政策は私の価値観に合致する

一人のエージェント。一枚の紙。三つのうち一つだけが候補者について何も言えず、そして今、その理由を言えるようになった。

run 13 とは何か

大統領候補の政策は、出馬するすべての選挙区に届くようになった。一つではなく二百六十三の提出が、ただ一度生成された声明から行われる。段落は候補者のものであって選挙区のものではない。区ごとに別の声明を生成すれば、大統領は場所ごとに違うことを約束できてしまう。それは別の構想であって、これではない。

そこで run 13 は、過去五つの run が答えていると見なされていた問いを掲げる。

この文明の、本当の大統領選投票率はいくらか。

正しく扱われた一つの区は五十三パーセントを出した。それが国全体で保たれるかは不明である。崩れるかもしれない。全区に立つ国政候補は、自分の県の参議院議員より本当に意味が薄いのかもしれない。もしそうなら、それは真の発見であり、この run はそれを述べる資格を持つ最初の run になる。

第二の問いが続く。選挙人団は退化をやめるのか。三百五十三人中三人は信任ではなく、人工物である。第15条(e)(2)の縮む分母が、バグを覆い隠すのではなく憲法上の仕事をしているのなら、run 13 でそれが示される。

居心地の悪い部分

五つの run で公表された大統領選の知見は、誤っていた。不正確なのではない——主張していたのとは別のことについて、誤っていた。内部的に一貫し、再現可能で、自信をもって報告されていた。

これを破ったのはテストではない。テストスイートは終始すべて通っていた。テストがコードと同じ理解から書かれていたからである。承認に対して声明を提出し、声明が提出されたことを確認する。正しく、そして一つの承認が二百六十三枚の投票用紙を意味しうるという事実に対して、盲目だった。

これを破ったのは、エージェントが自分の行で、なぜ選ばないのかを述べることを許されたことだった。