@peterxiaoyang/superspec 0.1.6 → 0.1.7

package/dist/src/apply_worker_chain_lifecycle.d.ts

@@ -0,0 +1,19 @@
+import type { JsonMap, Reason } from "./util.ts";
+export type ApplyWorkerChainLifecycleState = {
+    completionReasons: Reason[];
+    packetBlockers: Reason[];
+    activeBlockingReasons: Reason[];
+    activePresence: "none" | "single_open" | "blocked";
+    active: JsonMap | null;
+    openActiveChainIds: Set<string>;
+    validTerminalChainIds: Set<string>;
+    validClosedChainIds: Set<string>;
+    validClosedGreenEvidenceIds: Set<string>;
+    takeoverBaselines: {
+        fingerprint: unknown;
+        successorGreenRefs: string[];
+    }[];
+};
+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[];

package/dist/src/apply_worker_chain_lifecycle.js

@@ -0,0 +1,278 @@
+import { isObject, reason, renderList, repr } from "./util.js";
+import { find_pass, live_pass } from "./evidence.js";
+import { apply_worker_implementation_fingerprint, apply_worker_executor_input_ref_digest, compute_apply_worker_freshness, fingerprint_matches, pinned_artifact_ref_reasons as shared_pinned_artifact_ref_reasons, pre_edit_evidence_ref_reasons, read_pinned_artifact_json, worker_input_ref_digest, worker_test_run_reasons, } from "./apply_worker_chain.js";
+function pinned_artifact_ref_matches(changeRoot, refItem, role, taskId, chainId, kind = "worker_report") {
+    return shared_pinned_artifact_ref_reasons(changeRoot, refItem, `${role}_ref`, { kind, role, taskId, chainId }).length === 0;
+}
+function executor_worker_test_run_refs_valid(changeRoot, ev, taskId, chainId) {
+    return worker_test_run_reasons(changeRoot, ev, taskId, chainId).length === 0;
+}
+function report_origin_matches(refItem, expected) {
+    return isObject(refItem) && typeof expected === "string" && refItem.origin_packet_fingerprint === expected;
+}
+function report_input_refs_match(refItem, refs) {
+    return isObject(refItem) && refItem.input_ref_digest === worker_input_ref_digest(refs);
+}
+function report_input_digest_matches(refItem, expectedDigest) {
+    return isObject(refItem) && refItem.input_ref_digest === expectedDigest;
+}
+function chain_green_ids(ev) {
+    if (Array.isArray(ev.green_test_run_evidence_refs)) {
+        return ev.green_test_run_evidence_refs.map(String).filter(Boolean).sort();
+    }
+    const greenId = isObject(ev.green_test_run_evidence_ref)
+        ? String(ev.green_test_run_evidence_ref.evidence_id ?? "")
+        : String(ev.green_test_run_evidence_ref ?? "");
+    return greenId ? [greenId] : [];
+}
+function active_pre_edit_input_refs(evidences, active) {
+    const preIds = Array.isArray(active.pre_edit_evidence_refs) ? active.pre_edit_evidence_refs.map(String) : [];
+    return preIds.map((evidenceId) => {
+        const ev = live_pass(evidences, { kind: "test_run" }).find((item) => String(item.evidence_id ?? "") === evidenceId);
+        return ev
+            ? { kind: "test_run", evidence_id: evidenceId, phase: ev.phase, semantic_status: ev.semantic_status }
+            : { kind: "test_run", evidence_id: evidenceId };
+    });
+}
+function closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId) {
+    const active = live_pass(evidences, { gate: "task_complete", kind: "apply_worker_chain", task_id: taskId })
+        .find((item) => item.chain_state === "active" && item.apply_worker_chain_id === chainId);
+    if (!active)
+        return false;
+    if (pre_edit_evidence_ref_reasons(evidences, active, taskId).length > 0)
+        return false;
+    if (!pinned_artifact_ref_matches(changeRoot, ev.executor_report_ref, "executor", taskId, chainId))
+        return false;
+    if (!pinned_artifact_ref_matches(changeRoot, ev.task_code_review_report_ref, "code-reviewer", taskId, chainId))
+        return false;
+    if (!pinned_artifact_ref_matches(changeRoot, ev.verifier_report_ref, "verifier", taskId, chainId))
+        return false;
+    if (!report_origin_matches(ev.executor_report_ref, active.executor_packet_fingerprint))
+        return false;
+    if (!report_input_digest_matches(ev.executor_report_ref, apply_worker_executor_input_ref_digest(evidences, active)))
+        return false;
+    if (!report_input_refs_match(ev.task_code_review_report_ref, [ev.executor_report_ref]))
+        return false;
+    if (typeof ev.observed_freshness_fingerprint !== "string" && !(isObject(ev.observed_freshness_fingerprint) && typeof ev.observed_freshness_fingerprint.fingerprint_digest === "string"))
+        return false;
+    const verifierReport = read_pinned_artifact_json(changeRoot, ev.verifier_report_ref);
+    const verifierObserved = verifierReport?.observed_freshness_fingerprint ?? (isObject(ev.verifier_report_ref) ? ev.verifier_report_ref.observed_freshness_fingerprint : undefined);
+    if (!fingerprint_matches(verifierObserved, ev.observed_freshness_fingerprint))
+        return false;
+    const greenIds = chain_green_ids(ev);
+    if (greenIds.length === 0)
+        return false;
+    const greenRuns = greenIds.map((greenId) => live_pass(evidences, { gate: "task_complete", kind: "test_run", task_id: taskId }).find((item) => (String(item.evidence_id ?? "") === greenId
+        && item.semantic_status === "expected_success"
+        && (item.phase === undefined || item.phase === "green")
+        && item.apply_execution_chain === "executor_worker"
+        && item.apply_worker_chain_id === chainId
+        && executor_worker_test_run_refs_valid(changeRoot, item, taskId, chainId)))).filter((item) => isObject(item));
+    if (greenRuns.length !== greenIds.length)
+        return false;
+    if (!report_input_refs_match(ev.verifier_report_ref, [
+        ev.executor_report_ref,
+        ev.task_code_review_report_ref,
+        ...greenRuns.map((green) => ({ kind: "test_run", evidence_id: String(green.evidence_id ?? ""), phase: green.phase, semantic_status: green.semantic_status })),
+        ...active_pre_edit_input_refs(evidences, active),
+    ]))
+        return false;
+    const currentFreshness = compute_apply_worker_freshness(repoRoot, changeRoot, evidences, taskId, chainId, {
+        executor_report_ref: ev.executor_report_ref,
+        task_code_review_report_ref: ev.task_code_review_report_ref,
+        green_test_run_evidence_ref: greenIds[0],
+        green_test_run_evidence_refs: greenIds,
+        verifier_report_ref: ev.verifier_report_ref,
+    });
+    if (Array.isArray(currentFreshness.unexpected_guard_owned_dirty_paths) && currentFreshness.unexpected_guard_owned_dirty_paths.length > 0)
+        return false;
+    if (Array.isArray(currentFreshness.protected_dirty_paths) && currentFreshness.protected_dirty_paths.length > 0)
+        return false;
+    if (!greenRuns.every((green) => fingerprint_matches(green.implementation_fingerprint, currentFreshness.implementation_fingerprint)))
+        return false;
+    if (!fingerprint_matches(isObject(ev.task_code_review_report_ref) ? ev.task_code_review_report_ref.observed_implementation_fingerprint : undefined, currentFreshness.implementation_fingerprint))
+        return false;
+    return fingerprint_matches(currentFreshness, verifierObserved);
+}
+function pinned_takeover_baseline_valid(changeRoot, refItem, taskId, chainId) {
+    return shared_pinned_artifact_ref_reasons(changeRoot, refItem, "serial_takeover_baseline_ref", { kind: "status_report", role: "verifier", taskId, chainId }).length === 0;
+}
+function abandoned_apply_worker_chain_valid(repoRoot, changeRoot, ev, active, taskId, chainId) {
+    if (!active)
+        return false;
+    if ("restored_implementation_fingerprint" in ev) {
+        const activeScope = Array.isArray(active.declared_task_write_scope) ? active.declared_task_write_scope.map(String).filter(Boolean) : [];
+        const current = apply_worker_implementation_fingerprint(repoRoot, changeRoot, [], { declaredTaskWriteScope: activeScope });
+        if (fingerprint_matches(ev.restored_implementation_fingerprint, active.source_implementation_fingerprint)
+            && fingerprint_matches(current, active.source_implementation_fingerprint))
+            return true;
+    }
+    if ("serial_takeover_baseline_ref" in ev) {
+        return pinned_takeover_baseline_valid(changeRoot, ev.serial_takeover_baseline_ref, taskId, chainId)
+            && Array.isArray(ev.successor_green_evidence_refs)
+            && ev.successor_green_evidence_refs.length > 0
+            && ev.successor_green_evidence_refs.every((item) => typeof item === "string" && item.length > 0);
+    }
+    return false;
+}
+export function serial_completion_green(ev) {
+    return (ev.runner_origin === undefined || ev.runner_origin === "main-thread")
+        && ev.apply_execution_chain !== "executor_worker"
+        && typeof ev.apply_worker_chain_id !== "string";
+}
+export function apply_worker_chain_lifecycle_state(repoRoot, changeRoot, evidences, taskId) {
+    const chains = find_pass(evidences, { gate: "task_complete", kind: "apply_worker_chain", task_id: taskId });
+    const activeByChain = new Map();
+    const activeCounts = new Map();
+    for (const ev of chains) {
+        if (String(ev.chain_state ?? "") !== "active")
+            continue;
+        const chainId = String(ev.apply_worker_chain_id ?? "");
+        if (!chainId)
+            continue;
+        const bucket = activeCounts.get(chainId) ?? [];
+        bucket.push(ev);
+        activeCounts.set(chainId, bucket);
+        if (!activeByChain.has(chainId))
+            activeByChain.set(chainId, ev);
+    }
+    const chainIdsWithActive = new Set([...activeByChain.keys()]);
+    const terminalValidity = new Map();
+    const chainIdsWithTerminal = new Set(chains
+        .filter((ev) => {
+        const chainId = String(ev.apply_worker_chain_id ?? "");
+        if (!chainId)
+            return false;
+        let valid = false;
+        if (String(ev.chain_state ?? "") === "closed")
+            valid = closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId);
+        if (String(ev.chain_state ?? "") === "abandoned")
+            valid = abandoned_apply_worker_chain_valid(repoRoot, changeRoot, ev, activeByChain.get(chainId), taskId, chainId);
+        terminalValidity.set(ev, valid);
+        return valid;
+    })
+        .map((ev) => String(ev.apply_worker_chain_id ?? ""))
+        .filter(Boolean));
+    const openActiveChainIds = new Set([...activeByChain.keys()].filter((chainId) => !chainIdsWithTerminal.has(chainId)));
+    const validClosedChainIds = new Set(chains
+        .filter((ev) => {
+        const chainId = String(ev.apply_worker_chain_id ?? "");
+        const valid = String(ev.chain_state ?? "") === "closed" && (terminalValidity.get(ev) ?? closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId));
+        return chainId && valid;
+    })
+        .map((ev) => String(ev.apply_worker_chain_id ?? ""))
+        .filter(Boolean));
+    const validClosedGreenEvidenceIds = new Set(chains
+        .filter((ev) => {
+        const chainId = String(ev.apply_worker_chain_id ?? "");
+        const valid = String(ev.chain_state ?? "") === "closed" && (terminalValidity.get(ev) ?? closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId));
+        return chainId && valid;
+    })
+        .flatMap(chain_green_ids));
+    const takeoverBaselines = [];
+    const completionReasons = [];
+    const duplicateActives = [...activeCounts.entries()]
+        .filter(([chainId]) => openActiveChainIds.has(chainId))
+        .map(([, items]) => items)
+        .filter((items) => items.length > 1)
+        .flatMap((items) => items.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")))
+        .filter(Boolean)
+        .sort();
+    const openActiveValues = [...openActiveChainIds].map((chainId) => activeByChain.get(chainId)).filter((ev) => isObject(ev));
+    const parallelActives = openActiveValues.length > 1
+        ? openActiveValues.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")).filter(Boolean).sort()
+        : [];
+    const activeConflicts = [...new Set([...duplicateActives, ...parallelActives])].sort();
+    if (activeConflicts.length > 0) {
+        completionReasons.push(reason("apply_worker_chain_active_conflict", `task ${taskId} has conflicting active apply worker chain markers: ${renderList(activeConflicts)}`, activeConflicts));
+    }
+    const terminalsByChain = new Map();
+    for (const ev of chains) {
+        const state = String(ev.chain_state ?? "");
+        if (state !== "closed" && state !== "abandoned")
+            continue;
+        const chainId = String(ev.apply_worker_chain_id ?? "");
+        if (!chainId)
+            continue;
+        const bucket = terminalsByChain.get(chainId) ?? [];
+        bucket.push(ev);
+        terminalsByChain.set(chainId, bucket);
+    }
+    const duplicateTerminals = [...terminalsByChain.values()]
+        .filter((items) => items.length > 1)
+        .flatMap((items) => items.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")))
+        .filter(Boolean)
+        .sort();
+    if (duplicateTerminals.length > 0) {
+        completionReasons.push(reason("apply_worker_chain_terminal_conflict", `task ${taskId} has duplicate apply worker chain terminal markers: ${renderList(duplicateTerminals)}`, duplicateTerminals));
+    }
+    const invalidTerminals = chains
+        .filter((ev) => String(ev.chain_state ?? "") === "closed" || String(ev.chain_state ?? "") === "abandoned")
+        .filter((ev) => {
+        const chainId = String(ev.apply_worker_chain_id ?? "");
+        if (!chainId)
+            return true;
+        if (String(ev.chain_state ?? "") === "closed")
+            return !(terminalValidity.get(ev) ?? closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId));
+        const valid = terminalValidity.get(ev) ?? abandoned_apply_worker_chain_valid(repoRoot, changeRoot, ev, activeByChain.get(chainId), taskId, chainId);
+        if (valid && isObject(ev.serial_takeover_baseline_ref)) {
+            const baseline = read_pinned_artifact_json(changeRoot, ev.serial_takeover_baseline_ref);
+            if (baseline?.implementation_fingerprint !== undefined) {
+                takeoverBaselines.push({
+                    fingerprint: baseline.implementation_fingerprint,
+                    successorGreenRefs: Array.isArray(ev.successor_green_evidence_refs) ? ev.successor_green_evidence_refs.map(String).filter(Boolean) : [],
+                });
+            }
+        }
+        return !valid;
+    })
+        .map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? ""))
+        .filter(Boolean)
+        .sort();
+    if (invalidTerminals.length > 0) {
+        completionReasons.push(reason("apply_worker_chain_terminal_invalid", `task ${taskId} has invalid apply worker chain terminal markers: ${renderList(invalidTerminals)}`, invalidTerminals));
+    }
+    for (const chainId of [...openActiveChainIds].sort()) {
+        if (!chainIdsWithTerminal.has(chainId)) {
+            completionReasons.push(reason("apply_worker_chain_active", `task ${taskId} has active apply worker chain and cannot use non-chain task completion: ${chainId}`, [chainId]));
+        }
+    }
+    for (const ev of evidences) {
+        if (!isObject(ev) || ev._invalid || ev.status !== "pass" || ev.task_id !== taskId)
+            continue;
+        const chainId = typeof ev.apply_worker_chain_id === "string" ? ev.apply_worker_chain_id : "";
+        if (!chainId)
+            continue;
+        if (!chainIdsWithActive.has(chainId)) {
+            completionReasons.push(reason("apply_worker_chain_missing_active", `task ${taskId} references apply_worker_chain_id=${repr(chainId)} without a matching active marker`, [chainId]));
+        }
+    }
+    if (duplicateTerminals.length > 0 || activeConflicts.length > 0) {
+        validClosedChainIds.clear();
+        validClosedGreenEvidenceIds.clear();
+    }
+    const activeBlockingReasons = completionReasons.filter((item) => (item.code === "apply_worker_chain_active_conflict"
+        || item.code === "apply_worker_chain_terminal_conflict"
+        || item.code === "apply_worker_chain_terminal_invalid"
+        || item.code === "apply_worker_chain_missing_active"));
+    const activePresence = activeBlockingReasons.length > 0
+        ? "blocked"
+        : openActiveValues.length === 1
+            ? "single_open"
+            : "none";
+    return {
+        completionReasons,
+        packetBlockers: activeBlockingReasons,
+        activeBlockingReasons,
+        activePresence,
+        active: activePresence === "single_open" ? openActiveValues[0] : null,
+        openActiveChainIds,
+        validTerminalChainIds: chainIdsWithTerminal,
+        validClosedChainIds,
+        validClosedGreenEvidenceIds,
+        takeoverBaselines,
+    };
+}
+export function apply_worker_chain_lifecycle_reasons(repoRoot, changeRoot, evidences, taskId) {
+    return apply_worker_chain_lifecycle_state(repoRoot, changeRoot, evidences, taskId).completionReasons;
+}

package/dist/src/gates.js

@@ -5,10 +5,11 @@ import { all_done, artifact_status_map, get_repo_root, is_done, normalize_gate,
 import { read_agent_toml_name, read_skill_frontmatter_name, sidecar_business_invariants_path, sidecar_discovery_path, sidecar_test_contract_path } from "./paths.js";
 import { business_invariant_ids, business_invariant_validation_reasons, automated_hard_business_invariant_ids, evidence_invariant_refs, evidence_invariant_ref_reasons, evidence_test_contract_invariant_reasons, human_confirmation_business_invariant_ids, invariant_matrix_coverage_reasons, post_implementation_business_invariant_ids, red_green_invariant_ids, test_contract_invariant_ids, } from "./invariants.js";
 import { evidence_test_id_reasons, declared_test_evidence_reasons, parse_spec_scenarios, parse_tasks, parse_test_contract_ids, parse_test_contract_records, red_green_test_ids, splitList, tasks_structure_hash, task_alternative_verification, task_test_evidence, task_test_refs, test_contract_covers_scenario, test_contract_invariant_refs_by_test, write_scope_conflict_reasons, } from "./tasks.js";
-import { duplicate_evidence_id_reasons, dangling_evidence_ref_reasons, find_pass, final_verification_evidences, live_task_reopens, live_task_reopen_resolutions, live_pass, live_user_confirmations, pass_task_reopens, supersede_reasons, unresolved_live_task_reopens, validate_evidence_schema, verify_reference_reasons, } from "./evidence.js";
+import { duplicate_evidence_id_reasons, dangling_evidence_ref_reasons, final_verification_evidences, live_task_reopens, live_task_reopen_resolutions, live_pass, live_user_confirmations, pass_task_reopens, supersede_reasons, unresolved_live_task_reopens, validate_evidence_schema, verify_reference_reasons, } from "./evidence.js";
 import { review_disclosure_reasons } from "./disclosure.js";
 import { archive_manifest_path } from "./archive.js";
-import { apply_worker_implementation_fingerprint, apply_worker_executor_input_ref_digest, compute_apply_worker_freshness, fingerprint_matches, pinned_artifact_ref_reasons as shared_pinned_artifact_ref_reasons, pre_edit_evidence_ref_reasons, read_pinned_artifact_json, worker_input_ref_digest, worker_test_run_reasons, } from "./apply_worker_chain.js";
+import { fingerprint_matches, } from "./apply_worker_chain.js";
+import { apply_worker_chain_lifecycle_reasons as shared_apply_worker_chain_lifecycle_reasons, apply_worker_chain_lifecycle_state, serial_completion_green, } from "./apply_worker_chain_lifecycle.js";
 function action_list(...items) {
     return [...new Set(items.filter((item) => typeof item === "string" && item.length > 0))];
 }
@@ -1145,259 +1146,8 @@ export function check_task_edit(change, status, changeRoot, evidences, taskId) {
     }
     return allow(change, gate, { task_id: taskId });
 }
-function pinned_artifact_ref_matches(changeRoot, refItem, role, taskId, chainId, kind = "worker_report") {
-    return shared_pinned_artifact_ref_reasons(changeRoot, refItem, `${role}_ref`, { kind, role, taskId, chainId }).length === 0;
-}
-function executor_worker_test_run_refs_valid(changeRoot, ev, taskId, chainId) {
-    return worker_test_run_reasons(changeRoot, ev, taskId, chainId).length === 0;
-}
-function report_origin_matches(refItem, expected) {
-    return isObject(refItem) && typeof expected === "string" && refItem.origin_packet_fingerprint === expected;
-}
-function report_input_refs_match(refItem, refs) {
-    return isObject(refItem) && refItem.input_ref_digest === worker_input_ref_digest(refs);
-}
-function report_input_digest_matches(refItem, expectedDigest) {
-    return isObject(refItem) && refItem.input_ref_digest === expectedDigest;
-}
-function chain_green_ids(ev) {
-    if (Array.isArray(ev.green_test_run_evidence_refs)) {
-        return ev.green_test_run_evidence_refs.map(String).filter(Boolean).sort();
-    }
-    const greenId = isObject(ev.green_test_run_evidence_ref)
-        ? String(ev.green_test_run_evidence_ref.evidence_id ?? "")
-        : String(ev.green_test_run_evidence_ref ?? "");
-    return greenId ? [greenId] : [];
-}
-function active_pre_edit_input_refs(evidences, active) {
-    const preIds = Array.isArray(active.pre_edit_evidence_refs) ? active.pre_edit_evidence_refs.map(String) : [];
-    return preIds.map((evidenceId) => {
-        const ev = live_pass(evidences, { kind: "test_run" }).find((item) => String(item.evidence_id ?? "") === evidenceId);
-        return ev
-            ? { kind: "test_run", evidence_id: evidenceId, phase: ev.phase, semantic_status: ev.semantic_status }
-            : { kind: "test_run", evidence_id: evidenceId };
-    });
-}
-function closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId) {
-    const active = live_pass(evidences, { gate: "task_complete", kind: "apply_worker_chain", task_id: taskId })
-        .find((item) => item.chain_state === "active" && item.apply_worker_chain_id === chainId);
-    if (!active)
-        return false;
-    if (pre_edit_evidence_ref_reasons(evidences, active, taskId).length > 0)
-        return false;
-    if (!pinned_artifact_ref_matches(changeRoot, ev.executor_report_ref, "executor", taskId, chainId))
-        return false;
-    if (!pinned_artifact_ref_matches(changeRoot, ev.task_code_review_report_ref, "code-reviewer", taskId, chainId))
-        return false;
-    if (!pinned_artifact_ref_matches(changeRoot, ev.verifier_report_ref, "verifier", taskId, chainId))
-        return false;
-    if (!report_origin_matches(ev.executor_report_ref, active.executor_packet_fingerprint))
-        return false;
-    if (!report_input_digest_matches(ev.executor_report_ref, apply_worker_executor_input_ref_digest(evidences, active)))
-        return false;
-    if (!report_input_refs_match(ev.task_code_review_report_ref, [ev.executor_report_ref]))
-        return false;
-    if (typeof ev.observed_freshness_fingerprint !== "string" && !(isObject(ev.observed_freshness_fingerprint) && typeof ev.observed_freshness_fingerprint.fingerprint_digest === "string"))
-        return false;
-    const verifierReport = read_pinned_artifact_json(changeRoot, ev.verifier_report_ref);
-    const verifierObserved = verifierReport?.observed_freshness_fingerprint ?? (isObject(ev.verifier_report_ref) ? ev.verifier_report_ref.observed_freshness_fingerprint : undefined);
-    if (!fingerprint_matches(verifierObserved, ev.observed_freshness_fingerprint))
-        return false;
-    const greenIds = chain_green_ids(ev);
-    if (greenIds.length === 0)
-        return false;
-    const greenRuns = greenIds.map((greenId) => live_pass(evidences, { gate: "task_complete", kind: "test_run", task_id: taskId }).find((item) => (String(item.evidence_id ?? "") === greenId
-        && item.semantic_status === "expected_success"
-        && (item.phase === undefined || item.phase === "green")
-        && item.apply_execution_chain === "executor_worker"
-        && item.apply_worker_chain_id === chainId
-        && executor_worker_test_run_refs_valid(changeRoot, item, taskId, chainId)))).filter((item) => isObject(item));
-    if (greenRuns.length !== greenIds.length)
-        return false;
-    if (!report_input_refs_match(ev.verifier_report_ref, [
-        ev.executor_report_ref,
-        ev.task_code_review_report_ref,
-        ...greenRuns.map((green) => ({ kind: "test_run", evidence_id: String(green.evidence_id ?? ""), phase: green.phase, semantic_status: green.semantic_status })),
-        ...active_pre_edit_input_refs(evidences, active),
-    ]))
-        return false;
-    const currentFreshness = compute_apply_worker_freshness(repoRoot, changeRoot, evidences, taskId, chainId, {
-        executor_report_ref: ev.executor_report_ref,
-        task_code_review_report_ref: ev.task_code_review_report_ref,
-        green_test_run_evidence_ref: greenIds[0],
-        green_test_run_evidence_refs: greenIds,
-        verifier_report_ref: ev.verifier_report_ref,
-    });
-    if (Array.isArray(currentFreshness.unexpected_guard_owned_dirty_paths) && currentFreshness.unexpected_guard_owned_dirty_paths.length > 0)
-        return false;
-    if (Array.isArray(currentFreshness.protected_dirty_paths) && currentFreshness.protected_dirty_paths.length > 0)
-        return false;
-    if (!greenRuns.every((green) => fingerprint_matches(green.implementation_fingerprint, currentFreshness.implementation_fingerprint)))
-        return false;
-    if (!fingerprint_matches(isObject(ev.task_code_review_report_ref) ? ev.task_code_review_report_ref.observed_implementation_fingerprint : undefined, currentFreshness.implementation_fingerprint))
-        return false;
-    return fingerprint_matches(currentFreshness, verifierObserved);
-}
-function pinned_takeover_baseline_valid(changeRoot, refItem, taskId, chainId) {
-    return shared_pinned_artifact_ref_reasons(changeRoot, refItem, "serial_takeover_baseline_ref", { kind: "status_report", role: "verifier", taskId, chainId }).length === 0;
-}
-function abandoned_apply_worker_chain_valid(repoRoot, changeRoot, ev, active, taskId, chainId) {
-    if (!active)
-        return false;
-    if ("restored_implementation_fingerprint" in ev) {
-        const activeScope = Array.isArray(active.declared_task_write_scope) ? active.declared_task_write_scope.map(String).filter(Boolean) : [];
-        const current = apply_worker_implementation_fingerprint(repoRoot, changeRoot, [], { declaredTaskWriteScope: activeScope });
-        if (fingerprint_matches(ev.restored_implementation_fingerprint, active.source_implementation_fingerprint)
-            && fingerprint_matches(current, active.source_implementation_fingerprint))
-            return true;
-    }
-    if ("serial_takeover_baseline_ref" in ev) {
-        return pinned_takeover_baseline_valid(changeRoot, ev.serial_takeover_baseline_ref, taskId, chainId)
-            && Array.isArray(ev.successor_green_evidence_refs)
-            && ev.successor_green_evidence_refs.length > 0
-            && ev.successor_green_evidence_refs.every((item) => typeof item === "string" && item.length > 0);
-    }
-    return false;
-}
-function serial_completion_green(ev) {
-    return (ev.runner_origin === undefined || ev.runner_origin === "main-thread")
-        && ev.apply_execution_chain !== "executor_worker"
-        && typeof ev.apply_worker_chain_id !== "string";
-}
-function apply_worker_chain_completion_state(repoRoot, changeRoot, evidences, taskId) {
-    const chains = find_pass(evidences, { gate: "task_complete", kind: "apply_worker_chain", task_id: taskId });
-    const activeByChain = new Map();
-    const activeCounts = new Map();
-    for (const ev of chains) {
-        if (String(ev.chain_state ?? "") !== "active")
-            continue;
-        const chainId = String(ev.apply_worker_chain_id ?? "");
-        if (!chainId)
-            continue;
-        const bucket = activeCounts.get(chainId) ?? [];
-        bucket.push(ev);
-        activeCounts.set(chainId, bucket);
-        if (!activeByChain.has(chainId))
-            activeByChain.set(chainId, ev);
-    }
-    const chainIdsWithActive = new Set([...activeByChain.keys()]);
-    const chainIdsWithTerminal = new Set(chains
-        .filter((ev) => {
-        const chainId = String(ev.apply_worker_chain_id ?? "");
-        if (!chainId)
-            return false;
-        if (String(ev.chain_state ?? "") === "closed")
-            return closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId);
-        if (String(ev.chain_state ?? "") === "abandoned")
-            return abandoned_apply_worker_chain_valid(repoRoot, changeRoot, ev, activeByChain.get(chainId), taskId, chainId);
-        return false;
-    })
-        .map((ev) => String(ev.apply_worker_chain_id ?? ""))
-        .filter(Boolean));
-    const chainIdsWithOpenActive = new Set([...activeByChain.keys()].filter((chainId) => !chainIdsWithTerminal.has(chainId)));
-    const validClosedChainIds = new Set(chains
-        .filter((ev) => {
-        const chainId = String(ev.apply_worker_chain_id ?? "");
-        return chainId
-            && String(ev.chain_state ?? "") === "closed"
-            && closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId);
-    })
-        .map((ev) => String(ev.apply_worker_chain_id ?? ""))
-        .filter(Boolean));
-    const validClosedGreenEvidenceIds = new Set(chains
-        .filter((ev) => {
-        const chainId = String(ev.apply_worker_chain_id ?? "");
-        return chainId
-            && String(ev.chain_state ?? "") === "closed"
-            && closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId);
-    })
-        .flatMap(chain_green_ids));
-    const takeoverBaselines = [];
-    const reasons = [];
-    const duplicateActives = [...activeCounts.entries()]
-        .filter(([chainId]) => chainIdsWithOpenActive.has(chainId))
-        .map(([, items]) => items)
-        .filter((items) => items.length > 1)
-        .flatMap((items) => items.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")))
-        .filter(Boolean)
-        .sort();
-    const openActiveValues = [...chainIdsWithOpenActive].map((chainId) => activeByChain.get(chainId)).filter((ev) => isObject(ev));
-    const parallelActives = openActiveValues.length > 1
-        ? openActiveValues.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")).filter(Boolean).sort()
-        : [];
-    const activeConflicts = [...new Set([...duplicateActives, ...parallelActives])].sort();
-    if (activeConflicts.length > 0) {
-        reasons.push(reason("apply_worker_chain_active_conflict", `task ${taskId} has conflicting active apply worker chain markers: ${renderList(activeConflicts)}`, activeConflicts));
-    }
-    const terminalsByChain = new Map();
-    for (const ev of chains) {
-        const state = String(ev.chain_state ?? "");
-        if (state !== "closed" && state !== "abandoned")
-            continue;
-        const chainId = String(ev.apply_worker_chain_id ?? "");
-        if (!chainId)
-            continue;
-        const bucket = terminalsByChain.get(chainId) ?? [];
-        bucket.push(ev);
-        terminalsByChain.set(chainId, bucket);
-    }
-    const duplicateTerminals = [...terminalsByChain.values()]
-        .filter((items) => items.length > 1)
-        .flatMap((items) => items.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")))
-        .filter(Boolean)
-        .sort();
-    if (duplicateTerminals.length > 0) {
-        reasons.push(reason("apply_worker_chain_terminal_conflict", `task ${taskId} has duplicate apply worker chain terminal markers: ${renderList(duplicateTerminals)}`, duplicateTerminals));
-    }
-    const invalidTerminals = chains
-        .filter((ev) => String(ev.chain_state ?? "") === "closed" || String(ev.chain_state ?? "") === "abandoned")
-        .filter((ev) => {
-        const chainId = String(ev.apply_worker_chain_id ?? "");
-        if (!chainId)
-            return true;
-        if (String(ev.chain_state ?? "") === "closed")
-            return !closed_apply_worker_chain_valid(repoRoot, changeRoot, ev, evidences, taskId, chainId);
-        const valid = abandoned_apply_worker_chain_valid(repoRoot, changeRoot, ev, activeByChain.get(chainId), taskId, chainId);
-        if (valid && isObject(ev.serial_takeover_baseline_ref)) {
-            const baseline = read_pinned_artifact_json(changeRoot, ev.serial_takeover_baseline_ref);
-            if (baseline?.implementation_fingerprint !== undefined) {
-                takeoverBaselines.push({
-                    fingerprint: baseline.implementation_fingerprint,
-                    successorGreenRefs: Array.isArray(ev.successor_green_evidence_refs) ? ev.successor_green_evidence_refs.map(String).filter(Boolean) : [],
-                });
-            }
-        }
-        return !valid;
-    })
-        .map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? ""))
-        .filter(Boolean)
-        .sort();
-    if (invalidTerminals.length > 0) {
-        reasons.push(reason("apply_worker_chain_terminal_invalid", `task ${taskId} has invalid apply worker chain terminal markers: ${renderList(invalidTerminals)}`, invalidTerminals));
-    }
-    for (const chainId of [...chainIdsWithOpenActive].sort()) {
-        if (!chainIdsWithTerminal.has(chainId)) {
-            reasons.push(reason("apply_worker_chain_active", `task ${taskId} has active apply worker chain and cannot use non-chain task completion: ${chainId}`, [chainId]));
-        }
-    }
-    for (const ev of evidences) {
-        if (!isObject(ev) || ev._invalid || ev.status !== "pass" || ev.task_id !== taskId)
-            continue;
-        const chainId = typeof ev.apply_worker_chain_id === "string" ? ev.apply_worker_chain_id : "";
-        if (!chainId)
-            continue;
-        if (!chainIdsWithActive.has(chainId)) {
-            reasons.push(reason("apply_worker_chain_missing_active", `task ${taskId} references apply_worker_chain_id=${repr(chainId)} without a matching active marker`, [chainId]));
-        }
-    }
-    if (duplicateTerminals.length > 0 || activeConflicts.length > 0) {
-        validClosedChainIds.clear();
-        validClosedGreenEvidenceIds.clear();
-    }
-    return { reasons, validClosedChainIds, validClosedGreenEvidenceIds, takeoverBaselines };
-}
 export function apply_worker_chain_lifecycle_reasons(repoRoot, changeRoot, evidences, taskId) {
-    return apply_worker_chain_completion_state(repoRoot, changeRoot, evidences, taskId).reasons;
+    return shared_apply_worker_chain_lifecycle_reasons(repoRoot, changeRoot, evidences, taskId);
 }
 export function check_task_complete(change, status, changeRoot, evidences, taskId) {
     const gate = "task_complete";
@@ -1413,8 +1163,8 @@ export function check_task_complete(change, status, changeRoot, evidences, taskI
     const task = parse_tasks(changeRoot)[taskId];
     if (!task)
         return block(change, gate, [reason("unknown_task", `task ${taskId} not found`)], { task_id: taskId });
-    const workerChainState = apply_worker_chain_completion_state(get_repo_root(status), changeRoot, evidences, taskId);
-    reasons.push(...workerChainState.reasons);
+    const workerChainState = apply_worker_chain_lifecycle_state(get_repo_root(status), changeRoot, evidences, taskId);
+    reasons.push(...workerChainState.completionReasons);
     const reopenHistory = task_reopen_history(evidences, taskId);
     if (task.checked && reopenHistory.pass.length > 1) {
         reasons.push(reason("reopen_lifecycle_exhausted", `task ${taskId} has multiple task_reopen histories in this change; v1 allows at most one`, [taskId]));

package/dist/src/packet_render.js

@@ -5,13 +5,14 @@ import {} from "./cli_args.js";
 import { CLAIM_ADJUDICATION_DECISIONS, FINDING_ADJUDICATION_DECISIONS, fingerprint_obj, GuardError, MAIN_ADJUDICATION_REQUIRED_FIELDS, MAIN_ADJUDICATION_DECISIONS, REQUEST_CHANGES_ROUTES, REVIEW_EVIDENCE_REQUIRED_FIELDS, ROLE_EVIDENCE_FIELDS, SOURCE_GUIDANCE_REQUIRED_FIELDS, VERIFY_EVIDENCE_REQUIRED_FIELDS, allow, block, deepEqual, isObject, reason, renderList, runtime, safe_within, sha256_text, } from "./util.js";
 import { artifact_status_map, gate_route_phase, get_change_root, get_repo_root, normalize_gate, openspec_status, openspec_status_shape_reasons, } from "./openspec.js";
 import { build_finding_ledger, enumerate_review_targets, render_finding_ledger, REVIEW_TARGETS_BY_GATE, review_round_number, } from "./disclosure.js";
-import { evidence_schema_guard, check_apply_ready, check_archive_ready, check_review_complete, check_superspec_gate, check_task_complete, check_task_edit, check_task_reopen, apply_worker_chain_lifecycle_reasons, } from "./gates.js";
+import { evidence_schema_guard, check_apply_ready, check_archive_ready, check_review_complete, check_superspec_gate, check_task_complete, check_task_edit, check_task_reopen, } from "./gates.js";
 import { final_verification_evidences, index_evidence, live_pass, live_user_confirmations } from "./evidence.js";
 import { file_blob_sha, dirty_worktree_paths } from "./git.js";
 import { preset_upgrade_reasons, preset_upgrade_required_from_context } from "./archive.js";
 import { state_corrupt_reasons, state_stale_reasons } from "./state.js";
 import { parse_tasks, resolve_test_contract_command, splitList, test_contract_invariant_refs_by_test } from "./tasks.js";
 import { APPLY_CODE_REVIEW_REPORT_REQUIRED_FIELDS, APPLY_EXECUTOR_REPORT_REQUIRED_FIELDS, APPLY_TEST_RUNNER_REPORT_REQUIRED_FIELDS, APPLY_VERIFIER_REPORT_REQUIRED_FIELDS, apply_worker_implementation_fingerprint, apply_worker_executor_input_ref_digest, apply_worker_protected_path_refs, compute_apply_worker_freshness, fingerprint_digest, fingerprint_matches, pinned_artifact_ref_reasons as shared_pinned_artifact_ref_reasons, pre_edit_evidence_ref_reasons, read_pinned_artifact_json, worker_input_ref_digest, worker_test_run_reasons, } from "./apply_worker_chain.js";
+import { apply_worker_chain_lifecycle_state } from "./apply_worker_chain_lifecycle.js";
 function load_packet_context(change) {
     if (typeof runtime.load_context === "function") {
         const [status, repoRoot, changeRoot, evidences] = runtime.load_context(change);
@@ -688,91 +689,9 @@ function active_apply_worker_chain_id(ctx, taskId) {
     const active = active_apply_worker_chain(ctx, taskId).active;
     return active ? String(active.apply_worker_chain_id) : null;
 }
-function terminal_apply_worker_chain_valid(ctx, ev, taskId, chainId) {
-    const state = String(ev.chain_state ?? "");
-    if (state === "closed") {
-        return shared_pinned_artifact_ref_reasons(ctx.changeRoot, ev.executor_report_ref, "executor_report_ref", { kind: "worker_report", role: "executor", taskId, chainId }).length === 0
-            && shared_pinned_artifact_ref_reasons(ctx.changeRoot, ev.task_code_review_report_ref, "task_code_review_report_ref", { kind: "worker_report", role: "code-reviewer", taskId, chainId }).length === 0
-            && shared_pinned_artifact_ref_reasons(ctx.changeRoot, ev.verifier_report_ref, "verifier_report_ref", { kind: "worker_report", role: "verifier", taskId, chainId }).length === 0;
-    }
-    if (state === "abandoned") {
-        if ("restored_implementation_fingerprint" in ev && fingerprint_digest(ev.restored_implementation_fingerprint))
-            return true;
-        if ("serial_takeover_baseline_ref" in ev) {
-            return shared_pinned_artifact_ref_reasons(ctx.changeRoot, ev.serial_takeover_baseline_ref, "serial_takeover_baseline_ref", { kind: "status_report", role: "verifier", taskId, chainId }).length === 0
-                && Array.isArray(ev.successor_green_evidence_refs)
-                && ev.successor_green_evidence_refs.length > 0
-                && ev.successor_green_evidence_refs.every((item) => typeof item === "string" && item.length > 0);
-        }
-    }
-    return false;
-}
 function apply_worker_chain_packet_state(ctx, taskId) {
-    const chains = ctx.evidences
-        .filter((ev) => isObject(ev) && !ev._invalid && ev.status === "pass" && ev.gate === "task_complete" && ev.kind === "apply_worker_chain" && ev.task_id === taskId)
-        .filter((ev) => typeof ev.apply_worker_chain_id === "string" && ev.apply_worker_chain_id);
-    const blockers = [];
-    const activeByChain = new Map();
-    const terminalsByChain = new Map();
-    for (const ev of chains) {
-        const chainId = String(ev.apply_worker_chain_id ?? "");
-        if (String(ev.chain_state ?? "") === "active") {
-            const bucket = activeByChain.get(chainId) ?? [];
-            bucket.push(ev);
-            activeByChain.set(chainId, bucket);
-        }
-        if (String(ev.chain_state ?? "") === "closed" || String(ev.chain_state ?? "") === "abandoned") {
-            const bucket = terminalsByChain.get(chainId) ?? [];
-            bucket.push(ev);
-            terminalsByChain.set(chainId, bucket);
-        }
-    }
-    const validTerminalChainIds = new Set(chains
-        .filter((ev) => String(ev.chain_state ?? "") === "closed" || String(ev.chain_state ?? "") === "abandoned")
-        .filter((ev) => terminal_apply_worker_chain_valid(ctx, ev, taskId, String(ev.apply_worker_chain_id ?? "")))
-        .map((ev) => String(ev.apply_worker_chain_id ?? ""))
-        .filter(Boolean));
-    const duplicateActives = [...activeByChain.entries()]
-        .filter(([chainId]) => !validTerminalChainIds.has(chainId))
-        .map(([, items]) => items)
-        .filter((items) => items.length > 1)
-        .flatMap((items) => items.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")))
-        .filter(Boolean)
-        .sort();
-    const activeCandidates = [...activeByChain.entries()]
-        .filter(([chainId]) => !validTerminalChainIds.has(chainId))
-        .map(([, items]) => items[0])
-        .filter(Boolean);
-    blockers.push(...apply_worker_chain_lifecycle_reasons(ctx.repoRoot, ctx.changeRoot, ctx.evidences, taskId).filter((item) => (item.code === "apply_worker_chain_active_conflict"
-        || item.code === "apply_worker_chain_terminal_conflict"
-        || item.code === "apply_worker_chain_terminal_invalid"
-        || item.code === "apply_worker_chain_missing_active")));
-    const parallelActives = activeCandidates.length > 1
-        ? activeCandidates.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")).filter(Boolean).sort()
-        : [];
-    const activeConflicts = [...new Set([...duplicateActives, ...parallelActives])].sort();
-    if (activeConflicts.length > 0) {
-        blockers.push(reason("apply_worker_chain_active_conflict", `task ${taskId} has conflicting active apply worker chain markers: ${renderList(activeConflicts)}`, activeConflicts));
-    }
-    const duplicateTerminals = [...terminalsByChain.values()]
-        .filter((items) => items.length > 1)
-        .flatMap((items) => items.map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? "")))
-        .filter(Boolean)
-        .sort();
-    if (duplicateTerminals.length > 0) {
-        blockers.push(reason("apply_worker_chain_terminal_conflict", `task ${taskId} has duplicate apply worker chain terminal markers: ${renderList(duplicateTerminals)}`, duplicateTerminals));
-    }
-    const invalidTerminals = chains
-        .filter((ev) => String(ev.chain_state ?? "") === "closed" || String(ev.chain_state ?? "") === "abandoned")
-        .filter((ev) => !terminal_apply_worker_chain_valid(ctx, ev, taskId, String(ev.apply_worker_chain_id ?? "")))
-        .map((ev) => String(ev.evidence_id ?? ev.apply_worker_chain_id ?? ""))
-        .filter(Boolean)
-        .sort();
-    if (invalidTerminals.length > 0) {
-        blockers.push(reason("apply_worker_chain_terminal_invalid", `task ${taskId} has invalid apply worker chain terminal markers: ${renderList(invalidTerminals)}`, invalidTerminals));
-    }
-    const active = activeCandidates[0] ?? null;
-    return { active: blockers.length === 0 ? active : null, blockers };
+    const state = apply_worker_chain_lifecycle_state(ctx.repoRoot, ctx.changeRoot, ctx.evidences, taskId);
+    return { active: state.active, blockers: state.packetBlockers };
 }
 function active_apply_worker_chain(ctx, taskId) {
     return apply_worker_chain_packet_state(ctx, taskId);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@peterxiaoyang/superspec",
-  "version": "0.1.6",
+  "version": "0.1.7",
   "description": "SuperSpec workflow package: guard runtime, generic workflow templates, and Codex adapter payload.",
   "repository": {
     "type": "git",