GEUL
真実は発見されない
開かれた世界には発見すべき真実がない — あらゆる観測が光の速さに阻まれ、出来事に届かないからだ。しかし小説・数学・法のように宣言によって閉じられた世界には真実がある。裁判は実在を法的世界へ投影する過程であり、判決はその上での演算だ。いまLLMに欠けているのは、より大きなモデルではなく、法治主義のような明示的な閉鎖手続きである。
ドリフトはなぜ死なないのか
ドリフトは直しても必ず戻ってくる。ビジネスロジックをSSOTで閉じたら、そのSSOTを作る生成器で同じドリフトが一層上に移動していた。なぜこれは死なないのか——エントロピーから積み直す。
トリプルは事実ではなく主張である
Wikidataのトリプルは事実ではない——主張である。トリプルの上にToulminの論証モデルを重ねれば、コンテキストによってverdictが変わる動的なナレッジグラフが生まれる。保存するのは論証構造、判定はランタイムで行われる。
制約は契約である
約束がなければ混沌であり、約束が過ぎれば抑圧である。合理的な制約は黄金比をなす。法の支配の原理がコードと知識に同様に適用される。