npm - @zxyycom/vibe-check - Versions diffs - 0.0.1 → 0.0.3 - Mend

@zxyycom/vibe-check 0.0.1 → 0.0.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1190) hide show

package/dist/esm/project-run/task-scheduler/scheduler-decision-inspection.mjs CHANGED Viewed

@@ -1,125 +1,25 @@
 import { summarizeSchedulerBlockers } from "./scheduler-blocker-summary.mjs";
-export function inspectSnapshot(snapshot) {
-    const tasksById = new Map(snapshot.graph.tasks.map((task) => [task.id, task]));
-    const pendingTasks = snapshot.pendingTaskIds.map((taskId) => pendingTaskFor(taskId, tasksById));
-    return Object.freeze({
-        activeScopeIds: new Set(snapshot.activeScopeIds),
-        graph: snapshot.graph,
-        maxParallel: snapshot.maxParallel,
-        pendingTasks: Object.freeze(pendingTasks),
-        reservationTaskId: snapshot.reservationTaskId,
-        runningMutexes: new Set(snapshot.runningMutexes),
-        runningTaskIds: new Set(snapshot.runningTaskIds),
-        settlementKindByTaskId: new Map(snapshot.settledTasks.map(({ taskId, kind }) => [taskId, kind]))
-    });
-}
-export function decisionContext(state) {
+export function decisionContext(state, graphIdentity) {
     const capacity = capacityFor(state);
     return Object.freeze({
         blockers: summarizeSchedulerBlockers(state, capacity),
         capacity,
-        reservation: Object.freeze({ taskId: state.reservationTaskId ?? null })
+        graphIdentity
     });
 }
-export function selectBlockedTask(state) {
-    for (let index = state.pendingTasks.length - 1; index >= 0; index -= 1) {
-        const task = state.pendingTasks[index];
-        const dependencyIds = blockingDependencyIds(task, state.settlementKindByTaskId);
-        if (dependencyIds !== undefined)
-            return Object.freeze({ dependencyIds: Object.freeze(dependencyIds), task });
-    }
-    return undefined;
-}
-export function isDependencyMutexEligible(task, state) {
-    return (task.dependsOn.every((dependencyId) => state.settlementKindByTaskId.get(dependencyId) === "completed") && task.mutex.every((mutex) => !state.runningMutexes.has(mutex)));
-}
-export function capacityWaitReason(state) {
-    return state.runningTaskIds.size >= state.maxParallel ? "root-capacity" : "active-scope-capacity";
-}
-export function canAdmit(state, task) {
-    return state.runningTaskIds.size < prospectiveMaxParallel(state, task);
-}
-export function activationScopeFor(state, task) {
-    const scope = scopeForTask(state, task);
-    return scope?.activationTaskIds.includes(task.id) === true && !state.activeScopeIds.has(scope.id)
-        ? scope
-        : undefined;
-}
-export function selectTighteningTask(state, eligibleTasks, effectiveMaxParallel) {
-    return eligibleTasks
-        .filter((task) => activatesTighteningScope(state, task, effectiveMaxParallel))
-        .sort((left, right) => compareConstrainedTasks(state, left, right))[0];
-}
-export function selectConstrainedContinuation(state, eligibleTasks, effectiveMaxParallel) {
-    return eligibleTasks
-        .filter((task) => isConstrainedContinuation(state, task, effectiveMaxParallel))
-        .sort((left, right) => compareConstrainedTasks(state, left, right))[0];
-}
-function pendingTaskFor(taskId, tasksById) {
-    const task = tasksById.get(taskId);
-    if (task === undefined)
-        throw new Error(`scheduler snapshot has unknown pending task ${taskId}`);
-    return task;
-}
-function blockingDependencyIds(task, settlementKindByTaskId) {
-    const settlementKinds = task.dependsOn.map((dependencyId) => [dependencyId, settlementKindByTaskId.get(dependencyId)]);
-    if (settlementKinds.some(([, kind]) => kind === undefined))
-        return undefined;
-    const dependencyIds = settlementKinds.flatMap(([dependencyId, kind]) => kind === "completed" ? [] : [dependencyId]);
-    return dependencyIds.length === 0 ? undefined : dependencyIds;
-}
-function capacityFor(state) {
+export function capacityFor(state) {
     return Object.freeze({
         effectiveMaxParallel: effectiveMaxParallelFor(state),
         maxParallel: state.maxParallel,
-        running: state.runningTaskIds.size
+        running: state.runningTaskIds.length
     });
 }
 function effectiveMaxParallelFor(state) {
     let effective = state.maxParallel;
     for (const scope of state.graph.scopes) {
-        if (state.activeScopeIds.has(scope.id))
+        if (state.activeScopeIds.includes(scope.id))
             effective = Math.min(effective, scope.maxParallel);
     }
     return effective;
 }
-function prospectiveMaxParallel(state, task) {
-    const scope = activationScopeFor(state, task);
-    return scope === undefined
-        ? effectiveMaxParallelFor(state)
-        : Math.min(effectiveMaxParallelFor(state), scope.maxParallel);
-}
-function activatesTighteningScope(state, task, effectiveMaxParallel) {
-    const scope = activationScopeFor(state, task);
-    return scope !== undefined && scope.maxParallel < effectiveMaxParallel;
-}
-function isConstrainedContinuation(state, task, effectiveMaxParallel) {
-    const scope = scopeForTask(state, task);
-    return (scope !== undefined &&
-        state.activeScopeIds.has(scope.id) &&
-        scope.maxParallel < state.maxParallel &&
-        scope.maxParallel === effectiveMaxParallel);
-}
-function compareConstrainedTasks(state, left, right) {
-    const leftScope = scopeForTask(state, left);
-    const rightScope = scopeForTask(state, right);
-    if (leftScope === undefined || rightScope === undefined) {
-        throw new Error("constrained task is missing a scope");
-    }
-    return (leftScope.maxParallel - rightScope.maxParallel ||
-        compareText(leftScope.id, rightScope.id) ||
-        compareText(left.id, right.id));
-}
-function compareText(left, right) {
-    if (left < right)
-        return -1;
-    if (left > right)
-        return 1;
-    return 0;
-}
-function scopeForTask(state, task) {
-    return task.scopeId === undefined
-        ? undefined
-        : state.graph.scopes.find((scope) => scope.id === task.scopeId);
-}
 //# sourceMappingURL=scheduler-decision-inspection.mjs.map

package/dist/esm/project-run/task-scheduler/scheduler-decision-inspection.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"scheduler-decision-inspection.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-decision-inspection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAoB5E,MAAM,UAAU,eAAe,CAAC,QAA2B;IACzD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IACxF,MAAM,YAAY,GAAG,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAChG,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,cAAc,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC;QAChD,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QACzC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;QAC7C,cAAc,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC;QAChD,cAAc,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC;QAChD,sBAAsB,EAAE,IAAI,GAAG,CAC7B,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAU,CAAC,CACzE;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAA0B;IACxD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC;QACrD,QAAQ;QACR,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,iBAAiB,IAAI,IAAI,EAAE,CAAC;KACxE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAA0B;IAE1B,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,aAAa,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAChF,IAAI,aAAa,KAAK,SAAS;YAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAiB,EAAE,KAA0B;IACrF,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,KAAK,CAClB,CAAC,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,WAAW,CACjF,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAA0B;IAC3D,OAAO,KAAK,CAAC,cAAc,CAAC,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,uBAAuB,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAA0B,EAAE,IAAiB;IACpE,OAAO,KAAK,CAAC,cAAc,CAAC,IAAI,GAAG,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,KAA0B,EAC1B,IAAiB;IAEjB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,KAAK,EAAE,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/F,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAA0B,EAC1B,aAAqC,EACrC,oBAA4B;IAE5B,OAAO,aAAa;SACjB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;SAC7E,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,KAA0B,EAC1B,aAAqC,EACrC,oBAA4B;IAE5B,OAAO,aAAa;SACjB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;SAC9E,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,SAA2C;IACjF,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,MAAM,EAAE,CAAC,CAAC;IACjG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAiB,EACjB,sBAAoE;IAEpE,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CACxC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,sBAAsB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAU,CACpF,CAAC;IACF,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7E,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,EAAE,CACrE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAC3C,CAAC;IACF,OAAO,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,KAA0B;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,oBAAoB,EAAE,uBAAuB,CAAC,KAAK,CAAC;QACpD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,IAAI;KACnC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,KAA0B;IACzD,IAAI,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA0B,EAAE,IAAiB;IAC3E,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC;QAChC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAA0B,EAC1B,IAAiB,EACjB,oBAA4B;IAE5B,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,GAAG,oBAAoB,CAAC;AACzE,CAAC;AAED,SAAS,yBAAyB,CAChC,KAA0B,EAC1B,IAAiB,EACjB,oBAA4B;IAE5B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW;QACrC,KAAK,CAAC,WAAW,KAAK,oBAAoB,CAC3C,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAA0B,EAC1B,IAAiB,EACjB,KAAkB;IAElB,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,CACL,SAAS,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW;QAC9C,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAA0B,EAAE,IAAiB;IACjE,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;QAC/B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC;AACpE,CAAC","sourcesContent":["import type { PlannedTask, PlannedTaskGraph, PlannedTaskScope } from \"./graph.ts\";\nimport { summarizeSchedulerBlockers } from \"./scheduler-blocker-summary.ts\";\nimport type {\n SchedulerAwaitReason,\n SchedulerCapacity,\n SchedulerDecisionContext,\n SchedulerSettlementKind,\n SchedulerSnapshot\n} from \"./scheduler-decision-model.ts\";\n\nexport interface SchedulerInspection {\n readonly activeScopeIds: ReadonlySet<string>;\n readonly graph: PlannedTaskGraph;\n readonly maxParallel: number;\n readonly pendingTasks: readonly PlannedTask[];\n readonly reservationTaskId: string \| undefined;\n readonly runningMutexes: ReadonlySet<string>;\n readonly runningTaskIds: ReadonlySet<string>;\n readonly settlementKindByTaskId: ReadonlyMap<string, SchedulerSettlementKind>;\n}\n\nexport function inspectSnapshot(snapshot: SchedulerSnapshot): SchedulerInspection {\n const tasksById = new Map(snapshot.graph.tasks.map((task) => [task.id, task] as const));\n const pendingTasks = snapshot.pendingTaskIds.map((taskId) => pendingTaskFor(taskId, tasksById));\n return Object.freeze({\n activeScopeIds: new Set(snapshot.activeScopeIds),\n graph: snapshot.graph,\n maxParallel: snapshot.maxParallel,\n pendingTasks: Object.freeze(pendingTasks),\n reservationTaskId: snapshot.reservationTaskId,\n runningMutexes: new Set(snapshot.runningMutexes),\n runningTaskIds: new Set(snapshot.runningTaskIds),\n settlementKindByTaskId: new Map(\n snapshot.settledTasks.map(({ taskId, kind }) => [taskId, kind] as const)\n )\n });\n}\n\nexport function decisionContext(state: SchedulerInspection): SchedulerDecisionContext {\n const capacity = capacityFor(state);\n return Object.freeze({\n blockers: summarizeSchedulerBlockers(state, capacity),\n capacity,\n reservation: Object.freeze({ taskId: state.reservationTaskId ?? null })\n });\n}\n\nexport function selectBlockedTask(\n state: SchedulerInspection\n): Readonly<{ readonly dependencyIds: readonly string[]; readonly task: PlannedTask }> \| undefined {\n for (let index = state.pendingTasks.length - 1; index >= 0; index -= 1) {\n const task = state.pendingTasks[index];\n const dependencyIds = blockingDependencyIds(task, state.settlementKindByTaskId);\n if (dependencyIds !== undefined)\n return Object.freeze({ dependencyIds: Object.freeze(dependencyIds), task });\n }\n return undefined;\n}\n\nexport function isDependencyMutexEligible(task: PlannedTask, state: SchedulerInspection): boolean {\n return (\n task.dependsOn.every(\n (dependencyId) => state.settlementKindByTaskId.get(dependencyId) === \"completed\"\n ) && task.mutex.every((mutex) => !state.runningMutexes.has(mutex))\n );\n}\n\nexport function capacityWaitReason(state: SchedulerInspection): SchedulerAwaitReason {\n return state.runningTaskIds.size >= state.maxParallel ? \"root-capacity\" : \"active-scope-capacity\";\n}\n\nexport function canAdmit(state: SchedulerInspection, task: PlannedTask): boolean {\n return state.runningTaskIds.size < prospectiveMaxParallel(state, task);\n}\n\nexport function activationScopeFor(\n state: SchedulerInspection,\n task: PlannedTask\n): PlannedTaskScope \| undefined {\n const scope = scopeForTask(state, task);\n return scope?.activationTaskIds.includes(task.id) === true && !state.activeScopeIds.has(scope.id)\n ? scope\n : undefined;\n}\n\nexport function selectTighteningTask(\n state: SchedulerInspection,\n eligibleTasks: readonly PlannedTask[],\n effectiveMaxParallel: number\n): PlannedTask \| undefined {\n return eligibleTasks\n .filter((task) => activatesTighteningScope(state, task, effectiveMaxParallel))\n .sort((left, right) => compareConstrainedTasks(state, left, right))[0];\n}\n\nexport function selectConstrainedContinuation(\n state: SchedulerInspection,\n eligibleTasks: readonly PlannedTask[],\n effectiveMaxParallel: number\n): PlannedTask \| undefined {\n return eligibleTasks\n .filter((task) => isConstrainedContinuation(state, task, effectiveMaxParallel))\n .sort((left, right) => compareConstrainedTasks(state, left, right))[0];\n}\n\nfunction pendingTaskFor(taskId: string, tasksById: ReadonlyMap<string, PlannedTask>): PlannedTask {\n const task = tasksById.get(taskId);\n if (task === undefined) throw new Error(`scheduler snapshot has unknown pending task ${taskId}`);\n return task;\n}\n\nfunction blockingDependencyIds(\n task: PlannedTask,\n settlementKindByTaskId: ReadonlyMap<string, SchedulerSettlementKind>\n): string[] \| undefined {\n const settlementKinds = task.dependsOn.map(\n (dependencyId) => [dependencyId, settlementKindByTaskId.get(dependencyId)] as const\n );\n if (settlementKinds.some(([, kind]) => kind === undefined)) return undefined;\n const dependencyIds = settlementKinds.flatMap(([dependencyId, kind]) =>\n kind === \"completed\" ? [] : [dependencyId]\n );\n return dependencyIds.length === 0 ? undefined : dependencyIds;\n}\n\nfunction capacityFor(state: SchedulerInspection): SchedulerCapacity {\n return Object.freeze({\n effectiveMaxParallel: effectiveMaxParallelFor(state),\n maxParallel: state.maxParallel,\n running: state.runningTaskIds.size\n });\n}\n\nfunction effectiveMaxParallelFor(state: SchedulerInspection): number {\n let effective = state.maxParallel;\n for (const scope of state.graph.scopes) {\n if (state.activeScopeIds.has(scope.id)) effective = Math.min(effective, scope.maxParallel);\n }\n return effective;\n}\n\nfunction prospectiveMaxParallel(state: SchedulerInspection, task: PlannedTask): number {\n const scope = activationScopeFor(state, task);\n return scope === undefined\n ? effectiveMaxParallelFor(state)\n : Math.min(effectiveMaxParallelFor(state), scope.maxParallel);\n}\n\nfunction activatesTighteningScope(\n state: SchedulerInspection,\n task: PlannedTask,\n effectiveMaxParallel: number\n): boolean {\n const scope = activationScopeFor(state, task);\n return scope !== undefined && scope.maxParallel < effectiveMaxParallel;\n}\n\nfunction isConstrainedContinuation(\n state: SchedulerInspection,\n task: PlannedTask,\n effectiveMaxParallel: number\n): boolean {\n const scope = scopeForTask(state, task);\n return (\n scope !== undefined &&\n state.activeScopeIds.has(scope.id) &&\n scope.maxParallel < state.maxParallel &&\n scope.maxParallel === effectiveMaxParallel\n );\n}\n\nfunction compareConstrainedTasks(\n state: SchedulerInspection,\n left: PlannedTask,\n right: PlannedTask\n): number {\n const leftScope = scopeForTask(state, left);\n const rightScope = scopeForTask(state, right);\n if (leftScope === undefined \|\| rightScope === undefined) {\n throw new Error(\"constrained task is missing a scope\");\n }\n return (\n leftScope.maxParallel - rightScope.maxParallel \|\|\n compareText(leftScope.id, rightScope.id) \|\|\n compareText(left.id, right.id)\n );\n}\n\nfunction compareText(left: string, right: string): number {\n if (left < right) return -1;\n if (left > right) return 1;\n return 0;\n}\n\nfunction scopeForTask(state: SchedulerInspection, task: PlannedTask): PlannedTaskScope \| undefined {\n return task.scopeId === undefined\n ? undefined\n : state.graph.scopes.find((scope) => scope.id === task.scopeId);\n}\n"]}
1	+ {"version":3,"file":"scheduler-decision-inspection.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-decision-inspection.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AA4B5E,MAAM,UAAU,eAAe,CAC7B,KAA0B,EAC1B,aAAqC;IAErC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC;QACrD,QAAQ;QACR,aAAa;KACd,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAA0B;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,oBAAoB,EAAE,uBAAuB,CAAC,KAAK,CAAC;QACpD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM;KACrC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,KAA0B;IACzD,IAAI,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC","sourcesContent":["import type { PlannedTask, PlannedTaskGraph } from \"./graph.ts\";\nimport type { SchedulerGraphSnapshot } from \"../../project-definition/project-definition.ts\";\nimport { summarizeSchedulerBlockers } from \"./scheduler-blocker-summary.ts\";\nimport type {\n SchedulerCapacity,\n SchedulerDecisionContext,\n SchedulerSettlementKind\n} from \"./scheduler-decision-model.ts\";\n\nexport interface SchedulerInspection {\n readonly activeScopeIds: readonly string[];\n readonly graph: PlannedTaskGraph;\n readonly isAbortRequested: boolean;\n readonly isCancelled: boolean;\n readonly maxParallel: number;\n readonly pendingTasks: readonly PlannedTask[];\n readonly runningMutexes: readonly string[];\n readonly resources: readonly Readonly<{\n readonly available: number;\n readonly capacity: number;\n readonly inUse: number;\n readonly resourceId: string;\n }>[];\n readonly runningTaskIds: readonly string[];\n readonly settledTasks: readonly Readonly<{\n readonly kind: SchedulerSettlementKind;\n readonly taskId: string;\n }>[];\n}\n\nexport function decisionContext(\n state: SchedulerInspection,\n graphIdentity: SchedulerGraphSnapshot\n): SchedulerDecisionContext {\n const capacity = capacityFor(state);\n return Object.freeze({\n blockers: summarizeSchedulerBlockers(state, capacity),\n capacity,\n graphIdentity\n });\n}\n\nexport function capacityFor(state: SchedulerInspection): SchedulerCapacity {\n return Object.freeze({\n effectiveMaxParallel: effectiveMaxParallelFor(state),\n maxParallel: state.maxParallel,\n running: state.runningTaskIds.length\n });\n}\n\nfunction effectiveMaxParallelFor(state: SchedulerInspection): number {\n let effective = state.maxParallel;\n for (const scope of state.graph.scopes) {\n if (state.activeScopeIds.includes(scope.id)) effective = Math.min(effective, scope.maxParallel);\n }\n return effective;\n}\n"]}

package/dist/esm/project-run/task-scheduler/scheduler-decision-model.mjs CHANGED Viewed

@@ -1,12 +1,3 @@
-export function reservationUnchanged() {
-    return Object.freeze({ kind: "unchanged" });
-}
-export function reservationSet(taskId) {
-    return Object.freeze({ kind: "set", taskId });
-}
-export function reservationClear() {
-    return Object.freeze({ kind: "clear" });
-}
 export function freezeDecision(decision) {
     const trigger = freezeTrigger(decision.trigger);
     switch (decision.kind) {

package/dist/esm/project-run/task-scheduler/scheduler-decision-model.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"scheduler-decision-model.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-decision-model.ts"],"names":[],"mappings":"~~AA8GA~~,MAAM,UAAU,~~oBAAoB;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,~~cAAc,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,gBAAgB;IAC9B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAA2B;IACxD,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,OAAO,CAAC;QACb,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACjD,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,GAAG,QAAQ;gBACX,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACzD,OAAO;aACR,CAAC,CAAC;QACL,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QAChG,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,OAAyB;IAC9C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB,CAAC;QACzB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,sBAAsB;YACzB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/C,KAAK,iBAAiB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACvE,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAC;IACP,CAAC;AACH,CAAC","sourcesContent":["import type { PlannedTaskGraph } from \"./graph.ts\";\n\nexport type SchedulerSettlementKind = \"completed\" \| \"failed\" \| \"blocked\" \| \"cancelled-before-start\";\n\nexport type SchedulerTrigger =\n \| Readonly<{ readonly kind: \"execution-started\" }>\n \| Readonly<{ readonly kind: \"admission-continued\" }>\n \| Readonly<{ readonly kind: \"blocked-settled\"; readonly taskId: string }>\n \| Readonly<{\n readonly kind: \"task-settled\";\n readonly settlementKind: SchedulerSettlementKind;\n readonly taskId: string;\n }>\n \| Readonly<{ readonly kind: \"cancellation-observed\" }>\n \| Readonly<{ readonly kind: \"cancellation-applied\" }>;\n\nexport interface SchedulerSnapshot {\n readonly graph: PlannedTaskGraph;\n readonly isAbortRequested: boolean;\n readonly isCancelled: boolean;\n readonly pendingTaskIds: readonly string[];\n readonly ~~reservationTaskId: string \| undefined;\n readonly~~ runningMutexes: readonly string[];\n readonly runningTaskIds: readonly string[];\n readonly settledTasks: readonly Readonly<{\n readonly kind: SchedulerSettlementKind;\n readonly taskId: string;\n }>[];\n readonly activeScopeIds: readonly string[];\n readonly maxParallel: number;\n}\n\nexport interface SchedulerCapacity {\n readonly effectiveMaxParallel: number;\n readonly maxParallel: number;\n readonly running: number;\n}\n\nexport interface SchedulerBlockerSummary {\n readonly dependency: number;\n readonly mutex: number;\n readonly rootCapacity: boolean;\n readonly scopeCapacity: boolean;\n}\n\~~nexport~~ ~~interface~~ ~~SchedulerReservationContext~~ ~~{\n readonly~~ taskId: ~~string~~ \| ~~null;\n~~}\n\nexport interface ~~SchedulerDecisionContext~~ {\n readonly ~~blockers~~: ~~SchedulerBlockerSummary~~;\n readonly ~~capacity~~: ~~SchedulerCapacity~~;\n ~~readonly reservation: SchedulerReservationContext;\n~~}\n\nexport type ~~ReservationUpdate~~ =\n \| Readonly<{ readonly kind: \"~~unchanged~~\" ~~}>\n \| Readonly<{ readonly kind: \"set\"~~; readonly taskId: string }>\n \| Readonly<{ readonly kind: \"~~clear~~\" }>;\n\nexport type ~~SchedulerAdmissionReason~~ =\n \| \~~"reservation\"\~~n \| ~~\"tightening-scope\"\~~n \| ~~\"constrained-continuation\"\~~n \| \"~~canonical-order~~\";\n~~\nexport~~ ~~type~~ ~~SchedulerAwaitReason~~ =\n \| \"~~cancellation-drain~~\"\~~n \|~~ \~~"dependency-or-mutex\"\~~n \| ~~\"running-drain\"\~~n \| ~~\"root-~~capacity~~\"\n \|~~ ~~\"active-scope-capacity\"\~~n \| ~~\"reserved-tightening-scope\"~~;\n\nexport type SchedulerDecision = SchedulerDecisionContext &\n (\n \| Readonly<{\n readonly eligibleCount: number;\n readonly kind: \"~~admit~~\";\n readonly ~~reason~~: ~~SchedulerAdmissionReason~~;\n readonly ~~reservationUpdate~~: ~~ReservationUpdate;\~~n readonly scopeToActivate: string \| null;\n readonly taskId: string;\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly dependencyIds: readonly string[];\n readonly kind: \"settle-blocked\";\n readonly taskId: string;\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly eligibleCount: number;\n readonly kind: \"~~await-running~~\";\n readonly ~~reason~~: ~~SchedulerAwaitReason~~;\n readonly ~~reservationUpdate~~: ~~ReservationUpdate~~;\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly kind: \"cancel-pending\";\n readonly taskIds: readonly string[];\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly cancelled: boolean;\n readonly kind: \"complete\";\n readonly trigger: SchedulerTrigger;\n }>\n );\n\nexport function reservationUnchanged(): ReservationUpdate {\n return Object.freeze({ kind: \"unchanged\" });\n}\n\nexport function reservationSet(taskId: string): ReservationUpdate {\n return Object.freeze({ kind: \"set\", taskId });\n}\n\nexport function reservationClear(): ReservationUpdate {\n return Object.freeze({ kind: \"clear\" });\n}\n\nexport function freezeDecision(decision: SchedulerDecision): SchedulerDecision {\n const trigger = freezeTrigger(decision.trigger);\n switch (decision.kind) {\n case \"admit\":\n case \"await-running\":\n return Object.freeze({ ...decision, trigger });\n case \"settle-blocked\":\n return Object.freeze({\n ...decision,\n dependencyIds: Object.freeze([...decision.dependencyIds]),\n trigger\n });\n case \"cancel-pending\":\n return Object.freeze({ ...decision, taskIds: Object.freeze([...decision.taskIds]), trigger });\n case \"complete\":\n return Object.freeze({ ...decision, trigger });\n }\n}\n\nfunction freezeTrigger(trigger: SchedulerTrigger): SchedulerTrigger {\n switch (trigger.kind) {\n case \"execution-started\":\n case \"admission-continued\":\n case \"cancellation-observed\":\n case \"cancellation-applied\":\n return Object.freeze({ kind: trigger.kind });\n case \"blocked-settled\":\n return Object.freeze({ kind: trigger.kind, taskId: trigger.taskId });\n case \"task-settled\":\n return Object.freeze({\n kind: trigger.kind,\n settlementKind: trigger.settlementKind,\n taskId: trigger.taskId\n });\n }\n}\n"]}
1	+ {"version":3,"file":"scheduler-decision-model.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-decision-model.ts"],"names":[],"mappings":"AAsHA,MAAM,UAAU,cAAc,CAAC,QAA2B;IACxD,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,OAAO,CAAC;QACb,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACjD,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,GAAG,QAAQ;gBACX,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACzD,OAAO;aACR,CAAC,CAAC;QACL,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QAChG,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,OAAyB;IAC9C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB,CAAC;QACzB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,sBAAsB;YACzB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/C,KAAK,iBAAiB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACvE,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAC;IACP,CAAC;AACH,CAAC","sourcesContent":["import type { PlannedTaskGraph } from \"./graph.ts\";\nimport type { SchedulerGraphSnapshot } from \"../../project-definition/project-definition.ts\";\n\nexport type SchedulerSettlementKind =\n \| \"completed\"\n \| \"prerequisite-unsatisfied\"\n \| \"failed\"\n \| \"blocked\"\n \| \"cancelled-before-start\";\n\nexport type SchedulerTrigger =\n \| Readonly<{ readonly kind: \"execution-started\" }>\n \| Readonly<{ readonly kind: \"admission-continued\" }>\n \| Readonly<{ readonly kind: \"blocked-settled\"; readonly taskId: string }>\n \| Readonly<{\n readonly kind: \"task-settled\";\n readonly settlementKind: SchedulerSettlementKind;\n readonly taskId: string;\n }>\n \| Readonly<{ readonly kind: \"cancellation-observed\" }>\n \| Readonly<{ readonly kind: \"cancellation-applied\" }>;\n\nexport interface SchedulerSnapshot {\n readonly graph: PlannedTaskGraph;\n readonly isAbortRequested: boolean;\n readonly isCancelled: boolean;\n readonly pendingTaskIds: readonly string[];\n readonly runningMutexes: readonly string[];\n readonly runningTaskIds: readonly string[];\n readonly settledTasks: readonly Readonly<{\n readonly kind: SchedulerSettlementKind;\n readonly taskId: string;\n }>[];\n readonly activeScopeIds: readonly string[];\n readonly maxParallel: number;\n}\n\nexport interface SchedulerCapacity {\n readonly effectiveMaxParallel: number;\n readonly maxParallel: number;\n readonly running: number;\n}\n\nexport interface SchedulerBlockerSummary {\n readonly dependency: number;\n readonly mutex: number;\n readonly resourceCapacity: number;\n readonly rootCapacity: boolean;\n readonly scopeCapacity: boolean;\n}\n\n/** The sole public Scheduler graph DTO; task identity is always `taskId`. */\nexport type { SchedulerGraphSnapshot } from \"../../project-definition/project-definition.ts\";\n\nexport interface SchedulerAdmissionCandidateFact {\n readonly canAdmit: boolean;\n readonly taskId: string;\n}\n\nexport type SchedulerAdmissionProposal =\n \| Readonly<{ readonly kind: \"select\"; readonly taskId: string }>\n \| Readonly<{ readonly kind: \"wait\" }>;\n\nexport type SchedulerAdmissionHardGuard =\n \| Readonly<{\n readonly canAdmit: true;\n readonly isCandidate: true;\n readonly kind: \"select\";\n readonly lifecycleOpen: true;\n readonly taskId: string;\n }>\n \| Readonly<{ readonly kind: \"wait\"; readonly runningCanDrain: true }>;\n\nexport interface SchedulerDecisionContext {\n readonly blockers: SchedulerBlockerSummary;\n readonly capacity: SchedulerCapacity;\n readonly graphIdentity: SchedulerGraphSnapshot;\n}\n\nexport type SchedulerDecision = SchedulerDecisionContext &\n (\n \| Readonly<{\n readonly admissionPriority: number;\n readonly candidates: readonly SchedulerAdmissionCandidateFact[];\n readonly eligibleCount: number;\n readonly hardGuard: Extract<SchedulerAdmissionHardGuard, { readonly kind: \"select\" }>;\n readonly kind: \"admit\";\n readonly proposal: Extract<SchedulerAdmissionProposal, { readonly kind: \"select\" }>;\n readonly scopeToActivate: string \| null;\n readonly taskId: string;\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly dependencyIds: readonly string[];\n readonly kind: \"settle-blocked\";\n readonly taskId: string;\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly candidates: readonly SchedulerAdmissionCandidateFact[];\n readonly eligibleCount: number;\n readonly hardGuard: Extract<SchedulerAdmissionHardGuard, { readonly kind: \"wait\" }>;\n readonly kind: \"await-running\";\n readonly proposal: SchedulerAdmissionProposal \| null;\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly kind: \"cancel-pending\";\n readonly taskIds: readonly string[];\n readonly trigger: SchedulerTrigger;\n }>\n \| Readonly<{\n readonly cancelled: boolean;\n readonly kind: \"complete\";\n readonly trigger: SchedulerTrigger;\n }>\n );\n\nexport function freezeDecision(decision: SchedulerDecision): SchedulerDecision {\n const trigger = freezeTrigger(decision.trigger);\n switch (decision.kind) {\n case \"admit\":\n case \"await-running\":\n return Object.freeze({ ...decision, trigger });\n case \"settle-blocked\":\n return Object.freeze({\n ...decision,\n dependencyIds: Object.freeze([...decision.dependencyIds]),\n trigger\n });\n case \"cancel-pending\":\n return Object.freeze({ ...decision, taskIds: Object.freeze([...decision.taskIds]), trigger });\n case \"complete\":\n return Object.freeze({ ...decision, trigger });\n }\n}\n\nfunction freezeTrigger(trigger: SchedulerTrigger): SchedulerTrigger {\n switch (trigger.kind) {\n case \"execution-started\":\n case \"admission-continued\":\n case \"cancellation-observed\":\n case \"cancellation-applied\":\n return Object.freeze({ kind: trigger.kind });\n case \"blocked-settled\":\n return Object.freeze({ kind: trigger.kind, taskId: trigger.taskId });\n case \"task-settled\":\n return Object.freeze({\n kind: trigger.kind,\n settlementKind: trigger.settlementKind,\n taskId: trigger.taskId\n });\n }\n}\n"]}

package/dist/esm/project-run/task-scheduler/scheduler-decision.mjs CHANGED Viewed

@@ -1,42 +1,53 @@
+import { staticAdmissionSelectionPolicy } from "./admission-selection-policy.mjs";
 import { decideAdmission } from "./scheduler-admission-decision.mjs";
-import { decisionContext, inspectSnapshot, selectBlockedTask } from "./scheduler-decision-inspection.mjs";
-import { freezeDecision, reservationUnchanged } from "./scheduler-decision-model.mjs";
+import { decisionContext } from "./scheduler-decision-inspection.mjs";
+import { freezeDecision } from "./scheduler-decision-model.mjs";
+import { compilePreparedAdmissionGraph, createAdmissionCoreFromSchedulerSnapshot, reconcileAdmissionCore, schedulerInspectionForCore } from "./admission-core/core.mjs";
 /**
  * Computes the next generic task-engine action from an immutable state projection.
  * Starting work, awaiting promises, cancellation, and diagnostic output remain in
  * the imperative scheduler shell.
  */
-export function decideScheduler(snapshot, trigger) {
-    const state = inspectSnapshot(snapshot);
+export function decideScheduler(snapshot, trigger, policy = staticAdmissionSelectionPolicy, measurement, admissionCore) {
+    const core = admissionCore ??
+        createAdmissionCoreFromSchedulerSnapshot(compilePreparedAdmissionGraph(snapshot.graph, snapshot.maxParallel), snapshot);
+    if (admissionCore === undefined) {
+        const reconciliation = reconcileAdmissionCore(core);
+        const forced = reconciliation.effects.find((effect) => effect.kind === "settled" && effect.settlementKind === "blocked");
+        if (forced?.kind === "settled" && forced.settlementKind === "blocked") {
+            return freezeDecision({
+                ...decisionContext(Object.freeze({
+                    ...schedulerInspectionForCore(core),
+                    isAbortRequested: snapshot.isAbortRequested,
+                    isCancelled: snapshot.isCancelled
+                }), core.compiled.graph.schedulerGraphSnapshot),
+                dependencyIds: forced.dependencyIds ?? [],
+                kind: "settle-blocked",
+                taskId: forced.taskId,
+                trigger
+            });
+        }
+    }
+    const coreInspection = schedulerInspectionForCore(core);
+    const state = Object.freeze({
+        ...coreInspection,
+        isAbortRequested: snapshot.isAbortRequested,
+        isCancelled: snapshot.isCancelled
+    });
     const cycle = Object.freeze({
-        context: decisionContext(state),
+        admissionCore: core,
+        context: decisionContext(state, state.graph.schedulerGraphSnapshot),
+        policy,
         state,
+        ...(measurement === undefined ? {} : { measurement }),
         trigger
     });
     const terminalDecision = decideTerminalSchedulerAction(cycle, snapshot);
     if (terminalDecision !== undefined)
         return terminalDecision;
-    const blocked = selectBlockedTask(state);
-    if (blocked !== undefined) {
-        return freezeDecision({
-            ...cycle.context,
-            dependencyIds: blocked.dependencyIds,
-            kind: "settle-blocked",
-            taskId: blocked.task.id,
-            trigger
-        });
-    }
     return decideAdmission(cycle);
 }
 function decideTerminalSchedulerAction(cycle, snapshot) {
-    if (cycle.state.pendingTasks.length === 0 && cycle.state.runningTaskIds.size === 0) {
-        return freezeDecision({
-            ...cycle.context,
-            cancelled: snapshot.isCancelled,
-            kind: "complete",
-            trigger: cycle.trigger
-        });
-    }
     if (snapshot.isAbortRequested && !snapshot.isCancelled) {
         return freezeDecision({
             ...cycle.context,
@@ -45,6 +56,14 @@ function decideTerminalSchedulerAction(cycle, snapshot) {
             trigger: Object.freeze({ kind: "cancellation-observed" })
         });
     }
+    if (cycle.state.pendingTasks.length === 0 && cycle.state.runningTaskIds.length === 0) {
+        return freezeDecision({
+            ...cycle.context,
+            cancelled: snapshot.isCancelled,
+            kind: "complete",
+            trigger: cycle.trigger
+        });
+    }
     if (snapshot.isCancelled) {
         if (cycle.state.pendingTasks.length > 0) {
             throw new Error("cancelled scheduler state retains pending tasks");
@@ -56,18 +75,19 @@ function decideTerminalSchedulerAction(cycle, snapshot) {
     return undefined;
 }
 function cancellationDrainDecision(cycle) {
-    return awaitDrainDecision(cycle, "cancellation-drain");
+    return awaitDrainDecision(cycle);
 }
 function runningDrainDecision(cycle) {
-    return awaitDrainDecision(cycle, "running-drain");
+    return awaitDrainDecision(cycle);
 }
-function awaitDrainDecision(cycle, reason) {
+function awaitDrainDecision(cycle) {
     return freezeDecision({
         ...cycle.context,
+        candidates: Object.freeze([]),
         eligibleCount: 0,
+        hardGuard: Object.freeze({ kind: "wait", runningCanDrain: true }),
         kind: "await-running",
-        reason,
-        reservationUpdate: reservationUnchanged(),
+        proposal: null,
         trigger: cycle.trigger
     });
 }

package/dist/esm/project-run/task-scheduler/scheduler-decision.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"scheduler-decision.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-decision.ts"],"names":[],"mappings":"~~AAAA~~,OAAO,EAAE,eAAe,EAA+B,MAAM,mCAAmC,CAAC;AACjG,OAAO,~~EACL~~,eAAe,~~EACf~~,~~eAAe,EACf,iBAAiB,EAClB,~~MAAM,oCAAoC,CAAC;~~AAC5C~~,OAAO,EAAE,cAAc,EAAE,~~oBAAoB,EAAE,~~MAAM,+BAA+B,CAAC;~~AAcrF~~;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA2B,EAC3B,OAAyB;~~IAEzB~~,MAAM,~~KAAK~~,~~GAAG~~,~~eAAe~~,CAAC,QAAQ,CAAC,CAAC;~~IACxC~~,~~MAAM~~,KAAK,~~GAA2B~~,~~MAAM~~,CAAC,MAAM,~~CAAC;QAClD~~,~~OAAO~~,~~EAAE~~,~~eAAe,~~CAAC,~~KAAK~~,CAAC~~;QAC/B~~,~~KAAK~~;~~QACL~~,OAAO~~;KACR~~,CAAC,CAAC~~;IACH~~,MAAM,~~gBAAgB~~,~~GAAG~~,~~6BAA6B~~,CAAC,KAAK,~~EAAE~~,~~QAAQ~~,CAAC,CAAC;~~IACxE~~,IAAI,~~gBAAgB~~,KAAK,SAAS;~~QAAE~~,OAAO,~~gBAAgB~~,CAAC;~~IAE5D~~,~~MAAM~~,~~OAAO~~,~~GAAG~~,~~iBAAiB~~,CAAC,~~KAAK~~,CAAC,CAAC~~;IACzC~~,IAAI,~~OAAO~~,~~KAAK~~,~~SAAS,~~EAAE,CAAC;~~QAC1B~~,~~OAAO~~,~~cAAc~~,CAAC;~~YACpB~~,~~GAAG~~,KAAK,CAAC,~~OAAO~~;~~YAChB~~,aAAa,EAAE,~~OAAO~~,CAAC,aAAa;~~YACpC~~,IAAI,EAAE,gBAAgB;~~YACtB~~,MAAM,EAAE,~~OAAO~~,CAAC,~~IAAI,CAAC,EAAE~~;~~YACvB~~,OAAO;~~SACR~~,CAAC,CAAC;~~IACL~~,CAAC;~~IAED~~,~~OAAO~~,~~eAAe~~,CAAC,KAAK,CAAC,CAAC;~~AAChC~~,CAAC;~~AAED~~,~~SAAS~~,~~6BAA6B~~,~~CACpC~~,~~KAA6B~~,~~EAC7B~~,~~QAA2B~~;~~IAE3B~~,IAAI,KAAK,CAAC,KAAK,CAAC,~~YAAY~~,CAAC,MAAM,KAAK,CAAC,~~IAAI~~,KAAK,CAAC,~~KAAK~~,CAAC,~~cAAc~~,CAAC,~~IAAI~~,~~KAAK,~~CAAC,EAAE,CAAC;~~QACnF~~,OAAO,~~cAAc~~,CAAC;~~YACpB~~,GAAG,~~KAAK~~,CAAC,~~OAAO;YAChB~~,~~SAAS,~~EAAE,QAAQ,CAAC,~~WAAW~~;~~YAC/B~~,IAAI,~~EAAE~~,~~UAAU~~;~~YAChB~~,OAAO,~~EAAE~~,~~KAAK,~~CAAC,OAAO~~;SACvB~~,CAAC,CAAC;~~IACL~~,CAAC;~~IACD~~,IAAI,QAAQ,CAAC,gBAAgB,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACvD,OAAO,cAAc,CAAC;YACpB,GAAG,KAAK,CAAC,OAAO;YAChB,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,QAAQ,CAAC,cAAc;YAChC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC;SAC1D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA6B;IAC9D,OAAO,kBAAkB,CAAC,KAAK,~~EAAE,oBAAoB,~~CAAC,CAAC;~~AACzD~~,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA6B;IACzD,OAAO,kBAAkB,CAAC,KAAK,~~EAAE,eAAe,~~CAAC,CAAC;~~AACpD~~,CAAC;AAED,SAAS,kBAAkB,~~CACzB~~,KAA6B~~,EAC7B,MAAgF~~;~~IAEhF~~,OAAO,cAAc,CAAC;QACpB,GAAG,KAAK,CAAC,OAAO;QAChB,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,eAAe~~;QACrB~~,~~MAAM~~;~~QACN~~,~~iBAAiB~~,EAAE,~~oBAAoB~~,EAAE;~~QACzC~~,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC","sourcesContent":["import { decideAdmission, type SchedulerDecisionCycle } from \"./scheduler-admission-decision.ts\";\nimport {\n decisionContext~~,\n inspectSnapshot,\n selectBlockedTask\n~~} from \"./scheduler-decision-inspection.ts\";\nimport { freezeDecision, ~~reservationUnchanged~~ } from \"./scheduler-decision-model.ts\";\nimport type {\n SchedulerDecision,\n SchedulerSnapshot,\n SchedulerTrigger\n} from \"./scheduler-decision-model.ts\";\n\nexport type {\n SchedulerDecision,\n SchedulerSettlementKind,\n SchedulerSnapshot,\n SchedulerTrigger\n} from \"./scheduler-decision-model.ts\";\n\n/*\n Computes the next generic task-engine action from an immutable state projection.\n * Starting work, awaiting promises, cancellation, and diagnostic output remain in\n * the imperative scheduler shell.\n */\nexport function decideScheduler(\n snapshot: SchedulerSnapshot,\n trigger: SchedulerTrigger\n): ~~SchedulerDecision~~ {\n ~~const~~ ~~state~~ = ~~inspectSnapshot(snapshot);\~~n ~~const~~ ~~cycle~~: ~~SchedulerDecisionCycle~~ ~~= Object.freeze(~~{\n ~~context:~~ ~~decisionContext(state),\~~n ~~state,\~~n ~~trigger~~\n ~~});\n const terminalDecision = decideTerminalSchedulerAction~~(~~cycle~~, snapshot);\n if (~~terminalDecision~~ ~~!==~~ undefined) ~~return~~ ~~terminalDecision~~;\n\n const ~~blocked~~ = ~~selectBlockedTask~~(~~state~~);\n if (~~blocked~~ ~~!==~~ ~~undefined~~) {\n return freezeDecision({\n ...~~cycle~~.~~context~~,\n dependencyIds: ~~blocked~~.dependencyIds,\n kind: \"settle-blocked\",\n taskId: ~~blocked~~.~~task.id~~,\n trigger\n });\n }\n\n return decideAdmission(cycle);\n}\n\nfunction decideTerminalSchedulerAction(\n cycle: SchedulerDecisionCycle,\n snapshot: SchedulerSnapshot\n): SchedulerDecision \| undefined {\n if (~~cycle~~.~~state.pendingTasks.length~~ ~~=== 0~~ && ~~cycle~~.~~state.runningTaskIds.size === 0~~) {\n return freezeDecision({\n ...cycle.context,\n ~~cancelled~~: snapshot.~~isCancelled~~,\n kind: \"~~complete~~\"~~,\n trigger:~~ ~~cycle.trigger~~\n });\n }\n if (~~snapshot~~.~~isAbortRequested~~ && ~~!snapshot~~.~~isCancelled~~) {\n return freezeDecision({\n ...cycle.context,\n ~~kind~~: ~~\"cancel-pending\",\n taskIds:~~ snapshot.~~pendingTaskIds~~,\n ~~trigger: Object.freeze({~~ kind: \"~~cancellation-observed~~\" })\n });\n }\n if (snapshot.isCancelled) {\n if (cycle.state.pendingTasks.length > 0) {\n throw new Error(\"cancelled scheduler state retains pending tasks\");\n }\n return cancellationDrainDecision(cycle);\n }\n if (cycle.state.pendingTasks.length === 0) return runningDrainDecision(cycle);\n return undefined;\n}\n\nfunction cancellationDrainDecision(cycle: SchedulerDecisionCycle): SchedulerDecision {\n return awaitDrainDecision(cycle~~, \"cancellation-drain\"~~);\n}\n\nfunction runningDrainDecision(cycle: SchedulerDecisionCycle): SchedulerDecision {\n return awaitDrainDecision(cycle~~, \"running-drain\"~~);\n}\n\nfunction awaitDrainDecision(\n cycle: SchedulerDecisionCycle~~,\n reason: Extract<SchedulerDecision, { readonly kind: \"await-running\" }>[\"reason\"]\n~~): SchedulerDecision {\n return freezeDecision({\n ...cycle.context,\n eligibleCount: 0,\n kind: \"await-running\",\n ~~reason,\n reservationUpdate~~: ~~reservationUnchanged()~~,\n trigger: cycle.trigger\n });\n}\n"]}
1	+ {"version":3,"file":"scheduler-decision.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-decision.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,eAAe,EAA+B,MAAM,mCAAmC,CAAC;AACjG,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAM/D,OAAO,EACL,6BAA6B,EAC7B,wCAAwC,EACxC,sBAAsB,EACtB,0BAA0B,EAE3B,MAAM,0BAA0B,CAAC;AASlC;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA2B,EAC3B,OAAyB,EACzB,MAAM,GAA6B,8BAA8B,EACjE,WAAyD,EACzD,aAAkC;IAElC,MAAM,IAAI,GACR,aAAa;QACb,wCAAwC,CACtC,6BAA6B,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EACnE,QAAQ,CACT,CAAC;IACJ,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,cAAc,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,CACxC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,CAC7E,CAAC;QACF,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACtE,OAAO,cAAc,CAAC;gBACpB,GAAG,eAAe,CAChB,MAAM,CAAC,MAAM,CAAC;oBACZ,GAAG,0BAA0B,CAAC,IAAI,CAAC;oBACnC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;oBAC3C,WAAW,EAAE,QAAQ,CAAC,WAAW;iBAClC,CAAC,EACF,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAC3C;gBACD,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE;gBACzC,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO;aACR,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;QAC1B,GAAG,cAAc;QACjB,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,WAAW,EAAE,QAAQ,CAAC,WAAW;KAClC,CAAC,CAAC;IACH,MAAM,KAAK,GAA2B,MAAM,CAAC,MAAM,CAAC;QAClD,aAAa,EAAE,IAAI;QACnB,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC;QACnE,MAAM;QACN,KAAK;QACL,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACrD,OAAO;KACR,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,6BAA6B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxE,IAAI,gBAAgB,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC;IAE5D,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,6BAA6B,CACpC,KAA6B,EAC7B,QAA2B;IAE3B,IAAI,QAAQ,CAAC,gBAAgB,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACvD,OAAO,cAAc,CAAC;YACpB,GAAG,KAAK,CAAC,OAAO;YAChB,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,QAAQ,CAAC,cAAc;YAChC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC;SAC1D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrF,OAAO,cAAc,CAAC;YACpB,GAAG,KAAK,CAAC,OAAO;YAChB,SAAS,EAAE,QAAQ,CAAC,WAAW;YAC/B,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA6B;IAC9D,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA6B;IACzD,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA6B;IACvD,OAAO,cAAc,CAAC;QACpB,GAAG,KAAK,CAAC,OAAO;QAChB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QACjE,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,IAAI;QACd,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type { AdmissionSelectionPolicy } from \"./admission-selection-policy.ts\";\nimport type { AdmissionPolicyContext } from \"../../project-definition/project-definition.ts\";\nimport { staticAdmissionSelectionPolicy } from \"./admission-selection-policy.ts\";\nimport { decideAdmission, type SchedulerDecisionCycle } from \"./scheduler-admission-decision.ts\";\nimport { decisionContext } from \"./scheduler-decision-inspection.ts\";\nimport { freezeDecision } from \"./scheduler-decision-model.ts\";\nimport type {\n SchedulerDecision,\n SchedulerSnapshot,\n SchedulerTrigger\n} from \"./scheduler-decision-model.ts\";\nimport {\n compilePreparedAdmissionGraph,\n createAdmissionCoreFromSchedulerSnapshot,\n reconcileAdmissionCore,\n schedulerInspectionForCore,\n type AdmissionCoreState\n} from \"./admission-core/core.ts\";\n\nexport type {\n SchedulerDecision,\n SchedulerSettlementKind,\n SchedulerSnapshot,\n SchedulerTrigger\n} from \"./scheduler-decision-model.ts\";\n\n/*\n Computes the next generic task-engine action from an immutable state projection.\n * Starting work, awaiting promises, cancellation, and diagnostic output remain in\n * the imperative scheduler shell.\n */\nexport function decideScheduler(\n snapshot: SchedulerSnapshot,\n trigger: SchedulerTrigger,\n policy: AdmissionSelectionPolicy = staticAdmissionSelectionPolicy,\n measurement?: () => AdmissionPolicyContext[\"measurement\"],\n admissionCore?: AdmissionCoreState\n): SchedulerDecision {\n const core =\n admissionCore ??\n createAdmissionCoreFromSchedulerSnapshot(\n compilePreparedAdmissionGraph(snapshot.graph, snapshot.maxParallel),\n snapshot\n );\n if (admissionCore === undefined) {\n const reconciliation = reconcileAdmissionCore(core);\n const forced = reconciliation.effects.find(\n (effect) => effect.kind === \"settled\" && effect.settlementKind === \"blocked\"\n );\n if (forced?.kind === \"settled\" && forced.settlementKind === \"blocked\") {\n return freezeDecision({\n ...decisionContext(\n Object.freeze({\n ...schedulerInspectionForCore(core),\n isAbortRequested: snapshot.isAbortRequested,\n isCancelled: snapshot.isCancelled\n }),\n core.compiled.graph.schedulerGraphSnapshot\n ),\n dependencyIds: forced.dependencyIds ?? [],\n kind: \"settle-blocked\",\n taskId: forced.taskId,\n trigger\n });\n }\n }\n const coreInspection = schedulerInspectionForCore(core);\n const state = Object.freeze({\n ...coreInspection,\n isAbortRequested: snapshot.isAbortRequested,\n isCancelled: snapshot.isCancelled\n });\n const cycle: SchedulerDecisionCycle = Object.freeze({\n admissionCore: core,\n context: decisionContext(state, state.graph.schedulerGraphSnapshot),\n policy,\n state,\n ...(measurement === undefined ? {} : { measurement }),\n trigger\n });\n const terminalDecision = decideTerminalSchedulerAction(cycle, snapshot);\n if (terminalDecision !== undefined) return terminalDecision;\n\n return decideAdmission(cycle);\n}\n\nfunction decideTerminalSchedulerAction(\n cycle: SchedulerDecisionCycle,\n snapshot: SchedulerSnapshot\n): SchedulerDecision \| undefined {\n if (snapshot.isAbortRequested && !snapshot.isCancelled) {\n return freezeDecision({\n ...cycle.context,\n kind: \"cancel-pending\",\n taskIds: snapshot.pendingTaskIds,\n trigger: Object.freeze({ kind: \"cancellation-observed\" })\n });\n }\n if (cycle.state.pendingTasks.length === 0 && cycle.state.runningTaskIds.length === 0) {\n return freezeDecision({\n ...cycle.context,\n cancelled: snapshot.isCancelled,\n kind: \"complete\",\n trigger: cycle.trigger\n });\n }\n if (snapshot.isCancelled) {\n if (cycle.state.pendingTasks.length > 0) {\n throw new Error(\"cancelled scheduler state retains pending tasks\");\n }\n return cancellationDrainDecision(cycle);\n }\n if (cycle.state.pendingTasks.length === 0) return runningDrainDecision(cycle);\n return undefined;\n}\n\nfunction cancellationDrainDecision(cycle: SchedulerDecisionCycle): SchedulerDecision {\n return awaitDrainDecision(cycle);\n}\n\nfunction runningDrainDecision(cycle: SchedulerDecisionCycle): SchedulerDecision {\n return awaitDrainDecision(cycle);\n}\n\nfunction awaitDrainDecision(cycle: SchedulerDecisionCycle): SchedulerDecision {\n return freezeDecision({\n ...cycle.context,\n candidates: Object.freeze([]),\n eligibleCount: 0,\n hardGuard: Object.freeze({ kind: \"wait\", runningCanDrain: true }),\n kind: \"await-running\",\n proposal: null,\n trigger: cycle.trigger\n });\n}\n"]}

package/dist/esm/project-run/task-scheduler/scheduler-observation.mjs ADDED Viewed

@@ -0,0 +1,91 @@
+import { createHash } from "node:crypto";
+import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
+import { schedulerInspectionForCore, validateAdmissionCoreSelection } from "./admission-core/core.mjs";
+/** Fault logging is observational and therefore excluded from Scheduler control-path timing. */
+export function observeAdmissionPolicyFault(state, fault) {
+    observeSchedulerDiagnostic(state, {
+        event: "scheduler.admission-policy-failed",
+        tags: diagnosticTags("ADMISSION_POLICY_FAILED", fault.category.toUpperCase()),
+        details: Object.freeze({ category: fault.category })
+    });
+}
+export function observeSchedulerDecision(state, decision, diagnostics) {
+    const observation = {
+        event: "scheduler.decision",
+        tags: schedulerDecisionTags(decision),
+        details: schedulerDecisionDetails(decision)
+    };
+    const observe = () => {
+        observeSchedulerDiagnostic(state, observation);
+    };
+    if (diagnostics === undefined)
+        observe();
+    else
+        diagnostics.observeDecision(observe);
+}
+/** One immutable graph record makes the enclosing scheduler channel the self-contained evidence unit. */
+export function observeSchedulerGraph(state) {
+    const graph = state.graph.schedulerGraphSnapshot;
+    observeSchedulerDiagnostic(state, {
+        event: "scheduler.graph",
+        tags: diagnosticTags("GRAPH"),
+        details: Object.freeze({ graph, graphFingerprint: schedulerGraphFingerprint(graph) })
+    });
+}
+export function schedulerGraphFingerprint(graph) {
+    return createHash("sha256").update(JSON.stringify(graph)).digest("hex");
+}
+function schedulerDecisionDetails(decision) {
+    const { graphIdentity, ...dynamicFacts } = decision;
+    return Object.freeze({
+        ...dynamicFacts,
+        graphFingerprint: schedulerGraphFingerprint(graphIdentity)
+    });
+}
+/** Logger failures are observational and must not revise Scheduler lifecycle state. */
+export function observeSchedulerDiagnostic(state, observation) {
+    try {
+        state.diagnosticLogger?.observe(observation);
+    }
+    catch {
+        // Invocation logging has its own containment; retain it for direct Scheduler seams as well.
+    }
+}
+export function performanceState(state) {
+    const inspection = schedulerInspectionForCore(state.admissionCore);
+    const admissionViablePendingTasks = [];
+    for (const task of inspection.pendingTasks) {
+        const validation = validateAdmissionCoreSelection(state.admissionCore, task.id);
+        if (validation.accepted) {
+            admissionViablePendingTasks.push(Object.freeze({ kind: "admissible-pending", taskId: task.id }));
+            continue;
+        }
+        switch (validation.reason.kind) {
+            case "mutex-held":
+                admissionViablePendingTasks.push(Object.freeze({ kind: "mutex-blocked", taskId: task.id }));
+                continue;
+            case "root-capacity-reached":
+            case "scope-capacity-reached":
+            case "resource-capacity-insufficient":
+                admissionViablePendingTasks.push(Object.freeze({ kind: "capacity-blocked", taskId: task.id }));
+                continue;
+            case "depends-on-pending":
+            case "observes-pending":
+                continue;
+            case "not-pending":
+            case "state-complete":
+            case "unknown-task":
+                throw new Error("shared admission core disagrees with Scheduler pending state");
+        }
+    }
+    return Object.freeze({
+        admissionViablePendingTasks: Object.freeze(admissionViablePendingTasks),
+        effectiveMaxParallel: inspection.effectiveMaxParallel,
+        rootMaxParallel: inspection.maxParallel,
+        running: inspection.runningTaskIds.length
+    });
+}
+function schedulerDecisionTags(decision) {
+    return diagnosticTags(decision.kind.toUpperCase(), ...("taskId" in decision ? [`TASK:${decision.taskId}`] : []));
+}
+//# sourceMappingURL=scheduler-observation.mjs.map

package/dist/esm/project-run/task-scheduler/scheduler-observation.mjs.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"scheduler-observation.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,cAAc,EAA8B,MAAM,iCAAiC,CAAC;AAG7F,OAAO,EACL,0BAA0B,EAC1B,8BAA8B,EAC/B,MAAM,0BAA0B,CAAC;AAQlC,gGAAgG;AAChG,MAAM,UAAU,2BAA2B,CACzC,KAA8B,EAC9B,KAA2B;IAE3B,0BAA0B,CAAC,KAAK,EAAE;QAChC,KAAK,EAAE,mCAAmC;QAC1C,IAAI,EAAE,cAAc,CAAC,yBAAyB,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7E,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;KACrD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAA8B,EAC9B,QAA2B,EAC3B,WAAwD;IAExD,MAAM,WAAW,GAA0B;QACzC,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,qBAAqB,CAAC,QAAQ,CAAC;QACrC,OAAO,EAAE,wBAAwB,CAAC,QAAQ,CAAC;KAC5C,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,EAAE;QACnB,0BAA0B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;;QACpC,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,qBAAqB,CAAU,KAA8B;IAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC;IACjD,0BAA0B,CAAC,KAAK,EAAE;QAChC,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;KACtF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA2B;IAC3D,MAAM,EAAE,aAAa,EAAE,GAAG,YAAY,EAAE,GAAG,QAAQ,CAAC;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,YAAY;QACf,gBAAgB,EAAE,yBAAyB,CAAC,aAAa,CAAC;KAC3D,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,0BAA0B,CACxC,KAA8B,EAC9B,WAAkC;IAElC,IAAI,CAAC;QACH,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,4FAA4F;IAC9F,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAA8B;IAE9B,MAAM,UAAU,GAAG,0BAA0B,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,2BAA2B,GAAiC,EAAE,CAAC;IACrE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,8BAA8B,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAChF,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACxB,2BAA2B,CAAC,IAAI,CAC9B,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAC/D,CAAC;YACF,SAAS;QACX,CAAC;QACD,QAAQ,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,KAAK,YAAY;gBACf,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5F,SAAS;YACX,KAAK,uBAAuB,CAAC;YAC7B,KAAK,wBAAwB,CAAC;YAC9B,KAAK,gCAAgC;gBACnC,2BAA2B,CAAC,IAAI,CAC9B,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAC7D,CAAC;gBACF,SAAS;YACX,KAAK,oBAAoB,CAAC;YAC1B,KAAK,kBAAkB;gBACrB,SAAS;YACX,KAAK,aAAa,CAAC;YACnB,KAAK,gBAAgB,CAAC;YACtB,KAAK,cAAc;gBACjB,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,2BAA2B,CAAC;QACvE,oBAAoB,EAAE,UAAU,CAAC,oBAAoB;QACrD,eAAe,EAAE,UAAU,CAAC,WAAW;QACvC,OAAO,EAAE,UAAU,CAAC,cAAc,CAAC,MAAM;KAC1C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA2B;IACxD,OAAO,cAAc,CACnB,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,EAC3B,GAAG,CAAC,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7D,CAAC;AACJ,CAAC","sourcesContent":["import { createHash } from \"node:crypto\";\n\nimport { diagnosticTags, type DiagnosticObservation } from \"../diagnostic-logging/logger.ts\";\nimport type { SchedulerDecision } from \"./scheduler-decision.ts\";\nimport type { SchedulerState } from \"./execution-state.ts\";\nimport {\n schedulerInspectionForCore,\n validateAdmissionCoreSelection\n} from \"./admission-core/core.ts\";\nimport type {\n AdmissionViablePendingTask,\n SchedulerPerformanceDiagnostics,\n SchedulerPerformanceState\n} from \"./measurement/diagnostics.ts\";\nimport type { AdmissionPolicyFault } from \"./scheduler-admission-decision.ts\";\n\n/** Fault logging is observational and therefore excluded from Scheduler control-path timing. */\nexport function observeAdmissionPolicyFault<TResult>(\n state: SchedulerState<TResult>,\n fault: AdmissionPolicyFault\n): void {\n observeSchedulerDiagnostic(state, {\n event: \"scheduler.admission-policy-failed\",\n tags: diagnosticTags(\"ADMISSION_POLICY_FAILED\", fault.category.toUpperCase()),\n details: Object.freeze({ category: fault.category })\n });\n}\n\nexport function observeSchedulerDecision<TResult>(\n state: SchedulerState<TResult>,\n decision: SchedulerDecision,\n diagnostics: SchedulerPerformanceDiagnostics | undefined\n): void {\n const observation: DiagnosticObservation = {\n event: \"scheduler.decision\",\n tags: schedulerDecisionTags(decision),\n details: schedulerDecisionDetails(decision)\n };\n const observe = () => {\n observeSchedulerDiagnostic(state, observation);\n };\n if (diagnostics === undefined) observe();\n else diagnostics.observeDecision(observe);\n}\n\n/** One immutable graph record makes the enclosing scheduler channel the self-contained evidence unit. */\nexport function observeSchedulerGraph<TResult>(state: SchedulerState<TResult>): void {\n const graph = state.graph.schedulerGraphSnapshot;\n observeSchedulerDiagnostic(state, {\n event: \"scheduler.graph\",\n tags: diagnosticTags(\"GRAPH\"),\n details: Object.freeze({ graph, graphFingerprint: schedulerGraphFingerprint(graph) })\n });\n}\n\nexport function schedulerGraphFingerprint(graph: unknown): string {\n return createHash(\"sha256\").update(JSON.stringify(graph)).digest(\"hex\");\n}\n\nfunction schedulerDecisionDetails(decision: SchedulerDecision): Readonly<Record<string, unknown>> {\n const { graphIdentity, ...dynamicFacts } = decision;\n return Object.freeze({\n ...dynamicFacts,\n graphFingerprint: schedulerGraphFingerprint(graphIdentity)\n });\n}\n\n/** Logger failures are observational and must not revise Scheduler lifecycle state. */\nexport function observeSchedulerDiagnostic<TResult>(\n state: SchedulerState<TResult>,\n observation: DiagnosticObservation\n): void {\n try {\n state.diagnosticLogger?.observe(observation);\n } catch {\n // Invocation logging has its own containment; retain it for direct Scheduler seams as well.\n }\n}\n\nexport function performanceState<TResult>(\n state: SchedulerState<TResult>\n): SchedulerPerformanceState {\n const inspection = schedulerInspectionForCore(state.admissionCore);\n const admissionViablePendingTasks: AdmissionViablePendingTask[] = [];\n for (const task of inspection.pendingTasks) {\n const validation = validateAdmissionCoreSelection(state.admissionCore, task.id);\n if (validation.accepted) {\n admissionViablePendingTasks.push(\n Object.freeze({ kind: \"admissible-pending\", taskId: task.id })\n );\n continue;\n }\n switch (validation.reason.kind) {\n case \"mutex-held\":\n admissionViablePendingTasks.push(Object.freeze({ kind: \"mutex-blocked\", taskId: task.id }));\n continue;\n case \"root-capacity-reached\":\n case \"scope-capacity-reached\":\n case \"resource-capacity-insufficient\":\n admissionViablePendingTasks.push(\n Object.freeze({ kind: \"capacity-blocked\", taskId: task.id })\n );\n continue;\n case \"depends-on-pending\":\n case \"observes-pending\":\n continue;\n case \"not-pending\":\n case \"state-complete\":\n case \"unknown-task\":\n throw new Error(\"shared admission core disagrees with Scheduler pending state\");\n }\n }\n return Object.freeze({\n admissionViablePendingTasks: Object.freeze(admissionViablePendingTasks),\n effectiveMaxParallel: inspection.effectiveMaxParallel,\n rootMaxParallel: inspection.maxParallel,\n running: inspection.runningTaskIds.length\n });\n}\n\nfunction schedulerDecisionTags(decision: SchedulerDecision): readonly string[] {\n return diagnosticTags(\n decision.kind.toUpperCase(),\n ...(\"taskId\" in decision ? [`TASK:${decision.taskId}`] : [])\n );\n}\n"]}

package/dist/esm/project-run/task-scheduler/scheduler-task-lifecycle.mjs ADDED Viewed

@@ -0,0 +1,94 @@
+import { cancelPendingTasks, recordSettlement } from "./execution-state.mjs";
+export function applyAdmissionPolicyFault(state, fault) {
+    if (state.admissionPolicyFault !== undefined) {
+        throw new Error("scheduler received more than one admission policy fault");
+    }
+    state.admissionPolicyFault = fault.category;
+    cancelPendingTasks(state);
+}
+export function applyAdmission(state, decision) {
+    const task = takePendingTask(state, decision.taskId, "admission");
+    for (const mutex of task.mutex)
+        state.runningMutexes.add(mutex);
+    activateScope(state, decision.scopeToActivate);
+    const completion = Promise.resolve()
+        .then(() => state.execute(task, Object.freeze({ signal: state.signal })))
+        .then((value) => completedTaskCompletion(task.id, value, state.isPrerequisiteSatisfied))
+        .catch((error) => failedTaskCompletion(task.id, error));
+    state.runningById.set(task.id, { task, completion });
+}
+export function applyBlockedSettlement(state, decision) {
+    applyForcedBlockedSettlement(state, decision.taskId, decision.dependencyIds);
+}
+/** Applies one canonical private forced-block effect after the shared reducer selected it. */
+export function applyForcedBlockedSettlement(state, taskId, dependencyIds) {
+    const task = takePendingTask(state, taskId, "blocked settlement");
+    recordSettlement(state, task, Object.freeze({ kind: "blocked", dependencyIds: Object.freeze([...dependencyIds]) }));
+    state.onTaskBlocked?.(task, dependencyIds);
+}
+export function applyCancellation(state, decision) {
+    const pendingTaskIds = state.pending.map((task) => task.id);
+    if (!sameTaskIds(pendingTaskIds, decision.taskIds)) {
+        throw new Error("scheduler cancellation decision no longer matches pending tasks");
+    }
+    cancelPendingTasks(state);
+}
+export async function nextRunningSettlement(state) {
+    if (state.runningById.size === 0) {
+        throw new Error("scheduler cannot await a task when no task is running");
+    }
+    return Promise.race([...state.runningById.values()].map((running) => running.completion));
+}
+export function settleRunningTask(state, result) {
+    const running = state.runningById.get(result.taskId);
+    if (running === undefined)
+        throw new Error(`task ${result.taskId} settled without admission`);
+    state.runningById.delete(result.taskId);
+    for (const mutex of running.task.mutex)
+        state.runningMutexes.delete(mutex);
+    recordSettlement(state, running.task, result.settlement);
+}
+export function buildTaskGraphRun(state) {
+    return Object.freeze({
+        admissionPolicyFault: state.admissionPolicyFault,
+        cancelled: state.isCancelled,
+        settlements: Object.freeze(state.graph.tasks.map((task) => {
+            const settlement = state.settlementsByTaskId.get(task.id);
+            if (settlement === undefined)
+                throw new Error(`task ${task.id} was not settled`);
+            return Object.freeze({ task, settlement });
+        }))
+    });
+}
+function activateScope(state, scopeId) {
+    if (scopeId === null)
+        return;
+    const scope = state.scopesById.get(scopeId);
+    if (scope === undefined) {
+        throw new Error(`scheduler admission references unknown scope ${scopeId}`);
+    }
+    scope.isActive = true;
+}
+function takePendingTask(state, taskId, action) {
+    const index = state.pending.findIndex((task) => task.id === taskId);
+    if (index < 0)
+        throw new Error(`task ${taskId} is not pending for ${action}`);
+    const [task] = state.pending.splice(index, 1);
+    if (task === undefined)
+        throw new Error(`task ${taskId} disappeared during ${action}`);
+    return task;
+}
+function completedTaskCompletion(taskId, value, isPrerequisiteSatisfied) {
+    const settlement = isPrerequisiteSatisfied?.(value) === false
+        ? { kind: "prerequisite-unsatisfied", value }
+        : { kind: "completed", value };
+    return Object.freeze({ taskId, settlement: Object.freeze(settlement) });
+}
+function failedTaskCompletion(taskId, error) {
+    const settlement = { kind: "failed", error };
+    return Object.freeze({ taskId, settlement: Object.freeze(settlement) });
+}
+function sameTaskIds(left, right) {
+    return left.length === right.length && left.every((taskId, index) => taskId === right[index]);
+}
+//# sourceMappingURL=scheduler-task-lifecycle.mjs.map

package/dist/esm/project-run/task-scheduler/scheduler-task-lifecycle.mjs.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"scheduler-task-lifecycle.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-task-lifecycle.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAMjB,MAAM,sBAAsB,CAAC;AAI9B,MAAM,UAAU,yBAAyB,CACvC,KAA8B,EAC9B,KAA2B;IAE3B,IAAI,KAAK,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,oBAAoB,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC5C,kBAAkB,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,KAA8B,EAC9B,QAAgE;IAEhE,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK;QAAE,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC;IAE/C,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,EAAE;SACjC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;SACxE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,uBAAuB,CAAC,CAAC;SACvF,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,oBAAoB,CAAU,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5E,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAA8B,EAC9B,QAAyE;IAEzE,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;AAC/E,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,4BAA4B,CAC1C,KAA8B,EAC9B,MAAc,EACd,aAAgC;IAEhC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAClE,gBAAgB,CACd,KAAK,EACL,IAAI,EACJ,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CACrF,CAAC;IACF,KAAK,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAA8B,EAC9B,QAAyE;IAEzE,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5D,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACrF,CAAC;IACD,kBAAkB,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAA8B;IAE9B,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAA8B,EAC9B,MAAsC;IAEtC,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,CAAC,MAAM,4BAA4B,CAAC,CAAC;IAC9F,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK;QAAE,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3E,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAU,KAA8B;IACvE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,SAAS,EAAE,KAAK,CAAC,WAAW;QAC5B,WAAW,EAAE,MAAM,CAAC,MAAM,CACxB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC7B,MAAM,UAAU,GAAG,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,UAAU,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACjF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7C,CAAC,CAAC,CACH;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAU,KAA8B,EAAE,OAAsB;IACpF,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,gDAAgD,OAAO,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;AACxB,CAAC;AAED,SAAS,eAAe,CACtB,KAA8B,EAC9B,MAAc,EACd,MAAc;IAEd,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IACpE,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,uBAAuB,MAAM,EAAE,CAAC,CAAC;IAC9E,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,uBAAuB,MAAM,EAAE,CAAC,CAAC;IACvF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAAc,EACd,KAAc,EACd,uBAAgF;IAEhF,MAAM,UAAU,GACd,uBAAuB,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK;QACxC,CAAC,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE;QAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IACnC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAc,EACd,KAAc;IAEd,MAAM,UAAU,GAA4B,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACtE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,WAAW,CAAC,IAAuB,EAAE,KAAwB;IACpE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAChG,CAAC","sourcesContent":["import type { PlannedTask } from \"./graph.ts\";\nimport {\n cancelPendingTasks,\n recordSettlement,\n type RunningTaskCompletion,\n type RunTaskGraphOptions,\n type SchedulerState,\n type TaskGraphRun,\n type TaskSettlement\n} from \"./execution-state.ts\";\nimport type { SchedulerDecision } from \"./scheduler-decision.ts\";\nimport type { AdmissionPolicyFault } from \"./scheduler-admission-decision.ts\";\n\nexport function applyAdmissionPolicyFault<TResult>(\n state: SchedulerState<TResult>,\n fault: AdmissionPolicyFault\n): void {\n if (state.admissionPolicyFault !== undefined) {\n throw new Error(\"scheduler received more than one admission policy fault\");\n }\n state.admissionPolicyFault = fault.category;\n cancelPendingTasks(state);\n}\n\nexport function applyAdmission<TResult>(\n state: SchedulerState<TResult>,\n decision: Extract<SchedulerDecision, { readonly kind: \"admit\" }>\n): void {\n const task = takePendingTask(state, decision.taskId, \"admission\");\n for (const mutex of task.mutex) state.runningMutexes.add(mutex);\n activateScope(state, decision.scopeToActivate);\n\n const completion = Promise.resolve()\n .then(() => state.execute(task, Object.freeze({ signal: state.signal })))\n .then((value) => completedTaskCompletion(task.id, value, state.isPrerequisiteSatisfied))\n .catch((error: unknown) => failedTaskCompletion<TResult>(task.id, error));\n state.runningById.set(task.id, { task, completion });\n}\n\nexport function applyBlockedSettlement<TResult>(\n state: SchedulerState<TResult>,\n decision: Extract<SchedulerDecision, { readonly kind: \"settle-blocked\" }>\n): void {\n applyForcedBlockedSettlement(state, decision.taskId, decision.dependencyIds);\n}\n\n/** Applies one canonical private forced-block effect after the shared reducer selected it. */\nexport function applyForcedBlockedSettlement<TResult>(\n state: SchedulerState<TResult>,\n taskId: string,\n dependencyIds: readonly string[]\n): void {\n const task = takePendingTask(state, taskId, \"blocked settlement\");\n recordSettlement(\n state,\n task,\n Object.freeze({ kind: \"blocked\", dependencyIds: Object.freeze([...dependencyIds]) })\n );\n state.onTaskBlocked?.(task, dependencyIds);\n}\n\nexport function applyCancellation<TResult>(\n state: SchedulerState<TResult>,\n decision: Extract<SchedulerDecision, { readonly kind: \"cancel-pending\" }>\n): void {\n const pendingTaskIds = state.pending.map((task) => task.id);\n if (!sameTaskIds(pendingTaskIds, decision.taskIds)) {\n throw new Error(\"scheduler cancellation decision no longer matches pending tasks\");\n }\n cancelPendingTasks(state);\n}\n\nexport async function nextRunningSettlement<TResult>(\n state: SchedulerState<TResult>\n): Promise<RunningTaskCompletion<TResult>> {\n if (state.runningById.size === 0) {\n throw new Error(\"scheduler cannot await a task when no task is running\");\n }\n return Promise.race([...state.runningById.values()].map((running) => running.completion));\n}\n\nexport function settleRunningTask<TResult>(\n state: SchedulerState<TResult>,\n result: RunningTaskCompletion<TResult>\n): void {\n const running = state.runningById.get(result.taskId);\n if (running === undefined) throw new Error(`task ${result.taskId} settled without admission`);\n state.runningById.delete(result.taskId);\n for (const mutex of running.task.mutex) state.runningMutexes.delete(mutex);\n recordSettlement(state, running.task, result.settlement);\n}\n\nexport function buildTaskGraphRun<TResult>(state: SchedulerState<TResult>): TaskGraphRun<TResult> {\n return Object.freeze({\n admissionPolicyFault: state.admissionPolicyFault,\n cancelled: state.isCancelled,\n settlements: Object.freeze(\n state.graph.tasks.map((task) => {\n const settlement = state.settlementsByTaskId.get(task.id);\n if (settlement === undefined) throw new Error(`task ${task.id} was not settled`);\n return Object.freeze({ task, settlement });\n })\n )\n });\n}\n\nfunction activateScope<TResult>(state: SchedulerState<TResult>, scopeId: string | null): void {\n if (scopeId === null) return;\n const scope = state.scopesById.get(scopeId);\n if (scope === undefined) {\n throw new Error(`scheduler admission references unknown scope ${scopeId}`);\n }\n scope.isActive = true;\n}\n\nfunction takePendingTask<TResult>(\n state: SchedulerState<TResult>,\n taskId: string,\n action: string\n): PlannedTask {\n const index = state.pending.findIndex((task) => task.id === taskId);\n if (index < 0) throw new Error(`task ${taskId} is not pending for ${action}`);\n const [task] = state.pending.splice(index, 1);\n if (task === undefined) throw new Error(`task ${taskId} disappeared during ${action}`);\n return task;\n}\n\nfunction completedTaskCompletion<TResult>(\n taskId: string,\n value: TResult,\n isPrerequisiteSatisfied: RunTaskGraphOptions<TResult>[\"isPrerequisiteSatisfied\"]\n): RunningTaskCompletion<TResult> {\n const settlement: TaskSettlement<TResult> =\n isPrerequisiteSatisfied?.(value) === false\n ? { kind: \"prerequisite-unsatisfied\", value }\n : { kind: \"completed\", value };\n return Object.freeze({ taskId, settlement: Object.freeze(settlement) });\n}\n\nfunction failedTaskCompletion<TResult>(\n taskId: string,\n error: unknown\n): RunningTaskCompletion<TResult> {\n const settlement: TaskSettlement<TResult> = { kind: \"failed\", error };\n return Object.freeze({ taskId, settlement: Object.freeze(settlement) });\n}\n\nfunction sameTaskIds(left: readonly string[], right: readonly string[]): boolean {\n return left.length === right.length && left.every((taskId, index) => taskId === right[index]);\n}\n"]}