搜尋完整文件

輸入關鍵字,例如 idempotency、proposal lifecycle 或權限。

選擇 開啟
English
瀏覽文件

Govern · 核心概念

Govern 核心概念

Govern 位於 agent 輸出與 host 產品權限之間。它把 request、host event 與 tool result 轉成有界的 reply、proposal 或 noop,但不會成為業務事實來源,也不負責執行業務操作。

Host event
  → input
  → turn
  → versioned host tool
  → effect
      ├─ reply
      ├─ proposal → host review and execution
      └─ noop
  → trace and evidence

Input

Input 是進入運行時的標準化 request、event 或 callback。Envelope 會帶上運行時上下文、來源沿革、correlation、causation 與冪等識別。

Input 所引用的業務事實仍由 host 負責。Govern 收到 event,不代表 payload 會永遠保持最新。

Turn 與 Effect

Turn 是運行時對一筆 input 進行的一次治理評估。每次只能選擇一個有界 effect:

Effect意義
reply產生交給 transport adapter 的回覆
proposal保存一筆可審查的操作候選
noop不產生外部副作用,但保留 trace
handoff保留狀態;目前尚不能 dispatch

TurnOrchestrator 選擇 effect,EffectDispatcher 記錄並 dispatch 已支援的結果。Model response 必須通過這層運行時邊界,才會成為 effect。

Host Tool

Host Tool 是版本固定、schema 固定的 endpoint,用來回傳最新的 host-owned facts 或一個有界候選。Tonetify 會選擇已註冊的 binding,並在呼叫時附上 correlation、causation 與冪等資訊。

Tool payload 裡的 domain semantics 由 host 定義。Tonetify 驗證通用 envelope 與固定 schema,但不重新解釋 eligibility、budget、targeting 或其他業務規則。

Action Proposal

ActionProposal 記錄可能執行的操作、提出原因、使用的上下文,以及 delivery 與 lifecycle 狀態。它也能攜帶供營運介面使用的 review evidence 與 risk information。

Proposal 不等於批准、執行,也不代表操作到執行時仍然有效。Host 必須在執行前套用自己的 policy 與最新 business truth。

Authority 與 Permit

Authority 回答特定 actor 或 policy 是否能授權一次 mutation。Permit 則把這份權限縮小到特定操作、audience、scope 與 validity window。

Govern 已有 durable authority、permit、credential、receipt、witness 與 reversal primitives。它們目前仍是 emerging in-process governance spine,不是公開 authority service。本文件描述的參考整合路徑只到 proposal review 與 lifecycle reconciliation。

Evidence

Evidence 記錄運行時觀察到的事實,包括 tool result、proposal lineage、delivery attempt、host callback、receipt 與 witness facts。這些資料支援審查與 replay,但不會取代 host business truth。

權責邊界

Tonetify Govern 負責Host 產品負責
運行時標準化與 orchestrationIdentity 與最新業務狀態
版本化 tool invocationTool payload semantics 與 eligibility
通用 proposal envelope 與 lifecycleApproval policy 與 operator decision
Runtime trace 與 evidence metadataMutation execution 與 durable outcome

下一步:描述 Host Runtime