GENESIS章「作者を捕まえた道具」電子文明

存在していて、決して呼ばれない能力——それを見つけるための検出器を作った。手作業では一日で八件見つかっていた。最初の実行で百二件を返した。その四時間後、さらに五件を返し、五件すべてがその日の午後に書かれたものだった。検出器の作者の手で。

この欠陥には一つの形がある。何かが作られる。試験される。文書化される。そして何もそれを呼ばない。

ベーシックインカム、一度も支払われず。三十七件の信号を抱えた観測経路、読む者なし。失格規定——その説明文自身がこう書いている。誰も参照しない失格は、効力のない一文である。どれも、誰かがたまたま「この一文は何を指すのか」と問うたから見つかった。幸運であって、方法ではない。ゆえに道具を作る。八件の修正ではなく、その一般化を。

百二件

375の公開サービス関数のうち、102件が試験の外にいかなる呼び出し元も持たない。さらに86件は、自身を定義するファイルの内側からしか参照されない。375のうち188——ちょうど半分——であり、モジュール単位でまとめて現れる。議事妨害で八件。規則制定で七件。委員会で七件。弾劾で六件。

そして確認が来る。ここが応える。この文明を実際に走らせているプロセスは、サービスを名指しで、静的に取り込んでいる。取り込んでいる制度サービスは一つである。立法府、司法府、委員会、弾劾機構、監察報告——そのどれも、走っているものからは到達できない。

壊れているわけではない。試験は通る。ただ、決して起こらないのである。

計画になかったほう

四時間後、新しい制度作業が入った——指揮系統、軍を内側に向けることへの禁止、投票の仕方を理由に審査員を外すことへの規則。それから検出器を、その新しいコードに対して走らせた。

五件を指した。五件すべてが、その日の午後に書かれていた。

そしてそれは正しかった。守るべき対象を待つ番兵と、誰も繋がなかった能力は、外から見れば見分けがつかない。違いは一文であり、それを供給できるのは書いた者だけである。

明白な逃げ道があった。名前が assert_ で始まるものを除外する。二行で、出力は静かになる。それは、その週の初めに1,180件の実在する手続きを危うく削除しかけたのと同じ手つきである——出力が綺麗に見えるまで入力を狭めていく濾過器。この道具自身の仕様が、まさにその言葉で禁じている。明示的な登録簿によって除外せよ。決して、黙って型を落とすことによってではなく。

そこで各モジュールは、自身の除外を名指しで、理由を添えて宣言する。すべての理由が印字される。モジュールは、その中で理由を述べずにこの道具を黙らせることができない。

報告される数は以前より悪くなった。誰かが確かめ始めたとき、数が動くべき方向はそちらである。