@zxyycom/vibe-check 0.0.1 → 0.0.3

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

@@ -1 +1 @@
-{"version":3,"file":"graph.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AA6ClE,MAAM,eAAe,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAU,CAAC;AACrD,MAAM,cAAc,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAU,CAAC;AACxE,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,aAAa,EAAE,mBAAmB,EAAE,gBAAgB,CAAU,CAAC;AAE9F,0FAA0F;AAC1F,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,eAAwB;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC;IAE7E,yBAAyB,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAEnF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,oBAAoB,KAAK,GAAG,EAAE,cAAc,CAAC,CAAC;QAC7E,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,oBAAoB,KAAK,MAAM,CAAC,CAAC;QACpE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACZ,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC3E,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,MAAM,CAAC;YACZ,EAAE;YACF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC5E,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAChE,OAAO;SACR,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,qBAAqB,KAAK,GAAG,EAAE,eAAe,CAAC,CAAC;QAC/E,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,qBAAqB,KAAK,MAAM,CAAC,CAAC;QACrE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACZ,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;QAC1F,MAAM,iBAAiB,GAAG,kBAAkB,CAC1C,IAAI,CAAC,iBAAiB,EACtB,cAAc,EAAE,oBAAoB,CACrC,CAAC;QACF,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,cAAc,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;QAC9F,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,MAAM,CAAC;YACZ,EAAE;YACF,WAAW;YACX,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC;YACnD,cAAc;SACf,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CACb,KAAc,EACd,SAAiB,EACjB,WAA8B;IAE9B,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,oBAAoB,CAAC,CAAC;IACxD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,0BAA0B,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,SAAiB;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,6BAA6B,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,SAAiB;IAC/D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,SAAiB;IACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,wCAAwC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,SAAS,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,SAAiB;IAC3D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,wCAAwC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,SAAiB;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,kCAAkC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["import { validatePreparedTaskGraph } from \"./graph-validation.ts\";\n\nexport interface TaskNode {\n  readonly id: string;\n  readonly dependsOn?: readonly string[];\n  readonly mutex?: readonly string[];\n  readonly scopeId?: string;\n}\n\n/**\n * A scheduling scope is intentionally product-agnostic. Product adapters may\n * use its opaque id to bind local Check semantics, but the engine only uses\n * membership, a cap, activation candidates, and the terminal relation.\n */\nexport interface TaskScope {\n  readonly id: string;\n  readonly maxParallel: number;\n  readonly activationTaskIds: readonly string[];\n  readonly terminalTaskId: string;\n}\n\nexport interface TaskGraph {\n  readonly tasks: readonly TaskNode[];\n  readonly scopes?: readonly TaskScope[];\n}\n\nexport interface PlannedTask {\n  readonly id: string;\n  readonly dependsOn: readonly string[];\n  readonly mutex: readonly string[];\n  readonly scopeId: string | undefined;\n}\n\nexport interface PlannedTaskScope {\n  readonly id: string;\n  readonly maxParallel: number;\n  readonly activationTaskIds: readonly string[];\n  readonly terminalTaskId: string;\n}\n\nexport interface PlannedTaskGraph {\n  readonly tasks: readonly PlannedTask[];\n  readonly scopes: readonly PlannedTaskScope[];\n}\n\nconst TASK_GRAPH_KEYS = [\"tasks\", \"scopes\"] as const;\nconst TASK_NODE_KEYS = [\"id\", \"dependsOn\", \"mutex\", \"scopeId\"] as const;\nconst TASK_SCOPE_KEYS = [\"id\", \"maxParallel\", \"activationTaskIds\", \"terminalTaskId\"] as const;\n\n/** Validates untrusted graph-shaped input without admitting it to scheduler execution. */\nexport function validateTaskGraph(graph: unknown): void {\n  prepareTaskGraph(graph);\n}\n\nexport function prepareTaskGraph(graph: unknown, rootMaxParallel?: number): PlannedTaskGraph {\n  const data = record(graph, \"task graph\", TASK_GRAPH_KEYS);\n  const tasks = normalizeTasks(data.tasks);\n  const scopes = normalizeScopes(data.scopes);\n  const taskById = new Map(tasks.map((task) => [task.id, task] as const));\n  const scopeById = new Map(scopes.map((scope) => [scope.id, scope] as const));\n\n  validatePreparedTaskGraph({ rootMaxParallel, scopeById, scopes, taskById, tasks });\n\n  return Object.freeze({\n    tasks: Object.freeze(tasks),\n    scopes: Object.freeze(scopes)\n  });\n}\n\nfunction normalizeTasks(value: unknown): PlannedTask[] {\n  if (!Array.isArray(value)) {\n    throw new TypeError(\"task graph tasks must be an array\");\n  }\n\n  const ids = new Set<string>();\n  const tasks: PlannedTask[] = [];\n  for (const [index, candidate] of value.entries()) {\n    const data = record(candidate, `task graph tasks[${index}]`, TASK_NODE_KEYS);\n    const id = nonEmptyString(data.id, `task graph tasks[${index}].id`);\n    if (ids.has(id)) {\n      throw new TypeError(`duplicate task id: ${id}`);\n    }\n    ids.add(id);\n    const scopeId = optionalNonEmptyString(data.scopeId, `task ${id}.scopeId`);\n    tasks.push(\n      Object.freeze({\n        id,\n        dependsOn: Object.freeze(stringList(data.dependsOn, `task ${id}.dependsOn`)),\n        mutex: Object.freeze(stringList(data.mutex, `task ${id}.mutex`)),\n        scopeId\n      })\n    );\n  }\n  return tasks;\n}\n\nfunction normalizeScopes(value: unknown): PlannedTaskScope[] {\n  if (value === undefined) {\n    return [];\n  }\n  if (!Array.isArray(value)) {\n    throw new TypeError(\"task graph scopes must be an array\");\n  }\n\n  const ids = new Set<string>();\n  const scopes: PlannedTaskScope[] = [];\n  for (const [index, candidate] of value.entries()) {\n    const data = record(candidate, `task graph scopes[${index}]`, TASK_SCOPE_KEYS);\n    const id = nonEmptyString(data.id, `task graph scopes[${index}].id`);\n    if (ids.has(id)) {\n      throw new TypeError(`duplicate task scope id: ${id}`);\n    }\n    ids.add(id);\n    const maxParallel = positiveSafeInteger(data.maxParallel, `task scope ${id}.maxParallel`);\n    const activationTaskIds = requiredStringList(\n      data.activationTaskIds,\n      `task scope ${id}.activationTaskIds`\n    );\n    const terminalTaskId = nonEmptyString(data.terminalTaskId, `task scope ${id}.terminalTaskId`);\n    scopes.push(\n      Object.freeze({\n        id,\n        maxParallel,\n        activationTaskIds: Object.freeze(activationTaskIds),\n        terminalTaskId\n      })\n    );\n  }\n  return scopes;\n}\n\nfunction record(\n  value: unknown,\n  fieldName: string,\n  allowedKeys: readonly string[]\n): Readonly<Record<string, unknown>> {\n  if (!isTaskGraphRecord(value)) {\n    throw new TypeError(`${fieldName} must be an object`);\n  }\n  for (const key of Object.keys(value)) {\n    if (!allowedKeys.includes(key)) {\n      throw new TypeError(`${fieldName} has unknown property: ${key}`);\n    }\n  }\n  return value;\n}\n\nfunction isTaskGraphRecord(value: unknown): value is Record<string, unknown> {\n  return value !== null && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction nonEmptyString(value: unknown, fieldName: string): string {\n  if (typeof value !== \"string\" || value.trim().length === 0) {\n    throw new TypeError(`${fieldName} must be a non-empty string`);\n  }\n  return value;\n}\n\nfunction optionalNonEmptyString(value: unknown, fieldName: string): string | undefined {\n  return value === undefined ? undefined : nonEmptyString(value, fieldName);\n}\n\nfunction stringList(value: unknown, fieldName: string): string[] {\n  if (value === undefined) {\n    return [];\n  }\n  if (!Array.isArray(value)) {\n    throw new TypeError(`${fieldName} must be an array of non-empty strings`);\n  }\n  return value.map((item, index) => nonEmptyString(item, `${fieldName}[${index}]`));\n}\n\nfunction requiredStringList(value: unknown, fieldName: string): string[] {\n  if (value === undefined) {\n    throw new TypeError(`${fieldName} must be an array of non-empty strings`);\n  }\n  return stringList(value, fieldName);\n}\n\nfunction positiveSafeInteger(value: unknown, fieldName: string): number {\n  if (typeof value !== \"number\" || !Number.isSafeInteger(value) || value <= 0) {\n    throw new TypeError(`${fieldName} must be a positive safe integer`);\n  }\n  return value;\n}\n"]}
+{"version":3,"file":"graph.mjs","sourceRoot":"","sources":["../../../../src/project-run/task-scheduler/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAElE,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AA4D5E,MAAM,eAAe,GAAG,CAAC,oBAAoB,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAC3E,MAAM,cAAc,GAAG;IACrB,mBAAmB;IACnB,IAAI;IACJ,WAAW;IACX,OAAO;IACP,UAAU;IACV,gBAAgB;IAChB,SAAS;CACD,CAAC;AACX,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,aAAa,EAAE,mBAAmB,EAAE,gBAAgB,CAAU,CAAC;AAE9F,0FAA0F;AAC1F,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,eAAwB;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;IAC1D,MAAM,kBAAkB,GAAG,eAAe,CACxC,IAAI,CAAC,kBAAkB,EACvB,+BAA+B,CAChC,CAAC;IACF,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC;IAE7E,yBAAyB,CAAC;QACxB,kBAAkB;QAClB,eAAe;QACf,SAAS;QACT,MAAM;QACN,QAAQ;QACR,KAAK;KACN,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,kBAAkB;QAClB,sBAAsB,EAAE,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,kBAAkB,CAAC;QACjF,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA6B,EAC7B,MAAmC,EACnC,kBAAiD;IAEjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,kBAAkB;QAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,MAAM,CAAC,MAAM,CAAC;YACZ,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC;YAC9D,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,cAAc,EAAE,KAAK,CAAC,cAAc;SACrC,CAAC,CACH,CACF;QACD,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjB,MAAM,CAAC,MAAM,CAAC;YACZ,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,IAAI;YAC7B,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CACH,CACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,oBAAoB,KAAK,GAAG,EAAE,cAAc,CAAC,CAAC;QAC7E,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,oBAAoB,KAAK,MAAM,CAAC,CAAC;QACpE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACZ,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC3E,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,MAAM,CAAC;YACZ,iBAAiB;YACjB,EAAE;YACF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC5E,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAChE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;YACzE,cAAc,EAAE,eAAe,CAAC,IAAI,CAAC,cAAc,EAAE,QAAQ,EAAE,iBAAiB,CAAC;YACjF,OAAO;SACR,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,qBAAqB,KAAK,GAAG,EAAE,eAAe,CAAC,CAAC;QAC/E,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,qBAAqB,KAAK,MAAM,CAAC,CAAC;QACrE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACZ,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;QAC1F,MAAM,iBAAiB,GAAG,kBAAkB,CAC1C,IAAI,CAAC,iBAAiB,EACtB,cAAc,EAAE,oBAAoB,CACrC,CAAC;QACF,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,cAAc,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;QAC9F,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,MAAM,CAAC;YACZ,EAAE;YACF,WAAW;YACX,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC;YACnD,cAAc;SACf,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CACb,KAAc,EACd,SAAiB,EACjB,WAA8B;IAE9B,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,oBAAoB,CAAC,CAAC;IACxD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,0BAA0B,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,SAAiB;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,6BAA6B,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,SAAiB;IAC/D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,SAAiB;IACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,wCAAwC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,SAAS,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,SAAiB;IAC3D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,wCAAwC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,SAAiB;IACxD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,0BAA0B,CAAC,CAAC;IACpF,MAAM,OAAO,GAAyB,EAAE,CAAC;IACzC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7D,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,yCAAyC,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,MAAM,CAAC;YACZ,UAAU;YACV,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,IAAI,UAAU,EAAE,CAAC;SAC3E,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,SAAiB;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,kCAAkC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAc,EAAE,MAAc;IAChE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,QAAQ,MAAM,2CAA2C,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,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","sourcesContent":["import { validatePreparedTaskGraph } from \"./graph-validation.ts\";\nimport type { SchedulerGraphSnapshot } from \"../../project-definition/project-definition.ts\";\nimport { snapshotClosedRecord } from \"../../data-boundary/closed-values.ts\";\n\nexport interface NamedResourceUnits {\n  readonly resourceId: string;\n  readonly units: number;\n}\n\nexport interface TaskNode {\n  readonly admissionPriority?: number;\n  readonly id: string;\n  readonly dependsOn?: readonly string[];\n  readonly mutex?: readonly string[];\n  readonly observes?: readonly string[];\n  readonly resourceClaims?: Readonly<Record<string, number>>;\n  readonly scopeId?: string;\n}\n\n/**\n * A scheduling scope is intentionally product-agnostic. Product adapters may\n * use its opaque id to bind local Check semantics, but the engine only uses\n * membership, a cap, activation candidates, and the terminal relation.\n */\nexport interface TaskScope {\n  readonly id: string;\n  readonly maxParallel: number;\n  readonly activationTaskIds: readonly string[];\n  readonly terminalTaskId: string;\n}\n\nexport interface TaskGraph {\n  readonly resourceCapacities?: Readonly<Record<string, number>>;\n  readonly tasks: readonly TaskNode[];\n  readonly scopes?: readonly TaskScope[];\n}\n\nexport interface PlannedTask {\n  readonly admissionPriority: number;\n  readonly id: string;\n  readonly dependsOn: readonly string[];\n  readonly mutex: readonly string[];\n  readonly observes: readonly string[];\n  readonly resourceClaims: readonly NamedResourceUnits[];\n  readonly scopeId: string | undefined;\n}\n\nexport interface PlannedTaskScope {\n  readonly id: string;\n  readonly maxParallel: number;\n  readonly activationTaskIds: readonly string[];\n  readonly terminalTaskId: string;\n}\n\nexport interface PlannedTaskGraph {\n  readonly resourceCapacities: readonly NamedResourceUnits[];\n  /** Immutable public projection shared by every decision and terminal measurement in one run. */\n  readonly schedulerGraphSnapshot: SchedulerGraphSnapshot;\n  readonly tasks: readonly PlannedTask[];\n  readonly scopes: readonly PlannedTaskScope[];\n}\n\nconst TASK_GRAPH_KEYS = [\"resourceCapacities\", \"tasks\", \"scopes\"] as const;\nconst TASK_NODE_KEYS = [\n  \"admissionPriority\",\n  \"id\",\n  \"dependsOn\",\n  \"mutex\",\n  \"observes\",\n  \"resourceClaims\",\n  \"scopeId\"\n] as const;\nconst TASK_SCOPE_KEYS = [\"id\", \"maxParallel\", \"activationTaskIds\", \"terminalTaskId\"] as const;\n\n/** Validates untrusted graph-shaped input without admitting it to scheduler execution. */\nexport function validateTaskGraph(graph: unknown): void {\n  prepareTaskGraph(graph);\n}\n\nexport function prepareTaskGraph(graph: unknown, rootMaxParallel?: number): PlannedTaskGraph {\n  const data = record(graph, \"task graph\", TASK_GRAPH_KEYS);\n  const resourceCapacities = resourceMapping(\n    data.resourceCapacities,\n    \"task graph resourceCapacities\"\n  );\n  const tasks = normalizeTasks(data.tasks);\n  const scopes = normalizeScopes(data.scopes);\n  const taskById = new Map(tasks.map((task) => [task.id, task] as const));\n  const scopeById = new Map(scopes.map((scope) => [scope.id, scope] as const));\n\n  validatePreparedTaskGraph({\n    resourceCapacities,\n    rootMaxParallel,\n    scopeById,\n    scopes,\n    taskById,\n    tasks\n  });\n\n  return Object.freeze({\n    resourceCapacities,\n    schedulerGraphSnapshot: schedulerGraphSnapshot(tasks, scopes, resourceCapacities),\n    tasks: Object.freeze(tasks),\n    scopes: Object.freeze(scopes)\n  });\n}\n\nfunction schedulerGraphSnapshot(\n  tasks: readonly PlannedTask[],\n  scopes: readonly PlannedTaskScope[],\n  resourceCapacities: readonly NamedResourceUnits[]\n): SchedulerGraphSnapshot {\n  return Object.freeze({\n    resourceCapacities,\n    scopes: Object.freeze(\n      scopes.map((scope) =>\n        Object.freeze({\n          activationTaskIds: Object.freeze([...scope.activationTaskIds]),\n          id: scope.id,\n          maxParallel: scope.maxParallel,\n          terminalTaskId: scope.terminalTaskId\n        })\n      )\n    ),\n    tasks: Object.freeze(\n      tasks.map((task) =>\n        Object.freeze({\n          admissionPriority: task.admissionPriority,\n          dependsOn: Object.freeze([...task.dependsOn]),\n          mutex: Object.freeze([...task.mutex]),\n          observes: Object.freeze([...task.observes]),\n          resourceClaims: task.resourceClaims,\n          scopeId: task.scopeId ?? null,\n          taskId: task.id\n        })\n      )\n    )\n  });\n}\n\nfunction normalizeTasks(value: unknown): PlannedTask[] {\n  if (!Array.isArray(value)) {\n    throw new TypeError(\"task graph tasks must be an array\");\n  }\n\n  const ids = new Set<string>();\n  const tasks: PlannedTask[] = [];\n  for (const [index, candidate] of value.entries()) {\n    const data = record(candidate, `task graph tasks[${index}]`, TASK_NODE_KEYS);\n    const id = nonEmptyString(data.id, `task graph tasks[${index}].id`);\n    if (ids.has(id)) {\n      throw new TypeError(`duplicate task id: ${id}`);\n    }\n    ids.add(id);\n    const admissionPriority = admissionPriorityOrDefault(data.admissionPriority, id);\n    const scopeId = optionalNonEmptyString(data.scopeId, `task ${id}.scopeId`);\n    tasks.push(\n      Object.freeze({\n        admissionPriority,\n        id,\n        dependsOn: Object.freeze(stringList(data.dependsOn, `task ${id}.dependsOn`)),\n        mutex: Object.freeze(stringList(data.mutex, `task ${id}.mutex`)),\n        observes: Object.freeze(stringList(data.observes, `task ${id}.observes`)),\n        resourceClaims: resourceMapping(data.resourceClaims, `task ${id}.resourceClaims`),\n        scopeId\n      })\n    );\n  }\n  return tasks;\n}\n\nfunction normalizeScopes(value: unknown): PlannedTaskScope[] {\n  if (value === undefined) {\n    return [];\n  }\n  if (!Array.isArray(value)) {\n    throw new TypeError(\"task graph scopes must be an array\");\n  }\n\n  const ids = new Set<string>();\n  const scopes: PlannedTaskScope[] = [];\n  for (const [index, candidate] of value.entries()) {\n    const data = record(candidate, `task graph scopes[${index}]`, TASK_SCOPE_KEYS);\n    const id = nonEmptyString(data.id, `task graph scopes[${index}].id`);\n    if (ids.has(id)) {\n      throw new TypeError(`duplicate task scope id: ${id}`);\n    }\n    ids.add(id);\n    const maxParallel = positiveSafeInteger(data.maxParallel, `task scope ${id}.maxParallel`);\n    const activationTaskIds = requiredStringList(\n      data.activationTaskIds,\n      `task scope ${id}.activationTaskIds`\n    );\n    const terminalTaskId = nonEmptyString(data.terminalTaskId, `task scope ${id}.terminalTaskId`);\n    scopes.push(\n      Object.freeze({\n        id,\n        maxParallel,\n        activationTaskIds: Object.freeze(activationTaskIds),\n        terminalTaskId\n      })\n    );\n  }\n  return scopes;\n}\n\nfunction record(\n  value: unknown,\n  fieldName: string,\n  allowedKeys: readonly string[]\n): Readonly<Record<string, unknown>> {\n  if (!isTaskGraphRecord(value)) {\n    throw new TypeError(`${fieldName} must be an object`);\n  }\n  for (const key of Object.keys(value)) {\n    if (!allowedKeys.includes(key)) {\n      throw new TypeError(`${fieldName} has unknown property: ${key}`);\n    }\n  }\n  return value;\n}\n\nfunction isTaskGraphRecord(value: unknown): value is Record<string, unknown> {\n  return value !== null && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction nonEmptyString(value: unknown, fieldName: string): string {\n  if (typeof value !== \"string\" || value.trim().length === 0) {\n    throw new TypeError(`${fieldName} must be a non-empty string`);\n  }\n  return value;\n}\n\nfunction optionalNonEmptyString(value: unknown, fieldName: string): string | undefined {\n  return value === undefined ? undefined : nonEmptyString(value, fieldName);\n}\n\nfunction stringList(value: unknown, fieldName: string): string[] {\n  if (value === undefined) {\n    return [];\n  }\n  if (!Array.isArray(value)) {\n    throw new TypeError(`${fieldName} must be an array of non-empty strings`);\n  }\n  return value.map((item, index) => nonEmptyString(item, `${fieldName}[${index}]`));\n}\n\nfunction requiredStringList(value: unknown, fieldName: string): string[] {\n  if (value === undefined) {\n    throw new TypeError(`${fieldName} must be an array of non-empty strings`);\n  }\n  return stringList(value, fieldName);\n}\n\nfunction resourceMapping(value: unknown, fieldName: string): readonly NamedResourceUnits[] {\n  if (value === undefined) return Object.freeze([]);\n  const data = snapshotClosedRecord(value);\n  if (data === undefined) throw new TypeError(`${fieldName} must be a closed object`);\n  const entries: NamedResourceUnits[] = [];\n  for (const resourceId of Object.keys(data).sort(compareText)) {\n    if (resourceId.trim().length === 0) {\n      throw new TypeError(`${fieldName} resource ids must be non-empty strings`);\n    }\n    entries.push(\n      Object.freeze({\n        resourceId,\n        units: positiveSafeInteger(data[resourceId], `${fieldName}.${resourceId}`)\n      })\n    );\n  }\n  return Object.freeze(entries);\n}\n\nfunction positiveSafeInteger(value: unknown, fieldName: string): number {\n  if (typeof value !== \"number\" || !Number.isSafeInteger(value) || value <= 0) {\n    throw new TypeError(`${fieldName} must be a positive safe integer`);\n  }\n  return value;\n}\n\nfunction admissionPriorityOrDefault(value: unknown, taskId: string): number {\n  if (value === undefined) return 0;\n  if (typeof value !== \"number\" || !Number.isSafeInteger(value)) {\n    throw new TypeError(`task ${taskId}.admissionPriority must be a safe integer`);\n  }\n  return value;\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"]}

package/dist/esm/project-run/task-scheduler/measurement/diagnostics.mjs

@@ -0,0 +1,211 @@
+import { diagnosticTags } from "../../diagnostic-logging/logger.mjs";
+import { summaryFromSchedulerMeasurement } from "./summary.mjs";
+import { SchedulerPerformanceTiming } from "./timing.mjs";
+import { SchedulerPolicyMeasurement } from "./policy.mjs";
+/**
+ * Scheduler-owned, invocation-local lifecycle projection. Clock boundaries and
+ * numeric interval accumulation remain private collaborators of this owner.
+ */
+export class SchedulerPerformanceDiagnostics {
+    #declarativeFingerprint;
+    #logger;
+    #timing;
+    #lastSettledTaskId;
+    #completionTailActiveTaskIds = Object.freeze([]);
+    #admittedTaskIds = new Set();
+    #chronologyByTaskId = new Map();
+    #policyMeasurement = new SchedulerPolicyMeasurement();
+    constructor(input, initial) {
+        this.#declarativeFingerprint = input.declarativeFingerprint;
+        this.#logger = input.logger;
+        this.#timing = new SchedulerPerformanceTiming(input.clock, initial);
+    }
+    measureControlPath(operation) {
+        return this.#timing.measureControlPath(operation);
+    }
+    observeDecision(observation) {
+        this.#timing.observeDecision(observation);
+    }
+    /** Flushes the old state before admission changes the real Scheduler state. */
+    beforeAdmission(taskId, runningTaskIds) {
+        this.#admittedTaskIds.add(taskId);
+        this.#completionTailActiveTaskIds = Object.freeze([...runningTaskIds, taskId]);
+        const boundary = this.#timing.boundary();
+        if (boundary === undefined)
+            return;
+        const admissionDelay = this.#timing.takeAdmissionDelay(taskId);
+        if (admissionDelay === undefined) {
+            this.#timing.invalidate("integral-invalid");
+            return;
+        }
+        this.#chronologyByTaskId.set(taskId, {
+            admissionDelay,
+            admittedAt: boundary,
+            settledAt: undefined
+        });
+    }
+    /** Flushes the old state before blocked/cancelled changes the real Scheduler state. */
+    beforePendingSettlement(taskIds = []) {
+        const lastTaskId = taskIds.at(-1);
+        if (lastTaskId !== undefined)
+            this.#lastSettledTaskId = lastTaskId;
+        this.#timing.boundary();
+    }
+    /** Flushes the old running interval before removing the actual running Task. */
+    beforeRunningSettlement(taskId) {
+        this.#lastSettledTaskId = taskId;
+        const boundary = this.#timing.boundary();
+        if (boundary === undefined)
+            return;
+        this.#timing.closeAcceptedWait(boundary);
+        const chronology = this.#chronologyByTaskId.get(taskId);
+        if (chronology === undefined) {
+            this.#timing.invalidate("integral-invalid");
+            return;
+        }
+        chronology.settledAt = boundary;
+    }
+    beforeAcceptedWait() {
+        this.#timing.beginAcceptedWait();
+    }
+    captureState(state) {
+        this.#timing.captureState(state);
+    }
+    rawMeasurement() {
+        return this.#measurement(true);
+    }
+    beginSelectedPolicyAction(taskId) {
+        this.#policyMeasurement.beginSelected(taskId, this.#timing.snapshot().totals);
+    }
+    beginWaitPolicyAction() {
+        this.#policyMeasurement.beginWait(this.#timing.snapshot().totals);
+    }
+    recordEffect(effect) {
+        this.#policyMeasurement.recordEffect(effect);
+    }
+    policyMeasurement() {
+        this.#timing.boundary();
+        this.#completePolicyAction();
+        return this.#policyMeasurement.snapshot(this.#cumulativeMeasurement());
+    }
+    completePendingActionObservation() {
+        this.#timing.boundary();
+        this.#completePolicyAction();
+    }
+    admittedTaskIds() {
+        return Object.freeze([...this.#admittedTaskIds]);
+    }
+    /** Internal default terminal hook; it contains writer failure without runner special-casing. */
+    defaultSummaryHook() {
+        if (this.#logger === undefined)
+            return undefined;
+        const logger = this.#logger;
+        return (context) => {
+            try {
+                logger.observe({
+                    event: "scheduler.summary",
+                    tags: diagnosticTags("SUMMARY"),
+                    details: summaryFromSchedulerMeasurement(context.rawMeasurement)
+                });
+            }
+            catch {
+                // Summary writer failure is contained by this hook, not the shared runner.
+            }
+        };
+    }
+    #completePolicyAction() {
+        const timing = this.#timing.snapshot();
+        this.#policyMeasurement.complete(timing.totals, timing.timing);
+    }
+    #cumulativeMeasurement() {
+        const snapshot = this.#timing.snapshot();
+        const facts = Object.freeze({
+            declarativeFingerprint: this.#declarativeFingerprint,
+            discrete: Object.freeze({
+                acceptedWaitCount: snapshot.acceptedWaitCount,
+                admittedCount: this.#admittedTaskIds.size,
+                maxRunning: snapshot.maxRunning
+            }),
+            peaks: snapshot.peaks
+        });
+        if (snapshot.timing.availability === "unavailable") {
+            return Object.freeze({ ...facts, timing: snapshot.timing });
+        }
+        return Object.freeze({
+            ...facts,
+            timing: snapshot.timing,
+            timingFacts: Object.freeze({
+                acceptedWaitMs: snapshot.acceptedWaitMs,
+                effectiveCapacitySlotMs: snapshot.totals.effectiveCapacitySlotMs,
+                rootCapacitySlotMs: snapshot.totals.rootCapacitySlotMs,
+                taskSlotMs: snapshot.totals.taskSlotMs
+            })
+        });
+    }
+    #measurement(terminal) {
+        const endedAt = this.#timing.boundary();
+        if (terminal && endedAt !== undefined)
+            this.#timing.closeAcceptedWait(endedAt);
+        const snapshot = this.#timing.snapshot();
+        const facts = Object.freeze({
+            declarativeFingerprint: this.#declarativeFingerprint,
+            discrete: Object.freeze({
+                acceptedWaitCount: snapshot.acceptedWaitCount,
+                admittedCount: this.#admittedTaskIds.size,
+                completionTailActiveTaskIds: Object.freeze([...this.#completionTailActiveTaskIds]),
+                lastSettledTaskId: this.#lastSettledTaskId ?? null,
+                maxRunning: snapshot.maxRunning
+            }),
+            peaks: snapshot.peaks
+        });
+        if (snapshot.timing.availability === "unavailable") {
+            return Object.freeze({ ...facts, timing: snapshot.timing });
+        }
+        if (endedAt === undefined)
+            throw new Error("available Scheduler timing has no terminal boundary");
+        return Object.freeze({
+            ...facts,
+            timing: snapshot.timing,
+            timingFacts: Object.freeze({
+                acceptedWaitMs: snapshot.acceptedWaitMs,
+                admissions: Object.freeze(this.#admissionMeasurements()),
+                effectiveCapacitySlotMs: snapshot.totals.effectiveCapacitySlotMs,
+                endedAtMonotonicMs: endedAt,
+                rootCapacitySlotMs: snapshot.totals.rootCapacitySlotMs,
+                schedulerControlPathMs: snapshot.schedulerControlPathMs,
+                schedulerDecisionObservationMs: snapshot.decisionObservationMs,
+                startedAtMonotonicMs: snapshot.startedAtMonotonicMs ?? endedAt,
+                taskSlotMs: snapshot.totals.taskSlotMs
+            })
+        });
+    }
+    #admissionMeasurements() {
+        const pendingByTaskId = new Map(this.#timing
+            .pendingAdmissionDelays()
+            .map(({ admissionDelay, taskId }) => [taskId, admissionDelay]));
+        const taskIds = new Set([...pendingByTaskId.keys(), ...this.#chronologyByTaskId.keys()]);
+        return [...taskIds]
+            .map((taskId) => this.#admissionMeasurement(taskId, pendingByTaskId))
+            .sort((left, right) => compareText(left.taskId, right.taskId));
+    }
+    #admissionMeasurement(taskId, pendingByTaskId) {
+        const chronology = this.#chronologyByTaskId.get(taskId);
+        const admissionDelay = chronology?.admissionDelay ?? pendingByTaskId.get(taskId);
+        if (admissionDelay === undefined)
+            throw new Error(`missing admission measurement for ${taskId}`);
+        return Object.freeze({
+            admissionDelay,
+            admittedAtMonotonicMs: chronology?.admittedAt ?? null,
+            settledAtMonotonicMs: chronology?.settledAt ?? null,
+            taskId
+        });
+    }
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+//# sourceMappingURL=diagnostics.mjs.map

package/dist/esm/project-run/task-scheduler/measurement/diagnostics.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.mjs","sourceRoot":"","sources":["../../../../../src/project-run/task-scheduler/measurement/diagnostics.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,cAAc,EAAyB,MAAM,oCAAoC,CAAC;AAE3F,OAAO,EAAE,+BAA+B,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AA2BzD;;;GAGG;AACH,MAAM,OAAO,+BAA+B;IACjC,uBAAuB,CAAS;IAChC,OAAO,CAA+B;IACtC,OAAO,CAA6B;IAC7C,kBAAkB,CAAqB;IACvC,4BAA4B,GAAsB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3D,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,mBAAmB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC7D,kBAAkB,GAAG,IAAI,0BAA0B,EAAE,CAAC;IAE/D,YACE,KAA2C,EAC3C,OAAkC;QAElC,IAAI,CAAC,uBAAuB,GAAG,KAAK,CAAC,sBAAsB,CAAC;QAC5D,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,0BAA0B,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAEM,kBAAkB,CAAI,SAAkB;QAC7C,OAAO,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IAEM,eAAe,CAAC,WAAuB;QAC5C,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC;IAED,+EAA+E;IACxE,eAAe,CAAC,MAAc,EAAE,cAAiC;QACtE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QACnC,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAC/D,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;YAC5C,OAAO;QACT,CAAC;QACD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,EAAE;YACnC,cAAc;YACd,UAAU,EAAE,QAAQ;YACpB,SAAS,EAAE,SAAS;SACrB,CAAC,CAAC;IACL,CAAC;IAED,uFAAuF;IAChF,uBAAuB,CAAC,OAAO,GAAsB,EAAE;QAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,kBAAkB,GAAG,UAAU,CAAC;QACnE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC;IAED,gFAAgF;IACzE,uBAAuB,CAAC,MAAc;QAC3C,IAAI,CAAC,kBAAkB,GAAG,MAAM,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QACnC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;YAC5C,OAAO;QACT,CAAC;QACD,UAAU,CAAC,SAAS,GAAG,QAAQ,CAAC;IAClC,CAAC;IAEM,kBAAkB;QACvB,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC;IACnC,CAAC;IAEM,YAAY,CAAC,KAAgC;QAClD,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAEM,cAAc;QACnB,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAEM,yBAAyB,CAAC,MAAc;QAC7C,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC;IAChF,CAAC;IAEM,qBAAqB;QAC1B,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;IAEM,YAAY,CAAC,MAAkC;QACpD,IAAI,CAAC,kBAAkB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IAEM,iBAAiB;QACtB,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACxB,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC,CAAC;IACzE,CAAC;IAEM,gCAAgC;QACrC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACxB,IAAI,CAAC,qBAAqB,EAAE,CAAC;IAC/B,CAAC;IAEM,eAAe;QACpB,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,gGAAgG;IACzF,kBAAkB;QACvB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,OAAO,CAAC,OAAO,EAAE,EAAE;YACjB,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,CAAC;oBACb,KAAK,EAAE,mBAAmB;oBAC1B,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC;oBAC/B,OAAO,EAAE,+BAA+B,CAAC,OAAO,CAAC,cAAc,CAAC;iBACjE,CAAC,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACP,2EAA2E;YAC7E,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;IAED,qBAAqB;QACnB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACjE,CAAC;IAED,sBAAsB;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;YAC1B,sBAAsB,EAAE,IAAI,CAAC,uBAAuB;YACpD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;gBACtB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;gBAC7C,aAAa,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI;gBACzC,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC;YACF,KAAK,EAAE,QAAQ,CAAC,KAAK;SACtB,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,aAAa,EAAE,CAAC;YACnD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,KAAK;YACR,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC;gBACzB,cAAc,EAAE,QAAQ,CAAC,cAAc;gBACvC,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,uBAAuB;gBAChE,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,kBAAkB;gBACtD,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU;aACvC,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,YAAY,CAAC,QAAiB;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAI,QAAQ,IAAI,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;YAC1B,sBAAsB,EAAE,IAAI,CAAC,uBAAuB;YACpD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;gBACtB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;gBAC7C,aAAa,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI;gBACzC,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,4BAA4B,CAAC,CAAC;gBAClF,iBAAiB,EAAE,IAAI,CAAC,kBAAkB,IAAI,IAAI;gBAClD,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC;YACF,KAAK,EAAE,QAAQ,CAAC,KAAK;SACtB,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,aAAa,EAAE,CAAC;YACnD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YACvB,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,KAAK;YACR,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC;gBACzB,cAAc,EAAE,QAAQ,CAAC,cAAc;gBACvC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBACxD,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,uBAAuB;gBAChE,kBAAkB,EAAE,OAAO;gBAC3B,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,kBAAkB;gBACtD,sBAAsB,EAAE,QAAQ,CAAC,sBAAsB;gBACvD,8BAA8B,EAAE,QAAQ,CAAC,qBAAqB;gBAC9D,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB,IAAI,OAAO;gBAC9D,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU;aACvC,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,sBAAsB;QACpB,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,IAAI,CAAC,OAAO;aACT,sBAAsB,EAAE;aACxB,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CACjE,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,OAAO,CAAC,GAAG,OAAO,CAAC;aAChB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;aACpE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,qBAAqB,CACnB,MAAc,EACd,eAA6D;QAE7D,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,cAAc,GAAG,UAAU,EAAE,cAAc,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjF,IAAI,cAAc,KAAK,SAAS;YAC9B,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,EAAE,CAAC,CAAC;QACjE,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,cAAc;YACd,qBAAqB,EAAE,UAAU,EAAE,UAAU,IAAI,IAAI;YACrD,oBAAoB,EAAE,UAAU,EAAE,SAAS,IAAI,IAAI;YACnD,MAAM;SACP,CAAC,CAAC;IACL,CAAC;CACF;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","sourcesContent":["import type {\n  AdmissionPolicyMeasurement,\n  SchedulerDecisionMeasurementCumulative,\n  SchedulerMeasurementAdmission,\n  SchedulerMeasurementEffect,\n  SchedulerTerminalEffect,\n  SchedulerRawMeasurement\n} from \"../../../project-definition/project-definition.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../../diagnostic-logging/logger.ts\";\nimport type { AdmissionDelayBreakdown } from \"./integrals.ts\";\nimport { summaryFromSchedulerMeasurement } from \"./summary.ts\";\nimport { SchedulerPerformanceTiming } from \"./timing.ts\";\nimport { SchedulerPolicyMeasurement } from \"./policy.ts\";\n\n/** Explicit, enabled-only private handoff; the Scheduler never infers this from logger behavior. */\nexport type SchedulerPerformanceDiagnosticsInput = Readonly<{\n  readonly clock: Readonly<{ now(): number }>;\n  readonly declarativeFingerprint: string;\n  readonly logger?: DiagnosticLogger;\n}>;\n\ntype AdmissionChronology = {\n  readonly admissionDelay: AdmissionDelayBreakdown;\n  readonly admittedAt: number;\n  settledAt: number | undefined;\n};\n\nexport type AdmissionViablePendingTask = Readonly<{\n  readonly kind: \"admissible-pending\" | \"capacity-blocked\" | \"mutex-blocked\";\n  readonly taskId: string;\n}>;\n\nexport type SchedulerPerformanceState = Readonly<{\n  readonly admissionViablePendingTasks: readonly AdmissionViablePendingTask[];\n  readonly effectiveMaxParallel: number;\n  readonly rootMaxParallel: number;\n  readonly running: number;\n}>;\n\n/**\n * Scheduler-owned, invocation-local lifecycle projection. Clock boundaries and\n * numeric interval accumulation remain private collaborators of this owner.\n */\nexport class SchedulerPerformanceDiagnostics {\n  readonly #declarativeFingerprint: string;\n  readonly #logger: DiagnosticLogger | undefined;\n  readonly #timing: SchedulerPerformanceTiming;\n  #lastSettledTaskId: string | undefined;\n  #completionTailActiveTaskIds: readonly string[] = Object.freeze([]);\n  readonly #admittedTaskIds = new Set<string>();\n  readonly #chronologyByTaskId = new Map<string, AdmissionChronology>();\n  readonly #policyMeasurement = new SchedulerPolicyMeasurement();\n\n  public constructor(\n    input: SchedulerPerformanceDiagnosticsInput,\n    initial: SchedulerPerformanceState\n  ) {\n    this.#declarativeFingerprint = input.declarativeFingerprint;\n    this.#logger = input.logger;\n    this.#timing = new SchedulerPerformanceTiming(input.clock, initial);\n  }\n\n  public measureControlPath<T>(operation: () => T): T {\n    return this.#timing.measureControlPath(operation);\n  }\n\n  public observeDecision(observation: () => void): void {\n    this.#timing.observeDecision(observation);\n  }\n\n  /** Flushes the old state before admission changes the real Scheduler state. */\n  public beforeAdmission(taskId: string, runningTaskIds: readonly string[]): void {\n    this.#admittedTaskIds.add(taskId);\n    this.#completionTailActiveTaskIds = Object.freeze([...runningTaskIds, taskId]);\n    const boundary = this.#timing.boundary();\n    if (boundary === undefined) return;\n    const admissionDelay = this.#timing.takeAdmissionDelay(taskId);\n    if (admissionDelay === undefined) {\n      this.#timing.invalidate(\"integral-invalid\");\n      return;\n    }\n    this.#chronologyByTaskId.set(taskId, {\n      admissionDelay,\n      admittedAt: boundary,\n      settledAt: undefined\n    });\n  }\n\n  /** Flushes the old state before blocked/cancelled changes the real Scheduler state. */\n  public beforePendingSettlement(taskIds: readonly string[] = []): void {\n    const lastTaskId = taskIds.at(-1);\n    if (lastTaskId !== undefined) this.#lastSettledTaskId = lastTaskId;\n    this.#timing.boundary();\n  }\n\n  /** Flushes the old running interval before removing the actual running Task. */\n  public beforeRunningSettlement(taskId: string): void {\n    this.#lastSettledTaskId = taskId;\n    const boundary = this.#timing.boundary();\n    if (boundary === undefined) return;\n    this.#timing.closeAcceptedWait(boundary);\n    const chronology = this.#chronologyByTaskId.get(taskId);\n    if (chronology === undefined) {\n      this.#timing.invalidate(\"integral-invalid\");\n      return;\n    }\n    chronology.settledAt = boundary;\n  }\n\n  public beforeAcceptedWait(): void {\n    this.#timing.beginAcceptedWait();\n  }\n\n  public captureState(state: SchedulerPerformanceState): void {\n    this.#timing.captureState(state);\n  }\n\n  public rawMeasurement(): SchedulerRawMeasurement {\n    return this.#measurement(true);\n  }\n\n  public beginSelectedPolicyAction(taskId: string): void {\n    this.#policyMeasurement.beginSelected(taskId, this.#timing.snapshot().totals);\n  }\n\n  public beginWaitPolicyAction(): void {\n    this.#policyMeasurement.beginWait(this.#timing.snapshot().totals);\n  }\n\n  public recordEffect(effect: SchedulerMeasurementEffect): void {\n    this.#policyMeasurement.recordEffect(effect);\n  }\n\n  public policyMeasurement(): AdmissionPolicyMeasurement {\n    this.#timing.boundary();\n    this.#completePolicyAction();\n    return this.#policyMeasurement.snapshot(this.#cumulativeMeasurement());\n  }\n\n  public completePendingActionObservation(): void {\n    this.#timing.boundary();\n    this.#completePolicyAction();\n  }\n\n  public admittedTaskIds(): readonly string[] {\n    return Object.freeze([...this.#admittedTaskIds]);\n  }\n\n  /** Internal default terminal hook; it contains writer failure without runner special-casing. */\n  public defaultSummaryHook(): SchedulerTerminalEffect | undefined {\n    if (this.#logger === undefined) return undefined;\n    const logger = this.#logger;\n    return (context) => {\n      try {\n        logger.observe({\n          event: \"scheduler.summary\",\n          tags: diagnosticTags(\"SUMMARY\"),\n          details: summaryFromSchedulerMeasurement(context.rawMeasurement)\n        });\n      } catch {\n        // Summary writer failure is contained by this hook, not the shared runner.\n      }\n    };\n  }\n\n  #completePolicyAction(): void {\n    const timing = this.#timing.snapshot();\n    this.#policyMeasurement.complete(timing.totals, timing.timing);\n  }\n\n  #cumulativeMeasurement(): SchedulerDecisionMeasurementCumulative {\n    const snapshot = this.#timing.snapshot();\n    const facts = Object.freeze({\n      declarativeFingerprint: this.#declarativeFingerprint,\n      discrete: Object.freeze({\n        acceptedWaitCount: snapshot.acceptedWaitCount,\n        admittedCount: this.#admittedTaskIds.size,\n        maxRunning: snapshot.maxRunning\n      }),\n      peaks: snapshot.peaks\n    });\n    if (snapshot.timing.availability === \"unavailable\") {\n      return Object.freeze({ ...facts, timing: snapshot.timing });\n    }\n    return Object.freeze({\n      ...facts,\n      timing: snapshot.timing,\n      timingFacts: Object.freeze({\n        acceptedWaitMs: snapshot.acceptedWaitMs,\n        effectiveCapacitySlotMs: snapshot.totals.effectiveCapacitySlotMs,\n        rootCapacitySlotMs: snapshot.totals.rootCapacitySlotMs,\n        taskSlotMs: snapshot.totals.taskSlotMs\n      })\n    });\n  }\n\n  #measurement(terminal: boolean): SchedulerRawMeasurement {\n    const endedAt = this.#timing.boundary();\n    if (terminal && endedAt !== undefined) this.#timing.closeAcceptedWait(endedAt);\n    const snapshot = this.#timing.snapshot();\n    const facts = Object.freeze({\n      declarativeFingerprint: this.#declarativeFingerprint,\n      discrete: Object.freeze({\n        acceptedWaitCount: snapshot.acceptedWaitCount,\n        admittedCount: this.#admittedTaskIds.size,\n        completionTailActiveTaskIds: Object.freeze([...this.#completionTailActiveTaskIds]),\n        lastSettledTaskId: this.#lastSettledTaskId ?? null,\n        maxRunning: snapshot.maxRunning\n      }),\n      peaks: snapshot.peaks\n    });\n    if (snapshot.timing.availability === \"unavailable\") {\n      return Object.freeze({ ...facts, timing: snapshot.timing });\n    }\n    if (endedAt === undefined)\n      throw new Error(\"available Scheduler timing has no terminal boundary\");\n    return Object.freeze({\n      ...facts,\n      timing: snapshot.timing,\n      timingFacts: Object.freeze({\n        acceptedWaitMs: snapshot.acceptedWaitMs,\n        admissions: Object.freeze(this.#admissionMeasurements()),\n        effectiveCapacitySlotMs: snapshot.totals.effectiveCapacitySlotMs,\n        endedAtMonotonicMs: endedAt,\n        rootCapacitySlotMs: snapshot.totals.rootCapacitySlotMs,\n        schedulerControlPathMs: snapshot.schedulerControlPathMs,\n        schedulerDecisionObservationMs: snapshot.decisionObservationMs,\n        startedAtMonotonicMs: snapshot.startedAtMonotonicMs ?? endedAt,\n        taskSlotMs: snapshot.totals.taskSlotMs\n      })\n    });\n  }\n\n  #admissionMeasurements(): SchedulerMeasurementAdmission[] {\n    const pendingByTaskId = new Map(\n      this.#timing\n        .pendingAdmissionDelays()\n        .map(({ admissionDelay, taskId }) => [taskId, admissionDelay])\n    );\n    const taskIds = new Set([...pendingByTaskId.keys(), ...this.#chronologyByTaskId.keys()]);\n    return [...taskIds]\n      .map((taskId) => this.#admissionMeasurement(taskId, pendingByTaskId))\n      .sort((left, right) => compareText(left.taskId, right.taskId));\n  }\n\n  #admissionMeasurement(\n    taskId: string,\n    pendingByTaskId: ReadonlyMap<string, AdmissionDelayBreakdown>\n  ): SchedulerMeasurementAdmission {\n    const chronology = this.#chronologyByTaskId.get(taskId);\n    const admissionDelay = chronology?.admissionDelay ?? pendingByTaskId.get(taskId);\n    if (admissionDelay === undefined)\n      throw new Error(`missing admission measurement for ${taskId}`);\n    return Object.freeze({\n      admissionDelay,\n      admittedAtMonotonicMs: chronology?.admittedAt ?? null,\n      settledAtMonotonicMs: chronology?.settledAt ?? null,\n      taskId\n    });\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"]}

package/dist/esm/project-run/task-scheduler/measurement/integrals.mjs

@@ -0,0 +1,116 @@
+/** Accumulates interval-weighted capacity and admission-delay measurements. */
+export class SchedulerPerformanceIntegrals {
+    #taskSlotMs = 0;
+    #rootCapacitySlotMs = 0;
+    #effectiveCapacitySlotMs = 0;
+    #mutexBlockedTaskMs = 0;
+    #capacityBlockedTaskMs = 0;
+    #admissiblePendingTaskMs = 0;
+    #peakAdmissionViablePendingTaskCount = 0;
+    #peakMutexBlockedTaskCount = 0;
+    #peakCapacityBlockedTaskCount = 0;
+    #peakAdmissiblePendingTaskCount = 0;
+    #admissionDelayByTaskId = new Map();
+    installPendingProjection(pendingTasks, timingAvailable) {
+        this.#peakAdmissionViablePendingTaskCount = Math.max(this.#peakAdmissionViablePendingTaskCount, pendingTasks.length);
+        this.#peakMutexBlockedTaskCount = Math.max(this.#peakMutexBlockedTaskCount, pendingCount(pendingTasks, "mutex-blocked"));
+        this.#peakCapacityBlockedTaskCount = Math.max(this.#peakCapacityBlockedTaskCount, pendingCount(pendingTasks, "capacity-blocked"));
+        this.#peakAdmissiblePendingTaskCount = Math.max(this.#peakAdmissiblePendingTaskCount, pendingCount(pendingTasks, "admissible-pending"));
+        if (!timingAvailable)
+            return;
+        for (const pendingTask of pendingTasks) {
+            if (this.#admissionDelayByTaskId.has(pendingTask.taskId))
+                continue;
+            this.#admissionDelayByTaskId.set(pendingTask.taskId, {
+                admissiblePendingMs: 0,
+                capacityBlockedMs: 0,
+                mutexBlockedMs: 0
+            });
+        }
+    }
+    /** Returns false when an interval cannot be represented as finite non-negative totals. */
+    addInterval(elapsedMs, state) {
+        const contribution = intervalContribution(elapsedMs, state);
+        if (contribution === undefined)
+            return false;
+        this.#taskSlotMs += contribution.taskSlotMs;
+        this.#rootCapacitySlotMs += contribution.rootCapacitySlotMs;
+        this.#effectiveCapacitySlotMs += contribution.effectiveCapacitySlotMs;
+        this.#mutexBlockedTaskMs += contribution.mutexBlockedTaskMs;
+        this.#capacityBlockedTaskMs += contribution.capacityBlockedTaskMs;
+        this.#admissiblePendingTaskMs += contribution.admissiblePendingTaskMs;
+        if (!finiteContribution(this.totals()))
+            return false;
+        return this.#addAdmissionDelay(elapsedMs, state.admissionViablePendingTasks);
+    }
+    takeAdmissionDelay(taskId) {
+        const delay = this.#admissionDelayByTaskId.get(taskId);
+        if (delay === undefined)
+            return undefined;
+        this.#admissionDelayByTaskId.delete(taskId);
+        return Object.freeze({ ...delay });
+    }
+    pendingAdmissionDelays() {
+        return Object.freeze([...this.#admissionDelayByTaskId].map(([taskId, admissionDelay]) => Object.freeze({ admissionDelay: Object.freeze({ ...admissionDelay }), taskId })));
+    }
+    peaks() {
+        return Object.freeze({
+            admissionViablePendingTaskCount: this.#peakAdmissionViablePendingTaskCount,
+            admissiblePendingTaskCount: this.#peakAdmissiblePendingTaskCount,
+            capacityBlockedTaskCount: this.#peakCapacityBlockedTaskCount,
+            mutexBlockedTaskCount: this.#peakMutexBlockedTaskCount
+        });
+    }
+    totals() {
+        return Object.freeze({
+            admissiblePendingTaskMs: this.#admissiblePendingTaskMs,
+            acceptedWaitMs: 0,
+            capacityBlockedTaskMs: this.#capacityBlockedTaskMs,
+            effectiveCapacitySlotMs: this.#effectiveCapacitySlotMs,
+            mutexBlockedTaskMs: this.#mutexBlockedTaskMs,
+            rootCapacitySlotMs: this.#rootCapacitySlotMs,
+            taskSlotMs: this.#taskSlotMs
+        });
+    }
+    #addAdmissionDelay(elapsedMs, pendingTasks) {
+        for (const pendingTask of pendingTasks) {
+            const delay = this.#admissionDelayByTaskId.get(pendingTask.taskId);
+            if (delay === undefined)
+                continue;
+            addDelay(delay, pendingTask.kind, elapsedMs);
+            if (!finiteAdmissionDelay(delay))
+                return false;
+        }
+        return true;
+    }
+}
+function intervalContribution(elapsedMs, state) {
+    const contribution = Object.freeze({
+        admissiblePendingTaskMs: elapsedMs * pendingCount(state.admissionViablePendingTasks, "admissible-pending"),
+        acceptedWaitMs: 0,
+        capacityBlockedTaskMs: elapsedMs * pendingCount(state.admissionViablePendingTasks, "capacity-blocked"),
+        effectiveCapacitySlotMs: elapsedMs * state.effectiveMaxParallel,
+        mutexBlockedTaskMs: elapsedMs * pendingCount(state.admissionViablePendingTasks, "mutex-blocked"),
+        rootCapacitySlotMs: elapsedMs * state.rootMaxParallel,
+        taskSlotMs: elapsedMs * state.running
+    });
+    return finiteContribution(contribution) ? contribution : undefined;
+}
+function finiteContribution(contribution) {
+    return Object.values(contribution).every((value) => Number.isFinite(value) && value >= 0);
+}
+function addDelay(delay, kind, elapsedMs) {
+    if (kind === "mutex-blocked")
+        delay.mutexBlockedMs += elapsedMs;
+    if (kind === "capacity-blocked")
+        delay.capacityBlockedMs += elapsedMs;
+    if (kind === "admissible-pending")
+        delay.admissiblePendingMs += elapsedMs;
+}
+function finiteAdmissionDelay(delay) {
+    return Object.values(delay).every((value) => Number.isFinite(value) && value >= 0);
+}
+function pendingCount(pendingTasks, kind) {
+    return pendingTasks.filter((task) => task.kind === kind).length;
+}
+//# sourceMappingURL=integrals.mjs.map

package/dist/esm/project-run/task-scheduler/measurement/integrals.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrals.mjs","sourceRoot":"","sources":["../../../../../src/project-run/task-scheduler/measurement/integrals.ts"],"names":[],"mappings":"AAsBA,+EAA+E;AAC/E,MAAM,OAAO,6BAA6B;IACxC,WAAW,GAAG,CAAC,CAAC;IAChB,mBAAmB,GAAG,CAAC,CAAC;IACxB,wBAAwB,GAAG,CAAC,CAAC;IAC7B,mBAAmB,GAAG,CAAC,CAAC;IACxB,sBAAsB,GAAG,CAAC,CAAC;IAC3B,wBAAwB,GAAG,CAAC,CAAC;IAC7B,oCAAoC,GAAG,CAAC,CAAC;IACzC,0BAA0B,GAAG,CAAC,CAAC;IAC/B,6BAA6B,GAAG,CAAC,CAAC;IAClC,+BAA+B,GAAG,CAAC,CAAC;IAC3B,uBAAuB,GAAG,IAAI,GAAG,EAA0C,CAAC;IAE9E,wBAAwB,CAC7B,YAAmD,EACnD,eAAwB;QAExB,IAAI,CAAC,oCAAoC,GAAG,IAAI,CAAC,GAAG,CAClD,IAAI,CAAC,oCAAoC,EACzC,YAAY,CAAC,MAAM,CACpB,CAAC;QACF,IAAI,CAAC,0BAA0B,GAAG,IAAI,CAAC,GAAG,CACxC,IAAI,CAAC,0BAA0B,EAC/B,YAAY,CAAC,YAAY,EAAE,eAAe,CAAC,CAC5C,CAAC;QACF,IAAI,CAAC,6BAA6B,GAAG,IAAI,CAAC,GAAG,CAC3C,IAAI,CAAC,6BAA6B,EAClC,YAAY,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAC/C,CAAC;QACF,IAAI,CAAC,+BAA+B,GAAG,IAAI,CAAC,GAAG,CAC7C,IAAI,CAAC,+BAA+B,EACpC,YAAY,CAAC,YAAY,EAAE,oBAAoB,CAAC,CACjD,CAAC;QACF,IAAI,CAAC,eAAe;YAAE,OAAO;QAC7B,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC;gBAAE,SAAS;YACnE,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE;gBACnD,mBAAmB,EAAE,CAAC;gBACtB,iBAAiB,EAAE,CAAC;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,0FAA0F;IACnF,WAAW,CAAC,SAAiB,EAAE,KAAgC;QACpE,MAAM,YAAY,GAAG,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,YAAY,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC7C,IAAI,CAAC,WAAW,IAAI,YAAY,CAAC,UAAU,CAAC;QAC5C,IAAI,CAAC,mBAAmB,IAAI,YAAY,CAAC,kBAAkB,CAAC;QAC5D,IAAI,CAAC,wBAAwB,IAAI,YAAY,CAAC,uBAAuB,CAAC;QACtE,IAAI,CAAC,mBAAmB,IAAI,YAAY,CAAC,kBAAkB,CAAC;QAC5D,IAAI,CAAC,sBAAsB,IAAI,YAAY,CAAC,qBAAqB,CAAC;QAClE,IAAI,CAAC,wBAAwB,IAAI,YAAY,CAAC,uBAAuB,CAAC;QACtE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QACrD,OAAO,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC/E,CAAC;IAEM,kBAAkB,CAAC,MAAc;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC;IAEM,sBAAsB;QAI3B,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CACjE,MAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,cAAc,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAChF,CACF,CAAC;IACJ,CAAC;IAEM,KAAK;QACV,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,+BAA+B,EAAE,IAAI,CAAC,oCAAoC;YAC1E,0BAA0B,EAAE,IAAI,CAAC,+BAA+B;YAChE,wBAAwB,EAAE,IAAI,CAAC,6BAA6B;YAC5D,qBAAqB,EAAE,IAAI,CAAC,0BAA0B;SACvD,CAAC,CAAC;IACL,CAAC;IAEM,MAAM;QACX,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,uBAAuB,EAAE,IAAI,CAAC,wBAAwB;YACtD,cAAc,EAAE,CAAC;YACjB,qBAAqB,EAAE,IAAI,CAAC,sBAAsB;YAClD,uBAAuB,EAAE,IAAI,CAAC,wBAAwB;YACtD,kBAAkB,EAAE,IAAI,CAAC,mBAAmB;YAC5C,kBAAkB,EAAE,IAAI,CAAC,mBAAmB;YAC5C,UAAU,EAAE,IAAI,CAAC,WAAW;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,kBAAkB,CAChB,SAAiB,EACjB,YAAmD;QAEnD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACnE,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;QACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,SAAS,oBAAoB,CAC3B,SAAiB,EACjB,KAAgC;IAEhC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;QACjC,uBAAuB,EACrB,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,2BAA2B,EAAE,oBAAoB,CAAC;QACnF,cAAc,EAAE,CAAC;QACjB,qBAAqB,EACnB,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,2BAA2B,EAAE,kBAAkB,CAAC;QACjF,uBAAuB,EAAE,SAAS,GAAG,KAAK,CAAC,oBAAoB;QAC/D,kBAAkB,EAChB,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,2BAA2B,EAAE,eAAe,CAAC;QAC9E,kBAAkB,EAAE,SAAS,GAAG,KAAK,CAAC,eAAe;QACrD,UAAU,EAAE,SAAS,GAAG,KAAK,CAAC,OAAO;KACtC,CAAC,CAAC;IACH,OAAO,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC;AAED,SAAS,kBAAkB,CAAC,YAAsD;IAChF,OAAO,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,QAAQ,CACf,KAAqC,EACrC,IAAwC,EACxC,SAAiB;IAEjB,IAAI,IAAI,KAAK,eAAe;QAAE,KAAK,CAAC,cAAc,IAAI,SAAS,CAAC;IAChE,IAAI,IAAI,KAAK,kBAAkB;QAAE,KAAK,CAAC,iBAAiB,IAAI,SAAS,CAAC;IACtE,IAAI,IAAI,KAAK,oBAAoB;QAAE,KAAK,CAAC,mBAAmB,IAAI,SAAS,CAAC;AAC5E,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAqC;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,YAAY,CACnB,YAAmD,EACnD,IAAwC;IAExC,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;AAClE,CAAC","sourcesContent":["import type { SchedulerMeasurementIntervalContribution } from \"../../../project-definition/project-definition.ts\";\nimport type { AdmissionViablePendingTask, SchedulerPerformanceState } from \"./diagnostics.ts\";\n\nexport type AdmissionDelayBreakdown = Readonly<{\n  readonly admissiblePendingMs: number;\n  readonly capacityBlockedMs: number;\n  readonly mutexBlockedMs: number;\n}>;\n\ntype MutableAdmissionDelayBreakdown = {\n  admissiblePendingMs: number;\n  capacityBlockedMs: number;\n  mutexBlockedMs: number;\n};\n\nexport type SchedulerPerformancePeaks = Readonly<{\n  readonly admissionViablePendingTaskCount: number;\n  readonly admissiblePendingTaskCount: number;\n  readonly capacityBlockedTaskCount: number;\n  readonly mutexBlockedTaskCount: number;\n}>;\n\n/** Accumulates interval-weighted capacity and admission-delay measurements. */\nexport class SchedulerPerformanceIntegrals {\n  #taskSlotMs = 0;\n  #rootCapacitySlotMs = 0;\n  #effectiveCapacitySlotMs = 0;\n  #mutexBlockedTaskMs = 0;\n  #capacityBlockedTaskMs = 0;\n  #admissiblePendingTaskMs = 0;\n  #peakAdmissionViablePendingTaskCount = 0;\n  #peakMutexBlockedTaskCount = 0;\n  #peakCapacityBlockedTaskCount = 0;\n  #peakAdmissiblePendingTaskCount = 0;\n  readonly #admissionDelayByTaskId = new Map<string, MutableAdmissionDelayBreakdown>();\n\n  public installPendingProjection(\n    pendingTasks: readonly AdmissionViablePendingTask[],\n    timingAvailable: boolean\n  ): void {\n    this.#peakAdmissionViablePendingTaskCount = Math.max(\n      this.#peakAdmissionViablePendingTaskCount,\n      pendingTasks.length\n    );\n    this.#peakMutexBlockedTaskCount = Math.max(\n      this.#peakMutexBlockedTaskCount,\n      pendingCount(pendingTasks, \"mutex-blocked\")\n    );\n    this.#peakCapacityBlockedTaskCount = Math.max(\n      this.#peakCapacityBlockedTaskCount,\n      pendingCount(pendingTasks, \"capacity-blocked\")\n    );\n    this.#peakAdmissiblePendingTaskCount = Math.max(\n      this.#peakAdmissiblePendingTaskCount,\n      pendingCount(pendingTasks, \"admissible-pending\")\n    );\n    if (!timingAvailable) return;\n    for (const pendingTask of pendingTasks) {\n      if (this.#admissionDelayByTaskId.has(pendingTask.taskId)) continue;\n      this.#admissionDelayByTaskId.set(pendingTask.taskId, {\n        admissiblePendingMs: 0,\n        capacityBlockedMs: 0,\n        mutexBlockedMs: 0\n      });\n    }\n  }\n\n  /** Returns false when an interval cannot be represented as finite non-negative totals. */\n  public addInterval(elapsedMs: number, state: SchedulerPerformanceState): boolean {\n    const contribution = intervalContribution(elapsedMs, state);\n    if (contribution === undefined) return false;\n    this.#taskSlotMs += contribution.taskSlotMs;\n    this.#rootCapacitySlotMs += contribution.rootCapacitySlotMs;\n    this.#effectiveCapacitySlotMs += contribution.effectiveCapacitySlotMs;\n    this.#mutexBlockedTaskMs += contribution.mutexBlockedTaskMs;\n    this.#capacityBlockedTaskMs += contribution.capacityBlockedTaskMs;\n    this.#admissiblePendingTaskMs += contribution.admissiblePendingTaskMs;\n    if (!finiteContribution(this.totals())) return false;\n    return this.#addAdmissionDelay(elapsedMs, state.admissionViablePendingTasks);\n  }\n\n  public takeAdmissionDelay(taskId: string): AdmissionDelayBreakdown | undefined {\n    const delay = this.#admissionDelayByTaskId.get(taskId);\n    if (delay === undefined) return undefined;\n    this.#admissionDelayByTaskId.delete(taskId);\n    return Object.freeze({ ...delay });\n  }\n\n  public pendingAdmissionDelays(): readonly Readonly<{\n    readonly admissionDelay: AdmissionDelayBreakdown;\n    readonly taskId: string;\n  }>[] {\n    return Object.freeze(\n      [...this.#admissionDelayByTaskId].map(([taskId, admissionDelay]) =>\n        Object.freeze({ admissionDelay: Object.freeze({ ...admissionDelay }), taskId })\n      )\n    );\n  }\n\n  public peaks(): SchedulerPerformancePeaks {\n    return Object.freeze({\n      admissionViablePendingTaskCount: this.#peakAdmissionViablePendingTaskCount,\n      admissiblePendingTaskCount: this.#peakAdmissiblePendingTaskCount,\n      capacityBlockedTaskCount: this.#peakCapacityBlockedTaskCount,\n      mutexBlockedTaskCount: this.#peakMutexBlockedTaskCount\n    });\n  }\n\n  public totals(): SchedulerMeasurementIntervalContribution {\n    return Object.freeze({\n      admissiblePendingTaskMs: this.#admissiblePendingTaskMs,\n      acceptedWaitMs: 0,\n      capacityBlockedTaskMs: this.#capacityBlockedTaskMs,\n      effectiveCapacitySlotMs: this.#effectiveCapacitySlotMs,\n      mutexBlockedTaskMs: this.#mutexBlockedTaskMs,\n      rootCapacitySlotMs: this.#rootCapacitySlotMs,\n      taskSlotMs: this.#taskSlotMs\n    });\n  }\n\n  #addAdmissionDelay(\n    elapsedMs: number,\n    pendingTasks: readonly AdmissionViablePendingTask[]\n  ): boolean {\n    for (const pendingTask of pendingTasks) {\n      const delay = this.#admissionDelayByTaskId.get(pendingTask.taskId);\n      if (delay === undefined) continue;\n      addDelay(delay, pendingTask.kind, elapsedMs);\n      if (!finiteAdmissionDelay(delay)) return false;\n    }\n    return true;\n  }\n}\n\nfunction intervalContribution(\n  elapsedMs: number,\n  state: SchedulerPerformanceState\n): SchedulerMeasurementIntervalContribution | undefined {\n  const contribution = Object.freeze({\n    admissiblePendingTaskMs:\n      elapsedMs * pendingCount(state.admissionViablePendingTasks, \"admissible-pending\"),\n    acceptedWaitMs: 0,\n    capacityBlockedTaskMs:\n      elapsedMs * pendingCount(state.admissionViablePendingTasks, \"capacity-blocked\"),\n    effectiveCapacitySlotMs: elapsedMs * state.effectiveMaxParallel,\n    mutexBlockedTaskMs:\n      elapsedMs * pendingCount(state.admissionViablePendingTasks, \"mutex-blocked\"),\n    rootCapacitySlotMs: elapsedMs * state.rootMaxParallel,\n    taskSlotMs: elapsedMs * state.running\n  });\n  return finiteContribution(contribution) ? contribution : undefined;\n}\n\nfunction finiteContribution(contribution: SchedulerMeasurementIntervalContribution): boolean {\n  return Object.values(contribution).every((value) => Number.isFinite(value) && value >= 0);\n}\n\nfunction addDelay(\n  delay: MutableAdmissionDelayBreakdown,\n  kind: AdmissionViablePendingTask[\"kind\"],\n  elapsedMs: number\n): void {\n  if (kind === \"mutex-blocked\") delay.mutexBlockedMs += elapsedMs;\n  if (kind === \"capacity-blocked\") delay.capacityBlockedMs += elapsedMs;\n  if (kind === \"admissible-pending\") delay.admissiblePendingMs += elapsedMs;\n}\n\nfunction finiteAdmissionDelay(delay: MutableAdmissionDelayBreakdown): boolean {\n  return Object.values(delay).every((value) => Number.isFinite(value) && value >= 0);\n}\n\nfunction pendingCount(\n  pendingTasks: readonly AdmissionViablePendingTask[],\n  kind: AdmissionViablePendingTask[\"kind\"]\n): number {\n  return pendingTasks.filter((task) => task.kind === kind).length;\n}\n"]}

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

@@ -0,0 +1,67 @@
+/** Owns the immutable prefix of observations formed after accepted custom-policy actions. */
+export class SchedulerPolicyMeasurement {
+    #pendingAction;
+    #actionSequence = 0;
+    #actionObservations = [];
+    beginSelected(taskId, baseline) {
+        this.#begin(Object.freeze({ kind: "select", taskId }), baseline);
+    }
+    beginWait(baseline) {
+        this.#begin(Object.freeze({ kind: "wait", taskId: null }), baseline);
+    }
+    recordEffect(effect) {
+        this.#pendingAction?.effects.push(Object.freeze({ ...effect }));
+    }
+    complete(totals, timing) {
+        const action = this.#pendingAction;
+        if (action === undefined)
+            return;
+        this.#pendingAction = undefined;
+        const interval = timing.availability === "available"
+            ? Object.freeze({
+                availability: "available",
+                contribution: subtractIntervalContribution(totals, action.baseline)
+            })
+            : Object.freeze({ availability: "unavailable", reason: timing.reason });
+        this.#actionObservations.push(completedObservation(action, interval));
+    }
+    snapshot(cumulative) {
+        const endCount = this.#actionObservations.length;
+        const measurementAt = Object.freeze((index) => this.#measurementAt(index, endCount));
+        return Object.freeze({ cumulative, measurementAt, measurementCount: endCount });
+    }
+    #begin(action, baseline) {
+        if (this.#pendingAction !== undefined) {
+            throw new Error("previous policy action was not observed before the next action");
+        }
+        const sequence = ++this.#actionSequence;
+        this.#pendingAction = Object.assign({ baseline, effects: [], sequence }, action);
+    }
+    #measurementAt(index, endCount) {
+        if (!Number.isSafeInteger(index) || index < 0 || index >= endCount)
+            return undefined;
+        return this.#actionObservations[index];
+    }
+}
+function completedObservation(action, interval) {
+    const facts = {
+        effects: Object.freeze([...action.effects]),
+        interval,
+        sequence: action.sequence
+    };
+    return action.kind === "select"
+        ? Object.freeze({ ...facts, kind: "select", taskId: action.taskId })
+        : Object.freeze({ ...facts, kind: "wait", taskId: null });
+}
+function subtractIntervalContribution(current, prior) {
+    return Object.freeze({
+        admissiblePendingTaskMs: current.admissiblePendingTaskMs - prior.admissiblePendingTaskMs,
+        acceptedWaitMs: current.acceptedWaitMs - prior.acceptedWaitMs,
+        capacityBlockedTaskMs: current.capacityBlockedTaskMs - prior.capacityBlockedTaskMs,
+        effectiveCapacitySlotMs: current.effectiveCapacitySlotMs - prior.effectiveCapacitySlotMs,
+        mutexBlockedTaskMs: current.mutexBlockedTaskMs - prior.mutexBlockedTaskMs,
+        rootCapacitySlotMs: current.rootCapacitySlotMs - prior.rootCapacitySlotMs,
+        taskSlotMs: current.taskSlotMs - prior.taskSlotMs
+    });
+}
+//# sourceMappingURL=policy.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"policy.mjs","sourceRoot":"","sources":["../../../../../src/project-run/task-scheduler/measurement/policy.ts"],"names":[],"mappings":"AAmBA,6FAA6F;AAC7F,MAAM,OAAO,0BAA0B;IACrC,cAAc,CAAkC;IAChD,eAAe,GAAG,CAAC,CAAC;IACX,mBAAmB,GAA4C,EAAE,CAAC;IAEpE,aAAa,CAAC,MAAc,EAAE,QAAkD;QACrF,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAEM,SAAS,CAAC,QAAkD;QACjE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACvE,CAAC;IAEM,YAAY,CAAC,MAAkC;QACpD,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IAEM,QAAQ,CACb,MAAgD,EAChD,MAAkC;QAElC,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;QAChC,MAAM,QAAQ,GACZ,MAAM,CAAC,YAAY,KAAK,WAAW;YACjC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACZ,YAAY,EAAE,WAAoB;gBAClC,YAAY,EAAE,4BAA4B,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC;aACpE,CAAC;YACJ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,aAAsB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,CAAC;IAEM,QAAQ,CAAC,UAAkD;QAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC;QACjD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,CAAC,MAA4B,EAAE,QAAkD;QACrF,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,CAAC;QACD,MAAM,QAAQ,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC;QACxC,IAAI,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,CAAC,CAAC;IACnF,CAAC;IAED,cAAc,CACZ,KAAa,EACb,QAAgB;QAEhB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,QAAQ;YAAE,OAAO,SAAS,CAAC;QACrF,OAAO,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;CACF;AAED,SAAS,oBAAoB,CAC3B,MAA2B,EAC3B,QAA2D;IAE3D,MAAM,KAAK,GAAG;QACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3C,QAAQ;QACR,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC7B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;QACpE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,4BAA4B,CACnC,OAAiD,EACjD,KAA+C;IAE/C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,uBAAuB,EAAE,OAAO,CAAC,uBAAuB,GAAG,KAAK,CAAC,uBAAuB;QACxF,cAAc,EAAE,OAAO,CAAC,cAAc,GAAG,KAAK,CAAC,cAAc;QAC7D,qBAAqB,EAAE,OAAO,CAAC,qBAAqB,GAAG,KAAK,CAAC,qBAAqB;QAClF,uBAAuB,EAAE,OAAO,CAAC,uBAAuB,GAAG,KAAK,CAAC,uBAAuB;QACxF,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,GAAG,KAAK,CAAC,kBAAkB;QACzE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,GAAG,KAAK,CAAC,kBAAkB;QACzE,UAAU,EAAE,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU;KAClD,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  AdmissionPolicyMeasurement,\n  SchedulerDecisionMeasurementCumulative,\n  SchedulerMeasurementActionObservation,\n  SchedulerMeasurementEffect,\n  SchedulerMeasurementIntervalContribution,\n  SchedulerMeasurementTiming\n} from \"../../../project-definition/project-definition.ts\";\n\ntype AcceptedPolicyAction =\n  | Readonly<{ readonly kind: \"select\"; readonly taskId: string }>\n  | Readonly<{ readonly kind: \"wait\"; readonly taskId: null }>;\n\ntype PendingPolicyAction = AcceptedPolicyAction & {\n  readonly baseline: SchedulerMeasurementIntervalContribution;\n  readonly effects: SchedulerMeasurementEffect[];\n  readonly sequence: number;\n};\n\n/** Owns the immutable prefix of observations formed after accepted custom-policy actions. */\nexport class SchedulerPolicyMeasurement {\n  #pendingAction: PendingPolicyAction | undefined;\n  #actionSequence = 0;\n  readonly #actionObservations: SchedulerMeasurementActionObservation[] = [];\n\n  public beginSelected(taskId: string, baseline: SchedulerMeasurementIntervalContribution): void {\n    this.#begin(Object.freeze({ kind: \"select\", taskId }), baseline);\n  }\n\n  public beginWait(baseline: SchedulerMeasurementIntervalContribution): void {\n    this.#begin(Object.freeze({ kind: \"wait\", taskId: null }), baseline);\n  }\n\n  public recordEffect(effect: SchedulerMeasurementEffect): void {\n    this.#pendingAction?.effects.push(Object.freeze({ ...effect }));\n  }\n\n  public complete(\n    totals: SchedulerMeasurementIntervalContribution,\n    timing: SchedulerMeasurementTiming\n  ): void {\n    const action = this.#pendingAction;\n    if (action === undefined) return;\n    this.#pendingAction = undefined;\n    const interval =\n      timing.availability === \"available\"\n        ? Object.freeze({\n            availability: \"available\" as const,\n            contribution: subtractIntervalContribution(totals, action.baseline)\n          })\n        : Object.freeze({ availability: \"unavailable\" as const, reason: timing.reason });\n    this.#actionObservations.push(completedObservation(action, interval));\n  }\n\n  public snapshot(cumulative: SchedulerDecisionMeasurementCumulative): AdmissionPolicyMeasurement {\n    const endCount = this.#actionObservations.length;\n    const measurementAt = Object.freeze((index: number) => this.#measurementAt(index, endCount));\n    return Object.freeze({ cumulative, measurementAt, measurementCount: endCount });\n  }\n\n  #begin(action: AcceptedPolicyAction, baseline: SchedulerMeasurementIntervalContribution): void {\n    if (this.#pendingAction !== undefined) {\n      throw new Error(\"previous policy action was not observed before the next action\");\n    }\n    const sequence = ++this.#actionSequence;\n    this.#pendingAction = Object.assign({ baseline, effects: [], sequence }, action);\n  }\n\n  #measurementAt(\n    index: number,\n    endCount: number\n  ): SchedulerMeasurementActionObservation | undefined {\n    if (!Number.isSafeInteger(index) || index < 0 || index >= endCount) return undefined;\n    return this.#actionObservations[index];\n  }\n}\n\nfunction completedObservation(\n  action: PendingPolicyAction,\n  interval: SchedulerMeasurementActionObservation[\"interval\"]\n): SchedulerMeasurementActionObservation {\n  const facts = {\n    effects: Object.freeze([...action.effects]),\n    interval,\n    sequence: action.sequence\n  };\n  return action.kind === \"select\"\n    ? Object.freeze({ ...facts, kind: \"select\", taskId: action.taskId })\n    : Object.freeze({ ...facts, kind: \"wait\", taskId: null });\n}\n\nfunction subtractIntervalContribution(\n  current: SchedulerMeasurementIntervalContribution,\n  prior: SchedulerMeasurementIntervalContribution\n): SchedulerMeasurementIntervalContribution {\n  return Object.freeze({\n    admissiblePendingTaskMs: current.admissiblePendingTaskMs - prior.admissiblePendingTaskMs,\n    acceptedWaitMs: current.acceptedWaitMs - prior.acceptedWaitMs,\n    capacityBlockedTaskMs: current.capacityBlockedTaskMs - prior.capacityBlockedTaskMs,\n    effectiveCapacitySlotMs: current.effectiveCapacitySlotMs - prior.effectiveCapacitySlotMs,\n    mutexBlockedTaskMs: current.mutexBlockedTaskMs - prior.mutexBlockedTaskMs,\n    rootCapacitySlotMs: current.rootCapacitySlotMs - prior.rootCapacitySlotMs,\n    taskSlotMs: current.taskSlotMs - prior.taskSlotMs\n  });\n}\n"]}