決済フロー
ウォレット送金、ID提示、OTA確認、権限付与 — いずれも同じ6ステップ。1ステップでも飛ばせば、そのアクションは決済されません。
ウォレット送金、ID提示、OTA確認、権限変更。アプリは HAL と対話します — KSL や ASR と直接は対話しません。
モードが CRITICAL_LOCKDOWN なら、いかなるバイトもパースされる前に呼び出しは LsiaVetoed へ短絡されます。例外経路はありません。KURAL 22 が最上段で強制されます。
HAL は追記専用チェーンに監査エントリを書き込みます。発行が失敗すれば（ディスク満杯、パーティションが読み取り専用、ハッシュ不一致）、チェーンは Error を返し、アクションはここで止まります。
アクションの正規バイト列が、セキュアエレメント内のマスターキーによって署名されます。該当する場合は ML-DSA-87 + Ed25519 ハイブリッド。秘密バイトは決して外に出ません。
DSL は、署名、ASR レシートハッシュ、LSIA モードのスナップショットを伴って Settled を返します。アプリは単なる「はい」ではなく証明を受け取ります。
アクションがフェデレーションの関心事（疑わしい IP クラスタ、なりすましアラートの試行）であれば、GCI はハッシュ化パターン + /24 プレフィックス + 金額バケットを公開します。生のペイロードはデバイスに留まります。
13のエンジン
/api/ksl/*マスターキーはセキュアエレメント内に封印されます。ML-DSA-87 署名。秘密バイトはユーザー空間を一度も越えず、表に出るのはフィンガープリントのみ。kslctl がカウンターとローテーションジョブを公開します。
KURAL 18 — すべての重大なアクションは署名されるか中止される。
/api/immunity/*247個のカーネル + syscall フックをライブで監視。状態機械は NORMAL → DEGRADED → SAFE → CRITICAL LOCKDOWN。LOCKDOWN ではすべてのソブリン書き込みが、エンジンに到達する前に LsiaVetoed へ短絡されます。
KURAL 22 — CRITICAL_LOCKDOWN はすべてをオーバーライドする。
/api/tup/*すべての OTA は、Release + Security + Ops + Compliance の各担当者が署名したマニフェストを携えます。M-of-N クォーラム、役割カバレッジ、バイナリ SHA-256 を二重検証 — コントローラ + エージェントの多層防御。拒否はフェイルクローズです。
KURAL 20 — TUP なしにデプロイなし。--skip-checks なし。
/api/asr/*あらゆる重要な決定（署名、権限、ポリシー、更新）が、ライトワンスパーティション上のハッシュチェーンログに追記されます。どのエントリを改ざんしても、次回のブートアテステーションでチェーンが目に見えて断裂します。
ハッシュチェーン化 · 追記専用 · フォレンジック級。
/api/settlement/*アプリが署名を通せる唯一の経路。KSL が署名する前に監査の発行が成功しなければならず、監査が失敗すれば署名は決して起きません。決済済み = 署名 + 承認 + 証明。証跡なしで決済される経路は存在しません。
アプリはメモリ改ざんで日次上限を引き上げられない。
/api/gce/*ノード間の状態ドリフト検出。フェデレーションピア間でエンジンのヘッドを比較し、ドリフトが許容範囲を超えると自動的に縮退します。不一致は静かなマージではなく縮退を引き起こします。
きれいに分岐せよ。決して静かに収束するな。
/api/gci/*プライバシー保護型のパターンフェデレーション。デバイスから出るのはハッシュ化されたシグナル、/24 IPプレフィックス、金額バケット化されたイベントのみ。生のペイロード、メール、ユーザーID — 決して出ません。
KURAL 23 — ハッシュ化/バケット化されたパターンのみが出る。
/api/lrm/*LoRa マルチホップ、Wi-Fi Aware、Bluetooth メッシュ、UWB をまたぐ store-and-forward の DTN トランスポート。帯域はピアごとにスケジュールされます。再起動をまたいで永続化。Press Edition は、ランチャーより先にメッシュテレメトリを起動状態に保ちます。
SOS レーンは CRITICAL_LOCKDOWN でも開いたまま。
/api/sat/*Cospas-Sarsat 遭難ビーコン、Iridium ショートバーストデータ、Starlink Direct-to-Cell、3GPP NTN。SOS は最も健全な経路を通って送られます — 自動フェイルオーバー、メニューなし。
キャリア非依存の緊急通信、SIM不要。
/api/lssa/*ハードウェアの信頼の根からトラストグラフまでの10層アーキテクチャ。ブートパイプライン + AVB + LyDos トラステッドアップデート + オンデバイスアテステーション。各層が次の層に署名します。
ブートチェーンの断裂はすべて → 自動で SAFE モード。
/api/cc/*SGX / SEV の measurement にシールされたシークレット。機微な計算は measurement にシールされ、OS イメージが変われば、シールは別のポリシーに対して開かれ、シークレットは封印されたままです。
シークレットはユーザーではなく measurement に束縛される。
/api/{ledger,finance}/*トランザクションごとの証明を伴う複式簿記台帳。Wallet（M243）はすべての送金を DSL HAL 経由でルーティングします: まず ASR 発行 → 次に KSL 署名。監査が失敗すれば ⇒ 署名は中止されます。
日次上限はアプリコードではなく HAL によって強制される。
/api/bus/*セルブロードキャスト（AFAD WEA、EU-Alert、J-Alert）は、ロック画面に届く前に署名検証されます。オンデバイス署名のプッシュチャネル — 通知はなりすませず、GMS が存在しなくても生き残ります。
政府アラートは署名ゲートを通過するか破棄される。
設計上の特性
各エンジンが互いを監視します。ひとつが沈黙させられれば、残りは書き込みを止めます。ひとつが不正に署名すれば、次回のブートアテステーションでチェーンがそれを検出します。
検証が壊れたとき、答えは拒否です。--skip-checks フラグは存在しません。PG :5434 が見つからないときに静かに SQLite へフォールバックすることもありません。署名不一致での再試行もありません。
ASR ハッシュチェーンは、唯一意味を持つタイムラインです。他のすべてのエンジンは導出・再導出・犠牲にできますが — チェーンはできません。
KURAL 23 — GCI が共有するのはハッシュ化パターン、/24 IPプレフィックス、金額バケットのみ。メール、生IP、ユーザーID、ペイロード — 決してデバイスから出ません。設定ではなくエンジン境界で強制されます。