|
# 智能体执行前状态见证核验工作流
## 套餐描述
在智能体工具执行前重新核验目标状态、策略版本和动作摘要，状态漂移时生成可审计阻断结果。
## 详细介绍
# 智能体执行前状态见证核验工作流
**3个实用技能 · 3步完成 · 每一步都能单独使用**
面向会修改外部状态的智能体动作：在真正执行前固定目标、动作参数、预期前置状态和策略版本，重新读取见证并在状态漂移时 fail closed；只生成核验结果，不执行工具或写入系统。
3个可下载技能 · 每个技能可单独运行
## 3步自动化工作流
### 🔵 1 智能体状态见证契约整理
技能文件：`agent-state-witness-contract-normalizer`
**解决什么：** 把动作、目标、状态来源、策略版本、执行前预期状态、执行后预期状态和动作摘要整理成可重算契约，避免只依赖模型或旧截图。
**你会得到：** `agent-state-witness-contract.json`、字段缺口和 `contract_hash`。
**↓ 本步结果自动进入下一步**
### 🟢 2 智能体前置状态漂移审计
技能文件：`agent-precondition-drift-auditor`
**解决什么：** 对比执行前重新读取的目标状态、策略版本和目标引用，识别状态已变化、策略已升级或见证缺失的 TOCTOU 风险。
**你会得到：** `agent-precondition-drift-audit.json`，含 MATCH/DRIFT、原因和 `execution_allowed`。
**↓ 本步结果自动进入下一步**
### 🟠 3 智能体执行状态见证闸门
技能文件：`agent-execution-state-witness-gate`
**解决什么：** 汇总状态审计、动作摘要和当前策略版本，只有见证匹配才输出放行信号；漂移、摘要变化或策略不一致时生成 HOLD 队列。
**你会得到：** `agent-execution-state-witness-gate.json`，含 `ALLOW_WITH_WITNESS` 或 `HOLD`、阻断原因和 `external_action_executed=false`。
**↓ 本步结果形成最终交付**
## 实际示例
脱敏样例模拟一个“提交订单”动作：计划时目标状态为 `draft`，执行前重新读取为 `submitted`，策略版本仍一致。第一步整理见证契约；第二步输出 DRIFT 并标记 `precondition_state_mismatch`；第三步输出 HOLD，禁止再次提交。这是本地测试情境，不冒充真实客户成果。
## 适合谁
- 操作订单、工单、权限、部署、数据库或浏览器表单的智能体团队
- 需要防止观察到执行之间状态变化的 Agent 平台工程师
- 负责策略版本、动作摘要、并发更新和 fail-closed 门禁的安全团队
- 想在工具调用前加入可审计状态断言的自动化服务商
## 买家只需提供
- 已脱敏的动作、目标、参数摘要和预期前置/后置状态
- 可读取的状态来源引用、见证引用和当前策略版本
- 当前动作摘要、执行策略和状态漂移时的人工处理边界
## 使用方式
1. 使用 Python 3.10 或更高版本，在隔离目录保存脱敏 JSON，不放密码、Cookie、访问令牌或真实客户记录。
2. 依次运行契约整理、前置状态审计和执行闸门；也可单独运行任一步。
3. 在测试环境确认状态读取具有权威性、动作摘要可重算、策略版本可追踪后，再由买家系统决定是否执行。
## 交付与验收
- 三个独立技能目录，每个包含 `_meta.json`、`SKILL.md`、`README.md`、标准库脚本、agents 配置和脱敏示例。
- 三步可重复运行：见证契约、状态漂移审计、执行前闸门；前置状态不匹配时必须稳定输出 DRIFT/HOLD。
- 缺少目标引用、策略版本、动作摘要或见证时输出 REVIEW；不使用旧状态、截图或模型自述替代权威见证。
- 不包含数据库、浏览器、队列、策略引擎、账号、密钥、工具调用、并发锁或人工执行服务。
## 服务说明
脚本只读取买家有权使用且已经脱敏的本地 JSON，不连接模型、浏览器、数据库或远程 API，不读取真实状态、不执行动作、不提交表单，也不改变外部状态。见证质量依赖买家提供的状态来源和摘要规则；静态核验不能证明并发环境绝对无竞态。套餐不承诺零误执行、绝对安全、合规、收入或固定节省比例；平台和 SDK 更新时需重新验收。
## 套餐图标
<img id="aimg_BEb7a" onclick="zoom(this, this.src, 0, 0, 0)" class="zoom" src="https://www.xianshe.com/data/attachment/hl_skillhub/images/bundle_icon_1_1787391764.png" onmouseover="img_onmouseoverfunc(this)" lazyloadthumb="1" border="0" alt="" />
## 包含技能
- [agent-execution-state-witness-gate
](https://www.xianshe.com/plugin.php?id=hl_skillhub&mod=detail&slug=agent-execution-state-witness-gate)
- [agent-precondition-drift-auditor
](https://www.xianshe.com/plugin.php?id=hl_skillhub&mod=detail&slug=agent-precondition-drift-auditor)
- [agent-state-witness-contract-normalizer
](https://www.xianshe.com/plugin.php?id=hl_skillhub&mod=detail&slug=agent-state-witness-contract-normalizer)
## 安装方式
此套餐为**付费套餐**，购买后可一键下载全部技能。
🛒 [点击购买并下载 智能体执行前状态见证核验工作流](https://www.xianshe.com/plugin.php?id=hl_skillhub&mod=buy&bundle_id=536)
## 收费方式
💴 **现金购买** - 需要支付 ¥191.00
## 前往安装
**[👉 点击前往套餐安装页面](https://www.xianshe.com/plugin.php?id=hl_skillhub&mod=bundle&ac=detail&slug=agent-state-witness-contract-normalizer-49095adbdd73)**
| 
喧嚣卡
千斤顶
