@zxyycom/vibe-check 0.0.1 → 0.0.3

package/dist/esm/project-run/task-scheduler/custom-admission-policy.mjs

@@ -0,0 +1,110 @@
+import { AdmissionPolicyFault } from "./scheduler-admission-decision.mjs";
+import { capacityFor } from "./scheduler-decision-inspection.mjs";
+import { admissionStateForCore } from "./admission-core/core.mjs";
+/** Adapts the public, trusted callback to the Scheduler's private pure policy seam. */
+export function admissionSelectionPolicyFor(decide) {
+    return Object.freeze({
+        requiresMeasurement: true,
+        decide: (input) => invokeCustomPolicy(decide, input)
+    });
+}
+function invokeCustomPolicy(decide, input) {
+    let proposal;
+    try {
+        proposal = decide(admissionPolicyContext(input));
+    }
+    catch {
+        throw new AdmissionPolicyFault("callback-threw");
+    }
+    if (isThenable(proposal))
+        throw new AdmissionPolicyFault("thenable-proposal");
+    return validateProposal(proposal);
+}
+function admissionPolicyContext(input) {
+    if (input.measurement === undefined)
+        throw new Error("custom admission policy requires measurement");
+    return deepFreeze({
+        activeScopeIds: [...input.inspection.activeScopeIds],
+        admissionState: admissionStateForCore(input.admissionCore),
+        candidates: input.candidates.map((candidate) => ({
+            canAdmit: candidate.canAdmit,
+            taskId: candidate.task.id
+        })),
+        capacity: capacityFor(input.inspection),
+        measurement: input.measurement,
+        graph: input.graphSnapshot,
+        runningTaskIds: [...input.inspection.runningTaskIds],
+        runtime: {
+            abortRequested: input.inspection.isAbortRequested,
+            cancelled: input.inspection.isCancelled
+        },
+        settledTaskIds: input.inspection.settledTasks.map((task) => task.taskId)
+    });
+}
+function validateProposal(value) {
+    if (!isPlainRecord(value))
+        throw new AdmissionPolicyFault("malformed-proposal");
+    try {
+        return parseProposalRecord(value);
+    }
+    catch (error) {
+        if (error instanceof AdmissionPolicyFault)
+            throw error;
+        throw new AdmissionPolicyFault("malformed-proposal");
+    }
+}
+function parseProposalRecord(value) {
+    switch (value.kind) {
+        case "select":
+            return parseSelectProposal(value);
+        case "wait":
+            return parseWaitProposal(value);
+    }
+    throw new AdmissionPolicyFault("malformed-proposal");
+}
+function parseSelectProposal(value) {
+    const keys = Reflect.ownKeys(value);
+    if (keys.length !== 2 ||
+        !keys.includes("kind") ||
+        !keys.includes("taskId") ||
+        typeof value.taskId !== "string") {
+        throw new AdmissionPolicyFault("malformed-proposal");
+    }
+    return Object.freeze({ kind: "select", taskId: value.taskId });
+}
+function parseWaitProposal(value) {
+    const keys = Reflect.ownKeys(value);
+    if (keys.length !== 1 || keys[0] !== "kind") {
+        throw new AdmissionPolicyFault("malformed-proposal");
+    }
+    return Object.freeze({ kind: "wait" });
+}
+function isPlainRecord(value) {
+    if (value === null || typeof value !== "object" || Array.isArray(value))
+        return false;
+    try {
+        const prototype = Reflect.getPrototypeOf(value);
+        return prototype === Object.prototype || prototype === null;
+    }
+    catch {
+        return false;
+    }
+}
+function isThenable(value) {
+    if (value === null || (typeof value !== "object" && typeof value !== "function"))
+        return false;
+    try {
+        return typeof Reflect.get(value, "then") === "function";
+    }
+    catch {
+        return true;
+    }
+}
+function deepFreeze(value) {
+    if (value === null || typeof value !== "object" || Object.isFrozen(value))
+        return value;
+    for (const item of Object.values(value))
+        deepFreeze(item);
+    return Object.freeze(value);
+}
+//# sourceMappingURL=custom-admission-policy.mjs.map

package/dist/esm/project-run/task-scheduler/custom-admission-policy.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom-admission-policy.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/custom-admission-policy.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,oBAAoB,EAErB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,uFAAuF;AACvF,MAAM,UAAU,2BAA2B,CACzC,MAA0E;IAE1E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,mBAAmB,EAAE,IAAI;QACzB,MAAM,EAAE,CAAC,KAA2B,EAAE,EAAE,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC;KAC3E,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,MAA0E,EAC1E,KAA2B;IAE3B,IAAI,QAAiB,CAAC;IACtB,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,mBAAmB,CAAC,CAAC;IAC9E,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA2B;IACzD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QACjC,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,OAAO,UAAU,CAAC;QAChB,cAAc,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC;QACpD,cAAc,EAAE,qBAAqB,CAAC,KAAK,CAAC,aAAa,CAAC;QAC1D,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC/C,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE;SAC1B,CAAC,CAAC;QACH,QAAQ,EAAE,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC;QACvC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,KAAK,EAAE,KAAK,CAAC,aAAa;QAC1B,cAAc,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC;QACpD,OAAO,EAAE;YACP,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,gBAAgB;YACjD,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;SACxC;QACD,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACzE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IAChF,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,oBAAoB;YAAE,MAAM,KAAK,CAAC;QACvD,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IACE,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACtB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAChC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA8B;IACvD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QAC5C,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAChD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/F,IAAI,CAAC;QACH,OAAO,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,UAAU,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC","sourcesContent":["import type {\n  AdmissionPolicyContext,\n  AdmissionProposal\n} from \"../../project-definition/project-definition.ts\";\nimport type {\n  AdmissionPolicyInput,\n  AdmissionSelectionPolicy\n} from \"./admission-selection-policy.ts\";\nimport {\n  AdmissionPolicyFault,\n  type AdmissionPolicyFaultCategory\n} from \"./scheduler-admission-decision.ts\";\nimport { capacityFor } from \"./scheduler-decision-inspection.ts\";\nimport { admissionStateForCore } from \"./admission-core/core.ts\";\n\n/** Adapts the public, trusted callback to the Scheduler's private pure policy seam. */\nexport function admissionSelectionPolicyFor(\n  decide: (this: void, context: AdmissionPolicyContext) => AdmissionProposal\n): AdmissionSelectionPolicy {\n  return Object.freeze({\n    requiresMeasurement: true,\n    decide: (input: AdmissionPolicyInput) => invokeCustomPolicy(decide, input)\n  });\n}\n\nfunction invokeCustomPolicy(\n  decide: (this: void, context: AdmissionPolicyContext) => AdmissionProposal,\n  input: AdmissionPolicyInput\n): AdmissionProposal {\n  let proposal: unknown;\n  try {\n    proposal = decide(admissionPolicyContext(input));\n  } catch {\n    throw new AdmissionPolicyFault(\"callback-threw\");\n  }\n  if (isThenable(proposal)) throw new AdmissionPolicyFault(\"thenable-proposal\");\n  return validateProposal(proposal);\n}\n\nfunction admissionPolicyContext(input: AdmissionPolicyInput): AdmissionPolicyContext {\n  if (input.measurement === undefined)\n    throw new Error(\"custom admission policy requires measurement\");\n  return deepFreeze({\n    activeScopeIds: [...input.inspection.activeScopeIds],\n    admissionState: admissionStateForCore(input.admissionCore),\n    candidates: input.candidates.map((candidate) => ({\n      canAdmit: candidate.canAdmit,\n      taskId: candidate.task.id\n    })),\n    capacity: capacityFor(input.inspection),\n    measurement: input.measurement,\n    graph: input.graphSnapshot,\n    runningTaskIds: [...input.inspection.runningTaskIds],\n    runtime: {\n      abortRequested: input.inspection.isAbortRequested,\n      cancelled: input.inspection.isCancelled\n    },\n    settledTaskIds: input.inspection.settledTasks.map((task) => task.taskId)\n  });\n}\n\nfunction validateProposal(value: unknown): AdmissionProposal {\n  if (!isPlainRecord(value)) throw new AdmissionPolicyFault(\"malformed-proposal\");\n  try {\n    return parseProposalRecord(value);\n  } catch (error) {\n    if (error instanceof AdmissionPolicyFault) throw error;\n    throw new AdmissionPolicyFault(\"malformed-proposal\");\n  }\n}\n\nfunction parseProposalRecord(value: Record<string, unknown>): AdmissionProposal {\n  switch (value.kind) {\n    case \"select\":\n      return parseSelectProposal(value);\n    case \"wait\":\n      return parseWaitProposal(value);\n  }\n  throw new AdmissionPolicyFault(\"malformed-proposal\");\n}\n\nfunction parseSelectProposal(value: Record<string, unknown>): AdmissionProposal {\n  const keys = Reflect.ownKeys(value);\n  if (\n    keys.length !== 2 ||\n    !keys.includes(\"kind\") ||\n    !keys.includes(\"taskId\") ||\n    typeof value.taskId !== \"string\"\n  ) {\n    throw new AdmissionPolicyFault(\"malformed-proposal\");\n  }\n  return Object.freeze({ kind: \"select\", taskId: value.taskId });\n}\n\nfunction parseWaitProposal(value: Record<string, unknown>): AdmissionProposal {\n  const keys = Reflect.ownKeys(value);\n  if (keys.length !== 1 || keys[0] !== \"kind\") {\n    throw new AdmissionPolicyFault(\"malformed-proposal\");\n  }\n  return Object.freeze({ kind: \"wait\" });\n}\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  if (value === null || typeof value !== \"object\" || Array.isArray(value)) return false;\n  try {\n    const prototype = Reflect.getPrototypeOf(value);\n    return prototype === Object.prototype || prototype === null;\n  } catch {\n    return false;\n  }\n}\n\nfunction isThenable(value: unknown): boolean {\n  if (value === null || (typeof value !== \"object\" && typeof value !== \"function\")) return false;\n  try {\n    return typeof Reflect.get(value, \"then\") === \"function\";\n  } catch {\n    return true;\n  }\n}\n\nfunction deepFreeze<T>(value: T): T {\n  if (value === null || typeof value !== \"object\" || Object.isFrozen(value)) return value;\n  for (const item of Object.values(value)) deepFreeze(item);\n  return Object.freeze(value);\n}\n\nexport type { AdmissionPolicyFaultCategory };\n"]}

package/dist/esm/project-run/task-scheduler/execution-state.mjs

@@ -1,4 +1,10 @@
+import { staticAdmissionSelectionPolicy } from "./admission-selection-policy.mjs";
+import { compilePreparedAdmissionGraph, createAdmissionCoreFromSchedulerSnapshot, createInitialAdmissionCoreState } from "./admission-core/core.mjs";
 export function createSchedulerState(graph, options) {
+    const admissionPolicy = options.admissionPolicy ?? staticAdmissionSelectionPolicy;
+    if (!Object.isFrozen(admissionPolicy) || typeof admissionPolicy.decide !== "function") {
+        throw new TypeError("task engine admission policy must be a frozen policy value");
+    }
     const scopesById = new Map();
     for (const scope of graph.scopes) {
         scopesById.set(scope.id, {
@@ -7,10 +13,16 @@ export function createSchedulerState(graph, options) {
             isActive: false
         });
     }
-    return {
+    const compiledAdmissionGraph = compilePreparedAdmissionGraph(graph, options.maxParallel);
+    const state = {
+        admissionCore: createInitialAdmissionCoreState(compiledAdmissionGraph),
+        admissionPolicy,
         diagnosticLogger: options.diagnosticLogger,
         graph,
+        isPrerequisiteSatisfied: options.isPrerequisiteSatisfied,
         maxParallel: options.maxParallel,
+        onTaskBlocked: options.onTaskBlocked,
+        onAdmissionCoreEffect: options.onAdmissionCoreEffect,
         signal: options.signal,
         execute: options.execute,
         pending: [...graph.tasks],
@@ -18,9 +30,28 @@ export function createSchedulerState(graph, options) {
         runningMutexes: new Set(),
         settlementsByTaskId: new Map(),
         scopesById,
-        reservationTaskId: undefined,
-        isCancelled: false
+        isCancelled: false,
+        admissionPolicyFault: undefined
     };
+    recordPreAdmissionTaskResults(state, options.preAdmissionTaskResults ?? []);
+    state.admissionCore = createAdmissionCoreFromSchedulerSnapshot(compiledAdmissionGraph, snapshotSchedulerState(state));
+    return state;
+}
+function recordPreAdmissionTaskResults(state, preAdmissionTaskResults) {
+    for (const result of preAdmissionTaskResults) {
+        const pendingIndex = state.pending.findIndex((task) => task.id === result.taskId);
+        if (pendingIndex < 0) {
+            throw new TypeError(`pre-admission task result references unknown or duplicate task ${result.taskId}`);
+        }
+        const [task] = state.pending.splice(pendingIndex, 1);
+        if (task === undefined) {
+            throw new Error(`pre-admission task ${result.taskId} disappeared before settlement`);
+        }
+        const settlement = state.isPrerequisiteSatisfied?.(result.value) === false
+            ? { kind: "prerequisite-unsatisfied", value: result.value }
+            : { kind: "completed", value: result.value };
+        recordSettlement(state, task, Object.freeze(settlement));
+    }
 }
 /** Projects mutable execution state into the pure scheduler-decision input. */
 export function snapshotSchedulerState(state) {
@@ -33,7 +64,6 @@ export function snapshotSchedulerState(state) {
         isCancelled: state.isCancelled,
         maxParallel: state.maxParallel,
         pendingTaskIds: Object.freeze(state.pending.map((task) => task.id)),
-        reservationTaskId: state.reservationTaskId,
         runningMutexes: Object.freeze([...state.runningMutexes]),
         runningTaskIds: Object.freeze([...state.runningById.keys()]),
         settledTasks: Object.freeze([...state.settlementsByTaskId].map(([taskId, settlement]) => Object.freeze({ kind: settlement.kind, taskId })))
@@ -44,7 +74,6 @@ export function scopeForTask(task, state) {
 }
 export function cancelPendingTasks(state) {
     state.isCancelled = true;
-    state.reservationTaskId = undefined;
     while (state.pending.length > 0) {
         const task = state.pending.shift();
         if (task === undefined) {

package/dist/esm/project-run/task-scheduler/execution-state.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"execution-state.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/execution-state.ts"],"names":[],"mappings":"AAoEA,MAAM,UAAU,oBAAoB,CAClC,KAAuB,EACvB,OAAqC;IAErC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE;YACvB,KAAK;YACL,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC;YACnD,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,KAAK;QACL,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QACzB,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,mBAAmB,EAAE,IAAI,GAAG,EAAE;QAC9B,UAAU;QACV,iBAAiB,EAAE,SAAS;QAC5B,WAAW,EAAE,KAAK;KACnB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sBAAsB,CAAU,KAA8B;IAC5E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,cAAc,EAAE,MAAM,CAAC,MAAM,CAC3B,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;aAC3B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;aACjC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAClC;QACD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,gBAAgB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI;QAChD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;QACxD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,YAAY,EAAE,MAAM,CAAC,MAAM,CACzB,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE,CAC1D,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CACjD,CACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAiB,EACjB,KAA8B;IAE9B,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAU,KAA8B;IACxE,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC;IACzB,KAAK,CAAC,iBAAiB,GAAG,SAAS,CAAC;IACpC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QACD,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAA8B,EAC9B,IAAiB,EACjB,UAAmC;IAEnC,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,KAAK,EAAE,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;QAC5C,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC;IACzB,CAAC;AACH,CAAC","sourcesContent":["import type { PlannedTask, PlannedTaskGraph, PlannedTaskScope, TaskGraph } from \"./graph.ts\";\nimport type { DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\nimport type { SchedulerSnapshot } from \"./scheduler-decision.ts\";\n\nexport type TaskSettlement<TResult> = Readonly<\n  | { readonly kind: \"completed\"; readonly value: TResult }\n  | { readonly kind: \"failed\"; readonly error: unknown }\n  | { readonly kind: \"blocked\"; readonly dependencyIds: readonly string[] }\n  | { readonly kind: \"cancelled-before-start\" }\n>;\n\nexport interface SettledTask<TResult> {\n  readonly task: PlannedTask;\n  readonly settlement: TaskSettlement<TResult>;\n}\n\nexport interface TaskExecutionContext {\n  readonly signal: AbortSignal | undefined;\n}\n\nexport interface TaskGraphRun<TResult> {\n  readonly cancelled: boolean;\n  /** One entry per static graph Task, in static graph order. */\n  readonly settlements: readonly SettledTask<TResult>[];\n}\n\nexport interface RunTaskGraphOptions<TResult> {\n  readonly diagnosticLogger?: DiagnosticLogger;\n  readonly graph: TaskGraph;\n  readonly maxParallel: number;\n  readonly signal?: AbortSignal;\n  readonly execute: (\n    task: PlannedTask,\n    context: TaskExecutionContext\n  ) => TResult | Promise<TResult>;\n}\n\nexport type RunningTaskCompletion<TResult> = Readonly<{\n  readonly taskId: string;\n  readonly settlement: TaskSettlement<TResult>;\n}>;\n\nexport interface RunningTask<TResult> {\n  readonly task: PlannedTask;\n  readonly completion: Promise<RunningTaskCompletion<TResult>>;\n}\n\nexport interface RuntimeScope {\n  readonly scope: PlannedTaskScope;\n  readonly activationTaskIds: ReadonlySet<string>;\n  isActive: boolean;\n}\n\nexport interface SchedulerState<TResult> {\n  readonly diagnosticLogger: DiagnosticLogger | undefined;\n  readonly graph: PlannedTaskGraph;\n  readonly maxParallel: number;\n  readonly signal: AbortSignal | undefined;\n  readonly execute: RunTaskGraphOptions<TResult>[\"execute\"];\n  readonly pending: PlannedTask[];\n  readonly runningById: Map<string, RunningTask<TResult>>;\n  readonly runningMutexes: Set<string>;\n  readonly settlementsByTaskId: Map<string, TaskSettlement<TResult>>;\n  readonly scopesById: ReadonlyMap<string, RuntimeScope>;\n  reservationTaskId: string | undefined;\n  isCancelled: boolean;\n}\n\nexport function createSchedulerState<TResult>(\n  graph: PlannedTaskGraph,\n  options: RunTaskGraphOptions<TResult>\n): SchedulerState<TResult> {\n  const scopesById = new Map<string, RuntimeScope>();\n  for (const scope of graph.scopes) {\n    scopesById.set(scope.id, {\n      scope,\n      activationTaskIds: new Set(scope.activationTaskIds),\n      isActive: false\n    });\n  }\n  return {\n    diagnosticLogger: options.diagnosticLogger,\n    graph,\n    maxParallel: options.maxParallel,\n    signal: options.signal,\n    execute: options.execute,\n    pending: [...graph.tasks],\n    runningById: new Map(),\n    runningMutexes: new Set(),\n    settlementsByTaskId: new Map(),\n    scopesById,\n    reservationTaskId: undefined,\n    isCancelled: false\n  };\n}\n\n/** Projects mutable execution state into the pure scheduler-decision input. */\nexport function snapshotSchedulerState<TResult>(state: SchedulerState<TResult>): SchedulerSnapshot {\n  return Object.freeze({\n    activeScopeIds: Object.freeze(\n      [...state.scopesById.values()]\n        .filter((scope) => scope.isActive)\n        .map((scope) => scope.scope.id)\n    ),\n    graph: state.graph,\n    isAbortRequested: state.signal?.aborted === true,\n    isCancelled: state.isCancelled,\n    maxParallel: state.maxParallel,\n    pendingTaskIds: Object.freeze(state.pending.map((task) => task.id)),\n    reservationTaskId: state.reservationTaskId,\n    runningMutexes: Object.freeze([...state.runningMutexes]),\n    runningTaskIds: Object.freeze([...state.runningById.keys()]),\n    settledTasks: Object.freeze(\n      [...state.settlementsByTaskId].map(([taskId, settlement]) =>\n        Object.freeze({ kind: settlement.kind, taskId })\n      )\n    )\n  });\n}\n\nexport function scopeForTask<TResult>(\n  task: PlannedTask,\n  state: SchedulerState<TResult>\n): RuntimeScope | undefined {\n  return task.scopeId === undefined ? undefined : state.scopesById.get(task.scopeId);\n}\n\nexport function cancelPendingTasks<TResult>(state: SchedulerState<TResult>): void {\n  state.isCancelled = true;\n  state.reservationTaskId = undefined;\n  while (state.pending.length > 0) {\n    const task = state.pending.shift();\n    if (task === undefined) {\n      throw new Error(\"task graph pending queue changed unexpectedly\");\n    }\n    recordSettlement(state, task, Object.freeze({ kind: \"cancelled-before-start\" }));\n  }\n}\n\nexport function recordSettlement<TResult>(\n  state: SchedulerState<TResult>,\n  task: PlannedTask,\n  settlement: TaskSettlement<TResult>\n): void {\n  if (state.settlementsByTaskId.has(task.id)) {\n    throw new Error(`task ${task.id} settled more than once`);\n  }\n  state.settlementsByTaskId.set(task.id, settlement);\n  const scope = scopeForTask(task, state);\n  if (scope?.scope.terminalTaskId === task.id) {\n    scope.isActive = false;\n  }\n}\n"]}
+{"version":3,"file":"execution-state.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/execution-state.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,8BAA8B,EAE/B,MAAM,iCAAiC,CAAC;AAKzC,OAAO,EACL,6BAA6B,EAC7B,wCAAwC,EACxC,+BAA+B,EAGhC,MAAM,0BAA0B,CAAC;AAuGlC,MAAM,UAAU,oBAAoB,CAClC,KAAuB,EACvB,OAAqC;IAErC,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,8BAA8B,CAAC;IAClF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,OAAO,eAAe,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACtF,MAAM,IAAI,SAAS,CAAC,4DAA4D,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE;YACvB,KAAK;YACL,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC;YACnD,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,sBAAsB,GAAG,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACzF,MAAM,KAAK,GAA4B;QACrC,aAAa,EAAE,+BAA+B,CAAC,sBAAsB,CAAC;QACtE,eAAe;QACf,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,KAAK;QACL,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;QACxD,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;QACpD,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QACzB,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,mBAAmB,EAAE,IAAI,GAAG,EAAE;QAC9B,UAAU;QACV,WAAW,EAAE,KAAK;QAClB,oBAAoB,EAAE,SAAS;KAChC,CAAC;IACF,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC;IAC5E,KAAK,CAAC,aAAa,GAAG,wCAAwC,CAC5D,sBAAsB,EACtB,sBAAsB,CAAC,KAAK,CAAC,CAC9B,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,6BAA6B,CACpC,KAA8B,EAC9B,uBAAmE;IAEnE,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;QAClF,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,SAAS,CACjB,kEAAkE,MAAM,CAAC,MAAM,EAAE,CAClF,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QACrD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,CAAC,MAAM,gCAAgC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,UAAU,GACd,KAAK,CAAC,uBAAuB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK;YACrD,CAAC,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QACjD,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sBAAsB,CAAU,KAA8B;IAC5E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,cAAc,EAAE,MAAM,CAAC,MAAM,CAC3B,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;aAC3B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;aACjC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAClC;QACD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,gBAAgB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI;QAChD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnE,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;QACxD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,YAAY,EAAE,MAAM,CAAC,MAAM,CACzB,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE,CAC1D,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CACjD,CACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAiB,EACjB,KAA8B;IAE9B,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAU,KAA8B;IACxE,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC;IACzB,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QACD,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAA8B,EAC9B,IAAiB,EACjB,UAAmC;IAEnC,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,KAAK,EAAE,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;QAC5C,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC;IACzB,CAAC;AACH,CAAC","sourcesContent":["import type {\n  SchedulerMeasurementContext,\n  SchedulerTerminalEffect\n} from \"../../project-definition/project-definition.ts\";\nimport type { PlannedTask, PlannedTaskGraph, PlannedTaskScope, TaskGraph } from \"./graph.ts\";\nimport {\n  staticAdmissionSelectionPolicy,\n  type AdmissionSelectionPolicy\n} from \"./admission-selection-policy.ts\";\nimport type { DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\nimport type { SchedulerSnapshot } from \"./scheduler-decision.ts\";\nimport type { AdmissionPolicyFaultCategory } from \"./scheduler-admission-decision.ts\";\nimport type { SchedulerPerformanceDiagnosticsInput } from \"./measurement/diagnostics.ts\";\nimport {\n  compilePreparedAdmissionGraph,\n  createAdmissionCoreFromSchedulerSnapshot,\n  createInitialAdmissionCoreState,\n  type AdmissionCoreEffect,\n  type AdmissionCoreState\n} from \"./admission-core/core.ts\";\n\nexport type TaskSettlement<TResult> = Readonly<\n  | { readonly kind: \"completed\"; readonly value: TResult }\n  | { readonly kind: \"prerequisite-unsatisfied\"; readonly value: TResult }\n  | { readonly kind: \"failed\"; readonly error: unknown }\n  | { readonly kind: \"blocked\"; readonly dependencyIds: readonly string[] }\n  | { readonly kind: \"cancelled-before-start\" }\n>;\n\nexport interface SettledTask<TResult> {\n  readonly task: PlannedTask;\n  readonly settlement: TaskSettlement<TResult>;\n}\n\nexport interface TaskExecutionContext {\n  readonly signal: AbortSignal | undefined;\n}\n\nexport interface PreAdmissionTaskResult<TResult> {\n  readonly taskId: string;\n  readonly value: TResult;\n}\n\n/** Product-private effect hook used to prove that the real shell replays the shared core. */\nexport interface SchedulerAdmissionCoreEffect {\n  readonly effect: AdmissionCoreEffect;\n  readonly state: AdmissionCoreState;\n}\n\nexport interface TaskGraphRun<TResult> {\n  readonly admissionPolicyFault: AdmissionPolicyFaultCategory | undefined;\n  readonly cancelled: boolean;\n  /** One entry per static graph Task, in static graph order. */\n  readonly settlements: readonly SettledTask<TResult>[];\n  /** Product-private terminal facts retained after terminal Hooks have been drained. */\n  readonly terminalMeasurement?: SchedulerMeasurementContext;\n}\n\nexport interface RunTaskGraphOptions<TResult> {\n  /** Product-private policy handoff; package consumers cannot author this through the public API. */\n  readonly admissionPolicy?: AdmissionSelectionPolicy;\n  readonly diagnosticLogger?: DiagnosticLogger;\n  /** Explicit enabled-only handoff; no Scheduler behavior is inferred from a logger shape. */\n  readonly performanceDiagnostics?: SchedulerPerformanceDiagnosticsInput;\n  /** Runtime-only terminal consumers; their context is formed after Scheduler drain. */\n  readonly terminalEffects?: readonly SchedulerTerminalEffect[];\n  readonly onTerminalEffectFailure?: () => void;\n  readonly onTerminalEffectsSettled?: () => void;\n  /** Product-private test observer; no package consumer can supply this through `run`. */\n  readonly onAdmissionCoreEffect?: (effect: SchedulerAdmissionCoreEffect) => void;\n  readonly graph: TaskGraph;\n  /** Product-private Task results formed without Scheduler admission in the current Run. */\n  readonly preAdmissionTaskResults?: readonly PreAdmissionTaskResult<TResult>[];\n  readonly maxParallel: number;\n  readonly signal?: AbortSignal;\n  readonly execute: (\n    task: PlannedTask,\n    context: TaskExecutionContext\n  ) => TResult | Promise<TResult>;\n  /** Maps a completed Task's opaque product value to prerequisite satisfaction. */\n  readonly isPrerequisiteSatisfied?: (value: TResult) => boolean;\n  /** Lets a product close a blocked Task before any terminal observer can be admitted. */\n  readonly onTaskBlocked?: (task: PlannedTask, dependencyIds: readonly string[]) => void;\n}\n\nexport type RunningTaskCompletion<TResult> = Readonly<{\n  readonly taskId: string;\n  readonly settlement: TaskSettlement<TResult>;\n}>;\n\nexport interface RunningTask<TResult> {\n  readonly task: PlannedTask;\n  readonly completion: Promise<RunningTaskCompletion<TResult>>;\n}\n\nexport interface RuntimeScope {\n  readonly scope: PlannedTaskScope;\n  readonly activationTaskIds: ReadonlySet<string>;\n  isActive: boolean;\n}\n\nexport interface SchedulerState<TResult> {\n  /** The shared immutable legality/transition state; Task and Promise ownership remains below. */\n  admissionCore: AdmissionCoreState;\n  readonly admissionPolicy: AdmissionSelectionPolicy;\n  readonly diagnosticLogger: DiagnosticLogger | undefined;\n  readonly graph: PlannedTaskGraph;\n  readonly isPrerequisiteSatisfied: RunTaskGraphOptions<TResult>[\"isPrerequisiteSatisfied\"];\n  readonly maxParallel: number;\n  readonly signal: AbortSignal | undefined;\n  readonly execute: RunTaskGraphOptions<TResult>[\"execute\"];\n  readonly onTaskBlocked: RunTaskGraphOptions<TResult>[\"onTaskBlocked\"];\n  readonly onAdmissionCoreEffect: RunTaskGraphOptions<TResult>[\"onAdmissionCoreEffect\"];\n  readonly pending: PlannedTask[];\n  readonly runningById: Map<string, RunningTask<TResult>>;\n  readonly runningMutexes: Set<string>;\n  readonly settlementsByTaskId: Map<string, TaskSettlement<TResult>>;\n  readonly scopesById: ReadonlyMap<string, RuntimeScope>;\n  isCancelled: boolean;\n  admissionPolicyFault: AdmissionPolicyFaultCategory | undefined;\n}\n\nexport function createSchedulerState<TResult>(\n  graph: PlannedTaskGraph,\n  options: RunTaskGraphOptions<TResult>\n): SchedulerState<TResult> {\n  const admissionPolicy = options.admissionPolicy ?? staticAdmissionSelectionPolicy;\n  if (!Object.isFrozen(admissionPolicy) || typeof admissionPolicy.decide !== \"function\") {\n    throw new TypeError(\"task engine admission policy must be a frozen policy value\");\n  }\n  const scopesById = new Map<string, RuntimeScope>();\n  for (const scope of graph.scopes) {\n    scopesById.set(scope.id, {\n      scope,\n      activationTaskIds: new Set(scope.activationTaskIds),\n      isActive: false\n    });\n  }\n  const compiledAdmissionGraph = compilePreparedAdmissionGraph(graph, options.maxParallel);\n  const state: SchedulerState<TResult> = {\n    admissionCore: createInitialAdmissionCoreState(compiledAdmissionGraph),\n    admissionPolicy,\n    diagnosticLogger: options.diagnosticLogger,\n    graph,\n    isPrerequisiteSatisfied: options.isPrerequisiteSatisfied,\n    maxParallel: options.maxParallel,\n    onTaskBlocked: options.onTaskBlocked,\n    onAdmissionCoreEffect: options.onAdmissionCoreEffect,\n    signal: options.signal,\n    execute: options.execute,\n    pending: [...graph.tasks],\n    runningById: new Map(),\n    runningMutexes: new Set(),\n    settlementsByTaskId: new Map(),\n    scopesById,\n    isCancelled: false,\n    admissionPolicyFault: undefined\n  };\n  recordPreAdmissionTaskResults(state, options.preAdmissionTaskResults ?? []);\n  state.admissionCore = createAdmissionCoreFromSchedulerSnapshot(\n    compiledAdmissionGraph,\n    snapshotSchedulerState(state)\n  );\n  return state;\n}\n\nfunction recordPreAdmissionTaskResults<TResult>(\n  state: SchedulerState<TResult>,\n  preAdmissionTaskResults: readonly PreAdmissionTaskResult<TResult>[]\n): void {\n  for (const result of preAdmissionTaskResults) {\n    const pendingIndex = state.pending.findIndex((task) => task.id === result.taskId);\n    if (pendingIndex < 0) {\n      throw new TypeError(\n        `pre-admission task result references unknown or duplicate task ${result.taskId}`\n      );\n    }\n    const [task] = state.pending.splice(pendingIndex, 1);\n    if (task === undefined) {\n      throw new Error(`pre-admission task ${result.taskId} disappeared before settlement`);\n    }\n    const settlement: TaskSettlement<TResult> =\n      state.isPrerequisiteSatisfied?.(result.value) === false\n        ? { kind: \"prerequisite-unsatisfied\", value: result.value }\n        : { kind: \"completed\", value: result.value };\n    recordSettlement(state, task, Object.freeze(settlement));\n  }\n}\n\n/** Projects mutable execution state into the pure scheduler-decision input. */\nexport function snapshotSchedulerState<TResult>(state: SchedulerState<TResult>): SchedulerSnapshot {\n  return Object.freeze({\n    activeScopeIds: Object.freeze(\n      [...state.scopesById.values()]\n        .filter((scope) => scope.isActive)\n        .map((scope) => scope.scope.id)\n    ),\n    graph: state.graph,\n    isAbortRequested: state.signal?.aborted === true,\n    isCancelled: state.isCancelled,\n    maxParallel: state.maxParallel,\n    pendingTaskIds: Object.freeze(state.pending.map((task) => task.id)),\n    runningMutexes: Object.freeze([...state.runningMutexes]),\n    runningTaskIds: Object.freeze([...state.runningById.keys()]),\n    settledTasks: Object.freeze(\n      [...state.settlementsByTaskId].map(([taskId, settlement]) =>\n        Object.freeze({ kind: settlement.kind, taskId })\n      )\n    )\n  });\n}\n\nexport function scopeForTask<TResult>(\n  task: PlannedTask,\n  state: SchedulerState<TResult>\n): RuntimeScope | undefined {\n  return task.scopeId === undefined ? undefined : state.scopesById.get(task.scopeId);\n}\n\nexport function cancelPendingTasks<TResult>(state: SchedulerState<TResult>): void {\n  state.isCancelled = true;\n  while (state.pending.length > 0) {\n    const task = state.pending.shift();\n    if (task === undefined) {\n      throw new Error(\"task graph pending queue changed unexpectedly\");\n    }\n    recordSettlement(state, task, Object.freeze({ kind: \"cancelled-before-start\" }));\n  }\n}\n\nexport function recordSettlement<TResult>(\n  state: SchedulerState<TResult>,\n  task: PlannedTask,\n  settlement: TaskSettlement<TResult>\n): void {\n  if (state.settlementsByTaskId.has(task.id)) {\n    throw new Error(`task ${task.id} settled more than once`);\n  }\n  state.settlementsByTaskId.set(task.id, settlement);\n  const scope = scopeForTask(task, state);\n  if (scope?.scope.terminalTaskId === task.id) {\n    scope.isActive = false;\n  }\n}\n"]}

package/dist/esm/project-run/task-scheduler/forced-block-effect-replay.mjs

@@ -0,0 +1,46 @@
+import { schedulerInspectionForCore } from "./admission-core/core.mjs";
+import { decisionContext } from "./scheduler-decision-inspection.mjs";
+import { freezeDecision } from "./scheduler-decision-model.mjs";
+import { observeSchedulerDecision, performanceState } from "./scheduler-observation.mjs";
+import { applyForcedBlockedSettlement } from "./scheduler-task-lifecycle.mjs";
+/**
+ * Adapts only canonical forced blocked effects to the real Scheduler shell.
+ * Direct admission, running settlement, and cancellation remain in the root shell.
+ */
+export function replayCoreForcedBlocks(state, effects, effectStates, diagnostics, trigger) {
+    if (effects.length !== effectStates.length) {
+        throw new Error("shared admission core effect replay has no matching immutable post-state");
+    }
+    for (const [index, effect] of effects.entries()) {
+        if (effect.kind !== "settled" || effect.settlementKind !== "blocked") {
+            throw new Error("shared admission core forced-block replay received a non-blocked effect");
+        }
+        const effectState = effectStates[index];
+        if (effectState === undefined) {
+            throw new Error("shared admission core forced block has no immutable post-state");
+        }
+        diagnostics?.beforePendingSettlement([effect.taskId]);
+        state.admissionCore = effectState;
+        applyForcedBlockedSettlement(state, effect.taskId, effect.dependencyIds ?? []);
+        diagnostics?.captureState(performanceState(state));
+        diagnostics?.recordEffect(Object.freeze({ kind: "settled", settlementKind: "blocked", taskId: effect.taskId }));
+        if (diagnostics !== undefined || state.diagnosticLogger !== undefined) {
+            const inspection = schedulerInspectionForCore(state.admissionCore);
+            observeSchedulerDecision(state, freezeDecision({
+                ...decisionContext(Object.freeze({
+                    ...inspection,
+                    isAbortRequested: state.signal?.aborted === true,
+                    isCancelled: state.isCancelled
+                }), state.admissionCore.compiled.graph.schedulerGraphSnapshot),
+                dependencyIds: effect.dependencyIds ?? [],
+                kind: "settle-blocked",
+                taskId: effect.taskId,
+                trigger
+            }), diagnostics);
+        }
+        if (state.onAdmissionCoreEffect !== undefined) {
+            state.onAdmissionCoreEffect(Object.freeze({ effect, state: state.admissionCore }));
+        }
+    }
+}
+//# sourceMappingURL=forced-block-effect-replay.mjs.map

package/dist/esm/project-run/task-scheduler/forced-block-effect-replay.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"forced-block-effect-replay.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/forced-block-effect-replay.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAG3B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAG/D,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAExF,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAE7E;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAA8B,EAC9B,OAAuC,EACvC,YAA2C,EAC3C,WAAwD,EACxD,OAAyB;IAEzB,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,CAAC;QACD,WAAW,EAAE,uBAAuB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,KAAK,CAAC,aAAa,GAAG,WAAW,CAAC;QAClC,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;QAC/E,WAAW,EAAE,YAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,WAAW,EAAE,YAAY,CACvB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CACrF,CAAC;QACF,IAAI,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtE,MAAM,UAAU,GAAG,0BAA0B,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YACnE,wBAAwB,CACtB,KAAK,EACL,cAAc,CAAC;gBACb,GAAG,eAAe,CAChB,MAAM,CAAC,MAAM,CAAC;oBACZ,GAAG,UAAU;oBACb,gBAAgB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI;oBAChD,WAAW,EAAE,KAAK,CAAC,WAAW;iBAC/B,CAAC,EACF,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAC1D;gBACD,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE;gBACzC,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO;aACR,CAAC,EACF,WAAW,CACZ,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC9C,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["import {\n  schedulerInspectionForCore,\n  type AdmissionCoreEffect,\n  type AdmissionCoreState\n} from \"./admission-core/core.ts\";\nimport { decisionContext } from \"./scheduler-decision-inspection.ts\";\nimport { freezeDecision } from \"./scheduler-decision-model.ts\";\nimport type { SchedulerTrigger } from \"./scheduler-decision.ts\";\nimport type { SchedulerState } from \"./execution-state.ts\";\nimport { observeSchedulerDecision, performanceState } from \"./scheduler-observation.ts\";\nimport type { SchedulerPerformanceDiagnostics } from \"./measurement/diagnostics.ts\";\nimport { applyForcedBlockedSettlement } from \"./scheduler-task-lifecycle.ts\";\n\n/**\n * Adapts only canonical forced blocked effects to the real Scheduler shell.\n * Direct admission, running settlement, and cancellation remain in the root shell.\n */\nexport function replayCoreForcedBlocks<TResult>(\n  state: SchedulerState<TResult>,\n  effects: readonly AdmissionCoreEffect[],\n  effectStates: readonly AdmissionCoreState[],\n  diagnostics: SchedulerPerformanceDiagnostics | undefined,\n  trigger: SchedulerTrigger\n): void {\n  if (effects.length !== effectStates.length) {\n    throw new Error(\"shared admission core effect replay has no matching immutable post-state\");\n  }\n  for (const [index, effect] of effects.entries()) {\n    if (effect.kind !== \"settled\" || effect.settlementKind !== \"blocked\") {\n      throw new Error(\"shared admission core forced-block replay received a non-blocked effect\");\n    }\n    const effectState = effectStates[index];\n    if (effectState === undefined) {\n      throw new Error(\"shared admission core forced block has no immutable post-state\");\n    }\n    diagnostics?.beforePendingSettlement([effect.taskId]);\n    state.admissionCore = effectState;\n    applyForcedBlockedSettlement(state, effect.taskId, effect.dependencyIds ?? []);\n    diagnostics?.captureState(performanceState(state));\n    diagnostics?.recordEffect(\n      Object.freeze({ kind: \"settled\", settlementKind: \"blocked\", taskId: effect.taskId })\n    );\n    if (diagnostics !== undefined || state.diagnosticLogger !== undefined) {\n      const inspection = schedulerInspectionForCore(state.admissionCore);\n      observeSchedulerDecision(\n        state,\n        freezeDecision({\n          ...decisionContext(\n            Object.freeze({\n              ...inspection,\n              isAbortRequested: state.signal?.aborted === true,\n              isCancelled: state.isCancelled\n            }),\n            state.admissionCore.compiled.graph.schedulerGraphSnapshot\n          ),\n          dependencyIds: effect.dependencyIds ?? [],\n          kind: \"settle-blocked\",\n          taskId: effect.taskId,\n          trigger\n        }),\n        diagnostics\n      );\n    }\n    if (state.onAdmissionCoreEffect !== undefined) {\n      state.onAdmissionCoreEffect(Object.freeze({ effect, state: state.admissionCore }));\n    }\n  }\n}\n"]}

package/dist/esm/project-run/task-scheduler/graph-validation.mjs

@@ -1,19 +1,44 @@
-/** Validates dependency and scope relations after graph-shaped input is normalized. */
+/** Validates direct relations and scope structure after graph-shaped input is normalized. */
 export function validatePreparedTaskGraph(input) {
-    validateDependencies(input.tasks, input.taskById);
-    validateDependencyCycles(input.tasks, input.taskById);
+    validateResourceClaims(input.resourceCapacities, input.tasks);
+    validateTaskRelations(input.tasks, input.taskById);
+    validateTaskRelationCycles(input.tasks, input.taskById);
     validateScopes(input);
 }
-function validateDependencies(tasks, taskById) {
+function validateResourceClaims(capacities, tasks) {
+    const capacityByResourceId = new Map(capacities.map(({ resourceId, units }) => [resourceId, units]));
     for (const task of tasks) {
-        for (const dependency of task.dependsOn) {
-            if (!taskById.has(dependency)) {
-                throw new Error(`task ${task.id} depends on unknown task ${dependency}`);
+        for (const claim of task.resourceClaims) {
+            const capacity = capacityByResourceId.get(claim.resourceId);
+            if (capacity === undefined) {
+                throw new Error(`task ${task.id} claims unknown resource ${claim.resourceId}`);
+            }
+            if (claim.units > capacity) {
+                throw new Error(`task ${task.id} claim exceeds resource capacity: ${claim.resourceId}`);
+            }
+        }
+    }
+}
+function validateTaskRelations(tasks, taskById) {
+    for (const task of tasks) {
+        validateRelatedTaskIds(task, "dependsOn", task.dependsOn, taskById);
+        validateRelatedTaskIds(task, "observes", task.observes, taskById);
+        for (const dependencyId of task.dependsOn) {
+            if (task.observes.includes(dependencyId)) {
+                throw new Error(`task ${task.id} cannot both depend on and observe task ${dependencyId}`);
             }
         }
     }
 }
-function validateDependencyCycles(tasks, taskById) {
+function validateRelatedTaskIds(task, relation, relationTargetIds, taskById) {
+    const action = relation === "dependsOn" ? "depends on" : "observes";
+    for (const relatedTaskId of relationTargetIds) {
+        if (!taskById.has(relatedTaskId)) {
+            throw new Error(`task ${task.id} ${action} unknown task ${relatedTaskId}`);
+        }
+    }
+}
+function validateTaskRelationCycles(tasks, taskById) {
     const visiting = new Set();
     const visited = new Set();
     const visit = (task) => {
@@ -23,12 +48,12 @@ function validateDependencyCycles(tasks, taskById) {
         if (visited.has(task.id))
             return;
         visiting.add(task.id);
-        for (const dependency of task.dependsOn) {
-            const dependencyTask = taskById.get(dependency);
-            if (dependencyTask === undefined) {
-                throw new Error(`task ${task.id} depends on unknown task ${dependency}`);
+        for (const relatedTaskId of relatedTaskIds(task)) {
+            const relatedTask = taskById.get(relatedTaskId);
+            if (relatedTask === undefined) {
+                throw new Error(`task ${task.id} relates to unknown task ${relatedTaskId}`);
             }
-            visit(dependencyTask);
+            visit(relatedTask);
         }
         visiting.delete(task.id);
         visited.add(task.id);
@@ -88,32 +113,35 @@ function validateScopeTerminalReachability(scope, tasks, taskById) {
     for (const task of tasks) {
         if (task.scopeId !== scope.id || task.id === scope.terminalTaskId)
             continue;
-        if (!dependsOnTask({ requiredDependencyId: task.id, taskById, taskId: scope.terminalTaskId })) {
-            throw new Error(`task scope ${scope.id} terminal task must depend on scoped task ${task.id}`);
+        if (!isRelatedToTask({ requiredRelatedTaskId: task.id, taskById, taskId: scope.terminalTaskId })) {
+            throw new Error(`task scope ${scope.id} terminal task must relate to scoped task ${task.id}`);
         }
     }
 }
-function dependsOnTask(query) {
-    return traverseDependencies({
-        pending: [...taskDependencies(query.taskById, query.taskId)],
+function isRelatedToTask(query) {
+    return traverseTaskRelations({
+        pending: [...relatedTaskIdsFor(query.taskById, query.taskId)],
         query,
         visited: new Set()
     });
 }
-function traverseDependencies(traversal) {
+function traverseTaskRelations(traversal) {
     while (traversal.pending.length > 0) {
-        const dependencyId = traversal.pending.pop();
-        if (dependencyId === undefined || traversal.visited.has(dependencyId))
+        const relatedTaskId = traversal.pending.pop();
+        if (relatedTaskId === undefined || traversal.visited.has(relatedTaskId))
             continue;
-        if (dependencyId === traversal.query.requiredDependencyId)
+        if (relatedTaskId === traversal.query.requiredRelatedTaskId)
             return true;
-        traversal.visited.add(dependencyId);
-        traversal.pending.push(...taskDependencies(traversal.query.taskById, dependencyId));
+        traversal.visited.add(relatedTaskId);
+        traversal.pending.push(...relatedTaskIdsFor(traversal.query.taskById, relatedTaskId));
     }
     return false;
 }
-function taskDependencies(taskById, taskId) {
+function relatedTaskIdsFor(taskById, taskId) {
     const task = taskById.get(taskId);
-    return task === undefined ? [] : task.dependsOn;
+    return task === undefined ? [] : relatedTaskIds(task);
+}
+function relatedTaskIds(task) {
+    return [...task.dependsOn, ...task.observes];
 }
 //# sourceMappingURL=graph-validation.mjs.map

package/dist/esm/project-run/task-scheduler/graph-validation.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"graph-validation.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/graph-validation.ts"],"names":[],"mappings":"AAsBA,uFAAuF;AACvF,MAAM,UAAU,yBAAyB,CAAC,KAAuC;IAC/E,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClD,wBAAwB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtD,cAAc,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAA6B,EAC7B,QAA0C;IAE1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACxC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,4BAA4B,UAAU,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAA6B,EAC7B,QAA0C;IAE1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAQ,EAAE;QACxC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO;QAEjC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACxC,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAChD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,4BAA4B,UAAU,EAAE,CAAC,CAAC;YAC3E,CAAC;YACD,KAAK,CAAC,cAAc,CAAC,CAAC;QACxB,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAuC;IAC7D,uBAAuB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC/C,2BAA2B,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;QAC/C,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7C,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,eAAmC;IAClE,IACE,eAAe,KAAK,SAAS;QAC7B,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,eAAe,IAAI,CAAC,CAAC,EAChE,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,KAA6B,EAC7B,SAAgD;IAEhD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,6BAA6B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAuB,EAAE,eAAmC;IACpF,IAAI,eAAe,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,GAAG,eAAe,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,8CAA8C,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAuB,EACvB,QAA0C;IAE1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,OAAO,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,yCAAyC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAuB,EACvB,QAA0C;IAE1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,4BAA4B,MAAM,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,EAAE,OAAO,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,8CAA8C,MAAM,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iCAAiC,CACxC,KAAuB,EACvB,KAA6B,EAC7B,QAA0C;IAE1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,cAAc;YAAE,SAAS;QAC5E,IAAI,CAAC,aAAa,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC;YAC9F,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,6CAA6C,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B;IAC/C,OAAO,oBAAoB,CAAC;QAC1B,OAAO,EAAE,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,KAAK;QACL,OAAO,EAAE,IAAI,GAAG,EAAE;KACnB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAAC,SAA8B;IAC1D,OAAO,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QAC7C,IAAI,YAAY,KAAK,SAAS,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,SAAS;QAChF,IAAI,YAAY,KAAK,SAAS,CAAC,KAAK,CAAC,oBAAoB;YAAE,OAAO,IAAI,CAAC;QAEvE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACpC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,QAA0C,EAC1C,MAAc;IAEd,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;AAClD,CAAC","sourcesContent":["import type { PlannedTask, PlannedTaskScope } from \"./graph.ts\";\n\ninterface PreparedTaskGraphValidationInput {\n  readonly rootMaxParallel: number | undefined;\n  readonly scopeById: ReadonlyMap<string, PlannedTaskScope>;\n  readonly scopes: readonly PlannedTaskScope[];\n  readonly taskById: ReadonlyMap<string, PlannedTask>;\n  readonly tasks: readonly PlannedTask[];\n}\n\ninterface DependencyPathQuery {\n  readonly requiredDependencyId: string;\n  readonly taskById: ReadonlyMap<string, PlannedTask>;\n  readonly taskId: string;\n}\n\ninterface DependencyTraversal {\n  readonly pending: string[];\n  readonly query: DependencyPathQuery;\n  readonly visited: Set<string>;\n}\n\n/** Validates dependency and scope relations after graph-shaped input is normalized. */\nexport function validatePreparedTaskGraph(input: PreparedTaskGraphValidationInput): void {\n  validateDependencies(input.tasks, input.taskById);\n  validateDependencyCycles(input.tasks, input.taskById);\n  validateScopes(input);\n}\n\nfunction validateDependencies(\n  tasks: readonly PlannedTask[],\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  for (const task of tasks) {\n    for (const dependency of task.dependsOn) {\n      if (!taskById.has(dependency)) {\n        throw new Error(`task ${task.id} depends on unknown task ${dependency}`);\n      }\n    }\n  }\n}\n\nfunction validateDependencyCycles(\n  tasks: readonly PlannedTask[],\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  const visiting = new Set<string>();\n  const visited = new Set<string>();\n\n  const visit = (task: PlannedTask): void => {\n    if (visiting.has(task.id)) {\n      throw new Error(`task dependency cycle includes ${task.id}`);\n    }\n    if (visited.has(task.id)) return;\n\n    visiting.add(task.id);\n    for (const dependency of task.dependsOn) {\n      const dependencyTask = taskById.get(dependency);\n      if (dependencyTask === undefined) {\n        throw new Error(`task ${task.id} depends on unknown task ${dependency}`);\n      }\n      visit(dependencyTask);\n    }\n    visiting.delete(task.id);\n    visited.add(task.id);\n  };\n\n  for (const task of tasks) {\n    visit(task);\n  }\n}\n\nfunction validateScopes(input: PreparedTaskGraphValidationInput): void {\n  validateRootMaxParallel(input.rootMaxParallel);\n  validateTaskScopeMembership(input.tasks, input.scopeById);\n  for (const scope of input.scopes) {\n    validateScopeCap(scope, input.rootMaxParallel);\n    validateScopeTerminal(scope, input.taskById);\n    validateScopeActivation(scope, input.taskById);\n    validateScopeTerminalReachability(scope, input.tasks, input.taskById);\n  }\n}\n\nfunction validateRootMaxParallel(rootMaxParallel: number | undefined): void {\n  if (\n    rootMaxParallel !== undefined &&\n    (!Number.isSafeInteger(rootMaxParallel) || rootMaxParallel <= 0)\n  ) {\n    throw new TypeError(\"task engine maxParallel must be a positive safe integer\");\n  }\n}\n\nfunction validateTaskScopeMembership(\n  tasks: readonly PlannedTask[],\n  scopeById: ReadonlyMap<string, PlannedTaskScope>\n): void {\n  for (const task of tasks) {\n    if (task.scopeId !== undefined && !scopeById.has(task.scopeId)) {\n      throw new Error(`task ${task.id} references unknown scope ${task.scopeId}`);\n    }\n  }\n}\n\nfunction validateScopeCap(scope: PlannedTaskScope, rootMaxParallel: number | undefined): void {\n  if (rootMaxParallel !== undefined && scope.maxParallel > rootMaxParallel) {\n    throw new Error(`task scope ${scope.id} maxParallel exceeds task engine maxParallel`);\n  }\n}\n\nfunction validateScopeTerminal(\n  scope: PlannedTaskScope,\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  const terminal = taskById.get(scope.terminalTaskId);\n  if (terminal?.scopeId !== scope.id) {\n    throw new Error(`task scope ${scope.id} terminal task must belong to the scope`);\n  }\n}\n\nfunction validateScopeActivation(\n  scope: PlannedTaskScope,\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  const activationIds = new Set<string>();\n  for (const taskId of scope.activationTaskIds) {\n    if (activationIds.has(taskId)) {\n      throw new Error(`task scope ${scope.id} repeats activation task ${taskId}`);\n    }\n    activationIds.add(taskId);\n    const task = taskById.get(taskId);\n    if (task?.scopeId !== scope.id) {\n      throw new Error(`task scope ${scope.id} activation task must belong to the scope: ${taskId}`);\n    }\n  }\n}\n\nfunction validateScopeTerminalReachability(\n  scope: PlannedTaskScope,\n  tasks: readonly PlannedTask[],\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  for (const task of tasks) {\n    if (task.scopeId !== scope.id || task.id === scope.terminalTaskId) continue;\n    if (!dependsOnTask({ requiredDependencyId: task.id, taskById, taskId: scope.terminalTaskId })) {\n      throw new Error(`task scope ${scope.id} terminal task must depend on scoped task ${task.id}`);\n    }\n  }\n}\n\nfunction dependsOnTask(query: DependencyPathQuery): boolean {\n  return traverseDependencies({\n    pending: [...taskDependencies(query.taskById, query.taskId)],\n    query,\n    visited: new Set()\n  });\n}\n\nfunction traverseDependencies(traversal: DependencyTraversal): boolean {\n  while (traversal.pending.length > 0) {\n    const dependencyId = traversal.pending.pop();\n    if (dependencyId === undefined || traversal.visited.has(dependencyId)) continue;\n    if (dependencyId === traversal.query.requiredDependencyId) return true;\n\n    traversal.visited.add(dependencyId);\n    traversal.pending.push(...taskDependencies(traversal.query.taskById, dependencyId));\n  }\n  return false;\n}\n\nfunction taskDependencies(\n  taskById: ReadonlyMap<string, PlannedTask>,\n  taskId: string\n): readonly string[] {\n  const task = taskById.get(taskId);\n  return task === undefined ? [] : task.dependsOn;\n}\n"]}
+{"version":3,"file":"graph-validation.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/graph-validation.ts"],"names":[],"mappings":"AAyBA,6FAA6F;AAC7F,MAAM,UAAU,yBAAyB,CAAC,KAAuC;IAC/E,sBAAsB,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,qBAAqB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnD,0BAA0B,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxD,cAAc,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAyC,EACzC,KAA6B;IAE7B,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAClC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,CAAU,CAAC,CACxE,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC5D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,4BAA4B,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;YACjF,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,GAAG,QAAQ,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,qCAAqC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAA6B,EAC7B,QAA0C;IAE1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,sBAAsB,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACpE,sBAAsB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAClE,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,2CAA2C,YAAY,EAAE,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAiB,EACjB,QAA2B,EAC3B,iBAAoC,EACpC,QAA0C;IAE1C,MAAM,MAAM,GAAG,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,KAAK,MAAM,aAAa,IAAI,iBAAiB,EAAE,CAAC;QAC9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,IAAI,MAAM,iBAAiB,aAAa,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,KAA6B,EAC7B,QAA0C;IAE1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAQ,EAAE;QACxC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO;QAEjC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,KAAK,MAAM,aAAa,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAChD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,4BAA4B,aAAa,EAAE,CAAC,CAAC;YAC9E,CAAC;YACD,KAAK,CAAC,WAAW,CAAC,CAAC;QACrB,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAuC;IAC7D,uBAAuB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC/C,2BAA2B,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;QAC/C,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7C,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,eAAmC;IAClE,IACE,eAAe,KAAK,SAAS;QAC7B,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,eAAe,IAAI,CAAC,CAAC,EAChE,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,KAA6B,EAC7B,SAAgD;IAEhD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,6BAA6B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAuB,EAAE,eAAmC;IACpF,IAAI,eAAe,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,GAAG,eAAe,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,8CAA8C,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAuB,EACvB,QAA0C;IAE1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,OAAO,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,yCAAyC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAuB,EACvB,QAA0C;IAE1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,4BAA4B,MAAM,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,EAAE,OAAO,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,8CAA8C,MAAM,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iCAAiC,CACxC,KAAuB,EACvB,KAA6B,EAC7B,QAA0C;IAE1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,cAAc;YAAE,SAAS;QAC5E,IACE,CAAC,eAAe,CAAC,EAAE,qBAAqB,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC,EAC5F,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,6CAA6C,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAA4B;IACnD,OAAO,qBAAqB,CAAC;QAC3B,OAAO,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7D,KAAK;QACL,OAAO,EAAE,IAAI,GAAG,EAAE;KACnB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,SAAgC;IAC7D,OAAO,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QAC9C,IAAI,aAAa,KAAK,SAAS,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC;YAAE,SAAS;QAClF,IAAI,aAAa,KAAK,SAAS,CAAC,KAAK,CAAC,qBAAqB;YAAE,OAAO,IAAI,CAAC;QAEzE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACrC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,QAA0C,EAC1C,MAAc;IAEd,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,cAAc,CAAC,IAAiB;IACvC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC","sourcesContent":["import type { NamedResourceUnits, PlannedTask, PlannedTaskScope } from \"./graph.ts\";\n\ninterface PreparedTaskGraphValidationInput {\n  readonly resourceCapacities: readonly NamedResourceUnits[];\n  readonly rootMaxParallel: number | undefined;\n  readonly scopeById: ReadonlyMap<string, PlannedTaskScope>;\n  readonly scopes: readonly PlannedTaskScope[];\n  readonly taskById: ReadonlyMap<string, PlannedTask>;\n  readonly tasks: readonly PlannedTask[];\n}\n\ntype TaskRelationField = \"dependsOn\" | \"observes\";\n\ninterface TaskRelationPathQuery {\n  readonly requiredRelatedTaskId: string;\n  readonly taskById: ReadonlyMap<string, PlannedTask>;\n  readonly taskId: string;\n}\n\ninterface TaskRelationTraversal {\n  readonly pending: string[];\n  readonly query: TaskRelationPathQuery;\n  readonly visited: Set<string>;\n}\n\n/** Validates direct relations and scope structure after graph-shaped input is normalized. */\nexport function validatePreparedTaskGraph(input: PreparedTaskGraphValidationInput): void {\n  validateResourceClaims(input.resourceCapacities, input.tasks);\n  validateTaskRelations(input.tasks, input.taskById);\n  validateTaskRelationCycles(input.tasks, input.taskById);\n  validateScopes(input);\n}\n\nfunction validateResourceClaims(\n  capacities: readonly NamedResourceUnits[],\n  tasks: readonly PlannedTask[]\n): void {\n  const capacityByResourceId = new Map(\n    capacities.map(({ resourceId, units }) => [resourceId, units] as const)\n  );\n  for (const task of tasks) {\n    for (const claim of task.resourceClaims) {\n      const capacity = capacityByResourceId.get(claim.resourceId);\n      if (capacity === undefined) {\n        throw new Error(`task ${task.id} claims unknown resource ${claim.resourceId}`);\n      }\n      if (claim.units > capacity) {\n        throw new Error(`task ${task.id} claim exceeds resource capacity: ${claim.resourceId}`);\n      }\n    }\n  }\n}\n\nfunction validateTaskRelations(\n  tasks: readonly PlannedTask[],\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  for (const task of tasks) {\n    validateRelatedTaskIds(task, \"dependsOn\", task.dependsOn, taskById);\n    validateRelatedTaskIds(task, \"observes\", task.observes, taskById);\n    for (const dependencyId of task.dependsOn) {\n      if (task.observes.includes(dependencyId)) {\n        throw new Error(`task ${task.id} cannot both depend on and observe task ${dependencyId}`);\n      }\n    }\n  }\n}\n\nfunction validateRelatedTaskIds(\n  task: PlannedTask,\n  relation: TaskRelationField,\n  relationTargetIds: readonly string[],\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  const action = relation === \"dependsOn\" ? \"depends on\" : \"observes\";\n  for (const relatedTaskId of relationTargetIds) {\n    if (!taskById.has(relatedTaskId)) {\n      throw new Error(`task ${task.id} ${action} unknown task ${relatedTaskId}`);\n    }\n  }\n}\n\nfunction validateTaskRelationCycles(\n  tasks: readonly PlannedTask[],\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  const visiting = new Set<string>();\n  const visited = new Set<string>();\n\n  const visit = (task: PlannedTask): void => {\n    if (visiting.has(task.id)) {\n      throw new Error(`task dependency cycle includes ${task.id}`);\n    }\n    if (visited.has(task.id)) return;\n\n    visiting.add(task.id);\n    for (const relatedTaskId of relatedTaskIds(task)) {\n      const relatedTask = taskById.get(relatedTaskId);\n      if (relatedTask === undefined) {\n        throw new Error(`task ${task.id} relates to unknown task ${relatedTaskId}`);\n      }\n      visit(relatedTask);\n    }\n    visiting.delete(task.id);\n    visited.add(task.id);\n  };\n\n  for (const task of tasks) {\n    visit(task);\n  }\n}\n\nfunction validateScopes(input: PreparedTaskGraphValidationInput): void {\n  validateRootMaxParallel(input.rootMaxParallel);\n  validateTaskScopeMembership(input.tasks, input.scopeById);\n  for (const scope of input.scopes) {\n    validateScopeCap(scope, input.rootMaxParallel);\n    validateScopeTerminal(scope, input.taskById);\n    validateScopeActivation(scope, input.taskById);\n    validateScopeTerminalReachability(scope, input.tasks, input.taskById);\n  }\n}\n\nfunction validateRootMaxParallel(rootMaxParallel: number | undefined): void {\n  if (\n    rootMaxParallel !== undefined &&\n    (!Number.isSafeInteger(rootMaxParallel) || rootMaxParallel <= 0)\n  ) {\n    throw new TypeError(\"task engine maxParallel must be a positive safe integer\");\n  }\n}\n\nfunction validateTaskScopeMembership(\n  tasks: readonly PlannedTask[],\n  scopeById: ReadonlyMap<string, PlannedTaskScope>\n): void {\n  for (const task of tasks) {\n    if (task.scopeId !== undefined && !scopeById.has(task.scopeId)) {\n      throw new Error(`task ${task.id} references unknown scope ${task.scopeId}`);\n    }\n  }\n}\n\nfunction validateScopeCap(scope: PlannedTaskScope, rootMaxParallel: number | undefined): void {\n  if (rootMaxParallel !== undefined && scope.maxParallel > rootMaxParallel) {\n    throw new Error(`task scope ${scope.id} maxParallel exceeds task engine maxParallel`);\n  }\n}\n\nfunction validateScopeTerminal(\n  scope: PlannedTaskScope,\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  const terminal = taskById.get(scope.terminalTaskId);\n  if (terminal?.scopeId !== scope.id) {\n    throw new Error(`task scope ${scope.id} terminal task must belong to the scope`);\n  }\n}\n\nfunction validateScopeActivation(\n  scope: PlannedTaskScope,\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  const activationIds = new Set<string>();\n  for (const taskId of scope.activationTaskIds) {\n    if (activationIds.has(taskId)) {\n      throw new Error(`task scope ${scope.id} repeats activation task ${taskId}`);\n    }\n    activationIds.add(taskId);\n    const task = taskById.get(taskId);\n    if (task?.scopeId !== scope.id) {\n      throw new Error(`task scope ${scope.id} activation task must belong to the scope: ${taskId}`);\n    }\n  }\n}\n\nfunction validateScopeTerminalReachability(\n  scope: PlannedTaskScope,\n  tasks: readonly PlannedTask[],\n  taskById: ReadonlyMap<string, PlannedTask>\n): void {\n  for (const task of tasks) {\n    if (task.scopeId !== scope.id || task.id === scope.terminalTaskId) continue;\n    if (\n      !isRelatedToTask({ requiredRelatedTaskId: task.id, taskById, taskId: scope.terminalTaskId })\n    ) {\n      throw new Error(`task scope ${scope.id} terminal task must relate to scoped task ${task.id}`);\n    }\n  }\n}\n\nfunction isRelatedToTask(query: TaskRelationPathQuery): boolean {\n  return traverseTaskRelations({\n    pending: [...relatedTaskIdsFor(query.taskById, query.taskId)],\n    query,\n    visited: new Set()\n  });\n}\n\nfunction traverseTaskRelations(traversal: TaskRelationTraversal): boolean {\n  while (traversal.pending.length > 0) {\n    const relatedTaskId = traversal.pending.pop();\n    if (relatedTaskId === undefined || traversal.visited.has(relatedTaskId)) continue;\n    if (relatedTaskId === traversal.query.requiredRelatedTaskId) return true;\n\n    traversal.visited.add(relatedTaskId);\n    traversal.pending.push(...relatedTaskIdsFor(traversal.query.taskById, relatedTaskId));\n  }\n  return false;\n}\n\nfunction relatedTaskIdsFor(\n  taskById: ReadonlyMap<string, PlannedTask>,\n  taskId: string\n): readonly string[] {\n  const task = taskById.get(taskId);\n  return task === undefined ? [] : relatedTaskIds(task);\n}\n\nfunction relatedTaskIds(task: PlannedTask): readonly string[] {\n  return [...task.dependsOn, ...task.observes];\n}\n"]}

package/dist/esm/project-run/task-scheduler/graph.mjs

@@ -1,6 +1,15 @@
 import { validatePreparedTaskGraph } from "./graph-validation.mjs";
-const TASK_GRAPH_KEYS = ["tasks", "scopes"];
-const TASK_NODE_KEYS = ["id", "dependsOn", "mutex", "scopeId"];
+import { snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
+const TASK_GRAPH_KEYS = ["resourceCapacities", "tasks", "scopes"];
+const TASK_NODE_KEYS = [
+    "admissionPriority",
+    "id",
+    "dependsOn",
+    "mutex",
+    "observes",
+    "resourceClaims",
+    "scopeId"
+];
 const TASK_SCOPE_KEYS = ["id", "maxParallel", "activationTaskIds", "terminalTaskId"];
 /** Validates untrusted graph-shaped input without admitting it to scheduler execution. */
 export function validateTaskGraph(graph) {
@@ -8,16 +17,46 @@ export function validateTaskGraph(graph) {
 }
 export function prepareTaskGraph(graph, rootMaxParallel) {
     const data = record(graph, "task graph", TASK_GRAPH_KEYS);
+    const resourceCapacities = resourceMapping(data.resourceCapacities, "task graph resourceCapacities");
     const tasks = normalizeTasks(data.tasks);
     const scopes = normalizeScopes(data.scopes);
     const taskById = new Map(tasks.map((task) => [task.id, task]));
     const scopeById = new Map(scopes.map((scope) => [scope.id, scope]));
-    validatePreparedTaskGraph({ rootMaxParallel, scopeById, scopes, taskById, tasks });
+    validatePreparedTaskGraph({
+        resourceCapacities,
+        rootMaxParallel,
+        scopeById,
+        scopes,
+        taskById,
+        tasks
+    });
     return Object.freeze({
+        resourceCapacities,
+        schedulerGraphSnapshot: schedulerGraphSnapshot(tasks, scopes, resourceCapacities),
         tasks: Object.freeze(tasks),
         scopes: Object.freeze(scopes)
     });
 }
+function schedulerGraphSnapshot(tasks, scopes, resourceCapacities) {
+    return Object.freeze({
+        resourceCapacities,
+        scopes: Object.freeze(scopes.map((scope) => Object.freeze({
+            activationTaskIds: Object.freeze([...scope.activationTaskIds]),
+            id: scope.id,
+            maxParallel: scope.maxParallel,
+            terminalTaskId: scope.terminalTaskId
+        }))),
+        tasks: Object.freeze(tasks.map((task) => Object.freeze({
+            admissionPriority: task.admissionPriority,
+            dependsOn: Object.freeze([...task.dependsOn]),
+            mutex: Object.freeze([...task.mutex]),
+            observes: Object.freeze([...task.observes]),
+            resourceClaims: task.resourceClaims,
+            scopeId: task.scopeId ?? null,
+            taskId: task.id
+        })))
+    });
+}
 function normalizeTasks(value) {
     if (!Array.isArray(value)) {
         throw new TypeError("task graph tasks must be an array");
@@ -31,11 +70,15 @@ function normalizeTasks(value) {
             throw new TypeError(`duplicate task id: ${id}`);
         }
         ids.add(id);
+        const admissionPriority = admissionPriorityOrDefault(data.admissionPriority, id);
         const scopeId = optionalNonEmptyString(data.scopeId, `task ${id}.scopeId`);
         tasks.push(Object.freeze({
+            admissionPriority,
             id,
             dependsOn: Object.freeze(stringList(data.dependsOn, `task ${id}.dependsOn`)),
             mutex: Object.freeze(stringList(data.mutex, `task ${id}.mutex`)),
+            observes: Object.freeze(stringList(data.observes, `task ${id}.observes`)),
+            resourceClaims: resourceMapping(data.resourceClaims, `task ${id}.resourceClaims`),
             scopeId
         }));
     }
@@ -107,10 +150,43 @@ function requiredStringList(value, fieldName) {
     }
     return stringList(value, fieldName);
 }
+function resourceMapping(value, fieldName) {
+    if (value === undefined)
+        return Object.freeze([]);
+    const data = snapshotClosedRecord(value);
+    if (data === undefined)
+        throw new TypeError(`${fieldName} must be a closed object`);
+    const entries = [];
+    for (const resourceId of Object.keys(data).sort(compareText)) {
+        if (resourceId.trim().length === 0) {
+            throw new TypeError(`${fieldName} resource ids must be non-empty strings`);
+        }
+        entries.push(Object.freeze({
+            resourceId,
+            units: positiveSafeInteger(data[resourceId], `${fieldName}.${resourceId}`)
+        }));
+    }
+    return Object.freeze(entries);
+}
 function positiveSafeInteger(value, fieldName) {
     if (typeof value !== "number" || !Number.isSafeInteger(value) || value <= 0) {
         throw new TypeError(`${fieldName} must be a positive safe integer`);
     }
     return value;
 }
+function admissionPriorityOrDefault(value, taskId) {
+    if (value === undefined)
+        return 0;
+    if (typeof value !== "number" || !Number.isSafeInteger(value)) {
+        throw new TypeError(`task ${taskId}.admissionPriority must be a safe integer`);
+    }
+    return value;
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
 //# sourceMappingURL=graph.mjs.map