@autobest-ui/agent 1.0.6 → 1.0.8

package/bin/sync-assets.test.mjs

@@ -22,12 +22,23 @@ test("installs common skills into the user-level skills directory", async () =>
     assert.deepEqual(result.skills, [
       "code-pr-submit",
       "figma-ui-capture",
+      "make-spec",
+      "review-from-docs",
       "ui-prd-scope",
     ]);
     await access(
       path.join(result.targetRoot, "code-pr-submit", "SKILL.md")
     );
     await access(path.join(result.targetRoot, "figma-ui-capture", "SKILL.md"));
+    await access(
+      path.join(result.targetRoot, "make-spec", "scripts", "validate-spec-traceability.mjs")
+    );
+    await access(
+      path.join(result.targetRoot, "review-from-docs", "references", "review-result-schema.md")
+    );
+    await access(
+      path.join(result.targetRoot, "review-from-docs", "scripts", "validate-review-traceability.mjs")
+    );
     await access(
       path.join(
         result.targetRoot,

package/bin/traceability-validators.test.mjs

@@ -0,0 +1,254 @@
+import assert from 'node:assert/strict';
+import crypto from 'node:crypto';
+import fs from 'node:fs/promises';
+import os from 'node:os';
+import path from 'node:path';
+import { spawnSync } from 'node:child_process';
+import test from 'node:test';
+import { fileURLToPath } from 'node:url';
+
+const packageRoot = path.resolve(path.dirname(fileURLToPath(import.meta.url)), '..');
+const scopeValidator = path.join(
+  packageRoot,
+  'skills/common/ui-prd-scope/scripts/validate-scope-bundle.mjs'
+);
+const specValidator = path.join(
+  packageRoot,
+  'skills/common/make-spec/scripts/validate-spec-traceability.mjs'
+);
+const reviewValidator = path.join(
+  packageRoot,
+  'skills/common/review-from-docs/scripts/validate-review-traceability.mjs'
+);
+
+const hash = value => crypto.createHash('sha256').update(value).digest('hex');
+
+async function createTraceableScope() {
+  const root = await fs.mkdtemp(path.join(os.tmpdir(), 'autobest-traceability-'));
+  const pageDir = path.join(root, '01-product-detail');
+  await fs.mkdir(path.join(pageDir, 'review'), { recursive: true });
+  const scope = `# 商品详情 范围
+
+## 需求来源
+- Azure PR: https://dev.azure.com/org/project/_git/repo/pullrequest/1
+- 证据类型：\`PR 增量\`
+
+## 项目运行与访问
+| 项目 | 内容 |
+| --- | --- |
+| 工作区 | \`packages/web\` |
+| 页面模块 | \`src/detail\` |
+| 启动 | \`npm start\` |
+| 本地 URL | http://localhost:3000/detail |
+| 权限 | 无登录门禁 |
+| 数据前置 | fixture |
+
+## 页面族
+合并依据：共享页面模板。
+
+## 改动范围
+- 商品主图。
+
+## 需求清单
+| 需求 ID | 状态 | 需求陈述 | PRD 来源 | Figma 证据 | RAG 证据 | 状态原因 |
+| --- | --- | --- | --- | --- | --- | --- |
+| \`REQ-PD-001\` | \`active\` | 商品主图可见 | \`/Frontend_Web/detail.md#主图\` | 无 | \`doc_id=1\` | - |
+
+## 范围外
+- 无。
+
+## Figma 输入
+| 覆盖内容 | 设备 | 变体 | JSON | 截图 | 根节点/尺寸 |
+| --- | --- | --- | --- | --- | --- |
+
+## RAG 补充
+来源：RAG \`web / detail / detail\`，\`详情需求\`（doc_id: \`1\`）。
+| 查询重点 | 过滤条件 | 结果 |
+| --- | --- | --- |
+| 行为 | \`platform=web module=detail page=detail\` | doc_id=1 |
+| 覆盖领域 | 状态 |
+| --- | --- |
+| businessRules | \`hit\` |
+| statesTransitions | \`hit\` |
+| emptyErrors | \`no-hit\` |
+| permissions | \`no-hit\` |
+| crossPage | \`not-applicable\` |
+
+## 待质询
+- 无。
+`;
+  const requirement = {
+    id: 'REQ-PD-001',
+    statement: '商品主图可见',
+    status: 'active',
+    sourceRefs: [{ type: 'azure-prd', path: '/Frontend_Web/detail.md', section: '主图' }],
+    figmaRefs: [],
+    ragRefs: ['doc_id=1'],
+    statusReason: null
+  };
+  const scopeEntry = {
+    directory: '01-product-detail',
+    pageFamily: '商品详情',
+    requirementPrefix: 'PD',
+    decision: '共享页面模板',
+    sourceFiles: ['/Frontend_Web/detail.md'],
+    ragCoverage: {
+      businessRules: 'hit',
+      statesTransitions: 'hit',
+      emptyErrors: 'no-hit',
+      permissions: 'no-hit',
+      crossPage: 'not-applicable'
+    },
+    requirements: [requirement]
+  };
+  const manifest = {
+    schemaVersion: 1,
+    traceabilitySchemaVersion: 1,
+    prId: '1',
+    prUrl: 'https://dev.azure.com/org/project/_git/repo/pullrequest/1',
+    requestedPath: null,
+    ragPlatform: 'web',
+    changedSources: ['/Frontend_Web/detail.md'],
+    scopes: [scopeEntry],
+    unmappedSources: [],
+    figmaSources: []
+  };
+  await fs.writeFile(path.join(root, 'README.md'), '[商品详情](./01-product-detail/scope.md)\n');
+  await fs.writeFile(path.join(root, 'scope-manifest.json'), `${JSON.stringify(manifest, null, 2)}\n`);
+  await fs.writeFile(path.join(pageDir, 'scope.md'), scope);
+  return { root, pageDir, scope, manifest };
+}
+
+function runValidator(script, target) {
+  return spawnSync(process.execPath, [script, target], { encoding: 'utf8' });
+}
+
+test('scope 校验器接受编号一致的范围包并拒绝重复 ID', async t => {
+  const fixture = await createTraceableScope();
+  t.after(() => fs.rm(fixture.root, { recursive: true, force: true }));
+  const valid = runValidator(scopeValidator, fixture.root);
+  assert.equal(valid.status, 0, valid.stderr);
+
+  fixture.manifest.scopes.push({
+    ...fixture.manifest.scopes[0],
+    directory: '02-duplicate',
+    pageFamily: '重复页面'
+  });
+  await fs.mkdir(path.join(fixture.root, '02-duplicate'));
+  await fs.copyFile(
+    path.join(fixture.pageDir, 'scope.md'),
+    path.join(fixture.root, '02-duplicate', 'scope.md')
+  );
+  await fs.appendFile(
+    path.join(fixture.root, 'README.md'),
+    '[重复页面](./02-duplicate/scope.md)\n'
+  );
+  await fs.writeFile(
+    path.join(fixture.root, 'scope-manifest.json'),
+    `${JSON.stringify(fixture.manifest, null, 2)}\n`
+  );
+  const invalid = runValidator(scopeValidator, fixture.root);
+  assert.equal(invalid.status, 1);
+  assert.match(invalid.stderr, /重复 requirementPrefix|重复需求 ID/);
+});
+
+test('spec 校验器验证完整映射和输入哈希', async t => {
+  const fixture = await createTraceableScope();
+  t.after(() => fs.rm(fixture.root, { recursive: true, force: true }));
+  const review = {
+    schemaVersion: 2,
+    sessionStatus: 'complete',
+    userConfirmed: true,
+    scope: {
+      manifestPath: '../scope-manifest.json',
+      directory: '01-product-detail',
+      scopePath: 'scope.md'
+    },
+    rounds: [{ round: 1, questionIds: ['Q001'] }],
+    questions: [{
+      id: 'Q001',
+      requirementIds: ['REQ-PD-001'],
+      area: 'dataContract',
+      parentQuestionIds: [],
+      question: '主图字段使用哪个接口字段？',
+      recommendation: '使用 PRD 明确的新字段。',
+      affectedAcceptance: '决定主图数据来源。',
+      status: 'answered',
+      answer: '使用新字段',
+      answeredBy: 'user'
+    }],
+    requirements: [{
+      id: 'REQ-PD-001',
+      scopeStatus: 'active',
+      reviewStatus: 'confirmed',
+      decisionCoverage: {
+        scopeBoundary: 'evidence',
+        dataContract: 'user',
+        emptyError: 'not-applicable',
+        stateInteraction: 'not-applicable',
+        permission: 'not-applicable',
+        responsiveVisual: 'evidence',
+        acceptanceEvidence: 'evidence'
+      },
+      questionIds: ['Q001'],
+      decisions: ['商品主图必须可见'],
+      evidenceRefs: ['scope.md#REQ-PD-001'],
+      remainingIssues: []
+    }],
+    openFrontier: [],
+    scopeUpdatesRequired: []
+  };
+  const spec = '# 商品详情功能规格\n\n## REQ-PD-001 商品主图\n\n### 验收条件\n\n- 商品主图可见。\n';
+  const reviewText = `${JSON.stringify(review, null, 2)}\n`;
+  await fs.writeFile(path.join(fixture.pageDir, 'review/review-result.json'), reviewText);
+  assert.equal(runValidator(reviewValidator, fixture.pageDir).status, 0);
+
+  const incompleteReview = structuredClone(review);
+  incompleteReview.userConfirmed = false;
+  incompleteReview.questions[0].status = 'open';
+  delete incompleteReview.questions[0].answer;
+  delete incompleteReview.questions[0].answeredBy;
+  incompleteReview.requirements[0].reviewStatus = 'unresolved';
+  incompleteReview.requirements[0].decisionCoverage.dataContract = 'open';
+  incompleteReview.requirements[0].remainingIssues = ['主图字段尚未确定'];
+  incompleteReview.openFrontier = ['Q001'];
+  await fs.writeFile(
+    path.join(fixture.pageDir, 'review/review-result.json'),
+    `${JSON.stringify(incompleteReview, null, 2)}\n`
+  );
+  const incomplete = runValidator(reviewValidator, fixture.pageDir);
+  assert.equal(incomplete.status, 1);
+  assert.match(incomplete.stderr, /complete 会话/);
+  await fs.writeFile(path.join(fixture.pageDir, 'review/review-result.json'), reviewText);
+  await fs.writeFile(path.join(fixture.pageDir, 'spec.md'), spec);
+  const trace = {
+    schemaVersion: 1,
+    scope: {
+      manifestPath: '../scope-manifest.json',
+      directory: '01-product-detail',
+      scopePath: 'scope.md',
+      scopeSha256: hash(fixture.scope)
+    },
+    review: { path: 'review/review-result.json', sha256: hash(reviewText) },
+    spec: { path: 'spec.md', sha256: hash(spec) },
+    requirements: [{
+      id: 'REQ-PD-001',
+      status: 'specified',
+      heading: 'REQ-PD-001 商品主图',
+      acceptanceCriteria: ['商品主图可见'],
+      verification: ['runtime'],
+      figmaRefs: []
+    }],
+    excludedRequirements: []
+  };
+  await fs.writeFile(
+    path.join(fixture.pageDir, 'spec-traceability.json'),
+    `${JSON.stringify(trace, null, 2)}\n`
+  );
+  assert.equal(runValidator(specValidator, fixture.pageDir).status, 0);
+
+  await fs.appendFile(path.join(fixture.pageDir, 'spec.md'), '\n漂移\n');
+  const invalid = runValidator(specValidator, fixture.pageDir);
+  assert.equal(invalid.status, 1);
+  assert.match(invalid.stderr, /Spec SHA-256 与当前文件不一致/);
+});

package/package.json

@@ -1,15 +1,15 @@
 {
   "name": "@autobest-ui/agent",
-  "version": "1.0.6",
+  "version": "1.0.8",
   "private": false,
   "description": "Autobest Agent skills/plugins/mcp assets + sync cli",
   "files": [
     "skills",
     "plugins",
-    "!plugins/**/node_modules",
-    "!plugins/**/.runtime",
     "mcp",
-    "bin"
+    "bin",
+    "!**/node_modules",
+    "!**/.runtime"
   ],
   "type": "module",
   "engines": {
@@ -30,7 +30,7 @@
     "mcp:figma": "node ./mcp/figma-mcp-bridge/src/index.js",
     "mcp:rag": "node ./mcp/rag-mcp-bridge/index.js",
     "test": "npm run test:skills && npm run test:mcp && npm run test:plugin",
-    "test:skills": "node --test ./bin/sync-assets.test.mjs",
+    "test:skills": "node --test ./bin/sync-assets.test.mjs ./bin/traceability-validators.test.mjs",
     "test:mcp:azurepr": "node --test ./mcp/azurepr-mcp-bridge/index.test.js",
     "test:mcp:code-mcp-pr": "node --test ./mcp/code-mcp-pr/index.test.js",
     "test:mcp:figma": "node --test ./mcp/figma-mcp-bridge/index.test.js",

package/plugins/autobest-delivery/README.md

@@ -90,6 +90,8 @@ npx --yes --package=@autobest-ui/agent@latest autobest-delivery-setup --help
 
 ```js
 export const metadata = {
+  traceabilitySchemaVersion: 1,
+  requirementIds: ['REQ-PD-001'],
   scenes: ['initial'],
   viewports: [{ name: 'desktop', width: 1400, height: 1000 }],
   visualMappings: []
@@ -125,7 +127,9 @@ Checker 和代码审计生成的 Markdown 使用简体中文，包括标题、
 
 ## 交付流程
 
-1. `$delivery-loop` 调用 `check_environment` 并记录固定审查点。
+功能目录存在 `spec-traceability.json` 时，Delivery 按 active REQ ID 运行。Maker 报告实现编号，E2E 检查和视觉映射携带 `requirementId`，Checker 与 Audit 逐项核对；运行器拒绝格式错误、未知编号和无验收覆盖的需求。没有追踪文件的历史交付仍按旧契约运行。
+
+1. `$delivery-loop` 校验可用的需求追踪文件，调用 `check_environment` 并记录固定审查点。
 2. `$code-craft` 实现规格。
 3. `$e2e-gen-spec` 创建无依赖场景，运行冻结前 preflight，确认所有 scene 和检查可达后冻结。
 4. `$e2e-ui-checker` 启动声明的应用服务，调用 `run_feature_e2e`，并审查已映射的组件截图。

package/plugins/autobest-delivery/mcp-server/src/runner.mjs

@@ -7,6 +7,7 @@ import { resolveArtifactPath, resolveWorkspacePaths } from './paths.mjs';
 const serverRoot = path.resolve(path.dirname(fileURLToPath(import.meta.url)), '..');
 const defaultBrowserRoot = path.join(serverRoot, '.runtime', 'ms-playwright');
 const blockedSessions = new Map();
+const requirementIdPattern = /^REQ-[A-Z][A-Z0-9]{1,15}-\d{3}$/;
 process.env.PLAYWRIGHT_BROWSERS_PATH =
   process.env.AUTOBEST_DELIVERY_BROWSERS_PATH || defaultBrowserRoot;
 
@@ -184,6 +185,8 @@ export async function runFeatureE2E({
   let traceStarted = false;
   let traceError;
   let result;
+  let traceabilityEnabled = false;
+  let requirementIds = new Set();
 
   try {
     const { chromium, expect } = await loadPlaywright();
@@ -195,9 +198,36 @@ export async function runFeatureE2E({
     }
     metadata = scenarioModule.metadata || {};
     const reportSchemaVersion = metadata.reportSchemaVersion;
+    const traceabilitySchemaVersion = metadata.traceabilitySchemaVersion;
     if (reportSchemaVersion !== undefined && reportSchemaVersion !== 1) {
       throw new TypeError('metadata.reportSchemaVersion 仅支持 1');
     }
+    if (traceabilitySchemaVersion !== undefined && traceabilitySchemaVersion !== 1) {
+      throw new TypeError('metadata.traceabilitySchemaVersion 仅支持 1');
+    }
+    traceabilityEnabled = traceabilitySchemaVersion === 1;
+    if (traceabilityEnabled) {
+      if (!Array.isArray(metadata.requirementIds) || metadata.requirementIds.length === 0) {
+        throw new TypeError('metadata.requirementIds 必须是非空数组');
+      }
+      requirementIds = new Set(metadata.requirementIds);
+      if (requirementIds.size !== metadata.requirementIds.length) {
+        throw new TypeError('metadata.requirementIds 不得包含重复项');
+      }
+      for (const id of requirementIds) {
+        if (typeof id !== 'string' || !requirementIdPattern.test(id)) {
+          throw new TypeError(`metadata.requirementIds 包含无效需求 ID：${id}`);
+        }
+      }
+      for (const mapping of metadata.visualMappings || []) {
+        if (!mapping || typeof mapping.requirementId !== 'string') {
+          throw new TypeError('visualMapping 必须包含 requirementId');
+        }
+        if (!requirementIds.has(mapping.requirementId)) {
+          throw new TypeError(`visualMapping 引用了未知需求 ID：${mapping.requirementId}`);
+        }
+      }
+    }
     if (reportSchemaVersion === 1) {
       for (const mapping of metadata.visualMappings || []) {
         for (const field of ['reportModule', 'reportGroup', 'reportTitle', 'reportDevice']) {
@@ -248,6 +278,14 @@ export async function runFeatureE2E({
       if (reportSchemaVersion === 1 && !/^[a-z0-9][a-z0-9._-]*$/.test(definition.reportGroup)) {
         throw new TypeError('check.reportGroup 必须是稳定的 ASCII ID');
       }
+      if (traceabilityEnabled) {
+        if (!definition || typeof definition.requirementId !== 'string') {
+          throw new TypeError('check 定义必须包含 requirementId');
+        }
+        if (!requirementIds.has(definition.requirementId)) {
+          throw new TypeError(`check 引用了未知需求 ID：${definition.requirementId}`);
+        }
+      }
       try {
         const actual = await assertion();
         checks.push({ ...definition, actual: actual ?? '符合预期', isPass: true });
@@ -351,6 +389,16 @@ export async function runFeatureE2E({
         }
       }
     }
+    if (traceabilityEnabled && scenarioBlockers.length === 0) {
+      const coveredRequirementIds = new Set([
+        ...checks.map(item => item.requirementId),
+        ...(metadata.visualMappings || []).map(item => item.requirementId)
+      ]);
+      const uncovered = [...requirementIds].filter(id => !coveredRequirementIds.has(id));
+      if (uncovered.length > 0) {
+        throw new TypeError(`以下需求 ID 没有运行或视觉覆盖：${uncovered.join(', ')}`);
+      }
+    }
     if (blockedPage && !blockedPage.isClosed()) {
       await blockedPage.bringToFront().catch(() => undefined);
       page = blockedPage;

package/plugins/autobest-delivery/mcp-server/tests/runner.test.mjs

@@ -249,6 +249,104 @@ test('runFeatureE2E 将无效场景语法报告为 blocked', async t => {
   assert.equal(result.blockers[0].kind, 'scenario');
 });
 
+test('runFeatureE2E 接受具有完整需求覆盖的追踪场景', async t => {
+  const workspace = await createWorkspace();
+  t.after(() => fs.rm(workspace.root, { recursive: true, force: true }));
+  await fs.writeFile(workspace.scenarioPath, `export const metadata = {
+  traceabilitySchemaVersion: 1,
+  requirementIds: ['REQ-PD-001'],
+  visualMappings: []
+};
+export default async function ({ check }) {
+  await check({
+    id: 'tracked', requirementId: 'REQ-PD-001', specSnippet: '需求可验证。',
+    scene: 'initial', errorType: '功能缺陷', expect: '通过'
+  }, async () => '通过');
+}\n`, 'utf8');
+
+  const result = await runFeatureE2E({
+    workspaceRoot: workspace.root,
+    scenarioPath: path.relative(workspace.root, workspace.scenarioPath),
+    baseUrl: 'http://127.0.0.1:1',
+    outputDir: 'feature/e2e/runs/traceable-valid',
+    timeoutMs: 10000
+  });
+
+  assert.equal(result.status, 'passed');
+  assert.equal(result.checks[0].requirementId, 'REQ-PD-001');
+});
+
+for (const testCase of [
+  {
+    name: '缺少 check.requirementId',
+    requirementIds: "['REQ-PD-001']",
+    checkRequirement: '',
+    expected: /必须包含 requirementId/
+  },
+  {
+    name: '引用未知需求 ID',
+    requirementIds: "['REQ-PD-001']",
+    checkRequirement: "requirementId: 'REQ-PD-002',",
+    expected: /未知需求 ID/
+  },
+  {
+    name: '需求 ID 格式错误',
+    requirementIds: "['REQ-pd-1']",
+    checkRequirement: "requirementId: 'REQ-pd-1',",
+    expected: /无效需求 ID/
+  }
+]) {
+  test(`runFeatureE2E 拒绝${testCase.name}`, async t => {
+    const workspace = await createWorkspace();
+    t.after(() => fs.rm(workspace.root, { recursive: true, force: true }));
+    await fs.writeFile(workspace.scenarioPath, `export const metadata = {
+  traceabilitySchemaVersion: 1,
+  requirementIds: ${testCase.requirementIds},
+  visualMappings: []
+};
+export default async function ({ check }) {
+  await check({ id: 'tracked', ${testCase.checkRequirement} specSnippet: '需求可验证。',
+    scene: 'initial', errorType: '功能缺陷', expect: '通过' }, async () => '通过');
+}\n`, 'utf8');
+
+    const result = await runFeatureE2E({
+      workspaceRoot: workspace.root,
+      scenarioPath: path.relative(workspace.root, workspace.scenarioPath),
+      baseUrl: 'http://127.0.0.1:1',
+      outputDir: `feature/e2e/runs/traceable-${testCase.name}`,
+      timeoutMs: 10000
+    });
+
+    assert.equal(result.status, 'blocked');
+    assert.match(result.blockers[0].detail, testCase.expected);
+  });
+}
+
+test('runFeatureE2E 拒绝没有检查或视觉覆盖的已声明需求', async t => {
+  const workspace = await createWorkspace();
+  t.after(() => fs.rm(workspace.root, { recursive: true, force: true }));
+  await fs.writeFile(workspace.scenarioPath, `export const metadata = {
+  traceabilitySchemaVersion: 1,
+  requirementIds: ['REQ-PD-001', 'REQ-PD-002'],
+  visualMappings: []
+};
+export default async function ({ check }) {
+  await check({ id: 'tracked', requirementId: 'REQ-PD-001', specSnippet: '需求可验证。',
+    scene: 'initial', errorType: '功能缺陷', expect: '通过' }, async () => '通过');
+}\n`, 'utf8');
+
+  const result = await runFeatureE2E({
+    workspaceRoot: workspace.root,
+    scenarioPath: path.relative(workspace.root, workspace.scenarioPath),
+    baseUrl: 'http://127.0.0.1:1',
+    outputDir: 'feature/e2e/runs/traceable-uncovered',
+    timeoutMs: 10000
+  });
+
+  assert.equal(result.status, 'blocked');
+  assert.match(result.blockers[0].detail, /REQ-PD-002/);
+});
+
 test('runFeatureE2E 拒绝包导入和 Node 全局变量', async t => {
   const workspace = await createWorkspace();
   t.after(() => fs.rm(workspace.root, { recursive: true, force: true }));

package/plugins/autobest-delivery/skills/code-audit/SKILL.md

@@ -11,10 +11,13 @@ description: 在独立验收者通过后，从固定审查点检查交付改动
 
 - 可解析的固定审查点。
 - 功能规格及同目录的 scope。
+- 同目录存在时的 `spec-traceability.json`，以及 Maker、Checker 的逐项需求结果。
 - 默认审查 `worktree`，也可审查用户明确指定的 `committed` 改动。
 
 ## 流程
 
+追踪模式下，Spec 审查轴必须逐个核对 active REQ ID 是否同时出现在 spec、Maker 结论、相关代码和 Checker 证据中；不得用整体通过代替单项覆盖，也不得接受未知或重编号的需求。
+
 1. 只冻结一次审查范围。审查工作树时纳入与任务相关的暂存、未暂存及新增文件，保留并排除无关的既有改动。
 2. 阅读适用的仓库规则、spec、scope、提交列表、改动文件和完整 diff。
 3. 并行启动两个独立审查者：Standards 轴检查已记录的规范、兼容性、缺陷和重大风险；Spec 轴检查遗漏、错误行为和未经支持的范围扩张。两者都必须引用文件位置和约束依据。

package/plugins/autobest-delivery/skills/code-craft/SKILL.md

@@ -9,7 +9,7 @@ description: 根据功能 spec 和同目录 scope 实现交付需求，或修复
 
 ## 输入
 
-- 必需的功能 spec 和同目录 scope。
+- 必需的功能 spec 和同目录 scope；存在时必须读取并校验 `spec-traceability.json`。
 - 仅在修复回合读取：最新验收者 `failed` 结果、测试编写者的 `implementation` 阻断项，或代码审计阻断结果。
 
 输入缺失或冲突，或者工作需要扩大用户授权范围时，必须按事实返回 `blocked`。
@@ -17,10 +17,10 @@ description: 根据功能 spec 和同目录 scope 实现交付需求，或修复
 ## 流程
 
 1. 阅读仓库规则、spec、scope、目标模块、相邻实现，以及仅与改动 UI 映射的视觉基准。修复回合中，把每个失败项追溯到业务代码中的原因。
-2. 实现 spec，或修复已提供失败项的直接原因。保留已经通过的行为和用户既有改动。涉及 React 或 CSS 布局时使用 `$ui-structure-guard`。
+2. 按 active REQ ID 实现 spec，或按失败项携带的 REQ ID 修复直接原因。不得创建或重编号；发现无法映射的改动或失败项时阻断并指出编号缺口。保留已经通过的行为和用户既有改动。涉及 React 或 CSS 布局时使用 `$ui-structure-guard`。
 3. 执行仓库最小充分的 lint、类型检查、构建和现有测试反馈。仓库没有测试框架时不得自行引入。
 4. 可通过隔离运行器执行冻结场景以获得开发反馈，但实现者不得宣称验收通过，也不得修改冻结输入或其他角色的报告。
-5. 按共享契约写入并复读 `featureDir/delivery/code-craft-result.json`。
+5. 按共享契约写入并复读 `featureDir/delivery/code-craft-result.json`。追踪模式下逐项填写 `implementedRequirements` 和 `blockedRequirements`，不得包含未知或重复 ID。
 
 ## 边界
 

package/plugins/autobest-delivery/skills/delivery-loop/SKILL.md

@@ -9,7 +9,7 @@ description: 围绕功能 spec 调度相互隔离的实现者、E2E 测试编写
 
 ## 输入
 
-- 必需的功能 `spec.md`，并定位同目录的 `scope.md`。
+- 必需的功能 `spec.md`，并定位同目录的 `scope.md`；存在时必须读取 `spec-traceability.json`。
 - 可选的实现者最大回合数，默认 `3`，包含首次实现。
 - 可选的审计固定点，默认为启动时的 `HEAD`。
 
@@ -21,11 +21,11 @@ description: 围绕功能 spec 调度相互隔离的实现者、E2E 测试编写
 
 ## 流程
 
-1. **预检：**阅读 spec、scope、仓库规则、视觉映射、固定审查点和当前工作树。在启动实现者前调用 `autobest-delivery` MCP 的 `check_environment` 工具。若环境未就绪，保留工具证据、保持实现者回合数为零并进入 `awaiting-decision`，由用户选择重试、跳过环境验收并记录 waiver，或停止。按契约自行解析可发现的 URL、命令、路由变体、数据准备和定位器，不为这些可发现信息询问用户。
+1. **预检：**阅读 spec、scope、仓库规则、视觉映射、固定审查点和当前工作树。存在 `spec-traceability.json` 时先校验输入哈希、active ID 集合和规格章节；校验失败即阻断，不得启动实现者。在启动实现者前调用 `autobest-delivery` MCP 的 `check_environment` 工具。若环境未就绪，保留工具证据、保持实现者回合数为零并进入 `awaiting-decision`，由用户选择重试、跳过环境验收并记录 waiver，或停止。按契约自行解析可发现的 URL、命令、路由变体、数据准备和定位器，不为这些可发现信息询问用户。
 2. **状态：**将 `delivery/delivery-state.json` 写为 `running`，记录当前阶段、回合数、固定审查点、既有改动和当前产物。每次状态流转都更新该文件。
-3. **实现者：**启动全新的 `$code-craft` 子代理。首回合只传入 spec 和 scope；修复回合只额外传入最新验收失败结果、实现阻断项或代码审计阻断结果。启动时增加实现者回合计数。
+3. **实现者：**启动全新的 `$code-craft` 子代理。首回合传入 spec、scope 和已有的 traceability；修复回合只额外传入最新验收失败结果、实现阻断项或代码审计阻断结果。启动时增加实现者回合计数。
 4. **测试编写者：**缺少 `e2e/e2e.feature.mjs` 时，启动全新的 `$e2e-gen-spec` 子代理。旧 `.spec.ts` 不是标准输入，应保持不变。测试编写者必须使用隔离 scene，并在冻结前通过同一运行器 preflight；场景代码、定位器、弹窗、fixture 或等待条件造成的 preflight Blocked 由测试编写者在草稿阶段自行修正并重跑。报告 `ready` 后才冻结 `.mjs`。环境、spec 或实现阻断进入 `awaiting-decision`，由用户选择补充输入、重试、分类、记录 waiver 或停止。
-5. **验收者：**启动全新的 `$e2e-ui-checker` 子代理，并传入 spec、scope、冻结场景和迭代编号。验收者必须通过隔离 MCP 运行器以 headed 模式执行全部场景，然后只审查 spec 已映射的视觉基准。`passed` 时继续；`failed` 且仍有回合时返回实现者。
+5. **验收者：**启动全新的 `$e2e-ui-checker` 子代理，并传入 spec、scope、traceability、冻结场景和迭代编号。验收者必须通过隔离 MCP 运行器以 headed 模式执行全部场景，然后只审查 spec 已映射的视觉基准。`passed` 时继续；`failed` 且仍有回合时返回实现者。
 6. **Blocked 决策：**验收者返回 `awaiting-decision` 时，先确认运行器已在阻断 scene 后继续尝试其余独立 scene，再将交付状态写为同名状态，记录该验收代理，保留可见浏览器与证据，并把契约定义的六个决策及其 effect 交给用户。必须明确 `skip` 是接受阻断 scene 的缺失证据并继续审计，不是从异常语句下一行恢复。收到选择后，把决议回传给同一个验收代理，由它调用 `resolve_blocked_run`；验证 `human-decision.json` 后再按其 `effect` 继续。不得自行修改冻结场景、替用户接受风险或把 Blocked 当作终止；只有 `stop` 是终止决策。
 7. **代码审计：**验收通过，或用户 `accept`/`skip` 形成 waiver 后，从固定审查点启动全新的 `$code-audit` 子代理。存在阻断项且仍有回合时返回实现者，修复后重新执行完整验收。没有阻断项时完成交付。
 8. **完成：**标准场景、最新验收、最新代码审计、人工决议、状态与产物必须一致且不存在未授权提交。完整验收通过写入 `passed`；存在 `accept`/`skip` waiver 且审计通过写入 `passed-with-waivers`；只有用户明确选择 `stop` 才写入终止态 `blocked`。Maker 回合耗尽时先进入 `awaiting-decision`，不得替用户停止。

package/plugins/autobest-delivery/skills/delivery-loop/references/delivery-contract.md

@@ -7,6 +7,7 @@
 | 产物 | 所有者 | 其他角色权限 |
 | --- | --- | --- |
 | `spec.md` | 产品输入 | 只读 |
+| `spec-traceability.json` | 规格输入 | 只读 |
 | `scope.md` | 范围输入 | 只读 |
 | 已映射视觉基准 | 产品或设计输入 | 只读 |
 | 业务源码 | 实现者 | 测试编写者、验收者和代码审计者只读 |
@@ -21,6 +22,12 @@
 
 旧 `e2e.feature.spec.ts` 文件不是本契约的可执行输入。保持这些文件不变；缺少标准 `.mjs` 场景时生成新场景。
 
+## 需求追踪
+
+当功能目录包含 `spec-traceability.json` 时，交付必须按其中的 active REQ ID 运行，编号格式为 `REQ-<页面或Scope简称>-<三位序号>`。编号由上游 `ui-prd-scope` 所有；本插件的编排者、Maker、测试编写者、Checker 和 Audit 只能引用，不能创建、修改或重排。开始 Maker 前必须确认 scope、review、spec 及其 SHA-256 一致。
+
+每个 active REQ ID 必须同时具备规格章节、Maker 实现结论，以及至少一个运行检查或视觉映射；适用视觉验收的需求必须同时有视觉映射。`deferred` 和 `removed` 需求保留编号但不进入实现覆盖。任一 active 需求缺失、出现未知编号或证据不足时不得报告完整通过。旧功能目录没有 `spec-traceability.json` 时保持历史流程，不临时生成编号。
+
 ## 人读输出语言
 
 角色自行撰写的 Markdown、结论、摘要、检查说明、期望、实际结果、阻断原因和审计 finding 一律使用简体中文。`checker-result.md`、`code-audit-result.md` 等人读报告不得使用英文标题、英文叙述或 `Passed` / `Failed` 等英文展示状态。
@@ -81,6 +88,8 @@ JSON 字段名、状态枚举、检查 ID、scene、`reportGroup`、文件路径
 ```js
 export const metadata = {
   reportSchemaVersion: 1,
+  traceabilitySchemaVersion: 1,
+  requirementIds: ['REQ-PD-001'],
   scenes: ['initial'],
   viewports: [{ name: 'desktop', width: 1400, height: 1000 }],
   visualMappings: []
@@ -106,6 +115,8 @@ export default async function run({
 
 新建或修订场景必须声明 `metadata.reportSchemaVersion: 1`；运行器据此校验通用报告分组字段，未声明版本的历史冻结场景继续兼容。每条原子运行预期通过 `check(definition, assertion)` 记录。新建或修订的检查定义必须同时包含 `reportModule`、`reportGroup`、`reportTitle` 和 `reportMethod`：`reportModule` 是人读的页面或模块名称，`reportGroup` 是当前功能目录内稳定且唯一的功能组 ID，`reportTitle` 是该组在报告中的简短中文标题，`reportMethod` 是该组件或完整功能合并后的中文检查方式。属于同一 UI 组件、同一页面位置或同一完整用户操作流的文案、样式、布局、响应式行为和相关功能检查共用同一组及同一套模块、标题和检查方式；不同组件、独立业务能力、状态转换或风险边界不得为了减少行数而合并。分组只表达产品功能语义，不表达 E2E scene 或执行顺序。可能失败的用户操作和等待应放在所属的 `check` 或 `scene` 内，不能作为未归属的顶层 await。
 
+存在追踪输入的新场景必须声明 `metadata.traceabilitySchemaVersion: 1` 和完整、唯一的 `metadata.requirementIds`。每个 `check` 和 `visualMappings` 项必须包含一个已声明的 `requirementId`；运行器拒绝格式错误、未知编号和完全没有运行或视觉覆盖的声明编号。`reportGroup` 用于报告聚合，不能替代 REQ ID。
+
 spec 声明的每个视觉对比都必须在 `metadata.visualMappings` 中出现且只出现一次，并包含检查定义、场景、截图文件名、定位器说明、仓库相对路径基准、`reportDevice`（`desktop` 或 `mobile`）以及同样的 `reportModule`、`reportGroup`、`reportTitle`。视觉映射与它证明的运行检查必须复用同一功能组。运行检查与视觉映射必须完整且不重复地划分所有原子 spec。
 
 旧版直接使用顶层 `page` 的默认函数仍可执行，但它不具备 scene 级故障隔离；测试编写者创建或修订场景时必须使用 `scene()`。
@@ -176,6 +187,8 @@ fixture 应提供足以触发目标布局和状态的代表性数据，不需要
   "status": "implemented",
   "iteration": 1,
   "modifiedFiles": [],
+  "implementedRequirements": ["REQ-PD-001"],
+  "blockedRequirements": [],
   "verification": [],
   "blockers": []
 }
@@ -209,12 +222,14 @@ fixture 应提供足以触发目标布局和状态的代表性数据，不需要
 
 运行器 Blocked 时，验收者使用 `status: "awaiting-decision"`，并在结果中记录 `blockedSessionId`、过期时间、runner 证据和阻断项；验收者不得代替用户选择决议。
 
-每个验收检查项包含 `id`、`specSnippet`、`scene`、`reportModule`、`reportGroup`、`reportTitle`、`reportMethod`、`errorType`（`功能缺陷` 或 `UI视觉缺陷`）、`expect`、`actual`、可选的 `evidencePath` 和 `isPass`。Checker 合并 Runner 检查时必须原样保留四个报告字段；同一 `reportGroup` 的 `reportModule`、`reportTitle` 和 `reportMethod` 必须一致。每条原子 spec 检查只出现一次。证据不完整时验收者状态为 `awaiting-decision`；证据完整但存在失败检查时为 `failed`。
+每个验收检查项包含 `id`、可选或追踪模式下必需的 `requirementId`、`specSnippet`、`scene`、`reportModule`、`reportGroup`、`reportTitle`、`reportMethod`、`errorType`（`功能缺陷` 或 `UI视觉缺陷`）、`expect`、`actual`、可选的 `evidencePath` 和 `isPass`。Checker 合并 Runner 检查时必须原样保留需求编号和四个报告字段；同一 `reportGroup` 的 `reportModule`、`reportTitle` 和 `reportMethod` 必须一致。每条原子 spec 检查只出现一次。证据不完整时验收者状态为 `awaiting-decision`；证据完整但存在失败检查时为 `failed`。
 
 `checker-result.md` 固定使用中文标题 `E2E UI 验收结果`、`证据摘要`、`视觉结果`、`运行结果` 和 `证据路径`；表头和展示状态也使用中文。机器状态可在中文结论旁以反引号保留。
 
 ## Excel 报告分组
 
+追踪模式下，底层检查和语义分组保留 `requirementIds` 供审计；可见 Excel 仍按产品功能展示，不增加 REQ ID 列。
+
 Excel 只包含一个名为 `自测报告` 的工作表，每行代表一个真实 UI 组件或完整业务功能。不得显示 story ID、scene 名、历史场景或原子明细工作表。桌面端和移动端代表截图位于同一功能行。新证据直接使用报告字段聚合；历史证据缺少这些字段时，导出 Skill 必须阅读 `spec.md` 和验收证据，生成 `report/report-groups.json` 语义分组清单。清单必须绑定当前 spec SHA-256、Runner iteration 和冻结场景 SHA-256，并完整且不重复地覆盖全部 story；导出器不得以 scene、story 顺序或截图名称猜测业务分组。
 
 代码审计结果：