以下摘录自发布者现有说明，不代表平台已完成运行验证。完整交付范围、限制与验收要求请继续阅读原文。
三个独立技能目录，每个包含 _meta.json、SKILL.md、README.md、标准库脚本、agents 配置和脱敏示例。 三步可重复运行：见证契约、状态漂移审计、执行前闸门；前置状态不匹配时必须稳定输出 DRIFT/HOLD。 缺少目标引用、策略版本、动作摘要或见证时输出 REVIEW；不使用旧状态、截图或模型自述替代权威见证。 不包含数据库、浏览器、队列、策略引擎、账号、密钥、工具调用、并发锁或人工执行服务。
已脱敏的动作、目标、参数摘要和预期前置/后置状态 可读取的状态来源引用、见证引用和当前策略版本 当前动作摘要、执行策略和状态漂移时的人工处理边界
使用 Python 3.10 或更高版本，在隔离目录保存脱敏 JSON，不放密码、Cookie、访问令牌或真实客户记录。 依次运行契约整理、前置状态审计和执行闸门；也可单独运行任一步。 在测试环境确认状态读取具有权威性、动作摘要可重算、策略版本可追踪后，再由买家系统决定是否执行。
脚本只读取买家有权使用且已经脱敏的本地 JSON，不连接模型、浏览器、数据库或远程 API，不读取真实状态、不执行动作、不提交表单，也不改变外部状态。见证质量依赖买家提供的状态来源和摘要规则；静态核验不能证明并发环境绝对无竞态。套餐不承诺零误执行、绝对安全、合规、收入或固定节省比例；平台和 SDK 更新时需重新验收。
3个实用技能 · 3步完成 · 每一步都能单独使用
面向会修改外部状态的智能体动作：在真正执行前固定目标、动作参数、预期前置状态和策略版本，重新读取见证并在状态漂移时 fail closed；只生成核验结果，不执行工具或写入系统。
3个可下载技能 · 每个技能可单独运行
技能文件：agent-state-witness-contract-normalizer
解决什么： 把动作、目标、状态来源、策略版本、执行前预期状态、执行后预期状态和动作摘要整理成可重算契约，避免只依赖模型或旧截图。
What you get: agent-state-witness-contract.json、字段缺口和 contract_hash。
↓ 本步结果自动进入下一步
技能文件：agent-precondition-drift-auditor
解决什么： 对比执行前重新读取的目标状态、策略版本和目标引用，识别状态已变化、策略已升级或见证缺失的 TOCTOU 风险。
What you get: agent-precondition-drift-audit.json，含 MATCH/DRIFT、原因和 execution_allowed。
↓ 本步结果自动进入下一步
技能文件：agent-execution-state-witness-gate
解决什么： 汇总状态审计、动作摘要和当前策略版本，只有见证匹配才输出放行信号；漂移、摘要变化或策略不一致时生成 HOLD 队列。
What you get: agent-execution-state-witness-gate.json，含 ALLOW_WITH_WITNESS 或 HOLD、阻断原因和 external_action_executed=false。
↓ 本步结果形成最终交付
脱敏样例模拟一个“提交订单”动作：计划时目标状态为 draft，执行前重新读取为 submitted，策略版本仍一致。第一步整理见证契约；第二步输出 DRIFT 并标记 precondition_state_mismatch；第三步输出 HOLD，禁止再次提交。这是本地测试情境，不冒充真实客户成果。
操作订单、工单、权限、部署、数据库或浏览器表单的智能体团队
需要防止观察到执行之间状态变化的 Agent 平台工程师
负责策略版本、动作摘要、并发更新和 fail-closed 门禁的安全团队
想在工具调用前加入可审计状态断言的自动化服务商
已脱敏的动作、目标、参数摘要和预期前置/后置状态
可读取的状态来源引用、见证引用和当前策略版本
当前动作摘要、执行策略和状态漂移时的人工处理边界
使用 Python 3.10 或更高版本，在隔离目录保存脱敏 JSON，不放密码、Cookie、访问令牌或真实客户记录。
依次运行契约整理、前置状态审计和执行闸门；也可单独运行任一步。
在测试环境确认状态读取具有权威性、动作摘要可重算、策略版本可追踪后，再由买家系统决定是否执行。
三个独立技能目录，每个包含 _meta.json、SKILL.md、README.md、标准库脚本、agents 配置和脱敏示例。
三步可重复运行：见证契约、状态漂移审计、执行前闸门；前置状态不匹配时必须稳定输出 DRIFT/HOLD。
缺少目标引用、策略版本、动作摘要或见证时输出 REVIEW；不使用旧状态、截图或模型自述替代权威见证。
不包含数据库、浏览器、队列、策略引擎、账号、密钥、工具调用、并发锁或人工执行服务。
脚本只读取买家有权使用且已经脱敏的本地 JSON，不连接模型、浏览器、数据库或远程 API，不读取真实状态、不执行动作、不提交表单，也不改变外部状态。见证质量依赖买家提供的状态来源和摘要规则；静态核验不能证明并发环境绝对无竞态。套餐不承诺零误执行、绝对安全、合规、收入或固定节省比例；平台和 SDK 更新时需重新验收。
