@peterxiaoyang/superspec 0.1.47 → 0.1.49

package/dist/record.js

@@ -12,7 +12,8 @@ import { REVIEW_DOC_PATHS, REVIEW_REJECTION_OVERRIDE_SCOPE_PREFIX, REVIEW_REJECT
 import { EXPLORE_DISCOVERY_REVIEW_GATE, PROPOSE_FINAL_REVIEW_GATE } from "./review_job_gates.js";
 import { RecordInputDecodingError, readRecordInputFile } from "./record_input.js";
 import { currentExploreRoundId } from "./explore_round.js";
-import { discoveryOpenQuestionDisplayText, discoveryQuestionContextFingerprint, discoveryOpenQuestionScope, EXPLORE_OPEN_QUESTION_SCOPE_PREFIX, parseDiscoveryOpenQuestions, } from "./format.js";
+import { currentProposeOpenQuestion, currentProposeQuestionContent, currentProposeRoundId, } from "./propose_round.js";
+import { discoveryOpenQuestionDisplayText, discoveryQuestionContextFingerprint, discoveryQuestionDecisionBasisDigest, discoveryOpenQuestionScope, legacyDiscoveryOpenQuestionScope, EXPLORE_OPEN_QUESTION_SCOPE_PREFIX, parseDiscoveryOpenQuestions, proposeOpenQuestionDisplayText, proposeOpenQuestionScope, proposeQuestionContextFingerprint, proposeQuestionDecisionBasisDigest, legacyProposeOpenQuestionScope, PROPOSE_OPEN_QUESTION_SCOPE_PREFIX, } from "./format.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"]);
@@ -73,7 +74,7 @@ function previousRejectionInstruction(job) {
     const identityRule = job.role === "code-reviewer"
         ? "同一问题仍存在时复用原 finding ID；legacy finding 没有 ID 时沿用原始语义并补一个稳定 ID；"
         : "已解决或已由等价证据闭环的问题不要重复报告，不得通过更换标题或措辞重复同一问题；";
-    return `${reason}本轮是修复复核：逐项判断本工作项附带的上一次同角色 finding 是否仍成立。Finding 中的 recommendation 只是非绑定建议，不是需求或验收标准；先独立核对 underlying problem、直接证据和本次验收，不得因原建议指定了某种架构就要求照做。${identityRule}默认只复核历史 finding；新 blocker 仅允许是本次修正直接引入的回归，并必须说明“修正动作 → 新问题”的因果链，不得展开无关的故障模型、消费者或架构议题。`;
+    return `${reason}本轮是修复复核：逐项判断本工作项附带的上一次同角色 finding 是否仍成立。Finding 中的 recommendation 只是非绑定建议，不是需求或验收标准；先独立核对 underlying problem、直接证据和本次验收，不得因原建议指定了某种架构就要求照做。修正不得通过缩小已确认范围、改写用户决定或删除验收来让 finding 字面消失；这类偏离属于本次修正直接引入的回归。${identityRule}默认只复核历史 finding；新 blocker 仅允许是本次修正直接引入的回归，并必须说明“修正动作 → 新问题”的因果链，不得展开无关的故障模型、消费者或架构议题。`;
 }
 function reviewScopeForJob(job) {
     if (job.review_targets !== undefined || job.read_only_refs !== undefined) {
@@ -132,12 +133,21 @@ function currentDiscoveryOpenQuestion(projectRoot, change) {
         return null;
     return parseDiscoveryOpenQuestions(readFileSync(discoveryPath, "utf8"))[0] ?? null;
 }
-function latestAcceptedExploreOpenQuestionDecision(events, scope) {
+function latestAcceptedExploreOpenQuestionDecision(events, scopes, identity) {
     return [...events].reverse().find(event => {
         if (event.event_type !== "user_decision_recorded")
             return false;
         const payload = event.payload;
-        return payload.accepted !== false && payload.scope === scope;
+        if (payload.accepted === false)
+            return false;
+        const recorded = payload.explore_open_question;
+        if (recorded && typeof recorded.decision_basis_digest === "string") {
+            return recorded.round_id === identity.roundId &&
+                recorded.question_id === identity.questionId &&
+                (!identity.questionId.startsWith("item-") || recorded.question_ordinal === identity.questionOrdinal) &&
+                recorded.decision_basis_digest === identity.decisionBasisDigest;
+        }
+        return typeof payload.scope === "string" && scopes.includes(payload.scope);
     }) ?? null;
 }
 function isExploreOpenQuestionScope(scope) {
@@ -172,6 +182,52 @@ function invalidExploreOpenQuestionResult(projectRoot, change, inputDigest, exis
                 : "需要确认的事项已变化或已完成，请重新执行 next 获取当前事项",
     };
 }
+function latestAcceptedProposeOpenQuestionDecision(events, scopes, identity) {
+    return [...events].reverse().find(event => {
+        if (event.event_type !== "user_decision_recorded")
+            return false;
+        const payload = event.payload;
+        if (payload.accepted === false)
+            return false;
+        const recorded = payload.propose_open_question;
+        if (recorded && typeof recorded.decision_basis_digest === "string") {
+            return recorded.round_id === identity.roundId &&
+                recorded.path === identity.path &&
+                recorded.question_id === identity.questionId &&
+                (!identity.questionId.startsWith("item-") || recorded.question_ordinal === identity.questionOrdinal) &&
+                recorded.decision_basis_digest === identity.decisionBasisDigest;
+        }
+        return typeof payload.scope === "string" && scopes.includes(payload.scope);
+    }) ?? null;
+}
+function isProposeOpenQuestionScope(scope) {
+    return scope.startsWith(PROPOSE_OPEN_QUESTION_SCOPE_PREFIX);
+}
+function isWellFormedProposeOpenQuestionScope(scope) {
+    return /^propose_open_question:sha256:[a-f0-9]{64}:(?:DEC-[A-Za-z0-9][A-Za-z0-9_-]*|item-[1-9]\d*)$/.test(scope);
+}
+function invalidProposeOpenQuestionResult(projectRoot, change, inputDigest, existing, decision, reason) {
+    const existingPayload = existing?.payload;
+    if (existingPayload?.accepted === false && existingPayload.reason === reason) {
+        return { event_type: "user_decision_recorded", accepted: false, message: "幂等返回：同一无效设计决定答复已登记" };
+    }
+    appendEvent(projectRoot, change, makeEvent(change, "user_decision_recorded", {
+        accepted: false,
+        scope: decision.scope,
+        answer: decision.answer,
+        reason,
+        input_digest: inputDigest,
+    }));
+    return {
+        event_type: "user_decision_recorded",
+        accepted: false,
+        message: reason === "invalid_propose_open_question_scope"
+            ? "设计决定的内部标识无效，请重新执行 next 获取当前事项"
+            : reason === "propose_open_question_already_recorded"
+                ? "这项设计决定已有答复，请先回写计划材料后重新执行 next"
+                : "需要确认的设计决定已变化或已完成，请重新执行 next 获取当前事项",
+    };
+}
 function invalidCodeReviewDecisionResult(projectRoot, change, inputDigest, existing, decision, reason, message) {
     const existingPayload = existing?.payload;
     if (existingPayload?.accepted === false && existingPayload.reason === reason) {
@@ -704,20 +760,31 @@ function recordUserDecisionLoaded(projectRoot, change, events, content, inputDig
     }
     // Explore 的用户答复只能绑定当前文档顺序中的第一项。这里不判断答案是否
     // “正确”，只机械校验当前项、Discovery 决策上下文和 Explore 轮次仍与 next
-    // 返回时一致，防止旧问题在材料改写或重新探索后被错误登记为新问题的决定。
+    // 返回时一致。决定身份绑定问题项中明确写出的 basis；其它文档内容不参与当前
+    // scope，避免无关材料编辑触发重复提问。
     let exploreOpenQuestion = null;
     let exploreOpenQuestionRoundId = null;
     let exploreOpenQuestionContextFingerprint = null;
+    let exploreOpenQuestionBasisDigest = null;
     if (isExploreOpenQuestionScope(decision.scope)) {
         if (!isWellFormedExploreOpenQuestionScope(decision.scope)) {
             return invalidExploreOpenQuestionResult(projectRoot, change, inputDigest, existing, { scope: decision.scope, answer: decision.answer }, "invalid_explore_open_question_scope");
         }
         const current = currentDiscoveryOpenQuestion(projectRoot, change);
-        const expectedScope = current ? discoveryOpenQuestionScope(current, currentExploreRoundId(events)) : null;
-        if (!expectedScope || decision.scope !== expectedScope) {
+        const exploreRoundId = currentExploreRoundId(events);
+        const expectedScopes = current
+            ? [discoveryOpenQuestionScope(current, exploreRoundId), legacyDiscoveryOpenQuestionScope(current, exploreRoundId)]
+            : [];
+        if (!expectedScopes.includes(decision.scope)) {
             return invalidExploreOpenQuestionResult(projectRoot, change, inputDigest, existing, { scope: decision.scope, answer: decision.answer }, "stale_explore_open_question_scope");
         }
-        const acceptedForCurrentScope = latestAcceptedExploreOpenQuestionDecision(events, decision.scope);
+        const currentBasisDigest = current ? discoveryQuestionDecisionBasisDigest(current) : "";
+        const acceptedForCurrentScope = latestAcceptedExploreOpenQuestionDecision(events, expectedScopes, {
+            roundId: exploreRoundId,
+            questionId: current.id,
+            questionOrdinal: current.ordinal,
+            decisionBasisDigest: currentBasisDigest,
+        });
         if (acceptedForCurrentScope) {
             const previousAnswer = acceptedForCurrentScope.payload.answer;
             if (previousAnswer === decision.answer) {
@@ -730,11 +797,52 @@ function recordUserDecisionLoaded(projectRoot, change, events, content, inputDig
             return invalidExploreOpenQuestionResult(projectRoot, change, inputDigest, existing, { scope: decision.scope, answer: decision.answer }, "explore_open_question_already_recorded");
         }
         exploreOpenQuestion = current;
-        exploreOpenQuestionRoundId = currentExploreRoundId(events);
+        exploreOpenQuestionRoundId = exploreRoundId;
         const discoveryPath = join(openspecChangeRoot(projectRoot, change), ".superspec", "artifacts", "discovery.md");
         exploreOpenQuestionContextFingerprint = current
             ? discoveryQuestionContextFingerprint(readFileSync(discoveryPath, "utf8"), current)
             : null;
+        exploreOpenQuestionBasisDigest = currentBasisDigest;
+    }
+    let proposeOpenQuestion = null;
+    let proposeOpenQuestionRoundId = null;
+    let proposeOpenQuestionContextFingerprint = null;
+    let proposeOpenQuestionBasisDigest = null;
+    if (isProposeOpenQuestionScope(decision.scope)) {
+        if (!isWellFormedProposeOpenQuestionScope(decision.scope)) {
+            return invalidProposeOpenQuestionResult(projectRoot, change, inputDigest, existing, { scope: decision.scope, answer: decision.answer }, "invalid_propose_open_question_scope");
+        }
+        const changeRoot = openspecChangeRoot(projectRoot, change);
+        const current = currentProposeOpenQuestion(changeRoot);
+        const proposeRoundId = currentProposeRoundId(events);
+        const expectedScopes = current
+            ? [proposeOpenQuestionScope(current, proposeRoundId), legacyProposeOpenQuestionScope(current, proposeRoundId)]
+            : [];
+        if (!expectedScopes.includes(decision.scope)) {
+            return invalidProposeOpenQuestionResult(projectRoot, change, inputDigest, existing, { scope: decision.scope, answer: decision.answer }, "stale_propose_open_question_scope");
+        }
+        const currentBasisDigest = current ? proposeQuestionDecisionBasisDigest(current) : "";
+        const acceptedForCurrentScope = latestAcceptedProposeOpenQuestionDecision(events, expectedScopes, {
+            roundId: proposeRoundId,
+            path: current.path,
+            questionId: current.id,
+            questionOrdinal: current.ordinal,
+            decisionBasisDigest: currentBasisDigest,
+        });
+        if (acceptedForCurrentScope) {
+            const previousAnswer = acceptedForCurrentScope.payload.answer;
+            if (previousAnswer === decision.answer) {
+                return { event_type: "user_decision_recorded", accepted: true, message: "幂等返回：同一用户决策已登记" };
+            }
+            return invalidProposeOpenQuestionResult(projectRoot, change, inputDigest, existing, { scope: decision.scope, answer: decision.answer }, "propose_open_question_already_recorded");
+        }
+        const content = current ? currentProposeQuestionContent(changeRoot, current) : null;
+        proposeOpenQuestion = current;
+        proposeOpenQuestionRoundId = proposeRoundId;
+        proposeOpenQuestionContextFingerprint = current && content
+            ? proposeQuestionContextFingerprint(content, current)
+            : null;
+        proposeOpenQuestionBasisDigest = currentBasisDigest;
     }
     let phaseConfirmation = null;
     let phaseAction = null;
@@ -915,7 +1023,9 @@ function recordUserDecisionLoaded(projectRoot, change, events, content, inputDig
             ? phaseConfirmation.ask.question
             : exploreOpenQuestion
                 ? discoveryOpenQuestionDisplayText(exploreOpenQuestion)
-                : typeof decision.question === "string" ? decision.question : "",
+                : proposeOpenQuestion
+                    ? proposeOpenQuestionDisplayText(proposeOpenQuestion)
+                    : typeof decision.question === "string" ? decision.question : "",
         answer: phaseAction
             ? phaseAction.label
             : normalizedAnswer ? codeReviewDecisionAnswerLabel(normalizedAnswer) : decision.answer,
@@ -923,13 +1033,25 @@ function recordUserDecisionLoaded(projectRoot, change, events, content, inputDig
         ...(reviewRejectionDecisionSource ? { decision_source: reviewRejectionDecisionSource } : {}),
         ...(reviewRejectionOverride ? { review_rejection_override: reviewRejectionOverride } : {}),
         ...(codeReviewDecisionReference ? { code_review_decision: codeReviewDecisionReference } : {}),
-        ...(exploreOpenQuestion && exploreOpenQuestionRoundId && exploreOpenQuestionContextFingerprint ? {
+        ...(exploreOpenQuestion && exploreOpenQuestionRoundId && exploreOpenQuestionContextFingerprint && exploreOpenQuestionBasisDigest ? {
             explore_open_question: {
                 round_id: exploreOpenQuestionRoundId,
                 question_id: exploreOpenQuestion.id,
                 question_ordinal: exploreOpenQuestion.ordinal,
                 document_fingerprint: exploreOpenQuestion.documentFingerprint,
                 context_fingerprint: exploreOpenQuestionContextFingerprint,
+                decision_basis_digest: exploreOpenQuestionBasisDigest,
+            },
+        } : {}),
+        ...(proposeOpenQuestion && proposeOpenQuestionRoundId && proposeOpenQuestionContextFingerprint && proposeOpenQuestionBasisDigest ? {
+            propose_open_question: {
+                round_id: proposeOpenQuestionRoundId,
+                path: proposeOpenQuestion.path,
+                question_id: proposeOpenQuestion.id,
+                question_ordinal: proposeOpenQuestion.ordinal,
+                document_fingerprint: proposeOpenQuestion.documentFingerprint,
+                context_fingerprint: proposeOpenQuestionContextFingerprint,
+                decision_basis_digest: proposeOpenQuestionBasisDigest,
             },
         } : {}),
         ...(phaseAction ? {

package/dist/review_job_gates.d.ts

@@ -15,7 +15,7 @@ export declare const EXPLORE_DISCOVERY_REVIEW_GATE_ID: "explore.discovery_review
 export declare const PROPOSE_FINAL_REVIEW_GATE_ID: "propose.final_review";
 export declare const REVIEW_CODE_REVIEW_GATE_ID: "review.code_review";
 export declare const REVIEW_FINAL_VERIFIER_GATE_ID: "review.final_verifier";
-export declare function reviewScopeForGateRole(gate: ReviewGateRule, role: JobRole): {
+export declare function reviewScopeForGateRole(gate: ReviewGateRule, role: JobRole, requiredRoles?: readonly JobRole[]): {
     reviewTargets: string[];
     readOnlyRefs: string[];
     boundPaths: string[];

package/dist/review_job_gates.js

@@ -26,14 +26,22 @@ function defaultReviewScope(gate) {
         boundPaths: [...new Set([...gate.reviewTargets, ...gate.readOnlyRefs])],
     };
 }
-export function reviewScopeForGateRole(gate, role) {
+export function reviewScopeForGateRole(gate, role, requiredRoles = gate.allowedRoles) {
     if (gate.gate_id !== PROPOSE_FINAL_REVIEW_GATE_ID)
         return defaultReviewScope(gate);
     if (role === "critic") {
-        const reviewTargets = ["proposal.md", "specs/", "tasks.md"];
+        const ownsDesign = !requiredRoles.includes("architect");
+        const ownsTestContract = !requiredRoles.includes("test-engineer");
+        const reviewTargets = [
+            "proposal.md",
+            "specs/",
+            ...(ownsDesign ? ["design.md"] : []),
+            "tasks.md",
+            ...(ownsTestContract ? [".superspec/artifacts/test-contract.md"] : []),
+        ];
         const readOnlyRefs = [
-            "design.md",
-            ".superspec/artifacts/test-contract.md",
+            ...(!ownsDesign ? ["design.md"] : []),
+            ...(!ownsTestContract ? [".superspec/artifacts/test-contract.md"] : []),
             ".superspec/artifacts/discovery.md",
         ];
         return {

package/dist/skill_loop.js

@@ -47,6 +47,26 @@ export function simulateLoop(nextFn, executeFn, maxSteps = 20) {
                     return { completed: false, steps, finalState: output.state, message: `工作项执行失败` };
                 }
                 break;
+            case "artifact_required":
+                step.action = "artifact";
+                step.detail = output.artifact.path;
+                steps.push(step);
+                return {
+                    completed: false,
+                    steps,
+                    finalState: output.state,
+                    message: `需要创建或更新工作流产物：${output.artifact.path}`,
+                };
+            case "material_update_required":
+                step.action = "material_update";
+                step.detail = output.errors.join("；");
+                steps.push(step);
+                return {
+                    completed: false,
+                    steps,
+                    finalState: output.state,
+                    message: `需要修正工作流材料：${output.errors.join("；")}`,
+                };
             case "ask_user":
                 step.action = "ask";
                 step.detail = output.ask_user.question;

package/dist/transition.js

@@ -9,7 +9,7 @@ import { REVIEW_CODE_REVIEW_GATE_ID, REVIEW_FINAL_VERIFIER_GATE, REVIEW_FINAL_VE
 import { codeReviewBoundFiles, codeReviewDecisionScope, codeReviewJobStaleReason, codeReviewPacketContext, codeReviewPacketDigest, collectCodeReviewGateFacts, computeCodeStateCheck, currentCodeReviewWorkingPaths, dismissedCodeReviewSummary, effectiveCoverageExemptionRefsFromEvents, latestCodeReviewGateEvidence, latestCodeReviewDecision, latestCodeReviewFailedStatus, missingCoverageExemptionTestIds, requiresFinalVerifierForCurrentReview, scanCodeChangesForReview, taskExecutionIndexForReview, } from "./code_review.js";
 import { taskEvidenceReadiness } from "./task_evidence.js";
 import { adoptedContractForTask, findTaskInLines, isFixTaskId, parseTasksMd, parseTestContractEntries, } from "./format.js";
-import { applyRequirementModeForCurrentRound, executionRequirementVersionForCurrentRound, blockingJobsForApplyDone, executionPolicyForCurrentRound, formatPendingTaskMessage, latestAcceptedProposalBaseline, pendingTaskStatusForApply, planningValidationProfileForNewRound, planTransition, discoveryDocsBaseline, exploreAnswerRegistrationPayloadForChange, proposalDocsBaseline, } from "./phase_plan.js";
+import { applyRequirementModeForCurrentRound, applyPlanningDocsChangedSinceBaseline, executionRequirementVersionForCurrentRound, blockingJobsForApplyDone, executionPolicyForCurrentRound, formatPendingTaskMessage, latestAcceptedProposalBaseline, pendingTaskStatusForApply, planningValidationProfileForNewRound, planTransition, discoveryDocsBaseline, exploreAnswerRegistrationPayloadForChange, proposeAnswerRegistrationPayloadForChange, proposalDocsBaseline, } from "./phase_plan.js";
 import { latestAcceptedPhaseDecision, phaseConfirmationCommitPayload, phaseConfirmationForBoundary, phaseConfirmationMissingMessage, } from "./phase_confirmation.js";
 import { currentGitHead, dirtyCodeFiles, stageProductionJavaFilesSince } from "./git_state.js";
 import { workflowRiskForProject } from "./workflow_config.js";
@@ -17,9 +17,9 @@ let transitionSeq = 0;
 function newTransitionId() { return `T-${Date.now()}-${++transitionSeq}`; }
 let jobSeq = 0;
 function newJobId(change, role) { return `JOB-${change.slice(0, 8)}-${role.slice(0, 4)}-${Date.now()}-${++jobSeq}`; }
-function createReviewJobsForGate(state, gate, roles, changeRoot, change, reason, events) {
+function createReviewJobsForGate(state, gate, roles, requiredRoles, changeRoot, change, reason, events) {
     const newJobs = roles.map(role => {
-        const scope = reviewScopeForGateRole(gate, role);
+        const scope = reviewScopeForGateRole(gate, role, requiredRoles);
         // 角色职责目标和显式 freshness 路径绑定时点指纹：单文件缺失使用 sha256:missing，目录缺失使用稳定空指纹。
         const boundPaths = [...new Set(scope.boundPaths)];
         const boundFiles = boundPaths
@@ -209,6 +209,28 @@ function compileRequiredEvidence(executionPolicy, testIds, requiresVerificationW
         accepted_green_statuses: ["expected_success"],
     };
 }
+function evidenceActionsForAttempt(change, attemptId, fallbackTestId, required) {
+    const testIds = required.test_ids.length > 0 ? required.test_ids : [fallbackTestId];
+    const statuses = [];
+    if (required.red_required)
+        statuses.push("expected_failure");
+    if (required.green_required)
+        statuses.push(required.accepted_green_statuses[0] ?? "expected_success");
+    return testIds.flatMap(testId => statuses.map(semanticStatus => ({
+        kind: "test_run",
+        test_id: testId,
+        record_argv: ["superspec", "record", "test-run", "--change", change, "--input", "-"],
+        record_input: {
+            test_id: testId,
+            attempt_id: attemptId,
+            command: null,
+            cwd: null,
+            exit_code: null,
+            semantic_status: semanticStatus,
+        },
+        required_fields: ["command", "cwd", "exit_code"],
+    })));
+}
 function hasRejectedReviewReadyVerifier(events) {
     const reviewReadyVerifierIds = new Set();
     for (const ev of events) {
@@ -627,7 +649,7 @@ function transitionPlanToDecision(snapshot, changeRoot, change, plan, events) {
         case "blocked":
             return { blocked: true, reason: plan.reason, jobs: plan.jobs, ...(plan.details ? { details: plan.details } : {}) };
         case "create_gate_jobs":
-            return createReviewJobsForGate(snapshot.state, plan.gate, plan.roles, changeRoot, change, plan.reason, events);
+            return createReviewJobsForGate(snapshot.state, plan.gate, plan.roles, plan.requiredRoles, changeRoot, change, plan.reason, events);
         case "advance":
             return {
                 fromState: plan.fromState,
@@ -798,6 +820,9 @@ export function taskStart(projectRoot, change, changeRoot, taskId) {
             if (snapshot.state !== "apply")
                 return { skip: true, message: `当前状态 ${snapshot.state}，需要 apply` };
             const events = readEvents(projectRoot, change);
+            if (applyPlanningMaterialsChanged(changeRoot, events)) {
+                return { skip: true, message: "Apply 期间计划材料已变化；请回到 Propose 核对并重新批准计划后再继续任务" };
+            }
             const tasksContent = readFileSync(join(changeRoot, "tasks.md"), "utf8");
             const lines = tasksContent.split("\n");
             const taskLineIdx = findTaskLine(lines, taskId);
@@ -867,6 +892,9 @@ export function taskStart(projectRoot, change, changeRoot, taskId) {
                 ...attempt,
                 ...boundarySnapshotPayload(projectRoot),
             };
+            const evidenceActions = requiredEvidence
+                ? evidenceActionsForAttempt(change, attempt.attempt_id, taskId, requiredEvidence)
+                : null;
             return {
                 fromState: "apply", toState: "apply", outcome: "advanced",
                 reason: `创建任务 ${taskId} 执行尝试`,
@@ -878,6 +906,7 @@ export function taskStart(projectRoot, change, changeRoot, taskId) {
                     contract: adopted.contract,
                     ...(fix ? { fix } : {}),
                     ...(requiredEvidence ? { required_evidence: requiredEvidence } : {}),
+                    ...(evidenceActions ? { evidence_actions: evidenceActions } : {}),
                     // legacy 轮统一标注历史模式（无论有无执行依据文本）；契约轮无块时标 false（如 Fix task）
                     ...(adopted.contract ? {} : { legacy_contract: !contractMode }),
                 },
@@ -908,6 +937,36 @@ function invalidateOpenJobs(snapshot, to, reason) {
         },
     }));
 }
+function latestApplyPlanningBaseline(events) {
+    for (let index = events.length - 1; index >= 0; index--) {
+        const event = events[index];
+        if (event.event_type !== "transition_commit")
+            continue;
+        const payload = event.payload;
+        if (payload.transition !== "start-apply")
+            continue;
+        const baseline = payload.apply_planning_baseline;
+        if (!baseline || typeof baseline !== "object" || Array.isArray(baseline))
+            return null;
+        const entries = Object.entries(baseline);
+        return entries.every(([, digest]) => typeof digest === "string")
+            ? Object.fromEntries(entries)
+            : null;
+    }
+    return null;
+}
+function applyPlanningMaterialsChanged(changeRoot, events) {
+    const baseline = latestApplyPlanningBaseline(events);
+    return baseline != null && applyPlanningDocsChangedSinceBaseline(changeRoot, baseline);
+}
+function proposalReopenBaseline(changeRoot, events, source) {
+    const applyBaseline = ["apply", "apply_done", "review"].includes(source)
+        ? latestApplyPlanningBaseline(events)
+        : null;
+    return applyBaseline
+        ? { baseline: { ...proposalDocsBaseline(changeRoot), ...applyBaseline }, source: "apply" }
+        : { baseline: proposalDocsBaseline(changeRoot), source: "reopen_fallback" };
+}
 function planningReopenExtraEvents(snapshot, to, reason) {
     return [
         ...invalidateOpenJobs(snapshot, to, reason),
@@ -969,6 +1028,7 @@ export function reopen(projectRoot, change, changeRoot, to, reason, opts = {}) {
                         baseline_docs: proposalDocsBaseline(changeRoot),
                         planning_validation_version: 2,
                         planning_validation_profile: planningValidationProfileForNewRound(projectRoot),
+                        ...proposeAnswerRegistrationPayloadForChange(changeRoot),
                     },
                 };
             }
@@ -977,6 +1037,9 @@ export function reopen(projectRoot, change, changeRoot, to, reason, opts = {}) {
                     return { skip: true, message: "--review-fix 只能用于回到实现阶段（reopen --to apply）" };
                 if (snapshot.state !== "apply_done")
                     return { skip: true, message: `当前状态 ${snapshot.state}，不能通过代码审查修复回到实现阶段` };
+                if (applyPlanningMaterialsChanged(changeRoot, events)) {
+                    return { skip: true, message: "计划材料已变化，不能作为纯实现问题回到 Apply；请 reopen --to propose" };
+                }
                 const ref = parseCodeReviewFindingRef(opts.reviewFix);
                 if (!ref)
                     return { skip: true, message: "--review-fix 必须是 <job_id>#<finding_id>" };
@@ -1018,6 +1081,9 @@ export function reopen(projectRoot, change, changeRoot, to, reason, opts = {}) {
                     return { skip: true, message: `当前状态 ${snapshot.state}，不能通过自测问题回到实现阶段` };
                 }
                 const parentTaskId = opts.selfTestFix.trim();
+                if (applyPlanningMaterialsChanged(changeRoot, events)) {
+                    return { skip: true, message: "计划材料已变化，不能作为纯实现问题创建 self-test 修复；请 reopen --to propose" };
+                }
                 const parentTask = parseTasksMd(readFileSync(join(changeRoot, "tasks.md"), "utf8"))
                     .find(task => task.taskId === parentTaskId);
                 if (!parentTask)
@@ -1091,12 +1157,13 @@ export function reopen(projectRoot, change, changeRoot, to, reason, opts = {}) {
                 // 的摘要，并用 reopen 当刻的摘要补齐缺项，确保本轮之后对任一审查目标的修改都能被检测。
                 const baselineNeedsBackfill = acceptedBaseline !== null && Object.keys(currentBaseline)
                     .some(path => !Object.prototype.hasOwnProperty.call(acceptedBaseline, path));
+                const applyReopenBaseline = acceptedBaseline ? null : proposalReopenBaseline(changeRoot, events, snapshot.state);
                 const baselineDocs = acceptedBaseline
                     ? Object.fromEntries(Object.entries(currentBaseline).map(([path, digest]) => [
                         path,
                         Object.prototype.hasOwnProperty.call(acceptedBaseline, path) ? acceptedBaseline[path] : digest,
                     ]))
-                    : currentBaseline;
+                    : applyReopenBaseline.baseline;
                 return {
                     fromState: snapshot.state,
                     toState: "propose",
@@ -1105,7 +1172,9 @@ export function reopen(projectRoot, change, changeRoot, to, reason, opts = {}) {
                     commitPayload: {
                         reopen_target: "propose",
                         reopen_source: snapshot.state,
-                        baseline_source: acceptedBaseline ? (baselineNeedsBackfill ? "accepted_backfill" : "accepted") : "reopen_fallback",
+                        baseline_source: acceptedBaseline
+                            ? (baselineNeedsBackfill ? "accepted_backfill" : "accepted")
+                            : applyReopenBaseline.source,
                         baseline_docs: baselineDocs,
                         planning_validation_version: 2,
                         planning_validation_profile: planningValidationProfileForNewRound(projectRoot),
@@ -1118,6 +1187,9 @@ export function reopen(projectRoot, change, changeRoot, to, reason, opts = {}) {
             if (snapshot.state !== "apply_done" && snapshot.state !== "review") {
                 return { skip: true, message: `当前状态 ${snapshot.state}，不能 reopen 到 apply` };
             }
+            if (applyPlanningMaterialsChanged(changeRoot, events)) {
+                return { skip: true, message: "计划材料已变化，不能直接回到 Apply；请 reopen --to propose" };
+            }
             const pending = pendingTaskStatusForApply(changeRoot, events).pending;
             if (pending.length === 0)
                 return { skip: true, message: "没有未完成任务，不能 reopen 到 apply" };
@@ -1140,6 +1212,9 @@ export function reviewReady(projectRoot, change, changeRoot, risk = workflowRisk
             const policy = storedPolicy ?? reviewPolicyForRisk(risk);
             const policyPayload = storedPolicy ? {} : { review_policy: policy };
             const currentEvidenceDigest = reviewEvidenceDigest(events);
+            if (snapshot.state === "apply" && applyPlanningMaterialsChanged(changeRoot, events)) {
+                return { skip: true, message: "Apply 期间计划材料已变化，不能进入 Review；请回到 Propose 核对并重新批准计划" };
+            }
             // 检查是否所有任务已完成
             const pending = pendingTaskStatusForApply(changeRoot, events).pending;
             if (pending.length > 0)
@@ -1240,10 +1315,14 @@ export function taskComplete(projectRoot, change, changeRoot, taskId, inputConte
             const attempt = snapshot.active_task_attempts?.find(a => a.task_id === taskId && a.state === "active");
             if (!attempt)
                 return { skip: true, message: `任务 ${taskId} 无活跃执行尝试` };
+            const events = readEvents(projectRoot, change);
+            if (applyPlanningMaterialsChanged(changeRoot, events)) {
+                return { skip: true, message: "Apply 期间计划材料已变化，不能完成当前任务；请回到 Propose 核对并重新批准计划" };
+            }
             const readiness = taskEvidenceReadiness(projectRoot, change, changeRoot, attempt);
             if (!readiness.ready)
                 return { skip: true, message: `任务 ${taskId} 无法完成：${readiness.reason}` };
-            const taskStartBoundary = boundarySnapshotForTaskAttempt(readEvents(projectRoot, change), attempt.attempt_id);
+            const taskStartBoundary = boundarySnapshotForTaskAttempt(events, attempt.attempt_id);
             const completedPayload = {
                 task_id: taskId,
                 attempt_id: attempt.attempt_id,

package/dist/types.d.ts

@@ -168,7 +168,7 @@ export interface RequiredJobAction {
     packet_command: string;
     packet_argv: string[];
 }
-export type EventType = "transition_prepare" | "transition_commit" | "job_requested" | "job_invalidated" | "reopen" | "abandon" | "task_started" | "task_completed" | "task_abandoned" | "job_accepted" | "job_rejected" | "user_decision_recorded" | "test_run_recorded" | "task_activation_recorded" | "artifact_recorded";
+export type EventType = "transition_prepare" | "transition_commit" | "job_requested" | "job_invalidated" | "reopen" | "abandon" | "task_started" | "task_completed" | "task_abandoned" | "job_accepted" | "job_rejected" | "user_question_presented" | "user_decision_recorded" | "test_run_recorded" | "task_activation_recorded" | "artifact_recorded";
 export interface Event {
     event_id: string;
     event_type: EventType;
@@ -192,6 +192,9 @@ export type OpenSpecValidationProfile = {
 export interface PlanningValidationProfile {
     version: 2;
     openspec: OpenSpecValidationProfile;
+    design?: {
+        schema_version: 1;
+    };
 }
 export interface TransitionCommitPayload {
     transition: string;
@@ -223,6 +226,8 @@ export interface TransitionCommitPayload {
         review_risk?: "minimal" | "normal" | "strict";
     };
     accepted_baseline_docs?: Record<string, string>;
+    /** Apply 开始时冻结的计划材料摘要；tasks.md 由状态机维护，不参与冻结。 */
+    apply_planning_baseline?: Record<string, string>;
     /** Propose-ready / start-apply 写入的本轮 workflow mode，后续阶段只读该快照。 */
     workflow_mode?: "minimal" | "normal" | "strict";
     /** v2 起所有普通任务必须有五字段执行依据；缺失表示旧 change，沿用旧规则回放。 */
@@ -318,6 +323,14 @@ export interface AskUser {
     allowed_answers: string[];
     scope: string;
     actions?: AskUserAction[];
+    /** 自由文本问题的直接登记入口；固定选项继续使用 actions。 */
+    record_argv?: string[];
+    record_input?: {
+        scope: string;
+        question: string;
+        answer: null;
+    };
+    required_fields?: Array<"answer">;
 }
 export interface AcceptedMaterialFollowupContinuation {
     kind: "accepted_material_followup";
@@ -331,6 +344,33 @@ export interface AcceptedMaterialFollowupContinuation {
     };
     plan_docs_changed_since_accept: boolean | null;
 }
+export type WorkflowArtifactKind = "discovery" | "test_contract" | "tasks";
+export interface RequiredWorkflowArtifact {
+    kind: WorkflowArtifactKind;
+    /** Repository-relative canonical path owned by the workflow engine. */
+    path: string;
+    operation: "create_or_update";
+}
+export interface ArtifactRequiredResume {
+    argv: string[];
+}
+export interface MaterialUpdateRequiredResume {
+    argv: string[];
+}
+export interface TestEvidenceAction {
+    kind: "test_run";
+    test_id: string;
+    record_argv: string[];
+    record_input: {
+        test_id: string;
+        attempt_id: string;
+        command: null;
+        cwd: null;
+        exit_code: null;
+        semantic_status: "expected_failure" | "expected_success" | "characterization_pass";
+    };
+    required_fields: Array<"command" | "cwd" | "exit_code">;
+}
 export type NextOutput = {
     state: State;
 } & ({
@@ -342,6 +382,16 @@ export type NextOutput = {
     path: "required_job";
     required_jobs: RequiredJobAction[];
     reason: string;
+} | {
+    path: "artifact_required";
+    artifact: RequiredWorkflowArtifact;
+    resume: ArtifactRequiredResume;
+    reason: string;
+} | {
+    path: "material_update_required";
+    errors: string[];
+    resume: MaterialUpdateRequiredResume;
+    reason: string;
 } | {
     path: "ask_user";
     ask_user: AskUser;

package/dist/workflow_profile.js

@@ -6,7 +6,7 @@ const CURRENT_GATE_ROLES_BY_RISK = {
         "review.final_verifier": ["verifier"],
     },
     normal: {
-        "explore.discovery_review": [],
+        "explore.discovery_review": ["critic"],
         "propose.final_review": ["critic"],
         "review.code_review": ["code-reviewer"],
         "review.final_verifier": ["verifier"],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@peterxiaoyang/superspec",
-  "version": "0.1.47",
+  "version": "0.1.49",
   "description": "SuperSpec 流程引擎 — transition engine with lightweight fact-sync",
   "type": "module",
   "engines": {
@@ -24,6 +24,12 @@
     "build": "node build.js",
     "typecheck": "tsc --noEmit",
     "test": "node --test tests/*.ts",
+    "eval:probe": "node evals/probe.mjs",
+    "eval:dynamic": "node evals/probe.mjs --scenario evals/scenarios/probe-dynamic-accepted.json",
+    "eval:m2": "node evals/m2.mjs",
+    "eval:m2:validate": "node evals/m2.mjs --validate-faults",
+    "eval:arena": "node evals/arena.mjs",
+    "eval:delegation": "node evals/delegation-probe.mjs",
     "prepack": "npm run build",
     "prepublishOnly": "npm run build"
   },