@peterxiaoyang/superspec 0.1.16-alpha → 0.1.17-alpha

package/README.md

@@ -135,7 +135,7 @@ superspec.cmd install
 
 你日常主要记住这五个入口就够了。
 
-CLI 不带 `--risk` 时默认是 `normal`；但内置的 `superspec-explore` 和 `superspec-propose` 技能默认用 `--risk strict` 驱动。探索阶段会创建 `critic` 工作项审查需求澄清记录；计划阶段会创建 `proposal-auditor`、`critic`、`architect` 和 `test-engineer` 工作项后再进入实现准备。
+CLI 不带 `--risk` 时默认走完整审查路径；需要轻量路径时显式传 `--risk normal` 或 `--risk minimal`。探索阶段会创建 `critic` 工作项审查需求澄清记录；计划阶段会创建 `critic`、`architect` 和 `test-engineer` 工作项后再进入实现准备。
 
 ## 它会多保存哪些记录
 
@@ -206,6 +206,26 @@ superspec install
 
 `superspec init --scope project` 是兼容别名，也会执行同一套安装逻辑。
 
+### OpenSpec 中文输出
+
+OpenSpec 生成文档的语言应通过官方项目配置控制。在 `openspec/config.yaml` 中使用 `context`：
+
+```yaml
+schema: spec-driven
+
+context: |
+  语言：中文（简体）
+  所有产出物必须用简体中文撰写。
+```
+
+`superspec install` 会创建缺失的 `openspec/config.yaml`，或在没有顶层 `context` 时追加这段官方中文 context。如果文件已经有顶层 `context`，SuperSpec 不会覆盖它。
+
+可以用下面的命令检查生成的 instructions 是否包含语言上下文：
+
+```bash
+openspec instructions proposal --change <change>
+```
+
 检查当前项目的 OpenSpec 探测结果：
 
 ```bash
@@ -236,8 +256,6 @@ superspec update
   prompts/critic.md
   prompts/executor.md
   prompts/explore.md
-  prompts/final-audit.md
-  prompts/proposal-auditor.md
   prompts/test-engineer.md
   prompts/test-runner.md
   prompts/verifier.md
@@ -246,8 +264,6 @@ superspec update
   agents/critic.toml
   agents/executor.toml
   agents/explore.toml
-  agents/final-audit.toml
-  agents/proposal-auditor.toml
   agents/test-engineer.toml
   agents/test-runner.toml
   agents/verifier.toml

package/dist/cli.js

@@ -134,12 +134,20 @@ jobs 子命令：
                 const cr = changeRoot(projectRoot, change);
                 const snapshot = rebuildSnapshot(projectRoot, change, cr);
                 const jobs = jobsList(projectRoot, change);
+                const staleAcceptedJobs = Math.max(0, jobs.accepted.length - snapshot.accepted_jobs.length);
                 console.log(JSON.stringify({
                     change,
                     state: snapshot.state,
-                    open_jobs: jobs.open.length,
-                    accepted_jobs: jobs.accepted.length,
+                    open_jobs: snapshot.open_jobs.length,
+                    accepted_jobs: snapshot.accepted_jobs.length,
+                    historical_accepted_jobs: jobs.accepted.length,
+                    stale_accepted_jobs: staleAcceptedJobs,
                     rejected_jobs: jobs.rejected.length,
+                    active_task_attempts: snapshot.active_task_attempts.map(a => ({
+                        attempt_id: a.attempt_id,
+                        task_id: a.task_id,
+                        state: a.state,
+                    })),
                     document_digests: snapshot.document_digests,
                     last_transition: snapshot.last_transition,
                 }, null, 2));
@@ -153,7 +161,7 @@ jobs 子命令：
                         return 0;
                     case "explore":
                         {
-                            const risk = opts.risk ?? "normal";
+                            const risk = opts.risk ?? "strict";
                             console.log(JSON.stringify(transitionExplore(projectRoot, change, cr, risk), null, 2));
                         }
                         return 0;
@@ -169,13 +177,13 @@ jobs 子命令：
                         return 0;
                     }
                     case "next": {
-                        const risk = opts.risk ?? "normal";
+                        const risk = opts.risk ?? "strict";
                         const result = nextCmd(projectRoot, change, cr, risk);
                         console.log(JSON.stringify(result, null, 2));
                         return 0;
                     }
                     case "propose-ready": {
-                        const risk = opts.risk ?? "normal";
+                        const risk = opts.risk ?? "strict";
                         const result = proposeReady(projectRoot, change, cr, risk);
                         console.log(JSON.stringify(result, null, 2));
                         return result.events_written === 0 && result.message.includes("不能") ? 1 : 0;
@@ -206,7 +214,7 @@ jobs 子命令：
                         return result.events_written === 0 ? 1 : 0;
                     }
                     case "review-ready": {
-                        const risk = opts.risk ?? "normal";
+                        const risk = opts.risk ?? "strict";
                         const result = reviewReady(projectRoot, change, cr, risk);
                         console.log(JSON.stringify(result, null, 2));
                         return result.events_written === 0 ? 1 : 0;

package/dist/format.d.ts

@@ -6,6 +6,15 @@ export declare function validateDiscovery(changeRoot: string): {
     message: string;
     openCount: number;
 };
+export interface ProposeOpenQuestionFile {
+    path: string;
+    openCount: number;
+}
+export declare function countProposeOpenQuestionsInContent(content: string): number;
+export declare function collectProposeOpenQuestions(changeRoot: string): {
+    openCount: number;
+    files: ProposeOpenQuestionFile[];
+};
 export interface ParsedTask {
     taskId: string;
     lineIdx: number;

package/dist/format.js

@@ -12,10 +12,12 @@ import { join } from "node:path";
 //   - [ ] 问题2的描述
 //
 // 引擎只解析"待确认问题"段内的 `- [ ]`，不误判正常 checklist。
-/** 从 discovery.md 提取"待确认问题"段内的未确认项数量 */
-export function countDiscoveryOpenQuestions(content) {
-    // 找"待确认问题"标题（中英文兼容）
-    const sectionMatch = content.match(/^#{1,6}\s*(待确认问题|Open Questions|Pending Questions)\s*$/im);
+function escapeRegex(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+function countOpenChecklistItemsInSection(content, headings) {
+    const headingPattern = headings.map(escapeRegex).join("|");
+    const sectionMatch = new RegExp(`^#{1,6}\\s*(?:${headingPattern})\\s*$`, "im").exec(content);
     if (!sectionMatch)
         return 0;
     const sectionStart = sectionMatch.index + sectionMatch[0].length;
@@ -24,9 +26,13 @@ export function countDiscoveryOpenQuestions(content) {
     const nextHeadingMatch = restContent.match(/^#{1,6}\s+/m);
     const sectionBody = nextHeadingMatch ? restContent.slice(0, nextHeadingMatch.index) : restContent;
     // 数未确认项
-    const matches = sectionBody.match(/- \[ \]/g);
+    const matches = sectionBody.match(/^\s*-\s+\[ \]/gm);
     return matches ? matches.length : 0;
 }
+/** 从 discovery.md 提取"待确认问题"段内的未确认项数量 */
+export function countDiscoveryOpenQuestions(content) {
+    return countOpenChecklistItemsInSection(content, ["待确认问题", "Open Questions", "Pending Questions"]);
+}
 /** 完整校验 discovery.md：存在 + 非空 + 无未确认问题 */
 export function validateDiscovery(changeRoot) {
     const path = join(changeRoot, ".superspec", "artifacts", "discovery.md");
@@ -40,6 +46,30 @@ export function validateDiscovery(changeRoot) {
         return { ok: false, message: `discovery.md 有 ${openCount} 个未确认问题`, openCount };
     return { ok: true, message: "discovery.md 就绪", openCount: 0 };
 }
+const PROPOSE_CONFIRMATION_DOCS = [
+    "proposal.md",
+    "design.md",
+    ".superspec/artifacts/test-contract.md",
+];
+const PROPOSE_CONFIRMATION_HEADINGS = ["待用户确认", "待确认问题", "Open Questions", "Pending Questions"];
+export function countProposeOpenQuestionsInContent(content) {
+    return countOpenChecklistItemsInSection(content, PROPOSE_CONFIRMATION_HEADINGS);
+}
+export function collectProposeOpenQuestions(changeRoot) {
+    const files = [];
+    for (const path of PROPOSE_CONFIRMATION_DOCS) {
+        const fullPath = join(changeRoot, path);
+        if (!existsSync(fullPath))
+            continue;
+        const openCount = countProposeOpenQuestionsInContent(readFileSync(fullPath, "utf8"));
+        if (openCount > 0)
+            files.push({ path, openCount });
+    }
+    return {
+        openCount: files.reduce((sum, file) => sum + file.openCount, 0),
+        files,
+    };
+}
 const TASK_LINE_RE = /^(- \[([ xX])\])\s+(\S+)/;
 /** 解析 tasks.md 的全部任务行 */
 export function parseTasksMd(content) {

package/dist/install.d.ts

@@ -1,6 +1,6 @@
 export declare const WORKFLOW_SKILLS: readonly ["superspec-explore", "superspec-propose", "superspec-apply", "superspec-review", "superspec-archive"];
-export declare const WORKFLOW_PROMPTS: readonly ["architect.md", "code-reviewer.md", "critic.md", "executor.md", "explore.md", "final-audit.md", "proposal-auditor.md", "test-engineer.md", "test-runner.md", "verifier.md"];
-export declare const WORKFLOW_AGENTS: readonly ["architect.toml", "code-reviewer.toml", "critic.toml", "executor.toml", "explore.toml", "final-audit.toml", "proposal-auditor.toml", "test-engineer.toml", "test-runner.toml", "verifier.toml"];
+export declare const WORKFLOW_PROMPTS: readonly ["architect.md", "code-reviewer.md", "critic.md", "executor.md", "explore.md", "test-engineer.md", "test-runner.md", "verifier.md"];
+export declare const WORKFLOW_AGENTS: readonly ["architect.toml", "code-reviewer.toml", "critic.toml", "executor.toml", "explore.toml", "test-engineer.toml", "test-runner.toml", "verifier.toml"];
 export interface InstallResult {
     ok: boolean;
     message: string;
@@ -10,6 +10,7 @@ export interface InstallResult {
         prompts: string[];
         agents: string[];
         config: string;
+        openspec_config: string;
     };
 }
 export interface InstallOptions {

package/dist/install.js

@@ -13,8 +13,6 @@ export const WORKFLOW_PROMPTS = [
     "critic.md",
     "executor.md",
     "explore.md",
-    "final-audit.md",
-    "proposal-auditor.md",
     "test-engineer.md",
     "test-runner.md",
     "verifier.md",
@@ -25,8 +23,6 @@ export const WORKFLOW_AGENTS = [
     "critic.toml",
     "executor.toml",
     "explore.toml",
-    "final-audit.toml",
-    "proposal-auditor.toml",
     "test-engineer.toml",
     "test-runner.toml",
     "verifier.toml",
@@ -133,6 +129,33 @@ function ensureCodexConfig(projectRoot) {
         writeFileSync(configPath, next);
     return ".codex/config.toml";
 }
+const OPENSPEC_CONFIG_PATH = "openspec/config.yaml";
+const OPENSPEC_CHINESE_CONTEXT_BLOCK = "context: |\n" +
+    "  语言：中文（简体）\n" +
+    "  所有产出物必须用简体中文撰写。\n";
+const OPENSPEC_DEFAULT_CONFIG = "schema: spec-driven\n\n" +
+    OPENSPEC_CHINESE_CONTEXT_BLOCK;
+function hasTopLevelContext(content) {
+    return /^context\s*:/m.test(content);
+}
+function ensureOpenSpecChineseContext(projectRoot) {
+    const openspecDir = join(projectRoot, "openspec");
+    const configPath = join(projectRoot, OPENSPEC_CONFIG_PATH);
+    mkdirSync(openspecDir, { recursive: true });
+    if (!existsSync(configPath)) {
+        writeFileSync(configPath, OPENSPEC_DEFAULT_CONFIG);
+        return OPENSPEC_CONFIG_PATH;
+    }
+    const current = readFileSync(configPath, "utf8");
+    if (hasTopLevelContext(current))
+        return OPENSPEC_CONFIG_PATH;
+    const trimmed = current.trimEnd();
+    const next = trimmed.length > 0
+        ? `${trimmed}\n\n${OPENSPEC_CHINESE_CONTEXT_BLOCK}`
+        : OPENSPEC_DEFAULT_CONFIG;
+    writeFileSync(configPath, next);
+    return OPENSPEC_CONFIG_PATH;
+}
 export function installProject(projectRoot, options = {}) {
     if (legacyStateFound(projectRoot)) {
         throw new Error("检测到老版 SuperSpec (0.x) 的状态文件。\n" +
@@ -156,6 +179,7 @@ export function installProject(projectRoot, options = {}) {
             prompts: copyPrompts(templateRoot, projectRoot),
             agents: copyAgents(templateRoot, projectRoot),
             config: ensureCodexConfig(projectRoot),
+            openspec_config: ensureOpenSpecChineseContext(projectRoot),
         },
     };
 }

package/dist/next.js

@@ -1,16 +1,23 @@
 // SuperSpec 流程引擎 — next：返回可执行路径
 import { rebuildSnapshot } from "./sync.js";
-import { existsSync, readFileSync } from "node:fs";
+import { readFileSync } from "node:fs";
 import { join } from "node:path";
-import { validateDiscovery, countDiscoveryOpenQuestions } from "./format.js";
+import { validateDiscovery, countDiscoveryOpenQuestions, collectProposeOpenQuestions } from "./format.js";
+const ACTIVE_PROPOSAL_REVIEW_ROLES = new Set(["critic", "architect", "test-engineer"]);
+function isActiveProposalReviewJob(job) {
+    return job.created_from_transition === "propose-ready" && ACTIVE_PROPOSAL_REVIEW_ROLES.has(job.role);
+}
 function packetCommand(change, jobId) {
     return `superspec jobs packet --change "${change}" --job "${jobId}"`;
 }
 function transitionCommand(change, name, extra = "") {
     return `superspec transition ${name} --change "${change}"${extra ? " " + extra : ""}`;
 }
+function riskFlag(risk) {
+    return risk === "strict" ? "" : `--risk ${risk}`;
+}
 /** next 命令：读 snapshot，返回唯一可执行路径 */
-export function next(projectRoot, change, changeRoot, defaultRisk = "normal") {
+export function next(projectRoot, change, changeRoot, defaultRisk = "strict") {
     const snapshot = rebuildSnapshot(projectRoot, change, changeRoot);
     switch (snapshot.state) {
         case "init":
@@ -46,14 +53,25 @@ export function next(projectRoot, change, changeRoot, defaultRisk = "normal") {
             return {
                 state: "explore",
                 path: "next_command",
-                next_command: transitionCommand(change, "explore", `--risk ${defaultRisk}`),
+                next_command: transitionCommand(change, "explore", riskFlag(defaultRisk)),
                 reason: "探索完成，推进到计划阶段",
                 missing_inputs: [],
             };
         }
         case "propose": {
-            if (snapshot.open_jobs.length > 0) {
-                const jobs = snapshot.open_jobs.map(j => ({
+            const openQuestions = collectProposeOpenQuestions(changeRoot);
+            if (openQuestions.openCount > 0) {
+                const files = openQuestions.files.map(f => `${f.path}(${f.openCount})`).join(", ");
+                const ask = {
+                    question: `计划文档有 ${openQuestions.openCount} 个待用户确认问题：${files}。请确认并更新计划文档后继续`,
+                    allowed_answers: ["所有问题已确认"],
+                    scope: "propose_open_questions",
+                };
+                return { state: "propose", path: "ask_user", ask_user: ask, reason: `有 ${openQuestions.openCount} 个 propose 未确认问题` };
+            }
+            const proposalReviewJobs = snapshot.open_jobs.filter(isActiveProposalReviewJob);
+            if (proposalReviewJobs.length > 0) {
+                const jobs = proposalReviewJobs.map(j => ({
                     job_id: j.job_id,
                     role: j.role,
                     packet_command: packetCommand(change, j.job_id),
@@ -65,16 +83,28 @@ export function next(projectRoot, change, changeRoot, defaultRisk = "normal") {
                     reason: `有 ${jobs.length} 个待完成工作项`,
                 };
             }
-            const riskFlag = `--risk ${defaultRisk}`;
             return {
                 state: "propose",
                 path: "next_command",
-                next_command: transitionCommand(change, "propose-ready", riskFlag),
+                next_command: transitionCommand(change, "propose-ready", riskFlag(defaultRisk)),
                 reason: "计划文档就绪，提交 propose-ready",
                 missing_inputs: [],
             };
         }
-        case "propose_ready":
+        case "propose_ready": {
+            const proposalReviewJobs = snapshot.open_jobs.filter(isActiveProposalReviewJob);
+            if (proposalReviewJobs.length > 0) {
+                return {
+                    state: "propose_ready",
+                    path: "required_job",
+                    required_jobs: proposalReviewJobs.map(j => ({
+                        job_id: j.job_id,
+                        role: j.role,
+                        packet_command: packetCommand(change, j.job_id),
+                    })),
+                    reason: `有 ${proposalReviewJobs.length} 个待完成 proposal 审查工作项`,
+                };
+            }
             return {
                 state: "propose_ready",
                 path: "next_command",
@@ -82,6 +112,7 @@ export function next(projectRoot, change, changeRoot, defaultRisk = "normal") {
                 reason: "计划就绪，开始执行",
                 missing_inputs: [],
             };
+        }
         case "apply": {
             // 有 open job → 做
             if (snapshot.open_jobs.length > 0) {
@@ -99,7 +130,7 @@ export function next(projectRoot, change, changeRoot, defaultRisk = "normal") {
                 return {
                     state: "apply",
                     path: "next_command",
-                    next_command: transitionCommand(change, "review-ready"),
+                    next_command: transitionCommand(change, "review-ready", riskFlag(defaultRisk)),
                     reason: "所有任务完成，进入审查",
                     missing_inputs: [],
                 };
@@ -124,7 +155,7 @@ export function next(projectRoot, change, changeRoot, defaultRisk = "normal") {
             return {
                 state: "apply_done",
                 path: "next_command",
-                next_command: transitionCommand(change, "review-ready"),
+                next_command: transitionCommand(change, "review-ready", riskFlag(defaultRisk)),
                 reason: "所有任务完成，进入审查",
                 missing_inputs: [],
             };

package/dist/record.js

@@ -4,29 +4,30 @@ import { join } from "node:path";
 import { ensureChangeLayout, readEvents, appendEvent, makeEvent, sha256File, withLock, } from "./store.js";
 const REVIEW_REPORT_REQUIRED_FIELDS = ["role", "verdict", "findings"];
 const REVIEW_REPORT_OPTIONAL_FIELDS = ["summary", "evidence_refs", "risks", "open_questions"];
+const REVIEWER_KINDS = new Set(["codex-subagent", "human", "external-agent"]);
+function requiresReviewer(role) {
+    return role === "critic" || role === "architect" || role === "test-engineer";
+}
 function recommendedAgentForRole(role) {
     switch (role) {
-        case "proposal-auditor": return "proposal-auditor";
         case "critic": return "critic";
         case "architect": return "architect";
         case "test-engineer": return "test-engineer";
-        case "final-audit": return "final-audit";
+        case "verifier": return "verifier";
         case "executor": return "executor";
         case "test-run": return "test-runner";
     }
 }
 function roleDescription(role) {
     switch (role) {
-        case "proposal-auditor":
-            return "审查 proposal/tasks/design/discovery/business-invariants/test-contract 是否足够进入实现计划门";
         case "critic":
             return "从反方角度审查需求澄清或计划材料中的隐藏假设、范围漂移、验收漏洞和证据缺口";
         case "architect":
             return "审查架构边界、接口契约、长期维护风险和设计取舍";
         case "test-engineer":
             return "审查测试契约、覆盖策略、RED/GREEN 可信度和验收场景映射";
-        case "final-audit":
-            return "最终审查 proposal、实现状态、任务完成、测试契约和 SuperSpec 证据一致性";
+        case "verifier":
+            return "验证 proposal、实现状态、任务完成、测试契约和 SuperSpec 证据是否足以支撑完成结论";
         case "executor":
             return "执行受限实现工作项";
         case "test-run":
@@ -120,6 +121,22 @@ export function recordJobSubmit(projectRoot, change, changeRoot, jobId, reportFi
                 if (obj.verdict === "fail") {
                     checks.push("报告 verdict=fail，工作项未通过");
                 }
+                if (requiresReviewer(job.role)) {
+                    if (!("reviewer" in obj))
+                        checks.push("报告缺少必填字段 reviewer");
+                    const reviewer = obj.reviewer;
+                    if (!reviewer || typeof reviewer !== "object" || Array.isArray(reviewer)) {
+                        checks.push("报告 reviewer 必须是包含 kind/id 的对象");
+                    }
+                    else {
+                        if (typeof reviewer.kind !== "string" || !REVIEWER_KINDS.has(reviewer.kind)) {
+                            checks.push(`报告 reviewer.kind 必须是 ${[...REVIEWER_KINDS].join("|")} 之一`);
+                        }
+                        if (typeof reviewer.id !== "string" || reviewer.id.trim() === "") {
+                            checks.push("报告 reviewer.id 必须是非空字符串");
+                        }
+                    }
+                }
             }
         }
         catch {
@@ -253,11 +270,14 @@ export function jobsPacket(projectRoot, change, jobId) {
             boundFiles: job.boundFiles,
             packet_digest: job.packet_digest,
             required_output_kind: "job_report_json",
-            output_contract_fields: [...REVIEW_REPORT_REQUIRED_FIELDS],
+            output_contract_fields: requiresReviewer(job.role) ? [...REVIEW_REPORT_REQUIRED_FIELDS, "reviewer"] : [...REVIEW_REPORT_REQUIRED_FIELDS],
             output_contract_optional_fields: [...REVIEW_REPORT_OPTIONAL_FIELDS],
             output_instructions: `${roleDescription(job.role)}。请审查 ${job.boundFiles.map(f => f.path).join(", ")}，` +
+                (requiresReviewer(job.role) ? `必须由独立 ${recommendedAgentForRole(job.role)} reviewer 执行并在 reviewer.kind/id 中记录来源，` : "") +
                 `产出 JSON 报告文件并通过 superspec record job-submit 登记。` +
-                `最小格式：{"role":"${job.role}","verdict":"pass|fail","findings":[]}`,
+                (requiresReviewer(job.role)
+                    ? `最小格式：{"role":"${job.role}","verdict":"pass|fail","findings":[],"reviewer":{"kind":"codex-subagent","id":"<thread-or-agent-id>"}}`
+                    : `最小格式：{"role":"${job.role}","verdict":"pass|fail","findings":[]}`),
             stop_conditions: ["审查完成后提交报告，不要修改文档"],
             created_from_transition: job.created_from_transition,
         },

package/dist/transition.d.ts

@@ -9,6 +9,7 @@ interface Decision {
         type: string;
         payload: Record<string, unknown>;
     }[];
+    details?: Record<string, unknown>;
     postCommit?: (projectRoot: string, change: string, changeRoot: string) => void;
 }
 /**

package/dist/transition.js

@@ -3,7 +3,7 @@ import { join } from "node:path";
 import { existsSync, readFileSync, writeFileSync, mkdirSync, readdirSync } from "node:fs";
 import { ensureChangeLayout, readEvents, appendEvent, makeEvent, writeSnapshot, snapshotDigest, withLock, idempotencyKey, stagingDir, sha256File, sha256Text, } from "./store.js";
 import { rebuildSnapshot } from "./sync.js";
-import { validateDiscovery, findTaskInLines, parseTasksMd, tasksStructureDigest } from "./format.js";
+import { validateDiscovery, collectProposeOpenQuestions, findTaskInLines, parseTasksMd, tasksStructureDigest } from "./format.js";
 let transitionSeq = 0;
 function newTransitionId() { return `T-${Date.now()}-${++transitionSeq}`; }
 let jobSeq = 0;
@@ -11,8 +11,8 @@ function newJobId(change, role) { return `JOB-${change.slice(0, 8)}-${role.slice
 const TRANSITION_REQUIREMENTS = {
     "propose-ready": {
         minimal: [],
-        normal: ["proposal-auditor"],
-        strict: ["proposal-auditor", "critic", "architect", "test-engineer"],
+        normal: ["critic"],
+        strict: ["critic", "architect", "test-engineer"],
     },
     "explore": {
         minimal: [],
@@ -28,10 +28,10 @@ const TRANSITION_REQUIREMENTS = {
 function checkOrCreateReviewJobs(snapshot, requiredRoles, changeRoot, change, transitionName, bindDocPaths) {
     const staleRoles = [];
     for (const role of requiredRoles) {
-        const openForRole = snapshot.open_jobs.find(j => j.role === role);
+        const openForRole = snapshot.open_jobs.find(j => j.role === role && j.created_from_transition === transitionName);
         if (openForRole)
             return { fromState: snapshot.state, toState: snapshot.state, outcome: "advanced", reason: `工作项 ${role} 已存在（${openForRole.job_id}），请先完成它` };
-        const fresh = snapshot.accepted_jobs.find(j => j.role === role);
+        const fresh = snapshot.accepted_jobs.find(j => j.role === role && j.created_from_transition === transitionName);
         if (!fresh) {
             staleRoles.push({ role, reason: `需求 ${role} 无已接受的工作项` });
         }
@@ -57,6 +57,20 @@ function checkOrCreateReviewJobs(snapshot, requiredRoles, changeRoot, change, tr
     }
     return null; // 全部满足
 }
+function historicalProposeReadyRoles(projectRoot, change) {
+    const roles = new Set();
+    for (const ev of readEvents(projectRoot, change)) {
+        if (ev.event_type !== "transition_commit")
+            continue;
+        const newJobs = ev.payload.new_jobs ?? [];
+        for (const job of newJobs) {
+            if (job.created_from_transition === "propose-ready" &&
+                (job.role === "critic" || job.role === "architect" || job.role === "test-engineer"))
+                roles.add(job.role);
+        }
+    }
+    return [...roles];
+}
 /**
  * 已迁移到 format.ts：findTaskInLines / parseTasksMd / tasksStructureDigest
  * 以下保留 findTaskLine 作为兼容 wrapper（内部调用 format.ts）
@@ -92,7 +106,7 @@ export function commitTransition(projectRoot, change, changeRoot, opts) {
                 created_jobs: [], message: decision.message, events_written: 0,
             };
         }
-        const { fromState, toState, outcome, newJobs = [], reason, extraEvents = [] } = decision;
+        const { fromState, toState, outcome, newJobs = [], reason, extraEvents = [], details } = decision;
         if (fromState !== snapshot.state) {
             return {
                 transition: name, outcome: "advanced",
@@ -127,11 +141,12 @@ export function commitTransition(projectRoot, change, changeRoot, opts) {
             created_jobs: newJobs.map(j => j.job_id),
             message: outcome === "advanced" ? `状态推进：${fromState} → ${toState}` : `状态不变（${fromState}），创建了 ${newJobs.length} 个工作项`,
             events_written: 1 + extraEvents.length,
+            ...(details ? { details } : {}),
         };
     });
 }
 // ===== propose-ready =====
-export function proposeReady(projectRoot, change, changeRoot, risk = "normal") {
+export function proposeReady(projectRoot, change, changeRoot, risk = "strict") {
     return commitTransition(projectRoot, change, changeRoot, {
         name: "propose-ready", idempotencyInputs: { risk },
         decide: (snapshot) => {
@@ -143,6 +158,11 @@ export function proposeReady(projectRoot, change, changeRoot, risk = "normal") {
             const tasksContent = readFileSync(tasksPath, "utf8");
             if (!tasksContent.includes("# Tasks") && !tasksContent.includes("- [ ]"))
                 return { skip: true, message: "tasks.md 内容不像任务计划文档" };
+            const openQuestions = collectProposeOpenQuestions(changeRoot);
+            if (openQuestions.openCount > 0) {
+                const files = openQuestions.files.map(f => `${f.path}(${f.openCount})`).join(", ");
+                return { skip: true, message: `计划文档有 ${openQuestions.openCount} 个待用户确认问题：${files}` };
+            }
             if (risk !== "minimal") {
                 const artifactsDir = join(changeRoot, ".superspec", "artifacts");
                 for (const doc of ["discovery.md", "business-invariants.md", "test-contract.md"]) {
@@ -172,7 +192,7 @@ export function transitionInit(projectRoot, change, changeRoot) {
     });
 }
 // ===== explore =====
-export function transitionExplore(projectRoot, change, changeRoot, risk = "normal") {
+export function transitionExplore(projectRoot, change, changeRoot, risk = "strict") {
     return commitTransition(projectRoot, change, changeRoot, {
         name: "explore", idempotencyInputs: { phase: "explore", risk },
         decide: (snapshot) => {
@@ -204,6 +224,16 @@ export function startApply(projectRoot, change, changeRoot) {
         decide: (snapshot) => {
             if (snapshot.state !== "propose_ready")
                 return { skip: true, message: `当前状态 ${snapshot.state}，需要 propose_ready` };
+            const reviewedRoles = historicalProposeReadyRoles(projectRoot, change);
+            if (reviewedRoles.length > 0) {
+                const reviewResult = checkOrCreateReviewJobs(snapshot, reviewedRoles, changeRoot, change, "propose-ready", ["proposal.md", "tasks.md", "design.md", ".superspec/artifacts/discovery.md", ".superspec/artifacts/business-invariants.md", ".superspec/artifacts/test-contract.md"]);
+                if (reviewResult) {
+                    return {
+                        ...reviewResult,
+                        reason: `进入 apply 前需要 fresh proposal 审查：${reviewResult.reason}`,
+                    };
+                }
+            }
             return { fromState: "propose_ready", toState: "apply", outcome: "advanced", reason: "进入执行阶段" };
         },
     });
@@ -240,12 +270,13 @@ export function taskStart(projectRoot, change, changeRoot, taskId) {
                 fromState: "apply", toState: "apply", outcome: "advanced",
                 reason: `创建任务 ${taskId} 执行尝试`,
                 extraEvents: [{ type: "task_started", payload: attempt }],
+                details: { attempt_id: attempt.attempt_id },
             };
         },
     });
 }
 // ===== review-ready =====
-export function reviewReady(projectRoot, change, changeRoot, risk = "normal") {
+export function reviewReady(projectRoot, change, changeRoot, risk = "strict") {
     return commitTransition(projectRoot, change, changeRoot, {
         name: "review-ready", idempotencyInputs: { phase: "review-ready", risk },
         decide: (snapshot) => {
@@ -259,27 +290,26 @@ export function reviewReady(projectRoot, change, changeRoot, risk = "normal") {
                 return { fromState: "apply", toState: "apply_done", outcome: "advanced", reason: "所有任务完成" };
             }
             if (snapshot.state === "apply_done") {
-                // 检查是否有 final-audit job 需求
-                const finalAuditOpen = snapshot.open_jobs.find(j => j.role === "final-audit");
-                if (finalAuditOpen)
-                    return { skip: true, message: `有待完成的最终审查工作项 ${finalAuditOpen.job_id}` };
-                const finalAuditAccepted = snapshot.accepted_jobs.find(j => j.role === "final-audit");
-                // minimal 直接推进；normal/strict 需要 final-audit
-                if (risk !== "minimal" && !finalAuditAccepted) {
-                    // 创建 final-audit job
+                const isReviewReadyVerifier = (job) => job.role === "verifier" && job.created_from_transition === "review-ready";
+                const verifierOpen = snapshot.open_jobs.find(isReviewReadyVerifier);
+                if (verifierOpen)
+                    return { skip: true, message: `有待完成的最终验证工作项 ${verifierOpen.job_id}` };
+                const verifierAccepted = snapshot.accepted_jobs.find(isReviewReadyVerifier);
+                // minimal 直接推进；normal/strict 需要 review-ready verifier
+                if (risk !== "minimal" && !verifierAccepted) {
                     const docPaths = ["proposal.md", "tasks.md", "design.md", ".superspec/artifacts/discovery.md", ".superspec/artifacts/business-invariants.md", ".superspec/artifacts/test-contract.md"];
                     const boundFiles = docPaths.filter(p => existsSync(join(changeRoot, p))).map(p => ({ path: p, sha: sha256File(join(changeRoot, p)) ?? "sha256:missing" }));
                     const job = {
-                        job_id: newJobId(change, "final-audit"), role: "final-audit", state: "requested",
-                        boundFiles, packet_digest: sha256Text(JSON.stringify({ role: "final-audit", boundFiles })),
+                        job_id: newJobId(change, "verifier"), role: "verifier", state: "requested",
+                        boundFiles, packet_digest: sha256Text(JSON.stringify({ role: "verifier", boundFiles, created_from_transition: "review-ready" })),
                         created_from_transition: "review-ready", created_at: new Date().toISOString(),
                     };
                     return {
                         fromState: "apply_done", toState: "apply_done", outcome: "job_created",
-                        newJobs: [job], reason: "创建最终审查工作项",
+                        newJobs: [job], reason: "创建最终验证工作项",
                     };
                 }
-                return { fromState: "apply_done", toState: "review", outcome: "advanced", reason: "最终审查已接受，进入审查阶段" };
+                return { fromState: "apply_done", toState: "review", outcome: "advanced", reason: "最终验证已接受，进入审查阶段" };
             }
             return { skip: true, message: `当前状态 ${snapshot.state}，review-ready 不适用` };
         },

package/dist/types.d.ts

@@ -5,7 +5,7 @@ export type Ref = {
     sha: string;
 };
 export type JobState = "requested" | "accepted" | "rejected";
-export type JobRole = "proposal-auditor" | "critic" | "architect" | "test-engineer" | "executor" | "test-run" | "final-audit";
+export type JobRole = "critic" | "architect" | "test-engineer" | "executor" | "test-run" | "verifier";
 export interface Job {
     job_id: string;
     role: JobRole;
@@ -132,6 +132,7 @@ export interface TransitionResult {
     created_jobs: string[];
     message: string;
     events_written: number;
+    details?: Record<string, unknown>;
 }
 export interface RecordResult {
     event_type: EventType;