qa-test-plan

QA 测试计划

职责：构建 QA 计划。不执行测试、不更改代码、不解决门禁、不判定完成或发布状态，也不生成 Verification Record。

使用规范 Verification Record 中的分类法和标识符。调用方记录观察结果，verification-audit 执行唯一的语义归纳。

输入

接受一种获取途径：

• **Runner 交接：**规范化的 Ticket Envelope、验收标准、冻结的 diff、CandidateRef、提供的 invariants/boundaries、环境、门禁和已观察到的检查结果。
• **独立获取：**以只读方式获取 PR、commit、本地 diff 或用户请求的范围；记录观察到的身份、请求的行为、仓库规则、可用环境、限制和检查项。

不要解析 Markdown 来伪造 Ticket Envelope。将未知输入标记为草案限制或门禁；绝不假设已获得访问权限或已成功执行。

易变输入上限

• max_volatile_bytes：每次调用最多 103998 个规范化 UTF-8 字节。此值为已观察到的 96,393 字节候选 diff 峰值，加上 2,380 字节工单正文和 5,225 字节评审交接内容的上限。语料包括本次运行的 TK-01/TK-02/TK-05/TK-07/TK-08 规范化 git diff --no-ext-diff --no-color 观察结果、九份工单正文和精简的叶节点结果。
• max_single_output_bytes：32596，即已观察到的 TK-02 可执行代码候选 diff。

将每个 diff、原始文件片段、粘贴的交接内容、证据正文和工具结果中的 CRLF 或单独 CR 规范化为 LF 后再计数。从变更文件清单开始；在命令输出进入上下文之前将其截断，并按文件或代码块切分较大的内容。优先使用路径加 SHA-256 引用，而非粘贴产物；仅在计划必须覆盖某个因果缺口时才加载内容。如果下一次必需读取会超出上限，则返回 schema-3 部分计划，并精确列出已检查和剩余的范围及 budget-exhausted。绝不能为了遵守上限而删除因果用例、证据分类、invariant、boundary 或门禁。

制定计划

首先应用每次尝试的验证准入与成本。在允许进行高成本执行之前，要求提供当前身份以及已交付的打包/产物图结果。盘点所有先前尝试，包括失败或已取代的分片；保留原始证据身份和未知成本。选择因果检查，不得豁免强制配置文件或精确 head 的 CI。重复运行完整测试套件必须有具体理由，并确认当前尝试的剩余预算，不能仅凭新的 CandidateRef 就执行。

对于每项变更行为：

1. 说明从注入点到用户/外部观察结果的因果链。
2. 选择能覆盖变更机制的最小测试。
3. 使用规范参考中的分类，将预期观察归类为静态、单元、集成、模拟或实时。
4. 指明确切的设置、操作、预期结果、清理步骤和要捕获的证据。
5. 将用例映射到工单标准、invariants、boundary 项和门禁 ID。
6. 视情况添加负向/错误路径、重试、顺序/幂等性检查和回归覆盖。

不要将模拟的 provider 或虚假的浏览器标记为实时。如果所需环境、凭证、审批或设备不可用，应明确写出未解决的门禁和经授权的模拟计划；不得擅自降低要求。

输出

对于运行器交接，返回调用方的 schema-3 qa-plan 叶子结果。将其绑定到确切的 CandidateRef 和规范阶段契约。其 schema-1 quality 负载应命名因果范围、内容寻址的计划证据引用和限制；超时或中断时返回 complete: false、最后一个持久化阶段以及确切的剩余阶段。不要丢弃部分计划或将其标记为通过。 包含包含已观察隔离情况的规范化 schema-3 execution；切勿根据请求的计划推断委派、 独立上下文、并行性或权限。

对于独立获取，返回：

# QA Plan

## Candidate
- CandidateRef:

## Admission and Cost
- Current identity, delivered packaging/artifact-graph results and evidence references.
- Prior attempts/shards with original identities, outcomes, durations and artifact hashes.
- Summed invocation time versus measured end-to-end elapsed time; unknowns and lower bounds.
- Selected/omitted checks with causal or mandatory-policy reason, full-repeat justification,
  estimated next cost, the current attempt's remaining budget and unresolved execution state.

## Automated Checks
- ID, command, layer, causal path, expected evidence.

## Manual / Environment Checks
- ID, setup, action, expected observation, evidence class, cleanup.

## Negative and Regression Paths
- ID, failure or preserved behavior, expected observation.

## Mapping
- QA ID -> acceptance criterion / invariant / boundary item / gate.

## Open Gates and Limits
- Gate ID, owner, unblock condition, and claim impact.

规划检查不代表检查已运行。应区分计划中、已执行、已通过、已失败、已跳过和已阻止状态。独立草稿不能声称工单已完成或已发布。