pi-harness-runtime 0.10.7 → 0.10.12

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

@@ -1,168 +0,0 @@
-/**
- * Task Compiler - Validation
- *
- * Validates the task graph: cycle detection, file overlap, verification, etc.
- */
-import { TaskCompilerError, TaskCompilerErrorCode } from "./types.js";
-/**
- * Assert the graph has no cycles.
- * Uses Kahn's algorithm to verify all tasks are reachable in topological order.
- */
-export function assertNoCycles(graph) {
-    // Compute in-degrees: how many dependencies each task has
-    const inDegree = new Map();
-    for (const task of graph.tasks) {
-        inDegree.set(task.id, task.dependencies.length);
-    }
-    // Kahn's algorithm
-    const queue = [];
-    for (const [id, degree] of inDegree.entries()) {
-        if (degree === 0)
-            queue.push(id);
-    }
-    const visited = [];
-    while (queue.length > 0) {
-        const id = queue.shift();
-        if (!id)
-            break;
-        visited.push(id);
-        // Reduce in-degree of tasks that depend on `id`
-        for (const task of graph.tasks) {
-            if (task.dependencies.includes(id)) {
-                const newDegree = (inDegree.get(task.id) ?? 1) - 1;
-                inDegree.set(task.id, newDegree);
-                if (newDegree === 0) {
-                    queue.push(task.id);
-                }
-            }
-        }
-    }
-    if (visited.length !== graph.tasks.length) {
-        const unvisited = graph.tasks
-            .filter((t) => !visited.includes(t.id))
-            .map((t) => t.id);
-        throw new TaskCompilerError(TaskCompilerErrorCode.CYCLIC_DEPENDENCY, `Cyclic dependency detected. Tasks in cycle: ${unvisited.join(", ")}`, { cyclicTasks: unvisited });
-    }
-}
-/**
- * Assert no exclusive file overlap between parallel tasks.
- * Two exclusive tasks cannot modify the same files unless one depends on the other.
- */
-export function assertNoExclusiveFileOverlap(graph) {
-    const exclusiveTasks = graph.tasks.filter((t) => t.fileOwnership.mode === "exclusive");
-    const overlaps = [];
-    for (let i = 0; i < exclusiveTasks.length; i++) {
-        for (let j = i + 1; j < exclusiveTasks.length; j++) {
-            const a = exclusiveTasks[i];
-            const b = exclusiveTasks[j];
-            // Sequential: skip if one depends on the other
-            if (a.dependencies.includes(b.id) || b.dependencies.includes(a.id)) {
-                continue;
-            }
-            // Both wait for same parent: not truly parallel
-            const aRoots = getAllDependencies(a.id, graph);
-            const bRoots = getAllDependencies(b.id, graph);
-            if (Array.from(aRoots).some((d) => bRoots.has(d))) {
-                continue;
-            }
-            const conflictFiles = findFileOverlap(a.fileOwnership, b.fileOwnership);
-            if (conflictFiles.length > 0) {
-                overlaps.push({
-                    taskA: a.id,
-                    taskB: b.id,
-                    files: conflictFiles,
-                });
-            }
-        }
-    }
-    if (overlaps.length > 0) {
-        const details = overlaps.map((o) => `${o.taskA} ↔ ${o.taskB}: ${o.files.join(", ")}`);
-        throw new TaskCompilerError(TaskCompilerErrorCode.FILE_OVERLAP_CONFLICT, `Exclusive file overlap detected between parallel tasks: ${details.join("; ")}`, { overlaps });
-    }
-}
-/**
- * Assert every task has at least one required verification output.
- */
-export function assertEveryTaskHasVerification(graph) {
-    const missing = [];
-    for (const task of graph.tasks) {
-        const requiredOutputs = task.expectedOutputs.filter((o) => o.required);
-        if (requiredOutputs.length === 0) {
-            missing.push(task.id);
-        }
-    }
-    if (missing.length > 0) {
-        throw new TaskCompilerError(TaskCompilerErrorCode.NO_VERIFICATION, `Tasks without required verification outputs: ${missing.join(", ")}`, { taskIds: missing });
-    }
-}
-/**
- * Assert no task has an empty objective.
- */
-export function assertNoEmptyObjectives(graph) {
-    const empty = [];
-    for (const task of graph.tasks) {
-        if (!task.objective.trim()) {
-            empty.push(task.id);
-        }
-    }
-    if (empty.length > 0) {
-        throw new TaskCompilerError(TaskCompilerErrorCode.EMPTY_OBJECTIVE, `Tasks with empty objectives: ${empty.join(", ")}`, { taskIds: empty });
-    }
-}
-/**
- * Assert every acceptance criterion is assigned to at least one task.
- */
-export function assertEveryCriterionAssigned(graph, criterionIds) {
-    const assigned = new Set();
-    for (const task of graph.tasks) {
-        for (const cid of task.acceptanceCriteria) {
-            assigned.add(cid);
-        }
-    }
-    const unassigned = criterionIds.filter((c) => !assigned.has(c));
-    if (unassigned.length > 0) {
-        throw new TaskCompilerError(TaskCompilerErrorCode.UNSATISFIED_CRITERION, `Acceptance criteria not assigned to any task: ${unassigned.join(", ")}`, { unassignedCriteria: unassigned });
-    }
-}
-// --- File overlap detection ------------------------------------------
-function findFileOverlap(a, b) {
-    const conflicts = [];
-    for (const patternA of a.include) {
-        for (const patternB of b.include) {
-            if (patternA === patternB) {
-                conflicts.push(patternA);
-            }
-            else if (patternSubsumes(patternA, patternB)) {
-                conflicts.push(patternB);
-            }
-            else if (patternSubsumes(patternB, patternA)) {
-                conflicts.push(patternA);
-            }
-        }
-    }
-    return [...new Set(conflicts)];
-}
-function patternSubsumes(parent, child) {
-    const p = parent.replace(/\/\*\*$/, "");
-    return child.startsWith(`${p}/`) || child.startsWith(p);
-}
-// --- Dependency helpers ------------------------------------------------
-function getAllDependencies(taskId, graph) {
-    const taskMap = new Map(graph.tasks.map((t) => [t.id, t]));
-    const visited = new Set();
-    function walk(id) {
-        if (visited.has(id))
-            return;
-        const task = taskMap.get(id);
-        if (task) {
-            visited.add(id);
-            for (const dep of task.dependencies) {
-                walk(dep);
-            }
-        }
-    }
-    walk(taskId);
-    visited.delete(taskId);
-    return visited;
-}
-//# sourceMappingURL=validate.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEtE;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC9C,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IAED,mBAAmB;IACnB,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;IACD,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE;YAAE,MAAM;QACf,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEjB,gDAAgD;QAChD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACnD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;gBACjC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;oBACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK;aAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,MAAM,IAAI,iBAAiB,CAC1B,qBAAqB,CAAC,iBAAiB,EACvC,+CAA+C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACrE,EAAE,WAAW,EAAE,SAAS,EAAE,CAC1B,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAgB;IAC5D,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,WAAW,CAC3C,CAAC;IAEF,MAAM,QAAQ,GAA6D,EAAE,CAAC;IAE9E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;YAE5B,+CAA+C;YAC/C,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpE,SAAS;YACV,CAAC;YAED,gDAAgD;YAChD,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/C,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnD,SAAS;YACV,CAAC;YAED,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;YACxE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACb,KAAK,EAAE,CAAC,CAAC,EAAE;oBACX,KAAK,EAAE,CAAC,CAAC,EAAE;oBACX,KAAK,EAAE,aAAa;iBACpB,CAAC,CAAC;YACJ,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACvD,CAAC;QACF,MAAM,IAAI,iBAAiB,CAC1B,qBAAqB,CAAC,qBAAqB,EAC3C,2DAA2D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC/E,EAAE,QAAQ,EAAE,CACZ,CAAC;IACH,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAAgB;IAC9D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;IACF,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,iBAAiB,CAC1B,qBAAqB,CAAC,eAAe,EACrC,gDAAgD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACpE,EAAE,OAAO,EAAE,OAAO,EAAE,CACpB,CAAC;IACH,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAgB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,CAAC;IACF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,iBAAiB,CAC1B,qBAAqB,CAAC,eAAe,EACrC,gCAAgC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAClD,EAAE,OAAO,EAAE,KAAK,EAAE,CAClB,CAAC;IACH,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC3C,KAAgB,EAChB,YAAsB;IAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC3C,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACF,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,iBAAiB,CAC1B,qBAAqB,CAAC,qBAAqB,EAC3C,iDAAiD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACxE,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAClC,CAAC;IACH,CAAC;AACF,CAAC;AAED,wEAAwE;AAExE,SAAS,eAAe,CACvB,CAAqC,EACrC,CAAqC;IAErC,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QAClC,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAC3B,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;iBAAM,IAAI,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAChD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;iBAAM,IAAI,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAChD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,eAAe,CAAC,MAAc,EAAE,KAAa;IACrD,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACxC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,0EAA0E;AAE1E,SAAS,kBAAkB,CAAC,MAAc,EAAE,KAAgB;IAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,SAAS,IAAI,CAAC,EAAU;QACvB,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,IAAI,EAAE,CAAC;YACV,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,CAAC,GAAG,CAAC,CAAC;YACX,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,CAAC;IACb,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvB,OAAO,OAAO,CAAC;AAChB,CAAC"}

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

@@ -1,13 +0,0 @@
-/**
- * Task Compiler - Verification Assignment
- *
- * Assigns TaskOutput (expectedOutputs) to each compiled task
- * so completion can be measured objectively.
- */
-import type { CompiledRequirement, CompiledTask } from "./types.js";
-/**
- * Assign verification outputs to each task based on its type
- * and the requirement's acceptance criteria.
- */
-export declare function assignVerification(tasks: CompiledTask[], requirement: CompiledRequirement): CompiledTask[];
-//# sourceMappingURL=verification.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../src/verification.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAc,MAAM,YAAY,CAAC;AAEhF;;;GAGG;AACH,wBAAgB,kBAAkB,CACjC,KAAK,EAAE,YAAY,EAAE,EACrB,WAAW,EAAE,mBAAmB,GAC9B,YAAY,EAAE,CAKhB"}

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

@@ -1,213 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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,EAAE,CAAC;YACvB,OAAO,0BAA0B,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACb,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACf,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACf,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACf,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,eAAe,EAAE,CAAC;YACtB,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,SAAS,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

@@ -1,43 +0,0 @@
-{
-  "name": "@pi-harness/task-compiler",
-  "version": "0.10.7",
-  "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"
-  }
-}