@peterxiaoyang/superspec 0.1.11 → 0.1.13

package/README.md

@@ -246,10 +246,10 @@ superspec doctor
 SuperSpec 内部还有一些检查命令，例如：
 
 ```bash
-superspec guard check-init --change <变更ID>
-superspec guard check-apply-ready --change <变更ID>
-superspec guard check-review-ready --change <变更ID>
-superspec guard check-archive-ready --change <变更ID>
+superspec check check-init --change <变更ID>
+superspec check check-apply-ready --change <变更ID>
+superspec check check-review-ready --change <变更ID>
+superspec check check-archive-ready --change <变更ID>
 ```
 
 普通使用者通常不需要手动运行这些命令；对应的阶段入口会在需要时使用它们。

package/adapters/codex/agents/explore.toml

@@ -0,0 +1,13 @@
+# oh-my-codex agent: explore
+name = "explore"
+description = "Repo-local read-only factual scan for SuperSpec discovery"
+model_reasoning_effort = "xhigh"
+developer_instructions = """
+Role: Explore. Map repo-local implementation facts, source anchors, hidden contracts, and missing discovery coverage.
+
+Prompt binding: load `.codex/prompts/explore.md` first, then read the task prompt, `workflow-packet`, or `prompt_ref`. Packet refs and stop conditions override static prompt memory.
+
+Boundary: read-only. Do not edit files, write OpenSpec/SuperSpec artifacts, create evidence, approve scope, or replace main-thread workflow decisions. Report findings upward with concrete anchors.
+
+Output: concise Simplified Chinese. Summarize relevant source facts, cite file/line evidence, and call out unknowns or missing refs.
+"""

package/adapters/codex/install-map.json

@@ -52,6 +52,11 @@
       "source": "templates/workflow/prompts/executor.md",
       "target": ".codex/prompts/executor.md"
     },
+    {
+      "kind": "prompt",
+      "source": "templates/workflow/prompts/explore.md",
+      "target": ".codex/prompts/explore.md"
+    },
     {
       "kind": "prompt",
       "source": "templates/workflow/prompts/test-runner.md",
@@ -82,6 +87,11 @@
       "source": "adapters/codex/agents/critic.toml",
       "target": ".codex/agents/critic.toml"
     },
+    {
+      "kind": "agent",
+      "source": "adapters/codex/agents/explore.toml",
+      "target": ".codex/agents/explore.toml"
+    },
     {
       "kind": "agent",
       "source": "adapters/codex/agents/executor.toml",

package/dist/src/apply_worker_chain.d.ts

@@ -32,7 +32,7 @@ export declare const APPLY_WORKER_MAX_INLINE_REPORT_CHARS = 12000;
 export declare const APPLY_TEST_RUNNER_REPORT_REQUIRED_FIELDS: readonly ["role", "command", "command_source", "cwd", "phase", "task_id", "test_id", "exit_code", "semantic_status_candidate", "result_summary", "runtime_raw_transcript_ref", "repo_head", "pre_dirty_state", "post_dirty_state", "changed_files", "untracked_files", "invariant_refs", "source_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "observed_implementation_fingerprint", "guard_fingerprint", "unverified_items"];
 export declare const APPLY_EXECUTOR_REPORT_REQUIRED_FIELDS: readonly ["role", "task_id", "apply_worker_chain_id", "cwd", "repo_head", "guard_fingerprint", "changed_files", "suggested_green_checks", "test_invariant_mapping", "runtime_artifact_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "produced_implementation_fingerprint", "unverified_items", "risk_notes"];
 export declare const APPLY_CODE_REVIEW_REPORT_REQUIRED_FIELDS: readonly ["role", "review_status_candidate", "cwd", "repo_head", "guard_fingerprint", "executor_report_ref", "actual_changed_files", "changed_files", "untracked_files", "implementation_dirty_file_list", "implementation_fingerprint", "guard_artifact_manifest_fingerprint", "scope_verdict", "protected_path_verdict", "executor_report_mismatch", "test_invariant_mapping_verdict", "suggested_green_test_ids", "risk_notes", "runtime_raw_git_status_transcript_ref", "runtime_raw_git_diff_name_status_transcript_ref", "runtime_path_scoped_diff_transcript_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "observed_implementation_fingerprint", "unverified_items"];
-export declare const APPLY_VERIFIER_REPORT_REQUIRED_FIELDS: readonly ["role", "verification_status_candidate", "task_completion_verdict", "chain_consistency_verdict", "acceptance_coverage_verdict", "invariant_coverage_verdict", "test_coverage_verdict", "cwd", "repo_head", "guard_fingerprint", "expected_freshness_fingerprint", "observed_freshness_fingerprint", "freshness_verdict", "green_test_run_evidence_refs", "executor_report_ref", "task_code_review_report_ref", "actual_changed_files", "changed_files", "untracked_files", "implementation_dirty_file_list", "implementation_fingerprint", "guard_artifact_manifest_fingerprint", "unexpected_guard_owned_dirty_paths", "scope_verdict", "protected_path_verdict", "executor_code_review_mismatch", "test_evidence_mismatch", "runtime_raw_git_status_transcript_ref", "runtime_raw_git_diff_name_status_transcript_ref", "runtime_path_scoped_diff_transcript_refs", "diff_summary_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "observed_implementation_fingerprint", "risk_notes", "triggered_stop_conditions", "unverified_items"];
+export declare const APPLY_VERIFIER_REPORT_REQUIRED_FIELDS: readonly ["role", "completion_proof_kind", "pre_edit_proof_kind", "verification_status_candidate", "task_completion_verdict", "chain_consistency_verdict", "acceptance_coverage_verdict", "invariant_coverage_verdict", "test_coverage_verdict", "cwd", "repo_head", "guard_fingerprint", "expected_freshness_fingerprint", "observed_freshness_fingerprint", "freshness_verdict", "executor_report_ref", "task_code_review_report_ref", "actual_changed_files", "changed_files", "untracked_files", "implementation_dirty_file_list", "implementation_fingerprint", "guard_artifact_manifest_fingerprint", "unexpected_guard_owned_dirty_paths", "scope_verdict", "protected_path_verdict", "executor_code_review_mismatch", "test_evidence_mismatch", "runtime_raw_git_status_transcript_ref", "runtime_raw_git_diff_name_status_transcript_ref", "runtime_path_scoped_diff_transcript_refs", "diff_summary_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "observed_implementation_fingerprint", "risk_notes", "triggered_stop_conditions", "unverified_items"];
 export declare function apply_worker_implementation_fingerprint(repoRoot: string, changeRoot: string, expectedGuardRefs?: unknown[], opts?: {
     declaredTaskWriteScope?: string[];
     protectedPathRefs?: unknown[];
@@ -47,11 +47,14 @@ export declare function read_pinned_artifact_json(changeRoot: string, refItem: u
 export declare function materialize_apply_worker_artifact_ref(changeRoot: string, input: ApplyWorkerArtifactMaterializeInput): JsonMap;
 export declare function pinned_artifact_ref_reasons(changeRoot: string, refItem: unknown, label: string, expected?: ArtifactRefExpected, code?: string): Reason[];
 export declare function worker_test_run_reasons(changeRoot: string, ev: JsonMap, taskId: string, chainId: string | null, code?: string): Reason[];
-export declare function pre_edit_evidence_ref_reasons(evidences: JsonMap[], active: JsonMap | null | undefined, taskId: string, code?: string): Reason[];
+export declare function pre_edit_worker_test_run_reasons(changeRoot: string, ev: JsonMap, taskId: string, code?: string): Reason[];
+export declare function pre_edit_evidence_ref_reasons(changeRoot: string, evidences: JsonMap[], active: JsonMap | null | undefined, taskId: string, code?: string): Reason[];
 export declare function compute_apply_worker_freshness(repoRoot: string, changeRoot: string, evidences: JsonMap[], taskId: string, chainId: string, refs: {
     executor_report_ref: unknown;
     task_code_review_report_ref: unknown;
-    green_test_run_evidence_ref: string;
+    green_test_run_evidence_ref?: string;
     green_test_run_evidence_refs?: string[];
+    alternative_verification_evidence_refs?: string[];
+    completion_proof_kind?: "green_tests" | "alternative_verification";
     verifier_report_ref?: unknown;
 }): JsonMap;

package/dist/src/apply_worker_chain.js

@@ -1,7 +1,8 @@
 import { existsSync, mkdirSync, readFileSync, renameSync, rmSync, statSync, writeFileSync } from "node:fs";
 import { dirname, isAbsolute, relative } from "node:path";
-import { deepEqual, fingerprint_obj, GuardError, REQUIRED_SUPERSPEC_AGENT_ROLES, REQUIRED_SUPERSPEC_WORKFLOW_SKILLS, isObject, reason, renderList, runtime, safe_within, sha256_text, } from "./util.js";
+import { deepEqual, fingerprint_obj, GuardError, REQUIRED_SUPERSPEC_AGENT_ROLES, REQUIRED_SUPERSPEC_WORKFLOW_SKILLS, NO_TDD_REASONS, isObject, reason, renderList, runtime, safe_within, sha256_text, } from "./util.js";
 import { dirty_worktree_paths, file_blob_sha } from "./git.js";
+import { effective_superseded_ids } from "./openspec.js";
 const APPLY_WORKER_ARTIFACT_KINDS = new Set(["worker_report", "raw_transcript", "diff_transcript", "status_report"]);
 const APPLY_WORKER_ARTIFACT_ROLES = new Set(["test-runner", "executor", "code-reviewer", "verifier"]);
 const DEFAULT_APPLY_WORKER_ARTIFACT_MAX_BYTES = 1024 * 1024;
@@ -80,6 +81,8 @@ export const APPLY_CODE_REVIEW_REPORT_REQUIRED_FIELDS = [
 ];
 export const APPLY_VERIFIER_REPORT_REQUIRED_FIELDS = [
     "role",
+    "completion_proof_kind",
+    "pre_edit_proof_kind",
     "verification_status_candidate",
     "task_completion_verdict",
     "chain_consistency_verdict",
@@ -92,7 +95,6 @@ export const APPLY_VERIFIER_REPORT_REQUIRED_FIELDS = [
     "expected_freshness_fingerprint",
     "observed_freshness_fingerprint",
     "freshness_verdict",
-    "green_test_run_evidence_refs",
     "executor_report_ref",
     "task_code_review_report_ref",
     "actual_changed_files",
@@ -318,25 +320,34 @@ function evidence_file_ref(changeRoot, ev) {
 }
 export function apply_worker_executor_input_ref_digest(evidences, active) {
     const preIds = Array.isArray(active.pre_edit_evidence_refs) ? active.pre_edit_evidence_refs.map(String).filter(Boolean).sort() : [];
+    const activeInput = {
+        kind: "apply_worker_chain",
+        evidence_id: active.evidence_id,
+        task_id: active.task_id,
+        apply_worker_chain_id: active.apply_worker_chain_id,
+        executor_packet_fingerprint: active.executor_packet_fingerprint,
+        source_implementation_fingerprint: active.source_implementation_fingerprint,
+        declared_task_write_scope: active.declared_task_write_scope,
+        pre_edit_evidence_refs: preIds,
+    };
+    for (const field of ["pre_edit_proof_kind", "apply_execution_surface", "tdd_required", "no_tdd_reason"]) {
+        if (active[field] !== undefined)
+            activeInput[field] = active[field];
+    }
     return worker_input_ref_digest([
-        {
-            kind: "apply_worker_chain",
-            evidence_id: active.evidence_id,
-            task_id: active.task_id,
-            apply_worker_chain_id: active.apply_worker_chain_id,
-            executor_packet_fingerprint: active.executor_packet_fingerprint,
-            source_implementation_fingerprint: active.source_implementation_fingerprint,
-            declared_task_write_scope: active.declared_task_write_scope,
-            pre_edit_evidence_refs: preIds,
-        },
+        activeInput,
         ...preIds.map((id) => evidence_summary(evidences.find((ev) => String(ev.evidence_id ?? "") === id))).filter(Boolean),
     ]);
 }
 export function apply_worker_guard_artifact_manifest_fingerprint(items) {
     const stable = {
+        completion_proof_kind: items.completion_proof_kind ?? "green_tests",
+        pre_edit_proof_kind: items.pre_edit_proof_kind ?? "red_or_characterization",
         pre_edit_evidence: Array.isArray(items.pre_edit_evidence) ? items.pre_edit_evidence : [],
         green_test_run: items.green_test_run ?? null,
         green_test_runs: Array.isArray(items.green_test_runs) ? items.green_test_runs : [],
+        alternative_verification: items.alternative_verification ?? null,
+        alternative_verifications: Array.isArray(items.alternative_verifications) ? items.alternative_verifications : [],
         executor_report_ref: pinned_summary(items.executor_report_ref),
         task_code_review_report_ref: pinned_summary(items.task_code_review_report_ref),
         accepted_test_runner_report_ref: pinned_summary(items.accepted_test_runner_report_ref),
@@ -620,7 +631,11 @@ const WORKER_REPORT_FIELD_TYPES = {
     expected_freshness_fingerprint: "fingerprint",
     observed_freshness_fingerprint: "fingerprint",
     freshness_verdict: "string",
+    completion_proof_kind: "string",
+    pre_edit_proof_kind: "string",
     green_test_run_evidence_refs: "array",
+    alternative_verification_evidence_refs: "array",
+    apply_execution_surface: "string",
     task_code_review_report_ref: "ref",
     unexpected_guard_owned_dirty_paths: "array",
     executor_code_review_mismatch: "mismatch",
@@ -789,8 +804,46 @@ function validate_worker_report_content(content, refItem, label, expected, code)
     }
     if (expected.role === "verifier") {
         problems.push(...report_required_field_reasons(content, APPLY_VERIFIER_REPORT_REQUIRED_FIELDS, label, code));
-        if (!Array.isArray(content.red_test_run_evidence_refs) && !Array.isArray(content.characterization_test_run_evidence_refs)) {
-            problems.push(reason(code, `${label}: verifier report requires red_test_run_evidence_refs or characterization_test_run_evidence_refs`, [label]));
+        const proofKind = String(content.completion_proof_kind ?? "green_tests");
+        if (proofKind !== "green_tests" && proofKind !== "alternative_verification") {
+            problems.push(reason(code, `${label}: verifier report completion_proof_kind must be green_tests or alternative_verification`, [label]));
+        }
+        else if (proofKind === "green_tests") {
+            if (String(content.pre_edit_proof_kind ?? "red_or_characterization") !== "red_or_characterization") {
+                problems.push(reason(code, `${label}: green_tests verifier report requires pre_edit_proof_kind=red_or_characterization`, [label]));
+            }
+            if (!Array.isArray(content.green_test_run_evidence_refs) || content.green_test_run_evidence_refs.length === 0) {
+                problems.push(reason(code, `${label}: green_tests verifier report requires green_test_run_evidence_refs`, [label]));
+            }
+            if (!Array.isArray(content.red_test_run_evidence_refs) && !Array.isArray(content.characterization_test_run_evidence_refs)) {
+                problems.push(reason(code, `${label}: green_tests verifier report requires red_test_run_evidence_refs or characterization_test_run_evidence_refs`, [label]));
+            }
+        }
+        else {
+            if (content.pre_edit_proof_kind !== "no_tdd_declared") {
+                problems.push(reason(code, `${label}: alternative_verification verifier report requires pre_edit_proof_kind=no_tdd_declared`, [label]));
+            }
+            if (!Array.isArray(content.alternative_verification_evidence_refs) || content.alternative_verification_evidence_refs.length === 0) {
+                problems.push(reason(code, `${label}: alternative_verification verifier report requires alternative_verification_evidence_refs`, [label]));
+            }
+            if (Array.isArray(content.green_test_run_evidence_refs) && content.green_test_run_evidence_refs.length > 0) {
+                problems.push(reason(code, `${label}: alternative_verification verifier report must not claim green_test_run_evidence_refs`, [label]));
+            }
+            if (Array.isArray(content.red_test_run_evidence_refs) && content.red_test_run_evidence_refs.length > 0) {
+                problems.push(reason(code, `${label}: alternative_verification verifier report must not claim red_test_run_evidence_refs`, [label]));
+            }
+            if (Array.isArray(content.characterization_test_run_evidence_refs) && content.characterization_test_run_evidence_refs.length > 0) {
+                problems.push(reason(code, `${label}: alternative_verification verifier report must not claim characterization_test_run_evidence_refs`, [label]));
+            }
+            if (content.tdd_required !== false) {
+                problems.push(reason(code, `${label}: alternative_verification verifier report requires tdd_required=false`, [label]));
+            }
+            if (content.apply_execution_surface !== "implementation" && content.apply_execution_surface !== "runtime_config") {
+                problems.push(reason(code, `${label}: alternative_verification verifier report requires implementation/runtime_config apply_execution_surface`, [label]));
+            }
+            if (!NO_TDD_REASONS.has(String(content.no_tdd_reason ?? ""))) {
+                problems.push(reason(code, `${label}: alternative_verification verifier report requires valid no_tdd_reason`, [label]));
+            }
         }
         problems.push(...report_pass_verdict_reasons(content, [
             "verification_status_candidate",
@@ -1055,10 +1108,25 @@ export function worker_test_run_reasons(changeRoot, ev, taskId, chainId, code =
     }
     return problems;
 }
+export function pre_edit_worker_test_run_reasons(changeRoot, ev, taskId, code = "pre_edit_test_run_invalid") {
+    const problems = [];
+    if (ev.kind !== "test_run")
+        problems.push(reason(code, `${ev._path}: pre-edit evidence must be kind=test_run`));
+    if (ev.gate !== "task_edit")
+        problems.push(reason(code, `${ev._path}: pre-edit evidence must be gate=task_edit`));
+    if (ev.task_id !== taskId)
+        problems.push(reason(code, `${ev._path}: pre-edit evidence task_id must be ${taskId}`));
+    const phase = typeof ev.phase === "string" ? ev.phase : "";
+    const redOk = ev.semantic_status === "expected_failure" && (phase === "" || phase === "red");
+    const characterizationOk = ev.semantic_status === "expected_success" && phase === "characterization";
+    if (!redOk && !characterizationOk) {
+        problems.push(reason(code, `${ev._path}: pre-edit evidence must be worker RED or characterization test_run`));
+    }
+    problems.push(...worker_test_run_reasons(changeRoot, ev, taskId, null, code));
+    return problems;
+}
 function superseded_ids(evidences) {
-    return new Set(evidences
-        .filter((ev) => isObject(ev) && ev.status === "superseded" && typeof ev.supersedes === "string" && ev.supersedes)
-        .map((ev) => String(ev.supersedes)));
+    return effective_superseded_ids(evidences);
 }
 function live_pass_by_id(evidences, evidenceId) {
     const dead = superseded_ids(evidences);
@@ -1068,11 +1136,28 @@ function live_pass_by_id(evidences, evidenceId) {
         && String(ev.evidence_id ?? "") === evidenceId
         && !dead.has(evidenceId));
 }
-export function pre_edit_evidence_ref_reasons(evidences, active, taskId, code = "pre_edit_evidence_ref_invalid") {
+export function pre_edit_evidence_ref_reasons(changeRoot, evidences, active, taskId, code = "pre_edit_evidence_ref_invalid") {
     const problems = [];
     if (!isObject(active))
         return [reason(code, `task ${taskId} requires an active apply_worker_chain marker for pre-edit evidence validation`)];
     const preIds = Array.isArray(active.pre_edit_evidence_refs) ? active.pre_edit_evidence_refs.map(String).filter(Boolean) : [];
+    const proofKind = String(active.pre_edit_proof_kind ?? "red_or_characterization");
+    if (proofKind !== "red_or_characterization" && proofKind !== "no_tdd_declared") {
+        return [reason(code, `task ${taskId} active apply_worker_chain has invalid pre_edit_proof_kind=${proofKind}`)];
+    }
+    if (proofKind === "no_tdd_declared") {
+        if (preIds.length > 0)
+            problems.push(reason(code, `task ${taskId} active apply_worker_chain no_tdd_declared must have empty pre_edit_evidence_refs`, preIds));
+        if (active.tdd_required !== false)
+            problems.push(reason(code, `task ${taskId} active apply_worker_chain no_tdd_declared requires tdd_required=false`));
+        if (active.apply_execution_surface !== "implementation" && active.apply_execution_surface !== "runtime_config") {
+            problems.push(reason(code, `task ${taskId} active apply_worker_chain no_tdd_declared requires implementation/runtime_config apply_execution_surface`));
+        }
+        if (!NO_TDD_REASONS.has(String(active.no_tdd_reason ?? ""))) {
+            problems.push(reason(code, `task ${taskId} active apply_worker_chain no_tdd_declared requires valid no_tdd_reason`));
+        }
+        return problems;
+    }
     if (preIds.length === 0)
         return [reason(code, `task ${taskId} active apply_worker_chain has no pre_edit_evidence_refs`)];
     for (const evidenceId of preIds) {
@@ -1081,18 +1166,8 @@ export function pre_edit_evidence_ref_reasons(evidences, active, taskId, code =
             problems.push(reason(code, `pre_edit_evidence_ref is not live/pass: ${evidenceId}`, [evidenceId]));
             continue;
         }
-        if (ev.kind !== "test_run")
-            problems.push(reason(code, `${evidenceId}: pre-edit evidence must be kind=test_run`, [evidenceId]));
-        if (ev.gate !== "task_edit")
-            problems.push(reason(code, `${evidenceId}: pre-edit evidence must be gate=task_edit`, [evidenceId]));
-        if (ev.task_id !== taskId)
-            problems.push(reason(code, `${evidenceId}: pre-edit evidence task_id must be ${taskId}`, [evidenceId]));
-        const phase = typeof ev.phase === "string" ? ev.phase : "";
-        const redOk = ev.semantic_status === "expected_failure" && (phase === "" || phase === "red");
-        const characterizationOk = ev.semantic_status === "expected_success" && phase === "characterization";
-        if (!redOk && !characterizationOk) {
-            problems.push(reason(code, `${evidenceId}: pre-edit evidence must be RED or characterization test_run`, [evidenceId]));
-        }
+        problems.push(...pre_edit_worker_test_run_reasons(changeRoot, ev, taskId, code)
+            .map((item) => ({ ...item, refs: item.refs.length > 0 ? item.refs : [evidenceId] })));
     }
     return problems;
 }
@@ -1109,6 +1184,13 @@ export function compute_apply_worker_freshness(repoRoot, changeRoot, evidences,
         .filter((ev) => ev.gate === "task_complete" && ev.kind === "test_run" && ev.task_id === taskId)
         .find((ev) => String(ev.evidence_id ?? "") === greenId)).filter((ev) => isObject(ev));
     const green = greens[0];
+    const alternativeIds = [...new Set((Array.isArray(refs.alternative_verification_evidence_refs) ? refs.alternative_verification_evidence_refs : []).map(String).filter(Boolean))].sort();
+    const alternatives = alternativeIds.map((evidenceId) => passEvidences
+        .filter((ev) => (ev.kind === "alternative_verification" || ev.kind === "manual_verification") && ev.task_id === taskId)
+        .find((ev) => String(ev.evidence_id ?? "") === evidenceId)).filter((ev) => isObject(ev));
+    const alternative = alternatives[0];
+    const completionProofKind = refs.completion_proof_kind ?? (alternativeIds.length > 0 ? "alternative_verification" : "green_tests");
+    const preEditProofKind = String(active?.pre_edit_proof_kind ?? "red_or_characterization");
     const preIds = Array.isArray(active?.pre_edit_evidence_refs) ? active.pre_edit_evidence_refs.map(String) : [];
     const preEditEvidence = preIds.map((id) => evidences.find((ev) => String(ev.evidence_id ?? "") === id)).filter((ev) => isObject(ev));
     const preEdit = preEditEvidence.map(evidence_summary).filter(Boolean);
@@ -1118,6 +1200,7 @@ export function compute_apply_worker_freshness(repoRoot, changeRoot, evidences,
         evidence_file_ref(changeRoot, active),
         ...preEditEvidence.map((ev) => evidence_file_ref(changeRoot, ev)),
         ...greens.map((ev) => evidence_file_ref(changeRoot, ev)),
+        ...alternatives.map((ev) => evidence_file_ref(changeRoot, ev)),
     ].filter((item) => isObject(item));
     const expectedGuardRefs = [
         refs.executor_report_ref,
@@ -1131,9 +1214,13 @@ export function compute_apply_worker_freshness(repoRoot, changeRoot, evidences,
     const implementation = apply_worker_implementation_fingerprint(repoRoot, changeRoot, expectedGuardRefs, { declaredTaskWriteScope: activeScope });
     const greenImplementationDigest = fingerprint_digest(green?.implementation_fingerprint);
     const guardArtifact = apply_worker_guard_artifact_manifest_fingerprint({
+        completion_proof_kind: completionProofKind,
+        pre_edit_proof_kind: preEditProofKind,
         pre_edit_evidence: preEdit,
         green_test_run: evidence_summary(green),
         green_test_runs: greens.map(evidence_summary).filter(Boolean),
+        alternative_verification: evidence_summary(alternative),
+        alternative_verifications: alternatives.map(evidence_summary).filter(Boolean),
         executor_report_ref: refs.executor_report_ref,
         task_code_review_report_ref: refs.task_code_review_report_ref,
         accepted_test_runner_report_ref: green?.accepted_test_runner_report_ref,
@@ -1148,11 +1235,17 @@ export function compute_apply_worker_freshness(repoRoot, changeRoot, evidences,
             source_implementation_fingerprint: active.source_implementation_fingerprint,
             declared_task_write_scope: active.declared_task_write_scope,
             pre_edit_evidence_refs: active.pre_edit_evidence_refs,
+            pre_edit_proof_kind: active.pre_edit_proof_kind,
+            apply_execution_surface: active.apply_execution_surface,
+            tdd_required: active.tdd_required,
+            no_tdd_reason: active.no_tdd_reason,
         } : null,
     });
     const stable = {
         task_id: taskId,
         apply_worker_chain_id: chainId,
+        completion_proof_kind: completionProofKind,
+        pre_edit_proof_kind: preEditProofKind,
         repo_head: repo_head(repoRoot),
         implementation_fingerprint: {
             repo_head: implementation.repo_head,
@@ -1171,6 +1264,8 @@ export function compute_apply_worker_freshness(repoRoot, changeRoot, evidences,
         pre_edit_evidence_refs: preIds,
         green_test_run_evidence_ref: refs.green_test_run_evidence_ref,
         green_test_run_evidence_refs: greenIds,
+        alternative_verification_evidence_ref: alternativeIds[0] ?? null,
+        alternative_verification_evidence_refs: alternativeIds,
         executor_report_ref: pinned_summary(refs.executor_report_ref),
         task_code_review_report_ref: pinned_summary(refs.task_code_review_report_ref),
     };

package/dist/src/apply_worker_chain_lifecycle.d.ts

@@ -1,4 +1,8 @@
 import type { JsonMap, Reason } from "./util.ts";
+export type TakeoverBaseline = {
+    fingerprint: unknown;
+    successorGreenRefs: string[];
+};
 export type ApplyWorkerChainLifecycleState = {
     completionReasons: Reason[];
     packetBlockers: Reason[];
@@ -9,11 +13,9 @@ export type ApplyWorkerChainLifecycleState = {
     validTerminalChainIds: Set<string>;
     validClosedChainIds: Set<string>;
     validClosedGreenEvidenceIds: Set<string>;
-    takeoverBaselines: {
-        fingerprint: unknown;
-        successorGreenRefs: string[];
-    }[];
+    validClosedAlternativeEvidenceIds: Set<string>;
+    validClosedAlternativeChainIds: Set<string>;
+    takeoverbaselines: TakeoverBaseline[];
 };
-export declare function serial_completion_green(ev: JsonMap): boolean;
 export declare function apply_worker_chain_lifecycle_state(repoRoot: string, changeRoot: string, evidences: JsonMap[], taskId: string): ApplyWorkerChainLifecycleState;
 export declare function apply_worker_chain_lifecycle_reasons(repoRoot: string, changeRoot: string, evidences: JsonMap[], taskId: string): Reason[];