MONARK

MONARK

MONARK は、AI 側と DeFi 側という二つの側面を持つツールキットです。スイスアーミーナイフのように、ひとつの柄に複数の刃を備えています。 柄となるのは MONARK エンジン、つまり AI 側です。これはカバレッジ制御型の意思決定ゲートで、枯渇する認可予算（B_t）に対して commit | defer | abstain を出力します。正しい確率を示すものではありません。また、オンチェーンで起きたことを証明するセンサー、そのセンサーが通信する凍結済みコントラクト、他の AI エージェントが接続するためのハーネス、そして DeFi の変化に合わせて適応し続けるエージェントを備えています。刃となるのは DeFi 側、つまりエンジンが支える オンチェーンアプリケーションです。それぞれ、提供される前にオンチェーンデータの実証的な調査を経て生み出されます。最初のアプリケーションは MONARK Bell で、残りは研究の手掛かりです。

トークンはひとつ、ティッカーもひとつ（MONARK）です。エージェントは アプリケーションであり、トークンではありません。このリポジトリは MONARK の トークン化レイヤーと、8つの凍結済みインターフェースコントラクト（そのうち1つの AttestedBook は、提供開始まで準備中）、そして AI エージェントと DeFi が実測に基づいて連携するための提供済み機能を収めています。

2つの側面、1つのエンジン — 11のコンポーネント

エンジンは11個のコンポーネントで構成されています。3つのセンサー、1つのゲート、1つの動作、6つの配布用コンポーネントです。どのコンポーネントも両方の側面を支援できます。左側: MONARK MCP エンドポイントに接続した AI エージェントに提供する機能です（現在の4つのツールは attest · gate · cascade · calibrate です。planned と記されたコンポーネントには、まだ提供済みのツールがありません）。右側: DeFi 側に提供する機能、つまりエンジンが支えるオンチェーンアプリケーションです（括弧内はサイトの図に記載されたアプリケーションです。wired は現在レジストリに登録済み、can serve は提供済みの連携ではなく、今後の候補を示します）。

AI 側 — MCP 上のエージェント向け	コンポーネント	DeFi 側 — アプリケーション向けの DeFAI
attest：エージェントがスクレイピングした数値の代わりに引用できる、証明付きの価格証言（バイト列、ハッシュ、明示された残余仮説）です。真実ではなく、出所とバイト列を示します。	Shōgen — センサー、証明付き知覚 · 構築済み	アプリケーションが支出、ヘッジ、またはリスク低減を行う際に根拠を示せる価格です（提供先：Warden、Softlanding、Firebreak、Ballast）。
gate + calibrate：エージェントが主張を送信すると、commit | defer | abstain、監査可能な領域、残りの予算が返されます。正しい確率は返しません。	Hikae — ゲート、カバレッジ制御付き推論 · 構築済み	すべてのアプリケーションの意思決定プリミティブです（接続済み：Firebreak、Warden、Softlanding、Verdict、Ballast）。Bell のゲートは、それ自体が独立した公開前チェックです。営業時間外のギャップに対応するゲートクラスは計画中です。
cascade：価格推移に沿って貸付ポジションがどのように清算されるかをエージェントが問い合わせるためのツールです（移行中のツールであり、under_calib で棄権します）。gate 経由では、クラス liquidation-eligible-coverage が、呼び出し元から渡された清算可能額について、確約された層内でのコンフォーマル上限を返します。これは記録された1つのエピソードで較正されており、その他の層では棄権します（under_calib）—この内容はワイヤ上で明示されます。	Ukemi — アクション、清算カスケードへの耐性 · 構築済み	デレバレッジのキュー、または清算される前のポジションを読み取ります（接続済み：Firebreak、Softlanding）。
毎日更新され、再生可能な償還フローのタイムライン（state.json、timeline.jsonl）をすべてのエージェントが読み取れます。また、gate 経由で提供されるゲートクラス stable-run-velocity-24h も利用できます。	Narabi — センサー、償還取り付けの検知 · 構築済み、毎日提供	ステーブルコインを保有するトレジャリー向けの償還取り付け検知です。償還フローを毎日、再生可能な形で読み取ります。事後に示すものであり、事前には示しません（提供先：Warden、Ballast）。
計画中：エージェントが対応すべき文書またはイベントを証明します。バイト列とハッシュを示しますが、その真実性は判定しません。	Mokugeki — センサー、文書／イベントの証明 · 名称決定済み	確定済みの意思決定が始まる起点となる、証明付きイベントです（提供先：Verdict）。
計画中：スワップをルーティングする前に、約定が LVR／有害なフローにさらされるかどうかを確認します。	Kaihi — LVR／有害性の回避 · 名称決定済み	不利な価格で約定させられてはならない、リスク低減またはヘッジの執行レッグです（提供先：Firebreak、Softlanding、Ballast）。
計画中：トランザクションコスト分析（TCA）を適用してスワップを執行し、ゲートの判定を添付します。	Kessai — スワップ執行、TCA · 名称決定済み	リスク低減、ポジション縮小、リバランスの実行レッグです（提供先：Firebreak、Softlanding、Ballast）。
計画中：エージェントのマーケットメイキング向けに、気配値を提示し、在庫を管理します。	Kamae — 在庫を考慮したマーケットメイキング · 名称決定済み	トレジャリー向けの在庫を考慮したヘッジです（提供先：Ballast）。
計画中：PT／YT カーブを証明付き金利サーフェスとして読み取ります。	Kyokusen — PT／YT カーブ · 名称決定済み	金利トレジャリーが安定化を図る際の基準となる金利サーフェスです（提供先：Ballast）。
計画中：週末／営業時間外のギャップを、エージェントがゲート判定に利用できる検知対象の数量として扱います。	Koyomi — 週末ギャップ · 名称決定済み	トークン化株式の営業時間外ギャップです。まさに Bell が公開する数量です（提供先：Bell）。
入口：ツールとスキルの検出（MCP Registry tech.monarkgate/monark）。	Genkan — ストアフロント／MCP エントリーポイント · 名称決定済み（現在はハーネスが入口を提供）	すべてのアプリケーションを、それらを利用するエージェントに配布します（提供先：6つすべて）。
測定を第一に。 MONARK のどの要素も、ホワイトボード上で設計され、そのまま出荷されることはありません。すべて、実証研究から始まります。アーカイブブロック時点の清算記録、平穏な期間に測定された償還フローの時系列、取引停止の全数調査、トークン化株式の約定をセッションごとに記録したデータなどです。そして、研究の成果物は提供される要素に紐付けられたままです。ダイジェスト付きでコミットされた較正データ、行ごとのハッシュチェーンを備えた再生可能なタイムライン、公開済みの署名鍵が含まれます。これが、私たちの言う計測された環境です。MONARK を通じて DeFi で動作する AI エージェントは、証明済みの測定値と監査済みの領域に基づいて行動し、測定されていないものについては、数値を装った推測ではなく、明示的な abstain を返します。

適応状態を維持。 DeFi は静止していません。プロトコルはアップグレードされ、清算エンジンの形状は変わり、オラクルやデータフィードは移動し、較正データはドリフトします。エンジンは、こうした事象をそれぞれ、事前登録された対応（ドリフト基準、新しい記録装置、新しい残差仮説、コントラクトへのバージョン管理された変更）を伴う測定済みのイベントとして扱うように構築されています。適応エージェントは、こうした事象を検知し、対応を準備する AI 側の部分です。これらはロードマップに含まれており、まだ出荷されていません（下記の成熟度表を参照）。

現在提供されているもの

以下はすべて稼働中で、機械可読であり、アカウントなしで第三者が再生できます。

サーフェス	提供内容	利用者
https://mcp.monarkgate.tech/mcp · https://api.monarkgate.tech/openapi.json	MCP とプレーンな HTTP/JSON ミラーを通じたエンジンの 4 つのツール（attest · gate · cascade · calibrate）。提供される OpenAPI ドキュメントには提供中のバージョンが記載されています	MCP 対応のエージェント
https://monarkgate.tech/narabi/state.json · timeline.jsonl	Narabi のトラッカー状態と、追記専用で行ごとにハッシュチェーン化された日次タイムライン（ウィンドウごとに 1 行で、読み取り元のブロックを記録）	トラッカーを再生する人、サイトの /narabi ページ
https://monarkgate.tech/narabi/instrument.json	トラッカーの隣に置かれた診断ファイル。日々のジョブではなく、閉鎖済みの日数ブロックから一度だけ書き込まれます。別のパラメーターでのトラッカー再生と、順列評価済み CUSUM が含まれます。上限値は主張しません	トラッカーを監査する人。このファイルを読むページはありません
https://bell.monarkgate.tech/state.json · timeline.jsonl · provenance.json · bell/pubkey.json	MONARK Bell の署名付き公開データ。上場されているトークン化株式のセッションごとの約定、VWAP と出来高、取引停止の全数調査、供給量と準備金証明の残差、各実行の来歴、有効な Ed25519 鍵が含まれます	公開データを検証する人、サイトの /bell ページ
https://dojo.monarkgate.tech/ · timeline.jsonl · dojo/pubkey.json · lines/<sha256>.jsonl · history/<sha256>.jsonl	MONARK Dōjō の保有状況スナップショット。各アドレスが保有する MONARK トークン残高を日付付きで公開記録したもので、2 つの異なるオペレーターを通じてチェーンから読み取り、アドレスごとの保有スコアを付与します。署名付きタイムライン、公開鍵、ある日の lines ファイル、署名付きタイムラインの行が SHA-256 で指定する history ファイルも含まれます	再計算する人、サイトの /dojo ページ
https://monarkgate.tech	ショーケース。掲載されているすべての数値は、上記の提供ファイルをコミットしてハッシュ化したコピーから読み取られており、手入力されたものではありません	閲覧者

この表にないサーフェスは提供されていません。提供サーフェスを持たないコンポーネントは、登場する箇所で構築済みではなく名前のみと記されています。

背骨 — ゲート

MONARK のすべては、ひとつの意思決定プリミティブにつながっています。センサーが世界を読み取り、その内容を証明します。予測器がその読み取り結果を主張に変え、ゲートが目標カバレッジでその主張をコンフォーマル化して領域にし、枯渇する予算に対して次の3つのアクションのいずれかを返します。

• commit — 領域が行動に十分なほど狭く、予算で賄えます。
• defer — 読み取り結果が曖昧なため、ゲートはより良い結果を待ちます。
• abstain — ゲートは責任を持てる領域を提示できないため、何も述べず、成功を捏造しません。

ゲートは、正しい可能性がどれほど高いかを決して報告しません。監査可能な領域と、確認可能な予算を報告します — 正しい確率は決して報告しません。

成熟度（構築済みのものを基準に表記）

ラベルが重要です。現在存在するものと、名前が付いているだけのものを示しています。

側	レイヤー	内容	状態
AI	背骨 — ゲート	Hikae（カバレッジ制御）＋ MONARK トークンの予算 B_t。センサーの読み取り結果を commit | defer | abstain に変換	構築済み — 8つの契約を凍結済み（提供開始までは AttestedBook は今後の予定）
AI	センサーとアクト	エンジンのエージェント。証明を行うセンサー、実行を行うアクト、そのすべてに共通するひとつのトークン	4つ構築済み（Shōgen · Hikae · Ukemi · Narabi）· 7つに命名済み
AI	ハーネス — ドア	他の AI エージェントが HTTP / MCP 経由で利用できるようにした同じエンジン	構築済み — 4つのツールを備えた公開 MCP エンドポイント（attest · gate · cascade · calibrate）
AI	適応エージェント	再調整、プロトコルのオンボーディング、清算の仕組みの追跡、データソースの監視を行うエージェント	ロードマップ — 命名済み、未リリース
DeFi	アプリケーション — エンジンを活用	DeFi のニーズごとにひとつのアプリケーションを用意し、それぞれ独自に公開するアーティファクトとともに提供	1つ構築済み（MONARK Bell）· 研究候補5件

エンジン — AI 側

構築済み：

• Shōgen — 証明付きの知覚：証明付きの価格証言。起源とバイト列であり、真実ではありません。
• Hikae — カバレッジ制御された推論：ゲートです。
• Ukemi — 清算カスケードへの耐性：レコーダーが、キー不要の RPC クォーラムのもとで、アーカイブブロック時点の貸付プロトコルの清算ブックを読み取り、ダイジェストを作成します（AttestedBook コントラクト）。提供されるゲートクラス liquidation-eligible-coverage は、記録されたエピソードの1つの層について、確定済みのキャリブレーションを保持します。その層に属する、呼び出し元が渡す清算可能額に対して、共形予測の上限を返します（下限が0なのは構成上の仕様です）。それ以外の層ではすべて棄権します（under_calib）。この上限が成立するのは、金額が凍結されたクローズファクターのルールによって算出された場合に限りますが、ゲートはその検証を行いません。また、他のイベントについてカバレッジは一切主張されず、その旨がワイヤ上に明記されます。cascade ツールは移行期のもので、仕様上、棄権します。
• Narabi — 償還取り付けの検知。AttestedFlow 証明（凍結された5つ目のコントラクト）と速度アダプターはこのリポジトリに同梱されています。公開エンドポイントは、1つの母集団 — USDe — についてキャリブレーションが確定済みのゲートクラス stable-run-velocity-24h を提供します。キャリブレーションは、オンチェーンの平常時の償還フローの期間を使って測定されています。このキャリブレーションは半期ごとに非定常であると測定されているため、期間ごとのカバレッジは主張しません。ワイヤ上の誠実性を示す文言は、Barber、Candes、Ramdas、Tibshirani 2023（定理2、単位重み）の表現に従い、カバレッジは測定されていません。それ以外のすべての母集団は棄権します（under_calib）。 オフツールの日次センチネルは、ブロックのファイナリティ時にトラッカーを進め、再生可能なタイムラインを https://monarkgate.tech/narabi/ に公開します（state.json、timeline.jsonl、各行はハッシュチェーンで連結）。
  • instrument.json — 公式トラッカーではなく、計測用ツールです。トラッカーは別のパラメーターでも再生されます。また、静的なミスに対し、Page（1954）が導入し、Lorden（1971）が提示した形式の片側 CUSUM を適用し、Vovk（2012）の定義による交換可能性の置換検定で評価します。Lorden の i.i.d. 理論および Shin、Ramdas、Rinaldo（2022）の e-detector とは異なる、第3の方法です。上限は主張しません。スナップショットは1つで、1度だけ取得され、日次ジョブでは更新されません。

Narabi についての唯一の公開文言（原文どおり）：

Narabi は、証明付きの日次 USDe 償還フローに対して適応型分位点トラッカー（Angelopoulos–Barber–Bates 2024、減衰ステップ）を実行します。その状態は実現した結果から24時間ごとに更新され、誰でも再生できるようにタイムライン全体が公開されます。保持されるのは、期間が蓄積するにつれて厳密になる決定論的な長期上限であり、T とともに毎日表示されます。期間ごとのカバレッジでも、確率でもありません。ゲートの確定済みキャリブレーションはトラッカーの状態に依存しません。事前登録されたドリフト基準が発動し、ADR が別段の判断を示すまでは、ゲートの領域は確定済みの静的キャリブレーションのままです。トラッカーは適応しますが、ゲートはまだ適応しません。

Narabi が該当しないもの。 毎日表示される上限は、Angelopoulos、Barber、Bates 2024（定理1）の量 (B + η₁)/(T·η_T) であり、c = B = 1/24、ε = 0.1 です。公開される領域はトラッカーのものであり、ゲートのものではありません。 ゲートは確定済みの静的キャリブレーションを維持し、事前登録されたドリフト基準（rolling90_calm_miss ≥ 0.40。平常時のペアが90件そろった後に評価可能）が発動し、公開された決定記録でその旨が示されるまで、変更しません。期間ごとのカバレッジでも、正しい確率でも、価格予測でもありません。

自分で再生する。 Narabi：eth_getLogs と totalSupply を使い、各期間を [from_block, to_block] から再計算してから、timeline.jsonl の s 列に対して確定済みの trackerReplay を実行し、q を再導出します。Bell：タイムラインの各行の Ed25519 署名を公開鍵で検証し、提供された状態から state_sha256 を再計算して、指定された期間に指定されたプールからダイジェストを再構築します（apps/bell、scripts/verify-bell.mjs）。各行のハッシュチェーンにより、どのような改ざんも検出できます。 エンジンのロードマップに記載（予告段階 — まだ提供されていない機能であり、指標の提示はありません）：Mokugeki （ドキュメント／イベントの証明）・Kaihi（LVR／有害性の回避）・Kessai（スワップの実行、 取引コスト分析）・Kamae（在庫を用いたマーケットメイキング）・Kyokusen（PT／YT カーブ）・ Koyomi（週末ギャップ）・Genkan（ストアフロント／MCP エントリーポイント）。

アプリケーション — DeFi 側

アプリケーションとは、エンジンの活用先です。それぞれが同じゲートと同じコントラクトに基づき、 実証研究から始まり、公開済みで再生可能な成果物とともに提供されます。

構築・提供済み：

• MONARK Bell — 最初のアプリケーション：現物市場の取引時間外におけるトークン化株式を対象とした、公開済みの証明付き記録です。各セッション（プレマーケット、通常、時間外、夜間、週末）について、宣言されたプールでのオンチェーン約定、その VWAP と取引量、取引停止の調査結果、供給量／準備金証明の残差を、署名付きのハッシュチェーン化タイムラインとして https://bell.monarkgate.tech/ で公開します（state.json、timeline.jsonl、 provenance.json、bell/pubkey.json の Ed25519 公開鍵）。読み取り側の検証ツールと署名鍵リングは、このリポジトリに含まれています。価格予測は行いません。棄権はその件数を数え、そのまま公開します。

開発候補 — 研究段階（名称のみで、未提供です。指標も日付もありません）：

• MONARK Firebreak — perp 取引所で自動デレバレッジの連鎖に巻き込まれるのではなく、乗り切ります。
• MONARK Warden — DAO または別のエージェントが管理するトレジャリーに対する、最小権限のゲートです。
• MONARK Softlanding — レバレッジポジションの清算リスクを読み取り、清算が発生する前にエクスポージャーを段階的に縮小します。
• MONARK Verdict — 生のイベント呼び出しを、カバレッジを管理した決済済みの判断に変換します。
• MONARK Ballast — 名称のみ。適用範囲は検討中です。

各候補は Bell と同じ手順でアプリケーションになります。オンチェーンデータを使った研究、レコーダー、 必要に応じて凍結されたコントラクト、署名付きタイムラインを備えた提供ホストを整え、その後に限り built となります。

成熟度の基準

コンポーネントまたはアプリケーションは、以下の条件をすべて満たすと built、それ以外は named と表示されます。

1. まず研究を行います。 オンチェーンデータを測定し、可能な場合は事前登録します（実行前に仮説としきい値を記述します）。その成果物をコードの隣にコミットし、ハッシュ化します。
2. 新しい形式を扱う部分には、凍結されたコントラクトが必要です（現在は6つです。7つ目はパッチではなく、インターフェースのバージョン管理された変更となります）。
3. 提供されているインターフェースが必要です。 出力はテストやデモだけでなく、稼働中のインターフェース（MCP／HTTP ツール、公開ファイル、下流コンポーネント）で利用されます。
4. エンドツーエンドの統合テストで構成を再生し、デプロイ時のチェックで提供ホストに対して読み取り側の検証ツールを実行します。

同じ基準は、エンジンの変更にも適用されます。再調整、新しいレコーダー、新しい残差仮説が対象です。

各要素の根拠となる調査

• Narabi — ステーブルコインの実際の償還フローをブロック確定後に読み取りました。平穏な期間で校正を測定したところ、半期ごとに非定常であることが判明しました。そのため、カバレッジを主張するのではなく、提供される領域にその旨を示しています。事前登録されたドリフト基準によって、ゲートをいつ動かせるかを決定します。
• Ukemi — レンディングプロトコルの清算台帳を、鍵不要の RPC クォーラムのもとでアーカイブブロックに記録しました。ヘルスファクターは正確な固定小数点演算で相互検証し、記録されたオラクル経路に沿って清算を再生しました。校正コースの仮説と結果は、ハッシュ化されたレポートの数値を一桁ずつそのまま、サイトで公開しています。
• MONARK Bell — 米国の取引停止の全数調査、夏時間に対応した取引セッションカレンダー、宣言されたプールでのトークン化株式のオンチェーン約定を2つの運営者で読み取った記録、そして明示的な最早公開時刻を定めた署名付き公開プロトコルです。
• Shōgen and Hikae — 真実ではなくバイト列と残余仮説を保持する証言形式と、領域を監査でき、予算を使い切れる、カバレッジ制御付きゲートです。

調査で何も見つからなかった場合、その要素はその旨を示します。abstain、名前付きの残余、数えられた不在です。

相互連携（各要素が連携して機能する理由）

AI side — the MONARK engine
  sensors (attest)  →  the gate: Hikae + MONARK B_t  →  acts (execute · upcoming)
                            commit | defer | abstain
  harness (MCP / HTTP)  ·  adaptation agents: recalibrate · onboard · track · watch
                                        │
                                        ▼
DeFi side — the applications
  MONARK Bell (built, served)  ·  Firebreak · Warden · Softlanding · Verdict · Ballast (research)

すべてのアプリケーションは同じゲートに接続します。将来のセンサーはすべて同じコントラクト形式で証言します。エンジンへの変更はすべて同じ成熟度基準を満たします。

自分で検証する

• Bell. bell/pubkey.json を取得し、続いて timeline.jsonl の各行について、アクティブな鍵に対する Ed25519 署名を確認し、提供された状態から state_sha256 を、提供された来歴から provenance_sha256 を再計算して、prev_line_hash をたどりジェネシス行まで遡ります。scripts/verify-bell.mjs は Node のみでこれを正確に実行します。これが生成するデプロイチェックは、このリポジトリにコミットされています。
• Dōjō. node apps/dojo/scripts/dojo-verify-cli.mjs --url https://dojo.monarkgate.tech --keyring apps/dojo/keys/dojo-keyring.json は、提供されたファイルだけを読み込み、このリポジトリにある公開鍵リングを信頼の基点とします（提供された dojo/pubkey.json はこれと照合されます）。署名付きタイムラインをたどり（Ed25519 署名、連鎖、各鍵の有効期間）、すべての price_version、履歴ファイル、各スナップショットの各行とその Merkle ルートを再計算します。--address <address> を追加すると、1つのアドレスの包含証明が追加され、--day <YYYY-MM-DD> を指定すると過去の日付を検証します。Node のみで、1行の JSON を出力します。その ok が true になるのは、すべての検証に合格した場合だけです。収集の再生は行いません（署名が証明するのは出所であり、真実ではありません。読み取り値は2つの運営者が報告したものです）。チェーンも読み込まず、公開乱数ビーコンの BLS 署名も検証しません。
• Narabi. [from_block, to_block] を使い、eth_getLogs と totalSupply から各ウィンドウを再計算し、timeline.jsonl の s 列に対してコミット済みの trackerReplay を使い、q を再導出します。
• サイト。 monarkgate.tech のすべての数値は、manifest.sha256.json でハッシュが固定された apps/site/data/ 内のファイルから読み取られます。テストでは、提供されたファイルとバイト単位で比較します。

エージェント開発者向け

1. エンドポイント（以下の hermes ／ openclaw のワンライナー）を追加するか、スキルをインストールします。
2. 引用しなければならない価格には attest、実行に移す必要がある主張には gate、保護する必要があるレンディングポジションには cascade、独自のスコアを持ち込むには calibrate を呼び出します。
3. 回答は領域と予算として読み取ります。abstain の場合は何もせず、その理由を伝えます。理由はワイヤ上にあります。誤読される可能性のある信頼度スコアはありません。
4. Bell と Narabi はファイルとして読み取ります。人だけでなく、プログラムが利用できるように公開されています。

8つの凍結済みコントラクト

インターフェースは凍結されており、言語に依存しません（信頼できる情報源：schemas/*.json）。

コントラクト	生成元	意味
AttestedPrice	Shōgen	証明済みの証言（バイト列＋ハッシュ＋名前付きの残余仮説）です。示すのは由来とバイト列であり、真実ではありません。価格の数値はHikae側のアダプターが解釈します。Shōgenが価格を主張することはありません。
AttestedFlow	Narabi	償還フローに関する証明済みの証言（バイト列＋ハッシュ＋閉じた residual[] 列挙型）です。示すのは由来とバイト列であり、真実ではありません。burns／mints／supply は生の値のまま渡されます。
Prediction	任意の予測器	Hikaeが ŷ をコンフォーマル化し、predictor_id（取引所／モデル）を付与します。
CoverageVerdict	Hikae	コンフォーマル領域です。多相的な set（分類）または interval（回帰。Ukemiを接続できます）を取ります。p_correct フィールドはありません。
GateDecision	Hikae L3	commit | defer | abstain ＋ remaining_budget = B_t です。これはMONARKに付随する、枯渇可能なコンフォーマル認可容量であり、リターンではありません。
AttestedBook	Ukemi（記録器）	キーレスRPCクォーラムのもとで、アーカイブブロック時点の清算ブックを自己申告した読み取り値です。ブロック／プロバイダー／クォーラムのコンテキストとともに、ダイジェスト（ブック、保有者）を含みます。提供されるまでは今後の予定です。
PolicyTable	MONARK（ポリシーテーブル）	クラスのポリシーテーブルです。1つのクラスエントリーと、その行（セルキー、alpha、n、提供されたランクとq̂、scores_sha256）を含みます。判定にはテーブルのダイジェスト（policy_table_sha256）と、使用した行のダイジェスト（policy_row_sha256）が含まれます。
ToolError	ハーネス	HTTP 400または500の応答本文です。形式は {error, operation, message, code} で、code は仕様で定義された閉じたカタログから取得します。メッセージではなく code を確認してください。

トークン

MONARK は B_t、つまり枯渇可能な認可予算を保持します。各 commit で消費され、defer と abstain では消費されません。これは計量されるフリートの行動権であり、リターンでも、預金でも、オラクルでもありません。 トークノミクス：後日発表。

コントラクトアドレス（CA）： FYZcYCHSp8FzNba1UtDZydKKGosmxVNpFBiVuia38AhT（アドレスのみ。価格も購入呼び出しもありません）。

フリート不変条件 — 信頼度フィールドはどこにもありません

ShōgenとHikaeはどちらも、信頼度フィールドを認めません。出力は領域、集合、または名前付き残余 仮説を伴うバイト列＋ハッシュであり、スコアではありません。インターフェースのどこにも信頼度フィールドはなく、コントラクト レイヤーはこれをコードで強制します。

1. 閉じたスキーマ（additionalProperties: false）— 主要なガードです。未知のキーを無視せずに拒否するShōgenのデコーダーに倣っています。closed-check.ts （手書きの許可キーセット）が実行時に適用し、テストでJSONスキーマとの同期を維持します。
2. 再帰的な禁止キーのチェック — 多層防御（forbidden-keys.ts）として、禁止キーがどの深さにあっても検出します。禁止キーを含むコントラクトはシリアライズされず、例外をスローします。
3. 用語ゲート（scripts/grep-forbidden.mjs）— マーケティング表現や過剰な主張があると、CIが失敗します。

エンジンに接続する（他のAIエージェント向けの窓口）

エンジンには、MCP対応エージェントであれば、1つの公開エンドポイントからアクセスできます。

• MCPエンドポイント： https://mcp.monarkgate.tech/mcp（HTTP/JSONミラー：POST https://api.monarkgate.tech/{attest|gate|cascade|calibrate}。提供中のバージョンは、提供されている openapi.json に記載されています）。 4つのツール：attest · gate · cascade · calibrate。公式MCP Registryには tech.monarkgate/monark として掲載されています。
• 1行で追加：

hermes mcp add monark --url https://mcp.monarkgate.tech/mcp
openclaw mcp add monark --url https://mcp.monarkgate.tech/mcp --transport streamable-http

サービスの利用に個人データは必要ありません（アカウント、メールアドレス、ウォレットは不要です）。

ステータス

フェーズ2 — 統合。機能を順次提供しています。 インターフェースは凍結されており、HikaeとUkemiのエンジンは 完成しています。NarabiとMONARK Bellは、公開済みで再生可能なタイムラインとともに提供されています。このリポジトリの公開用 投影は scripts/export-public.mjs で生成されます。

ゲートを実行する

npm ci
npm run ci   # vocabulary gate → typecheck (tsc strict) → tests (node:test)

エンジニアリング上の選択

• 多言語構成のフリート、スキーマファーストのコントラクト。 Shōgen は Rust、ランタイムは Python、Hikae のエンジンと ストアフロントは TS です。そのため、コントラクトは言語に依存しない JSON Schema で表現されています。packages/contracts の TS パッケージが最初のバインディングです。Rust と Python は同じスキーマにバインドします。
• ランタイム依存関係ゼロ。 公開されるコントラクトはランタイムで何も読み込みません。開発用依存関係： typescript、@types/node、ajv/ajv-formats（テスト専用）、および eslint/typescript-eslint（リント専用）。テストは組み込みの node:test で実行します（Node ≥ 24 のネイティブな TS 型ストリッピング）。キーの閉包性は、実行時に手書きの処理で適用されます （Shōgen の依存関係ゼロの未知キー拒否を踏襲）。値の制約（最小項目数／一意な項目、ハッシュの長さ、 ASCII 印字可能文字）は JSON Schema で表現し、テストで ajv に対して検証します。
• ajv は開発用依存関係（テスト専用）です。固定された JSON Schema をコンパイルし、$ref を解決して、 TS 型だけでは検出できない値の制約違反（空配列／重複配列、長さが不正なハッシュ、 制御文字）を拒否することを確認します。
• 提供前に計測。 成果物がパブリックな場に公開されるのは、調査成果物が同じディレクトリに由来情報を添えてコミットされ、ハッシュ化されており （キャリブレーションのダイジェスト、同一ディレクトリに由来情報がある記録済みフィクスチャ、再生可能な タイムライン）、さらに構成の証明となるエンドツーエンドの実行テストがある場合に限ります。

レイアウト

schemas/            JSON Schema — the language-neutral source of truth (closed)
packages/contracts  TS binding: types, closed-check, forbidden-keys, scores_sha256, serializers, tests
packages/hikae      HAC-CP engine: L1 split / L2 monitor / L3 gate, interval conformer  (built)
packages/ukemi      liquidation-cascade survival: clearing, liquidable                  (built)
packages/monark     integration adapters: Shōgen→AttestedPrice, Narabi AttestedFlow→Prediction; canonical CBOR
packages/atelier    local demo surface (not a shipped application)
apps/harness        the MCP / HTTP harness — four tools over the frozen contracts (engine, AI side)
apps/sentinel       off-tool sentinels: Narabi daily tracker; Ukemi liquidation-book recorder (engine, AI side)
apps/bell           MONARK Bell — the first application (DeFi side): publisher, hash chain, verifier, public keyring
apps/site           public vitrine
skills/monark       the integration skill (MIT-0)
.github/workflows   CI (5 blocking jobs)

リンク

• サイト： https://monarkgate.tech
• Bell（証明付きの証人）： https://bell.monarkgate.tech
• Narabi（毎日のタイムライン）： https://monarkgate.tech/narabi/
• MCP エンドポイント： https://mcp.monarkgate.tech/mcp（HTTP/JSON ミラー：POST https://api.monarkgate.tech/{attest|gate|cascade|calibrate}）
• Linktree： https://linktr.ee/monarkgate

ライセンス

Apache-2.0 — LICENSE を参照してください。公開されている統合スキルは MIT-0 です。