agentic-flow-kit 1.6.0 → 1.7.15

package/templates/_agents/scripts/check-loop.test.mjs

@@ -13,7 +13,7 @@ import { fileURLToPath } from 'node:url';
 import { computeFingerprint } from './confirm-doc.mjs';
 import { POLICIES, loadKitPolicy } from './policy.mjs';
 import { entryConfirmed, laneOfEntry, laneOfDoc } from './stage-gates.mjs';
-import { parseAddedDatesLog, addedDatesWithCache } from './check-loop.mjs';
+import { parseAddedDatesLog, addedDatesWithCache, scenarioIdsOf, extractThenByScenario, sectionHasBody, sedimentLandingIsShell } from './check-loop.mjs';
 
 const SCRIPT_DIR = path.dirname(fileURLToPath(import.meta.url));
 const CHECK_LOOP = path.join(SCRIPT_DIR, 'check-loop.mjs');
@@ -2940,6 +2940,61 @@ w(T, 'workflow/intents/2026-09-12-deep.md', INTENT('deep', '状态: draft\n级
 }
 
 
+// ---- 场景 23:台账 scope 子项（2026-10-09 审查 A1 干净版）——缺 scope 出账 / 摘要失配 hard / 存量与旧 policy 零告警 ----
+// 背景：委托代录的授权凭据原是「用户原话」（自由文本、AI 可零成本复用）。干净版改记机器派生的
+// scope{files,sha256}（AI 无输入面），本子项校验受管行带该字段且摘要自洽。
+{
+  const AFTER = '2026-10-09T12:00:00Z'; // ≥ policy v7 scopeSince（生效时刻锚）
+  const BEFORE = '2026-10-01T00:00:00Z'; // 存量（生效前）：豁免、不追溯
+  const { scopeDigest } = await import('./policy.mjs');
+
+  // 23a：受管行缺 scope → advisory 出账（灰度第一档，不阻断）
+  const Ta = mkfix();
+  w(Ta, '.agents/kit.json', '{"policyVersion":7}\n');
+  writeLedger(Ta, [{ ts: AFTER, doc: 'workflow/intents/2026-10-09-a.md', stage: 'approved', fingerprint: 'a'.repeat(64), prev: 'draft', source: 'chat-delegated', quote: '可以' }]);
+  const ra = run(Ta);
+  check('场景 23a 缺机器改动面：受管行无 scope → WARN 出账且不阻断',
+    ra.status === 0 && outOf(ra).includes('缺机器改动面'), `exit=${ra.status}\n${outOf(ra).slice(-400)}`);
+  rmfix(Ta);
+
+  // 23b：scope 存在但摘要与 files 重算不符（「改了 files 没改摘要」）→ hard 阻断
+  const Tb = mkfix();
+  w(Tb, '.agents/kit.json', '{"policyVersion":7}\n');
+  const good = scopeDigest(['workflow/intents/2026-10-09-b.md', 'src/x.mjs']);
+  writeLedger(Tb, [{ ts: AFTER, doc: 'workflow/intents/2026-10-09-b.md', stage: 'approved', fingerprint: 'b'.repeat(64), prev: 'draft', source: 'chat-delegated', quote: '可以', scope: { ...good, files: [...good.files, 'src/悄悄加的.mjs'] } }]);
+  const rb = run(Tb);
+  check('场景 23b scope 摘要失配：files 被改未同步 sha256 → hard 阻断',
+    rb.status !== 0 && outOf(rb).includes('台账 scope 失配'), `exit=${rb.status}\n${outOf(rb).slice(-400)}`);
+  rmfix(Tb);
+
+  // 23c：scope 完整自洽 → 零 scope 告警（断言非恒红）
+  const Tc = mkfix();
+  w(Tc, '.agents/kit.json', '{"policyVersion":7}\n');
+  writeLedger(Tc, [{ ts: AFTER, doc: 'workflow/intents/2026-10-09-c.md', stage: 'approved', fingerprint: 'c'.repeat(64), prev: 'draft', source: 'chat-delegated', quote: '可以', scope: scopeDigest(['workflow/intents/2026-10-09-c.md']) }]);
+  const rc = run(Tc);
+  check('场景 23c scope 自洽：零 scope 告警（断言非恒红）',
+    !outOf(rc).includes('缺机器改动面') && !outOf(rc).includes('台账 scope 失配'), outOf(rc).slice(-300));
+  rmfix(Tc);
+
+  // 23d：存量行（ts < scopeSince）缺 scope → 零告警（生效日锚不追溯，不产不可消除噪声）
+  const Td = mkfix();
+  w(Td, '.agents/kit.json', '{"policyVersion":7}\n');
+  writeLedger(Td, [{ ts: BEFORE, doc: 'workflow/intents/2026-10-01-d.md', stage: 'approved', fingerprint: 'd'.repeat(64), prev: 'draft', source: 'chat-delegated', quote: '可以' }]);
+  const rd = run(Td);
+  check('场景 23d 存量豁免：ts < scopeSince 的行缺 scope → 零告警（不追溯）',
+    !outOf(rd).includes('缺机器改动面'), outOf(rd).slice(-300));
+  rmfix(Td);
+
+  // 23e：旧 policy（v6 无 scopeSince 键）→ 子项整体跳过，存量 406 行零新增告警
+  const Te = mkfix();
+  w(Te, '.agents/kit.json', '{"policyVersion":6}\n');
+  writeLedger(Te, [{ ts: AFTER, doc: 'workflow/intents/2026-10-09-e.md', stage: 'approved', fingerprint: 'e'.repeat(64), prev: 'draft', source: 'chat-delegated', quote: '可以' }]);
+  const re = run(Te);
+  check('场景 23e 旧 policy 跳过：v6 无 scopeSince 键 → 子项整体跳过（装户零新增告警）',
+    !outOf(re).includes('缺机器改动面') && !outOf(re).includes('台账 scope 失配'), outOf(re).slice(-300));
+  rmfix(Te);
+}
+
 // ---- 场景 22:addedDates 持久缓存（2026-10-09 engine-quality-round3 W1）----
 {
   const log = '@2026-10-02T10:00:00+08:00\nworkflow/intents/a.md\nworkflow/plans/a.md\n@2026-10-01T09:00:00+08:00\nworkflow/intents/a.md\n';
@@ -2968,5 +3023,315 @@ w(T, 'workflow/intents/2026-09-12-deep.md', INTENT('deep', '状态: draft\n级
   fs.rmSync(cacheP, { force: true });
 }
 
+// ---- 场景 23：场景覆盖子判据（2026-10-10 scenario-coverage，灰度 warning）----
+// scenarioIdsOf 纯函数 + 端到端（spec 有「验收场景」节 → done intent 须逐场景引用；缺 = warning 不阻断）
+{
+  const d = fs.mkdtempSync(path.join(os.tmpdir(), 'scen-ids-'));
+  fs.writeFileSync(path.join(d, 's1.md'),
+    '---\n状态: draft\n---\n# SPEC\n## 功能行为\n### S0 不该被提取（节外）\n## 验收场景（可选）\n### S1 折扣\n- GIVEN x\n- WHEN y\n- THEN z\n### S2 退款\n- GIVEN a\n## 数据流\n### S3 也不提取（节外）\n');
+  const ids = scenarioIdsOf(path.join(d, 's1.md'));
+  check('场景 24a scenarioIdsOf：只提「验收场景」节内 ID，按序去重', ids.join(',') === 'S1,S2', JSON.stringify(ids));
+  fs.writeFileSync(path.join(d, 's2.md'), '---\n状态: draft\n---\n# SPEC\n## 功能行为\n无场景节\n');
+  check('场景 24b scenarioIdsOf：无「验收场景」节 → 空数组', scenarioIdsOf(path.join(d, 's2.md')).length === 0);
+  check('场景 24c scenarioIdsOf：文件不可读 → 空数组（fail-open）', scenarioIdsOf(path.join(d, 'nope.md')).length === 0);
+  fs.rmSync(d, { recursive: true, force: true });
+}
+{
+  // 端到端：spec 两场景 + intent 全引用 → exit 0 且无「场景未覆盖」warning
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-sc.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — sc\n## 验收场景（可选）\n### S1 折扣\n- GIVEN x\n- WHEN y\n- THEN z\n### S2 退款\n- GIVEN a\n');
+  w(T, 'workflow/intents/2026-09-12-sc.md', INTENT('sc', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 场景：S1 折扣生效（证据:冒烟 checkout.json）\n- [x] 场景：S2 退款到账（证据:refund.test.js）\n'));
+  w(T, 'workflow/plans/2026-09-12-sc.md', PLAN('sc', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 24d spec 有场景且 intent 全引用 → exit 0 无告警', r.status === 0 && !outOf(r).includes('场景未覆盖'), `exit=${r.status}\n${outOf(r).slice(0, 400)}`);
+}
+{
+  // 端到端：缺 S2 引用 → warning（灰度，不阻断：exit 仍 0）
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-sc.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — sc\n## 验收场景（可选）\n### S1 折扣\n- GIVEN x\n### S2 退款\n- GIVEN a\n');
+  w(T, 'workflow/intents/2026-09-12-sc.md', INTENT('sc', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 场景：S1 折扣生效（证据:冒烟 checkout.json）\n'));
+  w(T, 'workflow/plans/2026-09-12-sc.md', PLAN('sc', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 24e 缺场景引用 → warning 且不阻断（exit 0）',
+    r.status === 0 && outOf(r).includes('场景未覆盖') && outOf(r).includes('缺 S2'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 端到端：spec 无场景节 → 零变化（不出现「场景未覆盖」）
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-sc.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — sc\n## 功能行为\n普通 spec\n');
+  w(T, 'workflow/intents/2026-09-12-sc.md', INTENT('sc', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n'));
+  w(T, 'workflow/plans/2026-09-12-sc.md', PLAN('sc', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 24f spec 无场景节 → 零变化（无场景告警，exit 0）', r.status === 0 && !outOf(r).includes('场景未覆盖'), `exit=${r.status}\n${outOf(r).slice(0, 400)}`);
+}
+
+// ---- 场景 25：沉淀追踪子判据（2026-10-10 sediment-tracking，灰度 warning）----
+// sectionHasBody 纯函数 + 端到端（done intent 含影响面/触达红线 且 frontmatter 无「沉淀」→ WARN 未沉淀；
+// incident closed 且三件套齐全 → 同款；「沉淀: 无」豁免；路径断档 → WARN 沉淀断档）
+{
+  check('场景 25a sectionHasBody：标题后有实质行 → true',
+    sectionHasBody(['## 影响面', '- 页面 A', ''], '影响面') === true);
+  check('场景 25b sectionHasBody：光标题（模板未填）→ false',
+    sectionHasBody(['## 影响面', '<页面 / 接口 / 数据范围>', ''], '影响面') === false);
+  check('场景 25c sectionHasBody：无该节 → false',
+    sectionHasBody(['## 目标', '做 X'], '影响面') === false);
+  check('场景 25d sectionHasBody：前缀匹配 + 节外有同名行不算',
+    sectionHasBody(['## 目标', '提影响面', '## 影响面与边界', '- 内容'], '影响面') === true);
+}
+{
+  // intent 侧：done + 影响面有内容 + 无沉淀字段 → WARN 未沉淀（不阻断）
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-sed.md', INTENT('sed', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n## 影响面\n- 页面 A / 接口 B\n'));
+  w(T, 'workflow/plans/2026-09-12-sed.md', PLAN('sed', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 25e done intent 高价值无沉淀 → WARN 未沉淀且不阻断',
+    r.status === 0 && outOf(r).includes('未沉淀') && outOf(r).includes('2026-09-12-sed.md'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 「沉淀: 无」显式豁免 → 无未沉淀告警
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-sed.md', INTENT('sed', '状态: done\n级别: L1\n日期: 2026-09-12\n沉淀: 无',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n## 影响面\n- 页面 A\n'));
+  w(T, 'workflow/plans/2026-09-12-sed.md', PLAN('sed', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 25f 「沉淀: 无」显式豁免 → 无未沉淀告警',
+    r.status === 0 && !outOf(r).includes('未沉淀'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 沉淀字段指向不存在的文件 → WARN 沉淀断档
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-sed.md', INTENT('sed', '状态: done\n级别: L1\n日期: 2026-09-12\n沉淀: wiki/项目规范/不存在.md',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n## 影响面\n- 页面 A\n'));
+  w(T, 'workflow/plans/2026-09-12-sed.md', PLAN('sed', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 25g 沉淀字段指向缺失文件 → WARN 沉淀断档',
+    r.status === 0 && outOf(r).includes('沉淀断档') && !outOf(r).includes('未沉淀'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // intent 无影响面/触达红线 → 零变化（不出现未沉淀告警）
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-sed.md', INTENT('sed', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n'));
+  w(T, 'workflow/plans/2026-09-12-sed.md', PLAN('sed', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 25h intent 无高价值节 → 零变化', r.status === 0 && !outOf(r).includes('未沉淀'), `exit=${r.status}\n${outOf(r).slice(0, 400)}`);
+}
+{
+  // incident 侧：closed 且三件套齐全 且无沉淀 → WARN 未沉淀
+  const T = mkfix();
+  w(T, 'workflow/incidents/2026-09-12-inc.md',
+    `---\n状态: closed\n级别: L1\n发现: 2026-09-12\n---\n# INCIDENT — inc\n## 时间线\n- 用户确认：草稿过目通过（2026-09-12）\n## 复盘三件套（缺一不可）\n\n${三件套(false)}`);
+  w(T, 'workflow/plans/2026-09-12-inc.md', PLAN('inc', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 25i closed incident 三件套齐全无沉淀 → WARN 未沉淀',
+    r.status === 0 && outOf(r).includes('未沉淀') && outOf(r).includes('2026-09-12-inc.md'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // incident 三件套不全 → 沉淀子判据不触发（不出未沉淀，只出三件套不全）
+  const T = mkfix();
+  w(T, 'workflow/incidents/2026-09-12-inc.md',
+    `---\n状态: closed\n级别: L1\n发现: 2026-09-12\n---\n# INCIDENT — inc\n## 时间线\n- 用户确认：草稿过目通过（2026-09-12）\n## 复盘三件套（缺一不可）\n\n1. 结构性修复\n - 修复 commit:abc1234\n - 是否需要新 intent:\n - 否 → 理由:单点修复\n`);
+  w(T, 'workflow/plans/2026-09-12-inc.md', PLAN('inc', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 25j incident 三件套不全 → 只告三件套不全，不出未沉淀',
+    r.status === 0 && outOf(r).includes('三件套不全') && !outOf(r).includes('未沉淀'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+
+// ---- 场景 25 续：落点真实性（2026-10-11 landing-reality，P1-3，灰度 warning）----
+// sedimentLandingIsShell 纯函数 + 端到端（落点只有标题/占位 → WARN 落点空壳；带「来源:」frontmatter
+// 或 ≥3 行非占位正文 → 不出；不存在 → 仍 WARN 沉淀断档（回归）；指向目录（读取失败）→ 空壳并注明读取失败）
+{
+  check('场景 25k sedimentLandingIsShell：只有标题+占位（空壳）→ true',
+    sedimentLandingIsShell('---\n标题: 某主题\n---\n# 某主题\n<状态:待整理>\n') === true);
+  check('场景 25l sedimentLandingIsShell：frontmatter 有「来源:」→ false',
+    sedimentLandingIsShell('---\n来源: workflow/incidents/2026-09-12-inc.md\n---\n# 某主题\n') === false);
+  check('场景 25m sedimentLandingIsShell：非占位正文 ≥3 行 → false',
+    sedimentLandingIsShell('# 某主题\n- 要点一\n- 要点二\n- 要点三\n') === false);
+  check('场景 25n sedimentLandingIsShell：非占位正文仅 2 行 → true',
+    sedimentLandingIsShell('# 某主题\n- 要点一\n- 要点二\n') === true);
+  check('场景 25o sedimentLandingIsShell：读取失败（null）→ true',
+    sedimentLandingIsShell(null) === true);
+}
+{
+  // incident 侧：closed + 三件套齐全 + 沉淀指向只有标题/占位的文件 → WARN 落点空壳（不阻断）
+  const T = mkfix();
+  w(T, 'workflow/incidents/2026-09-12-inc.md',
+    `---\n状态: closed\n级别: L1\n发现: 2026-09-12\n沉淀: wiki/项目规范/shell.md\n---\n# INCIDENT — inc\n## 时间线\n- 用户确认：草稿过目通过（2026-09-12）\n## 复盘三件套（缺一不可）\n\n${三件套(false)}`);
+  w(T, 'workflow/plans/2026-09-12-inc.md', PLAN('inc', '状态: done\n级别: L1'));
+  fs.mkdirSync(path.join(T, 'wiki', '项目规范'), { recursive: true });
+  w(T, 'wiki/项目规范/shell.md', '---\n标题: 某主题沉淀\n---\n# 某主题沉淀\n<状态:待整理>\n');
+  const r = run(T);
+  check('场景 25p incident 沉淀落点为标题/占位空壳 → WARN 落点空壳',
+    r.status === 0 && outOf(r).includes('落点空壳') && outOf(r).includes('2026-09-12-inc.md')
+    && !outOf(r).includes('沉淀断档') && !outOf(r).includes('未沉淀'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // intent 侧对称：done + 影响面有内容 + 沉淀指向空壳文件 → WARN 落点空壳（不阻断）
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-sed.md', INTENT('sed', '状态: done\n级别: L1\n日期: 2026-09-12\n沉淀: wiki/项目规范/shell.md',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n## 影响面\n- 页面 A\n'));
+  w(T, 'workflow/plans/2026-09-12-sed.md', PLAN('sed', '状态: done\n级别: L1'));
+  fs.mkdirSync(path.join(T, 'wiki', '项目规范'), { recursive: true });
+  w(T, 'wiki/项目规范/shell.md', '# 某主题沉淀\n<待整理>\n');
+  const r = run(T);
+  check('场景 25q intent 沉淀落点为标题/占位空壳 → WARN 落点空壳',
+    r.status === 0 && outOf(r).includes('落点空壳') && outOf(r).includes('2026-09-12-sed.md')
+    && !outOf(r).includes('沉淀断档') && !outOf(r).includes('未沉淀'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 落点带「来源:」frontmatter → 非空壳（无落点空壳告警）
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-sed.md', INTENT('sed', '状态: done\n级别: L1\n日期: 2026-09-12\n沉淀: wiki/项目规范/real.md',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n## 影响面\n- 页面 A\n'));
+  w(T, 'workflow/plans/2026-09-12-sed.md', PLAN('sed', '状态: done\n级别: L1'));
+  fs.mkdirSync(path.join(T, 'wiki', '项目规范'), { recursive: true });
+  w(T, 'wiki/项目规范/real.md', '---\n来源: workflow/incidents/2026-09-12-inc.md\n---\n# 某主题沉淀\n');
+  const r = run(T);
+  check('场景 25r 沉淀落点带来源 frontmatter → 不出落点空壳',
+    r.status === 0 && !outOf(r).includes('落点空壳') && !outOf(r).includes('沉淀断档'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 落点有 ≥3 行非占位正文 → 非空壳（incident 侧非空壳路径）
+  const T = mkfix();
+  w(T, 'workflow/incidents/2026-09-12-inc.md',
+    `---\n状态: closed\n级别: L1\n发现: 2026-09-12\n沉淀: wiki/项目规范/real.md\n---\n# INCIDENT — inc\n## 时间线\n- 用户确认：草稿过目通过（2026-09-12）\n## 复盘三件套（缺一不可）\n\n${三件套(false)}`);
+  w(T, 'workflow/plans/2026-09-12-inc.md', PLAN('inc', '状态: done\n级别: L1'));
+  fs.mkdirSync(path.join(T, 'wiki', '项目规范'), { recursive: true });
+  w(T, 'wiki/项目规范/real.md', '---\n标题: 某主题沉淀\n---\n# 某主题沉淀\n- 要点一\n- 要点二\n- 要点三\n');
+  const r = run(T);
+  check('场景 25s 沉淀落点有 ≥3 行非占位正文 → 不出落点空壳',
+    r.status === 0 && !outOf(r).includes('落点空壳') && !outOf(r).includes('沉淀断档'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 回归：沉淀指向不存在的文件 → 仍是 WARN 沉淀断档（incident 侧；intent 侧由既有 25g 锚定）
+  const T = mkfix();
+  w(T, 'workflow/incidents/2026-09-12-inc.md',
+    `---\n状态: closed\n级别: L1\n发现: 2026-09-12\n沉淀: wiki/项目规范/不存在.md\n---\n# INCIDENT — inc\n## 时间线\n- 用户确认：草稿过目通过（2026-09-12）\n## 复盘三件套（缺一不可）\n\n${三件套(false)}`);
+  w(T, 'workflow/plans/2026-09-12-inc.md', PLAN('inc', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 25t 沉淀指向缺失文件 → 仍 WARN 沉淀断档（不出落点空壳）',
+    r.status === 0 && outOf(r).includes('沉淀断档') && !outOf(r).includes('落点空壳'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 落点指向目录（readFileSync 抛异常）→ 按空壳出账并在文案注明读取失败
+  const T = mkfix();
+  w(T, 'workflow/incidents/2026-09-12-inc.md',
+    `---\n状态: closed\n级别: L1\n发现: 2026-09-12\n沉淀: wiki/项目规范\n---\n# INCIDENT — inc\n## 时间线\n- 用户确认：草稿过目通过（2026-09-12）\n## 复盘三件套（缺一不可）\n\n${三件套(false)}`);
+  w(T, 'workflow/plans/2026-09-12-inc.md', PLAN('inc', '状态: done\n级别: L1'));
+  fs.mkdirSync(path.join(T, 'wiki', '项目规范'), { recursive: true });
+  const r = run(T);
+  check('场景 25u 沉淀落点读取失败（目录）→ WARN 落点空壳并注明读取失败',
+    r.status === 0 && outOf(r).includes('落点空壳') && outOf(r).includes('读取失败'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+
+// ---- 场景 92：THEN 断言抽取（2026-10-11 then-assertion，P2-2，灰度 warning）----
+// extractThenByScenario 纯函数 + 端到端（声明场景缺 THEN 行 = 空壳场景 → WARN 场景无断言，聚合一条；
+// 验收场景节本身可选——节不存在零变化）
+{
+  const spec = [
+    '## 验收场景（可选）',
+    '<说明行，不属于任何场景块>',
+    '### S1 折扣',
+    '- GIVEN 购物车有商品 THEN 不误抽（行中段 THEN 字样不算断言）',
+    '- WHEN 结算',
+    '- THEN 折扣金额入账',
+    '  - THEN 重复结算幂等（缩进变体也认）',
+    '### S2 退款',
+    'THEN: 退款单生成（无连字符带冒号也认）',
+    'THEN 审计流水落库（无连字符空格也认）',
+  ].join('\n');
+  const m = extractThenByScenario(spec);
+  check('场景 92a extractThenByScenario：- THEN / 缩进 / THEN: / THEN 变体均抽取',
+    m.get('S1').length === 2 && m.get('S2').length === 2
+    && m.get('S1')[0] === '- THEN 折扣金额入账' && m.get('S2')[0] === 'THEN: 退款单生成（无连字符带冒号也认）',
+    JSON.stringify([...m]));
+  check('场景 92b extractThenByScenario：GIVEN 行中段 THEN 字样不误抽',
+    !m.get('S1').some((s) => s.includes('GIVEN')), JSON.stringify(m.get('S1')));
+  check('场景 92c extractThenByScenario：无验收场景节 → 空 Map（节外 THEN 不认）',
+    extractThenByScenario('# SPEC\n## 功能行为\n- THEN 节外不认\n').size === 0);
+  check('场景 92d extractThenByScenario：非字符串（读取失败）→ 空 Map（不可判定不误报）',
+    extractThenByScenario(null).size === 0);
+}
+{
+  // 端到端：全场景带 THEN → 无「场景无断言」
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-thn.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — thn\n## 验收场景（可选）\n### S1 折扣\n- GIVEN x\n- WHEN y\n- THEN z\n### S2 退款\n- GIVEN a\n- THEN b\n');
+  w(T, 'workflow/intents/2026-09-12-thn.md', INTENT('thn', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 场景：S1 折扣生效（证据:checkout.json）\n- [x] 场景：S2 退款到账（证据:refund.test.js）\n'));
+  w(T, 'workflow/plans/2026-09-12-thn.md', PLAN('thn', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 92e 全场景带 THEN → 无场景无断言告警（exit 0）',
+    r.status === 0 && !outOf(r).includes('场景无断言'), `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 端到端：S2/S3 缺 THEN → 聚合一条 WARN，S1（有断言）不在列
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-thn.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — thn\n## 验收场景（可选）\n### S1 折扣\n- GIVEN x\n- THEN z\n### S2 退款\n- GIVEN a\n### S3 对账\n- WHEN c\n');
+  w(T, 'workflow/intents/2026-09-12-thn.md', INTENT('thn', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 场景：S1（证据:a.log）\n- [x] 场景：S2（证据:b.log）\n- [x] 场景：S3（证据:c.log）\n'));
+  w(T, 'workflow/plans/2026-09-12-thn.md', PLAN('thn', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 92f 场景缺 THEN → 聚合 WARN 且只列缺断言的 ID（S2、S3）',
+    r.status === 0 && outOf(r).includes('场景无断言') && outOf(r).includes('缺 THEN 断言：S2、S3'),
+    `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+{
+  // 端到端：spec 无验收场景节 → THEN 对账不适用（零变化）
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-thn.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — thn\n## 功能行为\n普通 spec，无场景节\n');
+  w(T, 'workflow/intents/2026-09-12-thn.md', INTENT('thn', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 用例通过（证据:jest 全绿）\n'));
+  w(T, 'workflow/plans/2026-09-12-thn.md', PLAN('thn', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 92g spec 无验收场景节 → 零场景告警（exit 0）',
+    r.status === 0 && !outOf(r).includes('场景无断言') && !outOf(r).includes('场景引用断链'),
+    `exit=${r.status}\n${outOf(r).slice(0, 400)}`);
+}
+
+// ---- 场景 93：引用断链反向对账（2026-10-11 dangling-ref，P2-1，灰度 warning）----
+// 端到端（与「场景未覆盖」共用同一次解析）：验收标准引用 spec 未声明的场景 ID → WARN 场景引用断链
+{
+  // 引用 S1（已声明且覆盖）+ S9（未声明）→ 只出断链，不出未覆盖
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-dr.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — dr\n## 验收场景（可选）\n### S1 折扣\n- GIVEN x\n- THEN z\n');
+  w(T, 'workflow/intents/2026-09-12-dr.md', INTENT('dr', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 场景：S1（证据:a.log）\n- [x] 场景：S9 幻影场景（证据:ghost.log）\n'));
+  w(T, 'workflow/plans/2026-09-12-dr.md', PLAN('dr', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 93a 引用 spec 未声明的 S9 → WARN 场景引用断链（不阻断）',
+    r.status === 0 && outOf(r).includes('场景引用断链') && outOf(r).includes('S9'),
+    `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+  check('场景 93b 已覆盖的 S1 不触发未覆盖（两方向互不误伤）',
+    !outOf(r).includes('场景未覆盖'), outOf(r).slice(0, 400));
+}
+{
+  // 引用与声明完全一致 → 无断链
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-dr.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — dr\n## 验收场景（可选）\n### S1 折扣\n- GIVEN x\n- THEN z\n### S2 退款\n- GIVEN a\n- THEN b\n');
+  w(T, 'workflow/intents/2026-09-12-dr.md', INTENT('dr', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 场景：S1（证据:a.log）\n- [x] 场景：S2（证据:b.log）\n'));
+  w(T, 'workflow/plans/2026-09-12-dr.md', PLAN('dr', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 93c 引用与声明一致 → 无断链无未覆盖（exit 0）',
+    r.status === 0 && !outOf(r).includes('场景引用断链') && !outOf(r).includes('场景未覆盖'),
+    `exit=${r.status}\n${outOf(r).slice(0, 400)}`);
+}
+{
+  // spec 无场景节但 intent 引用 S1 → 同样算断链（引用了不存在的场景）
+  const T = mkfix();
+  w(T, 'workflow/specs/2026-09-12-dr.md', '---\n状态: approved\n级别: L1\n---\n# SPEC — dr\n## 功能行为\n普通 spec，无场景节\n');
+  w(T, 'workflow/intents/2026-09-12-dr.md', INTENT('dr', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 场景：S1（证据:a.log）\n'));
+  w(T, 'workflow/plans/2026-09-12-dr.md', PLAN('dr', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('场景 93d spec 无场景节且引用 S1 → 断链 WARN（exit 0）',
+    r.status === 0 && outOf(r).includes('场景引用断链') && outOf(r).includes('S1'),
+    `exit=${r.status}\n${outOf(r).slice(0, 500)}`);
+}
+
 console.log(`\n合计: PASS ${pass} / FAIL ${fail}`);
-process.exit(fail ? 1 : 0);
+process.exit(fail ? 1 : 0);

package/templates/_agents/scripts/confirm-doc.mjs

@@ -38,8 +38,9 @@ import fs from 'node:fs';
 import path from 'node:path';
 import readline from 'node:readline';
 import { createHash, randomBytes } from 'node:crypto';
-import { confirmGateFor, doneGateFor, laneOfEntry, laneOfDoc } from './stage-gates.mjs';
-import { loadKitPolicy, hasFreshVerifyLine, ledgerChainHash } from './policy.mjs';
+import { spawnSync } from 'node:child_process';
+import { confirmGateFor, clarifyGateFor, doneGateFor, laneOfEntry, laneOfDoc } from './stage-gates.mjs';
+import { loadKitPolicy, hasFreshVerifyLine, ledgerChainHash, scopeDigest } from './policy.mjs';
 
 // hasFreshVerify(root, doc)：读 <root>/.agents/verifications.jsonl 判 24h 窗口绿行（判定单源
 // policy.hasFreshVerifyLine）。只读，台账缺失/不可读一律 false（=无凭证，advisory 层 fail-open）。
@@ -65,6 +66,33 @@ function docRelOf(root, doc) {
   }
 }
 
+// gitDirtyFiles(root)：机器实测的「工作树处于改动态的文件集合」（已跟踪改动 + 未跟踪新件，gitignore 项天然排除）。
+//   解析 `git status --porcelain`（-z 不用，逐行解析足够；重命名行取 `->` 后段）。
+//   非 git 仓库 / git 不可用 / 命令失败 → []（**静默降级为「无额外改动面」而非假装有**——scope 退化成
+//   只含被确认文档本身，仍然自洽可验；不因探测失败而拒绝关单）。
+function gitDirtyFiles(root) {
+  try {
+    const r = spawnSync('git', ['-C', root, 'status', '--porcelain'], { encoding: 'utf8', timeout: 10_000 });
+    if (r.status !== 0 || !r.stdout) return [];
+    return r.stdout.split(/\r?\n/).filter(Boolean).map((line) => {
+      const p = line.slice(3).trim();
+      const arrow = p.lastIndexOf(' -> ');
+      const rel = arrow >= 0 ? p.slice(arrow + 4) : p;
+      return rel.replace(/^"(.*)"$/, '$1');
+    }).filter(Boolean);
+  } catch {
+    return [];
+  }
+}
+
+// machineScope(root, doc)：落账用的改动面事实（2026-10-09 审查 A1 干净版）。
+//   **AI 无输入面**——files 全部由机器派生（被确认文档 + git 实测工作树改动集），不是调用方能填的参数。
+//   这正是相对旧设计的核心改进：旧的 quote 是 AI 自填的自由文本（可复用、可伪造、机器不可校验）；
+//   scope 是机器事实，AI 填不了假，对质时问的是「这 N 个文件」而非「一句说过的话」。
+//   归一/摘要计算单源在 policy.scopeDigest（check-loop 检查 15 侧校验复用同一实现）。
+export function machineScope(root, doc) {
+  return scopeDigest([docRelOf(root, doc), ...gitDirtyFiles(root)]);
+}
 // computeFingerprint(text)：CRLF 归一 → 剔指纹行 → sha256 hex（64 位）
 export function computeFingerprint(text) {
   const norm = String(text).replace(/\r\n/g, '\n').split('\n')
@@ -330,6 +358,19 @@ if (isMain) {
         refused++;
         continue;
       }
+      // 待澄清项门（2026-10-12 needs-clarification）：起草期挂「待澄清」标记**不阻断**（零阻塞），
+      // 但 draft→approved 确认时若仍挂着未澄清项则拒绝——确认即「认可这份文档」，文档里还写着
+      // 「这里我不知道」，确认就没有意义。与上面的前置门分开出账：拒绝原因必须指向真正的原因
+      // （合并会让作者去查「前置」，而前置其实是好的）。
+      // ⚠️ 文案锚点硬约束：本段禁止并入上方 gate 分支的输出契约（既有 confirm-doc.test.mjs 断言
+      // 锚定「未过逐阶段前置门（stage-gates）」子串），故单列独立分支。
+      const cl = clarifyGateFor(abs);
+      if (!cl.ok) {
+        console.error(`❌ ${doc} 含未澄清项（needs-clarification）：${cl.reason}`);
+        console.error(`   ${cl.hint}（本份未落账、未写盘）`);
+        refused++;
+        continue;
+      }
     }
     // done 前置门（2026-09-30 confirm-gate-approved-history）：→done 须 git 历史已留 approved 态
     // （先 done 后提交 / 两跳同批提交 → 拒绝；防「确认态缺失」缺陷复发；判据单源见 stage-gates.doneGateFor）。
@@ -360,6 +401,9 @@ if (isMain) {
       }
     }
     const fp = computeFingerprint(text);
+    // 改动面事实（2026-10-09 审查 A1 干净版）：机器派生，三形态（TTY / 委托代录 / AI 自治）一律记入——
+    // TTY 形态同样需要（事后对质问的是「放行时盘面上哪些文件在动」，与谁点的确认无关）。
+    const scope = machineScope(root, doc);
     // AI 自治放行分支（2026-09-30 ai-autonomy-trust）：
     // ① 仅 L0/L1（读 frontmatter「级别」，缺级别按不可自治处理——fail-closed）；
     // ② Level 1：仅 draft→approved；Level 2：draft→approved 与 approved→done；
@@ -378,7 +422,7 @@ if (isMain) {
       appendLedger(root, {
         ts: new Date().toISOString(), doc, stage: target, fingerprint: fp, prev: st,
         source: `ai-auto-trust-L${trustConfig.level}`, quote: `AI 自治放行 (Trust Level ${trustConfig.level})`,
-        batch, seq, of: docs.length,
+        batch, seq, of: docs.length, scope,
       });
       console.log(`✓ ${doc} ${st} → ${target}（指纹 ${fp.slice(0, 16)}，AI 自治已记账：source=ai-auto-trust-L${trustConfig.level}）`);
       confirmed++;
@@ -401,6 +445,9 @@ if (isMain) {
         source: 'chat-delegated', quote: String(delegatedQuote),
         // 调用事实（batch-ledger-audit）：seq=本次调用内件序（从 1），of=本次调用总份数
         batch, seq, of: docs.length,
+        // 改动面事实（A1 干净版）：quote 降级为「人类可读摘要」，分辨力改由 scope（机器派生）+ fingerprint
+        // （文档内容）承担——「不复用同句」纪律据此退役（复用一句摘要不再削弱任何判据）。
+        scope,
         // 简洁审计标记（hybrid-governance-risk-lanes）：L0/L1 协作道行带 brief（quote 仍入账供对质），
         // 检查 15 并录审计对全 brief 批次豁免「确认并录」告警
         ...(low ? { brief: true } : {}),

package/templates/_agents/scripts/confirm-doc.test.mjs

@@ -13,7 +13,8 @@ import os from 'node:os';
 import path from 'node:path';
 import { spawnSync } from 'node:child_process';
 import { fileURLToPath } from 'node:url';
-import { computeFingerprint, nextStage, applyTransition, appendLedger, resolveTransition } from './confirm-doc.mjs';
+import { computeFingerprint, nextStage, applyTransition, appendLedger, resolveTransition, machineScope } from './confirm-doc.mjs';
+import { scopeDigest, scopeMatches } from './policy.mjs';
 
 let pass = 0;
 let fail = 0;
@@ -385,6 +386,65 @@ const readLedgerOf = (root) => {
   fs.rmSync(root, { recursive: true, force: true });
 }
 
+// ---- S19b【待澄清门】spec 挂未澄清项 → 拒绝落账（2026-10-12 needs-clarification）----
+// 夹具沿 S23 的正路入口（台账行 + approved），确保**前置门已过**——否则拒绝原因会指向前置而非待澄清，
+// 用例就测不出新门。断言拒绝文案点名「needs-clarification」且**不含**前置门文案（两门分开出账）。
+{
+  const root = fs.mkdtempSync(path.join(os.tmpdir(), 'confirm-cl1-'));
+  for (const sub of ['intents', 'specs']) fs.mkdirSync(path.join(root, 'workflow', sub), { recursive: true });
+  fs.mkdirSync(path.join(root, '.agents'), { recursive: true });
+  const fp = 'c'.repeat(64);
+  fs.writeFileSync(path.join(root, 'workflow', 'intents', '2026-10-12-n.md'), `---\n状态: approved\n级别: L2\n日期: 2026-10-12\n确认指纹: ${fp.slice(0, 16)}\n---\n# I\n`);
+  fs.writeFileSync(path.join(root, '.agents', 'confirmations.jsonl'), JSON.stringify({ ts: '2026-10-12T02:00:00.000Z', doc: 'workflow/intents/2026-10-12-n.md', stage: 'approved', fingerprint: fp, prev: 'draft', source: 'chat-delegated', batch: 'n1', seq: 1, of: 1 }) + '\n');
+  const specP = path.join(root, 'workflow', 'specs', '2026-10-12-n.md');
+  fs.writeFileSync(specP, '---\n状态: draft\n级别: L2\n---\n# S\n\n## 功能行为\n- 待澄清：错误率的判据是 5xx 占比还是全量？\n');
+  const before = fs.readFileSync(specP, 'utf8');
+  const r = spawnSync(process.execPath, [CLI, 'workflow/specs/2026-10-12-n.md', '--delegated', '可以'], { cwd: root, encoding: 'utf8' });
+  const after = fs.readFileSync(specP, 'utf8');
+  const led = readLedgerOf(root);
+  check('S19b 待澄清门：挂未澄清项 → exit 2 + 点名行号与内容 + 未落盘 + 零新增台账',
+    r.status === 2 && /needs-clarification/.test(r.stderr) && /第8行/.test(r.stderr) && /5xx 占比还是全量/.test(r.stderr)
+      && after === before && led.length === 1,
+    JSON.stringify({ status: r.status, stderr: r.stderr, ledger: led.length }));
+  check('S19b 待澄清门：拒绝原因不误指向前置门（两门分开出账，否则作者查错地方）',
+    !/逐阶段前置门/.test(r.stderr), r.stderr);
+  fs.rmSync(root, { recursive: true, force: true });
+}
+
+// ---- S19c【待澄清门】解决后（行首改「已澄清」）→ 放行；纯删行亦可 ----
+{
+  const mkClarified = (body) => {
+    const root = fs.mkdtempSync(path.join(os.tmpdir(), 'confirm-cl2-'));
+    for (const sub of ['intents', 'specs']) fs.mkdirSync(path.join(root, 'workflow', sub), { recursive: true });
+    fs.mkdirSync(path.join(root, '.agents'), { recursive: true });
+    const fp = 'd'.repeat(64);
+    fs.writeFileSync(path.join(root, 'workflow', 'intents', '2026-10-12-o.md'), `---\n状态: approved\n级别: L2\n日期: 2026-10-12\n确认指纹: ${fp.slice(0, 16)}\n---\n# I\n`);
+    fs.writeFileSync(path.join(root, '.agents', 'confirmations.jsonl'), JSON.stringify({ ts: '2026-10-12T02:00:00.000Z', doc: 'workflow/intents/2026-10-12-o.md', stage: 'approved', fingerprint: fp, prev: 'draft', source: 'chat-delegated', batch: 'o1', seq: 1, of: 1 }) + '\n');
+    fs.writeFileSync(path.join(root, 'workflow', 'specs', '2026-10-12-o.md'), body);
+    return root;
+  };
+  for (const [name, body] of [
+    ['改前缀为「已澄清」（保留行、留痕曾不清楚）', '---\n状态: draft\n级别: L2\n---\n# S\n\n- 已澄清：错误率判据 = 5xx 占比（与用户 10-12 对齐）\n'],
+    ['直接删行', '---\n状态: draft\n级别: L2\n---\n# S\n\n## 功能行为\n- 错误率判据 = 5xx 占比\n'],
+  ]) {
+    const root = mkClarified(body);
+    const r = spawnSync(process.execPath, [CLI, 'workflow/specs/2026-10-12-o.md', '--delegated', '可以'], { cwd: root, encoding: 'utf8' });
+    const after = fs.readFileSync(path.join(root, 'workflow', 'specs', '2026-10-12-o.md'), 'utf8');
+    check(`S19c 待澄清门：${name} → 放行落态`, r.status === 0 && after.includes('状态: approved'),
+      JSON.stringify({ status: r.status, stderr: r.stderr }));
+    fs.rmSync(root, { recursive: true, force: true });
+  }
+  // intents 不受本门约束（歧义标记的落点是 spec/plan 的设计判据；intent 是需求单，澄清天然发生在此处）
+  const root3 = fs.mkdtempSync(path.join(os.tmpdir(), 'confirm-cl3-'));
+  fs.mkdirSync(path.join(root3, 'workflow', 'intents'), { recursive: true });
+  fs.writeFileSync(path.join(root3, 'workflow', 'intents', '2026-10-12-p.md'), '---\n状态: draft\n级别: L1\n---\n# I\n\n- 待澄清：范围含不含移动端？\n');
+  const r3 = spawnSync(process.execPath, [CLI, 'workflow/intents/2026-10-12-p.md', '--delegated', '可以'], { cwd: root3, encoding: 'utf8' });
+  check('S19c 待澄清门：intent 不受本门约束（澄清天然发生在需求单处）',
+    r3.status === 0 && fs.readFileSync(path.join(root3, 'workflow', 'intents', '2026-10-12-p.md'), 'utf8').includes('状态: approved'),
+    JSON.stringify({ status: r3.status, stderr: r3.stderr }));
+  fs.rmSync(root3, { recursive: true, force: true });
+}
+
 // ---- S20【逐阶段门】入口存在但未确认（draft）→ 拒绝 ----
 {
   const root = fs.mkdtempSync(path.join(os.tmpdir(), 'confirm-sg2-'));
@@ -788,5 +848,37 @@ const writeTrust = (root, cfg) => {
     r43.status === 0 && /无测试绿凭证/.test(r43.stderr), String(r43.stderr).slice(0, 200));
 }
 
+// ---- S41 台账 scope：机器派生改动面（2026-10-09 审查 A1 干净版）----
+// 背景：委托代录的授权凭据原是 `--delegated` 的用户原话——自由文本机器不可校验、AI 可零成本复用。
+// 干净版把分辨力换成机器派生的 scope{files,sha256}：写入侧机器派生（AI 无输入面），校验侧重算比对。
+// ① 归一与摘要单源（反斜杠 / 前导 ./ / 重复项 / 顺序无关 → 同一摘要）；② scopeMatches 抓「改了 files
+//    没改摘要」；③ 委托落账行带 scope 且含被确认文档；④ 非 git 夹具降级不崩（scope 退化为仅含 doc）。
+{
+  const d = scopeDigest(['b.md', 'a.md', './a.md', 'x\\y.md']);
+  check('S41① scopeDigest 归一：反斜杠→posix、去重、排序无关，摘要自洽',
+    d.files.join(',') === 'a.md,b.md,x/y.md' && d.sha256 === scopeDigest(['x/y.md', 'a.md', 'b.md']).sha256
+      && scopeMatches({ scope: d }), JSON.stringify(d));
+  check('S41② scopeMatches：files 被改而摘要未同步 → 判否',
+    !scopeMatches({ scope: { files: [...d.files, 'zz.md'], sha256: d.sha256 } })
+      && !scopeMatches({}) && !scopeMatches({ scope: { files: d.files } }));
+
+  const root = fs.mkdtempSync(path.join(os.tmpdir(), 'confirm-scope-'));
+  const docP = path.join(root, 'workflow', 'intents'); // 用 intents：无逐阶段前置门，本用例只验 scope 落账
+  fs.mkdirSync(docP, { recursive: true });
+  fs.writeFileSync(path.join(docP, '2026-10-09-s.md'), '---\n状态: draft\n---\n# I\n');
+  const r = spawnSync(process.execPath, [CLI, 'workflow/intents/2026-10-09-s.md', '--delegated', '放行'], { cwd: root, encoding: 'utf8' });
+  const led = readLedgerOf(root);
+  const j = led[led.length - 1];
+  check('S41③ 委托落账行带机器派生 scope：含被确认文档 + 摘要自洽',
+    r.status === 0 && j && j.scope && Array.isArray(j.scope.files)
+      && j.scope.files.includes('workflow/intents/2026-10-09-s.md') && scopeMatches(j),
+    JSON.stringify({ status: r.status, stderr: r.stderr, scope: j && j.scope }));
+  check('S41④ 非 git 夹具降级：machineScope 不崩且仍含 doc（静默退化为无额外改动面，不拒绝关单）',
+    (() => { const s = machineScope(root, 'workflow/intents/2026-10-09-s.md');
+      return Array.isArray(s.files) && s.files.includes('workflow/intents/2026-10-09-s.md') && scopeMatches({ scope: s }); })(),
+    JSON.stringify(machineScope(root, 'workflow/intents/2026-10-09-s.md')));
+  fs.rmSync(root, { recursive: true, force: true });
+}
+
 console.log(`\n合计: PASS ${pass} / FAIL ${fail}`);
 process.exit(fail ? 1 : 0);