Decision DAG
MARIA OSが組織の判断を有向非巡回グラフに変換する方法 — 追跡可能で再現可能な意思決定の数学的基盤。
単なるワークフローではない。責任を認識するDAG。
従来のワークフローはタスクをルーティングする。MARIA OSは意思決定をルーティングする — 各ノードは所有権、エビデンス要件、説明責任を担保するゲート条件を持つ。
Each node carries Risk Level, Owner, and Gate Status — no implicit dependencies
Directed
Every edge has direction. Responsibility flows forward.
Acyclic
No circular dependencies. No infinite loops.
Evidence-Linked
Every connection carries verifiable evidence.
ワークフローは何が起こるかを記述する。 DAGは誰が責任を持つかを記述する。
決定論的実行エンジン
トポロジカルソートにより、すべての意思決定ノードは依存関係が満たされた後にのみ実行される。レースコンディションなし。ゲートのスキップなし。
A node becomes ready only when ALL dependencies are complete
Graph Model
V: Decision / Execution Nodes
E: Evidence-based dependencies
Topological Scheduler
O(V + E) linear time
Dependency order guaranteed
Parallel Execution
Ready nodes run concurrently
Failures trigger local re-execution
Topological sort guarantees dependency order
Ready nodes are safely parallelized
Failures trigger local re-execution only
All transitions are immutably logged
順序通りに実行する。 ゲートを決してスキップしない。
責任を失わない自動化
すべての意思決定ノードはHuman/Agent配分比率を持つ。リスクの高いノードはより多くの人間の関与を必要とする。比率はエビデンスの蓄積に応じて進化する。
Responsibility allocation per node. h = human, a = agent.
Gate Policy enforces minimum human involvement by risk.
Responsibility Phase
HUMAN by default for high-risk decisions
Execution Phase
AGENT where safe and efficient
Even as total human ratio decreases, responsibility phase integrity is preserved
リスクスコアが配分を駆動する。 直感ではない — 方程式である。
フェイルクローズ型ガバナンスエンジン
すべてのクリティカルパスはゲートを通過する。ゲートはエビデンス要件、承認チェーン、制約検証を強制する。条件が満たされないとき、システムは停止する — デフォルトで先に進むことは決してない。
READY(v) ∧ PolicySatisfied(v) ∧ ApprovalSatisfied(v) ∧ EvidenceComplete(v)
Safety-1
High-risk nodes never complete without human approval
Safety-2
Nodes never execute without required evidence
Auditability
All completed nodes produce trace records
疑わしいときは、停止する。 デフォルトで先に進むことは決してない。
形式的検証特性
DAG構造は数学的保証を提供する：完全性（すべての意思決定が到達可能）、健全性（無効な遷移なし）、終了性（すべてのパスが終了）。
V: Decision/Execution Nodes, E: Evidence-based dependency edges
No node can reach itself through any directed path
Execute only when all predecessors complete
Required evidence must be supplied by predecessors
Higher risk demands more human involvement
High-risk nodes never complete without human approval
願望ではない。 数学的に保証されている。
すべての意思決定はリプレイ可能
DAGは完全な実行トレースを保存する：入力、出力、ゲート評価、タイミング。すべての意思決定は元のコンテキストでリプレイできる。
Each transition generates a TraceEvent
Time-travel to any point via Trace
Same graph + Same trace + Same policy = Same final state
Full Causality Chain
Every state change traces back to its cause
Human Approval Bound
Approval signatures are cryptographically linked to nodes
Policy Versioning
Every decision records which policy version was active
Evidence Immutability
Evidence bundles are hash-verified and tamper-proof
リプレイできないなら、 監査できない。
スコープはドリフトしない
実行境界は設計時に固定される。新しい要件は新しいノードを作成する — 既存の仕様を変更することはない。Architectが構造的整合性を強制する。
Action Gateway is the sole execution surface — agents have no direct write permission
Agents have no direct write permission.
All side effects pass through Action Gateway.
Even if monitoring fails, no side effect can occur without a valid ticket.
スコープドリフトはガバナンスの失敗である。 DAGは構造的にこれを防ぐ。
DAGは普遍的な調整レイヤー
Decision DAGは可視化ではない。実行基盤である — どの意思決定が存在し、誰がそれを所有し、どのエビデンスが必要かの唯一の情報源。
Knowledge & Memory Layer
Evidence Control Layer
risk ≥ 3 → primary source required
Responsibility-Aware Decision DAG
READY(v) ∧ EvidenceComplete(v) ∧ PolicySatisfied(v) ∧ ApprovalSatisfied(v)
Trace & Replay Engine
Replay(G, Trace, t) → Same State
Data is separated from Decisions.
Decisions are separated from Responsibility.
Responsibility is enforced by Gate.
Everything is replayable.
DAGは図ではない。 それがアーキテクチャである。