pi-harness-runtime 0.10.12 → 0.10.13

package/packages/task-compiler/dist/file-scope.js

@@ -0,0 +1,188 @@
+/**
+ * Task Compiler - File Scope Assignment
+ *
+ * Assigns filesInScope and FileOwnership to each compiled task
+ * based on the project structure and task type.
+ */
+/**
+ * Assign file scope and ownership to each task candidate.
+ *
+ * File scope is determined by:
+ * - Task type (implementation → source files, test → test files)
+ * - Project structure (detected by Project Analyzer)
+ * - Requirement goals and constraints
+ */
+export function assignFileScope(candidates, project) {
+    const __projectPath = project.projectPath;
+    const sourceExts = detectSourceExtensions(project);
+    const testExts = detectTestExtensions(project);
+    return candidates.map((candidate) => {
+        const filesInScope = inferFiles(candidate, project, sourceExts, testExts);
+        const mode = getOwnershipMode(candidate.type);
+        const ownership = {
+            taskId: candidate.id,
+            include: filesInScope,
+            exclude: getExclusions(candidate.type, project),
+            mode,
+        };
+        return {
+            id: candidate.id,
+            jobId: "", // Set by compiler
+            title: candidate.title,
+            objective: candidate.objective,
+            type: candidate.type,
+            dependencies: candidate.roughDependencies,
+            filesInScope,
+            filesExclude: ownership.exclude,
+            expectedOutputs: [], // Set by verification.ts
+            acceptanceCriteria: candidate.criteria,
+            requiredCapabilities: inferCapabilities(candidate.type),
+            permittedCommands: [], // Set by command-policy.ts
+            prohibitedCommands: [], // Set by command-policy.ts
+            preferredProvider: undefined, // Set by compiler.ts
+            estimatedComplexity: candidate.estimatedComplexity,
+            fileOwnership: ownership,
+            priority: candidate.priority,
+        };
+    });
+}
+// --- File inference by task type ---------------------------------------
+function inferFiles(candidate, project, _sourceExts, testExts) {
+    const { type, objective } = candidate;
+    const base = project.projectPath;
+    switch (type) {
+        case "analysis": {
+            return [`${base}/src/**`];
+        }
+        case "design": {
+            return [`${base}/src/**/*.ts`, `${base}/docs/**`];
+        }
+        case "implementation": {
+            // Default to all source files; narrow by extracting file mentions from objective
+            const mentions = extractFileMentions(objective);
+            if (mentions.length > 0)
+                return mentions;
+            return [`${base}/src/**`];
+        }
+        case "test": {
+            if (testExts.length > 0)
+                return [`${base}/test/**`, `${base}/**/*.test.*`];
+            return [`${base}/**/*.test.*`, `${base}/**/*.spec.*`];
+        }
+        case "e2e_test": {
+            return [`${base}/**/*.e2e.*`, `${base}/e2e/**`];
+        }
+        case "review": {
+            // Review reads everything that's been modified
+            return [`${base}/src/**`];
+        }
+        case "repair": {
+            // Repair targets whatever the review flagged
+            const mentions = extractFileMentions(objective);
+            return mentions.length > 0 ? mentions : [`${base}/src/**`];
+        }
+        case "documentation": {
+            return [`${base}/README.md`, `${base}/docs/**`, `${base}/src/**/*.md`];
+        }
+        default: {
+            return [`${base}/src/**`];
+        }
+    }
+}
+// --- Extract file mentions from objective text --------------------------
+function extractFileMentions(text) {
+    // Match common file/directory patterns in natural language:
+    // - "src/components/Button.tsx"
+    // - "packages/foo/src/"
+    // - "test/user.test.ts"
+    const pattern = /(?:src|test|packages?|apps?|lib|components?|hooks?|utils|docs?)[/\\][^\s"']+/gi;
+    const matches = text.match(pattern);
+    if (!matches)
+        return [];
+    // Deduplicate and return
+    return [...new Set(matches)];
+}
+// --- Ownership mode ----------------------------------------------------
+function getOwnershipMode(type) {
+    // Parallel tasks with "exclusive" mode cannot modify the same files
+    switch (type) {
+        case "implementation":
+        case "test":
+        case "e2e_test":
+        case "repair":
+            return "exclusive";
+        case "analysis":
+        case "design":
+        case "review":
+        case "documentation":
+            return "shared_read";
+        default:
+            return "shared_read";
+    }
+}
+// --- Exclusions --------------------------------------------------------
+function getExclusions(_type, project) {
+    const exclusions = [
+        // Never touch these regardless of task type
+        "**/node_modules/**",
+        "**/dist/**",
+        "**/.git/**",
+        "**/coverage/**",
+        "**/build/**",
+    ];
+    // Add project-specific exclusions from rules
+    if (project.rules) {
+        for (const rule of project.rules) {
+            if (rule.section === "scope" || rule.section === "files") {
+                // Rules may specify excluded patterns
+            }
+        }
+    }
+    return exclusions;
+}
+// --- Capability inference -----------------------------------------------
+function inferCapabilities(type) {
+    const caps = {
+        analysis: ["plan", "analysis"],
+        design: ["plan", "analysis"],
+        implementation: ["code"],
+        test: ["code", "test"],
+        e2e_test: ["code", "e2e"],
+        review: ["review"],
+        repair: ["code", "debug"],
+        documentation: ["code"],
+    };
+    return caps[type] ?? ["code"];
+}
+// --- Extension detection -------------------------------------------------
+function detectSourceExtensions(project) {
+    const frameworks = project.frameworks ?? [];
+    const exts = new Set(["ts", "tsx", "js", "jsx"]);
+    if (frameworks.some((f) => /typescript|ts|tsx/i.test(f.name))) {
+        exts.add("ts");
+        exts.add("tsx");
+    }
+    if (frameworks.some((f) => /react|next\.?js|vue|svelte/i.test(f.name))) {
+        exts.add("jsx");
+        exts.add("tsx");
+    }
+    if (frameworks.some((f) => /python|flask|django|fastapi/i.test(f.name))) {
+        exts.add("py");
+    }
+    if (frameworks.some((f) => /frappe|erpnext/i.test(f.name))) {
+        exts.add("py");
+        exts.add("js");
+    }
+    return [...exts];
+}
+function detectTestExtensions(project) {
+    const frameworks = project.frameworks ?? [];
+    const testCaps = project.testCapabilities ?? [];
+    const exts = new Set();
+    if (frameworks.some((f) => /playwright|cypress|selenium|nightwatch/i.test(f.name)) ||
+        testCaps.some((t) => /playwright|cypress|selenium|nightwatch/i.test(t.runner))) {
+        exts.add("e2e.ts");
+    }
+    return [...exts];
+}
+//# sourceMappingURL=file-scope.js.map

package/packages/task-compiler/dist/file-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-scope.js","sourceRoot":"","sources":["../src/file-scope.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC9B,UAA2B,EAC3B,OAAuB;IAEvB,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,CAAC;IAC1C,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE/C,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QACnC,MAAM,YAAY,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAkB;YAChC,MAAM,EAAE,SAAS,CAAC,EAAE;YACpB,OAAO,EAAE,YAAY;YACrB,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;YAC/C,IAAI;SACJ,CAAC;QAEF,OAAO;YACN,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,KAAK,EAAE,EAAE,EAAE,kBAAkB;YAC7B,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,YAAY,EAAE,SAAS,CAAC,iBAAiB;YACzC,YAAY;YACZ,YAAY,EAAE,SAAS,CAAC,OAAO;YAC/B,eAAe,EAAE,EAAE,EAAE,yBAAyB;YAC9C,kBAAkB,EAAE,SAAS,CAAC,QAAQ;YACtC,oBAAoB,EAAE,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC;YACvD,iBAAiB,EAAE,EAAE,EAAE,2BAA2B;YAClD,kBAAkB,EAAE,EAAE,EAAE,2BAA2B;YACnD,iBAAiB,EAAE,SAAS,EAAE,qBAAqB;YACnD,mBAAmB,EAAE,SAAS,CAAC,mBAAmB;YAClD,aAAa,EAAE,SAAS;YACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ;SAC5B,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,0EAA0E;AAE1E,SAAS,UAAU,CAClB,SAAwB,EACxB,OAAuB,EACvB,WAAqB,EACrB,QAAkB;IAElB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,SAAS,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC;IAEjC,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,UAAU,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;QAC3B,CAAC;QAED,KAAK,QAAQ,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,IAAI,cAAc,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,gBAAgB,EAAE,CAAC;YACvB,iFAAiF;YACjF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,QAAQ,CAAC;YACzC,OAAO,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;QAC3B,CAAC;QAED,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACtB,OAAO,CAAC,GAAG,IAAI,UAAU,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,IAAI,cAAc,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;QACvD,CAAC;QAED,KAAK,UAAU,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,IAAI,aAAa,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QACjD,CAAC;QAED,KAAK,QAAQ,EAAE,CAAC;YACf,+CAA+C;YAC/C,OAAO,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;QAC3B,CAAC;QAED,KAAK,QAAQ,EAAE,CAAC;YACf,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;YAChD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;QAC5D,CAAC;QAED,KAAK,eAAe,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,IAAI,YAAY,EAAE,GAAG,IAAI,UAAU,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;QACxE,CAAC;QAED,SAAS,CAAC;YACT,OAAO,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;QAC3B,CAAC;IACF,CAAC;AACF,CAAC;AAED,2EAA2E;AAE3E,SAAS,mBAAmB,CAAC,IAAY;IACxC,4DAA4D;IAC5D,gCAAgC;IAChC,wBAAwB;IACxB,wBAAwB;IACxB,MAAM,OAAO,GACZ,gFAAgF,CAAC;IAClF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,yBAAyB;IACzB,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,0EAA0E;AAE1E,SAAS,gBAAgB,CAAC,IAAc;IACvC,oEAAoE;IACpE,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,gBAAgB,CAAC;QACtB,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ;YACZ,OAAO,WAAW,CAAC;QACpB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,eAAe;YACnB,OAAO,aAAa,CAAC;QACtB;YACC,OAAO,aAAa,CAAC;IACvB,CAAC;AACF,CAAC;AAED,0EAA0E;AAE1E,SAAS,aAAa,CAAC,KAAe,EAAE,OAAuB;IAC9D,MAAM,UAAU,GAAa;QAC5B,4CAA4C;QAC5C,oBAAoB;QACpB,YAAY;QACZ,YAAY;QACZ,gBAAgB;QAChB,aAAa;KACb,CAAC;IAEF,6CAA6C;IAC7C,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;gBAC1D,sCAAsC;YACvC,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,UAAU,CAAC;AACnB,CAAC;AAED,2EAA2E;AAE3E,SAAS,iBAAiB,CAAC,IAAc;IACxC,MAAM,IAAI,GAA+B;QACxC,QAAQ,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;QAC9B,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;QAC5B,cAAc,EAAE,CAAC,MAAM,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;QACzB,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;QACzB,aAAa,EAAE,CAAC,MAAM,CAAC;KACvB,CAAC;IACF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,4EAA4E;AAE5E,SAAS,sBAAsB,CAAC,OAAuB;IACtD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAEzD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACzE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAuB;IACpD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,IACC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACrB,yCAAyC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD;QACD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACnB,yCAAyC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CACxD,EACA,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AAClB,CAAC"}

package/packages/task-compiler/dist/graph.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Task Compiler - Task Graph Builder
+ *
+ * Builds the deterministic DAG from compiled tasks,
+ * performs topological sort, and detects root/terminal nodes.
+ */
+import type { CompiledTask, TaskGraph } from "./types.js";
+/**
+ * Build a TaskGraph from compiled tasks.
+ *
+ * The graph is built from task dependencies and includes:
+ * - Roots: tasks with no incoming dependencies
+ * - Terminals: tasks with no outgoing dependencies
+ * - Deterministic topological order
+ */
+export declare function buildGraph(tasks: CompiledTask[]): TaskGraph;
+declare const dependents: Map<string, string[]>;
+export { dependents };
+//# sourceMappingURL=graph.d.ts.map

package/packages/task-compiler/dist/graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../src/graph.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE1D;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,SAAS,CAwC3D;AAoFD,QAAA,MAAM,UAAU,uBAA8B,CAAC;AAE/C,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/packages/task-compiler/dist/graph.js

@@ -0,0 +1,122 @@
+/**
+ * Task Compiler - Task Graph Builder
+ *
+ * Builds the deterministic DAG from compiled tasks,
+ * performs topological sort, and detects root/terminal nodes.
+ */
+/**
+ * Build a TaskGraph from compiled tasks.
+ *
+ * The graph is built from task dependencies and includes:
+ * - Roots: tasks with no incoming dependencies
+ * - Terminals: tasks with no outgoing dependencies
+ * - Deterministic topological order
+ */
+export function buildGraph(tasks) {
+    const taskMap = new Map();
+    for (const task of tasks) {
+        taskMap.set(task.id, task);
+    }
+    // --- Compute dependents --------------------------------------------
+    const dependents = new Map();
+    for (const task of tasks) {
+        dependents.set(task.id, []);
+    }
+    for (const task of tasks) {
+        for (const depId of task.dependencies) {
+            const list = dependents.get(depId);
+            if (list)
+                list.push(task.id);
+        }
+    }
+    // --- Find roots and terminals -------------------------------------
+    const roots = tasks
+        .filter((t) => t.dependencies.length === 0)
+        .map((t) => t.id);
+    const terminals = tasks
+        .filter((t) => (dependents.get(t.id)?.length ?? 0) === 0)
+        .map((t) => t.id);
+    // --- Deterministic topological sort --------------------------------
+    const order = topologicalSort([...tasks], taskMap);
+    return {
+        jobId: tasks[0]?.jobId ?? "",
+        tasks,
+        roots,
+        terminalTasks: terminals,
+        topologicalOrder: order,
+    };
+}
+// --- Kahn's topological sort with deterministic tiebreaking -----------------
+function topologicalSort(tasks, taskMap) {
+    const result = [];
+    // in-degree for each task
+    const inDegree = new Map();
+    for (const task of tasks) {
+        inDegree.set(task.id, 0);
+    }
+    for (const task of tasks) {
+        for (const dep of task.dependencies) {
+            inDegree.set(dep, inDegree.get(dep) ?? 0);
+        }
+    }
+    // Tasks with no incoming edges
+    const ready = [];
+    for (const [id, degree] of inDegree.entries()) {
+        if (degree === 0)
+            ready.push(id);
+    }
+    // Sort ready queue deterministically: by explicit priority first,
+    // then by dependency depth, then by task ID
+    const taskById = new Map(tasks.map((t) => [t.id, t]));
+    while (ready.length > 0) {
+        // Sort ready queue deterministically
+        ready.sort((a, b) => {
+            const ta = taskById.get(a);
+            const tb = taskById.get(b);
+            if (!ta || !tb)
+                return a.localeCompare(b);
+            // Priority: lower number = higher priority
+            const pa = ta.priority ?? 999;
+            const pb = tb.priority ?? 999;
+            if (pa !== pb)
+                return pa - pb;
+            // Dependency depth: tasks with more deps should come later
+            const depthA = countDepth(a, taskMap);
+            const depthB = countDepth(b, taskMap);
+            if (depthA !== depthB)
+                return depthA - depthB;
+            // Finally, task ID string order for determinism
+            return a.localeCompare(b);
+        });
+        const next = ready.shift();
+        if (!next)
+            break;
+        result.push(next);
+        // Reduce in-degree for dependents
+        for (const dependent of dependents.get(next ?? "") ?? []) {
+            const newDegree = (inDegree.get(dependent) ?? 1) - 1;
+            inDegree.set(dependent, newDegree);
+            if (newDegree === 0) {
+                ready.push(dependent);
+            }
+        }
+    }
+    return result;
+}
+// --- Dependency depth helper -----------------------------------------------
+function countDepth(taskId, taskMap) {
+    const task = taskMap.get(taskId);
+    if (!task || task.dependencies.length === 0)
+        return 0;
+    let max = 0;
+    for (const dep of task.dependencies) {
+        const d = countDepth(dep, taskMap);
+        if (d > max)
+            max = d;
+    }
+    return max + 1;
+}
+// --- Dependency map (for use by topologicalSort) ---------------------------
+const dependents = new Map();
+export { dependents };
+//# sourceMappingURL=graph.js.map

package/packages/task-compiler/dist/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../src/graph.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,KAAqB;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,sEAAsE;IAEtE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;IACF,CAAC;IAED,qEAAqE;IAErE,MAAM,KAAK,GAAG,KAAK;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAEnB,MAAM,SAAS,GAAG,KAAK;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAEnB,sEAAsE;IAEtE,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IAEnD,OAAO;QACN,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE;QAC5B,KAAK;QACL,KAAK;QACL,aAAa,EAAE,SAAS;QACxB,gBAAgB,EAAE,KAAK;KACvB,CAAC;AACH,CAAC;AAED,+EAA+E;AAE/E,SAAS,eAAe,CACvB,KAAqB,EACrB,OAAkC;IAElC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,0BAA0B;IAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,CAAC;IACF,CAAC;IAED,+BAA+B;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,IAAI,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;IAED,kEAAkE;IAClE,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,qCAAqC;QACrC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnB,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;gBAAE,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC1C,2CAA2C;YAC3C,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC;YAC9B,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC;YAC9B,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC9B,2DAA2D;YAC3D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACtC,IAAI,MAAM,KAAK,MAAM;gBAAE,OAAO,MAAM,GAAG,MAAM,CAAC;YAC9C,gDAAgD;YAChD,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI;YAAE,MAAM;QACjB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAElB,kCAAkC;QAClC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1D,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACrD,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACnC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvB,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,MAAM,CAAC;AACf,CAAC;AAED,8EAA8E;AAE9E,SAAS,UAAU,CAClB,MAAc,EACd,OAAkC;IAElC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,GAAG;YAAE,GAAG,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,GAAG,CAAC,CAAC;AAChB,CAAC;AAED,8EAA8E;AAE9E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;AAE/C,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/packages/task-compiler/dist/index.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Task Compiler
+ *
+ * Compiles requirements into executable, dependency-aware task graphs.
+ *
+ * @example
+ * import { compileTasks } from "@pi-harness/task-compiler";
+ *
+ * const graph = await compileTasks({
+ *   requirement: compiledRequirement,
+ *   project: projectProfile,
+ *   jobId: "job-001",
+ * });
+ */
+export { SDK_VERSION } from "./types.js";
+export { compileTasks } from "./compiler.js";
+export type { CompiledTask, ComplexityEstimate, DependencyInfo, FileOwnership, FileOwnershipMode, TaskCompileInput, TaskCompilerConfig, TaskGraph, TaskOutput, TaskType, } from "./types.js";
+export { TaskCompilerError, TaskCompilerErrorCode } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

package/packages/task-compiler/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAIzC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAI7C,YAAY,EACX,YAAY,EACZ,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,SAAS,EACT,UAAU,EACV,QAAQ,GACR,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC"}

package/packages/task-compiler/dist/index.js

@@ -0,0 +1,20 @@
+/**
+ * Task Compiler
+ *
+ * Compiles requirements into executable, dependency-aware task graphs.
+ *
+ * @example
+ * import { compileTasks } from "@pi-harness/task-compiler";
+ *
+ * const graph = await compileTasks({
+ *   requirement: compiledRequirement,
+ *   project: projectProfile,
+ *   jobId: "job-001",
+ * });
+ */
+// --- SDK Version -------------------------------------------------------
+export { SDK_VERSION } from "./types.js";
+// --- Main API ---------------------------------------------------------
+export { compileTasks } from "./compiler.js";
+export { TaskCompilerError, TaskCompilerErrorCode } from "./types.js";
+//# sourceMappingURL=index.js.map

package/packages/task-compiler/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,0EAA0E;AAE1E,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,yEAAyE;AAEzE,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAgB7C,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC"}

package/packages/task-compiler/dist/types.d.ts

@@ -0,0 +1,138 @@
+/**
+ * Task Compiler - Type Definitions
+ *
+ * Core types for task decomposition, DAG construction, and verification.
+ */
+export declare const SDK_VERSION: "1.0.0";
+export type TaskType = "analysis" | "design" | "implementation" | "test" | "e2e_test" | "review" | "repair" | "documentation";
+export type ComplexityEstimate = 1 | 2 | 3 | 5 | 8;
+export interface TaskOutput {
+    kind: "file" | "test_result" | "report" | "schema" | "diff" | "verification";
+    path?: string;
+    description: string;
+    required: boolean;
+}
+export interface CompiledTask {
+    id: string;
+    jobId: string;
+    title: string;
+    objective: string;
+    type: TaskType;
+    dependencies: string[];
+    filesInScope: string[];
+    filesExclude?: string[];
+    expectedOutputs: TaskOutput[];
+    acceptanceCriteria: string[];
+    requiredCapabilities: string[];
+    permittedCommands: string[];
+    prohibitedCommands: string[];
+    preferredProvider?: string;
+    estimatedComplexity: ComplexityEstimate;
+    fileOwnership: FileOwnership;
+    priority?: number;
+}
+export type FileOwnershipMode = "exclusive" | "shared_read";
+export interface FileOwnership {
+    taskId: string;
+    include: string[];
+    exclude: string[];
+    mode: FileOwnershipMode;
+}
+export interface TaskGraph {
+    jobId: string;
+    tasks: CompiledTask[];
+    roots: string[];
+    terminalTasks: string[];
+    topologicalOrder: string[];
+}
+export declare const STANDARD_FLOW: TaskType[];
+export declare const PROVIDER_HINTS: Partial<Record<TaskType, string[]>>;
+export declare const PROHIBITED_BY_DEFAULT: string[];
+export interface CompiledRequirement {
+    id: string;
+    title: string;
+    problemStatement: string;
+    goals: Array<{
+        id: string;
+        description: string;
+    }>;
+    constraints: Array<{
+        id: string;
+        description: string;
+        blocking: boolean;
+    }>;
+    nonGoals?: string[];
+    acceptanceCriteria: Array<{
+        id: string;
+        outcome: string[];
+    }>;
+    riskTags: Array<{
+        risk: string;
+        affectedId: string;
+    }>;
+}
+export interface ProjectProfile {
+    projectPath: string;
+    projectName?: string;
+    frameworks?: Array<{
+        name: string;
+        confidence: number;
+    }>;
+    testCapabilities?: Array<{
+        runner: string;
+        supported: boolean;
+    }>;
+    commands?: Record<string, string>;
+    rules?: Array<{
+        id: string;
+        section: string;
+        permittedCommands?: string[];
+        prohibitedCommands?: string[];
+    }>;
+}
+export interface TaskCompileInput {
+    requirement: CompiledRequirement;
+    project: ProjectProfile;
+    dependencies?: DependencyInfo[];
+    jobId: string;
+    clock?: () => Date;
+    insertE2E?: boolean;
+    maxComplexity?: ComplexityEstimate;
+}
+export interface DependencyInfo {
+    requirementId: string;
+    dependsOn: string[];
+    files: string[];
+}
+export interface TaskCandidate {
+    id: string;
+    title: string;
+    objective: string;
+    type: TaskType;
+    roughDependencies: string[];
+    criteria: string[];
+    estimatedComplexity: ComplexityEstimate;
+    priority?: number;
+}
+export interface TaskCompilerConfig {
+    insertE2E: boolean;
+    maxComplexity: ComplexityEstimate;
+    extraProhibitedCommands: string[];
+    clock: () => Date;
+}
+export declare const DEFAULT_TASK_COMPILER_CONFIG: TaskCompilerConfig;
+export declare enum TaskCompilerErrorCode {
+    CYCLIC_DEPENDENCY = "CYCLIC_DEPENDENCY",
+    EMPTY_OBJECTIVE = "EMPTY_OBJECTIVE",
+    NO_VERIFICATION = "NO_VERIFICATION",
+    FILE_OVERLAP_CONFLICT = "FILE_OVERLAP_CONFLICT",
+    UNSATISFIED_CRITERION = "UNSATISFIED_CRITERION",
+    MISSING_CAPABILITY = "MISSING_CAPILITY",
+    DESTRUCTIVE_COMMAND_APPROVAL = "DESTRUCTIVE_COMMAND_APPROVAL"
+}
+export declare class TaskCompilerError extends Error {
+    readonly code: TaskCompilerErrorCode;
+    readonly details?: Record<string, unknown>;
+    constructor(code: TaskCompilerErrorCode, message: string, details?: Record<string, unknown>);
+}
+//# sourceMappingURL=types.d.ts.map

package/packages/task-compiler/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,eAAO,MAAM,WAAW,EAAG,OAAgB,CAAC;AAI5C,MAAM,MAAM,QAAQ,GACjB,UAAU,GACV,QAAQ,GACR,gBAAgB,GAChB,MAAM,GACN,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,eAAe,CAAC;AAEnB,MAAM,MAAM,kBAAkB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAInD,MAAM,WAAW,UAAU;IAC1B,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,cAAc,CAAC;IAC7E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CAClB;AAID,MAAM,WAAW,YAAY;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,eAAe,EAAE,UAAU,EAAE,CAAC;IAC9B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,kBAAkB,CAAC;IACxC,aAAa,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;CAClB;AAID,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,aAAa,CAAC;AAE5D,MAAM,WAAW,aAAa;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,EAAE,iBAAiB,CAAC;CACxB;AAID,MAAM,WAAW,SAAS;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC3B;AAID,eAAO,MAAM,aAAa,EAAE,QAAQ,EASnC,CAAC;AAIF,eAAO,MAAM,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAS9D,CAAC;AAIF,eAAO,MAAM,qBAAqB,EAAE,MAAM,EAgBzC,CAAC;AAMF,MAAM,WAAW,mBAAmB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClD,WAAW,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC3E,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,kBAAkB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC7D,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACtD;AAED,MAAM,WAAW,cAAc;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,gBAAgB,CAAC,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACjE,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,KAAK,CAAC,EAAE,KAAK,CAAC;QACb,EAAE,EAAE,MAAM,CAAC;QACX,OAAO,EAAE,MAAM,CAAC;QAChB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;KAC9B,CAAC,CAAC;CACH;AAID,MAAM,WAAW,gBAAgB;IAChC,WAAW,EAAE,mBAAmB,CAAC;IACjC,OAAO,EAAE,cAAc,CAAC;IACxB,YAAY,CAAC,EAAE,cAAc,EAAE,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC;IACnB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,aAAa,CAAC,EAAE,kBAAkB,CAAC;CACnC;AAED,MAAM,WAAW,cAAc;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;CAChB;AAID,MAAM,WAAW,aAAa;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mBAAmB,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAClB;AAID,MAAM,WAAW,kBAAkB;IAClC,SAAS,EAAE,OAAO,CAAC;IACnB,aAAa,EAAE,kBAAkB,CAAC;IAClC,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,KAAK,EAAE,MAAM,IAAI,CAAC;CAClB;AAED,eAAO,MAAM,4BAA4B,EAAE,kBAK1C,CAAC;AAIF,oBAAY,qBAAqB;IAChC,iBAAiB,sBAAsB;IACvC,eAAe,oBAAoB;IACnC,eAAe,oBAAoB;IACnC,qBAAqB,0BAA0B;IAC/C,qBAAqB,0BAA0B;IAC/C,kBAAkB,qBAAqB;IACvC,4BAA4B,iCAAiC;CAC7D;AAED,qBAAa,iBAAkB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAE3C,YACC,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAMjC;CACD"}

package/packages/task-compiler/dist/types.js

@@ -0,0 +1,75 @@
+/**
+ * Task Compiler - Type Definitions
+ *
+ * Core types for task decomposition, DAG construction, and verification.
+ */
+// --- SDK Version -------------------------------------------------------
+export const SDK_VERSION = "1.0.0";
+// --- Standard Engineering Flow ----------------------------------------
+export const STANDARD_FLOW = [
+    "analysis",
+    "design",
+    "implementation",
+    "test",
+    "e2e_test",
+    "review",
+    "repair",
+    "documentation",
+];
+// --- Provider Hints ---------------------------------------------------
+export const PROVIDER_HINTS = {
+    analysis: ["codex", "gpt", "glm"],
+    design: ["codex", "gpt", "glm"],
+    implementation: ["minimax", "claude", "glm"],
+    test: ["minimax", "claude"],
+    e2e_test: ["playwright"],
+    review: ["claude", "glm"],
+    repair: ["glm", "claude"],
+    documentation: ["codex", "gpt"],
+};
+// --- Default Command Policy ---------------------------------------------
+export const PROHIBITED_BY_DEFAULT = [
+    "git commit",
+    "git push",
+    "bench build",
+    "bench migrate",
+    "bench install-app",
+    "bench restart",
+    "npm run build",
+    "yarn build",
+    "pnpm build",
+    "python manage.py migrate",
+    "docker compose up",
+    "docker compose down",
+    "rm -rf",
+    "DROP DATABASE",
+    "TRUNCATE",
+];
+export const DEFAULT_TASK_COMPILER_CONFIG = {
+    insertE2E: true,
+    maxComplexity: 5,
+    extraProhibitedCommands: [],
+    clock: () => new Date(),
+};
+// --- Compiler Errors -----------------------------------------------------
+export var TaskCompilerErrorCode;
+(function (TaskCompilerErrorCode) {
+    TaskCompilerErrorCode["CYCLIC_DEPENDENCY"] = "CYCLIC_DEPENDENCY";
+    TaskCompilerErrorCode["EMPTY_OBJECTIVE"] = "EMPTY_OBJECTIVE";
+    TaskCompilerErrorCode["NO_VERIFICATION"] = "NO_VERIFICATION";
+    TaskCompilerErrorCode["FILE_OVERLAP_CONFLICT"] = "FILE_OVERLAP_CONFLICT";
+    TaskCompilerErrorCode["UNSATISFIED_CRITERION"] = "UNSATISFIED_CRITERION";
+    TaskCompilerErrorCode["MISSING_CAPABILITY"] = "MISSING_CAPILITY";
+    TaskCompilerErrorCode["DESTRUCTIVE_COMMAND_APPROVAL"] = "DESTRUCTIVE_COMMAND_APPROVAL";
+})(TaskCompilerErrorCode || (TaskCompilerErrorCode = {}));
+export class TaskCompilerError extends Error {
+    code;
+    details;
+    constructor(code, message, details) {
+        super(message);
+        this.name = "TaskCompilerError";
+        this.code = code;
+        this.details = details;
+    }
+}
+//# sourceMappingURL=types.js.map

package/packages/task-compiler/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,0EAA0E;AAE1E,MAAM,CAAC,MAAM,WAAW,GAAG,OAAgB,CAAC;AAoE5C,yEAAyE;AAEzE,MAAM,CAAC,MAAM,aAAa,GAAe;IACxC,UAAU;IACV,QAAQ;IACR,gBAAgB;IAChB,MAAM;IACN,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,eAAe;CACf,CAAC;AAEF,yEAAyE;AAEzE,MAAM,CAAC,MAAM,cAAc,GAAwC;IAClE,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC;IACjC,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC;IAC/B,cAAc,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC;IAC5C,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC3B,QAAQ,EAAE,CAAC,YAAY,CAAC;IACxB,MAAM,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;IACzB,MAAM,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;CAC/B,CAAC;AAEF,2EAA2E;AAE3E,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC9C,YAAY;IACZ,UAAU;IACV,aAAa;IACb,eAAe;IACf,mBAAmB;IACnB,eAAe;IACf,eAAe;IACf,YAAY;IACZ,YAAY;IACZ,0BAA0B;IAC1B,mBAAmB;IACnB,qBAAqB;IACrB,QAAQ;IACR,eAAe;IACf,UAAU;CACV,CAAC;AAuEF,MAAM,CAAC,MAAM,4BAA4B,GAAuB;IAC/D,SAAS,EAAE,IAAI;IACf,aAAa,EAAE,CAAC;IAChB,uBAAuB,EAAE,EAAE;IAC3B,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE;CACvB,CAAC;AAEF,4EAA4E;AAE5E,MAAM,CAAN,IAAY,qBAQX;AARD,WAAY,qBAAqB;IAChC,gEAAuC,CAAA;IACvC,4DAAmC,CAAA;IACnC,4DAAmC,CAAA;IACnC,wEAA+C,CAAA;IAC/C,wEAA+C,CAAA;IAC/C,gEAAuC,CAAA;IACvC,sFAA6D,CAAA;AAC9D,CAAC,EARW,qBAAqB,KAArB,qBAAqB,QAQhC;AAED,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAClC,IAAI,CAAwB;IAC5B,OAAO,CAA2B;IAE3C,YACC,IAA2B,EAC3B,OAAe,EACf,OAAiC;QAEjC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACxB,CAAC;CACD"}

package/packages/task-compiler/dist/validate.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Task Compiler - Validation
+ *
+ * Validates the task graph: cycle detection, file overlap, verification, etc.
+ */
+import type { TaskGraph } from "./types.js";
+/**
+ * Assert the graph has no cycles.
+ * Uses Kahn's algorithm to verify all tasks are reachable in topological order.
+ */
+export declare function assertNoCycles(graph: TaskGraph): void;
+/**
+ * Assert no exclusive file overlap between parallel tasks.
+ * Two exclusive tasks cannot modify the same files unless one depends on the other.
+ */
+export declare function assertNoExclusiveFileOverlap(graph: TaskGraph): void;
+/**
+ * Assert every task has at least one required verification output.
+ */
+export declare function assertEveryTaskHasVerification(graph: TaskGraph): void;
+/**
+ * Assert no task has an empty objective.
+ */
+export declare function assertNoEmptyObjectives(graph: TaskGraph): void;
+/**
+ * Assert every acceptance criterion is assigned to at least one task.
+ */
+export declare function assertEveryCriterionAssigned(graph: TaskGraph, criterionIds: string[]): void;
+//# sourceMappingURL=validate.d.ts.map

package/packages/task-compiler/dist/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C;;;GAGG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAyCrD;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CA6CnE;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAerE;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAc9D;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,SAAS,EAChB,YAAY,EAAE,MAAM,EAAE,GACpB,IAAI,CAeN"}