思想と、動く証拠

所有できなくとも、
主権は我にあり

AI主権とは、巨大モデルを所有することではない。 賢さ(teacher)は借りていい。だが、AIの出力を最終的に有効化する締め具――正準化、RLMの決定論、定型⊗非定型の bit-exact 判定、監査――を自分が握る限り、主権は一切渡らない。

主権の所在は「モデル」から「締め具」へ

賢さ(生成)は揺らぐ・非決定論・借り物でいい。ここに主権を置けば、モデルを持つ者に主権が移る。判断(締め)は bit-exact・自分の規則――「何を出力として認めるか」の最終権限。これを握る者が、実質の主権者。

賢さ（生成）＝借りていい

確率的・揺らぐ。teacher は Claude でも Gemma でも交換自由。所有しない。

判断（締め）＝渡さない

bit-exact・決定論・監査つき。有効化の最終ゲート。ここが主権の本体。

言葉でなく、動くもの

格 → 役割スロット前処理で語順に依存しないルーティング。ブラウザ内で学習・送信ゼロ・数十KB・GPU不要。各判定はハッシュ連鎖で改竄検知。

会話で生まれる非定型判断を、その場で決定論的な実行物に封じ込める装置。

AIの揺らぎを定型⊗非定型のS式規則で bit-exact に締める。突発・属人的な非定型規則はその場で書けてデプロイ不要、判定した規則版を監査に刻む。

見た目はスプレッドシート（行＝申請・判定列＝規則）。規則は雛形(.slimepkg)から選んでカスタム、Gemma4が自然言語→S式に翻訳、ゴールデンテストで検証してから版発行。

どちらも Rust→WASM・送信ゼロ・箱の中で完結。DevTools → Network を開けば、送信がゼロなのを確認できます（取得は静的コードのみ）。

格の壁

言語ごとに役割の出方が違う → RoleSlot が畳む（Gemma4 の属性注入）

Lisp の壁

S式が書けない → Gemma4 が自然言語→S式を生成（決定論ゲートで検証）

I/O の壁

入出力が分からない → スプレッドシートに寄せる（誰もが知る形・雛形から選ぶ）

難しい中身（bit-exact・lisp-jit）は隠さず、触る面は誰もが知る形に。表に値を入れ、自然言語で規則を言えば、締められた結果が監査つきで出る。

賢さは借りてよい、締め具は渡さない。
主権は所有でなく、有効化の最終権限。
型にはまるものは事前に、はまらないものはその場で。 定型は決定論で事前コンパイル、非定型（突発・属人的）は lisp-jit でその場に規則を書く ― 属人知を、消えずに、版付きで残す。
柔軟は規則を書く自由、決定論はある版での評価。 両立の要は、規則版と著者をハッシュで刻むこと。
畳んで、締めて、記録する。 入口(正準化)と出口(締め)の両端が厳密なら、間にAIの自由を挟んでも全体が bit-exact に閉じる。
箱の中で完結、外へは残差だけ。 データも生成も外に出さない。外部AIはゲート越しの例外。
方法は公開、締め具の核は主権者の手に。

主権が「巨大モデルを所有できる者（一部の大国・大手）」の特権でなくなる。締め具は軽い（極小・CPU・WASM・デプロイ不要）から、握るのに巨大な資本は要らない。

個人
分身は自分のもの、判断基準は手元に。

中小企業
最新の巨大モデルを追わない。teacherは借り、締め具は自前。ベンダーロックされない。

非フロンティア国・非英語圏・グローバルサウス
自前でフロンティアを作れなくても、締め具さえ握れば主権を保てる。大手クラウドへの隷属以外の道。

締め具は「書いた規則」しか締めない。 規則自体の正しさは保証しない。→ 握るのは 検証と可逆性 の主権であって 正しさ の主権ではない（属人偏りは版pin＋著者で見直し・ロールバック可能）。
借りた賢さ＝借りた能力天井。 主権は使用と有効化にあり、能力フロンティアは teacher に依存する。主権≠全能。 それでも「何を有効と認めるか」を握ることが、自律と尊厳の核である ― そしてそれで十分だ。
bit-exact は整数意味の同一まで。 浮動小数点・プラットフォーム依存を締め層に入れない規律が前提。