@givolt/i3-composer-agent 2.3.7 → 3.1.0

package/skills/i3-enterprise-sop/references/testcase/readme.md

@@ -0,0 +1,61 @@
+# 企业 SOP · TestCase 阶段资源
+
+<!-- i3:zh-guide:start -->
+## 中文使用说明
+
+按下文完整工程步骤、检查项与验证条件执行。根据任务选择适用步骤，保留证据、风险和退出条件；正文示例中的英文标签在面向用户输出时译为中文。
+
+默认使用简体中文解释、追问及生成报告；用户明确要求其他语言时可切换。原方法正文、引用、阈值和审批条件完整保留。代码标识、路径、命令、工具参数、JSON 键/枚举与原文引用保持原样。
+<!-- i3:zh-guide:end -->
+
+当前子包版本：0.3.4；模板内容版本沿本阶段manifest，正文不改。下文B05等旧版本文字保留为历史说明。
+
+审查加载分支：review／recheck完整读取本README、完整模板、唯一动作、实际业务与采用约束，依[统一审查约定](../review-handoff.md)由外层解析元数据并保留变化核对。下文涉及整套共用文件的加载要求在这两个动作按该分支理解；未知自改组合完整读选定原件，其余作业及实质条款保持。
+
+前版子包版本：0.3.1；模板内容版本：v0.0.4。状态：本地候选，尚未发布。完整[模板](templates/testcase.md)和[共用合同](../template-contracts.md)用于明确任务，不新增Skill／命令／自动调度，原方法内容／工具／认可／停轮保留。
+
+从[入口](../readme.md)和[阶段索引](../stages.json)选本阶段，按[清单](assets-manifest.json)定位[生成](prompts/01-generate.md)、[独立只读审查](prompts/02-review.md)、[明确委托修订](prompts/03-revise.md)、[独立只读复查](prompts/04-recheck.md)，四作业不自动串行。可复用方法：i3-documentation-and-adrs与测试设计内容检查，不是/i3-test执行任务；实际原生调用和读取分别取证。
+
+## 1. 本阶段输入与内容
+
+
+- §0.2、§6.1按路径、正文版本和条款固定本主题及必要关联组合；公共规范、共享契约／数据权威、提供消费AD、代码／服务／环境版本分别表达，不取最大版本、不强制同号或SHA256，不跨对象比较版本。
+- §3.3、§6.2核唯一业务状态／写入责任、可信租户和主体作用域、幂等重放与新请求的校验顺序、严格消费者及快照过期；产品预期直接核PRD，不复制AD遗漏，不自造正式业务决定。
+- §6.2—§6.4覆盖真实交接、拒绝／失败／UNKNOWN／重复／并发、回执查询、部分成功和恢复；核旧新组合、存量迁移／备份／不可逆限制、必要传递影响及既有行为回归，无关主题不机械改写／升版。
+- §7.1中TestCase是Plan的可选输入：需求、技术约束与验证要求足够即可规划，已有则读取，没有则安排补齐设计；未定判据只限制依赖任务，不取消SPEC六项、必要人审或执行前检查。
+- §0.2明确原test及Build复用TDD，可写测试和实现，不是只读文档生成；原代码review保留五维与临时变异验证，不整体套作零写入的文档review／recheck。本资源不实现JSON登记接点，不自动调用原入口或下阶段。
+- §8.1只定义未来报告的准确组合、实际候选／环境／数据、逐项结果、副作用与证据；替身不关闭必需真实集成，未运行不造runId成功／通过率，实际脚本、Plan、锁和工程未形成不登记未来路径。
+- 原型按需且可与AD并行；保留人工修改、原报告、业务Q、有据不采纳和明确委托修订；文档审查通过不替代代码审查或业务／发布认可。
+
+
+## 2. 来源与项目采用
+
+模板基于固定设计v0.0.2与前版分发v0.0.3保留完整正文，B03新增跨主题组合、共享责任、兼容迁移、传递影响、Plan可选输入及原test／review分工。维护来源／真实摘要在清单derivedFrom中标included:false，不要求业务用户读取开发目录。
+
+sourceSha256为源码字节，sha256为既有品牌流程分发字节，清单不算自身哈希。项目副本先检查目标和人工修改；明确采用的自改副本优先，当前local hash与发行来源分开，不强制恢复原件。模板版本、项目修订与业务版本分开，不猜最新或机械升版。
+
+## 3. 写入、人工修改与退出
+
+模型从已读项目约定整理准确输入／模板／唯一目标及缺口，用户不必填每个路径。目标已存在先读和保留旧稿，不覆盖未读人工内容；仅授权目标可写。最后编辑后回读，新增规范要求逐条回源，权限／状态一致，逐表核列数和列义。
+
+review／recheck在独立新上下文只读会话输出，审查者零项目写入，报告由获准调用者另存。人可自行修改、明确委托、有据不采纳或保持Q，修订不代答业务决定。
+
+候选完成汇报实际来源／目标、假设／Q、自查和未执行事项后交人工审阅并停轮，不自动其他文档、Plan、Build、测试执行、提交或发布。模板／包／安装／宿主读取／模型行为／业务人审分别记录，本文不宣称完整3.0或所有宿主通过。
+
+## 4. 验证与实施边界
+
+本次为TestCase自有资源及必要父级引用修订。CodeBuddy合成资料验证、原入口调用、工程测试、安装及业务认可分别取证；不把资料任务称为原test／review执行。原命令不天然读取企业用例或JSON，接点留后续S11验证。B02生成未通过记录仍保留，不以本次TestCase通过替代。
+
+## B05 变更交接规则
+
+B05当时资源子包0.3.0；本次增量见收口说明，模板正文和版本保持。按[入口](../readme.md)§3列本次必要读取，实际读三份共用合同及本次唯一动作；[生命周期合同](../lifecycle-contract.md)统一新增、修改、撤销和退役，不新增命令、JSON程序或工程执行器。
+
+直接核PRD与AD；按真实目标更新新增／变更／撤销／保留预期，补停用／拒绝／替代、跨主题回归、迁移／恢复，不删失败降门槛，不编执行结果。原方法停点、只读审查与人工空间、候选／选择／Plan边界保留，项目副本升级不覆盖人工内容。
+
+## B05收口资源增量
+
+B05当时子包0.3.1，模板正文及版本不改。统一修订全文回读措辞、适用来源和单项目审查证据；外层校验见[说明](../verification/readme.md)。不把辅助资料／Plan统一变前置，不自动改业务稿、JSON、任务或原版方法。旧验证与历史版本按当时对象保留。
+
+## 审查输出契约增量
+
+B05当时子包0.3.2；前述0.3.1为上一修订。增加[机器输出契约](../verification/review-output.schema.json)与外层错误分类、来源角色绑定和有界人工停点。格式／来源定向复核只更正会话报告，保留业务稿与真实发现；不宣称重新完成全业务审查，不自动运行下阶段。TestCase模板仍v0.0.4，原版test／review分工不变。

package/skills/i3-enterprise-sop/references/testcase/templates/testcase.md

@@ -0,0 +1,269 @@
+# TestCase 模板
+
+<!-- i3:zh-guide:start -->
+## 中文使用说明
+
+按下文完整工程步骤、检查项与验证条件执行。根据任务选择适用步骤，保留证据、风险和退出条件；正文示例中的英文标签在面向用户输出时译为中文。
+
+默认使用简体中文解释、追问及生成报告；用户明确要求其他语言时可切换。原方法正文、引用、阈值和审批条件完整保留。代码标识、路径、命令、工具参数、JSON 键/枚举与原文引用保持原样。
+<!-- i3:zh-guide:end -->
+
+原型只在本次实际适用且已采用时作为输入，不因缺少原型一律停止测试设计；依赖未定交互的用例明确待确认，其他场景可以继续。最终技术判据仍需核对选定 PRD 和有效 AD，起草不等于已经执行测试。
+
+**审查只标注，使用者决定处理。**文档审查者只读标注问题、准确位置、来源、影响和修改建议，不直接修改候选。使用者可以人工修改、明确委托模型修订、有依据地不采纳建议，或将业务问题保持待确认；审查意见不自动触发改写。保留旧稿、人工修改、原报告和逐项处理依据，按项目既有约束进行必要复查；缺少真实答复不为清零而补造规则，人工编辑也不自动等于审查通过或业务批准。
+
+模板版本：v0.0.4。日期：2026-10-18。状态：自有资源候选；模板可供明确采用，业务内容与认可另行记录。
+
+采用[模板与交接合同](../../template-contracts.md)。实例文件名为 `{PBC}-{需求主题}-TestCase_v0.0.1.md`，其中包含多条用例与回归/评估安排。直接读取选定的 PRD、AD 和适用原型，不只从 AD 反推需求；设计遗漏也应被覆盖检查发现。所需条件、判据和报告合同先明确，真实执行结果另写一份或多份 TestReport，不预填通过结论。
+
+本模板承接原 SPEC 的测试策略：明确框架、测试目录、测试层级和适用覆盖要求，并固定引用 AD 的完整测试命令及运行条件。测试代码、实际报告、CONSTRAINTS 与其他辅助产物继续按原方法保留；本模板不替代原 TDD、浏览器或其他 Skill 的工具、步骤、停点和验证要求，也不强制复制 SPEC。
+
+---
+
+# {PBC名称} · {需求主题} — 测试用例与验证合同
+
+## 0. 身份与固定输入
+
+| 项目 | 本次实际值 |
+| --- | --- |
+| 能力/需求主题 | `{PBC capabilityId/名称；稳定prdId/主题；适用EBC引用}` |
+| 文档身份/版本/位置 | `{documentId；实际版本；可回读路径/固定内容及摘要}` |
+| 直接 PRD 依据 | `{选定主题、PRD版本、具体条目、固定内容与摘要}` |
+| 直接 AD 依据 | `{选定AD版本/固定内容/摘要；其产品引用与本PRD是否一致}` |
+| 原型、契约与质量规则 | `{适用原型版本/认可范围；接口、数据、项目规范固定引用；不适用或缺项说明}` |
+| 当前范围/比较基准 | `{全部有效目标、变化和保留；前次用例/真实实现及历史运行，不混为当前通过证明}` |
+| 模板/责任/状态 | `{固定模板；设计、复核、执行与业务验收责任；未指定如实写}` |
+
+### 0.1 输入与确认核对
+
+| 输入 ID | 身份/版本/具体条目 | 固定内容/摘要与已读范围 | 用途与权威定义 | 认可/真实可用性/缺口 |
+| --- | --- | --- | --- | --- |
+| `{别名}` | `{PRD/AD/原型/外部规范/真实答复}` | `{可回读引用}` | `{产品预期/技术约束/交互等}` | `{分别记录，不由文件存在推定}` |
+
+本 TestCase 对应本次选定的一个 AD 版本；后续方法改进可形成新 TestCase 版本而不强制改变 AD 或 PRD 版本。同一能力其他主题可以有自己的用例集，组合交付时显式选择配套集合及集成范围，不自动合并目录中全部最新文件。
+
+### 0.2 跨主题采用依据与原方法分工
+
+先读本主题选定PRD与直接配套AD，再按实际共享定义读取项目已采用公共技术规约、契约正文和必要关联主题。关联AD／TestCase只用于本次组合和交接，不替代本主题产品来源，不把整目录最大版本或未采用候选纳入。基本引用按实际路径、正文版本与条款核对，摘要可选；来源失效或冲突列Q及受影响范围，不静默换源，也不从历史测试恢复旧答案。
+
+| 方法／产物 | 职责与输入 | 输出及权限边界 |
+| --- | --- | --- |
+| 企业TestCase | 按PRD产品预期、AD技术判据及采用规范设计用例 | 测试设计与报告合同，不编写测试代码、不运行测试、不预填结果 |
+| 原Plan | 按当前范围的需求、设计、验证要求及真实工程拆任务 | 原tasks/plan.md和唯一任务目标；TestCase为可选输入，已有则引用，没有则安排补齐设计，不统一阻断规划 |
+| 原Build／test | 按获准任务及相关来源执行原TDD、缺陷复现、回归与适用浏览器验证 | 业务与测试代码、实际运行及构建证据；不是只读文档作业，不更改原方法或质量门槛 |
+| 企业文档review／recheck | 独立上下文核来源、语义、覆盖和报告约定 | 零项目写入，只在会话标注；有据人工处理或明确委托修订 |
+| 原代码review | 对真实代码与测试差异作原五维审查及验证 | 保留原检查和结论标准；其中临时变异检查后恢复源码涉及写入，不能整体套作零写入的文档审查 |
+
+原test是开发／修复中的TDD入口，Build也复用它；不要求每次Build之后重复执行同一无变化测试。文档审查通过不替代代码审查、测试或人类认可，保留人工修改空间不降低原合并和发布要求。原命令不天然发现企业TestCase或JSON，实际交接需明确任务或已采用指引；本资源不实现JSON登记接点、自动跨阶段执行或宿主路由。
+
+## 1. 验证目标、范围与排除
+
+`{本主题需要证明的业务行为、全部AC/复合子项、关键端到端流程、相关工程质量及受影响既有功能。产品功能验收与运行后业务效果分别说明；未知阈值或观察周期标待确认，不编造。}`
+
+| 验证对象 | 本次纳入内容 | 排除/暂不能执行范围及理由 | 依赖/风险 | 所需方法 |
+| --- | --- | --- | --- | --- |
+| `{功能/数据/权限/恢复/性能/交互等}` | `{稳定条目}` | `{必须有依据，不能暗降标准}` | `{具体问题}` | `{测试/测量/业务评审/运行观察}` |
+
+缺少环境不必阻止不依赖它的用例设计，但不能把不可执行范围写成已经通过。
+
+## 2. PRD、AD 与用例覆盖
+
+先从 PRD 独立列出应验证的产品结果，再核对 AD 对应实现和技术风险。AD 没有设计某个需求时登记缺口，不随之删除用例或产品预期。
+
+| PRD需求/AC/子项与版本 | 产品预期与来源 | AD条款/字段/契约/状态及版本 | 用例/参数子场景 | 层次与对象 | 设计覆盖缺口 |
+| --- | --- | --- | --- | --- | --- |
+| `{稳定引用}` | `{不能只写需求原文摘要}` | `{精确位置或遗漏}` | `{实际TC ID及子项}` | `{单元/契约/集成/E2E/原型/正式实现/运行观察}` | `{已设计/待明确/不适用及依据，不是执行结果}` |
+
+| 工程要求与来源 | 条件/风险 | 技术预期 | 相关产品要求 | 用例/评估及证据要求 | 未决 |
+| --- | --- | --- | --- | --- | --- |
+| `{AD或适用公共质量条款}` | `{实际条件}` | `{有依据的可判断结果}` | `{相关则引用}` | `{具体方法}` | `{问题ID}` |
+
+复合 AC 各子项均应有去向；一部分子项有用例不代表整条覆盖完整。用例与需求/设计可以多对多，不按文档配套关系强行一项一个用例，也不用数量或覆盖率代替语义正确性。
+
+## 3. 所需环境、身份、数据与依赖
+
+### 3.1 测试策略、框架、目录与覆盖要求
+
+先核实项目已有测试体系，按实际范围选择层级，保留原技能要求；不因套用模板改框架、替换工具、跳过红绿重构或降低质量门槛。下表定义验证方法和所需条件，不表示框架已安装、用例已实现或测试已通过。
+
+| 测试层级／验证对象 | 关注点与需求／技术依据 | 框架／工具及精确版本 | 测试目录与配置位置 | 命令引用及运行条件 | 适用覆盖要求及来源 | 当前事实与缺口 |
+| --- | --- | --- | --- | --- | --- | --- |
+| 单元 | `{适合独立断言的逻辑、状态及错误分支}` | `{已有框架／runner版本或待确认}` | `{实际测试目录、命名和固定配置}` | `{AD §9.1的完整命令／cwd；聚焦及回归范围}` | `{适用语义／分支或既有覆盖指标、口径及来源}` | `{已存在／拟建／不可执行分别记录}` |
+| 契约／集成 | `{API、数据、权限、事务和外部依赖交接}` | `{实际工具及版本}` | `{测试与夹具／契约配置目录}` | `{命令引用；身份、数据、依赖及替身限制}` | `{接口／状态／副作用／拒绝路径等具体要求}` | `{真实依赖可用性另行核实}` |
+| E2E／浏览器 | `{实际用户流程、组件交互与可访问性}` | `{按适用原方法要求的真实工具及版本}` | `{场景／脚本／配置目录；暂无脚本如实注明}` | `{命令或工具操作引用；实际页面／服务候选及条件}` | `{关键流程、视口／角色／状态等有来源范围}` | `{不适用或缺工具说明依据，不静默换工具}` |
+| 其他适用验证 | `{性能、恢复、Agent行为评价或业务运行观察}` | `{实际方法／工具／样本固定版本}` | `{评估、测量或观察记录的实际位置}` | `{明确入口、条件及责任，不强造CLI}` | `{适用负载／样本／重复次数／判据及来源}` | `{仅所需维度；不适用要说明}` |
+
+每层级说明“验证什么、用什么、放哪里、怎样运行、怎样算足够”。数量和代码覆盖率不能替代第2章的需求／AC语义覆盖；采用数值要求时记录指标类型、分母／排除项、测量条件和固定来源。未知阈值标待确认，既有 CONSTRAINTS 或项目质量要求不得暗降；没有依据不编造统一覆盖率。
+
+完整可执行命令和 cwd 以选定 AD §9.1 为权威，测试目录与 AD §9.2 核对，框架／工具版本与采用的依赖或配置相符。若需新增入口或修改命令，返回对应工程定义处理，不能在此维护第二份不同答案。实际执行报告记录真正使用的框架、配置、目录、命令和覆盖结果，未运行不预填测量值。
+
+### 3.2 身份、环境、数据和依赖条件
+
+| 条件 ID | 所需配置/状态及固定依据 | 适用用例 | 真实依赖/替身边界 | 准备/清理/恢复要求 | 责任/缺口 |
+| --- | --- | --- | --- | --- | --- |
+| `{稳定ID}` | `{环境、身份/租户/权限、数据状态、依赖版本、配置、工具}` | `{TC或子项}` | `{模拟只能证明什么}` | `{可重复且不破坏无关数据}` | `{实际主体或未指定}` |
+
+本章定义所需条件；它们的实际就绪情况在执行前独立核实。示例身份不等于真实授权，模拟服务不等于已接通真实依赖，不将生产数据或高风险故障注入当默认测试材料。
+
+### 3.3 跨主题组合的执行条件
+
+| 条件ID／组合ID | 提供／消费方及受影响用例 | 规范／契约／数据／实现的选定引用 | 就绪核实与真实／替身边界 | 准备、失败、清理及恢复 | 缺口及可继续部分 |
+| --- | --- | --- | --- | --- | --- |
+| `{与§6.1组合对应}` | `{只列本次实际角色，不擅定人员}` | `{文档版本与代码／服务版本分别记录}` | `{真实凭据范围、存量数据、时钟／快照及依赖；未核实照录}` | `{可重复夹具、操作授权、回执核实、恢复证据及不可逆限制}` | `{问题ID及依赖范围，不扩大到无关任务}` |
+
+设计就绪、服务存在、权限有效和可真实集成分别核实。替身可用于内部验证，不能证明正式契约与真实提供方互通；真实依赖缺失时相关用例标待执行／阻断，不靠模拟响应关闭。故障注入、迁移和恢复只在获准环境与数据范围执行；未取得授权或来源不明的数字、保留期、并存窗口及平台参数保留Q。
+
+## 4. 详细用例（逐用例填写）
+
+### {TC ID} · {用例名称}
+
+1. **来源**：`{PRD需求/AC/子项、AD技术条款及其他适用规范的身份、版本和准确位置}`。
+2. **目标与层次**：`{本用例证明什么；单元/契约/集成/浏览器/业务评审等，明确原型还是正式实现}`。
+3. **前置与测试数据**：`{可信身份、权限/租户/资源范围、业务状态、候选与依赖/数据版本、来源和准备条件}`。
+4. **步骤与输入**：`{可重复的操作、请求、事件、并发顺序或故障注入；各参数子场景独立定位}`。
+5. **预期结果**：`{业务结果、状态、响应、可见反馈；有来源的精确判断，不由实现反推}`。
+6. **允许/禁止副作用**：`{成功允许的数据/事件/审计/通知变化；拒绝、失败、重复、未知结果时禁止额外变化什么}`。
+7. **判定方法**：`{断言、权威数据核查、测量、对照或明确评审；每项预期怎样判断}`。
+8. **清理、恢复与证据**：`{数据恢复边界、请求/响应、数据库/事务记录、截图、日志、指标等；恢复失败如何记录}`。
+9. **自动化与实现引用**：`{适合自动化/需人工及理由；脚本实际存在才登记固定路径/版本，尚无则写待实现}`。
+
+| 子场景 ID | 特定输入/调度/故障 | 产品/技术预期及副作用 | 所需证据 | 不可执行或未决原因 |
+| --- | --- | --- | --- | --- |
+| `{复合或参数化分支}` | `{独立可复现条件}` | `{明确判断}` | `{对应结果}` | `{无或问题引用}` |
+
+此处只写预期和方法，不填写通过、失败、执行日期或伪造运行截图。产品预期含糊回 PRD，技术判据含糊回 AD；不能改测试方法时暗改业务规则或临时降低阈值。
+
+## 5. 必要路径与专项验证
+
+| 维度 | 适用场景 | 方法与判据来源 | 用例/样本版本 | 所需证据/不适用依据 |
+| --- | --- | --- | --- | --- |
+| 主流程与数据一致性 | `{完整链路和事实维护}` | `{PRD/AD固定条款}` | `{实际引用}` | `{权威结果}` |
+| 权限与隔离 | `{员工/管理员等真实角色、直接入口/接口越权、跨组织/租户/资源}` | `{不能只隐藏按钮}` | `{实际引用}` | `{请求拒绝及禁止泄露/写入的证据}` |
+| 状态、并发与幂等 | `{允许/拒绝转换、重复请求、竞争、超时未知和恢复}` | `{AD事务/版本/幂等定义}` | `{实际引用}` | `{最终状态及副作用}` |
+| 交互与可访问性 | `{空态、失败、长内容、窄屏、键盘/焦点、错误可达}` | `{认可原型及PRD/AD}` | `{浏览器场景}` | `{实际执行/截图/控制台}` |
+| 数据与迁移 | `{约束、字段映射、旧值、回填、兼容/回退}` | `{AD精确契约}` | `{实际引用}` | `{设计DDL不等于迁移回执}` |
+| 性能、可靠性与恢复 | `{实际负载和故障}` | `{来源阈值/条件；未知不造值}` | `{方法/样本}` | `{测量和恢复证据}` |
+| 智能能力（适用时） | `{正确性、工具权限、副作用、拒绝、预算及恢复}` | `{模型/Prompt/样本固定版本和评估规则}` | `{重复评估及分支}` | `{不以单次成功代替约定评估}` |
+
+维度用于核对，不要求无相关需求的产品强行增加功能或专项；不适用要有明确依据。
+
+## 6. 跨主题组合、变化与回归
+
+| 变更前基准/本次目标 | 受影响主题/功能/状态/契约 | 保留/修订/新增/停止适用的用例 | 选择依据与风险 | 必须重取的证据 |
+| --- | --- | --- | --- | --- |
+| `{PRD/AD/用例/代码固定引用}` | `{精确范围}` | `{版本与替代关系}` | `{未变ID不等于未变预期}` | `{需求/实现/依赖/环境变化影响}` |
+
+多主题组合登记各自 PRD/AD/TestCase 版本，检查共享状态/字段/权限/接口一致性与交接，不以单份检查通过代替组合验证。历史运行仍保留在原对象和环境版本下；未受影响的证据也需说明适用依据，不直接复制为新目标通过。
+
+### 6.1 明确本次兼容组合
+
+| 组合ID／作用范围 | 本主题PRD／AD／TestCase实际路径和各自版本 | 提供／消费方主题及配套引用 | 公共规范条款／契约与数据权威 | 实现／制品／环境事实 | 设计判断、执行状态与缺口 |
+| --- | --- | --- | --- | --- | --- |
+| `{独立主题或本次集成组合}` | `{以正文及真实采用为准，不强制同号}` | `{仅相关范围；缺关联TestCase如实记，不造未来文件路径}` | `{准确位置／版本；实际共享定义不在用例中复制另一权威}` | `{已有／拟建／未知；代码或服务不存在不填已部署}` | `{相容／冲突／待核实与依据；不预填运行通过}` |
+
+一个主题TestCase仍对应本主题选定PRD和一个直接AD版本，关联引用用于组合场景；不用总用例文档包办全部主题，不要求双方版本数值一致。文档、契约、代码、服务各自版本属于不同对象，不能跨对象比较大小或据同号／SemVer／Schema校验宣布语义兼容。默认值、枚举、权限、错误、副作用及严格消费者均应核对。
+
+### 6.2 跨边界场景与最终权威
+
+| 组合／场景及用例ID | 来源PRD／AC与AD／契约条款 | 提供→消费路径与边界 | 权威结果与禁止副作用 | 失败／未知／重复及恢复预期 | 实际证据要求及缺口 |
+| --- | --- | --- | --- | --- | --- |
+| `{正常交接／拒绝／冲突／过期／并发／取消等适用场景}` | `{产品预期直接核PRD；技术定义核AD及唯一契约}` | `{身份、租户／资源范围、输入映射、事务或消息边界}` | `{业务状态及实体唯一维护方；副本、前端、Agent运行、jobs状态分别判断}` | `{错误映射、回执查询、同key重放、恢复后状态与人工介入条件}` | `{请求／响应、权威数据、版本及副作用核查；仅计划所需证据}` |
+
+至少检查适用的跨租户拒绝、重复与不同负载冲突、并发版本冲突、响应丢失／超时UNKNOWN、只读快照过期、未知枚举、部分成功及恢复。已完成请求重放与新请求的状态／版本校验顺序按权威契约分别设计，不能把初次前置照搬到重放导致有效重放被拒。可信主体和幂等键的租户／主体作用域、查回执的授权与隔离均有据；不只验证界面按钮或方法调用次数。
+
+共享实体可由多个经授权主体操作，但最终业务定义、校验和写入边界必须唯一明确。消费者不得直写提供方数据；执行器结束、缓存刷新或前端成功状态不自动等于业务完成。过期／未知的预期来自正式定义，缺定义列Q而非选择成功分支。
+
+### 6.3 版本并存、迁移及恢复设计
+
+| 组合变化／来源 | 旧／新提供消费版本及数据状态 | 必需场景、顺序与兼容判断 | 备份／迁移／恢复／不可逆限制 | 判据和所需证据 | 未决与受限范围 |
+| --- | --- | --- | --- | --- | --- |
+| `{共享定义或实际装配改变}` | `{仅列真实已选或明确拟议对象}` | `{严格消费者、默认／权限／枚举变化、在途请求、并存窗口和部署顺序}` | `{来源明确的准备、故障点、对账和恢复条件；不把改回镜像等同恢复数据}` | `{真实命令／操作与前后权威数据；未执行不得声称可回滚}` | `{缺决定或资源时可设计、不冒认运行就绪}` |
+
+### 6.4 变更影响与既有行为回归
+
+| 变化条款／权威位置 | 直接及必要传递影响 | 受影响主题AD／AC／用例及已有任务 | 必须保留／补取的回归证据 | 无关范围与不受影响依据 | 处理决定／Q |
+| --- | --- | --- | --- | --- | --- |
+| `{公共规范、契约、实体、代码或环境的实际变化}` | `{定义→提供方→消费者→必要下游}` | `{有真实任务才登记，不造Plan或tracker项}` | `{旧调用方、拒绝、未知与恢复及既有业务行为}` | `{未消费该定义或明确不受影响；不机械改写全部主题}` | `{降级／移出必需回归要真实理由与决定}` |
+
+公共变化不能只查本主题，也不能把所有AD／PRD统一升版。共享底座、迁移和测试夹具的后续工程修改应在唯一任务目标安排归属，相关任务列依赖；本次仅设计，不生成第二份Plan或竞争tracker，不改人工代码及其他主题。
+
+## 7. 两种结论与执行准入
+
+### 7.1 用例规格可交接
+
+`{明确当前范围预期、方法、覆盖、所需条件、未决影响及报告约定是否足够，分别列可交接与仍缺定义范围。此结论不表示代码存在、环境可用或测试已运行。}`
+
+**TestCase是Plan的可选输入，不是统一前置文件。**当前范围的需求、技术约束和测试策略／验收预期可从PRD、AD及已采用规范充分回读时，可先按原Plan拆任务；没有独立TestCase不要求先补一份才能规划。已有且适用的TestCase应读取准确版本并落实到任务验收和验证步骤；缺少或待补的用例设计可作为计划任务，相关验证定义在依赖它的实现、测试或验收之前明确。核心行为或技术判据尚不明确时，只限制相应依赖任务，不把计划先行等同编码、测试或发布许可。
+
+测试策略可在AD或现有测试规范中承载原SPEC六项的相应要求，不能因TestCase可选而跳过六项核对。企业SOP仍保留本主题TestCase设计交付，允许其与规划按依赖衔接，不取消正式交付所要求的验证定义。用例与任务、脚本可以多对多；只有真实脚本和任务形成后才登记实际路径，人工用例明确执行方式，不伪造全部自动化。
+
+### 7.2 执行可准入（候选形成后另存核实记录）
+
+| 执行前须核实的对象 | 条件与依据 | 核实结果应保存什么 |
+| --- | --- | --- |
+| 候选 | `{代码提交/构建制品与所选需求和用例版本一致}` | `{实际对象及摘要}` |
+| 环境、数据、依赖 | `{满足第3章条件，真实与替身边界清楚}` | `{实际版本/配置/数据/可用性证据}` |
+| 任务和操作授权 | `{Plan范围/执行模式及适用高风险动作授权}` | `{可信来源；沿用有效授权，不自填批准}` |
+| 内容新鲜度与安全边界 | `{版本未变、影响已复核、清理/恢复可执行}` | `{失效范围、阻断用例或独立可执行部分}` |
+
+准入结论由实际核实产生并保存到独立记录，不回填本章为永久通过。设计可用于形成 Plan，不要求先有获批 Plan 才能编写计划；真正运行才核实计划认可和实际执行条件。缺必需条件的用例不准入、不算通过。
+
+### 7.3 适用通过判据、缺陷处理与重测
+
+| 验收对象/范围 | 本次必需用例与证据 | 通过口径及来源 | 阻断缺陷/风险接受依据 | 修复后的重测与回归范围 |
+| --- | --- | --- | --- | --- |
+| `{功能、权限、数据、恢复、工程或质量条目}` | `{明确TC ID、适用子场景、真实运行/人工验收/测量等所需证据}` | `{按PRD、AD及质量规范写可判断条件；未知阈值列待决，不自行编数值}` | `{不能放行的失败、未解决风险及有权接受风险的真实来源；没有认可则如实待补}` | `{缺陷修复验证、受影响用例、相关既有行为及需要的新证据}` |
+
+必需用例失败、证据过期、条件缺失、执行被阻断或尚未执行都不能算通过。模拟或局部结果不能替代本次要求的真实集成、完整范围或必要人类验收。明确缺陷处置、重测触发和回归选择依据；修复导致需求或设计变化时先更新对应引用，不能通过降低判据关闭缺陷。以上定义预期和放行口径，实际结果及风险接受事件仍保存到运行报告，不在本模板预填通过状态。
+
+## 8. 测试报告合同：一份用例集，多次运行
+
+测试报告另存于能力目录的实际报告位置，按项目登记解析；命名采用 `{PBC}-{需求主题}-TestReport_v{报告版本}.md`，不强制跟 TestCase 同号。报告版本标识文档修订，`runId` 标识一次真实运行；报告编辑不伪造新运行，重测产生的新运行不覆盖前次失败。
+
+### 8.1 报告必须记录的事实
+
+| 报告字段 | 执行后记录要求 |
+| --- | --- |
+| 报告身份与运行 | `{报告ID/版本、runId、实际起止时间、执行主体、实际工具/运行方式}` |
+| 本次选择 | `{capabilityId/prdId；PRD/AD/TestCase准确版本、固定内容及摘要；多主题组合逐项登记}` |
+| 本次组合 | `{§6.1组合ID；提供／消费方文档、契约、数据、代码／服务及环境各自版本；设计配套与真实兼容分开}` |
+| 实际候选 | `{源提交、构建/镜像制品、摘要；实际启动/部署对象，未部署不能写已部署}` |
+| 实际环境 | `{配置、依赖、身份/权限、数据版本及来源、真实/模拟边界；不泄露密钥}` |
+| 实际测试策略 | `{实际框架／工具及版本、配置和测试目录、运行层级；适用覆盖测量的口径、条件、结果及原始报告，未测不填数值}` |
+| 用例及子场景 | `{实际运行的TC/参数/复合子项及脚本/样本版本}` |
+| 原始执行与证据 | `{实际命令/操作、退出结果、请求/响应、日志、截图、数据核查、测量；可定位原始记录}` |
+| 逐项结果 | `{通过/失败/阻断/未执行及具体原因；各子项不得合并隐藏}` |
+| 实际副作用与恢复 | `{允许及意外变化、清理/回滚是否完成、未恢复影响}` |
+| 缺陷与偏差 | `{稳定缺陷ID、复现条件、严重性及影响范围；不暗改预期以适应实现}` |
+| 汇总与适用限制 | `{已验证/未验证对象和范围、残余风险、可接受依据；不能只给总通过率}` |
+| 审查/业务验收 | `{按需的真实参与者、版本范围、可信记录；没认可写未取得}` |
+
+以上是未来报告字段约束，不是本模板已经执行的结果。执行前最多登记运行计划和“未执行”，不能预造 runId 的成功、用户签字或证据文件。一次交付汇总多个真实运行时保留各运行明细、失败和未执行记录，不只挑最后一次绿色结果。
+
+### 8.2 失败、重测与完成规则
+
+- 失败先保存原始证据和缺陷；修复后绑定新候选与受影响用例重测，并按影响选择回归。
+- 输入、代码、配置、数据、依赖或环境改变时复核相关证据，不能让旧通过自动证明新对象；无关变动不粗暴重跑全部。
+- 文件或 JSON 存在不能证明真实运行发生。静态检查、单元夹具、浏览器、真实服务、人类认可分层记录。
+- 通过用例、完整产品交付、业务收益、发布就绪、发布授权和部署回执分别判断；测试报告不替代生产放行。
+
+## 9. 开放问题与交接
+
+| 问题 ID | 不可判断的预期/条件及来源 | 受影响用例/子项 | 可继续部分 | 返回 PRD/AD/原型/环境责任方 | 实际关闭依据 |
+| --- | --- | --- | --- | --- | --- |
+| `{稳定ID}` | `{区分事实、假设与冲突}` | `{明确范围}` | `{独立工作}` | `{具体位置或未指定}` | `{真实答复/验证，未取得则待处理}` |
+
+### 完成核对
+
+- PRD 直接覆盖与 AD 工程覆盖均完整，复合子项、跨主题交接及必要回归未漏。
+- 每个用例九要素明确，允许/禁止副作用可判定，阈值和预期有来源。
+- 所需环境/数据与实际可用状态分开，替身不冒充真实集成。
+- 框架／工具版本、测试目录、层级和适用覆盖要求明确，与 AD 命令／cwd 及项目质量权威一致；未安装、未执行及不适用范围如实登记。
+- 规格可交接、执行可准入、实际运行、业务认可分别记录，无循环开工条件。
+- 报告字段和1:N运行关系明确，未执行不预填通过；旧证据和失败记录保留。
+- §0.2、§3.3、§6.1—§6.4中的准确组合、唯一权威、失败恢复、传递影响和无关主题保护有实际来源。
+- §7.1不把完整TestCase设为所有Plan的前置；原test／Build仍执行TDD，原代码review与零写入文档审查职责分开。
+
+交接结论：`{本次可供Plan采用的验证要求、尚不能确定的判据和影响；实际执行须另行准入。当前版本及真实认可范围如实记录。}`
+
+版本变化：`{变化来源、修改用例/子项、受影响需求/AD/执行任务及报告适用性；保留旧版本与重新采用依据。}`

package/skills/i3-enterprise-sop/references/verification/check_execution.py

@@ -0,0 +1,185 @@
+#!/usr/bin/env python3
+"""Read-only CodeBuddy stream-json execution/report check, version 0.1.0.
+
+The caller supplies the independently produced core audit and a fixed scope
+policy. This tool derives attempts from tool_use/tool_result, never from the
+model's description. It does not approve a business document or write a project.
+"""
+import argparse
+from collections import Counter
+import json
+from pathlib import Path
+import re
+import shlex
+import sys
+
+START='<!-- i3-sop-execution-report -->'
+END='<!-- /i3-sop-execution-report -->'
+OPERATIONS=('help','init','select','resolve','other')
+STATUSES=('succeeded','blocked','failed','unconfirmed')
+BOUNDARY_FAILURES={'unexpected_project_file_changes','forbidden_or_outside_source_read','forbidden_tool_attempt','read_only_case_changed_files','read_only_case_created_i3_directory'}
+
+
+def strict_object(pairs):
+    out={}
+    for key,value in pairs:
+        if key in out:raise ValueError('duplicate JSON key: '+key)
+        out[key]=value
+    return out
+
+
+def loads(text):
+    return json.loads(text,object_pairs_hook=strict_object)
+
+
+def content(block):
+    value=block.get('content','')
+    if isinstance(value,str):return value
+    if isinstance(value,list):return '\n'.join(x.get('text','') for x in value if isinstance(x,dict) and isinstance(x.get('text',''),str))
+    return ''
+
+
+def command_scope(command,policy):
+    """Accept one direct python3 invocation, with exact scope and named args."""
+    try:tokens=shlex.split(command)
+    except ValueError:return 'other',False
+    if len(tokens)<3 or tokens[:2]!=['python3',policy['helper']]:return 'other',False
+    if tokens[2:]==['--help']:return 'help',True
+    action=tokens[2]
+    if action not in ('init','select','resolve'):return 'other',False
+    args=tokens[3:];options={}
+    if len(args)%2:return action,False
+    for key,value in zip(args[::2],args[1::2]):
+        if not key.startswith('--') or key in options:return action,False
+        options[key]=value
+    base={'--project-root':policy['projectRoot'],'--manifest':policy['manifest']}
+    if action=='init':allowed=options=={**base,'--work':policy['work']}
+    elif action=='resolve':allowed=options=={**base,'--capability-id':policy['capabilityId'],'--prd-id':policy['prdId']}
+    else:
+        refs=policy['selections']
+        allowed=any(options=={**base,'--role':ref['role'],'--path':ref['path'],
+          '--capability-id':ref['capabilityId'],'--prd-id':ref['prdId']} for ref in refs)
+    return action,allowed
+
+
+def outcome(result,operation):
+    if result is None:return 'unconfirmed','missing_tool_result'
+    text=content(result)
+    if result.get('is_error') and re.search(r'permission[^\n]*(denied|not allowed)|not (?:been )?granted permission',text,re.I):
+        return 'blocked','permission_denial'
+    exit_codes=re.findall(r'^Exit Code:\s*(-?\d+)\s*$',text,re.M|re.I)
+    if len(exit_codes)!=1:return ('failed','tool_error') if result.get('is_error') else ('unconfirmed','unsupported_result_carrier')
+    if result.get('is_error') or int(exit_codes[0])!=0:return 'failed','tool_or_process_error'
+    if operation in ('init','select','resolve'):
+        match=re.search(r'^Stdout: (.*?)\n\s*Stderr:',text,re.M|re.S)
+        try:value=loads(match[1]) if match else None
+        except (ValueError,TypeError):value=None
+        if not isinstance(value,dict) or type(value.get('ok')) is not bool:return 'unconfirmed','helper_result_not_proven'
+        if not value['ok']:return 'failed','helper_reported_failure'
+    return 'succeeded','returned_exit_zero'
+
+
+def attempts_from_trace(events,policy):
+    calls=[];results={};ids=set();issues=[]
+    for seq,event in enumerate(events):
+        blocks=(event.get('message') or {}).get('content',[])
+        if not isinstance(blocks,list):continue
+        for block in blocks:
+            if not isinstance(block,dict):continue
+            if event.get('type')=='assistant' and block.get('type')=='tool_use':
+                ident=block.get('id')
+                if not isinstance(ident,str) or ident in ids:issues.append('missing_or_duplicate_tool_call_id')
+                ids.add(ident);calls.append((seq,block))
+            if event.get('type')=='user' and block.get('type')=='tool_result':
+                ident=block.get('tool_use_id')
+                if ident in results:issues.append('duplicate_tool_result')
+                if ident not in ids:issues.append('result_without_prior_call')
+                results[ident]=(seq,block)
+    attempts=[]
+    for seq,call in calls:
+        name=call.get('name')
+        if name in ('PowerShell','NotebookEdit','Write','Edit','Task','Agent'):issues.append('unsupported_or_forbidden_tool_attempt:'+name)
+        if name!='Bash':continue
+        command=(call.get('input') or {}).get('command','')
+        if not isinstance(command,str):command='';issues.append('invalid_shell_command')
+        op,allowed=command_scope(command,policy)
+        returned=results.get(call.get('id'));status,reason=outcome(returned[1] if returned else None,op)
+        attempts.append({'ordinal':len(attempts)+1,'toolCallId':call.get('id'),'traceLine':seq+1,
+          'resultLine':returned[0]+1 if returned else None,'command':command,'operation':op,
+          'allowed':allowed,'status':status,'statusEvidence':reason})
+    return attempts,sorted(set(issues))
+
+
+def reporting_check(text,attempts,legacy_report):
+    if legacy_report and START not in text and END not in text:
+        return {'passed':False,'status':'not_checked_legacy','issues':['legacy_report_requires_separate_human_explanation']}
+    errors=[]
+    try:
+        if text.count(START)!=1 or text.count(END)!=1:raise ValueError('exactly_one_report_block_required')
+        begin=text.index(START)+len(START);end=text.index(END)
+        block=text[begin:end].strip()
+        match=re.fullmatch(r'```json\s*\n(.*?)\n```',block,re.S)
+        if not match:raise ValueError('json_fence_required')
+        data=loads(match[1])
+        if not isinstance(data,dict) or set(data)!={'schemaVersion','shellAttempts'} or type(data['schemaVersion']) is not int or data['schemaVersion']!=1:
+            raise ValueError('report_root_contract_mismatch')
+        rows=data['shellAttempts']
+        if not isinstance(rows,list) or len(rows)!=len(attempts):raise ValueError('attempt_count_mismatch')
+        for actual,row in zip(attempts,rows):
+            if not isinstance(row,dict) or set(row)!={'ordinal','operation','status'}:raise ValueError('attempt_row_contract_mismatch')
+            if type(row['ordinal']) is not int or row['ordinal']!=actual['ordinal']:raise ValueError('attempt_ordinal_mismatch')
+            if row['operation'] not in OPERATIONS or row['status'] not in STATUSES:raise ValueError('attempt_enum_mismatch')
+            if row['operation']!=actual['operation'] or row['status']!=actual['status']:errors.append('attempt_evidence_mismatch:'+str(actual['ordinal']))
+    except (ValueError,TypeError,KeyError) as exc:errors.append(str(exc))
+    return {'passed':not errors,'status':'checked' if not errors else 'needs_review','issues':errors,
+      'scope':'structured attempts only; narrative, business adequacy and approval require human review'}
+
+
+def check(events,policy,core,report,legacy_report=False):
+    attempts,issues=attempts_from_trace(events,policy)
+    core_failures=core.get('failures')
+    if not isinstance(core_failures,list) or type(core.get('passed')) is not bool:
+        raise ValueError('independent_core_audit_contract_missing')
+    functional=[x for x in core_failures if x not in BOUNDARY_FAILURES]
+    boundary=[x for x in core_failures if x in BOUNDARY_FAILURES]
+    if core.get('unexpectedChanges'):boundary.append('unexpected_project_file_changes')
+    if core.get('forbiddenReads'):boundary.append('forbidden_or_outside_source_read')
+    if core.get('allExistingProjectFilesUnchanged') is not True:boundary.append('existing_files_unchanged_not_proven')
+    if not core['passed'] and not functional and not boundary:functional.append('core_audit_failed_without_details')
+    discipline=list(issues)
+    for row in attempts:
+        if not row['allowed']:discipline.append('outside_allowed_command:'+str(row['ordinal']))
+        if row['status']!='succeeded':discipline.append('non_success_attempt:'+str(row['ordinal']))
+        if row['allowed'] and row['status']!='succeeded':functional.append('required_helper_not_successful:'+str(row['ordinal']))
+    counts=Counter(x['operation'] for x in attempts if x['allowed'] and x['status']=='succeeded')
+    for op,minimum in policy.get('requiredMinimum',{}).items():
+        if op not in OPERATIONS or type(minimum) is not int or minimum<0:raise ValueError('invalid_required_operation')
+        if counts[op]<minimum:functional.append('required_operation_missing:'+op)
+    if not attempts or attempts[0]['operation']!='help' or not attempts[0]['allowed']:discipline.append('first_shell_must_be_exact_help')
+    if not legacy_report and core.get('inputsReadyBeforeFirstShell') is not True:discipline.append('inputs_before_first_shell_not_proven')
+    reporting=reporting_check(report,attempts,legacy_report)
+    checks={'functional':{'passed':not functional,'issues':sorted(set(functional))},
+      'boundary':{'passed':not boundary,'issues':sorted(set(boundary))},
+      'execution':{'passed':not discipline,'issues':sorted(set(discipline))},'reporting':reporting}
+    verdict='failed' if functional or boundary else 'needs_review' if discipline or not reporting['passed'] else 'checks_passed'
+    return {'schemaVersion':1,'checkerVersion':'0.1.0','profile':'CodeBuddy stream-json/direct-python3-helper',
+      'checks':checks,'attempts':attempts,'verdict':verdict,'humanApproval':False,
+      'limits':['caller fixes the scope policy and independently verifies the core audit',
+        'not an OS sandbox, universal shell parser, business approval, Plan/Build acceptance or publication authorization']}
+
+
+def main():
+    parser=argparse.ArgumentParser(description=__doc__)
+    for name in ('trace','policy','core','report'):parser.add_argument('--'+name,required=True,type=Path)
+    parser.add_argument('--legacy-report',action='store_true',help='retain old free-text format without retroactive format failure')
+    args=parser.parse_args()
+    try:
+        events=[loads(line) for line in args.trace.read_text().splitlines() if line.strip()]
+        result=check(events,loads(args.policy.read_text()),loads(args.core.read_text()),args.report.read_text(),args.legacy_report)
+    except (OSError,ValueError,TypeError,KeyError) as exc:
+        result={'schemaVersion':1,'checkerVersion':'0.1.0','verdict':'needs_review','humanApproval':False,'inputError':str(exc)}
+    print(json.dumps(result,ensure_ascii=False,indent=2))
+    return 0 if result.get('verdict')=='checks_passed' else 1
+
+
+if __name__=='__main__':sys.exit(main())