pi-harness-runtime 0.5.0 → 0.6.3-beta.13

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

@@ -0,0 +1,213 @@
+/**
+ * Task Compiler - Verification Assignment
+ *
+ * Assigns TaskOutput (expectedOutputs) to each compiled task
+ * so completion can be measured objectively.
+ */
+/**
+ * Assign verification outputs to each task based on its type
+ * and the requirement's acceptance criteria.
+ */
+export function assignVerification(tasks, requirement) {
+    return tasks.map((task) => {
+        const outputs = buildOutputs(task, requirement);
+        return { ...task, expectedOutputs: outputs };
+    });
+}
+// ─── Output builders by task type ─────────────────────────────────────
+function buildOutputs(task, requirement) {
+    switch (task.type) {
+        case "implementation": {
+            return buildImplementationOutputs(task, requirement);
+        }
+        case "test": {
+            return buildTestOutputs(task);
+        }
+        case "e2e_test": {
+            return buildE2EOutputs(task);
+        }
+        case "review": {
+            return buildReviewOutputs(task);
+        }
+        case "analysis": {
+            return buildAnalysisOutputs(task);
+        }
+        case "design": {
+            return buildDesignOutputs(task);
+        }
+        case "repair": {
+            return buildRepairOutputs(task);
+        }
+        case "documentation": {
+            return buildDocumentationOutputs(task);
+        }
+        default: {
+            return [
+                {
+                    kind: "verification",
+                    description: `Task "${task.title}" completed as expected.`,
+                    required: true,
+                },
+            ];
+        }
+    }
+}
+// ─── Type-specific output builders ───────────────────────────────────
+function buildImplementationOutputs(task, requirement) {
+    const outputs = [];
+    // Required: at least one file was modified
+    outputs.push({
+        kind: "diff",
+        description: `Implementation of "${task.title}" produces code changes`,
+        required: true,
+    });
+    // Required: acceptance criteria are addressed
+    if (task.acceptanceCriteria.length > 0) {
+        outputs.push({
+            kind: "verification",
+            description: `All assigned acceptance criteria (${task.acceptanceCriteria.length}) are addressed`,
+            required: true,
+        });
+    }
+    // Optional: affected files mentioned in goal
+    const goal = requirement.goals.find((g) => task.objective.includes(g.description.slice(0, 30)));
+    if (goal) {
+        outputs.push({
+            kind: "verification",
+            description: `Goal "${goal.description.slice(0, 60)}" is implemented`,
+            required: true,
+        });
+    }
+    // Risk verification for destructive operations
+    const hasDestructive = requirement.riskTags.some((r) => r.risk === "destructive_operation");
+    if (hasDestructive) {
+        outputs.push({
+            kind: "verification",
+            description: "Destructive operations have rollback plan and approval",
+            required: true,
+        });
+    }
+    return outputs;
+}
+function buildTestOutputs(task) {
+    const outputs = [
+        {
+            kind: "test_result",
+            description: `Unit tests for "${task.title}" pass`,
+            required: true,
+        },
+        {
+            kind: "verification",
+            description: "Test coverage is maintained above configured threshold",
+            required: false,
+        },
+    ];
+    // All acceptance criteria must be tested
+    if (task.acceptanceCriteria.length > 0) {
+        outputs.push({
+            kind: "verification",
+            description: `All ${task.acceptanceCriteria.length} acceptance criteria have at least one test`,
+            required: true,
+        });
+    }
+    return outputs;
+}
+function buildE2EOutputs(task) {
+    return [
+        {
+            kind: "test_result",
+            description: `E2E tests for "${task.title}" pass`,
+            required: true,
+        },
+        {
+            kind: "verification",
+            description: "E2E test scenarios cover all critical user flows",
+            required: true,
+        },
+    ];
+}
+function buildReviewOutputs(task) {
+    const outputs = [
+        {
+            kind: "report",
+            description: `Review report for "${task.title}" is produced`,
+            required: true,
+        },
+        {
+            kind: "verification",
+            description: "All review findings are addressed or explicitly accepted",
+            required: true,
+        },
+    ];
+    if (task.acceptanceCriteria.length > 0) {
+        outputs.push({
+            kind: "verification",
+            description: `${task.acceptanceCriteria.length} acceptance criteria are verified`,
+            required: true,
+        });
+    }
+    return outputs;
+}
+function buildAnalysisOutputs(task) {
+    return [
+        {
+            kind: "report",
+            description: `Analysis report for "${task.title}" is produced`,
+            required: true,
+        },
+        {
+            kind: "schema",
+            description: "Affected modules and dependencies are identified",
+            required: true,
+        },
+    ];
+}
+function buildDesignOutputs(task) {
+    return [
+        {
+            kind: "schema",
+            description: `Design document/schema for "${task.title}" is produced`,
+            required: true,
+        },
+        {
+            kind: "file",
+            description: "Architecture diagram or component model is included",
+            required: false,
+        },
+    ];
+}
+function buildRepairOutputs(task) {
+    return [
+        {
+            kind: "verification",
+            description: `All review findings for "${task.title}" are resolved`,
+            required: true,
+        },
+        {
+            kind: "diff",
+            description: "Repair changes are applied and verified",
+            required: true,
+        },
+    ];
+}
+function buildDocumentationOutputs(task) {
+    return [
+        {
+            kind: "file",
+            path: "README.md",
+            description: "README or user-facing documentation is updated",
+            required: false,
+        },
+        {
+            kind: "file",
+            description: "API documentation reflects implementation",
+            required: true,
+        },
+        {
+            kind: "verification",
+            description: `Documentation for "${task.title}" is complete`,
+            required: true,
+        },
+    ];
+}
+//# sourceMappingURL=verification.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../src/verification.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CACjC,KAAqB,EACrB,WAAgC;IAEhC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAChD,OAAO,EAAE,GAAG,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,yEAAyE;AAEzE,SAAS,YAAY,CACpB,IAAkB,EAClB,WAAgC;IAEhC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,OAAO,0BAA0B,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACtB,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACT,OAAO;gBACN;oBACC,IAAI,EAAE,cAAc;oBACpB,WAAW,EAAE,SAAS,IAAI,CAAC,KAAK,0BAA0B;oBAC1D,QAAQ,EAAE,IAAI;iBACd;aACD,CAAC;QACH,CAAC;IACF,CAAC;AACF,CAAC;AAED,wEAAwE;AAExE,SAAS,0BAA0B,CAClC,IAAkB,EAClB,WAAgC;IAEhC,MAAM,OAAO,GAAiB,EAAE,CAAC;IAEjC,2CAA2C;IAC3C,OAAO,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,MAAM;QACZ,WAAW,EAAE,sBAAsB,IAAI,CAAC,KAAK,yBAAyB;QACtE,QAAQ,EAAE,IAAI;KACd,CAAC,CAAC;IAEH,8CAA8C;IAC9C,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,qCAAqC,IAAI,CAAC,kBAAkB,CAAC,MAAM,iBAAiB;YACjG,QAAQ,EAAE,IAAI;SACd,CAAC,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACzC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CACnD,CAAC;IACF,IAAI,IAAI,EAAE,CAAC;QACV,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,SAAS,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB;YACrE,QAAQ,EAAE,IAAI;SACd,CAAC,CAAC;IACJ,CAAC;IAED,+CAA+C;IAC/C,MAAM,cAAc,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,CAC/C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CACzC,CAAC;IACF,IAAI,cAAc,EAAE,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,wDAAwD;YACrE,QAAQ,EAAE,IAAI;SACd,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB;IAC3C,MAAM,OAAO,GAAiB;QAC7B;YACC,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,mBAAmB,IAAI,CAAC,KAAK,QAAQ;YAClD,QAAQ,EAAE,IAAI;SACd;QACD;YACC,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,wDAAwD;YACrE,QAAQ,EAAE,KAAK;SACf;KACD,CAAC;IAEF,yCAAyC;IACzC,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,OAAO,IAAI,CAAC,kBAAkB,CAAC,MAAM,6CAA6C;YAC/F,QAAQ,EAAE,IAAI;SACd,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,IAAkB;IAC1C,OAAO;QACN;YACC,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,kBAAkB,IAAI,CAAC,KAAK,QAAQ;YACjD,QAAQ,EAAE,IAAI;SACd;QACD;YACC,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,kDAAkD;YAC/D,QAAQ,EAAE,IAAI;SACd;KACD,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAkB;IAC7C,MAAM,OAAO,GAAiB;QAC7B;YACC,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,sBAAsB,IAAI,CAAC,KAAK,eAAe;YAC5D,QAAQ,EAAE,IAAI;SACd;QACD;YACC,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,0DAA0D;YACvE,QAAQ,EAAE,IAAI;SACd;KACD,CAAC;IAEF,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,mCAAmC;YACjF,QAAQ,EAAE,IAAI;SACd,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAkB;IAC/C,OAAO;QACN;YACC,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,wBAAwB,IAAI,CAAC,KAAK,eAAe;YAC9D,QAAQ,EAAE,IAAI;SACd;QACD;YACC,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,kDAAkD;YAC/D,QAAQ,EAAE,IAAI;SACd;KACD,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAkB;IAC7C,OAAO;QACN;YACC,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,+BAA+B,IAAI,CAAC,KAAK,eAAe;YACrE,QAAQ,EAAE,IAAI;SACd;QACD;YACC,IAAI,EAAE,MAAM;YACZ,WAAW,EAAE,qDAAqD;YAClE,QAAQ,EAAE,KAAK;SACf;KACD,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAkB;IAC7C,OAAO;QACN;YACC,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,4BAA4B,IAAI,CAAC,KAAK,gBAAgB;YACnE,QAAQ,EAAE,IAAI;SACd;QACD;YACC,IAAI,EAAE,MAAM;YACZ,WAAW,EAAE,yCAAyC;YACtD,QAAQ,EAAE,IAAI;SACd;KACD,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAkB;IACpD,OAAO;QACN;YACC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,gDAAgD;YAC7D,QAAQ,EAAE,KAAK;SACf;QACD;YACC,IAAI,EAAE,MAAM;YACZ,WAAW,EAAE,2CAA2C;YACxD,QAAQ,EAAE,IAAI;SACd;QACD;YACC,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,sBAAsB,IAAI,CAAC,KAAK,eAAe;YAC5D,QAAQ,EAAE,IAAI;SACd;KACD,CAAC;AACH,CAAC"}

package/packages/task-compiler/package.json

@@ -0,0 +1,43 @@
+{
+  "name": "@pi-harness/task-compiler",
+  "version": "0.6.3-beta.13",
+  "description": "Task Compiler for pi-harness-runtime — produces deterministic task DAG from CompiledRequirement",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "test": "bun test",
+    "test:watch": "bun test --watch"
+  },
+  "keywords": [
+    "pi",
+    "harness",
+    "runtime",
+    "task",
+    "compiler",
+    "dag"
+  ],
+  "author": "",
+  "license": "MIT",
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "dependencies": {
+    "@pi-harness/requirement-compiler": "workspace:*",
+    "@pi/project-analyzer": "workspace:*",
+    "@pi-harness/types": "workspace:*"
+  },
+  "devDependencies": {
+    "@types/node": "^20.14.0"
+  }
+}

package/packages/task-compiler/src/command-policy.ts

@@ -0,0 +1,193 @@
+/**
+ * Task Compiler - Command Policy
+ *
+ * Applies project rules and standing policy to generate
+ * permittedCommands and prohibitedCommands per task.
+ */
+
+import {
+	type CompiledTask,
+	PROHIBITED_BY_DEFAULT,
+	type ProjectProfile,
+} from "./types.js";
+
+/**
+ * Apply command policy to each task based on project rules and task type.
+ *
+ * Rules:
+ * - PROHIBITED_BY_DEFAULT commands are always forbidden unless overridden
+ * - Project rules can add more permitted/prohibited commands
+ * - Task type determines which project commands are relevant
+ * - build/migrate/commit require explicit permission
+ */
+export function applyCommandPolicy(
+	tasks: CompiledTask[],
+	project: ProjectProfile,
+): CompiledTask[] {
+	const projectCommands = extractProjectCommands(project);
+
+	return tasks.map((task) => {
+		const prohibited = [...PROHIBITED_BY_DEFAULT];
+		const permitted: string[] = [];
+
+		// Add project-specific prohibited commands
+		const ruleProhibited = projectCommands.prohibited;
+		for (const cmd of ruleProhibited) {
+			if (!prohibited.includes(cmd)) {
+				prohibited.push(cmd);
+			}
+		}
+
+		// Add permitted commands based on task type and project commands
+		switch (task.type) {
+			case "implementation": {
+				// Implementers can run any non-prohibited project command
+				for (const cmd of projectCommands.permitted) {
+					if (!prohibited.some((p) => cmd.startsWith(p) || p.startsWith(cmd))) {
+						permitted.push(cmd);
+					}
+				}
+				// Allow test commands for implementation
+				permitted.push("bun test", "npm test", "pnpm test", "yarn test");
+				permitted.push("python -m pytest");
+				break;
+			}
+
+			case "test": {
+				// Test tasks can run test commands
+				for (const cmd of projectCommands.test) {
+					if (!prohibited.includes(cmd)) {
+						permitted.push(cmd);
+					}
+				}
+				permitted.push("bun test", "npm test", "pnpm test", "yarn test");
+				permitted.push("python -m pytest", "python -m unittest");
+				break;
+			}
+
+			case "e2e_test": {
+				// E2E tasks can run e2e/playwright commands
+				for (const cmd of projectCommands.e2e) {
+					if (!prohibited.includes(cmd)) {
+						permitted.push(cmd);
+					}
+				}
+				permitted.push("npx playwright test");
+				permitted.push("cypress run");
+				break;
+			}
+
+			case "review": {
+				// Review tasks can run lint/typecheck commands
+				for (const cmd of projectCommands.lint) {
+					if (!prohibited.includes(cmd)) {
+						permitted.push(cmd);
+					}
+				}
+				permitted.push("npx tsc --noEmit");
+				permitted.push("npx eslint");
+				permitted.push("npx biome check");
+				break;
+			}
+
+			case "repair": {
+				// Repair tasks can run build/test but NOT commit
+				for (const cmd of projectCommands.permitted) {
+					if (!prohibited.some((p) => cmd.startsWith(p))) {
+						permitted.push(cmd);
+					}
+				}
+				permitted.push("bun test", "npm test");
+				// Explicitly keep destructive ops away from repair without approval
+				prohibited.push("rm -rf", "DROP DATABASE", "TRUNCATE");
+				break;
+			}
+
+			case "analysis":
+			case "design":
+			case "documentation": {
+				// Read-only/analysis tasks get minimal command access
+				permitted.push("npx tsc --noEmit");
+				permitted.push("git status");
+				permitted.push("git diff");
+				break;
+			}
+		}
+
+		// Explicitly prohibit dangerous commands that must always be blocked
+		const alwaysProhibited = [
+			"rm -rf /**",
+			"DROP DATABASE",
+			"TRUNCATE TABLE",
+			"bench migrate --force",
+		];
+		for (const cmd of alwaysProhibited) {
+			if (!prohibited.includes(cmd)) {
+				prohibited.push(cmd);
+			}
+		}
+
+		return {
+			...task,
+			permittedCommands: [...new Set(permitted)],
+			prohibitedCommands: [...new Set(prohibited)],
+		};
+	});
+}
+
+// ─── Extract project commands from ProjectProfile ───────────────────────────
+
+interface ProjectCommandSet {
+	permitted: string[];
+	prohibited: string[];
+	test: string[];
+	e2e: string[];
+	lint: string[];
+}
+
+function extractProjectCommands(project: ProjectProfile): ProjectCommandSet {
+	const result: ProjectCommandSet = {
+		permitted: [],
+		prohibited: [],
+		test: [],
+		e2e: [],
+		lint: [],
+	};
+
+	// Extract from project commands
+	if (project.commands) {
+		for (const [name, cmd] of Object.entries(project.commands)) {
+			if (typeof cmd !== "string") continue;
+			const fullCmd = cmd.trim();
+			if (/^test|^spec/i.test(name)) {
+				result.test.push(fullCmd);
+			} else if (/^lint|^check|^type/i.test(name)) {
+				result.lint.push(fullCmd);
+			} else {
+				result.permitted.push(fullCmd);
+			}
+		}
+	}
+
+	// Extract from project rules
+	if (project.rules) {
+		for (const rule of project.rules) {
+			if (rule.permittedCommands) {
+				for (const cmd of rule.permittedCommands) {
+					if (!result.permitted.includes(cmd)) {
+						result.permitted.push(cmd);
+					}
+				}
+			}
+			if (rule.prohibitedCommands) {
+				for (const cmd of rule.prohibitedCommands) {
+					if (!result.prohibited.includes(cmd)) {
+						result.prohibited.push(cmd);
+					}
+				}
+			}
+		}
+	}
+
+	return result;
+}

package/packages/task-compiler/src/compiler.ts

@@ -0,0 +1,114 @@
+/**
+ * Task Compiler - Main Entry Point
+ *
+ * Compiles a compiled requirement + project profile into an executable task DAG.
+ *
+ * Algorithm:
+ * 1. Decompose requirement into candidate tasks
+ * 2. Assign file scope and ownership
+ * 3. Assign verification outputs
+ * 4. Apply command policy
+ * 5. Build DAG with topological sort
+ * 6. Validate: cycles, overlap, verification
+ * 7. Assign provider hints
+ */
+
+import { applyCommandPolicy } from "./command-policy.js";
+import { decomposeRequirement } from "./decompose.js";
+import { assignFileScope } from "./file-scope.js";
+import { buildGraph } from "./graph.js";
+import type {
+	TaskCompileInput,
+	TaskCompilerConfig,
+	TaskGraph,
+} from "./types.js";
+import {
+	DEFAULT_TASK_COMPILER_CONFIG,
+	PROVIDER_HINTS,
+	TaskCompilerError,
+	TaskCompilerErrorCode,
+} from "./types.js";
+import {
+	assertEveryCriterionAssigned,
+	assertEveryTaskHasVerification,
+	assertNoCycles,
+	assertNoEmptyObjectives,
+	assertNoExclusiveFileOverlap,
+} from "./validate.js";
+import { assignVerification } from "./verification.js";
+
+/**
+ * Compile a requirement + project profile into an executable task graph.
+ *
+ * This is the main public API for the task compiler.
+ */
+export async function compileTasks(
+	input: TaskCompileInput,
+	config?: Partial<TaskCompilerConfig>,
+): Promise<TaskGraph> {
+	const fullConfig: TaskCompilerConfig = {
+		...DEFAULT_TASK_COMPILER_CONFIG,
+		...config,
+	};
+
+	// Clock used for reproducible timestamps (available for future use)
+	fullConfig.clock;
+	const jobId = input.jobId;
+
+	// ─── Step 1: Decompose requirement into candidates ─────────────────────────
+
+	const candidates = decomposeRequirement(input);
+
+	if (candidates.length === 0) {
+		throw new TaskCompilerError(
+			TaskCompilerErrorCode.EMPTY_OBJECTIVE,
+			`Requirement "${input.requirement.id}" produced no tasks after decomposition.`,
+			{ requirementId: input.requirement.id },
+		);
+	}
+
+	// ─── Step 2: Assign file scope and ownership ─────────────────────────────
+
+	const tasksWithScope = assignFileScope(candidates, input.project);
+
+	// ─── Step 3: Assign verification outputs ────────────────────────────────
+
+	const tasksWithVerification = assignVerification(
+		tasksWithScope,
+		input.requirement,
+	);
+
+	// ─── Step 4: Apply command policy ───────────────────────────────────
+
+	const tasksWithPolicy = applyCommandPolicy(
+		tasksWithVerification,
+		input.project,
+	);
+
+	// ─── Step 5: Assign jobId, provider hints, and finalize ───────────────
+
+	const finalizedTasks = tasksWithPolicy.map((task) => ({
+		...task,
+		jobId,
+		preferredProvider: PROVIDER_HINTS[task.type]?.[0],
+	}));
+
+	// ─── Step 6: Build graph ─────────────────────────────────────────────
+
+	const graph = buildGraph(finalizedTasks);
+
+	// ─── Step 7: Validate ────────────────────────────────────────────────
+
+	assertNoEmptyObjectives(graph);
+	assertNoCycles(graph);
+	assertNoExclusiveFileOverlap(graph);
+	assertEveryTaskHasVerification(graph);
+
+	// Every acceptance criterion must be assigned to at least one task
+	const acIds = input.requirement.acceptanceCriteria.map((c) => c.id);
+	if (acIds.length > 0) {
+		assertEveryCriterionAssigned(graph, acIds);
+	}
+
+	return graph;
+}