跳转到内容

决策生命周期

每一次 LLM / 工具调用边界都会触发一笔 8 阶段的决策事务:

#阶段位置输出
1snapshotsidecar(in-process)snapshot_hash
2evaluatesidecar Contract DSLmatched_rules_hash
3prepare_effectsidecar(纯计算)effect_hash
4reserveledger 原子操作reservation_id
5audit_decision并入 reserveaudit_outbox 行
6publish_effectadapter(in-process)应用变更
7commit_or_releaseledgercommit_estimated / release
8audit_outcome并入 commit/releaseaudit_outbox 行

硬性不变式:阶段 1–5 原子完成(单个 Postgres 事务);sidecar 在 publish 中途崩溃时,靠 effect_hash 幂等性重放阶段 6。

正式规范见 docs/contract-dsl-spec-v1alpha1.md §6。