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

@zxyycom/vibe-check 0.0.1 → 0.0.2

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 (950) hide show

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

	@@ -1 +1 @@
1	- {"version":3,"file":"scheduler-admission-decision.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-admission-decision.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,QAAQ,EACR,kBAAkB,EAClB,yBAAyB,EACzB,6BAA6B,EAC7B,oBAAoB,EAErB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,oBAAoB,EAOrB,MAAM,+BAA+B,CAAC;AAoBvC,MAAM,UAAU,eAAe,CAAC,KAA6B;IAC3D,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7D,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAC7C,CAAC;IACF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,aAAa,CAAC,KAAK,EAAE;YAC1B,aAAa;YACb,MAAM,EAAE,qBAAqB;YAC7B,iBAAiB,EAAE,oBAAoB,EAAE;SAC1C,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC;IAC5E,IAAI,YAAY,KAAK,SAAS;QAC5B,OAAO,uBAAuB,CAAC,KAAK,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;IAErE,OAAO,yBAAyB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAA6B,EAC7B,aAAqC,EACrC,YAAyB;IAEzB,MAAM,SAAS,GAAuB;QACpC,MAAM,EAAE,aAAa;QACrB,iBAAiB,EAAE,gBAAgB,EAAE;QACrC,IAAI,EAAE,YAAY;KACnB,CAAC;IACF,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC;QAAE,OAAO,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC/F,OAAO,aAAa,CAAC,KAAK,EAAE;QAC1B,aAAa;QACb,MAAM,EAAE,2BAA2B;QACnC,iBAAiB,EAAE,oBAAoB,EAAE;KAC1C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAChC,KAA6B,EAC7B,aAAqC;IAErC,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,cAAc,GAAG,oBAAoB,CACzC,KAAK,CAAC,KAAK,EACX,aAAa,EACb,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAC5C,CAAC;IACF,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,uBAAuB,CAC5B,KAAK,EACL,aAAa,EACb,EAAE,MAAM,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,IAAI,EAAE,cAAc,EAAE,EACvE,2BAA2B,CAC5B,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,6BAA6B,CAChD,KAAK,CAAC,KAAK,EACX,aAAa,EACb,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAC5C,CAAC;IACF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,uBAAuB,CAC5B,KAAK,EACL,aAAa,EACb,EAAE,MAAM,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE,EAC7E,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAChC,CAAC;IACJ,CAAC;IAED,OAAO,uBAAuB,CAC5B,KAAK,EACL,aAAa,EACb,EAAE,MAAM,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,EACxE,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAA6B,EAC7B,aAAqC,EACrC,SAA6B,EAC7B,UAAgC;IAEhC,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IACjG,MAAM,iBAAiB,GACrB,SAAS,CAAC,MAAM,KAAK,kBAAkB;QACrC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC;IAClC,OAAO,aAAa,CAAC,KAAK,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,aAAa,CACpB,KAA6B,EAC7B,SAA6B,EAC7B,aAAqC;IAErC,OAAO,cAAc,CAAC;QACpB,GAAG,KAAK,CAAC,OAAO;QAChB,aAAa,EAAE,aAAa,CAAC,MAAM;QACnC,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;QAC9C,eAAe,EAAE,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI;QAC5E,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE;QACzB,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,KAA6B,EAC7B,OAAkC;IAElC,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,cAAc,CAAC;QACpB,GAAG,KAAK,CAAC,OAAO;QAChB,aAAa,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;QAC3C,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA0B;IACxD,OAAO,KAAK,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,QAAQ,CACf,MAA0B,EAC1B,KAA6B;IAE7B,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;AACrF,CAAC","sourcesContent":["import type { PlannedTask } from \"./graph.ts\";\nimport {\n activationScopeFor,\n canAdmit,\n capacityWaitReason,\n isDependencyMutexEligible,\n selectConstrainedContinuation,\n selectTighteningTask,\n type SchedulerInspection\n} from \"./scheduler-decision-inspection.ts\";\nimport {\n freezeDecision,\n reservationClear,\n reservationSet,\n reservationUnchanged,\n type ReservationUpdate,\n type SchedulerAdmissionReason,\n type SchedulerAwaitReason,\n type SchedulerDecision,\n type SchedulerDecisionContext,\n type SchedulerTrigger\n} from \"./scheduler-decision-model.ts\";\n\nexport interface SchedulerDecisionCycle {\n readonly context: SchedulerDecisionContext;\n readonly state: SchedulerInspection;\n readonly trigger: SchedulerTrigger;\n}\n\ninterface AdmissionSelection {\n readonly reason: SchedulerAdmissionReason;\n readonly reservationUpdate: ReservationUpdate;\n readonly task: PlannedTask;\n}\n\ninterface AwaitingSchedulerDecision {\n readonly eligibleTasks: readonly PlannedTask[];\n readonly reason: SchedulerAwaitReason;\n readonly reservationUpdate: ReservationUpdate;\n}\n\nexport function decideAdmission(cycle: SchedulerDecisionCycle): SchedulerDecision {\n const eligibleTasks = cycle.state.pendingTasks.filter((task) =>\n isDependencyMutexEligible(task, cycle.state)\n );\n if (eligibleTasks.length === 0) {\n return awaitDecision(cycle, {\n eligibleTasks,\n reason: \"dependency-or-mutex\",\n reservationUpdate: reservationUnchanged()\n });\n }\n\n const reservedTask = taskById(cycle.state.reservationTaskId, eligibleTasks);\n if (reservedTask !== undefined)\n return decideReservedAdmission(cycle, eligibleTasks, reservedTask);\n\n return decideUnreservedAdmission(cycle, eligibleTasks);\n}\n\nfunction decideReservedAdmission(\n cycle: SchedulerDecisionCycle,\n eligibleTasks: readonly PlannedTask[],\n reservedTask: PlannedTask\n): SchedulerDecision {\n const selection: AdmissionSelection = {\n reason: \"reservation\",\n reservationUpdate: reservationClear(),\n task: reservedTask\n };\n if (canAdmit(cycle.state, reservedTask)) return admitDecision(cycle, selection, eligibleTasks);\n return awaitDecision(cycle, {\n eligibleTasks,\n reason: \"reserved-tightening-scope\",\n reservationUpdate: reservationUnchanged()\n });\n}\n\nfunction decideUnreservedAdmission(\n cycle: SchedulerDecisionCycle,\n eligibleTasks: readonly PlannedTask[]\n): SchedulerDecision {\n const reservationUpdate = staleReservationUpdate(cycle.state);\n const tighteningTask = selectTighteningTask(\n cycle.state,\n eligibleTasks,\n cycle.context.capacity.effectiveMaxParallel\n );\n if (tighteningTask !== undefined) {\n return admissionOrCapacityWait(\n cycle,\n eligibleTasks,\n { reason: \"tightening-scope\", reservationUpdate, task: tighteningTask },\n \"reserved-tightening-scope\"\n );\n }\n\n const continuation = selectConstrainedContinuation(\n cycle.state,\n eligibleTasks,\n cycle.context.capacity.effectiveMaxParallel\n );\n if (continuation !== undefined) {\n return admissionOrCapacityWait(\n cycle,\n eligibleTasks,\n { reason: \"constrained-continuation\", reservationUpdate, task: continuation },\n capacityWaitReason(cycle.state)\n );\n }\n\n return admissionOrCapacityWait(\n cycle,\n eligibleTasks,\n { reason: \"canonical-order\", reservationUpdate, task: eligibleTasks[0] },\n capacityWaitReason(cycle.state)\n );\n}\n\nfunction admissionOrCapacityWait(\n cycle: SchedulerDecisionCycle,\n eligibleTasks: readonly PlannedTask[],\n selection: AdmissionSelection,\n waitReason: SchedulerAwaitReason\n): SchedulerDecision {\n if (canAdmit(cycle.state, selection.task)) return admitDecision(cycle, selection, eligibleTasks);\n const reservationUpdate =\n selection.reason === \"tightening-scope\"\n ? reservationSet(selection.task.id)\n : selection.reservationUpdate;\n return awaitDecision(cycle, { eligibleTasks, reason: waitReason, reservationUpdate });\n}\n\nfunction admitDecision(\n cycle: SchedulerDecisionCycle,\n selection: AdmissionSelection,\n eligibleTasks: readonly PlannedTask[]\n): SchedulerDecision {\n return freezeDecision({\n ...cycle.context,\n eligibleCount: eligibleTasks.length,\n kind: \"admit\",\n reason: selection.reason,\n reservationUpdate: selection.reservationUpdate,\n scopeToActivate: activationScopeFor(cycle.state, selection.task)?.id ?? null,\n taskId: selection.task.id,\n trigger: cycle.trigger\n });\n}\n\nfunction awaitDecision(\n cycle: SchedulerDecisionCycle,\n waiting: AwaitingSchedulerDecision\n): SchedulerDecision {\n if (cycle.state.runningTaskIds.size === 0) {\n throw new Error(\"scheduler has pending tasks but no runnable or running task\");\n }\n return freezeDecision({\n ...cycle.context,\n eligibleCount: waiting.eligibleTasks.length,\n kind: \"await-running\",\n reason: waiting.reason,\n reservationUpdate: waiting.reservationUpdate,\n trigger: cycle.trigger\n });\n}\n\nfunction staleReservationUpdate(state: SchedulerInspection): ReservationUpdate {\n return state.reservationTaskId === undefined ? reservationUnchanged() : reservationClear();\n}\n\nfunction taskById(\n taskId: string \| undefined,\n tasks: readonly PlannedTask[]\n): PlannedTask \| undefined {\n return taskId === undefined ? undefined : tasks.find((task) => task.id === taskId);\n}\n"]}
1	+ {"version":3,"file":"scheduler-admission-decision.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-admission-decision.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,cAAc,EAMf,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EAEvB,MAAM,0BAA0B,CAAC;AAYlC,MAAM,UAAU,eAAe,CAAC,KAA6B;IAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAC9B,0BAA0B,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAChE,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CACtE,CACF,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAErE,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,sBAAsB,CACnC,KAAK,CAAC,MAAM,CAAC,MAAM,CACjB,MAAM,CAAC,MAAM,CAAC;QACZ,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,UAAU;QACV,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK;QACxB,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;QAC1C,UAAU,EAAE,KAAK,CAAC,KAAK;QACvB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACtD,CAAC,CACH,CACF,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC7B,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC;QAC1C,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,aAAa,CACpB,KAA6B,EAC7B,UAAyC,EACzC,MAAqE;IAErE,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,oBAAoB,CAAC,yBAAyB,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,cAAc,CAAC;QACpB,GAAG,KAAK,CAAC,OAAO;QAChB,iBAAiB,EAAE,SAAS,CAAC,IAAI,CAAC,iBAAiB;QACnD,UAAU,EAAE,cAAc,CAAC,UAAU,CAAC;QACtC,aAAa,EAAE,UAAU,CAAC,MAAM;QAChC,SAAS,EAAE,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,MAAM;QAChB,eAAe,EAAE,sBAAsB,CAAC,KAAK,CAAC,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE;QACzB,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,KAA6B,EAC7B,UAAyC,EACzC,QAAQ,GAAmC,IAAI;IAE/C,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,oBAAoB,CAAC,kBAAkB,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,cAAc,CAAC;QACpB,GAAG,KAAK,CAAC,OAAO;QAChB,UAAU,EAAE,cAAc,CAAC,UAAU,CAAC;QACtC,aAAa,EAAE,UAAU,CAAC,MAAM;QAChC,SAAS,EAAE,aAAa,EAAE;QAC1B,IAAI,EAAE,eAAe;QACrB,QAAQ;QACR,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,UAAyC;IAEzC,OAAO,MAAM,CAAC,MAAM,CAClB,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3B,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAC3E,CACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,MAAc;IAEd,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI;QACnB,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC/B,gBAAgB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;YACxC,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;QAC7B,gBAAgB,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAClC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,YAAY,CACnB,MAAc,EACd,UAAyC;IAEzC,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAwC,EAAE,IAAuB;IACzF,MAAM,SAAS,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACzD,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,IACE,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QACjC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EACxE,CAAC;QACD,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAWD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7B,QAAQ,CAA+B;IAEvD,YAAmB,QAAsC;QACvD,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF","sourcesContent":["import type { AdmissionPolicyContext } from \"../../project-definition/project-definition.ts\";\nimport type {\n AdmissionCandidate,\n AdmissionPolicyDecision,\n AdmissionSelectionPolicy\n} from \"./admission-selection-policy.ts\";\nimport {\n freezeDecision,\n type SchedulerAdmissionCandidateFact,\n type SchedulerAdmissionHardGuard,\n type SchedulerDecision,\n type SchedulerDecisionContext,\n type SchedulerTrigger\n} from \"./scheduler-decision-model.ts\";\nimport type { SchedulerInspection } from \"./scheduler-decision-inspection.ts\";\nimport {\n admissionCandidatesForCore,\n scopeToActivateForCore,\n type AdmissionCoreState\n} from \"./admission-core/core.ts\";\n\nexport interface SchedulerDecisionCycle {\n readonly admissionCore: AdmissionCoreState;\n readonly context: SchedulerDecisionContext;\n readonly policy: AdmissionSelectionPolicy;\n /** Invoked immediately before the private policy seam enters a custom callback. */\n readonly measurement?: () => AdmissionPolicyContext[\"measurement\"];\n readonly state: SchedulerInspection;\n readonly trigger: SchedulerTrigger;\n}\n\nexport function decideAdmission(cycle: SchedulerDecisionCycle): SchedulerDecision {\n const candidates = Object.freeze(\n admissionCandidatesForCore(cycle.admissionCore).map((candidate) =>\n Object.freeze({ canAdmit: candidate.canAdmit, task: candidate.task })\n )\n );\n if (candidates.length === 0) return awaitDecision(cycle, candidates);\n\n const measurement = cycle.measurement?.();\n const result = validatePolicyDecision(\n cycle.policy.decide(\n Object.freeze({\n admissionCore: cycle.admissionCore,\n candidates,\n graph: cycle.state.graph,\n graphSnapshot: cycle.context.graphIdentity,\n inspection: cycle.state,\n ...(measurement === undefined ? {} : { measurement })\n })\n )\n );\n return result.kind === \"select\"\n ? admitDecision(cycle, candidates, result)\n : awaitDecision(cycle, candidates, result);\n}\n\nfunction admitDecision(\n cycle: SchedulerDecisionCycle,\n candidates: readonly AdmissionCandidate[],\n result: Extract<AdmissionPolicyDecision, { readonly kind: \"select\" }>\n): SchedulerDecision {\n const candidate = candidateFor(result.taskId, candidates);\n if (candidate === undefined) {\n throw new AdmissionPolicyFault(\"non-candidate-select\");\n }\n if (!candidate.canAdmit) {\n throw new AdmissionPolicyFault(\"capacity-invalid-select\");\n }\n return freezeDecision({\n ...cycle.context,\n admissionPriority: candidate.task.admissionPriority,\n candidates: candidateFacts(candidates),\n eligibleCount: candidates.length,\n hardGuard: selectHardGuard(candidate.task.id),\n kind: \"admit\",\n proposal: result,\n scopeToActivate: scopeToActivateForCore(cycle.admissionCore, candidate.task.id),\n taskId: candidate.task.id,\n trigger: cycle.trigger\n });\n}\n\nfunction awaitDecision(\n cycle: SchedulerDecisionCycle,\n candidates: readonly AdmissionCandidate[],\n proposal: AdmissionPolicyDecision \| null = null\n): SchedulerDecision {\n if (cycle.state.runningTaskIds.length === 0) {\n throw new AdmissionPolicyFault(\"undrainable-wait\");\n }\n return freezeDecision({\n ...cycle.context,\n candidates: candidateFacts(candidates),\n eligibleCount: candidates.length,\n hardGuard: waitHardGuard(),\n kind: \"await-running\",\n proposal,\n trigger: cycle.trigger\n });\n}\n\nfunction candidateFacts(\n candidates: readonly AdmissionCandidate[]\n): readonly SchedulerAdmissionCandidateFact[] {\n return Object.freeze(\n candidates.map((candidate) =>\n Object.freeze({ canAdmit: candidate.canAdmit, taskId: candidate.task.id })\n )\n );\n}\n\nfunction selectHardGuard(\n taskId: string\n): Extract<SchedulerAdmissionHardGuard, { readonly kind: \"select\" }> {\n return Object.freeze({\n canAdmit: true,\n isCandidate: true,\n kind: \"select\",\n lifecycleOpen: true,\n taskId\n });\n}\n\nfunction waitHardGuard(): Extract<SchedulerAdmissionHardGuard, { readonly kind: \"wait\" }> {\n return Object.freeze({ kind: \"wait\", runningCanDrain: true });\n}\n\nfunction validatePolicyDecision(value: unknown): AdmissionPolicyDecision {\n if (!isRecord(value)) throw new AdmissionPolicyFault(\"malformed-proposal\");\n if (value[\"kind\"] === \"select\") {\n requireExactKeys(value, [\"kind\", \"taskId\"]);\n if (typeof value[\"taskId\"] !== \"string\") {\n throw new AdmissionPolicyFault(\"malformed-proposal\");\n }\n return Object.freeze({ kind: \"select\", taskId: value[\"taskId\"] });\n }\n if (value[\"kind\"] === \"wait\") {\n requireExactKeys(value, [\"kind\"]);\n return Object.freeze({ kind: \"wait\" });\n }\n throw new AdmissionPolicyFault(\"malformed-proposal\");\n}\n\nfunction candidateFor(\n taskId: string,\n candidates: readonly AdmissionCandidate[]\n): AdmissionCandidate \| undefined {\n return candidates.find((candidate) => candidate.task.id === taskId);\n}\n\nfunction requireExactKeys(value: Readonly<Record<string, unknown>>, keys: readonly string[]): void {\n const prototype = Reflect.getPrototypeOf(value);\n if (prototype !== Object.prototype && prototype !== null) {\n throw new AdmissionPolicyFault(\"malformed-proposal\");\n }\n const actualKeys = Reflect.ownKeys(value);\n if (\n actualKeys.length !== keys.length \|\|\n actualKeys.some((key) => typeof key !== \"string\" \|\| !keys.includes(key))\n ) {\n throw new AdmissionPolicyFault(\"malformed-proposal\");\n }\n}\n\nfunction isRecord(value: unknown): value is Readonly<Record<string, unknown>> {\n return value !== null && typeof value === \"object\" && !Array.isArray(value);\n}\n\nexport type AdmissionPolicyFaultCategory =\n \| \"callback-threw\"\n \| \"thenable-proposal\"\n \| \"malformed-proposal\"\n \| \"non-candidate-select\"\n \| \"capacity-invalid-select\"\n \| \"lifecycle-invalid-select\"\n \| \"undrainable-wait\";\n\nexport class AdmissionPolicyFault extends Error {\n public readonly category: AdmissionPolicyFaultCategory;\n\n public constructor(category: AdmissionPolicyFaultCategory) {\n super(\"admission policy fault\");\n this.category = category;\n }\n}\n"]}

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

@@ -2,26 +2,40 @@
 export function summarizeSchedulerBlockers(state, capacity) {
     let dependency = 0;
     let mutex = 0;
+    let resourceCapacity = 0;
     for (const task of state.pendingTasks) {
-        if (hasUncompletedDependency(task.dependsOn, state.settlementKindByTaskId)) {
+        if (hasUnsatisfiedRelation(task, state.settledTasks)) {
             dependency += 1;
             continue;
         }
         if (hasRunningMutex(task.mutex, state.runningMutexes))
             mutex += 1;
+        else if (hasResourceShortage(task.resourceClaims, state.resources))
+            resourceCapacity += 1;
     }
     return Object.freeze({
         dependency,
         mutex,
-        rootCapacity: state.runningTaskIds.size >= state.maxParallel,
+        resourceCapacity,
+        rootCapacity: state.runningTaskIds.length >= state.maxParallel,
         scopeCapacity: capacity.effectiveMaxParallel < state.maxParallel &&
-            state.runningTaskIds.size >= capacity.effectiveMaxParallel
+            state.runningTaskIds.length >= capacity.effectiveMaxParallel
     });
 }
-function hasUncompletedDependency(dependencyIds, settlementKindByTaskId) {
-    return dependencyIds.some((dependencyId) => settlementKindByTaskId.get(dependencyId) !== "completed");
+function hasResourceShortage(claims, resources) {
+    return claims.some((claim) => {
+        const resource = resources.find(({ resourceId }) => resourceId === claim.resourceId);
+        return resource === undefined || claim.units > resource.available;
+    });
+}
+function hasUnsatisfiedRelation(task, settledTasks) {
+    return (task.dependsOn.some((dependencyId) => settlementKindFor(settledTasks, dependencyId) !== "completed") ||
+        task.observes.some((observationId) => settlementKindFor(settledTasks, observationId) === undefined));
 }
 function hasRunningMutex(mutexNames, runningMutexes) {
-    return mutexNames.some((mutexName) => runningMutexes.has(mutexName));
+    return mutexNames.some((mutexName) => runningMutexes.includes(mutexName));
+}
+function settlementKindFor(settledTasks, taskId) {
+    return settledTasks.find((task) => task.taskId === taskId)?.kind;
 }
 //# sourceMappingURL=scheduler-blocker-summary.mjs.map

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

	@@ -1 +1 @@
1	- {"version":3,"file":"scheduler-blocker-summary.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-blocker-summary.ts"],"names":[],"mappings":"AAGA,6DAA6D;AAC7D,MAAM,UAAU,0BAA0B,CACxC,KAA0B,EAC1B,QAA2B;IAE3B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACtC,IAAI,~~wBAAwB~~,CAAC,IAAI,~~CAAC,SAAS,~~EAAE,KAAK,CAAC,~~sBAAsB~~,CAAC,EAAE,CAAC;~~YAC3E~~,UAAU,IAAI,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;~~IACpE~~,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU;QACV,KAAK;QACL,YAAY,EAAE,KAAK,CAAC,cAAc,CAAC,~~IAAI~~,IAAI,KAAK,CAAC,WAAW;~~QAC5D~~,aAAa,EACX,QAAQ,CAAC,oBAAoB,GAAG,KAAK,CAAC,WAAW;YACjD,KAAK,CAAC,cAAc,CAAC,~~IAAI~~,IAAI,QAAQ,CAAC,oBAAoB;~~KAC7D~~,CAAC,CAAC;AACL,CAAC;AAED,SAAS,~~wBAAwB~~,~~CAC/B~~,~~aAAgC~~,~~EAChC~~,~~sBAAqE~~;~~IAErE~~,OAAO,~~aAAa~~,CAAC,IAAI,~~CACvB~~,CAAC,~~YAAY~~,EAAE,EAAE,CAAC,~~sBAAsB~~,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,WAAW,~~CAC3E~~,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,UAA6B,EAC7B,cAAqD;IAErD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,~~GAAG~~,CAAC,SAAS,CAAC,CAAC,CAAC;~~AACvE~~,CAAC","sourcesContent":["import type { SchedulerInspection } from \"./scheduler-decision-inspection.ts\";\nimport type { SchedulerBlockerSummary, SchedulerCapacity } from \"./scheduler-decision-model.ts\";\n\n/** Summarizes why pending Tasks cannot currently advance. */\nexport function summarizeSchedulerBlockers(\n state: SchedulerInspection,\n capacity: SchedulerCapacity\n): SchedulerBlockerSummary {\n let dependency = 0;\n let mutex = 0;\n for (const task of state.pendingTasks) {\n if (~~hasUncompletedDependency~~(task~~.dependsOn~~, state.~~settlementKindByTaskId~~)) {\n dependency += 1;\n continue;\n }\n if (hasRunningMutex(task.mutex, state.runningMutexes)) mutex += 1;\n }\n return Object.freeze({\n dependency,\n mutex,\n rootCapacity: state.runningTaskIds.~~size~~ >= state.maxParallel,\n scopeCapacity:\n capacity.effectiveMaxParallel < state.maxParallel &&\n state.runningTaskIds.~~size~~ >= capacity.effectiveMaxParallel\n });\n}\n\nfunction ~~hasUncompletedDependency~~(\n ~~dependencyIds~~: ~~readonly string~~[],\n ~~settlementKindByTaskId~~: SchedulerInspection[\"~~settlementKindByTaskId~~\"]\n): boolean {\n return ~~dependencyIds~~.some(\n (~~dependencyId~~) => ~~settlementKindByTaskId~~.~~get~~(dependencyId) !== \"completed\"\n );\n}\n\nfunction hasRunningMutex(\n mutexNames: readonly string[],\n runningMutexes: SchedulerInspection[\"runningMutexes\"]\n): boolean {\n return mutexNames.some((mutexName) => runningMutexes.~~has~~(mutexName));\n}\n"]}
1	+ {"version":3,"file":"scheduler-blocker-summary.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/scheduler-blocker-summary.ts"],"names":[],"mappings":"AAGA,6DAA6D;AAC7D,MAAM,UAAU,0BAA0B,CACxC,KAA0B,EAC1B,QAA2B;IAE3B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACtC,IAAI,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YACrD,UAAU,IAAI,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;aAC7D,IAAI,mBAAmB,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,SAAS,CAAC;YAAE,gBAAgB,IAAI,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU;QACV,KAAK;QACL,gBAAgB;QAChB,YAAY,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM,IAAI,KAAK,CAAC,WAAW;QAC9D,aAAa,EACX,QAAQ,CAAC,oBAAoB,GAAG,KAAK,CAAC,WAAW;YACjD,KAAK,CAAC,cAAc,CAAC,MAAM,IAAI,QAAQ,CAAC,oBAAoB;KAC/D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAqE,EACrE,SAA2C;IAE3C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC;QACrF,OAAO,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAiD,EACjD,YAAiD;IAEjD,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,IAAI,CACjB,CAAC,YAAY,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,WAAW,CAChF;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAChB,CAAC,aAAa,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,SAAS,CAChF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,UAA6B,EAC7B,cAAqD;IAErD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,iBAAiB,CACxB,YAAiD,EACjD,MAAc;IAEd,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC;AACnE,CAAC","sourcesContent":["import type { SchedulerInspection } from \"./scheduler-decision-inspection.ts\";\nimport type { SchedulerBlockerSummary, SchedulerCapacity } from \"./scheduler-decision-model.ts\";\n\n/** Summarizes why pending Tasks cannot currently advance. */\nexport function summarizeSchedulerBlockers(\n state: SchedulerInspection,\n capacity: SchedulerCapacity\n): SchedulerBlockerSummary {\n let dependency = 0;\n let mutex = 0;\n let resourceCapacity = 0;\n for (const task of state.pendingTasks) {\n if (hasUnsatisfiedRelation(task, state.settledTasks)) {\n dependency += 1;\n continue;\n }\n if (hasRunningMutex(task.mutex, state.runningMutexes)) mutex += 1;\n else if (hasResourceShortage(task.resourceClaims, state.resources)) resourceCapacity += 1;\n }\n return Object.freeze({\n dependency,\n mutex,\n resourceCapacity,\n rootCapacity: state.runningTaskIds.length >= state.maxParallel,\n scopeCapacity:\n capacity.effectiveMaxParallel < state.maxParallel &&\n state.runningTaskIds.length >= capacity.effectiveMaxParallel\n });\n}\n\nfunction hasResourceShortage(\n claims: SchedulerInspection[\"pendingTasks\"][number][\"resourceClaims\"],\n resources: SchedulerInspection[\"resources\"]\n): boolean {\n return claims.some((claim) => {\n const resource = resources.find(({ resourceId }) => resourceId === claim.resourceId);\n return resource === undefined \|\| claim.units > resource.available;\n });\n}\n\nfunction hasUnsatisfiedRelation(\n task: SchedulerInspection[\"pendingTasks\"][number],\n settledTasks: SchedulerInspection[\"settledTasks\"]\n): boolean {\n return (\n task.dependsOn.some(\n (dependencyId) => settlementKindFor(settledTasks, dependencyId) !== \"completed\"\n ) \|\|\n task.observes.some(\n (observationId) => settlementKindFor(settledTasks, observationId) === undefined\n )\n );\n}\n\nfunction hasRunningMutex(\n mutexNames: readonly string[],\n runningMutexes: SchedulerInspection[\"runningMutexes\"]\n): boolean {\n return mutexNames.some((mutexName) => runningMutexes.includes(mutexName));\n}\n\nfunction settlementKindFor(\n settledTasks: SchedulerInspection[\"settledTasks\"],\n taskId: string\n): SchedulerInspection[\"settledTasks\"][number][\"kind\"] \| undefined {\n return settledTasks.find((task) => task.taskId === taskId)?.kind;\n}\n"]}

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,89 @@
+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,CAAC,0BAA0B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACrE,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 = () => observeSchedulerDiagnostic(state, observation);\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"]}