audit-tools 0.39.9 → 0.39.11

package/README.md

@@ -201,7 +201,7 @@ Add `--root <repo>` when running from outside the target repository.
 
 ## Develop
 
-TypeScript, Node 20+. From the repo root:
+TypeScript, Node 22+. From the repo root:
 
 ```bash
 npm install     # always run first in a fresh clone/worktree

package/dist/audit/cli/steps.d.ts

@@ -130,12 +130,12 @@ export declare const StepArtifactSchema: z.ZodObject<{
     }>>;
 }, "strict", z.ZodTypeAny, {
     status: "blocked" | "ready" | "complete";
-    run_id: string | null;
     contract_version: "audit-code-step/v1alpha1";
+    run_id: string | null;
     repo_root: string;
     artifacts_dir: string;
     prompt_path: string;
-    step_kind: "blocked" | "design_review" | "charter_clarification" | "analyzer_consent" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "charter_extraction" | "charter_delta" | "dispatch_review" | "design_review_parallel" | "design_review_contract" | "design_review_conceptual" | "confirm_intent" | "intent_equivalence" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
+    step_kind: "blocked" | "analyzer_consent" | "design_review" | "charter_clarification" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "charter_extraction" | "charter_delta" | "dispatch_review" | "design_review_parallel" | "design_review_contract" | "design_review_conceptual" | "confirm_intent" | "intent_equivalence" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
     allowed_commands: string[];
     stop_condition: string;
     artifact_paths: Record<string, string | null>;
@@ -158,12 +158,12 @@ export declare const StepArtifactSchema: z.ZodObject<{
     allowed_mcp_tools?: string[] | undefined;
 }, {
     status: "blocked" | "ready" | "complete";
-    run_id: string | null;
     contract_version: "audit-code-step/v1alpha1";
+    run_id: string | null;
     repo_root: string;
     artifacts_dir: string;
     prompt_path: string;
-    step_kind: "blocked" | "design_review" | "charter_clarification" | "analyzer_consent" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "charter_extraction" | "charter_delta" | "dispatch_review" | "design_review_parallel" | "design_review_contract" | "design_review_conceptual" | "confirm_intent" | "intent_equivalence" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
+    step_kind: "blocked" | "analyzer_consent" | "design_review" | "charter_clarification" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "charter_extraction" | "charter_delta" | "dispatch_review" | "design_review_parallel" | "design_review_contract" | "design_review_conceptual" | "confirm_intent" | "intent_equivalence" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
     allowed_commands: string[];
     stop_condition: string;
     artifact_paths: Record<string, string | null>;

package/dist/audit/contracts/workerSchemas.d.ts

@@ -178,7 +178,7 @@ export declare const WorkerFindingSchema: z.ZodObject<{
         hash_at_plan_time?: string | undefined;
     }[];
     evidence: string[];
-    lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+    lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
     impact?: string | undefined;
     likelihood?: string | undefined;
     reproduction?: string[] | undefined;
@@ -232,7 +232,7 @@ export declare const WorkerFindingSchema: z.ZodObject<{
         hash_at_plan_time?: string | undefined;
     }[];
     evidence: string[];
-    lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+    lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
     impact?: string | undefined;
     likelihood?: string | undefined;
     reproduction?: string[] | undefined;
@@ -312,7 +312,7 @@ export declare const WorkerAuditTaskSchema: z.ZodObject<{
     tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "strict", z.ZodTypeAny, {
     unit_id: string;
-    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
     rationale: string;
     task_id: string;
     pass_id: string;
@@ -333,7 +333,7 @@ export declare const WorkerAuditTaskSchema: z.ZodObject<{
     completion_reason?: string | undefined;
 }, {
     unit_id: string;
-    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
     rationale: string;
     task_id: string;
     pass_id: string;
@@ -543,7 +543,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -597,7 +597,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -685,7 +685,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
             tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "strict", z.ZodTypeAny, {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -706,7 +706,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
             completion_reason?: string | undefined;
         }, {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -734,7 +734,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -762,7 +762,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -786,7 +786,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
     submitted_at: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
     unit_id: string;
-    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -803,7 +803,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -849,8 +849,8 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
         total_lines: number;
     }[];
     notes?: string[] | undefined;
-    run_id?: string | undefined;
     attempt?: number | undefined;
+    run_id?: string | undefined;
     verification?: {
         verified: boolean;
         needs_followup: boolean;
@@ -859,7 +859,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -895,7 +895,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
     } | undefined;
 }, {
     unit_id: string;
-    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -912,7 +912,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -958,8 +958,8 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
         total_lines: number;
     }[];
     notes?: string[] | undefined;
-    run_id?: string | undefined;
     attempt?: number | undefined;
+    run_id?: string | undefined;
     verification?: {
         verified: boolean;
         needs_followup: boolean;
@@ -968,7 +968,7 @@ export declare const WorkerAuditResultSchema: z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -1189,7 +1189,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -1243,7 +1243,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -1331,7 +1331,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
             tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "strict", z.ZodTypeAny, {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -1352,7 +1352,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
             completion_reason?: string | undefined;
         }, {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -1380,7 +1380,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -1408,7 +1408,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -1432,7 +1432,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
     submitted_at: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
     unit_id: string;
-    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -1449,7 +1449,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -1495,8 +1495,8 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
         total_lines: number;
     }[];
     notes?: string[] | undefined;
-    run_id?: string | undefined;
     attempt?: number | undefined;
+    run_id?: string | undefined;
     verification?: {
         verified: boolean;
         needs_followup: boolean;
@@ -1505,7 +1505,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;
@@ -1541,7 +1541,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
     } | undefined;
 }, {
     unit_id: string;
-    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -1558,7 +1558,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
             hash_at_plan_time?: string | undefined;
         }[];
         evidence: string[];
-        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
+        lens?: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         reproduction?: string[] | undefined;
@@ -1604,8 +1604,8 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
         total_lines: number;
     }[];
     notes?: string[] | undefined;
-    run_id?: string | undefined;
     attempt?: number | undefined;
+    run_id?: string | undefined;
     verification?: {
         verified: boolean;
         needs_followup: boolean;
@@ -1614,7 +1614,7 @@ export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
         confidence_concerns?: string[] | undefined;
         followup_tasks?: {
             unit_id: string;
-            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
             rationale: string;
             task_id: string;
             pass_id: string;

package/dist/audit/types/reviewPlanning.d.ts

@@ -125,9 +125,9 @@ export declare const ReviewPacketSchema: z.ZodObject<{
      */
     routing_risk: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
-    lenses: string[];
     unit_ids: string[];
     rationale: string;
+    lenses: string[];
     priority: "high" | "low" | "medium";
     packet_id: string;
     task_ids: string[];
@@ -154,9 +154,9 @@ export declare const ReviewPacketSchema: z.ZodObject<{
     boundary_files?: string[] | undefined;
     routing_risk?: number | undefined;
 }, {
-    lenses: string[];
     unit_ids: string[];
     rationale: string;
+    lenses: string[];
     priority: "high" | "low" | "medium";
     packet_id: string;
     task_ids: string[];

package/dist/audit/types.d.ts

@@ -1018,8 +1018,8 @@ export declare const AuditResultSchema: z.ZodObject<{
         total_lines: number;
     }[];
     notes?: string[] | undefined;
-    run_id?: string | undefined;
     attempt?: number | undefined;
+    run_id?: string | undefined;
     verification?: {
         verified: boolean;
         needs_followup: boolean;
@@ -1127,8 +1127,8 @@ export declare const AuditResultSchema: z.ZodObject<{
         total_lines: number;
     }[];
     notes?: string[] | undefined;
-    run_id?: string | undefined;
     attempt?: number | undefined;
+    run_id?: string | undefined;
     verification?: {
         verified: boolean;
         needs_followup: boolean;

package/dist/remediate/intake.d.ts

@@ -69,8 +69,8 @@ export declare const IntakeSummarySchema: z.ZodObject<{
         path: string;
         reason?: string | undefined;
     }[];
-    schema_version: "remediate-code-intake-summary/v1alpha1";
     ready: boolean;
+    schema_version: "remediate-code-intake-summary/v1alpha1";
     constraints: string[];
     source_type: "conversation" | "structured_audit" | "mixed" | "documents";
     non_goals: string[];
@@ -86,8 +86,8 @@ export declare const IntakeSummarySchema: z.ZodObject<{
         path: string;
         reason?: string | undefined;
     }[];
-    schema_version: "remediate-code-intake-summary/v1alpha1";
     ready: boolean;
+    schema_version: "remediate-code-intake-summary/v1alpha1";
     constraints: string[];
     source_type: "conversation" | "structured_audit" | "mixed" | "documents";
     non_goals: string[];

package/dist/remediate/steps/contractPipeline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipeline.ts"],"names":[],"mappings":"AAwBA,OAAO,EAOL,KAAK,eAAe,EACpB,KAAK,WAAW,EAGhB,KAAK,aAAa,EAElB,KAAK,SAAS,EACd,KAAK,aAAa,EAGnB,MAAM,oBAAoB,CAAC;AAkF5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAIzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AA6ClD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,8EAA8E;AAC9E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AAuErD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,oEAAoE,CAAC;IACrF,qFAAqF;IACrF,QAAQ,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IACzE,qDAAqD;IACrD,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAMD,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAWhC;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAGf;AAiFD,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,KAAK,EAAE,OAAO,GAAG,SAAS,EAC1B,QAAQ,GAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAU,GAC7D,OAAO,CAAC,cAAc,CAAC,CAoCzB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,GAC/E,MAAM,CAiBR;AAED,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,+EAA+E;IAC/E,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAC;QAAC,MAAM,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CA0DlC;AAID,MAAM,WAAW,2BAA2B;IAC1C,mEAAmE;IACnE,4BAA4B,EAAE,OAAO,CAAC;IACtC,6EAA6E;IAC7E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GAAG,SAAS,GACpC,2BAA2B,CAa7B;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAU5E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,aAAa,GAAG,IAAI,CAAC;CACtC;AAID,MAAM,WAAW,SAAS;IACxB,cAAc,EAAE,uDAAuD,CAAC;IACxE,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,gBAAgB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,uFAAuF;IACvF,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,EACzB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CA4Gf;AAID;;;;GAIG;AAGH,KAAK,oBAAoB,GAAG,4BAA4B,GAAG,mBAAmB,GAAG,4BAA4B,CAAC;AAE9G;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAM/B,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,GAAG,SAAS,GAC1D,oBAAoB,CAYtB;AAkJD,KAAK,YAAY,GACb;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAapE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA4CtF;AAID,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CA6ChC;AAID,MAAM,WAAW,6BAA6B;IAC5C,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wCAAwC,CAC5D,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,CAsCxC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC;IAAE,KAAK,EAAE,uBAAuB,GAAG,qBAAqB,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAgDlG;AAoFD;;;GAGG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAa1C;AAiBD,4EAA4E;AAC5E,QAAA,MAAM,sBAAsB;;CAElB,CAAC;AAEX,KAAK,mBAAmB,GAAG,MAAM,OAAO,sBAAsB,CAAC;AAE/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,mBAAmB,CAEjF;AAmOD;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAo0CjC;AAkED;;;GAGG;AACH,wBAAsB,uCAAuC,CAC3D,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CA2Nf;AAgBD,yGAAyG;AACzG,eAAO,MAAM,qBAAqB,mBAAmB,CAAC;AAEtD,mEAAmE;AACnE,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,qBAAqB,CAAC;IACrC,yBAAyB,EAAE,MAAM,EAAE,CAAC;CACrC;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,MAAM,GACb,iBAAiB,CAQnB"}
+{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipeline.ts"],"names":[],"mappings":"AAwBA,OAAO,EAOL,KAAK,eAAe,EACpB,KAAK,WAAW,EAGhB,KAAK,aAAa,EAElB,KAAK,SAAS,EACd,KAAK,aAAa,EAGnB,MAAM,oBAAoB,CAAC;AAkF5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAIzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AA6ClD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,8EAA8E;AAC9E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AAuErD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,oEAAoE,CAAC;IACrF,qFAAqF;IACrF,QAAQ,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IACzE,qDAAqD;IACrD,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAMD,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAWhC;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAGf;AAiFD,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,KAAK,EAAE,OAAO,GAAG,SAAS,EAC1B,QAAQ,GAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAU,GAC7D,OAAO,CAAC,cAAc,CAAC,CAoCzB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,GAC/E,MAAM,CAiBR;AAED,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,+EAA+E;IAC/E,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAC;QAAC,MAAM,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CA0DlC;AAID,MAAM,WAAW,2BAA2B;IAC1C,mEAAmE;IACnE,4BAA4B,EAAE,OAAO,CAAC;IACtC,6EAA6E;IAC7E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GAAG,SAAS,GACpC,2BAA2B,CAa7B;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAU5E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,aAAa,GAAG,IAAI,CAAC;CACtC;AAID,MAAM,WAAW,SAAS;IACxB,cAAc,EAAE,uDAAuD,CAAC;IACxE,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,gBAAgB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,uFAAuF;IACvF,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,EACzB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CA4Gf;AAID;;;;GAIG;AAGH,KAAK,oBAAoB,GAAG,4BAA4B,GAAG,mBAAmB,GAAG,4BAA4B,CAAC;AAE9G;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAM/B,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,GAAG,SAAS,GAC1D,oBAAoB,CAYtB;AAkJD,KAAK,YAAY,GACb;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAapE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA4CtF;AAID,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAkEhC;AAID,MAAM,WAAW,6BAA6B;IAC5C,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wCAAwC,CAC5D,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,CAsCxC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC;IAAE,KAAK,EAAE,uBAAuB,GAAG,qBAAqB,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAgDlG;AAoFD;;;GAGG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAa1C;AAiBD,4EAA4E;AAC5E,QAAA,MAAM,sBAAsB;;CAElB,CAAC;AAEX,KAAK,mBAAmB,GAAG,MAAM,OAAO,sBAAsB,CAAC;AAE/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,mBAAmB,CAEjF;AAyRD;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAo0CjC;AAkED;;;GAGG;AACH,wBAAsB,uCAAuC,CAC3D,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAoMf;AAgBD,yGAAyG;AACzG,eAAO,MAAM,qBAAqB,mBAAmB,CAAC;AAEtD,mEAAmE;AACnE,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,qBAAqB,CAAC;IACrC,yBAAyB,EAAE,MAAM,EAAE,CAAC;CACrC;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,MAAM,GACb,iBAAiB,CAQnB"}

package/dist/remediate/steps/contractPipeline.js

@@ -675,6 +675,13 @@ export async function validateImplementationDagTraceability(artifactsDir) {
     if (nodes.length === 0) {
         violations.push("implementation_dag has no nodes; nothing would be implemented.");
     }
+    // A node that resolves to no write scope is undispatchable: no worktree seed, no
+    // write boundary, no paths to inline for a single-shot worker. It used to reach
+    // the dispatch boundary anyway and fail there with "there is nothing a worker
+    // could be scoped to" — cascade-blocking its dependents, three steps from the
+    // cause. Refusing HERE puts it in front of the regeneration loop this validator
+    // already feeds, and names the slug that failed to join.
+    const { resolve: resolveWriteScope, availableSlugs } = await buildNodeWriteScopeResolver(artifactsDir);
     for (const node of nodes) {
         const tracedObligations = [
             ...(node.satisfies_obligations ?? []),
@@ -684,6 +691,17 @@ export async function validateImplementationDagTraceability(artifactsDir) {
         if (tracedObligations.length === 0 && tracedCounterexamples.length === 0) {
             violations.push(`Node "${node.id}" traces to no obligation from the obligation ledger and no judge-accepted counterexample.`);
         }
+        if (resolveWriteScope(node).length === 0) {
+            const carried = [
+                ...(node.satisfies_obligations ?? []),
+                ...(node.verification_obligation_ids ?? []),
+            ];
+            violations.push(`Node "${node.id}" resolves to an EMPTY write scope, so nothing could be dispatched for it. ` +
+                `It declares no output_files/files_likely_touched, and none of its obligation ids ` +
+                `(${carried.join(", ") || "none"}) begins with "OBL-<module>-" for any module in ` +
+                `module_decomposition (${availableSlugs.join(", ") || "no modules declared"}). ` +
+                `Declare the node's output_files, or name its obligations after a decomposed module.`);
+        }
     }
     return { ok: violations.length === 0, violations };
 }
@@ -909,6 +927,51 @@ async function readDecomposedModules(artifactsDir) {
     }
     return result;
 }
+/**
+ * Single source for "which files may this DAG node write". Declared scope wins
+ * (`output_files`, else `files_likely_touched`); a node that declared neither
+ * inherits the `file_scope` of the module(s) its obligations belong to, resolved
+ * by longest-`OBL-<slug>-` prefix so a short slug never mis-claims a longer
+ * module's files.
+ *
+ * ⚠ Shared by the PROMOTER (which derives the scope) and the VALIDATOR (which
+ * refuses when it resolves to nothing) on purpose. Two copies of this resolution
+ * would drift, and the drift is invisible: the validator would pass a node the
+ * promoter then writes scope-less.
+ *
+ * The join it performs is between two INDEPENDENTLY AUTHORED name spaces — the
+ * obligation id's slug and the decomposition's module names — which is exactly
+ * where it fails. Observed 2026-08-09: nodes carrying `OBL-attribution-capture-…`
+ * and `OBL-verdict-capture-…` matched no module, because the decomposition had
+ * named them `dispatch-attribution-capture` and `verdict-capture-audit` /
+ * `verdict-capture-remediate`. Their siblings matched and dispatched; these two
+ * resolved to nothing and died later at the dispatch boundary with "there is
+ * nothing a worker could be scoped to", three steps from the cause.
+ */
+async function buildNodeWriteScopeResolver(artifactsDir) {
+    const decomposedModules = await readDecomposedModules(artifactsDir);
+    const moduleScopesBySlug = decomposedModules
+        .map((m) => ({ slug: moduleSlug(m.name), files: m.file_scope }))
+        .sort((a, b) => b.slug.length - a.slug.length);
+    const resolve = (node) => {
+        const declared = [...new Set(node.output_files ?? node.files_likely_touched ?? [])];
+        if (declared.length > 0)
+            return declared;
+        const obligationIds = [
+            ...(node.satisfies_obligations ?? []),
+            ...(node.verification_obligation_ids ?? []),
+        ];
+        const inherited = new Set();
+        for (const id of obligationIds) {
+            const owner = moduleScopesBySlug.find((m) => id.startsWith(`OBL-${m.slug}-`));
+            if (owner)
+                for (const f of owner.files)
+                    inherited.add(f);
+        }
+        return [...inherited];
+    };
+    return { resolve, availableSlugs: moduleScopesBySlug.map((m) => m.slug) };
+}
 /** The goal_id carried by module_decomposition (authoritative for the merge). */
 async function readDecompositionGoalId(artifactsDir) {
     const decomposition = envelopePayload(await readContractArtifact(artifactsDir, "module_decomposition"));
@@ -2257,30 +2320,9 @@ export async function promoteImplementationDagToExtractedPlan(artifactsDir) {
     // node's obligations are `OBL-<moduleSlug>-…`, and every module declares its
     // `file_scope`, so a node that declared no files inherits the file_scope of the
     // module(s) its obligations belong to. (Declared files still win when present.)
-    const decomposedModules = await readDecomposedModules(artifactsDir);
-    // Sorted longest-slug-first so an obligation id resolves to its OWNING module by
-    // longest-`OBL-<slug>-`-prefix match — the same resolution phaseCut uses, so a
-    // shorter slug that prefixes another module's slug never mis-claims its files.
-    const moduleScopesBySlug = decomposedModules
-        .map((m) => ({ slug: moduleSlug(m.name), files: m.file_scope }))
-        .sort((a, b) => b.slug.length - a.slug.length);
-    const deriveNodeFiles = (node) => {
-        const declared = [...new Set(node.output_files ?? node.files_likely_touched ?? [])];
-        if (declared.length > 0)
-            return declared;
-        const obligationIds = [
-            ...(node.satisfies_obligations ?? []),
-            ...(node.verification_obligation_ids ?? []),
-        ];
-        const inherited = new Set();
-        for (const id of obligationIds) {
-            const owner = moduleScopesBySlug.find((m) => id.startsWith(`OBL-${m.slug}-`));
-            if (owner)
-                for (const f of owner.files)
-                    inherited.add(f);
-        }
-        return [...inherited];
-    };
+    // Single-sourced with the DAG validator, which refuses a node this resolves to
+    // nothing for — see buildNodeWriteScopeResolver.
+    const { resolve: deriveNodeFiles } = await buildNodeWriteScopeResolver(artifactsDir);
     const nodes = Array.isArray(dag?.nodes) ? dag.nodes : [];
     const findings = nodes.map((node, index) => {
         const id = ensureNodeId(node.id, index);