pulseed 0.6.4 → 0.6.6

package/dist/orchestrator/execution/task/task-generation-schema.d.ts

@@ -0,0 +1,210 @@
+import { z } from "zod";
+export declare const LLMGeneratedCriterionSchema: z.ZodObject<{
+    description: z.ZodString;
+    verification_method: z.ZodEffects<z.ZodString, string, string>;
+    is_blocking: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    description: string;
+    verification_method: string;
+    is_blocking: boolean;
+}, {
+    description: string;
+    verification_method: string;
+    is_blocking?: boolean | undefined;
+}>;
+export declare const LLMGeneratedTaskSchema: z.ZodObject<{
+    work_description: z.ZodString;
+    rationale: z.ZodString;
+    approach: z.ZodString;
+    success_criteria: z.ZodArray<z.ZodObject<{
+        description: z.ZodString;
+        verification_method: z.ZodEffects<z.ZodString, string, string>;
+        is_blocking: z.ZodDefault<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        description: string;
+        verification_method: string;
+        is_blocking: boolean;
+    }, {
+        description: string;
+        verification_method: string;
+        is_blocking?: boolean | undefined;
+    }>, "many">;
+    scope_boundary: z.ZodObject<{
+        in_scope: z.ZodArray<z.ZodString, "many">;
+        out_of_scope: z.ZodArray<z.ZodString, "many">;
+        blast_radius: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        in_scope: string[];
+        out_of_scope: string[];
+        blast_radius: string;
+    }, {
+        in_scope: string[];
+        out_of_scope: string[];
+        blast_radius: string;
+    }>;
+    constraints: z.ZodArray<z.ZodString, "many">;
+    risk_profile: z.ZodDefault<z.ZodObject<{
+        external_action: z.ZodDefault<z.ZodObject<{
+            required: z.ZodDefault<z.ZodBoolean>;
+            approval_required: z.ZodDefault<z.ZodBoolean>;
+            action_kind: z.ZodDefault<z.ZodEnum<["none", "submission", "publication", "notification", "deployment", "external_mutation", "unknown"]>>;
+            rationale: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        }, "strip", z.ZodTypeAny, {
+            rationale: string | null;
+            approval_required: boolean;
+            required: boolean;
+            action_kind: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation";
+        }, {
+            rationale?: string | null | undefined;
+            approval_required?: boolean | undefined;
+            required?: boolean | undefined;
+            action_kind?: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation" | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        external_action: {
+            rationale: string | null;
+            approval_required: boolean;
+            required: boolean;
+            action_kind: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation";
+        };
+    }, {
+        external_action?: {
+            rationale?: string | null | undefined;
+            approval_required?: boolean | undefined;
+            required?: boolean | undefined;
+            action_kind?: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation" | undefined;
+        } | undefined;
+    }>>;
+    artifact_contract: z.ZodDefault<z.ZodObject<{
+        required: z.ZodDefault<z.ZodBoolean>;
+        required_artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["metrics_json", "submission_csv"]>;
+            path: z.ZodString;
+            required_fields: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            field_types: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<["number", "string", "array", "object", "boolean"]>>>;
+            fresh_after_task_start: z.ZodDefault<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            kind: "metrics_json" | "submission_csv";
+            required_fields: string[];
+            fresh_after_task_start: boolean;
+            field_types?: Record<string, "string" | "number" | "boolean" | "object" | "array"> | undefined;
+        }, {
+            path: string;
+            kind: "metrics_json" | "submission_csv";
+            required_fields?: string[] | undefined;
+            field_types?: Record<string, "string" | "number" | "boolean" | "object" | "array"> | undefined;
+            fresh_after_task_start?: boolean | undefined;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        required: boolean;
+        required_artifacts: {
+            path: string;
+            kind: "metrics_json" | "submission_csv";
+            required_fields: string[];
+            fresh_after_task_start: boolean;
+            field_types?: Record<string, "string" | "number" | "boolean" | "object" | "array"> | undefined;
+        }[];
+    }, {
+        required?: boolean | undefined;
+        required_artifacts?: {
+            path: string;
+            kind: "metrics_json" | "submission_csv";
+            required_fields?: string[] | undefined;
+            field_types?: Record<string, "string" | "number" | "boolean" | "object" | "array"> | undefined;
+            fresh_after_task_start?: boolean | undefined;
+        }[] | undefined;
+    }>>;
+    reversibility: z.ZodDefault<z.ZodEnum<["reversible", "irreversible", "unknown"]>>;
+    intended_direction: z.ZodOptional<z.ZodEnum<["increase", "decrease", "neutral"]>>;
+    estimated_duration: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        value: z.ZodNumber;
+        unit: z.ZodEnum<["minutes", "hours", "days", "weeks"]>;
+    }, "strip", z.ZodTypeAny, {
+        value: number;
+        unit: "minutes" | "hours" | "days" | "weeks";
+    }, {
+        value: number;
+        unit: "minutes" | "hours" | "days" | "weeks";
+    }>>>;
+}, "strip", z.ZodTypeAny, {
+    rationale: string;
+    constraints: string[];
+    work_description: string;
+    approach: string;
+    success_criteria: {
+        description: string;
+        verification_method: string;
+        is_blocking: boolean;
+    }[];
+    scope_boundary: {
+        in_scope: string[];
+        out_of_scope: string[];
+        blast_radius: string;
+    };
+    risk_profile: {
+        external_action: {
+            rationale: string | null;
+            approval_required: boolean;
+            required: boolean;
+            action_kind: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation";
+        };
+    };
+    artifact_contract: {
+        required: boolean;
+        required_artifacts: {
+            path: string;
+            kind: "metrics_json" | "submission_csv";
+            required_fields: string[];
+            fresh_after_task_start: boolean;
+            field_types?: Record<string, "string" | "number" | "boolean" | "object" | "array"> | undefined;
+        }[];
+    };
+    estimated_duration: {
+        value: number;
+        unit: "minutes" | "hours" | "days" | "weeks";
+    } | null;
+    reversibility: "unknown" | "reversible" | "irreversible";
+    intended_direction?: "increase" | "decrease" | "neutral" | undefined;
+}, {
+    rationale: string;
+    constraints: string[];
+    work_description: string;
+    approach: string;
+    success_criteria: {
+        description: string;
+        verification_method: string;
+        is_blocking?: boolean | undefined;
+    }[];
+    scope_boundary: {
+        in_scope: string[];
+        out_of_scope: string[];
+        blast_radius: string;
+    };
+    risk_profile?: {
+        external_action?: {
+            rationale?: string | null | undefined;
+            approval_required?: boolean | undefined;
+            required?: boolean | undefined;
+            action_kind?: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation" | undefined;
+        } | undefined;
+    } | undefined;
+    artifact_contract?: {
+        required?: boolean | undefined;
+        required_artifacts?: {
+            path: string;
+            kind: "metrics_json" | "submission_csv";
+            required_fields?: string[] | undefined;
+            field_types?: Record<string, "string" | "number" | "boolean" | "object" | "array"> | undefined;
+            fresh_after_task_start?: boolean | undefined;
+        }[] | undefined;
+    } | undefined;
+    estimated_duration?: {
+        value: number;
+        unit: "minutes" | "hours" | "days" | "weeks";
+    } | null | undefined;
+    reversibility?: "unknown" | "reversible" | "irreversible" | undefined;
+    intended_direction?: "increase" | "decrease" | "neutral" | undefined;
+}>;
+export type LLMGeneratedTask = z.infer<typeof LLMGeneratedTaskSchema>;
+//# sourceMappingURL=task-generation-schema.d.ts.map

package/dist/orchestrator/execution/task/task-generation-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-generation-schema.d.ts","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-generation-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAWxB,eAAO,MAAM,2BAA2B;;;;;;;;;;;;EAItC,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6BjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC"}

package/dist/orchestrator/execution/task/task-generation-schema.js

@@ -0,0 +1,42 @@
+import { z } from "zod";
+import { TaskArtifactContractSchema } from "../../../base/types/task.js";
+const GeneratedVerificationMethodSchema = z.string()
+    .trim()
+    .min(1)
+    .refine((value) => !/[\r\n]/.test(value) && !value.includes("<<"), "verification_method must be a single-line command and must not use heredocs or multiline inline scripts");
+export const LLMGeneratedCriterionSchema = z.object({
+    description: z.string(),
+    verification_method: GeneratedVerificationMethodSchema,
+    is_blocking: z.boolean().default(true),
+});
+export const LLMGeneratedTaskSchema = z.object({
+    work_description: z.string(),
+    rationale: z.string(),
+    approach: z.string(),
+    success_criteria: z.array(LLMGeneratedCriterionSchema),
+    scope_boundary: z.object({
+        in_scope: z.array(z.string()),
+        out_of_scope: z.array(z.string()),
+        blast_radius: z.string(),
+    }),
+    constraints: z.array(z.string()),
+    risk_profile: z.object({
+        external_action: z.object({
+            required: z.boolean().default(true),
+            approval_required: z.boolean().default(true),
+            action_kind: z.enum(["none", "submission", "publication", "notification", "deployment", "external_mutation", "unknown"]).default("unknown"),
+            rationale: z.string().nullable().default(null),
+        }).default({}),
+    }).default({}),
+    artifact_contract: TaskArtifactContractSchema.default({}),
+    reversibility: z.enum(["reversible", "irreversible", "unknown"]).default("reversible"),
+    intended_direction: z.enum(["increase", "decrease", "neutral"]).optional(),
+    estimated_duration: z
+        .object({
+        value: z.number(),
+        unit: z.enum(["minutes", "hours", "days", "weeks"]),
+    })
+        .nullable()
+        .default(null),
+});
+//# sourceMappingURL=task-generation-schema.js.map

package/dist/orchestrator/execution/task/task-generation-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-generation-schema.js","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-generation-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAEzE,MAAM,iCAAiC,GAAG,CAAC,CAAC,MAAM,EAAE;KACjD,IAAI,EAAE;KACN,GAAG,CAAC,CAAC,CAAC;KACN,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzD,yGAAyG,CAC1G,CAAC;AAEJ,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,mBAAmB,EAAE,iCAAiC;IACtD,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;CACvC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC;IACtD,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC;QACvB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACjC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;KACzB,CAAC;IACF,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC;QACrB,eAAe,EAAE,CAAC,CAAC,MAAM,CAAC;YACxB,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;YACnC,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;YAC5C,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,EAAE,mBAAmB,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3I,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;SAC/C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;KACf,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACd,iBAAiB,EAAE,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;IACzD,aAAa,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;IACtF,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1E,kBAAkB,EAAE,CAAC;SAClB,MAAM,CAAC;QACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QACjB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;KACpD,CAAC;SACD,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;CACjB,CAAC,CAAC"}

package/dist/orchestrator/execution/task/task-generation-workspace-contract.d.ts

@@ -0,0 +1,11 @@
+import type { Logger } from "../../../runtime/logger.js";
+import type { Goal } from "../../goal/types/goal.js";
+import type { LLMGeneratedTask } from "./task-generation-schema.js";
+export declare function enforceWorkspaceBoundArtifactTaskContract(input: {
+    generated: LLMGeneratedTask;
+    goal: Goal | null;
+    repoRoot?: string;
+    artifactContractRequired: boolean;
+    logger?: Logger;
+}): Promise<LLMGeneratedTask>;
+//# sourceMappingURL=task-generation-workspace-contract.d.ts.map

package/dist/orchestrator/execution/task/task-generation-workspace-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-generation-workspace-contract.d.ts","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-generation-workspace-contract.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAMzD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAkIpE,wBAAsB,yCAAyC,CAAC,KAAK,EAAE;IACrE,SAAS,EAAE,gBAAgB,CAAC;IAC5B,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wBAAwB,EAAE,OAAO,CAAC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiD5B"}

package/dist/orchestrator/execution/task/task-generation-workspace-contract.js

@@ -0,0 +1,149 @@
+import { access } from "node:fs/promises";
+import * as path from "node:path";
+import { extractWorkspacePathConstraint, formatWorkspacePathConstraint, resolveWorkspacePath, } from "../../../base/utils/workspace-path.js";
+const BROAD_REPO_VERIFICATION_COMMANDS = new Set([
+    "npm test",
+    "npm run test",
+    "npm run build",
+    "pnpm test",
+    "pnpm run test",
+    "pnpm run build",
+    "yarn test",
+    "yarn build",
+    "npx vitest run",
+]);
+const NODE_PACKAGE_MANIFEST = "package.json";
+const WORKSPACE_LOCAL_CHECK_CONTRACT_COMMAND_RE = /^(?:python3?|\.venv\/bin\/python|node)\s+([^\s]+)\s+--check-contract(?:\s|$)/;
+function normalizeShellCommand(command) {
+    return command.trim().replace(/\s+/g, " ");
+}
+function isBroadRepoVerificationCommand(command) {
+    return BROAD_REPO_VERIFICATION_COMMANDS.has(normalizeShellCommand(command));
+}
+async function workspaceHasNodePackageManifest(workspacePath) {
+    return access(path.join(workspacePath, NODE_PACKAGE_MANIFEST))
+        .then(() => true)
+        .catch(() => false);
+}
+async function fileExists(filePath) {
+    return access(filePath)
+        .then(() => true)
+        .catch(() => false);
+}
+function isInsideWorkspace(workspacePath, candidatePath) {
+    const relative = path.relative(workspacePath, candidatePath);
+    return relative === "" || (!relative.startsWith("..") && !path.isAbsolute(relative));
+}
+function getWorkspaceLocalCheckContractScriptPath(command) {
+    const match = normalizeShellCommand(command).match(WORKSPACE_LOCAL_CHECK_CONTRACT_COMMAND_RE);
+    return match?.[1] ?? null;
+}
+function usesCheckContractFlag(command) {
+    return /(?:^|\s)--check-contract(?:\s|$)/.test(normalizeShellCommand(command));
+}
+function normalizeWorkspaceRelativePathToken(value, workspacePath) {
+    const trimmed = value.trim().replace(/^`(.+)`$/, "$1");
+    const relativePath = path.isAbsolute(trimmed)
+        ? path.relative(workspacePath, trimmed)
+        : trimmed;
+    if (relativePath === "" || relativePath.startsWith("..") || path.isAbsolute(relativePath))
+        return null;
+    return relativePath.replaceAll(path.sep, "/").replace(/^\.\//, "");
+}
+function generatedTaskDeclaresWorkspacePath(generated, workspacePath, relativePath) {
+    const expected = normalizeWorkspaceRelativePathToken(relativePath, workspacePath);
+    if (!expected)
+        return false;
+    const declaredPaths = [
+        ...generated.scope_boundary.in_scope,
+        ...generated.artifact_contract.required_artifacts.map((artifact) => artifact.path),
+    ];
+    return declaredPaths.some((candidate) => normalizeWorkspaceRelativePathToken(candidate, workspacePath) === expected);
+}
+async function getUnsupportedWorkspaceLocalCheckContractReason(command, workspacePath, generated) {
+    const scriptPath = getWorkspaceLocalCheckContractScriptPath(command);
+    if (!scriptPath) {
+        return usesCheckContractFlag(command) ? "unsupported_check_contract_command" : null;
+    }
+    const absoluteScriptPath = path.resolve(workspacePath, scriptPath);
+    if (!isInsideWorkspace(workspacePath, absoluteScriptPath)) {
+        return "outside_workspace_check_contract_script";
+    }
+    if (await fileExists(absoluteScriptPath))
+        return null;
+    const relativeScriptPath = path.relative(workspacePath, absoluteScriptPath);
+    if (generatedTaskDeclaresWorkspacePath(generated, workspacePath, relativeScriptPath)) {
+        return null;
+    }
+    return "missing_workspace_local_check_contract_script";
+}
+function shellQuote(value) {
+    return `'${value.replace(/'/g, `'\\''`)}'`;
+}
+function hasWorkspacePathConstraint(constraints, workspacePath) {
+    return constraints.some((constraint) => {
+        const raw = extractWorkspacePathConstraint([constraint]);
+        return raw !== null && resolveWorkspacePath(raw) === workspacePath;
+    });
+}
+function withWorkspacePathConstraint(generated, workspacePath) {
+    if (hasWorkspacePathConstraint(generated.constraints, workspacePath))
+        return generated;
+    return {
+        ...generated,
+        constraints: [...generated.constraints, formatWorkspacePathConstraint(workspacePath)],
+    };
+}
+function buildArtifactFileCheckCriteria(generated) {
+    return generated.artifact_contract.required_artifacts.map((artifact) => ({
+        description: `Required artifact exists: ${artifact.path}`,
+        verification_method: `test -f ${shellQuote(artifact.path)}`,
+        is_blocking: true,
+    }));
+}
+export async function enforceWorkspaceBoundArtifactTaskContract(input) {
+    const workspacePathConstraint = extractWorkspacePathConstraint(input.goal?.constraints);
+    if (!workspacePathConstraint)
+        return input.generated;
+    const workspacePath = resolveWorkspacePath(workspacePathConstraint, input.repoRoot);
+    const constrained = withWorkspacePathConstraint(input.generated, workspacePath);
+    const hasArtifactRequirements = constrained.artifact_contract.required_artifacts.length > 0;
+    if (!input.artifactContractRequired || !hasArtifactRequirements)
+        return constrained;
+    if (await workspaceHasNodePackageManifest(workspacePath))
+        return constrained;
+    const filteredCriteria = [];
+    const removedVerificationMethods = [];
+    for (const criterion of constrained.success_criteria) {
+        if (isBroadRepoVerificationCommand(criterion.verification_method)) {
+            removedVerificationMethods.push({
+                method: normalizeShellCommand(criterion.verification_method),
+                reason: "broad_repo_command",
+            });
+            continue;
+        }
+        const unsupportedCheckContractReason = await getUnsupportedWorkspaceLocalCheckContractReason(criterion.verification_method, workspacePath, constrained);
+        if (unsupportedCheckContractReason) {
+            removedVerificationMethods.push({
+                method: normalizeShellCommand(criterion.verification_method),
+                reason: unsupportedCheckContractReason,
+            });
+            continue;
+        }
+        filteredCriteria.push(criterion);
+    }
+    if (removedVerificationMethods.length === 0)
+        return constrained;
+    const successCriteria = filteredCriteria.some((criterion) => criterion.is_blocking)
+        ? filteredCriteria
+        : [...filteredCriteria, ...buildArtifactFileCheckCriteria(constrained)];
+    input.logger?.warn("Task generation removed unsupported verification from workspace-bound artifact task", {
+        workspace_path: workspacePath,
+        removed_verification_methods: removedVerificationMethods,
+    });
+    return {
+        ...constrained,
+        success_criteria: successCriteria,
+    };
+}
+//# sourceMappingURL=task-generation-workspace-contract.js.map

package/dist/orchestrator/execution/task/task-generation-workspace-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-generation-workspace-contract.js","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-generation-workspace-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EACL,8BAA8B,EAC9B,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,uCAAuC,CAAC;AAI/C,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAC;IAC/C,UAAU;IACV,cAAc;IACd,eAAe;IACf,WAAW;IACX,eAAe;IACf,gBAAgB;IAChB,WAAW;IACX,YAAY;IACZ,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,cAAc,CAAC;AAC7C,MAAM,yCAAyC,GAC7C,8EAA8E,CAAC;AAEjF,SAAS,qBAAqB,CAAC,OAAe;IAC5C,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,8BAA8B,CAAC,OAAe;IACrD,OAAO,gCAAgC,CAAC,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,KAAK,UAAU,+BAA+B,CAAC,aAAqB;IAClE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,qBAAqB,CAAC,CAAC;SAC3D,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;SAChB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,QAAgB;IACxC,OAAO,MAAM,CAAC,QAAQ,CAAC;SACpB,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;SAChB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,iBAAiB,CAAC,aAAqB,EAAE,aAAqB;IACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC7D,OAAO,QAAQ,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,wCAAwC,CAAC,OAAe;IAC/D,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC9F,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAe;IAC5C,OAAO,kCAAkC,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,mCAAmC,CAAC,KAAa,EAAE,aAAqB;IAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;QACvC,CAAC,CAAC,OAAO,CAAC;IACZ,IAAI,YAAY,KAAK,EAAE,IAAI,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IACvG,OAAO,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,kCAAkC,CACzC,SAA2B,EAC3B,aAAqB,EACrB,YAAoB;IAEpB,MAAM,QAAQ,GAAG,mCAAmC,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;IAClF,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,aAAa,GAAG;QACpB,GAAG,SAAS,CAAC,cAAc,CAAC,QAAQ;QACpC,GAAG,SAAS,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;KACnF,CAAC;IACF,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,mCAAmC,CAAC,SAAS,EAAE,aAAa,CAAC,KAAK,QAAQ,CAC3E,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,+CAA+C,CAC5D,OAAe,EACf,aAAqB,EACrB,SAA2B;IAE3B,MAAM,UAAU,GAAG,wCAAwC,CAAC,OAAO,CAAC,CAAC;IACrE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IAED,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IACnE,IAAI,CAAC,iBAAiB,CAAC,aAAa,EAAE,kBAAkB,CAAC,EAAE,CAAC;QAC1D,OAAO,yCAAyC,CAAC;IACnD,CAAC;IACD,IAAI,MAAM,UAAU,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,kBAAkB,CAAC,CAAC;IAC5E,IAAI,kCAAkC,CAAC,SAAS,EAAE,aAAa,EAAE,kBAAkB,CAAC,EAAE,CAAC;QACrF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,+CAA+C,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED,SAAS,0BAA0B,CAAC,WAA8B,EAAE,aAAqB;IACvF,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE;QACrC,MAAM,GAAG,GAAG,8BAA8B,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QACzD,OAAO,GAAG,KAAK,IAAI,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAClC,SAA2B,EAC3B,aAAqB;IAErB,IAAI,0BAA0B,CAAC,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,OAAO;QACL,GAAG,SAAS;QACZ,WAAW,EAAE,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,6BAA6B,CAAC,aAAa,CAAC,CAAC;KACtF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CAAC,SAA2B;IACjE,OAAO,SAAS,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACvE,WAAW,EAAE,6BAA6B,QAAQ,CAAC,IAAI,EAAE;QACzD,mBAAmB,EAAE,WAAW,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;QAC3D,WAAW,EAAE,IAAI;KAClB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAAC,KAM/D;IACC,MAAM,uBAAuB,GAAG,8BAA8B,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACxF,IAAI,CAAC,uBAAuB;QAAE,OAAO,KAAK,CAAC,SAAS,CAAC;IAErD,MAAM,aAAa,GAAG,oBAAoB,CAAC,uBAAuB,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,2BAA2B,CAAC,KAAK,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAChF,MAAM,uBAAuB,GAAG,WAAW,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5F,IAAI,CAAC,KAAK,CAAC,wBAAwB,IAAI,CAAC,uBAAuB;QAAE,OAAO,WAAW,CAAC;IACpF,IAAI,MAAM,+BAA+B,CAAC,aAAa,CAAC;QAAE,OAAO,WAAW,CAAC;IAE7E,MAAM,gBAAgB,GAAyC,EAAE,CAAC;IAClE,MAAM,0BAA0B,GAA8C,EAAE,CAAC;IACjF,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,gBAAgB,EAAE,CAAC;QACrD,IAAI,8BAA8B,CAAC,SAAS,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAClE,0BAA0B,CAAC,IAAI,CAAC;gBAC9B,MAAM,EAAE,qBAAqB,CAAC,SAAS,CAAC,mBAAmB,CAAC;gBAC5D,MAAM,EAAE,oBAAoB;aAC7B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,8BAA8B,GAAG,MAAM,+CAA+C,CAC1F,SAAS,CAAC,mBAAmB,EAC7B,aAAa,EACb,WAAW,CACZ,CAAC;QACF,IAAI,8BAA8B,EAAE,CAAC;YACnC,0BAA0B,CAAC,IAAI,CAAC;gBAC9B,MAAM,EAAE,qBAAqB,CAAC,SAAS,CAAC,mBAAmB,CAAC;gBAC5D,MAAM,EAAE,8BAA8B;aACvC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,0BAA0B,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IAEhE,MAAM,eAAe,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC;QACjF,CAAC,CAAC,gBAAgB;QAClB,CAAC,CAAC,CAAC,GAAG,gBAAgB,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC,CAAC;IAE1E,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,qFAAqF,EAAE;QACxG,cAAc,EAAE,aAAa;QAC7B,4BAA4B,EAAE,0BAA0B;KACzD,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,WAAW;QACd,gBAAgB,EAAE,eAAe;KAClC,CAAC;AACJ,CAAC"}

package/dist/orchestrator/execution/task/task-generation.d.ts

@@ -1,200 +1,13 @@
-import { z } from "zod";
 import type { Logger } from "../../../runtime/logger.js";
 import type { ILLMClient } from "../../../base/llm/llm-client.js";
-import { StateManager } from "../../../base/state/state-manager.js";
-import { StrategyManager } from "../../strategy/strategy-manager.js";
+import type { StateManager } from "../../../base/state/state-manager.js";
+import type { StrategyManager } from "../../strategy/strategy-manager.js";
 import type { Task } from "../../../base/types/task.js";
 import type { TaskGroup } from "../../../base/types/index.js";
 import type { KnowledgeManager } from "../../../platform/knowledge/knowledge-manager.js";
 import type { IPromptGateway } from "../../../prompt/gateway.js";
 import { type ExecutionModeState } from "../../../platform/time/execution-mode.js";
-export declare const LLMGeneratedTaskSchema: z.ZodObject<{
-    work_description: z.ZodString;
-    rationale: z.ZodString;
-    approach: z.ZodString;
-    success_criteria: z.ZodArray<z.ZodObject<{
-        description: z.ZodString;
-        verification_method: z.ZodString;
-        is_blocking: z.ZodDefault<z.ZodBoolean>;
-    }, "strip", z.ZodTypeAny, {
-        description: string;
-        verification_method: string;
-        is_blocking: boolean;
-    }, {
-        description: string;
-        verification_method: string;
-        is_blocking?: boolean | undefined;
-    }>, "many">;
-    scope_boundary: z.ZodObject<{
-        in_scope: z.ZodArray<z.ZodString, "many">;
-        out_of_scope: z.ZodArray<z.ZodString, "many">;
-        blast_radius: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        in_scope: string[];
-        out_of_scope: string[];
-        blast_radius: string;
-    }, {
-        in_scope: string[];
-        out_of_scope: string[];
-        blast_radius: string;
-    }>;
-    constraints: z.ZodArray<z.ZodString, "many">;
-    risk_profile: z.ZodDefault<z.ZodObject<{
-        external_action: z.ZodDefault<z.ZodObject<{
-            required: z.ZodDefault<z.ZodBoolean>;
-            approval_required: z.ZodDefault<z.ZodBoolean>;
-            action_kind: z.ZodDefault<z.ZodEnum<["none", "submission", "publication", "notification", "deployment", "external_mutation", "unknown"]>>;
-            rationale: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-        }, "strip", z.ZodTypeAny, {
-            rationale: string | null;
-            approval_required: boolean;
-            required: boolean;
-            action_kind: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation";
-        }, {
-            rationale?: string | null | undefined;
-            approval_required?: boolean | undefined;
-            required?: boolean | undefined;
-            action_kind?: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation" | undefined;
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        external_action: {
-            rationale: string | null;
-            approval_required: boolean;
-            required: boolean;
-            action_kind: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation";
-        };
-    }, {
-        external_action?: {
-            rationale?: string | null | undefined;
-            approval_required?: boolean | undefined;
-            required?: boolean | undefined;
-            action_kind?: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation" | undefined;
-        } | undefined;
-    }>>;
-    artifact_contract: z.ZodDefault<z.ZodObject<{
-        required: z.ZodDefault<z.ZodBoolean>;
-        required_artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            kind: z.ZodEnum<["metrics_json", "submission_csv"]>;
-            path: z.ZodString;
-            required_fields: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
-            fresh_after_task_start: z.ZodDefault<z.ZodBoolean>;
-        }, "strip", z.ZodTypeAny, {
-            path: string;
-            kind: "metrics_json" | "submission_csv";
-            required_fields: string[];
-            fresh_after_task_start: boolean;
-        }, {
-            path: string;
-            kind: "metrics_json" | "submission_csv";
-            required_fields?: string[] | undefined;
-            fresh_after_task_start?: boolean | undefined;
-        }>, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        required: boolean;
-        required_artifacts: {
-            path: string;
-            kind: "metrics_json" | "submission_csv";
-            required_fields: string[];
-            fresh_after_task_start: boolean;
-        }[];
-    }, {
-        required?: boolean | undefined;
-        required_artifacts?: {
-            path: string;
-            kind: "metrics_json" | "submission_csv";
-            required_fields?: string[] | undefined;
-            fresh_after_task_start?: boolean | undefined;
-        }[] | undefined;
-    }>>;
-    reversibility: z.ZodDefault<z.ZodEnum<["reversible", "irreversible", "unknown"]>>;
-    intended_direction: z.ZodOptional<z.ZodEnum<["increase", "decrease", "neutral"]>>;
-    estimated_duration: z.ZodDefault<z.ZodNullable<z.ZodObject<{
-        value: z.ZodNumber;
-        unit: z.ZodEnum<["minutes", "hours", "days", "weeks"]>;
-    }, "strip", z.ZodTypeAny, {
-        value: number;
-        unit: "minutes" | "hours" | "days" | "weeks";
-    }, {
-        value: number;
-        unit: "minutes" | "hours" | "days" | "weeks";
-    }>>>;
-}, "strip", z.ZodTypeAny, {
-    rationale: string;
-    constraints: string[];
-    work_description: string;
-    approach: string;
-    success_criteria: {
-        description: string;
-        verification_method: string;
-        is_blocking: boolean;
-    }[];
-    scope_boundary: {
-        in_scope: string[];
-        out_of_scope: string[];
-        blast_radius: string;
-    };
-    risk_profile: {
-        external_action: {
-            rationale: string | null;
-            approval_required: boolean;
-            required: boolean;
-            action_kind: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation";
-        };
-    };
-    artifact_contract: {
-        required: boolean;
-        required_artifacts: {
-            path: string;
-            kind: "metrics_json" | "submission_csv";
-            required_fields: string[];
-            fresh_after_task_start: boolean;
-        }[];
-    };
-    estimated_duration: {
-        value: number;
-        unit: "minutes" | "hours" | "days" | "weeks";
-    } | null;
-    reversibility: "unknown" | "reversible" | "irreversible";
-    intended_direction?: "increase" | "decrease" | "neutral" | undefined;
-}, {
-    rationale: string;
-    constraints: string[];
-    work_description: string;
-    approach: string;
-    success_criteria: {
-        description: string;
-        verification_method: string;
-        is_blocking?: boolean | undefined;
-    }[];
-    scope_boundary: {
-        in_scope: string[];
-        out_of_scope: string[];
-        blast_radius: string;
-    };
-    risk_profile?: {
-        external_action?: {
-            rationale?: string | null | undefined;
-            approval_required?: boolean | undefined;
-            required?: boolean | undefined;
-            action_kind?: "unknown" | "none" | "submission" | "publication" | "notification" | "deployment" | "external_mutation" | undefined;
-        } | undefined;
-    } | undefined;
-    artifact_contract?: {
-        required?: boolean | undefined;
-        required_artifacts?: {
-            path: string;
-            kind: "metrics_json" | "submission_csv";
-            required_fields?: string[] | undefined;
-            fresh_after_task_start?: boolean | undefined;
-        }[] | undefined;
-    } | undefined;
-    estimated_duration?: {
-        value: number;
-        unit: "minutes" | "hours" | "days" | "weeks";
-    } | null | undefined;
-    reversibility?: "unknown" | "reversible" | "irreversible" | undefined;
-    intended_direction?: "increase" | "decrease" | "neutral" | undefined;
-}>;
+export { LLMGeneratedTaskSchema } from "./task-generation-schema.js";
 export interface TaskGenerationDeps {
     stateManager: StateManager;
     llmClient: ILLMClient;
@@ -215,14 +28,6 @@ export interface TaskGenerationDeps {
         }>;
     };
 }
-/**
- * Evaluate the complexity of a task to determine pipeline requirements.
- *
- * Rules (from design doc §4):
- * - Small: single file target, simple description (no "and" conjunctions, < 50 chars)
- * - Medium: single file but complex description (6+ expected line changes)
- * - Large: multiple file targets OR "and" in description OR explicit multi-file indicators
- */
 export declare function evaluateTaskComplexity(task: Task): "small" | "medium" | "large";
 /**
  * Compute Jaccard similarity between character trigram sets of two strings.