システム

アーキテクチャ

提案・判定・人審の三層。決定論的ロジックはポリシー言語に入れません。

提案層（非信頼）

LLM は事実を staged 提案に整えるだけで判定しません。モデルを差し替えても判定意味は揺れません。

判定層（決定論）

入力を RDF 化し、SHACL が証拠形状を検査、OPA/Rego が判定します。SLA 時間や日付計算は前段で算出済み。

人審ゲート

escalate は自動治癒しません。記名の复核者が署名するまで人審キューに留まり、判定と复核はすべてチェーンされます。

追跡可能性

各ルールに実在の出典 URL、各インスタンスに sourceURL・verifiedDate・confidence。不明な条番は「法律専門家確認待ち」とし捏造しません。

Web 層

本コンソールは薄いフロントです。/api/check と /api/ledger/verify はバックエンド /v1 へ代理し、不通なら mock に落ちます。

文書

ADR・ギャップ分析・pack 作成規範は repo の docs/ に、API 契約は policy/schema/input-v0.schema.json にあります。

  • docs/EVOLUTION.md
  • docs/gap-analysis.md
  • policy/schema/input-v0.schema.json
  • README.md
LIVE