@epoint-testtech/ep-stage-skill 0.0.3-alpha.1 → 0.0.4-alpha.0

package/codex-skill/ep-stage/glue-test/SKILL.md

@@ -1,258 +0,0 @@
----
-name: glue-test
-description: 使用时机：当需要从上游需求文档、code_list.md、生成的 HTML 页面、Java Action 源码、ModuleHints 或 CrudFlowSlots 组装 ep-stage 项目的 Playwright CRUD 胶水测试（glue-code tests），或运行端到端 gap 推理工作流时使用。
-compatibility: 需要 Codex workspace 环境，配备 pnpm、Node.js、packages/ep-stage-skill，以及由 stage-create 生成的 glue 模式 Playwright 项目。
-metadata:
-  source-package: "@epoint/ep-stage-skill"
-  contract: "crud-business-module/v1"
----
-
-# ep-stage: glue-test
-
-ep-stage 项目中的胶水编码工作流使用本 skill。
-
-## 概览（Overview）
-
-本 skill 通过确定性提取器（deterministic extractors）、显式的 `ModuleHints` 策略文件、glue 模式 CRUD 骨架以及 gap runtime pipeline，将上游业务物料转换为可执行的 Playwright 胶水测试。
-
-核心原则：Agent 负责组装并核实证据，不自行发明选择器（selector）、iframe 关键字、按钮文案、listbox 取值、数据唯一性规则或业务断言。
-
-**默认入口**：当用户要求端到端验证、运行时 gap 推理，或"静态组装 + 动态推理 + 落袋合并"时，优先使用一键 pipeline `run:gap-pipeline`。仅当用户明确希望在不执行真实页面的情况下生成 contract/spec 时，才回退到旧的两步离线流程。
-
-## 当前后端（Current Backend）
-
-当前运行时后端是 `@epoint/ep-stage-skill` 中现有的 CRUD + Export + gap pipeline。
-
-本期只承载 skill 入口与工作流描述，不改变 `crud-business-module/v1`，不引入 `skeleton-registry`。当前已支持**默认入口所需字段**的轻量交互补齐：当 `run:gap-pipeline` 在 `material-inventory` 或 `menu` gate 发现 `code_list.md` 缺少 `knowledgeRoot`、`menu`、HTML、Java Action、`ModuleHints` 等关键入口信息时，TTY 环境下会提示用户补齐，并优先写回**可写的** `code_list.md`。当前仓内的真实业务验收主线是 `zwplace`，其唯一上游扎口是 `knowledge-project/epoint-web-v9.5.2/_docs/code_list.md`；仓内 `packages/ep-stage-skill/examples/zwplace.observable.code_list.md` 只是该只读物料的可写镜像。骨架项目或脚手架里顺带出现的说明信息不应替代 `code_list.md` 成为本源。非 CRUD 工作流泛化、`skeleton-registry`、交互式 `review-gaps` CLI 属于第二期源码级改造范围。
-
-若后续要验证“不同系统的普通 CRUD 泛化”，应由用户补充第二个真实业务样本的 `code_list.md`；不要在当前链路中用脚手架说明信息、运行产物或旁证文档反推出第二个模块充当本源。
-
-**真实系统 E2E 运行约束：**
-
-- 禁止用 `--headless true` 跑真实业务系统 E2E。
-- 真实系统验证必须通过 `packages/ep-stage-skill/codex-skill/ep-stage` 这套 skill / `run:gap-pipeline` 入口，以 `--headless false` 运行。
-- 运行过程中必须有人在场观察页面行为、弹窗、登录状态和业务副作用；无人工观察的无头回放不算当前阶段验收证据。
-- `--headless true` 仅允许用于本地调试、结构验证或历史对比，不作为真实系统验收方式。
-
-## 工作流（Workflow）
-
-完整链路按步骤解耦如下：
-
-```text
-explore-materials
-  -> generate-contract
-  -> match-skeleton
-  -> review-gaps
-  -> generate-spec
-  -> infer-gaps
-  -> run-tests
-  -> generate-report
-```
-
-每个步骤既可端到端串联调用，也可单步独立调用（便于排查链路中某一步的问题、迭代局部产出、对中间产物有干预窗口）。
-
-## 适用场景（Use This For）
-
-- 从需求文档、`code_list.md`、生成的 HTML 和 Java Action 文件生成 `crud-business-module/v1` 契约。
-- 生成调用 `LoginPage`、`MenuPage` 和 `CrudPage` 并使用 `CrudFlowSlots` 的 `.spec.ts` 文件。
-- 运行一键胶水 E2E 验证：静态组装 -> 运行时 gap 解决 -> 追加 `Custom` 测试 -> 执行 Playwright -> 产出 glue-report。
-- 当数据主键、搜索条件、listbox 取值、按钮别名、自动填充覆盖或删除策略属于策略决策时，更新 `ModuleHints`。
-- 模拟胶水编码链路：上游物料 -> 契约 -> 动态槽位 -> CRUD 骨架 -> Playwright 脚本 -> 编译/运行时验证。
-- 识别 CRUD + Export 骨架未覆盖的业务动作，并输出 `agentInferredWorkflows`。
-- 使用 `ModuleHints.customWorkflows` 约束自定义工作流的业务意图和断言预期。
-
-不要将本 skill 用于绕过骨架的自由式 Playwright 编写，或用于 `stage-core` 核心运行时改动。
-
-## 必须遵循的工作流（Required Workflow）
-
-### 优先路径：一键 gap pipeline
-
-1. 定位当前仓库根目录，确认 `packages/ep-stage-skill/package.json` 存在。
-2. 运行前检查上游物料：
-   - docs 目录，通常包含 `spec.yaml` 或模块文档
-   - `code_list.md`
-   - 生成的网页 HTML 目录
-   - Java Action 源码目录
-   - `ModuleHints` JSON
-3. 运行 `run:gap-pipeline`。
-4. 检查生成的摘要：
-   - `contractPath`
-   - `specPath`
-   - `runTimestamp`
-   - `stageGlueReportHtmlPath`
-   - `playwrightReportDirPath`
-   - `resolvedWorkflows` / `needsReviewWorkflows`
-5. 若运行时 gap 解决失败，报告失败发生在：
-   - 上游提取
-   - 契约生成
-   - spec 生成
-   - 运行时解决
-   - Playwright 执行
-
-### 回退路径：离线两步生成
-
-1. 定位当前仓库根目录，确认 `packages/ep-stage-skill/package.json` 存在。
-2. 生成前检查上游物料：
-   - docs 目录，通常包含 `spec.yaml` 或模块文档
-   - `code_list.md`
-   - 生成的网页 HTML 目录
-   - Java Action 源码目录
-   - `ModuleHints` JSON
-3. 使用 `packages/ep-stage-skill` 生成契约。
-4. 检查生成的契约：
-   - `contractVersion` 为 `crud-business-module/v1`
-   - `module.id` 和 `module.label` 与上游模块一致
-   - `searchConditions` 包含预期的 CRUD 搜索条件
-   - 在生成最终 spec 前 `unresolvedSlots` 为空
-5. 将 Playwright spec 生成到 glue 模式项目中。
-6. 验证生成的 spec 在消费方 glue 项目中能编译通过。
-7. 仅当所需环境与业务系统可用时才运行 Playwright。
-
-详细命令模式见 `references/crud-pipeline.md`。
-
-## Gap 评审协议（Gap Review Protocol）
-
-在运行时推理之前，尽可能向用户呈现 gap 清单：
-
-- `planned` 状态的 gap 可以进入运行时推理。
-- `candidate` 和 `unresolved` 状态的 gap 不得盲目追加到 spec。
-- 若某个 gap 缺少业务意图或断言预期，应询问用户是补充 `ModuleHints.customWorkflows`、本轮跳过，还是留待后续处理。
-
-详细的第一期行为契约见 `references/gap-review-protocol.md`。
-
-## 治理规则（Harness Rules）
-
-在保证可靠性的前提下，使用最轻量的治理方式：
-
-| 治理关注点 | glue-test 规则 |
-| --- | --- |
-| 上下文交接（Context handoff） | 将契约 JSON 和生成的 spec 作为版本化产物保留。 |
-| 渐进式披露（Progressive disclosure） | 先加载本文件；仅按需打开 references。 |
-| 确定性（Determinism） | 优先使用提取器和 CLI 输出，而非 Agent 猜测。 |
-| 策略隔离（Strategy isolation） | 将人工/测试人员的决策放入 `ModuleHints`，而非提取器代码。 |
-| 评估（Evaluation） | 检查契约结构、编译输出，以及（可选）真实 Playwright 行为。 |
-| 反过拟合（Anti-overfit） | 将 `zwplace` 视为示例 fixture，而非唯一支持的模块。 |
-
-治理原则的完整说明见 `references/harness-principles.md`。
-
-## 快速命令格式（Quick Command Shape）
-
-### 优先：一键 gap pipeline
-
-```bash
-pnpm --filter @epoint/ep-stage-skill run:gap-pipeline -- \
-  --module-id <module-id> \
-  --docs <upstream-docs-dir> \
-  --code-list <upstream-code-list-md> \
-  --webapp <upstream-html-dir> \
-  --java-actions <upstream-java-action-dir> \
-  --hints <module-hints-json> \
-  --menu "<menu-path>" \
-  --project-dir <glue-project-dir> \
-  --headless false
-```
-
-当用户要求以下场景时使用：
-
-- 真实端到端验证
-- 运行时 gap 推理
-- 真实页面补证据
-- 自动把 `Custom` test 追加到现有 suite
-
-### 回退：仅离线生成
-
-```bash
-pnpm --filter @epoint/ep-stage-skill generate:crud-contract -- \
-  --module-id <module-id> \
-  --docs <upstream-docs-dir> \
-  --code-list <upstream-code-list-md> \
-  --webapp <upstream-html-dir> \
-  --java-actions <upstream-java-action-dir> \
-  --hints <module-hints-json> \
-  --out output/<module-id>.crud.contract.json
-
-pnpm --filter @epoint/ep-stage-skill generate:playwright-tests -- \
-  --contract output/<module-id>.crud.contract.json \
-  --out <glue-project>/src/tests/<name>.spec.ts \
-  --menu "<menu-path>"
-```
-
-通过 `pnpm --filter` 传路径时，上游文件和输出 spec 建议使用绝对路径。相对路径从 `packages/ep-stage-skill` 解析。
-
-真实系统 E2E 请固定使用：
-
-```bash
-pnpm --filter @epoint/ep-stage-skill run:gap-pipeline -- \
-  --code-list <code_list.md> \
-  --project-dir <glue-project-dir> \
-  --scenario <confirmed-scenario> \
-  --headless false
-```
-
-## 常见错误（Common Mistakes）
-
-- 用户明确要 E2E 验证时，仍然只跑 `generate:crud-contract` + `generate:playwright-tests`，没有进入 `run:gap-pipeline`。
-- 在 `unresolvedSlots` 非空时使用生成的 `.spec.ts`。
-- 从截图猜测 listbox 取值，而不是将冒烟测试值放入 `ModuleHints.searchConditions`。
-- 把 `dataKey` 和 `searchConditions` 当作互相竞争的独立策略。当前 glue CRUD 流程由 `searchConditions` 驱动。
-- 在生成的 spec 中内联 `page.fill()` 或 `page.click()` 流程，而不是调用骨架。
-- 当真实系统、登录环境或内网不可用时，仍假设业务 Playwright 运行失败是代码问题。
-- 只凭按钮文本生成 Custom test。
-- 把 `candidate` 或 `unresolved` 的 gap workflow 直接追加到 spec。
-- 在 runtime gap resolve 阶段修改 `businessIntent` 或 `assertionExpectation`。
-- 在 gap 代码中修改 `src/skeletons/*.ts`。
-
-## 边界（Boundaries）
-
-不要声称本期已实现非 CRUD 工作流的生成。若用户要求审批流、流程发起或表单提交等超出当前后端能力的工作流，应说明这些属于第二期源码级泛化范围。
-
-处理运行时 gap 推理时，不要修改 `src/skeletons/*.ts`。
-
-## 参考文档（References）
-
-- `references/crud-pipeline.md`：通用 CRUD 组装 pipeline 与验证命令。
-- `references/harness-principles.md`：本 skill 如何在不发生过拟合（不绑定单一模块或模型）的前提下应用 harness 工程。
-- `references/gap-review-protocol.md`：`review-gaps` 步骤的第一期 Agent 行为协议。
-- `scripts/generate-crud-spec.mjs --help`：两个包 CLI 的确定性封装。
-
-## 可观测默认入口
-
-默认只要求用户提供 `code_list.md`（`run:gap-pipeline -- --code-list <path>`）。`code_list.md` 是上游物料统一输入扎口：端到端链路需要的 `knowledgeRoot`、`menu` / `menuPath`、HTML、Java Action、spec、ModuleHints 等上游路径信息应优先写入该文件。当前 repo 的真实验收口径下，应优先把 `knowledge-project/epoint-web-v9.5.2/_docs/code_list.md` 视为真相源；若因主仓只读无法直接回写，再退到它的可写镜像 `packages/ep-stage-skill/examples/zwplace.observable.code_list.md`。若缺失入口字段：
-
-- `material-inventory` gate 会在 TTY 环境下提示补齐 `knowledgeRoot` / `moduleId` / `webappDir` / `javaActionsDir` / `hintsPath` / `menu`。
-- `menu` gate 会在 TTY 环境下再次提示确认菜单路径。
-- 若目标 `code_list.md` 位于**主仓只读** `knowledge-project/...`，补齐结果只对本次运行生效，不会写回受保护物料；若目标是外置可写 `code_list.md`，则会按当前格式回写。
-
-调试时可继续传 `--docs`、`--webapp`、`--java-actions`、`--hints`、`--project-dir`、`--menu` 做覆盖；覆盖参数只用于开发观测，不作为默认业务输入方式。场景推理后用 `--scenario <候选>` 人工确认继续。
-
-若目标是**真实系统验收**，除场景确认外还必须满足：
-
-- 以 `--headless false` 有头模式运行；
-- 运行时有人观察页面实际行为；
-- 将观察结论与 `.stage/trace/<run-id>/summary.md`、`playwright-execution.json`、`glue-report` 交叉核对后，才可作为验收证据。
-
-当前一期对“普通 CRUD，不考虑嵌套 CRUD”的处理口径是：
-
-- 若人工确认场景为 `crud.single-page`，`nestedCrudCandidates` 仍保留在 coverage / reasoning 证据中；
-- 但它们不再阻断 testcase gate，不需要再额外 `--confirm-testcases` 才能继续普通 CRUD 主链路；
-- 真正的业务失败应由后续 runtime / playwright / glue-report 给出结构化结论。
-
-链路顺序（每阶段写 `.stage/trace/<run-id>/*.json` + `summary.md`）：
-
-```text
-code_list.md
-  -> context-resolution
-  -> material-inventory (gate)
-  -> evidence-extraction
-  -> capability-candidates
-  -> scenario-inference (gate, --scenario 确认)
-  -> skeleton-capability-model
-  -> coverage-diff
-  -> glue-testcase (gate)
-  -> glue spec assembly (unresolvedSlots gate)
-  -> runtime gap inference
-  -> Playwright execution
-  -> glue-report
-```
-
-任一 gate `needs_review` 时停止（退出码 2），不继续后续阶段。用例中间产物由 `glue-testcase` skill 负责审阅。

package/codex-skill/ep-stage/glue-test/references/crud-pipeline.md

@@ -1,139 +0,0 @@
-# CRUD Pipeline 参考（CRUD Pipeline Reference）
-
-## 输入参数（Inputs）
-
-使用显式输入。当用户已经明确给出路径时，不要大范围搜索。
-
-| 输入 | 用途 | 说明 |
-| --- | --- | --- |
-| `--module-id` | 契约标识 | 稳定的技术标识，例如 `zwplace`。 |
-| `--docs` | 需求/规格目录 | 当存在 `spec.yaml` 时优先使用；当前 CLI 可回退到 `code_list.md` 的模块标签。 |
-| `--code-list` | 模块清单 | 通常为 `<knowledge-project>/_docs/code_list.md`。 |
-| `--webapp` | 生成的 HTML 页面 | 包含 list/add/edit/detail HTML 文件的目录。 |
-| `--java-actions` | Java Action 源码 | 包含 `*Action.java` 文件的目录，用于后端消息/规则。 |
-| `--hints` | 策略决策 | 数据主键、搜索条件、按钮别名、自动填充覆盖、删除策略、断言。 |
-| `--out` | 契约 JSON | 除非用户另有指定，否则输出保持在 `packages/ep-stage-skill/output/` 下。 |
-
-## ModuleHints 指引（ModuleHints Guidance）
-
-`ModuleHints` 是"已提取事实"与"测试人员策略"之间的边界。
-
-以下内容应放入 hints，而不是由 Agent 自行推断：
-
-- `dataKey.selectedField` 和 `dataKey.generationStrategy`
-- `searchConditions[]`，尤其是 listbox 的 `value`
-- `buttonAliases`
-- `autofill.overrideFields`
-- `deletePolicy`
-- 断言策略覆盖
-
-对于多条件 CRUD 冒烟测试，推荐：
-
-```json
-{
-  "dataKey": {
-    "selectedField": "placename",
-    "generationStrategy": "timestamp_prefix"
-  },
-  "searchConditions": [
-    {
-      "field": "placename",
-      "component": "input",
-      "seedValue": "自动化测试名称",
-      "strategy": "timestamp_prefix",
-      "updatePrefix": "修改"
-    },
-    {
-      "field": "placecategory",
-      "component": "listbox",
-      "value": "条线大厅",
-      "createSelections": [
-        { "field": "placecategory", "value": "条线大厅" }
-      ]
-    }
-  ]
-}
-```
-
-`searchConditions` 驱动生成的 `CrudFlowSlots`。`dataKey` 仍作为兼容性和策略锚点保留，但不应与独立的 `searchField` 概念重复。
-
-## 生成契约（Generate Contract）
-
-从仓库根目录执行：
-
-```bash
-pnpm --filter @epoint/ep-stage-skill generate:crud-contract -- \
-  --module-id <module-id> \
-  --docs <absolute-upstream-docs-dir> \
-  --code-list <absolute-code-list-md> \
-  --webapp <absolute-webapp-html-dir> \
-  --java-actions <absolute-java-action-dir> \
-  --hints examples/<module>.module-hints.json \
-  --out output/<module>.crud.contract.json
-```
-
-由于 `pnpm --filter` 会在包目录内执行，上游路径通常应使用绝对路径。
-
-## 检查契约闸门（Inspect Contract Gate）
-
-```bash
-node --input-type=module -e "
-import fs from 'node:fs';
-const c = JSON.parse(fs.readFileSync('packages/ep-stage-skill/output/<module>.crud.contract.json', 'utf8'));
-console.log(JSON.stringify({
-  contractVersion: c.contractVersion,
-  module: c.module,
-  searchConditions: c.searchConditions?.map(({ field, label, component, value }) => ({ field, label, component, value })),
-  unresolvedSlots: c.unresolvedSlots?.map(({ slotId, reason }) => ({ slotId, reason }))
-}, null, 2));
-if (c.unresolvedSlots?.length) process.exit(2);
-"
-```
-
-若退出码为 `2`，请更新 `ModuleHints` 并重新生成。不要从存在未解析槽位（unresolved slots）的契约生成最终 spec。
-
-## 生成 Spec（Generate Spec）
-
-```bash
-pnpm --filter @epoint/ep-stage-skill generate:playwright-tests -- \
-  --contract output/<module>.crud.contract.json \
-  --out <absolute-glue-project>/src/tests/<name>.spec.ts \
-  --menu "<menu-path>"
-```
-
-生成的 spec 应当：
-
-- 从 `../skeletons` 导入 `CrudPage`、`LoginPage`、`MenuPage` 以及 `type CrudFlowSlots`
-- 定义 `const crudSlots: CrudFlowSlots`
-- 调用 `await crudPage.runCrudFlow()`
-- 避免内联 Playwright 操作流程
-
-## 在消费方 glue 项目中验证（Verify In Consuming Glue Project）
-
-```bash
-cd <glue-project>
-pnpm --ignore-workspace exec tsc --noEmit
-```
-
-运行时验证需要 `.env` 配置：
-
-```text
-LOGIN_SYSTEM_URL=...
-LOGIN_USERNAME=...
-LOGIN_PASSWORD=...
-HEADLESS=false
-```
-
-仅当业务系统可达时才执行：
-
-```bash
-pnpm --ignore-workspace exec playwright test src/tests/<name>.spec.ts --project=chromium --headed --workers=1
-```
-
-若运行时失败，将失败原因归类为：
-
-- 系统可达性或登录配置
-- 上游物料不匹配
-- `ModuleHints` 缺失或错误
-- 骨架/组件行为
-- 包生成器缺陷

package/codex-skill/ep-stage/glue-testcase/SKILL.md

@@ -1,31 +0,0 @@
----
-name: glue-testcase
-description: 使用时机：当需要基于 ep-stage 可观测 trace、场景推理结果和 coverage diff 先生成可人工审阅的胶水测试用例中间产物，再供 glue-test 组装 Playwright spec 时使用。
----
-
-# ep-stage: glue-testcase
-
-本 skill 只负责测试用例中间产物（`glue-testcase.json` / `.md`），不直接生成或执行 Playwright spec。
-
-## 工作流
-
-```text
-读取 .stage/trace
-  -> 检查 scenario-inference 是否已确认（--scenario）
-  -> 读取 coverage-diff
-  -> 生成 testcase JSON / Markdown（testcases/<module>.glue-testcase.*）
-  -> 展示推理摘要和未确认项
-  -> 人工确认后供 glue-test 消费
-```
-
-## 关键约束
-
-- 未确认的 `scenario-inference` 不得生成可执行 spec。
-- `candidate` 和 `unresolved` 必须写入 testcase 的 `reviewStatus` 和 `unresolved`。
-- 嵌套 CRUD 一期只能作为候选用例进入 testcase，不写入正式 CRUD 契约。
-- 对话中展示的是可审阅推理摘要和证据链，不展示原始隐式思维链。
-
-## 按需加载
-
-- 用例 schema：`references/testcase-schema.md`
-- 样例产物：`examples/observable-testcase.json`

package/codex-skill/ep-stage/glue-testcase/references/testcase-schema.md

@@ -1,67 +0,0 @@
-# glue-testcase schema
-
-`glue-testcase` 的 JSON 顶层结构：
-
-```json
-{
-  "moduleId": "zwplace",
-  "moduleName": "场所窗口信息管理",
-  "cases": [
-    {
-      "caseId": "zwplace.create",
-      "title": "新增场所窗口信息管理",
-      "scenario": "crud.single-page",
-      "reviewStatus": "confirmed",
-      "evidence": ["skeleton=crud.skeleton-testcase/v1", "contract=crud-business-module/v1"],
-      "steps": ["进入菜单", "点击新增", "填写并保存测试数据"],
-      "assertions": ["新增后可查询到记录"],
-      "unresolved": []
-    },
-    {
-      "caseId": "zwplace.read",
-      "title": "查询场所窗口信息管理",
-      "scenario": "crud.single-page",
-      "reviewStatus": "confirmed",
-      "evidence": ["skeleton=crud.skeleton-testcase/v1", "contract=crud-business-module/v1"],
-      "steps": ["进入菜单", "输入查询字段", "提交查询"],
-      "assertions": ["查询结果包含测试记录"],
-      "unresolved": []
-    },
-    {
-      "caseId": "zwplace.update",
-      "title": "修改场所窗口信息管理",
-      "scenario": "crud.single-page",
-      "reviewStatus": "confirmed",
-      "evidence": ["skeleton=crud.skeleton-testcase/v1", "contract=crud-business-module/v1"],
-      "steps": ["定位测试记录", "点击修改", "保存更新值"],
-      "assertions": ["修改后可查询到更新记录"],
-      "unresolved": []
-    },
-    {
-      "caseId": "zwplace.delete",
-      "title": "删除场所窗口信息管理",
-      "scenario": "crud.single-page",
-      "reviewStatus": "confirmed",
-      "evidence": ["skeleton=crud.skeleton-testcase/v1", "contract=crud-business-module/v1"],
-      "steps": ["定位测试记录", "点击删除", "确认删除策略"],
-      "assertions": ["删除结果符合契约断言策略"],
-      "unresolved": []
-    }
-  ],
-  "reasoningSummary": {
-    "conclusion": "生成 4 条 CRUD 胶水测试用例。",
-    "evidenceChain": [],
-    "alternatives": ["crud.single-page"],
-    "confidence": "high",
-    "risks": [],
-    "needsHumanReview": false
-  }
-}
-```
-
-## 字段说明
-
-- `reviewStatus`：`confirmed` / `needs_review` / `blocked`。`needs_review` 的用例不得进入 spec assembly。
-- `caseId`：spec assembly 需要与生成脚本工作流粒度一致，CRUD 用例固定为 `<moduleId>.create`、`<moduleId>.read`、`<moduleId>.update`、`<moduleId>.delete`。
-- `unresolved`：未确认项（如嵌套 CRUD 子表保存后断言）。必须落盘，不能只在对话解释。
-- `reasoningSummary`：与 `.stage/trace/<run-id>/testcase-generation.json` 同构。