@pickle-pee/runtime 0.0.0

package/dist/subagent/aggregation.js

@@ -0,0 +1,124 @@
+"use strict";
+/**
+ * Main agent result aggregation and rework decision logic.
+ *
+ * Collects results from multiple subagent tasks, evaluates verification
+ * outcomes, and decides whether each task should be accepted, reworked,
+ * or abandoned.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.aggregateResults = aggregateResults;
+exports.decideRework = decideRework;
+const path_scope_js_1 = require("./path-scope.js");
+const verification_js_1 = require("./verification.js");
+// ---------------------------------------------------------------------------
+// Aggregation
+// ---------------------------------------------------------------------------
+/** Aggregate results from multiple completed subagent tasks. */
+function aggregateResults(planId, results, reworkDecisionsInput) {
+    const allModifiedPaths = [];
+    const allRisks = [];
+    const reworkDecisions = reworkDecisionsInput ?? new Map();
+    let completedTasks = 0;
+    let failedTasks = 0;
+    for (const result of results) {
+        // Merge paths
+        allModifiedPaths.push(...result.modifiedPaths);
+        // Merge risks
+        allRisks.push(...result.risks);
+        // Count by final decision when available; otherwise fall back to raw status.
+        const finalDecision = reworkDecisions.get(result.taskId);
+        const accepted = finalDecision ? finalDecision.type === "accept" : result.status === "completed";
+        if (accepted) {
+            completedTasks++;
+        }
+        else {
+            failedTasks++;
+        }
+    }
+    const tasksRequiringRework = [...reworkDecisions.values()].filter((d) => d.type === "rework").length;
+    return {
+        planId,
+        totalTasks: results.length,
+        completedTasks,
+        failedTasks,
+        tasksRequiringRework,
+        allModifiedPaths,
+        allRisks,
+        reworkDecisions,
+        completedAt: Date.now(),
+    };
+}
+// ---------------------------------------------------------------------------
+// Rework decision
+// ---------------------------------------------------------------------------
+/**
+ * Decide whether a task result needs rework, should be accepted, or abandoned.
+ *
+ * Decision matrix:
+ *   completed + all verifications passed         → accept
+ *   completed + verification failures + rework    → rework (focus: failed names)
+ *   completed + verification failures + no rework → abandon
+ *   boundary_violation                            → abandon
+ *   failed + rework available                     → rework
+ *   failed + no rework                            → abandon
+ *   stop_condition_triggered + rework             → rework
+ *   stop_condition_triggered + no rework          → abandon
+ */
+function decideRework(task, result, maxReworkAttempts, currentReworkCount) {
+    const canRework = currentReworkCount < maxReworkAttempts;
+    switch (result.status) {
+        case "completed": {
+            // Boundary check: verify all modified paths are within scope
+            const boundaryViolations = result.modifiedPaths.filter((p) => (0, path_scope_js_1.wouldViolateBoundary)(task.scope, p));
+            if (boundaryViolations.length > 0) {
+                if (canRework) {
+                    return {
+                        type: "rework",
+                        reason: `Modified paths outside scope: ${boundaryViolations.join(", ")}`,
+                        focusAreas: ["scope_compliance"],
+                    };
+                }
+                return {
+                    type: "abandon",
+                    reason: `Boundary violation in modified paths (rework limit exceeded): ${boundaryViolations.join(", ")}`,
+                };
+            }
+            const evaluation = (0, verification_js_1.evaluateVerifications)(task.verification, result.verifications);
+            if (evaluation.allPassed) {
+                return { type: "accept" };
+            }
+            if (canRework) {
+                return {
+                    type: "rework",
+                    reason: `Verification failures: ${evaluation.failedNames.join(", ")}`,
+                    focusAreas: [...evaluation.failedNames],
+                };
+            }
+            return { type: "abandon", reason: "Rework limit exceeded — verification failures persist" };
+        }
+        case "boundary_violation":
+            return { type: "abandon", reason: "Boundary violation detected — subagent modified paths outside its scope" };
+        case "failed": {
+            if (canRework) {
+                return {
+                    type: "rework",
+                    reason: "Task execution failed",
+                    focusAreas: [],
+                };
+            }
+            return { type: "abandon", reason: "Rework limit exceeded — task keeps failing" };
+        }
+        case "stop_condition_triggered": {
+            if (canRework) {
+                return {
+                    type: "rework",
+                    reason: "Stop condition was triggered",
+                    focusAreas: [],
+                };
+            }
+            return { type: "abandon", reason: "Rework limit exceeded — stop conditions keep triggering" };
+        }
+    }
+}
+//# sourceMappingURL=aggregation.js.map

package/dist/subagent/aggregation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregation.js","sourceRoot":"","sources":["../../src/subagent/aggregation.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAYH,4CA0CC;AAmBD,oCAiEC;AAxID,mDAAuD;AAGvD,uDAA0D;AAE1D,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,gEAAgE;AAChE,SAAgB,gBAAgB,CAC/B,MAAc,EACd,OAAkC,EAClC,oBAA0D;IAE1D,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,MAAM,eAAe,GAAG,oBAAoB,IAAI,IAAI,GAAG,EAA0B,CAAC;IAClF,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,cAAc;QACd,gBAAgB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;QAE/C,cAAc;QACd,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAE/B,6EAA6E;QAC7E,MAAM,aAAa,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC;QAEjG,IAAI,QAAQ,EAAE,CAAC;YACd,cAAc,EAAE,CAAC;QAClB,CAAC;aAAM,CAAC;YACP,WAAW,EAAE,CAAC;QACf,CAAC;IACF,CAAC;IAED,MAAM,oBAAoB,GAAG,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IAErG,OAAO;QACN,MAAM;QACN,UAAU,EAAE,OAAO,CAAC,MAAM;QAC1B,cAAc;QACd,WAAW;QACX,oBAAoB;QACpB,gBAAgB;QAChB,QAAQ;QACR,eAAe;QACf,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;KACvB,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,SAAgB,YAAY,CAC3B,IAAkB,EAClB,MAAsB,EACtB,iBAAyB,EACzB,kBAA0B;IAE1B,MAAM,SAAS,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;IAEzD,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,WAAW,CAAC,CAAC,CAAC;YAClB,6DAA6D;YAC7D,MAAM,kBAAkB,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,oCAAoB,EAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACnG,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,IAAI,SAAS,EAAE,CAAC;oBACf,OAAO;wBACN,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,iCAAiC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;wBACxE,UAAU,EAAE,CAAC,kBAAkB,CAAC;qBAChC,CAAC;gBACH,CAAC;gBACD,OAAO;oBACN,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,iEAAiE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBACxG,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,IAAA,uCAAqB,EAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;YAClF,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;gBAC1B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC3B,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACf,OAAO;oBACN,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,0BAA0B,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBACrE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,WAAW,CAAC;iBACvC,CAAC;YACH,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;QAC7F,CAAC;QAED,KAAK,oBAAoB;YACxB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,yEAAyE,EAAE,CAAC;QAE/G,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,IAAI,SAAS,EAAE,CAAC;gBACf,OAAO;oBACN,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,uBAAuB;oBAC/B,UAAU,EAAE,EAAE;iBACd,CAAC;YACH,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,4CAA4C,EAAE,CAAC;QAClF,CAAC;QAED,KAAK,0BAA0B,CAAC,CAAC,CAAC;YACjC,IAAI,SAAS,EAAE,CAAC;gBACf,OAAO;oBACN,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,8BAA8B;oBACtC,UAAU,EAAE,EAAE;iBACd,CAAC;YACH,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC;QAC/F,CAAC;IACF,CAAC;AACF,CAAC"}

package/dist/subagent/index.d.ts

@@ -0,0 +1,10 @@
+export { aggregateResults, decideRework } from "./aggregation.js";
+export { isPathAllowed, isPathForbidden, scopesOverlap, wouldViolateBoundary, } from "./path-scope.js";
+export type { AggregationResult, ReworkDecision, SubagentResult, SubagentResultStatus, SubagentRuntimeSnapshot, TaskRisk, VerificationResult, } from "./result-types.js";
+export type { StopConditionEvaluation, SubagentRuntimeState } from "./stop-condition.js";
+export { createInitialRuntimeState, evaluateStopConditions, recordBoundaryViolation, recordError, recordModification, updateElapsedTime, } from "./stop-condition.js";
+export type { PathScope, StopCondition, StopConditionType, SubagentTask, TaskInputs, Verification, VerificationType, } from "./task-types.js";
+export type { ValidationResult } from "./task-validator.js";
+export { hasConsistentScope, hasRequiredFields, validateTask } from "./task-validator.js";
+export type { VerificationEvaluation } from "./verification.js";
+export { evaluateVerifications, isVerificationTrustworthy } from "./verification.js";

package/dist/subagent/index.js

@@ -0,0 +1,29 @@
+"use strict";
+// subagent/ — Subagent task contract, result delivery, validation, and aggregation.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isVerificationTrustworthy = exports.evaluateVerifications = exports.validateTask = exports.hasRequiredFields = exports.hasConsistentScope = exports.updateElapsedTime = exports.recordModification = exports.recordError = exports.recordBoundaryViolation = exports.evaluateStopConditions = exports.createInitialRuntimeState = exports.wouldViolateBoundary = exports.scopesOverlap = exports.isPathForbidden = exports.isPathAllowed = exports.decideRework = exports.aggregateResults = void 0;
+// Aggregation
+var aggregation_js_1 = require("./aggregation.js");
+Object.defineProperty(exports, "aggregateResults", { enumerable: true, get: function () { return aggregation_js_1.aggregateResults; } });
+Object.defineProperty(exports, "decideRework", { enumerable: true, get: function () { return aggregation_js_1.decideRework; } });
+// Path scope
+var path_scope_js_1 = require("./path-scope.js");
+Object.defineProperty(exports, "isPathAllowed", { enumerable: true, get: function () { return path_scope_js_1.isPathAllowed; } });
+Object.defineProperty(exports, "isPathForbidden", { enumerable: true, get: function () { return path_scope_js_1.isPathForbidden; } });
+Object.defineProperty(exports, "scopesOverlap", { enumerable: true, get: function () { return path_scope_js_1.scopesOverlap; } });
+Object.defineProperty(exports, "wouldViolateBoundary", { enumerable: true, get: function () { return path_scope_js_1.wouldViolateBoundary; } });
+var stop_condition_js_1 = require("./stop-condition.js");
+Object.defineProperty(exports, "createInitialRuntimeState", { enumerable: true, get: function () { return stop_condition_js_1.createInitialRuntimeState; } });
+Object.defineProperty(exports, "evaluateStopConditions", { enumerable: true, get: function () { return stop_condition_js_1.evaluateStopConditions; } });
+Object.defineProperty(exports, "recordBoundaryViolation", { enumerable: true, get: function () { return stop_condition_js_1.recordBoundaryViolation; } });
+Object.defineProperty(exports, "recordError", { enumerable: true, get: function () { return stop_condition_js_1.recordError; } });
+Object.defineProperty(exports, "recordModification", { enumerable: true, get: function () { return stop_condition_js_1.recordModification; } });
+Object.defineProperty(exports, "updateElapsedTime", { enumerable: true, get: function () { return stop_condition_js_1.updateElapsedTime; } });
+var task_validator_js_1 = require("./task-validator.js");
+Object.defineProperty(exports, "hasConsistentScope", { enumerable: true, get: function () { return task_validator_js_1.hasConsistentScope; } });
+Object.defineProperty(exports, "hasRequiredFields", { enumerable: true, get: function () { return task_validator_js_1.hasRequiredFields; } });
+Object.defineProperty(exports, "validateTask", { enumerable: true, get: function () { return task_validator_js_1.validateTask; } });
+var verification_js_1 = require("./verification.js");
+Object.defineProperty(exports, "evaluateVerifications", { enumerable: true, get: function () { return verification_js_1.evaluateVerifications; } });
+Object.defineProperty(exports, "isVerificationTrustworthy", { enumerable: true, get: function () { return verification_js_1.isVerificationTrustworthy; } });
+//# sourceMappingURL=index.js.map

package/dist/subagent/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/subagent/index.ts"],"names":[],"mappings":";AAAA,oFAAoF;;;AAEpF,cAAc;AACd,mDAAkE;AAAzD,kHAAA,gBAAgB,OAAA;AAAE,8GAAA,YAAY,OAAA;AACvC,aAAa;AACb,iDAKyB;AAJxB,8GAAA,aAAa,OAAA;AACb,gHAAA,eAAe,OAAA;AACf,8GAAA,aAAa,OAAA;AACb,qHAAA,oBAAoB,OAAA;AAcrB,yDAO6B;AAN5B,8HAAA,yBAAyB,OAAA;AACzB,2HAAA,sBAAsB,OAAA;AACtB,4HAAA,uBAAuB,OAAA;AACvB,gHAAA,WAAW,OAAA;AACX,uHAAA,kBAAkB,OAAA;AAClB,sHAAA,iBAAiB,OAAA;AAclB,yDAA0F;AAAjF,uHAAA,kBAAkB,OAAA;AAAE,sHAAA,iBAAiB,OAAA;AAAE,iHAAA,YAAY,OAAA;AAG5D,qDAAqF;AAA5E,wHAAA,qBAAqB,OAAA;AAAE,4HAAA,yBAAyB,OAAA"}

package/dist/subagent/path-scope.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Path scope boundary checking.
+ *
+ * Uses normalize + prefix matching to determine whether a path falls within
+ * a subagent's allowed scope. Supports glob-style `/**` suffix to mean
+ * "this directory and everything below it".
+ */
+import type { PathScope } from "./task-types.js";
+/** Check if a path is within the allowed scope of a task. */
+export declare function isPathAllowed(scope: PathScope, filePath: string): boolean;
+/** Check if a path is explicitly forbidden. */
+export declare function isPathForbidden(scope: PathScope, filePath: string): boolean;
+/** Check if a modification to a path would violate the task boundary. */
+export declare function wouldViolateBoundary(scope: PathScope, filePath: string): boolean;
+/**
+ * Check whether two path scopes share any allowed paths.
+ * Used to determine if two subagent tasks can safely run concurrently.
+ */
+export declare function scopesOverlap(a: PathScope, b: PathScope): boolean;
+/**
+ * Check that allowedPaths and forbiddenPaths do not overlap.
+ * Returns true if the scope is consistent (no overlap).
+ */
+export declare function isScopeConsistent(scope: PathScope): boolean;

package/dist/subagent/path-scope.js

@@ -0,0 +1,86 @@
+"use strict";
+/**
+ * Path scope boundary checking.
+ *
+ * Uses normalize + prefix matching to determine whether a path falls within
+ * a subagent's allowed scope. Supports glob-style `/**` suffix to mean
+ * "this directory and everything below it".
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isPathAllowed = isPathAllowed;
+exports.isPathForbidden = isPathForbidden;
+exports.wouldViolateBoundary = wouldViolateBoundary;
+exports.scopesOverlap = scopesOverlap;
+exports.isScopeConsistent = isScopeConsistent;
+const node_path_1 = require("node:path");
+// ---------------------------------------------------------------------------
+// Internal: strip trailing /** for prefix matching
+// ---------------------------------------------------------------------------
+/**
+ * Convert a scope pattern to a directory prefix for matching.
+ * `packages/app-runtime/**` → `packages/app-runtime`
+ * `packages/app-runtime`    → `packages/app-runtime`
+ */
+function toPrefix(pattern) {
+    const norm = (0, node_path_1.normalize)(pattern);
+    if (norm.endsWith("/**") || norm.endsWith("/**")) {
+        return norm.slice(0, -3);
+    }
+    return norm;
+}
+/** Check if `filePath` is under or equal to `dirPrefix`. */
+function isUnderPrefix(filePath, dirPrefix) {
+    return filePath === dirPrefix || filePath.startsWith(`${dirPrefix}/`);
+}
+// ---------------------------------------------------------------------------
+// Single-path checks
+// ---------------------------------------------------------------------------
+/** Check if a path is within the allowed scope of a task. */
+function isPathAllowed(scope, filePath) {
+    const normalized = (0, node_path_1.normalize)(filePath);
+    return scope.allowedPaths.some((allowed) => {
+        const prefix = toPrefix(allowed);
+        return isUnderPrefix(normalized, prefix);
+    });
+}
+/** Check if a path is explicitly forbidden. */
+function isPathForbidden(scope, filePath) {
+    const normalized = (0, node_path_1.normalize)(filePath);
+    return scope.forbiddenPaths.some((forbidden) => {
+        const prefix = toPrefix(forbidden);
+        return isUnderPrefix(normalized, prefix);
+    });
+}
+/** Check if a modification to a path would violate the task boundary. */
+function wouldViolateBoundary(scope, filePath) {
+    return !isPathAllowed(scope, filePath) || isPathForbidden(scope, filePath);
+}
+// ---------------------------------------------------------------------------
+// Scope-pair checks
+// ---------------------------------------------------------------------------
+/**
+ * Check whether two path scopes share any allowed paths.
+ * Used to determine if two subagent tasks can safely run concurrently.
+ */
+function scopesOverlap(a, b) {
+    return a.allowedPaths.some((pathA) => b.allowedPaths.some((pathB) => {
+        const pA = toPrefix(pathA);
+        const pB = toPrefix(pathB);
+        return pA.startsWith(pB) || pB.startsWith(pA);
+    }));
+}
+// ---------------------------------------------------------------------------
+// Internal
+// ---------------------------------------------------------------------------
+/**
+ * Check that allowedPaths and forbiddenPaths do not overlap.
+ * Returns true if the scope is consistent (no overlap).
+ */
+function isScopeConsistent(scope) {
+    return !scope.allowedPaths.some((allowed) => scope.forbiddenPaths.some((forbidden) => {
+        const pA = toPrefix(allowed);
+        const pF = toPrefix(forbidden);
+        return pA === pF || pA.startsWith(`${pF}/`) || pF.startsWith(`${pA}/`);
+    }));
+}
+//# sourceMappingURL=path-scope.js.map

package/dist/subagent/path-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-scope.js","sourceRoot":"","sources":["../../src/subagent/path-scope.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAgCH,sCAMC;AAGD,0CAMC;AAGD,oDAEC;AAUD,sCAQC;AAUD,8CAQC;AAtFD,yCAAsC;AAGtC,8EAA8E;AAC9E,mDAAmD;AACnD,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,QAAQ,CAAC,OAAe;IAChC,MAAM,IAAI,GAAG,IAAA,qBAAS,EAAC,OAAO,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,4DAA4D;AAC5D,SAAS,aAAa,CAAC,QAAgB,EAAE,SAAiB;IACzD,OAAO,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC;AACvE,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,6DAA6D;AAC7D,SAAgB,aAAa,CAAC,KAAgB,EAAE,QAAgB;IAC/D,MAAM,UAAU,GAAG,IAAA,qBAAS,EAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;QAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjC,OAAO,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,+CAA+C;AAC/C,SAAgB,eAAe,CAAC,KAAgB,EAAE,QAAgB;IACjE,MAAM,UAAU,GAAG,IAAA,qBAAS,EAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QACnC,OAAO,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAgB,oBAAoB,CAAC,KAAgB,EAAE,QAAgB;IACtE,OAAO,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC5E,CAAC;AAED,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;GAGG;AACH,SAAgB,aAAa,CAAC,CAAY,EAAE,CAAY;IACvD,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACpC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7B,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3B,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CACF,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,WAAW;AACX,8EAA8E;AAE9E;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,KAAgB;IACjD,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3C,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QACvC,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC/B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxE,CAAC,CAAC,CACF,CAAC;AACH,CAAC"}

package/dist/subagent/result-types.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Subagent result and aggregation types.
+ *
+ * Defines the structured schema for results delivered by subagents,
+ * rework decisions made by the reviewer, and aggregation of multi-task outcomes.
+ */
+/** Status of a completed subagent task. */
+export type SubagentResultStatus = "completed" | "failed" | "boundary_violation" | "stop_condition_triggered";
+/** Result of a single verification check. */
+export interface VerificationResult {
+    readonly name: string;
+    readonly status: "passed" | "failed" | "error" | "skipped";
+    readonly output?: string;
+    readonly durationMs?: number;
+}
+/** Runtime counters reported by the subagent for stop-condition enforcement. */
+export interface SubagentRuntimeSnapshot {
+    readonly elapsedMs?: number;
+    readonly errorCount?: number;
+    readonly boundaryViolations?: number;
+}
+/** A risk identified by the subagent or reviewer. */
+export interface TaskRisk {
+    readonly severity: "low" | "medium" | "high";
+    readonly description: string;
+    readonly affectedPaths: readonly string[];
+}
+/** The structured result delivered by a subagent upon task completion. */
+export interface SubagentResult {
+    readonly taskId: string;
+    readonly status: SubagentResultStatus;
+    readonly modifiedPaths: readonly string[];
+    readonly verifications: readonly VerificationResult[];
+    readonly risks: readonly TaskRisk[];
+    readonly handoffNotes: readonly string[];
+    readonly runtime?: SubagentRuntimeSnapshot;
+    readonly completedAt: number;
+}
+/** The rework decision made by the reviewer / main agent. */
+export type ReworkDecision = {
+    readonly type: "accept";
+} | {
+    readonly type: "rework";
+    readonly reason: string;
+    readonly focusAreas: readonly string[];
+} | {
+    readonly type: "abandon";
+    readonly reason: string;
+};
+/** The overall aggregation of multiple subagent task results. */
+export interface AggregationResult {
+    readonly planId: string;
+    readonly totalTasks: number;
+    readonly completedTasks: number;
+    readonly failedTasks: number;
+    readonly tasksRequiringRework: number;
+    readonly allModifiedPaths: readonly string[];
+    readonly allRisks: readonly TaskRisk[];
+    readonly reworkDecisions: ReadonlyMap<string, ReworkDecision>;
+    readonly completedAt: number;
+}

package/dist/subagent/result-types.js

@@ -0,0 +1,9 @@
+"use strict";
+/**
+ * Subagent result and aggregation types.
+ *
+ * Defines the structured schema for results delivered by subagents,
+ * rework decisions made by the reviewer, and aggregation of multi-task outcomes.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=result-types.js.map

package/dist/subagent/result-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-types.js","sourceRoot":"","sources":["../../src/subagent/result-types.ts"],"names":[],"mappings":";AAAA;;;;;GAKG"}

package/dist/subagent/stop-condition.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Stop condition evaluation.
+ *
+ * Tracks runtime state for a subagent and evaluates whether any stop condition
+ * has been triggered. All state updates are immutable.
+ */
+import type { StopCondition } from "./task-types.js";
+/** Runtime tracking state for evaluating stop conditions. */
+export interface SubagentRuntimeState {
+    readonly modifiedPaths: readonly string[];
+    readonly elapsedMs: number;
+    readonly errorCount: number;
+    readonly boundaryViolations: number;
+}
+/** Result of evaluating stop conditions against current state. */
+export interface StopConditionEvaluation {
+    readonly triggered: boolean;
+    readonly triggeredCondition?: StopCondition;
+}
+/** Create an initial runtime state with zero values. */
+export declare function createInitialRuntimeState(): SubagentRuntimeState;
+/** Record a file modification immutably. */
+export declare function recordModification(state: SubagentRuntimeState, path: string): SubagentRuntimeState;
+/** Record an error immutably. */
+export declare function recordError(state: SubagentRuntimeState): SubagentRuntimeState;
+/** Record a boundary violation immutably. */
+export declare function recordBoundaryViolation(state: SubagentRuntimeState): SubagentRuntimeState;
+/** Update elapsed time immutably. */
+export declare function updateElapsedTime(state: SubagentRuntimeState, elapsedMs: number): SubagentRuntimeState;
+/**
+ * Evaluate whether any stop condition has been triggered.
+ * Returns on the first triggered condition (first-match semantics).
+ */
+export declare function evaluateStopConditions(conditions: readonly StopCondition[], state: SubagentRuntimeState): StopConditionEvaluation;

package/dist/subagent/stop-condition.js

@@ -0,0 +1,76 @@
+"use strict";
+/**
+ * Stop condition evaluation.
+ *
+ * Tracks runtime state for a subagent and evaluates whether any stop condition
+ * has been triggered. All state updates are immutable.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createInitialRuntimeState = createInitialRuntimeState;
+exports.recordModification = recordModification;
+exports.recordError = recordError;
+exports.recordBoundaryViolation = recordBoundaryViolation;
+exports.updateElapsedTime = updateElapsedTime;
+exports.evaluateStopConditions = evaluateStopConditions;
+// ---------------------------------------------------------------------------
+// Factory
+// ---------------------------------------------------------------------------
+/** Create an initial runtime state with zero values. */
+function createInitialRuntimeState() {
+    return { modifiedPaths: [], elapsedMs: 0, errorCount: 0, boundaryViolations: 0 };
+}
+// ---------------------------------------------------------------------------
+// State updaters — return new instances
+// ---------------------------------------------------------------------------
+/** Record a file modification immutably. */
+function recordModification(state, path) {
+    return { ...state, modifiedPaths: [...state.modifiedPaths, path] };
+}
+/** Record an error immutably. */
+function recordError(state) {
+    return { ...state, errorCount: state.errorCount + 1 };
+}
+/** Record a boundary violation immutably. */
+function recordBoundaryViolation(state) {
+    return { ...state, boundaryViolations: state.boundaryViolations + 1 };
+}
+/** Update elapsed time immutably. */
+function updateElapsedTime(state, elapsedMs) {
+    return { ...state, elapsedMs };
+}
+// ---------------------------------------------------------------------------
+// Evaluation
+// ---------------------------------------------------------------------------
+/**
+ * Evaluate whether any stop condition has been triggered.
+ * Returns on the first triggered condition (first-match semantics).
+ */
+function evaluateStopConditions(conditions, state) {
+    for (const condition of conditions) {
+        if (isTriggered(condition, state)) {
+            return { triggered: true, triggeredCondition: condition };
+        }
+    }
+    return NOT_TRIGGERED;
+}
+// ---------------------------------------------------------------------------
+// Internal
+// ---------------------------------------------------------------------------
+function isTriggered(condition, state) {
+    switch (condition.type) {
+        case "boundary_violation":
+            return state.boundaryViolations > 0;
+        case "max_duration_ms":
+            return typeof condition.value === "number" && state.elapsedMs >= condition.value;
+        case "max_file_count":
+        case "max_mutations":
+            return typeof condition.value === "number" && state.modifiedPaths.length >= condition.value;
+        case "error_threshold":
+            return typeof condition.value === "number" && state.errorCount >= condition.value;
+        case "custom":
+            // Reserved for P5+ — custom conditions require runtime hooks not yet available
+            return false;
+    }
+}
+const NOT_TRIGGERED = Object.freeze({ triggered: false });
+//# sourceMappingURL=stop-condition.js.map

package/dist/subagent/stop-condition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-condition.js","sourceRoot":"","sources":["../../src/subagent/stop-condition.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AA2BH,8DAEC;AAOD,gDAEC;AAGD,kCAEC;AAGD,0DAEC;AAGD,8CAEC;AAUD,wDAUC;AAnDD,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,wDAAwD;AACxD,SAAgB,yBAAyB;IACxC,OAAO,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E,4CAA4C;AAC5C,SAAgB,kBAAkB,CAAC,KAA2B,EAAE,IAAY;IAC3E,OAAO,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,iCAAiC;AACjC,SAAgB,WAAW,CAAC,KAA2B;IACtD,OAAO,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,6CAA6C;AAC7C,SAAgB,uBAAuB,CAAC,KAA2B;IAClE,OAAO,EAAE,GAAG,KAAK,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,qCAAqC;AACrC,SAAgB,iBAAiB,CAAC,KAA2B,EAAE,SAAiB;IAC/E,OAAO,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;GAGG;AACH,SAAgB,sBAAsB,CACrC,UAAoC,EACpC,KAA2B;IAE3B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC;QAC3D,CAAC;IACF,CAAC;IACD,OAAO,aAAa,CAAC;AACtB,CAAC;AAED,8EAA8E;AAC9E,WAAW;AACX,8EAA8E;AAE9E,SAAS,WAAW,CAAC,SAAwB,EAAE,KAA2B;IACzE,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,oBAAoB;YACxB,OAAO,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC;QACrC,KAAK,iBAAiB;YACrB,OAAO,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC;QAClF,KAAK,gBAAgB,CAAC;QACtB,KAAK,eAAe;YACnB,OAAO,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,IAAI,SAAS,CAAC,KAAK,CAAC;QAC7F,KAAK,iBAAiB;YACrB,OAAO,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,IAAI,SAAS,CAAC,KAAK,CAAC;QACnF,KAAK,QAAQ;YACZ,+EAA+E;YAC/E,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED,MAAM,aAAa,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC"}

package/dist/subagent/task-types.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Subagent task contract types.
+ *
+ * Defines the structured schema for dispatching work to subagents.
+ * Every subagent task must specify scope, verification, and stop conditions —
+ * tasks missing these are considered unsafe and cannot be dispatched.
+ */
+/** Path scope boundaries for a subagent task. */
+export interface PathScope {
+    /** Paths the subagent is allowed to read and modify. Must be non-empty. */
+    readonly allowedPaths: readonly string[];
+    /** Paths explicitly forbidden even if within allowedPaths. */
+    readonly forbiddenPaths: readonly string[];
+}
+/** Input materials provided to a subagent. */
+export interface TaskInputs {
+    readonly docs: readonly string[];
+    readonly files: readonly string[];
+    readonly assumptions: readonly string[];
+}
+/** Verification type discriminator. */
+export type VerificationType = "command" | "file_exists" | "no_errors" | "custom";
+/** A single verification check for a subagent task. */
+export interface Verification {
+    readonly name: string;
+    readonly type: VerificationType;
+    readonly command?: string;
+    readonly expected?: string;
+    readonly description: string;
+}
+/** Stop condition type discriminator. */
+export type StopConditionType = "boundary_violation" | "max_duration_ms" | "max_file_count" | "max_mutations" | "error_threshold" | "custom";
+/** A condition under which the subagent must stop immediately. */
+export interface StopCondition {
+    readonly type: StopConditionType;
+    readonly value?: number;
+    readonly description: string;
+}
+/** The complete subagent task contract — the input schema for dispatching work. */
+export interface SubagentTask {
+    readonly taskId: string;
+    readonly goal: string;
+    readonly scope: PathScope;
+    readonly inputs: TaskInputs;
+    readonly deliverables: readonly string[];
+    readonly verification: readonly Verification[];
+    readonly stopConditions: readonly StopCondition[];
+}

package/dist/subagent/task-types.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * Subagent task contract types.
+ *
+ * Defines the structured schema for dispatching work to subagents.
+ * Every subagent task must specify scope, verification, and stop conditions —
+ * tasks missing these are considered unsafe and cannot be dispatched.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=task-types.js.map

package/dist/subagent/task-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-types.js","sourceRoot":"","sources":["../../src/subagent/task-types.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG"}

package/dist/subagent/task-validator.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Task contract validation.
+ *
+ * Enforces the three mandatory rules from the subagent protocol:
+ *   1. No task without allowed_paths can be dispatched
+ *   2. No task without verification can be dispatched
+ *   3. No task without stop_conditions is considered safe
+ *
+ * Plus consistency checks: taskId/goal non-empty, no scope overlap.
+ */
+import type { PathScope, SubagentTask } from "./task-types.js";
+/** Outcome of a validation check. */
+export interface ValidationResult {
+    readonly valid: boolean;
+    readonly errors: readonly string[];
+}
+/** Validate that a task contract is complete and dispatchable. */
+export declare function validateTask(task: SubagentTask): ValidationResult;
+/** Check that allowedPaths and forbiddenPaths do not overlap. */
+export declare function hasConsistentScope(scope: PathScope): ValidationResult;
+/** Check required fields only (no scope consistency check). */
+export declare function hasRequiredFields(task: SubagentTask): ValidationResult;