Graqle

---

GraQle の機能

1. 記憶します。 コード、ドキュメント、ポリシー、判断を、チャットセッションを超えて存続する、相互につながった1つのナレッジグラフにまとめます。
2. 確認します。 エージェントが行動する前に、判断保証ゲートがそのアクションをチェックし、理由と署名済みの記録とともに EXECUTE、REPLAN、HOLD、REJECT、ESCALATE のいずれかを返します。
3. 共有します。 1つのグラフを、Claude Code、Cursor、Codex、Copilot など、チーム全体のエージェントで利用できます。それぞれに個別の権限とファイルが割り当てられます。

Anthropic、OpenAI、AWS Bedrock、Ollama、Gemini など、あらゆるモデルで利用できます。完全オフラインでの使用にも対応しています。

---

クイックスタート

pip install graqle

graq scan docs ./policies          # documents, policies, ADRs -> graph
graq scan repo .                   # code -> the same graph
graq learn knowledge "vendor DPA must be signed before any data access"
graq run "what approval is needed for a large refund?"
# -> answer + confidence + the exact sources it used

AI ツール（Claude Code、Cursor、Windsurf、VS Code）に接続します。

graq init        # detects your IDE and wires GraQle in

PDF、DOCX、PPTX、XLSX を使用する場合は、pip install "graqle[docs]" を実行してください。

---

すべての判断を確認する

多くの AI ツールが返すのは信頼度を示す1つの数値だけです。GraQle はエージェントが行動する前に、個別の項目を確認します。ある項目で良い結果が出ても、別の項目で失敗した結果が覆い隠されることはありません。

• 許可されていますか？ ポリシーが有効であること、アクターに権限があること、証拠が最新であること、引数が承認済みのものと完全に一致していることを確認します。1つでも「いいえ」があれば、アクションは停止します。
• 整合していますか？ 矛盾する事実をグラフ内で追跡し、変更があれば、それに依存するすべての判断を更新します。
• 十分な確度がありますか？ 確信度は個別の項目ごとに測定し、1つのスコアにまとめません。
• 順調に進んでいますか？ 信頼性の低いステップの連続は、再試行回数の上限内で再計画するよう差し戻されます。
• 誰が承認しますか？ アクションの影響レベルに応じて、承認権限を確認します。

回答	意味
EXECUTE	すべてのチェックに合格しました。チェック失敗やエラーが1つでもあれば、この回答にはなりません。
REPLAN	より良い計画を立てて、もう一度試します。
HOLD	重要な情報が不足しています。揃うまで待機します。
REJECT	許可されていないか、証拠と矛盾しています。
ESCALATE	人間が判断します。

from graqle.assurance.gate import DecisionAssuranceGate

verdict = gate.evaluate(candidate, ctx)
verdict.outcome         # EXECUTE | REPLAN | HOLD | REJECT | ESCALATE
verdict.decisive_rule   # which rule decided
verdict.reason_codes    # why

すべての判断について、改ざんできない記録が残ります。 署名付きのハッシュチェーン形式のプロヴェナンスイベントは、W3C PROV-O にエクスポートでき、SHACL で検証できます。監査担当者は標準ツールを使って内容を確認できます。このゲートはデフォルトでは無効です。GraQle をインストールまたはアップグレードしても、有効にするまでは何も変わりません。

プロジェクトごとに有効にする方法：

1. GraQle の実行環境、または .env に GRAQLE_DAG_ENABLED=true を設定します。
2. 必須設定を指定します。GraQle に閾値、ソルト、鍵は含まれていないため、これらはご自身で選択してください。.env.example の GRAQLE_DAG_* セクションを確認し、すべてのプレースホルダー（ソルト、閾値、署名鍵の ID とバージョン、キャリブレーターのバージョン、および同セクションに記載されているその他の項目）を設定してください。値は環境変数に指定するか、GRAQLE_DAG_SECRETS_PATH（デフォルトは .graqle/graqle_secrets.yaml）で指定される非公開ファイルに保存します。環境変数の値が優先されます。
3. 通常どおり起動します。必須の値が不足している場合、ゲート設定の初回読み込み時に、不足している値の名前を示す設定エラーが発生します。暗黙的なフォールバックはありません。

確認するには、python -c "from graqle.assurance.settings import is_dag_enabled; print(is_dag_enabled())" を実行します。True が表示されます。

再び無効にするには、フラグを解除するか、false に設定します。詳しくはゲートの運用方法をご覧ください。

---

エージェントチームでメモリを共有

1つのコードベースで複数のエージェントを動かすと、通常は同じグラフがメモリ上に複数コピーされます。GraQleなら、1つだけ保持できます。

# where the graph lives
graq mcp serve --transport http --port 8765 --config graqle.yaml --allowed-roots /path/to/projects

# in each agent session (.mcp.json)
{ "mcpServers": { "graqle": { "command": "graq", "args": ["mcp", "relay", "--url", "http://127.0.0.1:8765"] } } }

• メモリ使用量を削減。 各セッションはグラフ全体のコピーではなく、小さなリレーを実行します（20,000ノードのグラフで測定済み：サーバー3台で687 MB、共有サーバー＋リレー3台で493 MB）。
• 学習内容をすべてのセッションで即座に共有します。
• 各セッションは独自のゲートとファイルを保持します - ファイルの作業は各ユーザー自身のマシン上で行われます。
• チームメイトは SSHトンネル、またはトークンを使ったHTTPSで接続します。
• 1台のサーバーで複数のプロジェクトを個別のグラフとして運用できます（TeamおよびEnterprise）。

意思決定ゲートを有効にする（オプトイン、ベースラインティア）

GRAQLE_DAG_ENABLED が設定されていない場合、意思決定ゲートはオフで、動作に変更はありません。有効にするには、次の手順を実行します。

1. ed25519署名キー（PEM、モード 0600）と、その公開キーを記載したキーマニフェスト （graqle.assurance.key_manifest_store.save_manifest）、およびカバレッジポリシーファイルを作成します。
2. GRAQLE_DAG_ENABLED=1 と、必須の GRAQLE_DAG_* 設定を指定します：SIGNING_KEY_ID、 SIGNING_KEY_VERSION、SIGNING_KEY_PATH、COVERAGE_POLICY_PATH、CONFIG_SALT、CAP_VALUE、 HG05_POISONING_THRESHOLD、HG07_MATERIALITY_THRESHOLD、CALIBRATOR_VERSION、 TRAJECTORY_ESTIMATOR、MAX_RETRY_BUDGET、CIRCUIT_BREAKER_WINDOW、SCOPE_KEY_FIELDS_REF、 MERGE_PRIORITY_REF。これらに組み込みの値はありません。値は自分で選択してください。
3. MEDIUMリスクの呼び出しを実行できるアクターを登録します（例：GRAQLE_RBAC_ACTORS_JSON）。登録済みのロールがないアクターは、ハードゲートHG-06によって遮断されます。
4. プロセスを起動します。パッケージに含まれるデフォルトのランタイムプロバイダーは、起動時に登録されます。構築できない場合、register_runtime を示すエラーでプロセスの起動に失敗します。独自のプロバイダーが必要な場合は、graqle.assurance.adapter.register_runtime(provider) を指定してください。

ベースラインティアの意思決定は、ルール DAG-RT-BASELINE-ADMIT によって制御されます。これらの意思決定では、投影スコア、信頼性、残余リスクは計算も記録もされません。リスクがLOWで、影響がゼロであり、すべてのハードゲートを通過した場合にのみEXECUTEします。それ以外はHOLD（DAG-RT-NO-EVIDENCE）となり、ハードゲートに失敗した場合はREJECTとなります。MEDIUM以上のリスクへのルーティングには、明示的な設定が必要です。すべての意思決定は、署名付きのハッシュチェーン形式の来歴イベントとして書き込まれます。書き込みができない場合、呼び出しは実行されません。

これはエビデンスティアBASELINEにおける、ポリシー範囲に限定された認可です。グラフの情報を取り入れたものではなく、安全性を検証するものでもありません。エビデンスを利用したスコアリングは0.88（CR-DAG-088-1）で導入されます。python scripts/dag_wheel_e2e.py を実行すると、クリーンな仮想環境でビルド済みホイールを使ってこれらの手順を実行できます。

---

信頼性

• ローカルファースト、テレメトリーなし。 グラフは自分で管理するファイルです。外部に情報が送信されることはありません。
• デフォルトでセキュア。 ローカル開発モードを明示的に有効にしない限り、サーバーには認証が必要です。グラフのアップロードによって、別のグラフが気付かれないまま上書きされることはありません。
• 署名付きリリース。 Sigstore署名付きホイール、CycloneDX SBOM、再現可能なビルド。
• 規制対象の業務。 自社のEU AI Act対応ファイル用の監査証跡とエビデンスをエクスポートできます - GraQleはエビデンスを提供しますが、コンプライアンスを実現するとは主張しません。詳細

脆弱性は [email protected] までご報告ください · SECURITY.md

---

エディション

	利用できる機能
Free	ナレッジグラフ、すべてのコアツール、ガバナンスゲート、Decision Assurance Gate、1プロジェクト用の共有サーバー
Pro — $19/mo	クラウド同期、優先モデル、ホスト型の透明性ログリレー
Team — $29/dev/mo	プロジェクト間でのグラフ共有（マルチプロジェクトサーバー）、チームの学習内容、監査ログの保持
Enterprise	オンプレミス、カスタムバックエンド、サポートSLA - お問い合わせ

---

最近のリリース

• v0.87.0 — 意思決定保証ゲート：5つの回答による意思決定、矛盾の追跡、各次元の信頼度、再計画、署名付き来歴記録。
• v0.86.0 — エージェントチームで共有する1つのメモリー：共有サーバー、軽量リレー、セッションごとのゲート、各ユーザーのマシン上でのファイル操作、デフォルトでセキュアなサーバー。

変更履歴の全文

---

特許とライセンス

中核となる手法は特許出願中です：EP26167849.4、EP26162901.8、EP26166054.2。ソースは GraQle License の下で完全に監査可能です。詳しくはLICENSEをご覧ください。