feat: derive tests from goals and format Markdown assets

skills/execute-plan/SKILL.md

@@ -31,6 +31,8 @@ description: 仅在用户明确要求使用 execute-plan 时启用。执行已
 
 执行记录沿用计划决策日期，执行时间另记正文；计划重新批准后用用户当地确认日期。进度与排版不改日期；旧元数据缺失不等于缺少批准，不编造日期。
 
+Markdown 正文中代码、命令和多行配置用带语言标记的围栏代码块，标识符与路径用行内代码，原文引用用 `>` 并注明来源。顶部 YAML 不包代码块，不为排版添加冗余内容。
+
 - CONTEXT 只记录已确认且当前有效的业务约束、技术约束，可注明适用模块及必要原因；不放待实施方案、废弃决策、历史计划路径、任务、代码或日志。目标为“保存系统当前业务与技术约束”，时间为最近确认决策日期。局部编码选择不提升为系统约束。
 - 对照 CONTEXT 与计划：无关更新继续，其他实质冲突先澄清。实施、验证及 review 完成后，重读 CONTEXT，用本次落实的约束替换失效规则，保留无关的有效约束；失败或部分完成不提前更新，不记录状态变迁或旧规则。
 - 执行记录仅保留任务状态、配套文件及理由、关键验证命令/结果、兼容性与上线要求、阻塞与偏差，不粘贴完整工具日志。恢复会话或压缩后重读 CONTEXT、计划和执行状态；无变化时复用已读内容。
@@ -48,7 +50,7 @@ description: 仅在用户明确要求使用 execute-plan 时启用。执行已
 ## 验证、Review 与提交
 
 1. 完成后重新完整读取原目标与批准计划，对照任务 diff：验收是否满足、保留行为是否成立、是否越界、是否影响调用方与错误路径。
-2. 运行计划要求及改动必要的检查，覆盖验收与回归风险。复用已有测试，补真实缺口，不堆重复用例或强制覆盖率；文档变更用适当结构检查。记录实际证据，无变化且无新疑点时不重复运行。
+2. 先从原始目标和验收推导正常、边界、异常及保留行为测试，断言依据需求而非复制实现逻辑；核对用例能否发现目标偏离，不只验证修改的代码是否按自身逻辑运行。复用已有测试、补真实缺口，不堆重复用例或追求覆盖率数字。运行计划要求及必要回归检查，文档变更用适当结构检查；记录实际证据，无变化且无新疑点时不重复运行。
 3. Review 范围、正确性、模块职责/依赖边界及失效代码清理，修复本任务问题后重跑受影响检查。越界内容仅撤销能可靠隔离的自身改动。未解决失败或环境阻碍如实报告，不宣称通过、不绕过检查提交；用户调整验证要求时记录差异。
    根据实际 diff 与证据复核接口、数据、配置及新旧版本兼容性。需要特殊上线操作时列出前置条件、步骤顺序、验证点及必要回退限制；否则明确“无需特殊上线步骤或顺序”。未知或未验证部分如实标注，不把本地测试通过等同于上线兼容。涉及计划外迁移或行为变化时先更新计划并确认；评估不授权实际部署。
 4. 仅暂存本任务文件/片段，检查完整暂存 diff，确保不含用户原有改动、MEMORY 或讨论资产。无法隔离或 MEMORY 已被跟踪时先解决，不擅自取消跟踪。