arifos-mcp

⚠️ 現在の検証済み状態 — 生成されるものであり、手動編集は禁止されています

ランタイム自己測定（http://127.0.0.1:8088/health @2026-10-26T16:06:09Z）：カーネル 劣化 · フロア 13件中11件で合格を測定 · 失敗：F8 · vault999 は正常 · リリース arifos-42f52e6c66e2 · ドリフト aligned（source=built=deployed）· 公開ツール数 9。フロアごとの由来情報：.well-known/current-state.json。

独立監査（2026-10-11、FI-008 による実稼働環境の再プローブと主張単位の人手監査。証跡：AAA/forge_work/grant-arifos-reality-reforge-2026-10-11/）：フロア 2件合格 · 失敗 F2、F11、F12、F13 · 未測定7件 = 個別に13件（キーの生カウントは10。L11/L12/L13 は、失敗した F11/F12/F13 の L 接頭辞付き別名）· アクターのバインドは未検証（観測された呼び出しに署名なし）· 呼び出しテレメトリー面で証跡の忠実性に問題あり（HOLD が ok:true として永続化）· 独立した再構成：外部検証者とのバインドなし。

これらは異なる2つの証拠オブジェクトです。 自己測定 ≠ 独立監査です。 未測定は合格を意味しません。このブロックとライブエンドポイントが食い違う場合は、エンドポイントを 優先してください — python scripts/generate_current_state.py を再実行してください。

機械可読状態：.well-known/current-state.json · バッジフィード：.well-known/badges/ · 既知のギャップ：まだ証明されていないこと

arifOS

実行前の権限判定。

arifOS は、AI エージェントのためのモデル非依存の権限レイヤーです。 13 項目の憲法上の最低基準に照らして、重大な提案を実行前に評価し、統制された判定を返し、人間の拒否権を維持し、何が起きたかを監査可能な記録として残します。

知能が豊富にある世界では、権限が希少な資源になります。arifOS は、判断を実行から独立させます。

ドキュメント · ライブカーネル · MCP · MCP レジストリ（Glama） · PyPI · セキュリティ · 証拠

提案者 ≠ 判定者 ≠ 実行者 ≠ 証人 人間の主権 ＞ 機械の権限

arifOS ではないもの： AI モデルではありません · エージェントフレームワークではありません · 実行エンジンではありません（実行するのは A-FORGE です） · 注意レイヤーではありません（AAA が注意を向けます） · 証人ではありません（FRAME が証言し、VAULT999 が記憶します） · 認証、サンドボックス化、法的審査の代わりにはなりません。

ライブ環境：https://arifos.arif-fazil.com · MCP :8088 · 関連オルガン AAA · A-FORGE · GEOX

開発者について

arifOS は、キャリアを通じて、観測が不完全で、解釈が確率的であり、来歴が重要で、取り消せない行動にはゲートを設ける必要がある状況で意思決定を行ってきた、上級探査地球科学者の Arif Fazil が開発しました。彼はその規律をエージェントのランタイムガバナンスに取り入れました。

私はプログラマーではなく、地質学者です。 このコードベースを書いたわけではなく、行単位で読むこともありません。私がするのは、問題のある箇所を示すことです。そして、私が定めた憲章とレビューゲートの範囲内で、私の連邦に属するエージェントが問題を解決し、誰が何を実行したかを示すコミット履歴を残します。

この主張を確かめたい場合は、コミットを読んでください。作成者欄にあるのはエージェントのハンドル名で、私の別名ではありません。これはこのプロジェクトの意図的なあり方であり、隠している詳細ではありません。また、率直な期待値も示しています。設計と判断は私のもので、実装はエージェントのものです。そして両者が食い違う場合、その説明責任を負うべきなのは私です。

このシステムは創設者にちなんで名付けられ、根本的な信念を反映しています。ガバナンスはシステムの問題であり、モデルの問題ではありません。

一人の人間と、その人が指揮するエージェントたち。

30 秒でわかる実証

pip install arifos
python examples/enterprise_operations_demo.py

採点対象となる 6 つのシナリオのうち、3 つを紹介します。

Read customer account data        → SEAL   (receipt RCPT-…)
Major refund (50× the ceiling)    → HOLD   (awaiting human)
Delete account + audit trail      → VOID   (blocked by a hard floor)

完全なトランスクリプトは docs/QUICKSTART.md をご覧ください。デモはプロセス内で実行され、実際の記録や資金には触れません。

現時点でできること

• LLM に問い合わせずに、決定論的に拒否します。 ジャッジはモデルの意見ではなく、憲章に基づいて拒否します（gate: hard_deterministic、llm_consulted: false）。
• テスト済みの未許可の変更を防止します。 権限を提示しない MUTATE クラスの呼び出しが 1 件、実行前に阻止されました。

まだ証明されていないこと

各行には、それぞれ固有のギャップが記載されています。古い主張を、より強い主張に置き換えて修復することは、置き換えた古い主張よりも悪い結果を招きます。（クローズ済みの行は、docs/evidence/GAP_HISTORY.md に証跡が記録されています。）

脅威モデルと脆弱性の開示ポリシーについては SECURITY.md を、機械可読な主張レジストリについては docs/evidence/claims.yaml を参照してください。

仕組み

  Agent proposes action
         │
         ▼
  ┌─────────────────┐
  │   arifOS Kernel  │  Evaluates against 13 constitutional floors
  │     (:8088)      │  Records provenance + evidence refs + hashes
  └────────┬────────┘
           │
    ┌──────┼────────┬──────────┬───────────┐
    ▼      ▼        ▼          ▼           ▼
  SEAL    HOLD    SABAR     PARTIAL      VOID
  (go)  (wait for (defer —  (proceed   (blocked by
        human)    evidence   with       a floor)
                  pending)   cooling)
    │      │
    ▼      ▼
  Execute  Human
  via      reviews
  A-FORGE
    │
    ▼
  Receipt in VAULT999 (append-only hash chain)

ジャッジは実行しません。エグゼキューターは認定しません。

Verdict の格子

Verdict は順序付けられており、相殺されません。強い verdict は常に弱い verdict より優先されます（arifosmcp/models/verdicts.py）：

VOID  >  HOLD_888  >  HOLD  >  SABAR  >  PARTIAL  >  PROVISIONAL  >  SEAL

Floor は決して平均されません。1 つでも Floor を満たさなければ、その結果は verdict に反映されます。相殺スコアはありません。

13 の憲法上の Floor（F1–F13）

意味上の分類は 3 つあります。スコア Floor（高いほど良く、閾値以上）、範囲 Floor（F7 は範囲内）、上限 Floor（F9、F12 は低いほど良い）。正規ルールの全文：FEDERATION_CONTRACT.md §3 · GENESIS/000_KERNEL_CANON.md。

VAULT999 — 記録

重大なすべての verdict とレシートは VAULT999 に記録されます。VAULT999 はハッシュチェーンで連結された追記専用の JSONL 台帳群です。設計上、改ざんの痕跡は検出できますが、改ざんを完全に防げるわけではありません。各エントリーにはペイロードハッシュ、エントリーハッシュ、前のハッシュ、トレースルート、アクター、セッション、証拠への参照が含まれます。ソースペイロードはコピーされません。

ハッシュチェーンが証明するのは内部整合性であり、台帳を保有する者による書き換えがないことではありません。 外部アンカリング（公開されたチェーンヘッド、外部署名）は実装されていません。現時点で VAULT999 は自己検証可能ですが、独立した証明はできません。件数調査の方法と件数：docs/evidence/VAULT_CENSUS.md（件数を引用する際はタイムスタンプも記載してください）。

MCP クライアントを接続する

https://mcp.arif-fazil.com/mcp      # canonical public door · or http://localhost:8088/mcp self-hosted

正式なエンドポイント： https://mcp.arif-fazil.com/mcp。評価 A の Glama MCP ディレクトリに掲載され、検証済みです。公式レジストリマニフェスト：server.json。https://arifos.arif-fazil.com/mcp は稼働中のエイリアス（同じカーネルにプロキシします）です。クライアント設定には正式な URL を使用してください。

{ "mcpServers": { "arifos": { "type": "streamableHttp", "url": "https://mcp.arif-fazil.com/mcp" } } }

{ "mcpServers": { "arifos": { "url": "https://mcp.arif-fazil.com/mcp" } } }

{ "mcpServers": { "arifos": { "type": "streamable-http", "serverUrl": "https://mcp.arif-fazil.com/mcp" } } }

{ "mcpServers": { "arifos": { "command": "npx", "args": ["-y", "mcp-remote", "https://mcp.arif-fazil.com/mcp"] } } }

実測したプロトコルの情報： カーネルは 2026-07-28 を提示し、2026-07-28 · 2025-11-25 · 2025-03-26 · 2024-11-05 を受け付けます。現在、ライブの initialize では 2025-11-25 が選択されます。何かを固定するなら、これを指定してください。

curl -s http://localhost:8088/mcp \
  -H 'content-type: application/json' -H 'accept: application/json, text/event-stream' \
  -d '{"jsonrpc":"2.0","id":1,"method":"tools/list","params":{}}'
# → 8 tools: arif_init arif_observe arif_think arif_route arif_memory arif_judge arif_forge arif_seal

セッションの流れ（エージェントはここから開始）

カーネルは、判定を行う前にセッションをバインドします。

// 1 — arif_init: actor identity + authority band (HOLD is the normal starting state)
{ "name": "arif_init", "arguments": { "mode": "init", "actor_id": "my-agent", "intent": "…" } }
// 2 — arif_judge: evaluate a proposal → verdict + evidence + next_safe_action
{ "name": "arif_judge", "arguments": { "candidate": "Delete the production audit table", "action_tier": "standard", "session_id": "…", "actor_id": "my-agent" } }
// 3 — arif_seal: only after a SEAL verdict; appends the receipt to VAULT999
{ "name": "arif_seal", "arguments": { "payload": "…", "session_id": "…", "ack_irreversible": true } }

セッションなしで arif_judge を呼び出すと、カーネルは actor: anonymous、authority: OBSERVE_ONLY、verdict: HOLD と応答します。証明されていない呼び出し元を、暗黙に昇格させることはありません。

ステージ番号（唯一の正規情報源）。 動詞は、承認済みの8段階マップに従います：000 INIT · 111 OBSERVE · 333 THINK · 444 ROUTE · 555 MEMORY · 666 JUDGE · 777 FORGE · 999 SEAL（arifosmcp/constitutional_map.py、2026-07-31 に F13 承認）。廃止された 888 の judge ラベルは履歴ミラーにのみ残っており、現在のワイヤー上では 666 です。

ガイド付きチュートリアル：docs/START_HERE.md · 検証済みのdocs/QUICKSTART.md。

機械可読な情報

アーキテクチャ

arifOS Federation — planes and classes

    ┌───────────────────────────────────────────────────┐
    │  Authority plane — arifOS :8088                    │
    │  Constitutional judgment · F1–F13 · VAULT999        │
    └──────────────────────┬────────────────────────────┘
                           │
    ┌──────────────────────▼────────────────────────────┐
    │  Attention plane — AAA :3001                       │
    │  What matters · routing · state · skill catalog    │
    └──────────────────────┬────────────────────────────┘
                           │
    ┌──────────────────────▼────────────────────────────┐
    │  Execution plane — A-FORGE :7071/:7072             │
    │  Governed mutation · leases · receipts             │
    └──────────────────────┬────────────────────────────┘
                           │
    ┌──────────────────────▼────────────────────────────┐
    │  Witness + record — FRAME :18085 · VAULT999        │
    │  Independent observation · immutable history       │
    └───────────────────────────────────────────────────┘
        boundaries:  HERMES :18087 (semantic) · CHRON :18102 (temporal)
        domains:     GEOX :8081 · WEALTH :18082 · WELL :18083
        metabolism:  arifFlow :7073      gateway: FED :7074      synthesis: i-ARIF

ツール数の定義（どの画面でも数値が食い違わないようにするため）：tools_loaded = 8 — 公開 MCP ファサード（KERNEL_ABI_8）であり、公開時に引用する唯一の数値です · canonical superset = 25（公開 ABI 8 個 + マップ専用の動詞 4 個：arif_fetch、arif_challenge、arif_stage、arif_measure + 非表示の動詞 13 個） · total_declared = 48（canonical 8 個 + 診断用 40 個） · registry = 62（エイリアスを含む） · operational = 3（過去 24 時間以内に永続的な SUCCESS を達成 — 呼び出し可能なだけではなく、実稼働が証明されています）。

検証ステータス

動的な値は、このファイルの冒頭にある生成ブロックに記載されています。この表では、各項目の検証方法を示しており、古くなった数値の複製は掲載していません。

運用ゲート（CI）

関連リポジトリ

現在、公開リポジトリはありません： FED（:7074）と i-ARIF はデプロイ済みで到達可能ですが、ソースは公開されていません。これらの動作は /health から観測された範囲に限って扱ってください。

エビデンスと信頼

arifOS は、その主張を検証可能なエビデンスとして公開しています。すべての公開された主張は、再生成可能な成果物にリンクされています。

誠実さの原則： 合格した項目、不合格だった項目、そして不明なままの項目を公開します。エビデンスを超える成熟度を主張することはありません。

外部での認知と発見可能性

arifOS は、公式ドメイン以外でも公開情報として見つけることができます。

現在、測定されている状況

• 発見可能： はい
• インストール可能： はい（pip install arifos）
• 調査可能： はい
• フォーク可能： はい

検証済みの公開場所

• GitHub の公開リポジトリ（ariffazil/arifOS、ariffazil/arifosmcp）
• PyPI パッケージ（arifos、arifosmcp）
• MCP エコシステムのディレクトリ（model-context-protocol.com、glama.ai）
• サードパーティの MCP カタログ（Loomal、Skills Playground、LobeHub、G2、Willow）

独立した参考情報の候補（観測された主張）

• Agentrust：Awesome AI Governance（本番環境向け AI ガバナンスフレームワークの厳選リスト）
• Tom Rochette：AI Control Planes Research（権限分離と自己監査文化に関する技術評価）
• Hapax Systems：Constitution Research（ランタイム公理適用に関する比較ベンチマーク）

未解決のギャップ

• 独立した検証はまだ確立されていません
• 独立した CI 検証者はまだ紐付けられていません（未解決のギャップ 4）
• 学術論文からの引用はまだ確立されていません
• 商用導入は独立して検証されていません

発見可能であることを、支持、認証、導入、または有効性の証明と解釈しないでください。

参照：docs/EXTERNAL_WITNESS_LEDGER.md および docs/EXTERNAL_FOOTPRINT.md。

対象読者

規制環境で AI エージェントをデプロイし、提案と実行の間に独立した判断レイヤーを必要とするオペレーター。サービスとしてのポリシー決定ポイントを求めるエージェントシステムを構築する開発者。AI ガバナンスフレームワークを評価する評価者およびセキュリティレビュー担当者。特定分野（地球科学、金融、医療）に合わせてガバナンスを適応させるドメインビルダー。

こちらから始めてください：docs/START_HERE.md

開発

git clone https://github.com/ariffazil/arifOS.git
cd arifOS
pip install -e ".[dev]"                       # dev tier — kernel + test tooling
python -m pytest tests/ -q                    # needs a live kernel at :8088 (see gaps)
make health                                   # probe the kernel
PORT=8088 arifos-mcp streamable-http          # start the kernel
python scripts/generate_current_state.py      # re-stamp the generated truth block

自動化領域の主権的な所有権については、CODEOWNERS と CONTRIBUTING.md を参照してください。

arifOS/
├── arifosmcp/          # Core kernel package                    [wheel root]
│   ├── abi/            # Capability registry and floor definitions
│   ├── constitution/   # Constitutional floor implementations
│   ├── contracts/      # Packaged copy of the identity/verdict contracts
│   ├── kernel/         # Core judgment engine
│   └── VAULT999/       # VAULT999 ledger implementation
├── arifos/             # Phase 3 identity/consent namespace      [wheel root]
├── contracts/          # Runtime contract package                [wheel root]
├── core/               # Load-bearing legacy root                [wheel root]
├── schemas/            # INIT v2 schemas (F13-ratified 2026-09-20) [wheel root]
├── examples/           # Runnable governed workflow demo
├── tests/              # Test suite (pytest)
├── scripts/            # Operational tooling (update_readme_sot.py, generate_current_state.py)
├── .well-known/        # Generated machine state + truth badges (gitignored: state/)
├── docs/               # Documentation + evidence/ + archive/
└── pyproject.toml      # Package metadata — [wheel root] marks packages.find.include

セキュリティ

脅威モデル、既知の脆弱性、情報開示ポリシーについては、SECURITY.md を参照してください。

ライセンス

AGPL-3.0 (LICENSE)。ネットワーク経由でデプロイする場合、サービスを利用するすべてのユーザーが完全なソースコードを入手できるようにする必要があります。

改訂日 2026-10-17 — APEX-ZEN アップグレード：人間の物語を前方に移動し、創設時の背景を統合し、30秒で確認できる証明を強調し、「未検証」の重複を統合し、「ドリフト整合」の意味（バイナリがビルドソースと一致することを示し、必ずしもリポジトリの HEAD との一致を示すわけではない）を明確化しました。前回の改訂：2026-10-16、AGENTIC-README-DOCTRINE v1 に基づいて再構成。過去の監査：2026-09-21 全面再測定 · 2026-09-22 Copilot 外部 ENTERPRISE · 2026-10-11 独立再調査 · 2026-10-17 4者による監査（333-AGI + IrfanClaw + ChatGPT + WawaBot）。

Ditempa Bukan Diberi — 鍛えられたものであり、与えられたものではありません。

🔗 フェデレーション ID