意圖、能力與風險決定 template / mode。
5–10 分鐘快速建立心智模型
先看懂控制面，再深入原始碼。
Better Workflows 的重點不是「agent 做了多少」，而是 每一個關鍵結論是否有新鮮、可重驗、綁定正確來源的證據。
8 個權威邊界
3 種 replay
101 種 evidence
約 8 分鐘
01 · CONTROL FLOW
一條請求，怎麼走到可證明完成
先記住資料與權威的方向。關鍵不是步驟數，而是任何一個 binding 失配都必須停下。
凍結 goal、scope、驗收、權限與 stages。
HEAD、index、status 與 sentinel 形成來源身分。
Append-only events 重播成 ready / blocked / complete。
Producer、payload、digest 與 freshness 全部要成立。
Finding 綁 exact diff；P0/P1 必須收斂。
短效 token 只允許固定 executable / argv。
Provider receipt 與最後 sentinel 決定終態。
02 · MENTAL MODEL
四件事，不能互相代替
這是理解整套系統最重要的分界：成功執行不等於有證據，有證據也不等於外部世界已完成。
執行成功
命令或 agent 回傳成功，只說明那次執行沒有直接失敗。
證據有效
證據必須符合 kind、producer、schema、freshness 與 digest。
外部已對帳
Provider 的實際狀態必須由 receipt 或查詢重建，而非相信本機呼叫。
可以宣告完成
重驗 ledger、review、evidence、sentinel 與 side effects 後才有終態。
03 · ASSURANCE MODES
Mode 是驗證強度，不是 agent 數
風險提高時，系統增加 governed run、fresh evidence、獨立 critics 與 fail-closed gates；mutation authority 仍在 root。
direct
低風險、可回復；root 直接執行，不建立 governed run。
verified
新鮮證據，加上 1–3 個唯讀 reviewer 做交叉驗證。
deep
在 verified wave 後加入獨立 Codex critics 與 broad review。
critical
不可逆副作用要求完整 authority、exact critic 與 reconciliation。
01 · REPLAY TAXONOMY
Replay 至少有三種語義
它們都用持久化輸入重建結論，但輸入、輸出和 failure policy 不同；reconciliation 更不是「再送一次」。
Ledger replay
events → stateTaskContract + ordered events + admitted evidence 重建 ready set 與 task state。
Evaluator replay
witnesses → comparisonCorpus、immutable snapshots、prompts 與 signed witnesses 重算分數和比較。
Provider reconciliation
attempt → truth同一 action attempt 對帳成 success / failure / unknown；禁止 blind retry。
02 · TRUST BOUNDARY
Repo 寫政策，Host 證明怎麼執行
Critical evaluator 的信任根在 candidate 無法修改的 host boundary，而不是 repo 內一段「請相信我」的程式。
Clean worktree、full SHA、candidate / baseline digests。
Root-owned path、binary、schema 與 compatibility。
固定 executable / cwd，限制 uid、gid 與環境。
Nonce-bound、單次請求、固定 upstream。
Single user input、tools off、strict JSON schema。
Request、response、runtime、model、issuer 全綁定。
驗簽、distinct witnesses、prompt 重建與 comparison。
Tie、noise、regression 或 mismatch 都不產生 authority。
!
Blocked / indeterminate 是正確的產品狀態
缺 evidence、source drift、host 不可證明或 provider unknown 時，系統拒絕用猜測製造完成感。
FULL FIELD GUIDE
心智模型有了，接著看證據與原始碼。
完整版包含 15 個章節、互動式架構圖、mode / template 比較、Ledger 實驗室、Self-improve witness 計畫與 60 個 source locators。
開啟完整版