Cruxible Core

Cruxible

cruxible.ai · クイックスタート · ドキュメント · キット · スキル

Cruxibleは、AIエージェント向けのガバナンス機能を備えた状態エンジンです。 Cruxを生成します。Cruxとは、コードのようなライフサイクルを持つ、ドメイン知識の実行可能な成果物です。型付けされ、レビューされ、バージョン管理と監査が可能で、結果に照らしてテストされます。

課題。 コードは型付けされ、レビューされ、バージョン管理されます。決定論的に実行され、テストで数秒以内に検証できます。一方、エージェントが生み出す判断、観察、再利用可能なアクション、決定は散文として残ります。散文は実行できず、提案から信頼できる状態へ進むためのガバナンスされた道筋もなく、同じことが繰り返される範囲にも制限がありません。現実の決定が確定するのは数週間から数か月後で、そのころには追跡するものがなくなっていることもあります。また、散文は共有基盤にはなりません。多数のエージェントを運用する組織では、それぞれのエージェントが独自に文書を解釈するのではなく、すべてのエージェントが同じ最新の主張、ルール、レビュー済みの行動方法に基づいて動く必要があります。

仕組み。 ドメインオントロジーとそのルールをYAMLで宣言します。再現可能なパイプラインによって、信頼できるソースデータが型付き状態に変換されます。エージェントまたは人間が判断を下すとき、Cruxibleは、主張が有効になる前に証拠とレビューを必須にできます。エージェントが有効な行動方法を学んだ場合、それも提案できます。Procedureは主張と同じレビューサイクルを経て、宣言された入力、前提条件、制限の範囲内でのみ実行されます。決定を受け入れる前に、何をもって成功とするかを明示するよう求めることもできます。結果の契約は定められた時期に到来し、現実が示した内容を記録します。クエリとアクションは同じライブ状態に対して実行され、無効な変更は拒否されます。エンジン内ではLLMは実行されません。

利用する理由。 すべてのエージェントが同じライブの主張に基づいて動作し、同じレビュー済みで範囲が定められたProcedureを呼び出せます。無効な書き込みやアクションは拒否され、矛盾は解決されるまで可視化され、決定は実際に起きたことと照らして確認できます。また、計算結果、変更、アクションの実行には、その内容を説明するレシートが付与されます。スナップショットは、比較、分岐、移行のために、特定のリビジョンにおける正確な設定、ロック、グラフ状態、Procedureの定義を記録します。バックアップは復旧に必要な監査ストア全体を保持します。この成果物全体は、個々のセッションやモデルが終わった後も存続します。

小さな例を見てみましょう。サプライヤーの在庫情報とインシデントフィードから、固定されたソースに基づいてエンティティを構築します。あるエージェントがインシデントはサプライヤーに影響すると結論づけますが、その関係は判断を要するものとして宣言されています。

entity_types:
  Incident:
    id: incident_id
    properties:
      title: string indexed
  Supplier:
    id: supplier_id
    properties:
      name: string indexed

relationships:
  - incident_impacts_supplier: Incident -> Supplier
    write_policy: proposal_only        # judgment call: enters only through review

named_queries:
  incident_impacted_suppliers:
    mode: traversal
    entry_point: Incident
    returns: Supplier
    traverse:
      - relationship: incident_impacts_supplier
        direction: outgoing

これでポリシーがランタイムの一部になります。直接の書き込みは拒否され、レビューによって判断が承認され、クエリによってその影響が計算されます。

  $ cruxible relationship add incident_impacts_supplier \
      Incident INC-TW-RAIL-2026-07 Supplier S-CN-DG-HARNESS
- Error: DirectWriteRefusedError: Direct write to relationship
- 'incident_impacts_supplier' is refused (write_policy=proposal_only).
- Use 'group propose' to stage a governed proposal. (receipt: RCP-…)

  $ cruxible propose --workflow propose_incident_impacts_supplier
  $ cruxible group resolve --group <GRP-id> --action approve \
      --rationale "Confirmed against supplier geography"

  $ cruxible query run incident_impacted_suppliers \
      --param incident_id=INC-TW-RAIL-2026-07 --json
+ { "items": [ { "entity_type": "Supplier", "entity_id": "S-CN-DG-HARNESS" } ],
+   "receipt_id": "RCP-2f61a90c84d3" }

ソースの事実は決定論的な取り込みを通じて取り込まれ、推論されたエッジはレビューを通じて加わりました。クエリはその影響をたどれるようになり、ガードやゲートはそれに作用できるようになりました。また、後から得られた観測によって、履歴を暗黙に書き換えることなく、その内容に異議を唱えられます。

INGEST       pinned feeds -> Incident, Supplier, Product, and Shipment state
CLAIM        incident_impacts_supplier: pending -> live (evidence + reviewer)
QUERY        incident_impacted_suppliers -> [S-CN-DG-HARNESS]

PROCEDURE    hold_exposed_shipments v1: pending -> live (config + lock pinned)
DECISION     hold exposed shipments; success = zero exposed shipments released
RUN          bounded provider calls complete -> receipt RCP-run-...
OUTCOME      pinned query at check time -> satisfied -> receipt RCP-outcome-...

OBSERVATION  new evidence says the supplier was outside the incident boundary
ATTESTATION  contradict incident_impacts_supplier (claim remains live)
REVIEW       attestation upheld; separate adjudication rejects the claim
QUERY        incident_impacted_suppliers -> []

SNAPSHOT     exact config + lock + graph state + Procedure definitions captured

Cruxible 自体も同じ境界を採用しています。このリポジトリでは、承認済みのレビューが状態に記録されるまで、main へのプッシュを拒否します（方法はこちら）。

pip install cruxible —
クイックスタート では、インストールから最初のクエリまでを説明します。以下のはじめにでは、モデル呼び出しや API キーなしで、シード済みのデモ環境を約 3 分で実行できます。

Crux の内部

はじめに

pip install cruxible

オーサリングスキルと 状態のモデリングを使って独自の Crux を構築するか、デモを実行してください。シード済みのサプライチェーン環境を約3分で試せます。モデル呼び出しも API キーも必要ありません。サンドボックスへの書き込みは、組み込みの operator ID に帰属します。

# shell 1 — local sandbox daemon
CRUXIBLE_SERVER_STATE_DIR="$HOME/.cruxible/sandbox" cruxible server start

# shell 2 — kit bundles are fetched from the release and digest-verified
# (agent-operation is the optional agent-ops layer; domain-only works too)
cruxible --server-url http://127.0.0.1:8100 init --kit agent-operation --kit supply-chain-blast-radius
cruxible context connect --server-url http://127.0.0.1:8100 --instance-id <instance-id>

# deterministic ingest: preview, then commit
cruxible run --workflow build_seed_state && cruxible apply --workflow build_seed_state --from-last-preview
cruxible run --workflow ingest_incidents && cruxible apply --workflow ingest_incidents --from-last-preview

# the incident feed can only PROPOSE impact edges; the judgment is yours, on the record
cruxible propose --workflow propose_incident_impacts_supplier
cruxible group list --status pending_review
cruxible group resolve --group <GRP-id> --action approve \
  --rationale "Confirmed against supplier geography" --expected-pending-version 1

# receipted answers through the edges you just admitted
cruxible query run open_incident_impacts --json
cruxible query run incident_impacted_suppliers --param incident_id=INC-TW-RAIL-2026-07 --json

エージェントが参加すると、ID 機能が有効になります。CRUXIBLE_SERVER_AUTH=true を指定して再起動し、ブートストラップ認証情報を取得して、各エージェントに専用のトークンを発行します。すべての書き込みの帰属先が記録されます。詳細、権限ティア、セキュリティ強化については、 クイックスタート · ランタイム認証とエージェントの役割をご覧ください。

ルールは実行される

Cruxible は、ルールに従うようモデルに求めません。ルールはコードとして実行されるからです。設定で宣言されたルールは、あらゆる変更のたびに書き込みのチョークポイントで実行され、このチョークポイントを迂回するコードパスはありません。

ガードは内向き（稼働中の状態の書き込み境界）に作用し、ゲートは外向き（状態が一致するまで外部アクションを保留）に作用します。

gates:
  merge-review:
    kind: git-pre-push
    entity_type: ReviewRequest
    match_property: change_head
    condition: {status: approved}
    adapter: {branch_pattern: refs/heads/main}

このリポジトリもそのゲートのもとで動作しています。レビュー記録が状態上で修正されるまで、私たち自身の 0.2.2 リリースのプッシュも拒否されました。修正したのは状態であり、フックではありません。

全体のウォークスルー

詳細解説では、統制された真実を端から端まで一つ構築します。レビュー済みの単一の判断によって、クエリが再帰的な部品表をたどり、型付きの関係を 5 段階下流までたどって、エクスポージャーのあるすべての出荷品を特定します。その結果には、explain で説明できるレシートが付属します。

このスクリーンショットは、インスペクション UIのレビュー画面です。提案された各エッジには、それに一致した証拠が付属し、来歴レールからワークフロー、レシート、トレースをたどれます。

Cruxible が適する場面

Cruxible は、ソースシステム、ドキュメント、検索を置き換えるものではありません。これらのレイヤーは、エージェントが証拠を見つけて解釈するのに役立ちます。Cruxible は、システムの他の部分が一貫してクエリし、強制し、またはそれを通じてアクションを実行する必要のある、より小さな一連のコミットメントを保持します。

情報が読むためだけに役立つのであれば、アーティファクトまたは検索レイヤーに置いたままにします。複数のセッションにわたってエージェントがその情報を最新情報として信頼し、その影響をたどり、強制し、またはそれを通じてアクションを実行する必要がある場合は、その知識を Crux にコンパイルします。

キット

キットは、Crux 用の再利用可能なテンプレートです。オントロジーと、そのガバナンス、クエリ、ワークフロー、プロバイダーをひとつにまとめた、バージョン管理可能で合成可能な単位です。各キットの ガイドでは、最初から最後まで実行する手順を紹介しています。

ドキュメント

• クイックスタート — インストールから最初のクエリまで
• 概念 — アーキテクチャと基本要素
• 詳細ガイド — ガバナンスされたドメインを最初から最後まで解説
• 状態のモデリング — オントロジーの設計
• 設定リファレンス — YAML 設定スキーマ
• CLI リファレンス · MCP ツール · AI エージェントガイド
• キットガイド — KEV、サプライチェーン、判例法、エージェント運用。デプロイ、認証、バックアップ、公開に関するガイドもすべて docs/にあります。データから状態を作成するためのエージェントスキルもご覧ください。

テクノロジー

Cruxible は、検証にPydantic、メモリ内のグラフ操作にNetworkX、データ操作にPolars、ローカルの永続状態にSQLite、デーモンにFastAPI、MCP ツールにFastMCPを使用しています。

貢献

貢献を歓迎します。詳細は CONTRIBUTING.mdをご覧ください。 ガバナンスされたエージェント状態に取り組んでいる方は、リポジトリにスターを付けるか、ユースケースを添えてイシューを作成してください。

ライセンス

Apache 2.0