@peterxiaoyang/superspec 0.1.38 → 0.1.39

package/dist/task_evidence.js

@@ -3,6 +3,9 @@ import { join } from "node:path";
 import { parseTasksMd } from "./format.js";
 import { readEvents, sha256Text } from "./store.js";
 export function taskEvidenceReadiness(projectRoot, change, changeRoot, attempt) {
+    if (attempt.contract_mode === true) {
+        return contractTaskEvidenceReadiness(projectRoot, change, attempt);
+    }
     const tasksContent = readFileSync(join(changeRoot, "tasks.md"), "utf8");
     const tasks = parseTasksMd(tasksContent);
     const taskInfo = tasks.find(task => task.taskId === attempt.task_id);
@@ -44,3 +47,80 @@ export function taskEvidenceReadiness(projectRoot, change, changeRoot, attempt)
         ? { ready: true, missing: [] }
         : { ready: false, missing, reason: missing.join("、") };
 }
+function contractTaskEvidenceReadiness(projectRoot, change, attempt) {
+    const missing = [];
+    const tddRequired = attempt.tdd_required !== false;
+    const characterization = attempt.tdd_required === false && attempt.no_tdd_reason === "characterization";
+    const declaredTests = attempt.contract?.tests ?? [];
+    if (!tddRequired && !attempt.no_tdd_reason) {
+        missing.push("no_tdd_reason");
+    }
+    if (declaredTests.length === 0) {
+        if (tddRequired) {
+            const hasAttemptEvidence = attemptLevelRedGreenEvidence(projectRoot, change, attempt.attempt_id);
+            if (!hasAttemptEvidence.hasRed)
+                missing.push("RED 证据");
+            if (!hasAttemptEvidence.hasGreen)
+                missing.push("GREEN 证据");
+        }
+        return missing.length === 0
+            ? { ready: true, missing: [] }
+            : { ready: false, missing, reason: missing.join("、") };
+    }
+    const perTest = new Map();
+    for (const testId of declaredTests) {
+        perTest.set(testId, { sawRed: false, sawGreen: false, paired: false });
+    }
+    for (const ev of readEvents(projectRoot, change)) {
+        if (ev.event_type !== "test_run_recorded")
+            continue;
+        const tr = ev.payload;
+        if (tr.attempt_id !== attempt.attempt_id)
+            continue;
+        if (typeof tr.test_id !== "string")
+            continue;
+        const state = perTest.get(tr.test_id);
+        if (!state)
+            continue;
+        if (tr.semantic_status === "expected_failure" && typeof tr.exit_code === "number" && tr.exit_code !== 0) {
+            state.sawRed = true;
+        }
+        const isExpectedSuccess = tr.semantic_status === "expected_success" && tr.exit_code === 0;
+        const isCharacterizationPass = characterization && tr.semantic_status === "characterization_pass" && tr.exit_code === 0;
+        if (isExpectedSuccess || isCharacterizationPass) {
+            if (state.sawRed)
+                state.paired = true;
+            state.sawGreen = true;
+        }
+    }
+    for (const [testId, state] of perTest) {
+        if (!state.sawGreen)
+            missing.push(`${testId} GREEN 证据`);
+    }
+    if (tddRequired) {
+        const hasPairedTest = [...perTest.values()].some(state => state.paired);
+        if (!hasPairedTest)
+            missing.push("同一 TEST 的 RED/GREEN 配对");
+    }
+    return missing.length === 0
+        ? { ready: true, missing: [] }
+        : { ready: false, missing, reason: missing.join("、") };
+}
+function attemptLevelRedGreenEvidence(projectRoot, change, attemptId) {
+    let hasRed = false;
+    let hasGreen = false;
+    for (const ev of readEvents(projectRoot, change)) {
+        if (ev.event_type !== "test_run_recorded")
+            continue;
+        const tr = ev.payload;
+        if (tr.attempt_id !== attemptId)
+            continue;
+        if (tr.semantic_status === "expected_failure" && typeof tr.exit_code === "number" && tr.exit_code !== 0) {
+            hasRed = true;
+        }
+        if (tr.semantic_status === "expected_success" && tr.exit_code === 0) {
+            hasGreen = true;
+        }
+    }
+    return { hasRed, hasGreen };
+}

package/dist/transition.d.ts

@@ -43,5 +43,5 @@ export declare function reopen(projectRoot: string, change: string, changeRoot:
 export declare function reviewReady(projectRoot: string, change: string, changeRoot: string, risk?: "minimal" | "normal" | "strict"): TransitionResult;
 export declare function accept(projectRoot: string, change: string, changeRoot: string): TransitionResult;
 export declare function archive(projectRoot: string, change: string, changeRoot: string): TransitionResult;
-export declare function taskComplete(projectRoot: string, change: string, changeRoot: string, taskId: string): TransitionResult;
+export declare function taskComplete(projectRoot: string, change: string, changeRoot: string, taskId: string, inputContent?: string | null): TransitionResult;
 export {};