open-multi-agent-kit 0.99.0 → 1.0.0

package/dist/core/subagent-lane-authority.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"subagent-lane-authority.d.ts","sourceRoot":"","sources":["../../src/core/subagent-lane-authority.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EAA8B,KAAK,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACrG,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAIzE;;;;;;;;;;GAUG;AACH,YAAY,EACX,qBAAqB,EACrB,kCAAkC,EAClC,mCAAmC,GACnC,MAAM,6BAA6B,CAAC;AAErC,kFAAkF;AAClF,MAAM,WAAW,gCAAgC;IAChD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE,OAAO,2BAA2B,EAAE,kBAAkB,CAAC;IAC5E,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,MAAM,IAAI,CAAC;CAC7C;AAyBD,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,gCAAgC,GAAG,qBAAqB,CAgG5G","sourcesContent":["import type { CapabilityInventory } from \"./loadouts.ts\";\nimport { RESOURCE_ADMISSION_VERSION, type ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { SubagentLaneAuthority } from \"./subagent-lane-contract.ts\";\nimport { launchSubagentLanes } from \"./subagent-lane-launcher.ts\";\nimport { buildSubagentOrchestrationPlan } from \"./subagent-orchestration.ts\";\n\n/**\n * Spec 020 Req1 — extension-facing subagent lane authority.\n *\n * A bound implementation is created by AgentSession and exposed to extension\n * tool contexts. It routes a caller's lane plan through the shared core\n * primitives (`buildSubagentOrchestrationPlan` → `launchSubagentLanes`) while\n * injecting the parent's admission decision, the shared `WorkloadPermitPool`,\n * and prompt-settlement child counters. Extensions must never raise parent\n * caps; `launchSubagentLanes` enforces the effective width as a floor of the\n * caller's configured cap and the parent's admission.\n */\nexport type {\n\tSubagentLaneAuthority,\n\tSubagentLaneAuthorityDispatchInput,\n\tSubagentLaneAuthorityDispatchResult,\n} from \"./subagent-lane-contract.ts\";\n\n/** Internal host binding the session supplies when constructing the authority. */\nexport interface SubagentLaneAuthorityHostBinding {\n\treadonly runId: string;\n\treadonly promptRunId?: string;\n\treadonly decision: ResourceAdmissionDecision | null;\n\treadonly permitPool: import(\"./workload-permit-pool.ts\").WorkloadPermitPool;\n\treadonly inventory: CapabilityInventory;\n\treadonly signal?: AbortSignal;\n\treadonly spawnThreshold?: number;\n\treadonly noteDetachedChild: () => () => void;\n}\n\n/**\n * Bind a SubagentLaneAuthority to a session's admission decision, shared permit\n * pool, and prompt-settlement lifecycle. The returned authority's\n * dispatchLanes() enforces spec 020: the caller supplies lanes and a launcher;\n * the authority injects plan admission, the shared pool, and per-lane\n * settlement counters, and never lets the caller widen the parent's caps.\n */\n/**\n * Unresolved child settlements keyed by the shared permit pool. AgentSession\n * recreates the authority per dispatch over the same pool, so per-instance\n * state alone would let a fresh instance forget an owned, unsettled child.\n */\nconst pendingSettlementsByPool = new WeakMap<object, Set<Promise<void>>>();\n\nfunction unsettledSettlements(pool: object): Set<Promise<void>> {\n\tlet set = pendingSettlementsByPool.get(pool);\n\tif (set === undefined) {\n\t\tset = new Set();\n\t\tpendingSettlementsByPool.set(pool, set);\n\t}\n\treturn set;\n}\n\nexport function createSubagentLaneAuthority(binding: SubagentLaneAuthorityHostBinding): SubagentLaneAuthority {\n\tconst { runId, promptRunId, decision, permitPool, inventory, signal, spawnThreshold, noteDetachedChild } = binding;\n\tconst pendingSettlements = unsettledSettlements(permitPool);\n\treturn {\n\t\tpermitPool,\n\t\tactivePromptRunId: promptRunId,\n\t\tgetCurrentResourceAdmission: () => decision,\n\t\tnoteDetachedChild,\n\t\tdispatchLanes: async (input) => {\n\t\t\tif (pendingSettlements.size > 0) {\n\t\t\t\treturn {\n\t\t\t\t\toutcomes: [],\n\t\t\t\t\teffectiveLaneWidth: 0,\n\t\t\t\t\tmaxObservedConcurrency: 0,\n\t\t\t\t\tblockers: [\"ownership.unsettled\"],\n\t\t\t\t\twarnings: [],\n\t\t\t\t};\n\t\t\t}\n\t\t\tconst plan = buildSubagentOrchestrationPlan({\n\t\t\t\trunId,\n\t\t\t\tlanes: input.lanes,\n\t\t\t\tinventory,\n\t\t\t\tspawnPlan: input.spawnPlan,\n\t\t\t\tspawnThreshold,\n\t\t\t\tmaxParallelLanes: input.configuredMaxParallelLanes,\n\t\t\t});\n\t\t\tif (plan.blockers.length > 0) {\n\t\t\t\treturn {\n\t\t\t\t\toutcomes: [],\n\t\t\t\t\teffectiveLaneWidth: 0,\n\t\t\t\t\tmaxObservedConcurrency: 0,\n\t\t\t\t\tblockers: plan.blockers,\n\t\t\t\t\twarnings: plan.warnings,\n\t\t\t\t};\n\t\t\t}\n\t\t\t// §14.1: the caller's admission decision, if present, is authoritative.\n\t\t\t// Without one the launcher sees an unbounded parent (observe mode).\n\t\t\tconst resolvedDecision =\n\t\t\t\tdecision ??\n\t\t\t\t({\n\t\t\t\t\tschemaVersion: RESOURCE_ADMISSION_VERSION,\n\t\t\t\t\tdecisionId: `admission-${runId}`,\n\t\t\t\t\tsnapshotDigest: \"none\",\n\t\t\t\t\tpressure: \"normal\",\n\t\t\t\t\taction: \"allow\",\n\t\t\t\t\tmaxToolConcurrency: Number.POSITIVE_INFINITY,\n\t\t\t\t\tmaxParallelLanes: Number.POSITIVE_INFINITY,\n\t\t\t\t\tmaxHeavyProcesses: Number.POSITIVE_INFINITY,\n\t\t\t\t\treasons: [],\n\t\t\t\t\tdecidedAt: new Date(0).toISOString(),\n\t\t\t\t} satisfies ResourceAdmissionDecision);\n\n\t\t\tconst result = await launchSubagentLanes({\n\t\t\t\tplan,\n\t\t\t\tpromptRunId: promptRunId ?? runId,\n\t\t\t\tdecision: resolvedDecision,\n\t\t\t\tpermitPool,\n\t\t\t\tconfiguredMaxParallelLanes: input.configuredMaxParallelLanes,\n\t\t\t\tsignal: signal && input.signal ? AbortSignal.any([signal, input.signal]) : (signal ?? input.signal),\n\t\t\t\theavyLaneIds: input.heavyLaneIds,\n\t\t\t\tpermitWaitTimeoutMs: input.permitWaitTimeoutMs,\n\t\t\t\tlaunchLane: async (context) => {\n\t\t\t\t\t// Spec 020 Req3.1/3.2 — child counter +1 immediately before the\n\t\t\t\t\t// admitted launch, -1 exactly once in terminal cleanup.\n\t\t\t\t\tconst release = noteDetachedChild();\n\t\t\t\t\tlet awaitingSettlement = false;\n\t\t\t\t\ttry {\n\t\t\t\t\t\tconst result = await input.launchLane(context);\n\t\t\t\t\t\tif (result?.status === \"unsettled\" && result.settlement) {\n\t\t\t\t\t\t\tawaitingSettlement = true;\n\t\t\t\t\t\t\tpendingSettlements.add(result.settlement);\n\t\t\t\t\t\t\tvoid result.settlement.then(\n\t\t\t\t\t\t\t\t() => {\n\t\t\t\t\t\t\t\t\tpendingSettlements.delete(result.settlement);\n\t\t\t\t\t\t\t\t\trelease();\n\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t\t() => {\n\t\t\t\t\t\t\t\t\t// Rejection does not confirm child termination; retain ownership.\n\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t);\n\t\t\t\t\t\t}\n\t\t\t\t\t\treturn result;\n\t\t\t\t\t} finally {\n\t\t\t\t\t\tif (!awaitingSettlement) release();\n\t\t\t\t\t}\n\t\t\t\t},\n\t\t\t});\n\t\t\treturn {\n\t\t\t\toutcomes: result.outcomes,\n\t\t\t\teffectiveLaneWidth: result.effectiveLaneWidth,\n\t\t\t\tmaxObservedConcurrency: result.maxObservedConcurrency,\n\t\t\t\tblockers: plan.blockers,\n\t\t\t\twarnings: plan.warnings,\n\t\t\t};\n\t\t},\n\t};\n}\n"]}

package/dist/core/subagent-lane-authority.js

@@ -0,0 +1,119 @@
+import { RESOURCE_ADMISSION_VERSION } from "./resource-admission.js";
+import { launchSubagentLanes } from "./subagent-lane-launcher.js";
+import { buildSubagentOrchestrationPlan } from "./subagent-orchestration.js";
+/**
+ * Bind a SubagentLaneAuthority to a session's admission decision, shared permit
+ * pool, and prompt-settlement lifecycle. The returned authority's
+ * dispatchLanes() enforces spec 020: the caller supplies lanes and a launcher;
+ * the authority injects plan admission, the shared pool, and per-lane
+ * settlement counters, and never lets the caller widen the parent's caps.
+ */
+/**
+ * Unresolved child settlements keyed by the shared permit pool. AgentSession
+ * recreates the authority per dispatch over the same pool, so per-instance
+ * state alone would let a fresh instance forget an owned, unsettled child.
+ */
+const pendingSettlementsByPool = new WeakMap();
+function unsettledSettlements(pool) {
+    let set = pendingSettlementsByPool.get(pool);
+    if (set === undefined) {
+        set = new Set();
+        pendingSettlementsByPool.set(pool, set);
+    }
+    return set;
+}
+export function createSubagentLaneAuthority(binding) {
+    const { runId, promptRunId, decision, permitPool, inventory, signal, spawnThreshold, noteDetachedChild } = binding;
+    const pendingSettlements = unsettledSettlements(permitPool);
+    return {
+        permitPool,
+        activePromptRunId: promptRunId,
+        getCurrentResourceAdmission: () => decision,
+        noteDetachedChild,
+        dispatchLanes: async (input) => {
+            if (pendingSettlements.size > 0) {
+                return {
+                    outcomes: [],
+                    effectiveLaneWidth: 0,
+                    maxObservedConcurrency: 0,
+                    blockers: ["ownership.unsettled"],
+                    warnings: [],
+                };
+            }
+            const plan = buildSubagentOrchestrationPlan({
+                runId,
+                lanes: input.lanes,
+                inventory,
+                spawnPlan: input.spawnPlan,
+                spawnThreshold,
+                maxParallelLanes: input.configuredMaxParallelLanes,
+            });
+            if (plan.blockers.length > 0) {
+                return {
+                    outcomes: [],
+                    effectiveLaneWidth: 0,
+                    maxObservedConcurrency: 0,
+                    blockers: plan.blockers,
+                    warnings: plan.warnings,
+                };
+            }
+            // §14.1: the caller's admission decision, if present, is authoritative.
+            // Without one the launcher sees an unbounded parent (observe mode).
+            const resolvedDecision = decision ??
+                {
+                    schemaVersion: RESOURCE_ADMISSION_VERSION,
+                    decisionId: `admission-${runId}`,
+                    snapshotDigest: "none",
+                    pressure: "normal",
+                    action: "allow",
+                    maxToolConcurrency: Number.POSITIVE_INFINITY,
+                    maxParallelLanes: Number.POSITIVE_INFINITY,
+                    maxHeavyProcesses: Number.POSITIVE_INFINITY,
+                    reasons: [],
+                    decidedAt: new Date(0).toISOString(),
+                };
+            const result = await launchSubagentLanes({
+                plan,
+                promptRunId: promptRunId ?? runId,
+                decision: resolvedDecision,
+                permitPool,
+                configuredMaxParallelLanes: input.configuredMaxParallelLanes,
+                signal: signal && input.signal ? AbortSignal.any([signal, input.signal]) : (signal ?? input.signal),
+                heavyLaneIds: input.heavyLaneIds,
+                permitWaitTimeoutMs: input.permitWaitTimeoutMs,
+                launchLane: async (context) => {
+                    // Spec 020 Req3.1/3.2 — child counter +1 immediately before the
+                    // admitted launch, -1 exactly once in terminal cleanup.
+                    const release = noteDetachedChild();
+                    let awaitingSettlement = false;
+                    try {
+                        const result = await input.launchLane(context);
+                        if (result?.status === "unsettled" && result.settlement) {
+                            awaitingSettlement = true;
+                            pendingSettlements.add(result.settlement);
+                            void result.settlement.then(() => {
+                                pendingSettlements.delete(result.settlement);
+                                release();
+                            }, () => {
+                                // Rejection does not confirm child termination; retain ownership.
+                            });
+                        }
+                        return result;
+                    }
+                    finally {
+                        if (!awaitingSettlement)
+                            release();
+                    }
+                },
+            });
+            return {
+                outcomes: result.outcomes,
+                effectiveLaneWidth: result.effectiveLaneWidth,
+                maxObservedConcurrency: result.maxObservedConcurrency,
+                blockers: plan.blockers,
+                warnings: plan.warnings,
+            };
+        },
+    };
+}
+//# sourceMappingURL=subagent-lane-authority.js.map

package/dist/core/subagent-lane-authority.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subagent-lane-authority.js","sourceRoot":"","sources":["../../src/core/subagent-lane-authority.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAkC,MAAM,yBAAyB,CAAC;AAErG,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,8BAA8B,EAAE,MAAM,6BAA6B,CAAC;AA+B7E;;;;;;GAMG;AACH;;;;GAIG;AACH,MAAM,wBAAwB,GAAG,IAAI,OAAO,EAA8B,CAAC;AAE3E,SAAS,oBAAoB,CAAC,IAAY,EAAsB;IAC/D,IAAI,GAAG,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACvB,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;QAChB,wBAAwB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AAAA,CACX;AAED,MAAM,UAAU,2BAA2B,CAAC,OAAyC,EAAyB;IAC7G,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAC;IACnH,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC5D,OAAO;QACN,UAAU;QACV,iBAAiB,EAAE,WAAW;QAC9B,2BAA2B,EAAE,GAAG,EAAE,CAAC,QAAQ;QAC3C,iBAAiB;QACjB,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/B,IAAI,kBAAkB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACjC,OAAO;oBACN,QAAQ,EAAE,EAAE;oBACZ,kBAAkB,EAAE,CAAC;oBACrB,sBAAsB,EAAE,CAAC;oBACzB,QAAQ,EAAE,CAAC,qBAAqB,CAAC;oBACjC,QAAQ,EAAE,EAAE;iBACZ,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAG,8BAA8B,CAAC;gBAC3C,KAAK;gBACL,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,SAAS;gBACT,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,cAAc;gBACd,gBAAgB,EAAE,KAAK,CAAC,0BAA0B;aAClD,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,OAAO;oBACN,QAAQ,EAAE,EAAE;oBACZ,kBAAkB,EAAE,CAAC;oBACrB,sBAAsB,EAAE,CAAC;oBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;iBACvB,CAAC;YACH,CAAC;YACD,yEAAwE;YACxE,oEAAoE;YACpE,MAAM,gBAAgB,GACrB,QAAQ;gBACP;oBACA,aAAa,EAAE,0BAA0B;oBACzC,UAAU,EAAE,aAAa,KAAK,EAAE;oBAChC,cAAc,EAAE,MAAM;oBACtB,QAAQ,EAAE,QAAQ;oBAClB,MAAM,EAAE,OAAO;oBACf,kBAAkB,EAAE,MAAM,CAAC,iBAAiB;oBAC5C,gBAAgB,EAAE,MAAM,CAAC,iBAAiB;oBAC1C,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;oBAC3C,OAAO,EAAE,EAAE;oBACX,SAAS,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;iBACC,CAAC;YAExC,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC;gBACxC,IAAI;gBACJ,WAAW,EAAE,WAAW,IAAI,KAAK;gBACjC,QAAQ,EAAE,gBAAgB;gBAC1B,UAAU;gBACV,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;gBAC5D,MAAM,EAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC;gBACnG,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;gBAC9C,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;oBAC9B,kEAAgE;oBAChE,wDAAwD;oBACxD,MAAM,OAAO,GAAG,iBAAiB,EAAE,CAAC;oBACpC,IAAI,kBAAkB,GAAG,KAAK,CAAC;oBAC/B,IAAI,CAAC;wBACJ,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;wBAC/C,IAAI,MAAM,EAAE,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;4BACzD,kBAAkB,GAAG,IAAI,CAAC;4BAC1B,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;4BAC1C,KAAK,MAAM,CAAC,UAAU,CAAC,IAAI,CAC1B,GAAG,EAAE,CAAC;gCACL,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gCAC7C,OAAO,EAAE,CAAC;4BAAA,CACV,EACD,GAAG,EAAE,CAAC;gCACL,kEAAkE;4BAD5D,CAEN,CACD,CAAC;wBACH,CAAC;wBACD,OAAO,MAAM,CAAC;oBACf,CAAC;4BAAS,CAAC;wBACV,IAAI,CAAC,kBAAkB;4BAAE,OAAO,EAAE,CAAC;oBACpC,CAAC;gBAAA,CACD;aACD,CAAC,CAAC;YACH,OAAO;gBACN,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;gBAC7C,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;gBACrD,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACvB,CAAC;QAAA,CACF;KACD,CAAC;AAAA,CACF","sourcesContent":["import type { CapabilityInventory } from \"./loadouts.ts\";\nimport { RESOURCE_ADMISSION_VERSION, type ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { SubagentLaneAuthority } from \"./subagent-lane-contract.ts\";\nimport { launchSubagentLanes } from \"./subagent-lane-launcher.ts\";\nimport { buildSubagentOrchestrationPlan } from \"./subagent-orchestration.ts\";\n\n/**\n * Spec 020 Req1 — extension-facing subagent lane authority.\n *\n * A bound implementation is created by AgentSession and exposed to extension\n * tool contexts. It routes a caller's lane plan through the shared core\n * primitives (`buildSubagentOrchestrationPlan` → `launchSubagentLanes`) while\n * injecting the parent's admission decision, the shared `WorkloadPermitPool`,\n * and prompt-settlement child counters. Extensions must never raise parent\n * caps; `launchSubagentLanes` enforces the effective width as a floor of the\n * caller's configured cap and the parent's admission.\n */\nexport type {\n\tSubagentLaneAuthority,\n\tSubagentLaneAuthorityDispatchInput,\n\tSubagentLaneAuthorityDispatchResult,\n} from \"./subagent-lane-contract.ts\";\n\n/** Internal host binding the session supplies when constructing the authority. */\nexport interface SubagentLaneAuthorityHostBinding {\n\treadonly runId: string;\n\treadonly promptRunId?: string;\n\treadonly decision: ResourceAdmissionDecision | null;\n\treadonly permitPool: import(\"./workload-permit-pool.ts\").WorkloadPermitPool;\n\treadonly inventory: CapabilityInventory;\n\treadonly signal?: AbortSignal;\n\treadonly spawnThreshold?: number;\n\treadonly noteDetachedChild: () => () => void;\n}\n\n/**\n * Bind a SubagentLaneAuthority to a session's admission decision, shared permit\n * pool, and prompt-settlement lifecycle. The returned authority's\n * dispatchLanes() enforces spec 020: the caller supplies lanes and a launcher;\n * the authority injects plan admission, the shared pool, and per-lane\n * settlement counters, and never lets the caller widen the parent's caps.\n */\n/**\n * Unresolved child settlements keyed by the shared permit pool. AgentSession\n * recreates the authority per dispatch over the same pool, so per-instance\n * state alone would let a fresh instance forget an owned, unsettled child.\n */\nconst pendingSettlementsByPool = new WeakMap<object, Set<Promise<void>>>();\n\nfunction unsettledSettlements(pool: object): Set<Promise<void>> {\n\tlet set = pendingSettlementsByPool.get(pool);\n\tif (set === undefined) {\n\t\tset = new Set();\n\t\tpendingSettlementsByPool.set(pool, set);\n\t}\n\treturn set;\n}\n\nexport function createSubagentLaneAuthority(binding: SubagentLaneAuthorityHostBinding): SubagentLaneAuthority {\n\tconst { runId, promptRunId, decision, permitPool, inventory, signal, spawnThreshold, noteDetachedChild } = binding;\n\tconst pendingSettlements = unsettledSettlements(permitPool);\n\treturn {\n\t\tpermitPool,\n\t\tactivePromptRunId: promptRunId,\n\t\tgetCurrentResourceAdmission: () => decision,\n\t\tnoteDetachedChild,\n\t\tdispatchLanes: async (input) => {\n\t\t\tif (pendingSettlements.size > 0) {\n\t\t\t\treturn {\n\t\t\t\t\toutcomes: [],\n\t\t\t\t\teffectiveLaneWidth: 0,\n\t\t\t\t\tmaxObservedConcurrency: 0,\n\t\t\t\t\tblockers: [\"ownership.unsettled\"],\n\t\t\t\t\twarnings: [],\n\t\t\t\t};\n\t\t\t}\n\t\t\tconst plan = buildSubagentOrchestrationPlan({\n\t\t\t\trunId,\n\t\t\t\tlanes: input.lanes,\n\t\t\t\tinventory,\n\t\t\t\tspawnPlan: input.spawnPlan,\n\t\t\t\tspawnThreshold,\n\t\t\t\tmaxParallelLanes: input.configuredMaxParallelLanes,\n\t\t\t});\n\t\t\tif (plan.blockers.length > 0) {\n\t\t\t\treturn {\n\t\t\t\t\toutcomes: [],\n\t\t\t\t\teffectiveLaneWidth: 0,\n\t\t\t\t\tmaxObservedConcurrency: 0,\n\t\t\t\t\tblockers: plan.blockers,\n\t\t\t\t\twarnings: plan.warnings,\n\t\t\t\t};\n\t\t\t}\n\t\t\t// §14.1: the caller's admission decision, if present, is authoritative.\n\t\t\t// Without one the launcher sees an unbounded parent (observe mode).\n\t\t\tconst resolvedDecision =\n\t\t\t\tdecision ??\n\t\t\t\t({\n\t\t\t\t\tschemaVersion: RESOURCE_ADMISSION_VERSION,\n\t\t\t\t\tdecisionId: `admission-${runId}`,\n\t\t\t\t\tsnapshotDigest: \"none\",\n\t\t\t\t\tpressure: \"normal\",\n\t\t\t\t\taction: \"allow\",\n\t\t\t\t\tmaxToolConcurrency: Number.POSITIVE_INFINITY,\n\t\t\t\t\tmaxParallelLanes: Number.POSITIVE_INFINITY,\n\t\t\t\t\tmaxHeavyProcesses: Number.POSITIVE_INFINITY,\n\t\t\t\t\treasons: [],\n\t\t\t\t\tdecidedAt: new Date(0).toISOString(),\n\t\t\t\t} satisfies ResourceAdmissionDecision);\n\n\t\t\tconst result = await launchSubagentLanes({\n\t\t\t\tplan,\n\t\t\t\tpromptRunId: promptRunId ?? runId,\n\t\t\t\tdecision: resolvedDecision,\n\t\t\t\tpermitPool,\n\t\t\t\tconfiguredMaxParallelLanes: input.configuredMaxParallelLanes,\n\t\t\t\tsignal: signal && input.signal ? AbortSignal.any([signal, input.signal]) : (signal ?? input.signal),\n\t\t\t\theavyLaneIds: input.heavyLaneIds,\n\t\t\t\tpermitWaitTimeoutMs: input.permitWaitTimeoutMs,\n\t\t\t\tlaunchLane: async (context) => {\n\t\t\t\t\t// Spec 020 Req3.1/3.2 — child counter +1 immediately before the\n\t\t\t\t\t// admitted launch, -1 exactly once in terminal cleanup.\n\t\t\t\t\tconst release = noteDetachedChild();\n\t\t\t\t\tlet awaitingSettlement = false;\n\t\t\t\t\ttry {\n\t\t\t\t\t\tconst result = await input.launchLane(context);\n\t\t\t\t\t\tif (result?.status === \"unsettled\" && result.settlement) {\n\t\t\t\t\t\t\tawaitingSettlement = true;\n\t\t\t\t\t\t\tpendingSettlements.add(result.settlement);\n\t\t\t\t\t\t\tvoid result.settlement.then(\n\t\t\t\t\t\t\t\t() => {\n\t\t\t\t\t\t\t\t\tpendingSettlements.delete(result.settlement);\n\t\t\t\t\t\t\t\t\trelease();\n\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t\t() => {\n\t\t\t\t\t\t\t\t\t// Rejection does not confirm child termination; retain ownership.\n\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t);\n\t\t\t\t\t\t}\n\t\t\t\t\t\treturn result;\n\t\t\t\t\t} finally {\n\t\t\t\t\t\tif (!awaitingSettlement) release();\n\t\t\t\t\t}\n\t\t\t\t},\n\t\t\t});\n\t\t\treturn {\n\t\t\t\toutcomes: result.outcomes,\n\t\t\t\teffectiveLaneWidth: result.effectiveLaneWidth,\n\t\t\t\tmaxObservedConcurrency: result.maxObservedConcurrency,\n\t\t\t\tblockers: plan.blockers,\n\t\t\t\twarnings: plan.warnings,\n\t\t\t};\n\t\t},\n\t};\n}\n"]}

package/dist/core/subagent-lane-contract.d.ts

@@ -0,0 +1,114 @@
+/**
+ * Shared subagent-lane contract types (OMK v0.97.x roadmap §14, M6/PR10).
+ *
+ * A leaf module: it imports only `resource-admission`, `workload-permit-pool`,
+ * and `loadouts`, none of which reach back into the extensions graph. The lane
+ * orchestrator, launcher, and runtime re-export these declarations, so this
+ * file stays the single definition site for each name.
+ *
+ * Why the split exists: `extensions/types.ts` declares the extension-facing
+ * lane-authority accessor, so it must be able to name `SubagentLaneAuthority`.
+ * With the authority declared beside its runtime it could only be referenced
+ * by importing `subagent-lane-authority.ts`, which reaches `loadout-runtime` →
+ * `resource-loader` → `extensions/loader` → `extensions/types.ts` and closed an
+ * import cycle across 11 modules. Naming the contract here instead keeps the
+ * dependency pointing at a leaf and leaves the runtime where it belongs.
+ */
+import type { LoadoutAuthority } from "./loadouts.ts";
+import type { ResourceAdmissionDecision } from "./resource-admission.ts";
+import type { WorkloadPermitPool } from "./workload-permit-pool.ts";
+export type SubagentOrchestrationRole = "planner" | "architect" | "executor" | "critic" | "visual-qa" | "rhwp-doc" | "security" | "package-maintainer";
+/** How much of the parent context a child lane inherits. */
+export type LaneContextInheritanceMode = "none" | "receipt" | "last-turn" | "bounded" | "full";
+/** A resolved callback is not necessarily a successful or settled execution. */
+export type SubagentLaneExecutionResult = void | {
+    readonly status: "failed";
+} | {
+    readonly status: "unsettled";
+    readonly settlement: Promise<void>;
+};
+export interface LaneOutcome {
+    readonly laneId: string;
+    readonly status: "completed" | "failed" | "cancelled" | "skipped-abort" | "permit-rejected" | "admission-deferred" | "blocked-dependency" | "unsettled";
+    readonly diagnostic?: string;
+}
+/** The spawn-plan receipt a caller supplies to justify parallel lane work. */
+export interface LaneSpawnReceipt {
+    whyParallel: string;
+    whyNotLocal: string;
+    independence: string;
+    expectedReceiptShape: string;
+    maxInlineTokens: number;
+}
+export interface SubagentLaneSpec {
+    readonly id: string;
+    readonly role: SubagentOrchestrationRole;
+    readonly task: string;
+    readonly dependsOn?: readonly string[];
+    readonly readScope?: readonly string[];
+    readonly writeScope?: readonly string[];
+    readonly acceptance?: readonly string[];
+    readonly evidenceOutput?: string;
+    readonly blockedPaths?: readonly string[];
+    readonly contextInheritance?: LaneContextInheritanceMode;
+    readonly grantAuthority?: LoadoutAuthority;
+    readonly loadoutName?: string;
+    readonly agentName?: string;
+}
+/**
+ * Spec 020 Req1 — extension-facing subagent lane authority.
+ *
+ * A bound implementation is created by AgentSession and exposed to extension
+ * tool contexts. It routes a caller's lane plan through the shared core
+ * primitives (`buildSubagentOrchestrationPlan` → `launchSubagentLanes`) while
+ * injecting the parent's admission decision, the shared `WorkloadPermitPool`,
+ * and prompt-settlement child counters. Extensions must never raise parent
+ * caps; `launchSubagentLanes` enforces the effective width as a floor of the
+ * caller's configured cap and the parent's admission.
+ */
+export interface SubagentLaneAuthorityDispatchInput {
+    readonly lanes: readonly SubagentLaneSpec[];
+    /** Why this is parallel / why not local / independence / receipt shape — spawn-plan receipt for gating. */
+    readonly spawnPlan?: LaneSpawnReceipt;
+    /** Caller's configured parallel cap (never widens the parent admission cap). */
+    readonly configuredMaxParallelLanes?: number;
+    /** Lane ids that run heavy work and must hold a shared §14.3 permit. */
+    readonly heavyLaneIds?: ReadonlySet<string>;
+    /** Actual child launcher (process spawn / SDK session / test double). Called per admitted lane. */
+    readonly launchLane: (context: {
+        readonly laneId: string;
+        readonly promptRunId: string;
+        readonly signal?: AbortSignal;
+        readonly decision: ResourceAdmissionDecision;
+        readonly effectiveLaneWidth: number;
+    }) => Promise<SubagentLaneExecutionResult>;
+    readonly signal?: AbortSignal;
+    readonly permitWaitTimeoutMs?: number;
+}
+export interface SubagentLaneAuthorityDispatchResult {
+    readonly outcomes: readonly LaneOutcome[];
+    readonly effectiveLaneWidth: number;
+    readonly maxObservedConcurrency: number;
+    readonly blockers: readonly string[];
+    readonly warnings: readonly string[];
+}
+export interface SubagentLaneAuthority {
+    /** §14.1 seam — the session's shared heavy-work pool. Never construct a private one. */
+    readonly permitPool: WorkloadPermitPool;
+    /** §14.4 read-only — the most recent resource admission decision for this prompt, if any. */
+    getCurrentResourceAdmission(): ResourceAdmissionDecision | null;
+    /** Current active prompt run id for settlement counters, if a run is open. */
+    readonly activePromptRunId: string | undefined;
+    /**
+     * §16.5 settlement counter — +1 before an admitted child launch, -1 in
+     * terminal cleanup. Returns a release closure; call it exactly once.
+     */
+    noteDetachedChild(): () => void;
+    /**
+     * Route a caller's lane plan through the shared launcher with the parent's
+     * admission decision and pool injected. `launchLane` is invoked per admitted
+     * lane; the authority wraps it with settlement counters.
+     */
+    dispatchLanes(input: SubagentLaneAuthorityDispatchInput): Promise<SubagentLaneAuthorityDispatchResult>;
+}
+//# sourceMappingURL=subagent-lane-contract.d.ts.map

package/dist/core/subagent-lane-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"subagent-lane-contract.d.ts","sourceRoot":"","sources":["../../src/core/subagent-lane-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAEpE,MAAM,MAAM,yBAAyB,GAClC,SAAS,GACT,WAAW,GACX,UAAU,GACV,QAAQ,GACR,WAAW,GACX,UAAU,GACV,UAAU,GACV,oBAAoB,CAAC;AAExB,4DAA4D;AAC5D,MAAM,MAAM,0BAA0B,GAAG,MAAM,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC;AAE/F,gFAAgF;AAChF,MAAM,MAAM,2BAA2B,GACpC,IAAI,GACJ;IAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC;AAExE,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EACZ,WAAW,GACX,QAAQ,GACR,WAAW,GACX,eAAe,GACf,iBAAiB,GACjB,oBAAoB,GACpB,oBAAoB,GACpB,WAAW,CAAC;IACf,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,8EAA8E;AAC9E,MAAM,WAAW,gBAAgB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,0BAA0B,CAAC;IACzD,QAAQ,CAAC,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAC3C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,kCAAkC;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,6GAA2G;IAC3G,QAAQ,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACtC,gFAAgF;IAChF,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,yEAAwE;IACxE,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5C,mGAAmG;IACnG,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE;QAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;QAC9B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;QAC7C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;KACpC,KAAK,OAAO,CAAC,2BAA2B,CAAC,CAAC;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,mCAAmC;IACnD,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACrC,2FAAwF;IACxF,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,gGAA6F;IAC7F,2BAA2B,IAAI,yBAAyB,GAAG,IAAI,CAAC;IAChE,8EAA8E;IAC9E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/C;;;OAGG;IACH,iBAAiB,IAAI,MAAM,IAAI,CAAC;IAChC;;;;OAIG;IACH,aAAa,CAAC,KAAK,EAAE,kCAAkC,GAAG,OAAO,CAAC,mCAAmC,CAAC,CAAC;CACvG","sourcesContent":["/**\n * Shared subagent-lane contract types (OMK v0.97.x roadmap §14, M6/PR10).\n *\n * A leaf module: it imports only `resource-admission`, `workload-permit-pool`,\n * and `loadouts`, none of which reach back into the extensions graph. The lane\n * orchestrator, launcher, and runtime re-export these declarations, so this\n * file stays the single definition site for each name.\n *\n * Why the split exists: `extensions/types.ts` declares the extension-facing\n * lane-authority accessor, so it must be able to name `SubagentLaneAuthority`.\n * With the authority declared beside its runtime it could only be referenced\n * by importing `subagent-lane-authority.ts`, which reaches `loadout-runtime` →\n * `resource-loader` → `extensions/loader` → `extensions/types.ts` and closed an\n * import cycle across 11 modules. Naming the contract here instead keeps the\n * dependency pointing at a leaf and leaves the runtime where it belongs.\n */\n\nimport type { LoadoutAuthority } from \"./loadouts.ts\";\nimport type { ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { WorkloadPermitPool } from \"./workload-permit-pool.ts\";\n\nexport type SubagentOrchestrationRole =\n\t| \"planner\"\n\t| \"architect\"\n\t| \"executor\"\n\t| \"critic\"\n\t| \"visual-qa\"\n\t| \"rhwp-doc\"\n\t| \"security\"\n\t| \"package-maintainer\";\n\n/** How much of the parent context a child lane inherits. */\nexport type LaneContextInheritanceMode = \"none\" | \"receipt\" | \"last-turn\" | \"bounded\" | \"full\";\n\n/** A resolved callback is not necessarily a successful or settled execution. */\nexport type SubagentLaneExecutionResult =\n\t| void\n\t| { readonly status: \"failed\" }\n\t| { readonly status: \"unsettled\"; readonly settlement: Promise<void> };\n\nexport interface LaneOutcome {\n\treadonly laneId: string;\n\treadonly status:\n\t\t| \"completed\"\n\t\t| \"failed\"\n\t\t| \"cancelled\"\n\t\t| \"skipped-abort\"\n\t\t| \"permit-rejected\"\n\t\t| \"admission-deferred\"\n\t\t| \"blocked-dependency\"\n\t\t| \"unsettled\";\n\treadonly diagnostic?: string;\n}\n\n/** The spawn-plan receipt a caller supplies to justify parallel lane work. */\nexport interface LaneSpawnReceipt {\n\twhyParallel: string;\n\twhyNotLocal: string;\n\tindependence: string;\n\texpectedReceiptShape: string;\n\tmaxInlineTokens: number;\n}\n\nexport interface SubagentLaneSpec {\n\treadonly id: string;\n\treadonly role: SubagentOrchestrationRole;\n\treadonly task: string;\n\treadonly dependsOn?: readonly string[];\n\treadonly readScope?: readonly string[];\n\treadonly writeScope?: readonly string[];\n\treadonly acceptance?: readonly string[];\n\treadonly evidenceOutput?: string;\n\treadonly blockedPaths?: readonly string[];\n\treadonly contextInheritance?: LaneContextInheritanceMode;\n\treadonly grantAuthority?: LoadoutAuthority;\n\treadonly loadoutName?: string;\n\treadonly agentName?: string;\n}\n\n/**\n * Spec 020 Req1 — extension-facing subagent lane authority.\n *\n * A bound implementation is created by AgentSession and exposed to extension\n * tool contexts. It routes a caller's lane plan through the shared core\n * primitives (`buildSubagentOrchestrationPlan` → `launchSubagentLanes`) while\n * injecting the parent's admission decision, the shared `WorkloadPermitPool`,\n * and prompt-settlement child counters. Extensions must never raise parent\n * caps; `launchSubagentLanes` enforces the effective width as a floor of the\n * caller's configured cap and the parent's admission.\n */\nexport interface SubagentLaneAuthorityDispatchInput {\n\treadonly lanes: readonly SubagentLaneSpec[];\n\t/** Why this is parallel / why not local / independence / receipt shape — spawn-plan receipt for gating. */\n\treadonly spawnPlan?: LaneSpawnReceipt;\n\t/** Caller's configured parallel cap (never widens the parent admission cap). */\n\treadonly configuredMaxParallelLanes?: number;\n\t/** Lane ids that run heavy work and must hold a shared §14.3 permit. */\n\treadonly heavyLaneIds?: ReadonlySet<string>;\n\t/** Actual child launcher (process spawn / SDK session / test double). Called per admitted lane. */\n\treadonly launchLane: (context: {\n\t\treadonly laneId: string;\n\t\treadonly promptRunId: string;\n\t\treadonly signal?: AbortSignal;\n\t\treadonly decision: ResourceAdmissionDecision;\n\t\treadonly effectiveLaneWidth: number;\n\t}) => Promise<SubagentLaneExecutionResult>;\n\treadonly signal?: AbortSignal;\n\treadonly permitWaitTimeoutMs?: number;\n}\n\nexport interface SubagentLaneAuthorityDispatchResult {\n\treadonly outcomes: readonly LaneOutcome[];\n\treadonly effectiveLaneWidth: number;\n\treadonly maxObservedConcurrency: number;\n\treadonly blockers: readonly string[];\n\treadonly warnings: readonly string[];\n}\n\nexport interface SubagentLaneAuthority {\n\t/** §14.1 seam — the session's shared heavy-work pool. Never construct a private one. */\n\treadonly permitPool: WorkloadPermitPool;\n\t/** §14.4 read-only — the most recent resource admission decision for this prompt, if any. */\n\tgetCurrentResourceAdmission(): ResourceAdmissionDecision | null;\n\t/** Current active prompt run id for settlement counters, if a run is open. */\n\treadonly activePromptRunId: string | undefined;\n\t/**\n\t * §16.5 settlement counter — +1 before an admitted child launch, -1 in\n\t * terminal cleanup. Returns a release closure; call it exactly once.\n\t */\n\tnoteDetachedChild(): () => void;\n\t/**\n\t * Route a caller's lane plan through the shared launcher with the parent's\n\t * admission decision and pool injected. `launchLane` is invoked per admitted\n\t * lane; the authority wraps it with settlement counters.\n\t */\n\tdispatchLanes(input: SubagentLaneAuthorityDispatchInput): Promise<SubagentLaneAuthorityDispatchResult>;\n}\n"]}

package/dist/core/subagent-lane-contract.js

@@ -0,0 +1,18 @@
+/**
+ * Shared subagent-lane contract types (OMK v0.97.x roadmap §14, M6/PR10).
+ *
+ * A leaf module: it imports only `resource-admission`, `workload-permit-pool`,
+ * and `loadouts`, none of which reach back into the extensions graph. The lane
+ * orchestrator, launcher, and runtime re-export these declarations, so this
+ * file stays the single definition site for each name.
+ *
+ * Why the split exists: `extensions/types.ts` declares the extension-facing
+ * lane-authority accessor, so it must be able to name `SubagentLaneAuthority`.
+ * With the authority declared beside its runtime it could only be referenced
+ * by importing `subagent-lane-authority.ts`, which reaches `loadout-runtime` →
+ * `resource-loader` → `extensions/loader` → `extensions/types.ts` and closed an
+ * import cycle across 11 modules. Naming the contract here instead keeps the
+ * dependency pointing at a leaf and leaves the runtime where it belongs.
+ */
+export {};
+//# sourceMappingURL=subagent-lane-contract.js.map

package/dist/core/subagent-lane-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subagent-lane-contract.js","sourceRoot":"","sources":["../../src/core/subagent-lane-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG","sourcesContent":["/**\n * Shared subagent-lane contract types (OMK v0.97.x roadmap §14, M6/PR10).\n *\n * A leaf module: it imports only `resource-admission`, `workload-permit-pool`,\n * and `loadouts`, none of which reach back into the extensions graph. The lane\n * orchestrator, launcher, and runtime re-export these declarations, so this\n * file stays the single definition site for each name.\n *\n * Why the split exists: `extensions/types.ts` declares the extension-facing\n * lane-authority accessor, so it must be able to name `SubagentLaneAuthority`.\n * With the authority declared beside its runtime it could only be referenced\n * by importing `subagent-lane-authority.ts`, which reaches `loadout-runtime` →\n * `resource-loader` → `extensions/loader` → `extensions/types.ts` and closed an\n * import cycle across 11 modules. Naming the contract here instead keeps the\n * dependency pointing at a leaf and leaves the runtime where it belongs.\n */\n\nimport type { LoadoutAuthority } from \"./loadouts.ts\";\nimport type { ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { WorkloadPermitPool } from \"./workload-permit-pool.ts\";\n\nexport type SubagentOrchestrationRole =\n\t| \"planner\"\n\t| \"architect\"\n\t| \"executor\"\n\t| \"critic\"\n\t| \"visual-qa\"\n\t| \"rhwp-doc\"\n\t| \"security\"\n\t| \"package-maintainer\";\n\n/** How much of the parent context a child lane inherits. */\nexport type LaneContextInheritanceMode = \"none\" | \"receipt\" | \"last-turn\" | \"bounded\" | \"full\";\n\n/** A resolved callback is not necessarily a successful or settled execution. */\nexport type SubagentLaneExecutionResult =\n\t| void\n\t| { readonly status: \"failed\" }\n\t| { readonly status: \"unsettled\"; readonly settlement: Promise<void> };\n\nexport interface LaneOutcome {\n\treadonly laneId: string;\n\treadonly status:\n\t\t| \"completed\"\n\t\t| \"failed\"\n\t\t| \"cancelled\"\n\t\t| \"skipped-abort\"\n\t\t| \"permit-rejected\"\n\t\t| \"admission-deferred\"\n\t\t| \"blocked-dependency\"\n\t\t| \"unsettled\";\n\treadonly diagnostic?: string;\n}\n\n/** The spawn-plan receipt a caller supplies to justify parallel lane work. */\nexport interface LaneSpawnReceipt {\n\twhyParallel: string;\n\twhyNotLocal: string;\n\tindependence: string;\n\texpectedReceiptShape: string;\n\tmaxInlineTokens: number;\n}\n\nexport interface SubagentLaneSpec {\n\treadonly id: string;\n\treadonly role: SubagentOrchestrationRole;\n\treadonly task: string;\n\treadonly dependsOn?: readonly string[];\n\treadonly readScope?: readonly string[];\n\treadonly writeScope?: readonly string[];\n\treadonly acceptance?: readonly string[];\n\treadonly evidenceOutput?: string;\n\treadonly blockedPaths?: readonly string[];\n\treadonly contextInheritance?: LaneContextInheritanceMode;\n\treadonly grantAuthority?: LoadoutAuthority;\n\treadonly loadoutName?: string;\n\treadonly agentName?: string;\n}\n\n/**\n * Spec 020 Req1 — extension-facing subagent lane authority.\n *\n * A bound implementation is created by AgentSession and exposed to extension\n * tool contexts. It routes a caller's lane plan through the shared core\n * primitives (`buildSubagentOrchestrationPlan` → `launchSubagentLanes`) while\n * injecting the parent's admission decision, the shared `WorkloadPermitPool`,\n * and prompt-settlement child counters. Extensions must never raise parent\n * caps; `launchSubagentLanes` enforces the effective width as a floor of the\n * caller's configured cap and the parent's admission.\n */\nexport interface SubagentLaneAuthorityDispatchInput {\n\treadonly lanes: readonly SubagentLaneSpec[];\n\t/** Why this is parallel / why not local / independence / receipt shape — spawn-plan receipt for gating. */\n\treadonly spawnPlan?: LaneSpawnReceipt;\n\t/** Caller's configured parallel cap (never widens the parent admission cap). */\n\treadonly configuredMaxParallelLanes?: number;\n\t/** Lane ids that run heavy work and must hold a shared §14.3 permit. */\n\treadonly heavyLaneIds?: ReadonlySet<string>;\n\t/** Actual child launcher (process spawn / SDK session / test double). Called per admitted lane. */\n\treadonly launchLane: (context: {\n\t\treadonly laneId: string;\n\t\treadonly promptRunId: string;\n\t\treadonly signal?: AbortSignal;\n\t\treadonly decision: ResourceAdmissionDecision;\n\t\treadonly effectiveLaneWidth: number;\n\t}) => Promise<SubagentLaneExecutionResult>;\n\treadonly signal?: AbortSignal;\n\treadonly permitWaitTimeoutMs?: number;\n}\n\nexport interface SubagentLaneAuthorityDispatchResult {\n\treadonly outcomes: readonly LaneOutcome[];\n\treadonly effectiveLaneWidth: number;\n\treadonly maxObservedConcurrency: number;\n\treadonly blockers: readonly string[];\n\treadonly warnings: readonly string[];\n}\n\nexport interface SubagentLaneAuthority {\n\t/** §14.1 seam — the session's shared heavy-work pool. Never construct a private one. */\n\treadonly permitPool: WorkloadPermitPool;\n\t/** §14.4 read-only — the most recent resource admission decision for this prompt, if any. */\n\tgetCurrentResourceAdmission(): ResourceAdmissionDecision | null;\n\t/** Current active prompt run id for settlement counters, if a run is open. */\n\treadonly activePromptRunId: string | undefined;\n\t/**\n\t * §16.5 settlement counter — +1 before an admitted child launch, -1 in\n\t * terminal cleanup. Returns a release closure; call it exactly once.\n\t */\n\tnoteDetachedChild(): () => void;\n\t/**\n\t * Route a caller's lane plan through the shared launcher with the parent's\n\t * admission decision and pool injected. `launchLane` is invoked per admitted\n\t * lane; the authority wraps it with settlement counters.\n\t */\n\tdispatchLanes(input: SubagentLaneAuthorityDispatchInput): Promise<SubagentLaneAuthorityDispatchResult>;\n}\n"]}

package/dist/core/subagent-lane-launcher.d.ts

@@ -1,4 +1,5 @@
 import type { ResourceAdmissionDecision } from "./resource-admission.ts";
+import type { LaneOutcome, SubagentLaneExecutionResult } from "./subagent-lane-contract.ts";
 import type { SubagentOrchestrationPlan } from "./subagent-orchestration.ts";
 import { type WorkloadPermitPool } from "./workload-permit-pool.ts";
 /**
@@ -34,11 +35,7 @@ export interface SubagentLaneContext {
     readonly decision: ResourceAdmissionDecision;
     readonly effectiveLaneWidth: number;
 }
-export interface LaneOutcome {
-    readonly laneId: string;
-    readonly status: "completed" | "failed" | "cancelled" | "skipped-abort" | "permit-rejected" | "admission-deferred";
-    readonly diagnostic?: string;
-}
+export type { LaneOutcome };
 export interface LaunchSubagentLanesInput {
     readonly plan: SubagentOrchestrationPlan;
     readonly promptRunId: string;
@@ -49,7 +46,7 @@ export interface LaunchSubagentLanesInput {
     /** Lane ids that run heavy work and must hold a shared permit (§14.3). */
     readonly heavyLaneIds?: ReadonlySet<string>;
     /** The actual child launcher (process spawn, SDK session, or test double). */
-    readonly launchLane: (context: SubagentLaneContext) => Promise<void>;
+    readonly launchLane: (context: SubagentLaneContext) => Promise<SubagentLaneExecutionResult>;
     readonly permitWaitTimeoutMs?: number;
 }
 export interface LaunchSubagentLanesResult {

package/dist/core/subagent-lane-launcher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subagent-lane-launcher.d.ts","sourceRoot":"","sources":["../../src/core/subagent-lane-launcher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAC7E,OAAO,EAAuB,KAAK,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAEzF;;;;;;;;;;;;;;GAcG;AAEH,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,kFAAkF;IAClF,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACvC;AAED,6FAA6F;AAC7F,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,uBAAuB,GAAG,MAAM,CAahF;AAED,qFAAoF;AACpF,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,WAAW,GAAG,eAAe,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;IACnH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,2EAA0E;IAC1E,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5C,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACrE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;CACxC;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,wBAAwB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAwD7G","sourcesContent":["import type { ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { SubagentOrchestrationPlan } from \"./subagent-orchestration.ts\";\nimport { WorkloadPermitError, type WorkloadPermitPool } from \"./workload-permit-pool.ts\";\n\n/**\n * Subagent lane launch authority (OMK v0.97.x roadmap §14, M6/PR10).\n *\n * Turns `buildSubagentOrchestrationPlan()` output into enforced execution:\n * the §14.2 effective width is a hard cap on concurrently active children,\n * batches run in order (writer serialization / path conflicts are encoded in\n * the plan's batches, which supplies the `pathConflictFreeWidth` term), and\n * heavy lanes draw permits from the PARENT's shared pool (§14.1 — a child\n * never constructs its own pool here; it receives this launcher's budget).\n *\n * §14.3 guarantees: child failure releases its permit (leak 0), parent\n * abort aborts queued permit waits and never launches unstarted lanes, and\n * the child context carries the parent decision with a width the child\n * cannot raise (§14.4: no API exists to widen — the context is read-only).\n */\n\nexport interface EffectiveLaneWidthInput {\n\treadonly planWidth: number;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly admissionMaxParallelLanes: number;\n\treadonly availableHeavyPermits: number;\n\t/** Widest conflict-free batch; the plan's batching already serializes writers. */\n\treadonly pathConflictFreeWidth: number;\n}\n\n/** Zero authority defers execution; configured zero retains its legacy unlimited meaning. */\nexport function computeEffectiveLaneWidth(input: EffectiveLaneWidthInput): number {\n\tconst configured =\n\t\tinput.configuredMaxParallelLanes !== undefined && input.configuredMaxParallelLanes > 0\n\t\t\t? input.configuredMaxParallelLanes\n\t\t\t: Number.POSITIVE_INFINITY;\n\tconst width = Math.min(\n\t\tinput.planWidth,\n\t\tconfigured,\n\t\tinput.admissionMaxParallelLanes,\n\t\tinput.availableHeavyPermits,\n\t\tinput.pathConflictFreeWidth,\n\t);\n\treturn Number.isFinite(width) ? Math.max(0, Math.floor(width)) : 0;\n}\n\n/** Read-only budget handed to every child (§14.1). Nothing here can raise a cap. */\nexport interface SubagentLaneContext {\n\treadonly laneId: string;\n\treadonly promptRunId: string;\n\treadonly signal?: AbortSignal;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly effectiveLaneWidth: number;\n}\n\nexport interface LaneOutcome {\n\treadonly laneId: string;\n\treadonly status: \"completed\" | \"failed\" | \"cancelled\" | \"skipped-abort\" | \"permit-rejected\" | \"admission-deferred\";\n\treadonly diagnostic?: string;\n}\n\nexport interface LaunchSubagentLanesInput {\n\treadonly plan: SubagentOrchestrationPlan;\n\treadonly promptRunId: string;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly permitPool: WorkloadPermitPool;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly signal?: AbortSignal;\n\t/** Lane ids that run heavy work and must hold a shared permit (§14.3). */\n\treadonly heavyLaneIds?: ReadonlySet<string>;\n\t/** The actual child launcher (process spawn, SDK session, or test double). */\n\treadonly launchLane: (context: SubagentLaneContext) => Promise<void>;\n\treadonly permitWaitTimeoutMs?: number;\n}\n\nexport interface LaunchSubagentLanesResult {\n\treadonly outcomes: readonly LaneOutcome[];\n\treadonly effectiveLaneWidth: number;\n\treadonly maxObservedConcurrency: number;\n}\n\n/**\n * Execute a plan's batches with the §14.2 width as launcher authority.\n * Never throws for lane failures; the caller reads per-lane outcomes.\n */\nexport async function launchSubagentLanes(input: LaunchSubagentLanesInput): Promise<LaunchSubagentLanesResult> {\n\tconst poolSnapshot = input.permitPool.snapshot();\n\tconst effectiveLaneWidth = computeEffectiveLaneWidth({\n\t\tplanWidth: input.plan.route.width,\n\t\tconfiguredMaxParallelLanes: input.configuredMaxParallelLanes,\n\t\tadmissionMaxParallelLanes: input.decision.maxParallelLanes,\n\t\tavailableHeavyPermits: Math.min(\n\t\t\tMath.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight),\n\t\t\tinput.heavyLaneIds?.size ? input.decision.maxHeavyProcesses : Number.POSITIVE_INFINITY,\n\t\t),\n\t\tpathConflictFreeWidth: Math.max(0, ...input.plan.batches.map((batch) => batch.laneIds.length)),\n\t});\n\n\tconst outcomes: LaneOutcome[] = [];\n\tlet active = 0;\n\tlet maxObservedConcurrency = 0;\n\n\tfor (const batch of input.plan.batches) {\n\t\tif (input.signal?.aborted || effectiveLaneWidth === 0) {\n\t\t\tfor (const laneId of batch.laneIds) {\n\t\t\t\toutcomes.push({ laneId, status: input.signal?.aborted ? \"skipped-abort\" : \"admission-deferred\" });\n\t\t\t}\n\t\t\tcontinue;\n\t\t}\n\t\t// Batches execute sequentially (dependency + writer serialization);\n\t\t// inside one batch, the effective width bounds the running children.\n\t\tlet cursor = 0;\n\t\tconst runners: Promise<void>[] = [];\n\t\tconst runNext = async (): Promise<void> => {\n\t\t\twhile (cursor < batch.laneIds.length) {\n\t\t\t\tconst laneId = batch.laneIds[cursor];\n\t\t\t\tcursor += 1;\n\t\t\t\tif (input.signal?.aborted) {\n\t\t\t\t\toutcomes.push({ laneId, status: \"skipped-abort\" });\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\toutcomes.push(\n\t\t\t\t\tawait runLane(input, laneId, effectiveLaneWidth, {\n\t\t\t\t\t\tenter: () => {\n\t\t\t\t\t\t\tactive += 1;\n\t\t\t\t\t\t\tmaxObservedConcurrency = Math.max(maxObservedConcurrency, active);\n\t\t\t\t\t\t},\n\t\t\t\t\t\texit: () => {\n\t\t\t\t\t\t\tactive -= 1;\n\t\t\t\t\t\t},\n\t\t\t\t\t}),\n\t\t\t\t);\n\t\t\t}\n\t\t};\n\t\tconst workers = Math.min(effectiveLaneWidth, batch.laneIds.length);\n\t\tfor (let i = 0; i < workers; i++) {\n\t\t\trunners.push(runNext());\n\t\t}\n\t\tawait Promise.all(runners);\n\t}\n\treturn { outcomes, effectiveLaneWidth, maxObservedConcurrency };\n}\n\nasync function runLane(\n\tinput: LaunchSubagentLanesInput,\n\tlaneId: string,\n\teffectiveLaneWidth: number,\n\tgauge: { readonly enter: () => void; readonly exit: () => void },\n): Promise<LaneOutcome> {\n\tlet releasePermit: (() => void) | undefined;\n\tif (input.heavyLaneIds?.has(laneId)) {\n\t\tif (input.decision.action === \"defer-heavy\" || input.decision.maxHeavyProcesses === 0) {\n\t\t\treturn { laneId, status: \"admission-deferred\" };\n\t\t}\n\t\ttry {\n\t\t\tconst permit = await input.permitPool.acquire({\n\t\t\t\trequestId: `lane-${laneId}`,\n\t\t\t\tpromptRunId: input.promptRunId,\n\t\t\t\tworkloadClass: \"heavy\",\n\t\t\t\tweight: 1,\n\t\t\t\tsignal: input.signal,\n\t\t\t\ttimeoutMs: input.permitWaitTimeoutMs ?? 60_000,\n\t\t\t});\n\t\t\treleasePermit = () => permit.release();\n\t\t} catch (error) {\n\t\t\tconst code = error instanceof WorkloadPermitError ? error.code : \"unknown\";\n\t\t\treturn {\n\t\t\t\tlaneId,\n\t\t\t\tstatus: code === \"aborted\" ? \"skipped-abort\" : \"permit-rejected\",\n\t\t\t\tdiagnostic: `permit.${code}`,\n\t\t\t};\n\t\t}\n\t}\n\tif (input.signal?.aborted) {\n\t\treleasePermit?.();\n\t\treturn { laneId, status: \"skipped-abort\" };\n\t}\n\tgauge.enter();\n\ttry {\n\t\tawait input.launchLane({\n\t\t\tlaneId,\n\t\t\tpromptRunId: input.promptRunId,\n\t\t\tsignal: input.signal,\n\t\t\tdecision: input.decision,\n\t\t\teffectiveLaneWidth,\n\t\t});\n\t\treturn { laneId, status: input.signal?.aborted ? \"cancelled\" : \"completed\" };\n\t} catch {\n\t\t// Child error text is untrusted and may contain credentials.\n\t\treturn {\n\t\t\tlaneId,\n\t\t\tstatus: input.signal?.aborted ? \"cancelled\" : \"failed\",\n\t\t\tdiagnostic: \"lane.execution_failed\",\n\t\t};\n\t} finally {\n\t\tgauge.exit();\n\t\treleasePermit?.();\n\t}\n}\n"]}
+{"version":3,"file":"subagent-lane-launcher.d.ts","sourceRoot":"","sources":["../../src/core/subagent-lane-launcher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,KAAK,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC5F,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAC7E,OAAO,EAAuB,KAAK,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAEzF;;;;;;;;;;;;;;GAcG;AAEH,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,kFAAkF;IAClF,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACvC;AAED,6FAA6F;AAC7F,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,uBAAuB,GAAG,MAAM,CAahF;AAED,qFAAoF;AACpF,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACpC;AAED,YAAY,EAAE,WAAW,EAAE,CAAC;AAE5B,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,2EAA0E;IAC1E,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5C,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,OAAO,CAAC,2BAA2B,CAAC,CAAC;IAC5F,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;CACxC;AAsBD;;;GAGG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,wBAAwB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAoE7G","sourcesContent":["import type { ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { LaneOutcome, SubagentLaneExecutionResult } from \"./subagent-lane-contract.ts\";\nimport type { SubagentOrchestrationPlan } from \"./subagent-orchestration.ts\";\nimport { WorkloadPermitError, type WorkloadPermitPool } from \"./workload-permit-pool.ts\";\n\n/**\n * Subagent lane launch authority (OMK v0.97.x roadmap §14, M6/PR10).\n *\n * Turns `buildSubagentOrchestrationPlan()` output into enforced execution:\n * the §14.2 effective width is a hard cap on concurrently active children,\n * batches run in order (writer serialization / path conflicts are encoded in\n * the plan's batches, which supplies the `pathConflictFreeWidth` term), and\n * heavy lanes draw permits from the PARENT's shared pool (§14.1 — a child\n * never constructs its own pool here; it receives this launcher's budget).\n *\n * §14.3 guarantees: child failure releases its permit (leak 0), parent\n * abort aborts queued permit waits and never launches unstarted lanes, and\n * the child context carries the parent decision with a width the child\n * cannot raise (§14.4: no API exists to widen — the context is read-only).\n */\n\nexport interface EffectiveLaneWidthInput {\n\treadonly planWidth: number;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly admissionMaxParallelLanes: number;\n\treadonly availableHeavyPermits: number;\n\t/** Widest conflict-free batch; the plan's batching already serializes writers. */\n\treadonly pathConflictFreeWidth: number;\n}\n\n/** Zero authority defers execution; configured zero retains its legacy unlimited meaning. */\nexport function computeEffectiveLaneWidth(input: EffectiveLaneWidthInput): number {\n\tconst configured =\n\t\tinput.configuredMaxParallelLanes !== undefined && input.configuredMaxParallelLanes > 0\n\t\t\t? input.configuredMaxParallelLanes\n\t\t\t: Number.POSITIVE_INFINITY;\n\tconst width = Math.min(\n\t\tinput.planWidth,\n\t\tconfigured,\n\t\tinput.admissionMaxParallelLanes,\n\t\tinput.availableHeavyPermits,\n\t\tinput.pathConflictFreeWidth,\n\t);\n\treturn Number.isFinite(width) ? Math.max(0, Math.floor(width)) : 0;\n}\n\n/** Read-only budget handed to every child (§14.1). Nothing here can raise a cap. */\nexport interface SubagentLaneContext {\n\treadonly laneId: string;\n\treadonly promptRunId: string;\n\treadonly signal?: AbortSignal;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly effectiveLaneWidth: number;\n}\n\nexport type { LaneOutcome };\n\nexport interface LaunchSubagentLanesInput {\n\treadonly plan: SubagentOrchestrationPlan;\n\treadonly promptRunId: string;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly permitPool: WorkloadPermitPool;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly signal?: AbortSignal;\n\t/** Lane ids that run heavy work and must hold a shared permit (§14.3). */\n\treadonly heavyLaneIds?: ReadonlySet<string>;\n\t/** The actual child launcher (process spawn, SDK session, or test double). */\n\treadonly launchLane: (context: SubagentLaneContext) => Promise<SubagentLaneExecutionResult>;\n\treadonly permitWaitTimeoutMs?: number;\n}\n\nexport interface LaunchSubagentLanesResult {\n\treadonly outcomes: readonly LaneOutcome[];\n\treadonly effectiveLaneWidth: number;\n\treadonly maxObservedConcurrency: number;\n}\n\n/**\n * Heavy admission gate for the effective lane width. Omitted `heavyLaneIds`\n * preserves the legacy contract: remaining pool capacity gates the whole width.\n * An explicitly declared set narrows the gate to heavy work only (spec F06): a\n * light-only declaration or a mixed plan must not let the heavy pool stall light\n * lanes; mixed plans defer heavy lanes individually at permit acquisition.\n */\nfunction computeHeavyAdmissionGate(\n\tpoolSnapshot: { readonly capacity: number; readonly activeWeight: number },\n\theavyLaneIds: ReadonlySet<string> | undefined,\n\tplan: SubagentOrchestrationPlan,\n\tmaxHeavyProcesses: number,\n): number {\n\tif (heavyLaneIds === undefined) return Math.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight);\n\tif (heavyLaneIds.size === 0) return Number.POSITIVE_INFINITY;\n\tconst allHeavy = plan.batches.every((batch) => batch.laneIds.every((id) => heavyLaneIds.has(id)));\n\tif (!allHeavy) return Number.POSITIVE_INFINITY;\n\treturn Math.min(Math.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight), maxHeavyProcesses);\n}\n\n/**\n * Execute a plan's batches with the §14.2 width as launcher authority.\n * Never throws for lane failures; the caller reads per-lane outcomes.\n */\nexport async function launchSubagentLanes(input: LaunchSubagentLanesInput): Promise<LaunchSubagentLanesResult> {\n\tconst poolSnapshot = input.permitPool.snapshot();\n\tconst heavyAdmission = computeHeavyAdmissionGate(\n\t\tpoolSnapshot,\n\t\tinput.heavyLaneIds,\n\t\tinput.plan,\n\t\tinput.decision.maxHeavyProcesses,\n\t);\n\tconst effectiveLaneWidth = computeEffectiveLaneWidth({\n\t\tplanWidth: input.plan.route.width,\n\t\tconfiguredMaxParallelLanes: input.configuredMaxParallelLanes,\n\t\tadmissionMaxParallelLanes: input.decision.maxParallelLanes,\n\t\tavailableHeavyPermits: heavyAdmission,\n\t\tpathConflictFreeWidth: Math.max(0, ...input.plan.batches.map((batch) => batch.laneIds.length)),\n\t});\n\n\tconst outcomes: LaneOutcome[] = [];\n\tlet active = 0;\n\tlet maxObservedConcurrency = 0;\n\n\tfor (const batch of input.plan.batches) {\n\t\tconst blocked = outcomes.some((outcome) => outcome.status !== \"completed\");\n\t\tif (input.signal?.aborted || effectiveLaneWidth === 0 || blocked) {\n\t\t\tfor (const laneId of batch.laneIds) {\n\t\t\t\toutcomes.push({\n\t\t\t\t\tlaneId,\n\t\t\t\t\tstatus: input.signal?.aborted\n\t\t\t\t\t\t? \"skipped-abort\"\n\t\t\t\t\t\t: effectiveLaneWidth === 0\n\t\t\t\t\t\t\t? \"admission-deferred\"\n\t\t\t\t\t\t\t: \"blocked-dependency\",\n\t\t\t\t});\n\t\t\t}\n\t\t\tcontinue;\n\t\t}\n\t\t// Batches execute sequentially (dependency + writer serialization);\n\t\t// inside one batch, the effective width bounds the running children.\n\t\tlet cursor = 0;\n\t\tconst runners: Promise<void>[] = [];\n\t\tconst runNext = async (): Promise<void> => {\n\t\t\twhile (cursor < batch.laneIds.length) {\n\t\t\t\tconst laneId = batch.laneIds[cursor];\n\t\t\t\tcursor += 1;\n\t\t\t\tif (input.signal?.aborted || outcomes.some((outcome) => outcome.status === \"unsettled\")) {\n\t\t\t\t\toutcomes.push({ laneId, status: input.signal?.aborted ? \"skipped-abort\" : \"blocked-dependency\" });\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\toutcomes.push(\n\t\t\t\t\tawait runLane(input, laneId, effectiveLaneWidth, {\n\t\t\t\t\t\tblocked: () => outcomes.some((outcome) => outcome.status === \"unsettled\"),\n\t\t\t\t\t\tenter: () => {\n\t\t\t\t\t\t\tactive += 1;\n\t\t\t\t\t\t\tmaxObservedConcurrency = Math.max(maxObservedConcurrency, active);\n\t\t\t\t\t\t},\n\t\t\t\t\t\texit: () => {\n\t\t\t\t\t\t\tactive -= 1;\n\t\t\t\t\t\t},\n\t\t\t\t\t}),\n\t\t\t\t);\n\t\t\t}\n\t\t};\n\t\tconst workers = Math.min(effectiveLaneWidth, batch.laneIds.length);\n\t\tfor (let i = 0; i < workers; i++) {\n\t\t\trunners.push(runNext());\n\t\t}\n\t\tawait Promise.all(runners);\n\t}\n\treturn { outcomes, effectiveLaneWidth, maxObservedConcurrency };\n}\n\nasync function runLane(\n\tinput: LaunchSubagentLanesInput,\n\tlaneId: string,\n\teffectiveLaneWidth: number,\n\tgauge: { readonly enter: () => void; readonly exit: () => void; readonly blocked: () => boolean },\n): Promise<LaneOutcome> {\n\tlet releasePermit: (() => void) | undefined;\n\tlet retained = false;\n\tif (input.heavyLaneIds?.has(laneId)) {\n\t\tif (\n\t\t\tinput.decision.action === \"defer-heavy\" ||\n\t\t\tinput.permitPool.snapshot().capacity === 0 ||\n\t\t\tinput.permitPool.snapshot().activeWeight >= input.decision.maxHeavyProcesses\n\t\t) {\n\t\t\treturn { laneId, status: \"admission-deferred\" };\n\t\t}\n\t\ttry {\n\t\t\tconst permit = await input.permitPool.acquire({\n\t\t\t\trequestId: `lane-${laneId}`,\n\t\t\t\tpromptRunId: input.promptRunId,\n\t\t\t\tworkloadClass: \"heavy\",\n\t\t\t\tweight: 1,\n\t\t\t\tsignal: input.signal,\n\t\t\t\ttimeoutMs: input.permitWaitTimeoutMs ?? 60_000,\n\t\t\t});\n\t\t\treleasePermit = () => permit.release();\n\t\t} catch (error) {\n\t\t\tconst code = error instanceof WorkloadPermitError ? error.code : \"unknown\";\n\t\t\treturn {\n\t\t\t\tlaneId,\n\t\t\t\tstatus: code === \"aborted\" ? \"skipped-abort\" : \"permit-rejected\",\n\t\t\t\tdiagnostic: `permit.${code}`,\n\t\t\t};\n\t\t}\n\t}\n\tif (input.signal?.aborted || gauge.blocked()) {\n\t\treleasePermit?.();\n\t\treturn { laneId, status: input.signal?.aborted ? \"skipped-abort\" : \"blocked-dependency\" };\n\t}\n\tgauge.enter();\n\ttry {\n\t\tconst result = await input.launchLane({\n\t\t\tlaneId,\n\t\t\tpromptRunId: input.promptRunId,\n\t\t\tsignal: input.signal,\n\t\t\tdecision: input.decision,\n\t\t\teffectiveLaneWidth,\n\t\t});\n\t\tif (result?.status === \"unsettled\") {\n\t\t\tretained = true;\n\t\t\t// A rejected settlement cannot prove termination; retain the reservation.\n\t\t\tvoid result.settlement.then(\n\t\t\t\t() => {\n\t\t\t\t\tgauge.exit();\n\t\t\t\t\treleasePermit?.();\n\t\t\t\t},\n\t\t\t\t() => {},\n\t\t\t);\n\t\t\treturn { laneId, status: \"unsettled\" };\n\t\t}\n\t\treturn { laneId, status: input.signal?.aborted ? \"cancelled\" : (result?.status ?? \"completed\") };\n\t} catch {\n\t\t// Child error text is untrusted and may contain credentials.\n\t\treturn {\n\t\t\tlaneId,\n\t\t\tstatus: input.signal?.aborted ? \"cancelled\" : \"failed\",\n\t\t\tdiagnostic: \"lane.execution_failed\",\n\t\t};\n\t} finally {\n\t\tif (!retained) {\n\t\t\tgauge.exit();\n\t\t\treleasePermit?.();\n\t\t}\n\t}\n}\n"]}

package/dist/core/subagent-lane-launcher.js

@@ -7,26 +7,52 @@ export function computeEffectiveLaneWidth(input) {
     const width = Math.min(input.planWidth, configured, input.admissionMaxParallelLanes, input.availableHeavyPermits, input.pathConflictFreeWidth);
     return Number.isFinite(width) ? Math.max(0, Math.floor(width)) : 0;
 }
+/**
+ * Heavy admission gate for the effective lane width. Omitted `heavyLaneIds`
+ * preserves the legacy contract: remaining pool capacity gates the whole width.
+ * An explicitly declared set narrows the gate to heavy work only (spec F06): a
+ * light-only declaration or a mixed plan must not let the heavy pool stall light
+ * lanes; mixed plans defer heavy lanes individually at permit acquisition.
+ */
+function computeHeavyAdmissionGate(poolSnapshot, heavyLaneIds, plan, maxHeavyProcesses) {
+    if (heavyLaneIds === undefined)
+        return Math.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight);
+    if (heavyLaneIds.size === 0)
+        return Number.POSITIVE_INFINITY;
+    const allHeavy = plan.batches.every((batch) => batch.laneIds.every((id) => heavyLaneIds.has(id)));
+    if (!allHeavy)
+        return Number.POSITIVE_INFINITY;
+    return Math.min(Math.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight), maxHeavyProcesses);
+}
 /**
  * Execute a plan's batches with the §14.2 width as launcher authority.
  * Never throws for lane failures; the caller reads per-lane outcomes.
  */
 export async function launchSubagentLanes(input) {
     const poolSnapshot = input.permitPool.snapshot();
+    const heavyAdmission = computeHeavyAdmissionGate(poolSnapshot, input.heavyLaneIds, input.plan, input.decision.maxHeavyProcesses);
     const effectiveLaneWidth = computeEffectiveLaneWidth({
         planWidth: input.plan.route.width,
         configuredMaxParallelLanes: input.configuredMaxParallelLanes,
         admissionMaxParallelLanes: input.decision.maxParallelLanes,
-        availableHeavyPermits: Math.min(Math.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight), input.heavyLaneIds?.size ? input.decision.maxHeavyProcesses : Number.POSITIVE_INFINITY),
+        availableHeavyPermits: heavyAdmission,
         pathConflictFreeWidth: Math.max(0, ...input.plan.batches.map((batch) => batch.laneIds.length)),
     });
     const outcomes = [];
     let active = 0;
     let maxObservedConcurrency = 0;
     for (const batch of input.plan.batches) {
-        if (input.signal?.aborted || effectiveLaneWidth === 0) {
+        const blocked = outcomes.some((outcome) => outcome.status !== "completed");
+        if (input.signal?.aborted || effectiveLaneWidth === 0 || blocked) {
             for (const laneId of batch.laneIds) {
-                outcomes.push({ laneId, status: input.signal?.aborted ? "skipped-abort" : "admission-deferred" });
+                outcomes.push({
+                    laneId,
+                    status: input.signal?.aborted
+                        ? "skipped-abort"
+                        : effectiveLaneWidth === 0
+                            ? "admission-deferred"
+                            : "blocked-dependency",
+                });
             }
             continue;
         }
@@ -38,11 +64,12 @@ export async function launchSubagentLanes(input) {
             while (cursor < batch.laneIds.length) {
                 const laneId = batch.laneIds[cursor];
                 cursor += 1;
-                if (input.signal?.aborted) {
-                    outcomes.push({ laneId, status: "skipped-abort" });
+                if (input.signal?.aborted || outcomes.some((outcome) => outcome.status === "unsettled")) {
+                    outcomes.push({ laneId, status: input.signal?.aborted ? "skipped-abort" : "blocked-dependency" });
                     continue;
                 }
                 outcomes.push(await runLane(input, laneId, effectiveLaneWidth, {
+                    blocked: () => outcomes.some((outcome) => outcome.status === "unsettled"),
                     enter: () => {
                         active += 1;
                         maxObservedConcurrency = Math.max(maxObservedConcurrency, active);
@@ -63,8 +90,11 @@ export async function launchSubagentLanes(input) {
 }
 async function runLane(input, laneId, effectiveLaneWidth, gauge) {
     let releasePermit;
+    let retained = false;
     if (input.heavyLaneIds?.has(laneId)) {
-        if (input.decision.action === "defer-heavy" || input.decision.maxHeavyProcesses === 0) {
+        if (input.decision.action === "defer-heavy" ||
+            input.permitPool.snapshot().capacity === 0 ||
+            input.permitPool.snapshot().activeWeight >= input.decision.maxHeavyProcesses) {
             return { laneId, status: "admission-deferred" };
         }
         try {
@@ -87,20 +117,29 @@ async function runLane(input, laneId, effectiveLaneWidth, gauge) {
             };
         }
     }
-    if (input.signal?.aborted) {
+    if (input.signal?.aborted || gauge.blocked()) {
         releasePermit?.();
-        return { laneId, status: "skipped-abort" };
+        return { laneId, status: input.signal?.aborted ? "skipped-abort" : "blocked-dependency" };
     }
     gauge.enter();
     try {
-        await input.launchLane({
+        const result = await input.launchLane({
             laneId,
             promptRunId: input.promptRunId,
             signal: input.signal,
             decision: input.decision,
             effectiveLaneWidth,
         });
-        return { laneId, status: input.signal?.aborted ? "cancelled" : "completed" };
+        if (result?.status === "unsettled") {
+            retained = true;
+            // A rejected settlement cannot prove termination; retain the reservation.
+            void result.settlement.then(() => {
+                gauge.exit();
+                releasePermit?.();
+            }, () => { });
+            return { laneId, status: "unsettled" };
+        }
+        return { laneId, status: input.signal?.aborted ? "cancelled" : (result?.status ?? "completed") };
     }
     catch {
         // Child error text is untrusted and may contain credentials.
@@ -111,8 +150,10 @@ async function runLane(input, laneId, effectiveLaneWidth, gauge) {
         };
     }
     finally {
-        gauge.exit();
-        releasePermit?.();
+        if (!retained) {
+            gauge.exit();
+            releasePermit?.();
+        }
     }
 }
 //# sourceMappingURL=subagent-lane-launcher.js.map

package/dist/core/subagent-lane-launcher.js.map

@@ -1 +1 @@
-{"version":3,"file":"subagent-lane-launcher.js","sourceRoot":"","sources":["../../src/core/subagent-lane-launcher.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAA2B,MAAM,2BAA2B,CAAC;AA2BzF,6FAA6F;AAC7F,MAAM,UAAU,yBAAyB,CAAC,KAA8B,EAAU;IACjF,MAAM,UAAU,GACf,KAAK,CAAC,0BAA0B,KAAK,SAAS,IAAI,KAAK,CAAC,0BAA0B,GAAG,CAAC;QACrF,CAAC,CAAC,KAAK,CAAC,0BAA0B;QAClC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CACrB,KAAK,CAAC,SAAS,EACf,UAAU,EACV,KAAK,CAAC,yBAAyB,EAC/B,KAAK,CAAC,qBAAqB,EAC3B,KAAK,CAAC,qBAAqB,CAC3B,CAAC;IACF,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAAA,CACnE;AAqCD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAA+B,EAAsC;IAC9G,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,kBAAkB,GAAG,yBAAyB,CAAC;QACpD,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK;QACjC,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;QAC5D,yBAAyB,EAAE,KAAK,CAAC,QAAQ,CAAC,gBAAgB;QAC1D,qBAAqB,EAAE,IAAI,CAAC,GAAG,CAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,EAC9D,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CACtF;QACD,qBAAqB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;KAC9F,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,IAAI,kBAAkB,KAAK,CAAC,EAAE,CAAC;YACvD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC;YACnG,CAAC;YACD,SAAS;QACV,CAAC;QACD,oEAAoE;QACpE,qEAAqE;QACrE,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,KAAK,IAAmB,EAAE,CAAC;YAC1C,OAAO,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACrC,MAAM,IAAI,CAAC,CAAC;gBACZ,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;oBACnD,SAAS;gBACV,CAAC;gBACD,QAAQ,CAAC,IAAI,CACZ,MAAM,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE;oBAChD,KAAK,EAAE,GAAG,EAAE,CAAC;wBACZ,MAAM,IAAI,CAAC,CAAC;wBACZ,sBAAsB,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;oBAAA,CAClE;oBACD,IAAI,EAAE,GAAG,EAAE,CAAC;wBACX,MAAM,IAAI,CAAC,CAAC;oBAAA,CACZ;iBACD,CAAC,CACF,CAAC;YACH,CAAC;QAAA,CACD,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,CAAC;AAAA,CAChE;AAED,KAAK,UAAU,OAAO,CACrB,KAA+B,EAC/B,MAAc,EACd,kBAA0B,EAC1B,KAAgE,EACzC;IACvB,IAAI,aAAuC,CAAC;IAC5C,IAAI,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,aAAa,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,KAAK,CAAC,EAAE,CAAC;YACvF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;QACjD,CAAC;QACD,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC7C,SAAS,EAAE,QAAQ,MAAM,EAAE;gBAC3B,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,aAAa,EAAE,OAAO;gBACtB,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,SAAS,EAAE,KAAK,CAAC,mBAAmB,IAAI,MAAM;aAC9C,CAAC,CAAC;YACH,aAAa,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACxC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,KAAK,YAAY,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3E,OAAO;gBACN,MAAM;gBACN,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB;gBAChE,UAAU,EAAE,UAAU,IAAI,EAAE;aAC5B,CAAC;QACH,CAAC;IACF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAC3B,aAAa,EAAE,EAAE,CAAC;QAClB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC5C,CAAC;IACD,KAAK,CAAC,KAAK,EAAE,CAAC;IACd,IAAI,CAAC;QACJ,MAAM,KAAK,CAAC,UAAU,CAAC;YACtB,MAAM;YACN,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,kBAAkB;SAClB,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9E,CAAC;IAAC,MAAM,CAAC;QACR,6DAA6D;QAC7D,OAAO;YACN,MAAM;YACN,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ;YACtD,UAAU,EAAE,uBAAuB;SACnC,CAAC;IACH,CAAC;YAAS,CAAC;QACV,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,aAAa,EAAE,EAAE,CAAC;IACnB,CAAC;AAAA,CACD","sourcesContent":["import type { ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { SubagentOrchestrationPlan } from \"./subagent-orchestration.ts\";\nimport { WorkloadPermitError, type WorkloadPermitPool } from \"./workload-permit-pool.ts\";\n\n/**\n * Subagent lane launch authority (OMK v0.97.x roadmap §14, M6/PR10).\n *\n * Turns `buildSubagentOrchestrationPlan()` output into enforced execution:\n * the §14.2 effective width is a hard cap on concurrently active children,\n * batches run in order (writer serialization / path conflicts are encoded in\n * the plan's batches, which supplies the `pathConflictFreeWidth` term), and\n * heavy lanes draw permits from the PARENT's shared pool (§14.1 — a child\n * never constructs its own pool here; it receives this launcher's budget).\n *\n * §14.3 guarantees: child failure releases its permit (leak 0), parent\n * abort aborts queued permit waits and never launches unstarted lanes, and\n * the child context carries the parent decision with a width the child\n * cannot raise (§14.4: no API exists to widen — the context is read-only).\n */\n\nexport interface EffectiveLaneWidthInput {\n\treadonly planWidth: number;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly admissionMaxParallelLanes: number;\n\treadonly availableHeavyPermits: number;\n\t/** Widest conflict-free batch; the plan's batching already serializes writers. */\n\treadonly pathConflictFreeWidth: number;\n}\n\n/** Zero authority defers execution; configured zero retains its legacy unlimited meaning. */\nexport function computeEffectiveLaneWidth(input: EffectiveLaneWidthInput): number {\n\tconst configured =\n\t\tinput.configuredMaxParallelLanes !== undefined && input.configuredMaxParallelLanes > 0\n\t\t\t? input.configuredMaxParallelLanes\n\t\t\t: Number.POSITIVE_INFINITY;\n\tconst width = Math.min(\n\t\tinput.planWidth,\n\t\tconfigured,\n\t\tinput.admissionMaxParallelLanes,\n\t\tinput.availableHeavyPermits,\n\t\tinput.pathConflictFreeWidth,\n\t);\n\treturn Number.isFinite(width) ? Math.max(0, Math.floor(width)) : 0;\n}\n\n/** Read-only budget handed to every child (§14.1). Nothing here can raise a cap. */\nexport interface SubagentLaneContext {\n\treadonly laneId: string;\n\treadonly promptRunId: string;\n\treadonly signal?: AbortSignal;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly effectiveLaneWidth: number;\n}\n\nexport interface LaneOutcome {\n\treadonly laneId: string;\n\treadonly status: \"completed\" | \"failed\" | \"cancelled\" | \"skipped-abort\" | \"permit-rejected\" | \"admission-deferred\";\n\treadonly diagnostic?: string;\n}\n\nexport interface LaunchSubagentLanesInput {\n\treadonly plan: SubagentOrchestrationPlan;\n\treadonly promptRunId: string;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly permitPool: WorkloadPermitPool;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly signal?: AbortSignal;\n\t/** Lane ids that run heavy work and must hold a shared permit (§14.3). */\n\treadonly heavyLaneIds?: ReadonlySet<string>;\n\t/** The actual child launcher (process spawn, SDK session, or test double). */\n\treadonly launchLane: (context: SubagentLaneContext) => Promise<void>;\n\treadonly permitWaitTimeoutMs?: number;\n}\n\nexport interface LaunchSubagentLanesResult {\n\treadonly outcomes: readonly LaneOutcome[];\n\treadonly effectiveLaneWidth: number;\n\treadonly maxObservedConcurrency: number;\n}\n\n/**\n * Execute a plan's batches with the §14.2 width as launcher authority.\n * Never throws for lane failures; the caller reads per-lane outcomes.\n */\nexport async function launchSubagentLanes(input: LaunchSubagentLanesInput): Promise<LaunchSubagentLanesResult> {\n\tconst poolSnapshot = input.permitPool.snapshot();\n\tconst effectiveLaneWidth = computeEffectiveLaneWidth({\n\t\tplanWidth: input.plan.route.width,\n\t\tconfiguredMaxParallelLanes: input.configuredMaxParallelLanes,\n\t\tadmissionMaxParallelLanes: input.decision.maxParallelLanes,\n\t\tavailableHeavyPermits: Math.min(\n\t\t\tMath.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight),\n\t\t\tinput.heavyLaneIds?.size ? input.decision.maxHeavyProcesses : Number.POSITIVE_INFINITY,\n\t\t),\n\t\tpathConflictFreeWidth: Math.max(0, ...input.plan.batches.map((batch) => batch.laneIds.length)),\n\t});\n\n\tconst outcomes: LaneOutcome[] = [];\n\tlet active = 0;\n\tlet maxObservedConcurrency = 0;\n\n\tfor (const batch of input.plan.batches) {\n\t\tif (input.signal?.aborted || effectiveLaneWidth === 0) {\n\t\t\tfor (const laneId of batch.laneIds) {\n\t\t\t\toutcomes.push({ laneId, status: input.signal?.aborted ? \"skipped-abort\" : \"admission-deferred\" });\n\t\t\t}\n\t\t\tcontinue;\n\t\t}\n\t\t// Batches execute sequentially (dependency + writer serialization);\n\t\t// inside one batch, the effective width bounds the running children.\n\t\tlet cursor = 0;\n\t\tconst runners: Promise<void>[] = [];\n\t\tconst runNext = async (): Promise<void> => {\n\t\t\twhile (cursor < batch.laneIds.length) {\n\t\t\t\tconst laneId = batch.laneIds[cursor];\n\t\t\t\tcursor += 1;\n\t\t\t\tif (input.signal?.aborted) {\n\t\t\t\t\toutcomes.push({ laneId, status: \"skipped-abort\" });\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\toutcomes.push(\n\t\t\t\t\tawait runLane(input, laneId, effectiveLaneWidth, {\n\t\t\t\t\t\tenter: () => {\n\t\t\t\t\t\t\tactive += 1;\n\t\t\t\t\t\t\tmaxObservedConcurrency = Math.max(maxObservedConcurrency, active);\n\t\t\t\t\t\t},\n\t\t\t\t\t\texit: () => {\n\t\t\t\t\t\t\tactive -= 1;\n\t\t\t\t\t\t},\n\t\t\t\t\t}),\n\t\t\t\t);\n\t\t\t}\n\t\t};\n\t\tconst workers = Math.min(effectiveLaneWidth, batch.laneIds.length);\n\t\tfor (let i = 0; i < workers; i++) {\n\t\t\trunners.push(runNext());\n\t\t}\n\t\tawait Promise.all(runners);\n\t}\n\treturn { outcomes, effectiveLaneWidth, maxObservedConcurrency };\n}\n\nasync function runLane(\n\tinput: LaunchSubagentLanesInput,\n\tlaneId: string,\n\teffectiveLaneWidth: number,\n\tgauge: { readonly enter: () => void; readonly exit: () => void },\n): Promise<LaneOutcome> {\n\tlet releasePermit: (() => void) | undefined;\n\tif (input.heavyLaneIds?.has(laneId)) {\n\t\tif (input.decision.action === \"defer-heavy\" || input.decision.maxHeavyProcesses === 0) {\n\t\t\treturn { laneId, status: \"admission-deferred\" };\n\t\t}\n\t\ttry {\n\t\t\tconst permit = await input.permitPool.acquire({\n\t\t\t\trequestId: `lane-${laneId}`,\n\t\t\t\tpromptRunId: input.promptRunId,\n\t\t\t\tworkloadClass: \"heavy\",\n\t\t\t\tweight: 1,\n\t\t\t\tsignal: input.signal,\n\t\t\t\ttimeoutMs: input.permitWaitTimeoutMs ?? 60_000,\n\t\t\t});\n\t\t\treleasePermit = () => permit.release();\n\t\t} catch (error) {\n\t\t\tconst code = error instanceof WorkloadPermitError ? error.code : \"unknown\";\n\t\t\treturn {\n\t\t\t\tlaneId,\n\t\t\t\tstatus: code === \"aborted\" ? \"skipped-abort\" : \"permit-rejected\",\n\t\t\t\tdiagnostic: `permit.${code}`,\n\t\t\t};\n\t\t}\n\t}\n\tif (input.signal?.aborted) {\n\t\treleasePermit?.();\n\t\treturn { laneId, status: \"skipped-abort\" };\n\t}\n\tgauge.enter();\n\ttry {\n\t\tawait input.launchLane({\n\t\t\tlaneId,\n\t\t\tpromptRunId: input.promptRunId,\n\t\t\tsignal: input.signal,\n\t\t\tdecision: input.decision,\n\t\t\teffectiveLaneWidth,\n\t\t});\n\t\treturn { laneId, status: input.signal?.aborted ? \"cancelled\" : \"completed\" };\n\t} catch {\n\t\t// Child error text is untrusted and may contain credentials.\n\t\treturn {\n\t\t\tlaneId,\n\t\t\tstatus: input.signal?.aborted ? \"cancelled\" : \"failed\",\n\t\t\tdiagnostic: \"lane.execution_failed\",\n\t\t};\n\t} finally {\n\t\tgauge.exit();\n\t\treleasePermit?.();\n\t}\n}\n"]}
+{"version":3,"file":"subagent-lane-launcher.js","sourceRoot":"","sources":["../../src/core/subagent-lane-launcher.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,mBAAmB,EAA2B,MAAM,2BAA2B,CAAC;AA2BzF,6FAA6F;AAC7F,MAAM,UAAU,yBAAyB,CAAC,KAA8B,EAAU;IACjF,MAAM,UAAU,GACf,KAAK,CAAC,0BAA0B,KAAK,SAAS,IAAI,KAAK,CAAC,0BAA0B,GAAG,CAAC;QACrF,CAAC,CAAC,KAAK,CAAC,0BAA0B;QAClC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CACrB,KAAK,CAAC,SAAS,EACf,UAAU,EACV,KAAK,CAAC,yBAAyB,EAC/B,KAAK,CAAC,qBAAqB,EAC3B,KAAK,CAAC,qBAAqB,CAC3B,CAAC;IACF,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAAA,CACnE;AAiCD;;;;;;GAMG;AACH,SAAS,yBAAyB,CACjC,YAA0E,EAC1E,YAA6C,EAC7C,IAA+B,EAC/B,iBAAyB,EAChB;IACT,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACtG,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,IAAI,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC,CAAC;AAAA,CACnG;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAA+B,EAAsC;IAC9G,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,cAAc,GAAG,yBAAyB,CAC/C,YAAY,EACZ,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAChC,CAAC;IACF,MAAM,kBAAkB,GAAG,yBAAyB,CAAC;QACpD,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK;QACjC,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;QAC5D,yBAAyB,EAAE,KAAK,CAAC,QAAQ,CAAC,gBAAgB;QAC1D,qBAAqB,EAAE,cAAc;QACrC,qBAAqB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;KAC9F,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;QAC3E,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,IAAI,kBAAkB,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YAClE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC;oBACb,MAAM;oBACN,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO;wBAC5B,CAAC,CAAC,eAAe;wBACjB,CAAC,CAAC,kBAAkB,KAAK,CAAC;4BACzB,CAAC,CAAC,oBAAoB;4BACtB,CAAC,CAAC,oBAAoB;iBACxB,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,oEAAoE;QACpE,qEAAqE;QACrE,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,KAAK,IAAmB,EAAE,CAAC;YAC1C,OAAO,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACrC,MAAM,IAAI,CAAC,CAAC;gBACZ,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC,EAAE,CAAC;oBACzF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC;oBAClG,SAAS;gBACV,CAAC;gBACD,QAAQ,CAAC,IAAI,CACZ,MAAM,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE;oBAChD,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC;oBACzE,KAAK,EAAE,GAAG,EAAE,CAAC;wBACZ,MAAM,IAAI,CAAC,CAAC;wBACZ,sBAAsB,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;oBAAA,CAClE;oBACD,IAAI,EAAE,GAAG,EAAE,CAAC;wBACX,MAAM,IAAI,CAAC,CAAC;oBAAA,CACZ;iBACD,CAAC,CACF,CAAC;YACH,CAAC;QAAA,CACD,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,CAAC;AAAA,CAChE;AAED,KAAK,UAAU,OAAO,CACrB,KAA+B,EAC/B,MAAc,EACd,kBAA0B,EAC1B,KAAiG,EAC1E;IACvB,IAAI,aAAuC,CAAC;IAC5C,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,IACC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,aAAa;YACvC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,QAAQ,KAAK,CAAC;YAC1C,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,YAAY,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,EAC3E,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;QACjD,CAAC;QACD,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC7C,SAAS,EAAE,QAAQ,MAAM,EAAE;gBAC3B,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,aAAa,EAAE,OAAO;gBACtB,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,SAAS,EAAE,KAAK,CAAC,mBAAmB,IAAI,MAAM;aAC9C,CAAC,CAAC;YACH,aAAa,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACxC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,KAAK,YAAY,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3E,OAAO;gBACN,MAAM;gBACN,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB;gBAChE,UAAU,EAAE,UAAU,IAAI,EAAE;aAC5B,CAAC;QACH,CAAC;IACF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,aAAa,EAAE,EAAE,CAAC;QAClB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC;IAC3F,CAAC;IACD,KAAK,CAAC,KAAK,EAAE,CAAC;IACd,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC;YACrC,MAAM;YACN,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,kBAAkB;SAClB,CAAC,CAAC;QACH,IAAI,MAAM,EAAE,MAAM,KAAK,WAAW,EAAE,CAAC;YACpC,QAAQ,GAAG,IAAI,CAAC;YAChB,0EAA0E;YAC1E,KAAK,MAAM,CAAC,UAAU,CAAC,IAAI,CAC1B,GAAG,EAAE,CAAC;gBACL,KAAK,CAAC,IAAI,EAAE,CAAC;gBACb,aAAa,EAAE,EAAE,CAAC;YAAA,CAClB,EACD,GAAG,EAAE,CAAC,EAAC,CAAC,CACR,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QACxC,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,WAAW,CAAC,EAAE,CAAC;IAClG,CAAC;IAAC,MAAM,CAAC;QACR,6DAA6D;QAC7D,OAAO;YACN,MAAM;YACN,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ;YACtD,UAAU,EAAE,uBAAuB;SACnC,CAAC;IACH,CAAC;YAAS,CAAC;QACV,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,EAAE,CAAC;YACb,aAAa,EAAE,EAAE,CAAC;QACnB,CAAC;IACF,CAAC;AAAA,CACD","sourcesContent":["import type { ResourceAdmissionDecision } from \"./resource-admission.ts\";\nimport type { LaneOutcome, SubagentLaneExecutionResult } from \"./subagent-lane-contract.ts\";\nimport type { SubagentOrchestrationPlan } from \"./subagent-orchestration.ts\";\nimport { WorkloadPermitError, type WorkloadPermitPool } from \"./workload-permit-pool.ts\";\n\n/**\n * Subagent lane launch authority (OMK v0.97.x roadmap §14, M6/PR10).\n *\n * Turns `buildSubagentOrchestrationPlan()` output into enforced execution:\n * the §14.2 effective width is a hard cap on concurrently active children,\n * batches run in order (writer serialization / path conflicts are encoded in\n * the plan's batches, which supplies the `pathConflictFreeWidth` term), and\n * heavy lanes draw permits from the PARENT's shared pool (§14.1 — a child\n * never constructs its own pool here; it receives this launcher's budget).\n *\n * §14.3 guarantees: child failure releases its permit (leak 0), parent\n * abort aborts queued permit waits and never launches unstarted lanes, and\n * the child context carries the parent decision with a width the child\n * cannot raise (§14.4: no API exists to widen — the context is read-only).\n */\n\nexport interface EffectiveLaneWidthInput {\n\treadonly planWidth: number;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly admissionMaxParallelLanes: number;\n\treadonly availableHeavyPermits: number;\n\t/** Widest conflict-free batch; the plan's batching already serializes writers. */\n\treadonly pathConflictFreeWidth: number;\n}\n\n/** Zero authority defers execution; configured zero retains its legacy unlimited meaning. */\nexport function computeEffectiveLaneWidth(input: EffectiveLaneWidthInput): number {\n\tconst configured =\n\t\tinput.configuredMaxParallelLanes !== undefined && input.configuredMaxParallelLanes > 0\n\t\t\t? input.configuredMaxParallelLanes\n\t\t\t: Number.POSITIVE_INFINITY;\n\tconst width = Math.min(\n\t\tinput.planWidth,\n\t\tconfigured,\n\t\tinput.admissionMaxParallelLanes,\n\t\tinput.availableHeavyPermits,\n\t\tinput.pathConflictFreeWidth,\n\t);\n\treturn Number.isFinite(width) ? Math.max(0, Math.floor(width)) : 0;\n}\n\n/** Read-only budget handed to every child (§14.1). Nothing here can raise a cap. */\nexport interface SubagentLaneContext {\n\treadonly laneId: string;\n\treadonly promptRunId: string;\n\treadonly signal?: AbortSignal;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly effectiveLaneWidth: number;\n}\n\nexport type { LaneOutcome };\n\nexport interface LaunchSubagentLanesInput {\n\treadonly plan: SubagentOrchestrationPlan;\n\treadonly promptRunId: string;\n\treadonly decision: ResourceAdmissionDecision;\n\treadonly permitPool: WorkloadPermitPool;\n\treadonly configuredMaxParallelLanes?: number;\n\treadonly signal?: AbortSignal;\n\t/** Lane ids that run heavy work and must hold a shared permit (§14.3). */\n\treadonly heavyLaneIds?: ReadonlySet<string>;\n\t/** The actual child launcher (process spawn, SDK session, or test double). */\n\treadonly launchLane: (context: SubagentLaneContext) => Promise<SubagentLaneExecutionResult>;\n\treadonly permitWaitTimeoutMs?: number;\n}\n\nexport interface LaunchSubagentLanesResult {\n\treadonly outcomes: readonly LaneOutcome[];\n\treadonly effectiveLaneWidth: number;\n\treadonly maxObservedConcurrency: number;\n}\n\n/**\n * Heavy admission gate for the effective lane width. Omitted `heavyLaneIds`\n * preserves the legacy contract: remaining pool capacity gates the whole width.\n * An explicitly declared set narrows the gate to heavy work only (spec F06): a\n * light-only declaration or a mixed plan must not let the heavy pool stall light\n * lanes; mixed plans defer heavy lanes individually at permit acquisition.\n */\nfunction computeHeavyAdmissionGate(\n\tpoolSnapshot: { readonly capacity: number; readonly activeWeight: number },\n\theavyLaneIds: ReadonlySet<string> | undefined,\n\tplan: SubagentOrchestrationPlan,\n\tmaxHeavyProcesses: number,\n): number {\n\tif (heavyLaneIds === undefined) return Math.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight);\n\tif (heavyLaneIds.size === 0) return Number.POSITIVE_INFINITY;\n\tconst allHeavy = plan.batches.every((batch) => batch.laneIds.every((id) => heavyLaneIds.has(id)));\n\tif (!allHeavy) return Number.POSITIVE_INFINITY;\n\treturn Math.min(Math.max(0, poolSnapshot.capacity - poolSnapshot.activeWeight), maxHeavyProcesses);\n}\n\n/**\n * Execute a plan's batches with the §14.2 width as launcher authority.\n * Never throws for lane failures; the caller reads per-lane outcomes.\n */\nexport async function launchSubagentLanes(input: LaunchSubagentLanesInput): Promise<LaunchSubagentLanesResult> {\n\tconst poolSnapshot = input.permitPool.snapshot();\n\tconst heavyAdmission = computeHeavyAdmissionGate(\n\t\tpoolSnapshot,\n\t\tinput.heavyLaneIds,\n\t\tinput.plan,\n\t\tinput.decision.maxHeavyProcesses,\n\t);\n\tconst effectiveLaneWidth = computeEffectiveLaneWidth({\n\t\tplanWidth: input.plan.route.width,\n\t\tconfiguredMaxParallelLanes: input.configuredMaxParallelLanes,\n\t\tadmissionMaxParallelLanes: input.decision.maxParallelLanes,\n\t\tavailableHeavyPermits: heavyAdmission,\n\t\tpathConflictFreeWidth: Math.max(0, ...input.plan.batches.map((batch) => batch.laneIds.length)),\n\t});\n\n\tconst outcomes: LaneOutcome[] = [];\n\tlet active = 0;\n\tlet maxObservedConcurrency = 0;\n\n\tfor (const batch of input.plan.batches) {\n\t\tconst blocked = outcomes.some((outcome) => outcome.status !== \"completed\");\n\t\tif (input.signal?.aborted || effectiveLaneWidth === 0 || blocked) {\n\t\t\tfor (const laneId of batch.laneIds) {\n\t\t\t\toutcomes.push({\n\t\t\t\t\tlaneId,\n\t\t\t\t\tstatus: input.signal?.aborted\n\t\t\t\t\t\t? \"skipped-abort\"\n\t\t\t\t\t\t: effectiveLaneWidth === 0\n\t\t\t\t\t\t\t? \"admission-deferred\"\n\t\t\t\t\t\t\t: \"blocked-dependency\",\n\t\t\t\t});\n\t\t\t}\n\t\t\tcontinue;\n\t\t}\n\t\t// Batches execute sequentially (dependency + writer serialization);\n\t\t// inside one batch, the effective width bounds the running children.\n\t\tlet cursor = 0;\n\t\tconst runners: Promise<void>[] = [];\n\t\tconst runNext = async (): Promise<void> => {\n\t\t\twhile (cursor < batch.laneIds.length) {\n\t\t\t\tconst laneId = batch.laneIds[cursor];\n\t\t\t\tcursor += 1;\n\t\t\t\tif (input.signal?.aborted || outcomes.some((outcome) => outcome.status === \"unsettled\")) {\n\t\t\t\t\toutcomes.push({ laneId, status: input.signal?.aborted ? \"skipped-abort\" : \"blocked-dependency\" });\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\toutcomes.push(\n\t\t\t\t\tawait runLane(input, laneId, effectiveLaneWidth, {\n\t\t\t\t\t\tblocked: () => outcomes.some((outcome) => outcome.status === \"unsettled\"),\n\t\t\t\t\t\tenter: () => {\n\t\t\t\t\t\t\tactive += 1;\n\t\t\t\t\t\t\tmaxObservedConcurrency = Math.max(maxObservedConcurrency, active);\n\t\t\t\t\t\t},\n\t\t\t\t\t\texit: () => {\n\t\t\t\t\t\t\tactive -= 1;\n\t\t\t\t\t\t},\n\t\t\t\t\t}),\n\t\t\t\t);\n\t\t\t}\n\t\t};\n\t\tconst workers = Math.min(effectiveLaneWidth, batch.laneIds.length);\n\t\tfor (let i = 0; i < workers; i++) {\n\t\t\trunners.push(runNext());\n\t\t}\n\t\tawait Promise.all(runners);\n\t}\n\treturn { outcomes, effectiveLaneWidth, maxObservedConcurrency };\n}\n\nasync function runLane(\n\tinput: LaunchSubagentLanesInput,\n\tlaneId: string,\n\teffectiveLaneWidth: number,\n\tgauge: { readonly enter: () => void; readonly exit: () => void; readonly blocked: () => boolean },\n): Promise<LaneOutcome> {\n\tlet releasePermit: (() => void) | undefined;\n\tlet retained = false;\n\tif (input.heavyLaneIds?.has(laneId)) {\n\t\tif (\n\t\t\tinput.decision.action === \"defer-heavy\" ||\n\t\t\tinput.permitPool.snapshot().capacity === 0 ||\n\t\t\tinput.permitPool.snapshot().activeWeight >= input.decision.maxHeavyProcesses\n\t\t) {\n\t\t\treturn { laneId, status: \"admission-deferred\" };\n\t\t}\n\t\ttry {\n\t\t\tconst permit = await input.permitPool.acquire({\n\t\t\t\trequestId: `lane-${laneId}`,\n\t\t\t\tpromptRunId: input.promptRunId,\n\t\t\t\tworkloadClass: \"heavy\",\n\t\t\t\tweight: 1,\n\t\t\t\tsignal: input.signal,\n\t\t\t\ttimeoutMs: input.permitWaitTimeoutMs ?? 60_000,\n\t\t\t});\n\t\t\treleasePermit = () => permit.release();\n\t\t} catch (error) {\n\t\t\tconst code = error instanceof WorkloadPermitError ? error.code : \"unknown\";\n\t\t\treturn {\n\t\t\t\tlaneId,\n\t\t\t\tstatus: code === \"aborted\" ? \"skipped-abort\" : \"permit-rejected\",\n\t\t\t\tdiagnostic: `permit.${code}`,\n\t\t\t};\n\t\t}\n\t}\n\tif (input.signal?.aborted || gauge.blocked()) {\n\t\treleasePermit?.();\n\t\treturn { laneId, status: input.signal?.aborted ? \"skipped-abort\" : \"blocked-dependency\" };\n\t}\n\tgauge.enter();\n\ttry {\n\t\tconst result = await input.launchLane({\n\t\t\tlaneId,\n\t\t\tpromptRunId: input.promptRunId,\n\t\t\tsignal: input.signal,\n\t\t\tdecision: input.decision,\n\t\t\teffectiveLaneWidth,\n\t\t});\n\t\tif (result?.status === \"unsettled\") {\n\t\t\tretained = true;\n\t\t\t// A rejected settlement cannot prove termination; retain the reservation.\n\t\t\tvoid result.settlement.then(\n\t\t\t\t() => {\n\t\t\t\t\tgauge.exit();\n\t\t\t\t\treleasePermit?.();\n\t\t\t\t},\n\t\t\t\t() => {},\n\t\t\t);\n\t\t\treturn { laneId, status: \"unsettled\" };\n\t\t}\n\t\treturn { laneId, status: input.signal?.aborted ? \"cancelled\" : (result?.status ?? \"completed\") };\n\t} catch {\n\t\t// Child error text is untrusted and may contain credentials.\n\t\treturn {\n\t\t\tlaneId,\n\t\t\tstatus: input.signal?.aborted ? \"cancelled\" : \"failed\",\n\t\t\tdiagnostic: \"lane.execution_failed\",\n\t\t};\n\t} finally {\n\t\tif (!retained) {\n\t\t\tgauge.exit();\n\t\t\treleasePermit?.();\n\t\t}\n\t}\n}\n"]}