@zxyycom/vibe-check 0.0.1 → 0.0.3

package/dist/esm/project-run/result.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"result.mjs","sourceRoot":"","sources":["../../../src/project-run/result.ts"],"names":[],"mappings":"AA2FA,MAAM,UAAU,aAAa,CAC3B,sBAA8B,EAC9B,kBAAgD,EAChD,OAA0B,EAC1B,MAA+B,EAC/B,KAAqB;IAErB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,QAAQ;QACd,sBAAsB;QACtB,kBAAkB;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,OAAO;QACP,GAAG,KAAK;KACT,CAAC,CAAC;AACL,CAAC;AACD,SAAS,oBAAoB,CAC3B,MAA+B;IAE/B,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,OAAO,4BAA4B,CAAC;QACtC,KAAK,mBAAmB;YACtB,OAAO,2BAA2B,CAAC;QACrC,KAAK,mBAAmB;YACtB,OAAO,2BAA2B,CAAC;IACvC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,QAAqB;IAC/C,OAAO,QAAQ,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,QAAQ,CACtB,sBAA8B,EAC9B,kBAAgD,EAChD,OAA0B,EAC1B,IAA0D;IAE1D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,UAAU;QAChB,sBAAsB;QACtB,kBAAkB;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;QACnC,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AACD,MAAM,UAAU,wBAAwB,CACtC,sBAA8B,EAC9B,kBAAgD,EAChD,OAA0B,EAC1B,KAA8B;IAK9B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,sBAAsB;QACtB,kBAAkB;QAClB,OAAO;QACP,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AACD,MAAM,UAAU,qBAAqB,CACnC,KAOE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;QACpD,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,WAAW;QAClB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  DefinitionWarning,\n  ProjectDefinitionDiagnostic\n} from \"../project-definition/project-definition.ts\";\nimport type { RunControlDiagnostic } from \"./controls/validation-result.ts\";\nimport type { CheckAggregate, RunControls } from \"./controls/contract.ts\";\nimport type { CheckMessageLevel } from \"../check/check.ts\";\nimport type { CoreSnapshot } from \"../check-settlement/facts.ts\";\nimport type { RunOutputStatuses } from \"./output-status.ts\";\nexport type RunDiagnostic = Readonly<{\n  readonly code: \"task-graph-invalid\" | \"task-engine-failed\" | \"publication-model-failed\";\n}>;\nexport type CheckDuration = Readonly<{\n  readonly checkId: string;\n  readonly durationMs: number | null;\n}>;\nexport interface CheckRunMessage {\n  readonly checkId: string;\n  readonly level: CheckMessageLevel;\n  readonly code: string;\n  readonly message: string;\n}\nexport interface RunResultFacts {\n  readonly aggregate: CheckAggregate | null;\n  readonly checkDurations: readonly CheckDuration[];\n  readonly checkMessages: readonly CheckRunMessage[];\n  readonly snapshot: CoreSnapshot;\n}\n/** 一次 Project Run 的可判别结果；output failure 保留已结算 facts。 */\nexport type RunResult = Readonly<\n  | {\n      readonly kind: \"configuration\";\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly diagnostic: ProjectDefinitionDiagnostic | RunControlDiagnostic;\n    }\n  | {\n      readonly kind: \"planning\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly diagnostic: RunDiagnostic;\n      readonly outputs: RunOutputStatuses;\n    }\n  | {\n      readonly kind: \"cancelled\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly outputs: RunOutputStatuses;\n      readonly phase: \"pre-work\" | \"planning\";\n    }\n  | {\n      readonly kind: \"cancelled\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly outputs: RunOutputStatuses;\n      readonly phase: \"execution\";\n      readonly checkDurations: readonly CheckDuration[];\n      readonly checkMessages: readonly CheckRunMessage[];\n      readonly snapshot: CoreSnapshot;\n    }\n  | ({\n      readonly kind: \"completed\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly outputs: RunOutputStatuses;\n    } & RunResultFacts)\n  | {\n      readonly kind: \"execution\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly diagnostic: RunDiagnostic;\n      readonly outputs: RunOutputStatuses;\n    }\n  | ({\n      readonly kind: \"output\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly diagnostic: Readonly<{\n        readonly code:\n          | \"machine-publication-failed\"\n          | \"progress-rendering-failed\"\n          | \"diagnostic-logging-failed\";\n      }>;\n      readonly outputs: RunOutputStatuses;\n    } & RunResultFacts)\n>;\n\n/** Any Run result produced after controls and Definition validation have completed. */\nexport type NonConfigurationRunResult = Exclude<RunResult, { readonly kind: \"configuration\" }>;\n\ntype OutputRunResult = Extract<RunResult, { readonly kind: \"output\" }>;\n\nexport function outputFailure(\n  declarativeFingerprint: string,\n  definitionWarnings: readonly DefinitionWarning[],\n  outputs: RunOutputStatuses,\n  output: keyof RunOutputStatuses,\n  facts: RunResultFacts\n): OutputRunResult {\n  return Object.freeze({\n    kind: \"output\",\n    declarativeFingerprint,\n    definitionWarnings,\n    diagnostic: Object.freeze({ code: outputDiagnosticCode(output) }),\n    outputs,\n    ...facts\n  });\n}\nfunction outputDiagnosticCode(\n  output: keyof RunOutputStatuses\n): Extract<RunResult, { readonly kind: \"output\" }>[\"diagnostic\"][\"code\"] {\n  switch (output) {\n    case \"machinePublication\":\n      return \"machine-publication-failed\";\n    case \"progressRendering\":\n      return \"progress-rendering-failed\";\n    case \"diagnosticLogging\":\n      return \"diagnostic-logging-failed\";\n  }\n}\n\nexport function isCancelled(controls: RunControls): boolean {\n  return controls.signal?.aborted === true;\n}\nexport function planning(\n  declarativeFingerprint: string,\n  definitionWarnings: readonly DefinitionWarning[],\n  outputs: RunOutputStatuses,\n  code: Extract<RunDiagnostic[\"code\"], \"task-graph-invalid\">\n): Extract<NonConfigurationRunResult, { readonly kind: \"planning\" }> {\n  return Object.freeze({\n    kind: \"planning\",\n    declarativeFingerprint,\n    definitionWarnings,\n    diagnostic: Object.freeze({ code }),\n    outputs\n  });\n}\nexport function preExecutionCancellation(\n  declarativeFingerprint: string,\n  definitionWarnings: readonly DefinitionWarning[],\n  outputs: RunOutputStatuses,\n  phase: \"pre-work\" | \"planning\"\n): Extract<\n  NonConfigurationRunResult,\n  { readonly kind: \"cancelled\"; readonly phase: \"pre-work\" | \"planning\" }\n> {\n  return Object.freeze({\n    kind: \"cancelled\",\n    declarativeFingerprint,\n    definitionWarnings,\n    outputs,\n    phase\n  });\n}\nexport function executionCancellation(\n  input: Readonly<{\n    readonly checkDurations: readonly CheckDuration[];\n    readonly checkMessages: readonly CheckRunMessage[];\n    readonly declarativeFingerprint: string;\n    readonly definitionWarnings: readonly DefinitionWarning[];\n    readonly outputs: RunOutputStatuses;\n    readonly snapshot: CoreSnapshot;\n  }>\n): Extract<NonConfigurationRunResult, { readonly kind: \"cancelled\"; readonly phase: \"execution\" }> {\n  return Object.freeze({\n    kind: \"cancelled\",\n    declarativeFingerprint: input.declarativeFingerprint,\n    definitionWarnings: input.definitionWarnings,\n    outputs: input.outputs,\n    phase: \"execution\",\n    checkDurations: input.checkDurations,\n    checkMessages: input.checkMessages,\n    snapshot: input.snapshot\n  });\n}\n"]}
+{"version":3,"file":"result.mjs","sourceRoot":"","sources":["../../../src/project-run/result.ts"],"names":[],"mappings":"AAuIA,MAAM,UAAU,aAAa,CAC3B,sBAA8B,EAC9B,kBAAgD,EAChD,OAA0B,EAC1B,MAA+B,EAC/B,KAAqB;IAErB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,QAAQ;QACd,sBAAsB;QACtB,kBAAkB;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,OAAO;QACP,GAAG,KAAK;KACT,CAAC,CAAC;AACL,CAAC;AACD,SAAS,oBAAoB,CAC3B,MAA+B;IAE/B,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,OAAO,4BAA4B,CAAC;QACtC,KAAK,mBAAmB;YACtB,OAAO,2BAA2B,CAAC;QACrC,KAAK,mBAAmB;YACtB,OAAO,2BAA2B,CAAC;QACrC,KAAK,iBAAiB;YACpB,OAAO,mCAAmC,CAAC;IAC/C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,QAAqB;IAC/C,OAAO,QAAQ,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,QAAQ,CACtB,sBAA8B,EAC9B,kBAAgD,EAChD,OAA0B,EAC1B,IAA0D;IAE1D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,UAAU;QAChB,sBAAsB;QACtB,kBAAkB;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;QACnC,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AACD,MAAM,UAAU,wBAAwB,CACtC,sBAA8B,EAC9B,kBAAgD,EAChD,OAA0B,EAC1B,KAA8B;IAK9B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,sBAAsB;QACtB,kBAAkB;QAClB,OAAO;QACP,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AACD,MAAM,UAAU,qBAAqB,CACnC,KAOE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;QACpD,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,WAAW;QAClB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  DefinitionWarning,\n  ProjectDefinitionDiagnostic\n} from \"../project-definition/project-definition.ts\";\nimport type { RunControlDiagnostic } from \"./controls/validation-result.ts\";\nimport type { CheckAggregate, RunControls } from \"./controls/contract.ts\";\nimport type { CheckMessageLevel } from \"../check/check.ts\";\nimport type { CoreSnapshot } from \"../check-settlement/facts.ts\";\nimport type { RunOutputStatuses } from \"./outputs/status.ts\";\n\n/** Product 不能形成正常 Run 结果时的稳定 invocation diagnostic。 */\nexport type RunDiagnostic = Readonly<{\n  /** 失败的 Run-owned execution 或 planning boundary；它不是任何 Check 的 terminal status。 */\n  readonly code:\n    | \"admission-policy-failed\"\n    | \"admission-strategy-preparation-failed\"\n    | \"task-graph-invalid\"\n    | \"task-engine-failed\"\n    | \"publication-model-failed\";\n}>;\n\n/** 一项 executable Check 的最终 duration readback。 */\nexport type CheckDuration = Readonly<{\n  /** 与 snapshot 中 Check facts 相同的 stable Check identity。 */\n  readonly checkId: string;\n  /** 已测量的 execution duration；未进入 execution 的 Check 为 `null`，不是零时长。 */\n  readonly durationMs: number | null;\n}>;\n\n/** Run 在 Check terminal lifecycle 中接受的人读 message。 */\nexport interface CheckRunMessage {\n  /** 产生 message 的 stable Check identity。 */\n  readonly checkId: string;\n  /** author message 或已捕获 console output 的 presentation severity。 */\n  readonly level: CheckMessageLevel;\n  /** owning Check 或 Product capture 使用的稳定 message code。 */\n  readonly code: string;\n  /** 人读正文；不能代替 snapshot 中的 terminal outcome。 */\n  readonly message: string;\n}\n\n/** 只有已形成 terminal Check facts 的 Run branch 才具备的完整结果 readback。 */\nexport interface RunResultFacts {\n  /** 有完整 terminal Check facts 时，由有效 Check 列表形成的 invocation-level conclusion。 */\n  readonly aggregate: CheckAggregate;\n  /** 按 canonical Check order 的 duration facts；未执行 Check 仍以 `null` 保留。 */\n  readonly checkDurations: readonly CheckDuration[];\n  /** 已接受的 author 与 console-capture messages，不决定 Check outcome。 */\n  readonly checkMessages: readonly CheckRunMessage[];\n  /** 已结算的完整 Check 与 supplemental Record facts。 */\n  readonly snapshot: CoreSnapshot;\n}\n/** 一次 Project Run 的可判别结果；output failure 保留已结算 facts。 */\nexport type RunResult = Readonly<\n  | {\n      /** Definition、RunControls 或 aggregation selection 无效；没有执行任何 Check author callback。 */\n      readonly kind: \"configuration\";\n      /** Definition normalization 时仍可报告、但不单独阻止本 branch 的 warning。 */\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      /** 指向被拒绝 Definition 或 RunControls value 的 closed diagnostic。 */\n      readonly diagnostic: ProjectDefinitionDiagnostic | RunControlDiagnostic;\n    }\n  | {\n      /** 配置有效，但 static Check graph 不能进入 execution planning。 */\n      readonly kind: \"planning\";\n      /** normalized declarative Definition 的 matching signal；不包含 RunControls 或 outcome。 */\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      /** 这次 planning 失败的 Product diagnostic。 */\n      readonly diagnostic: RunDiagnostic;\n      /** 配置有效后各 terminal output participant 的独立状态。 */\n      readonly outputs: RunOutputStatuses;\n    }\n  | {\n      /** invocation 在 Check work 开始前或 planning 中响应 caller cancellation。 */\n      readonly kind: \"cancelled\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly outputs: RunOutputStatuses;\n      /** 取消发生在尚未形成 terminal Check facts 的阶段。 */\n      readonly phase: \"pre-work\" | \"planning\";\n    }\n  | {\n      /** invocation 在至少可能已开始 Check work 的 execution 阶段响应 caller cancellation。 */\n      readonly kind: \"cancelled\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly outputs: RunOutputStatuses;\n      /** 此 branch 总在 terminal Check facts 形成后的 execution cancellation 返回。 */\n      readonly phase: \"execution\";\n      /** 按 canonical Check order 的 duration facts；未执行 Check 为 `null`。 */\n      readonly checkDurations: readonly CheckDuration[];\n      /** cancellation 前已接受的 author 与 console-capture messages。 */\n      readonly checkMessages: readonly CheckRunMessage[];\n      /** cancellation 时已结算的完整 Check 与 supplemental Record facts。 */\n      readonly snapshot: CoreSnapshot;\n    }\n  | ({\n      /** 所有 Check 已完成 terminal settlement；不表示每项 Check 都 `passed`。 */\n      readonly kind: \"completed\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      readonly outputs: RunOutputStatuses;\n    } & RunResultFacts)\n  | {\n      /** Product execution/settlement infrastructure 失败；不把它误表示为 Check `failed`。 */\n      readonly kind: \"execution\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      /** 停止正常 execution 的 Product diagnostic；本 branch 不提供 partial snapshot。 */\n      readonly diagnostic: RunDiagnostic;\n      readonly outputs: RunOutputStatuses;\n    }\n  | ({\n      /** Check facts 已完整结算，但至少一个 terminal output participant 失败。 */\n      readonly kind: \"output\";\n      readonly declarativeFingerprint: string;\n      readonly definitionWarnings: readonly DefinitionWarning[];\n      /** 失败的 machine、progress、diagnostic 或 scheduler-measurement output 类别。 */\n      readonly diagnostic: Readonly<{\n        readonly code:\n          | \"machine-publication-failed\"\n          | \"progress-rendering-failed\"\n          | \"diagnostic-logging-failed\"\n          | \"scheduler-terminal-effects-failed\";\n      }>;\n      readonly outputs: RunOutputStatuses;\n    } & RunResultFacts)\n>;\n\n/** Any Run result produced after controls and Definition validation have completed. */\nexport type NonConfigurationRunResult = Exclude<RunResult, { readonly kind: \"configuration\" }>;\n\ntype OutputRunResult = Extract<RunResult, { readonly kind: \"output\" }>;\n\nexport function outputFailure(\n  declarativeFingerprint: string,\n  definitionWarnings: readonly DefinitionWarning[],\n  outputs: RunOutputStatuses,\n  output: keyof RunOutputStatuses,\n  facts: RunResultFacts\n): OutputRunResult {\n  return Object.freeze({\n    kind: \"output\",\n    declarativeFingerprint,\n    definitionWarnings,\n    diagnostic: Object.freeze({ code: outputDiagnosticCode(output) }),\n    outputs,\n    ...facts\n  });\n}\nfunction outputDiagnosticCode(\n  output: keyof RunOutputStatuses\n): Extract<RunResult, { readonly kind: \"output\" }>[\"diagnostic\"][\"code\"] {\n  switch (output) {\n    case \"machinePublication\":\n      return \"machine-publication-failed\";\n    case \"progressRendering\":\n      return \"progress-rendering-failed\";\n    case \"diagnosticLogging\":\n      return \"diagnostic-logging-failed\";\n    case \"terminalEffects\":\n      return \"scheduler-terminal-effects-failed\";\n  }\n}\n\nexport function isCancelled(controls: RunControls): boolean {\n  return controls.signal?.aborted === true;\n}\nexport function planning(\n  declarativeFingerprint: string,\n  definitionWarnings: readonly DefinitionWarning[],\n  outputs: RunOutputStatuses,\n  code: Extract<RunDiagnostic[\"code\"], \"task-graph-invalid\">\n): Extract<NonConfigurationRunResult, { readonly kind: \"planning\" }> {\n  return Object.freeze({\n    kind: \"planning\",\n    declarativeFingerprint,\n    definitionWarnings,\n    diagnostic: Object.freeze({ code }),\n    outputs\n  });\n}\nexport function preExecutionCancellation(\n  declarativeFingerprint: string,\n  definitionWarnings: readonly DefinitionWarning[],\n  outputs: RunOutputStatuses,\n  phase: \"pre-work\" | \"planning\"\n): Extract<\n  NonConfigurationRunResult,\n  { readonly kind: \"cancelled\"; readonly phase: \"pre-work\" | \"planning\" }\n> {\n  return Object.freeze({\n    kind: \"cancelled\",\n    declarativeFingerprint,\n    definitionWarnings,\n    outputs,\n    phase\n  });\n}\nexport function executionCancellation(\n  input: Readonly<{\n    readonly checkDurations: readonly CheckDuration[];\n    readonly checkMessages: readonly CheckRunMessage[];\n    readonly declarativeFingerprint: string;\n    readonly definitionWarnings: readonly DefinitionWarning[];\n    readonly outputs: RunOutputStatuses;\n    readonly snapshot: CoreSnapshot;\n  }>\n): Extract<NonConfigurationRunResult, { readonly kind: \"cancelled\"; readonly phase: \"execution\" }> {\n  return Object.freeze({\n    kind: \"cancelled\",\n    declarativeFingerprint: input.declarativeFingerprint,\n    definitionWarnings: input.definitionWarnings,\n    outputs: input.outputs,\n    phase: \"execution\",\n    checkDurations: input.checkDurations,\n    checkMessages: input.checkMessages,\n    snapshot: input.snapshot\n  });\n}\n"]}

package/dist/esm/project-run/run.mjs

@@ -1,6 +1,6 @@
 import { validateProjectDefinition } from "../project-definition/project-definition-validation.mjs";
 import { validateRunControls } from "./controls/validation.mjs";
-import { executeValidatedRun } from "./invocation.mjs";
+import { executeValidatedRun } from "./invocation/run.mjs";
 export async function run(definition, controls = {}) {
     const validatedDefinition = validateProjectDefinition(definition);
     if (!validatedDefinition.ok) {

package/dist/esm/project-run/run.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"run.mjs","sourceRoot":"","sources":["../../../src/project-run/run.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,wDAAwD,CAAC;AACnG,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAsBtD,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,UAAmB,EAAE,QAAQ,GAAY,EAAE;IACnE,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,mBAAmB,CAAC,EAAE,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,eAAe;YACrB,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,UAAU,EAAE,mBAAmB,CAAC,KAAK;SACtC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,eAAe;YACrB,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,UAAU,EAAE,iBAAiB,CAAC,KAAK;SACpC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,mBAAmB,CACxB,mBAAmB,CAAC,KAAK,EACzB,iBAAiB,CAAC,KAAK,EACvB,mBAAmB,CAAC,QAAQ,CAC7B,CAAC;AACJ,CAAC","sourcesContent":["import type { ProjectDefinition } from \"../project-definition/project-definition.ts\";\nimport type { RunControls } from \"./controls/contract.ts\";\nimport { validateProjectDefinition } from \"../project-definition/project-definition-validation.ts\";\nimport { validateRunControls } from \"./controls/validation.ts\";\nimport { executeValidatedRun } from \"./invocation.ts\";\nimport type { RunResult } from \"./result.ts\";\n\nexport type { RunOutputStatus, RunOutputStatuses } from \"./output-status.ts\";\nexport type { RunDiagnostic, RunResult } from \"./result.ts\";\n\n/**\n * 在调用方的 Bun runtime 中执行一个由项目拥有的 Project Definition。\n *\n * @param definition - Project Definition input；{@link defineConfig} 补齐 defaults，run 在 invocation 前验证。\n * @param controls - 本次 invocation context 与 outputs 使用的闭合控制值。\n * @returns ordinary configuration、planning、execution、cancellation 与 output failures 通过 `RunResult`\n * 返回；调用方先按 `kind` narrow。\n * @remarks Definition validation 关闭 authoring grammar；可选 Check preflight 组成 invocation execution barrier，\n * 并在 execution callback、dependency resolver 或 scanner 前完成。`output` branch 同时提供完整 final\n * snapshot 与 output failure diagnostic。\n */\nexport async function run(\n  definition: ProjectDefinition,\n  controls?: RunControls\n): Promise<RunResult>;\nexport async function run(definition: unknown, controls?: unknown): Promise<RunResult>;\nexport async function run(definition: unknown, controls: unknown = {}): Promise<RunResult> {\n  const validatedDefinition = validateProjectDefinition(definition);\n  if (!validatedDefinition.ok) {\n    return Object.freeze({\n      kind: \"configuration\",\n      definitionWarnings: Object.freeze([]),\n      diagnostic: validatedDefinition.error\n    });\n  }\n  const validatedControls = validateRunControls(controls);\n  if (!validatedControls.ok) {\n    return Object.freeze({\n      kind: \"configuration\",\n      definitionWarnings: Object.freeze([]),\n      diagnostic: validatedControls.error\n    });\n  }\n\n  return executeValidatedRun(\n    validatedDefinition.value,\n    validatedControls.value,\n    validatedDefinition.warnings\n  );\n}\n"]}
+{"version":3,"file":"run.mjs","sourceRoot":"","sources":["../../../src/project-run/run.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,wDAAwD,CAAC;AACnG,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAuB1D,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,UAAmB,EAAE,QAAQ,GAAY,EAAE;IACnE,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,mBAAmB,CAAC,EAAE,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,eAAe;YACrB,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,UAAU,EAAE,mBAAmB,CAAC,KAAK;SACtC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,eAAe;YACrB,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,UAAU,EAAE,iBAAiB,CAAC,KAAK;SACpC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,mBAAmB,CACxB,mBAAmB,CAAC,KAAK,EACzB,iBAAiB,CAAC,KAAK,EACvB,mBAAmB,CAAC,QAAQ,CAC7B,CAAC;AACJ,CAAC","sourcesContent":["import type { ProjectDefinition } from \"../project-definition/project-definition.ts\";\nimport type { RunControls } from \"./controls/contract.ts\";\nimport { validateProjectDefinition } from \"../project-definition/project-definition-validation.ts\";\nimport { validateRunControls } from \"./controls/validation.ts\";\nimport { executeValidatedRun } from \"./invocation/run.ts\";\nimport type { RunResult } from \"./result.ts\";\n\nexport type { RunOutputStatus, RunOutputStatuses } from \"./outputs/status.ts\";\nexport type { RunDiagnostic, RunResult } from \"./result.ts\";\n\n/**\n * 在调用方的 Node runtime 中执行一个由项目拥有的 Project Definition。\n *\n * @param definition - Project Definition input；{@link defineConfig} 补齐 defaults，run 在 invocation 前验证。\n * @param controls - 本次 invocation context 与 outputs 使用的闭合控制值。\n * @returns ordinary configuration、planning、execution、cancellation 与 output failures 通过 `RunResult`\n * 返回；调用方先按 `kind` narrow。\n * @remarks Definition validation 关闭 authoring grammar；可选 Check preparation 在其 Task 通过直接 relation\n * readiness 后被 Scheduler admission 时运行，并先于该 Check 自己的 execution callback。它受该 Task 的\n * mutex、capacity、priority 与 cancellation 约束，而不是 invocation-wide barrier。`output` branch 同时提供\n * 完整 final snapshot 与 output failure diagnostic。\n */\nexport async function run(\n  definition: ProjectDefinition,\n  controls?: RunControls\n): Promise<RunResult>;\nexport async function run(definition: unknown, controls?: unknown): Promise<RunResult>;\nexport async function run(definition: unknown, controls: unknown = {}): Promise<RunResult> {\n  const validatedDefinition = validateProjectDefinition(definition);\n  if (!validatedDefinition.ok) {\n    return Object.freeze({\n      kind: \"configuration\",\n      definitionWarnings: Object.freeze([]),\n      diagnostic: validatedDefinition.error\n    });\n  }\n  const validatedControls = validateRunControls(controls);\n  if (!validatedControls.ok) {\n    return Object.freeze({\n      kind: \"configuration\",\n      definitionWarnings: Object.freeze([]),\n      diagnostic: validatedControls.error\n    });\n  }\n\n  return executeValidatedRun(\n    validatedDefinition.value,\n    validatedControls.value,\n    validatedDefinition.warnings\n  );\n}\n"]}

package/dist/esm/project-run/task-scheduler/admission-core/compiled-graph-lookup.mjs

@@ -0,0 +1,45 @@
+/** Required accessors for compiler-owned dense slot indexes. */
+export function requiredTaskForCompiled(compiled, taskSlot) {
+    const task = compiled.graph.tasks[taskSlot];
+    if (task === undefined)
+        throw new Error(`admission core task slot is unknown: ${taskSlot}`);
+    return task;
+}
+export function requiredTaskMutexSlotsForCompiled(compiled, taskSlot) {
+    const slots = compiled.taskMutexSlots[taskSlot];
+    if (slots === undefined)
+        throw new Error(`admission core task slot is unknown: ${taskSlot}`);
+    return slots;
+}
+export function requiredTaskResourceClaimsForCompiled(compiled, taskSlot) {
+    const claims = compiled.taskResourceClaims[taskSlot];
+    if (claims === undefined)
+        throw new Error(`admission core task slot is unknown: ${taskSlot}`);
+    return claims;
+}
+export function requiredReverseDependenciesForCompiled(compiled, taskSlot) {
+    const dependencies = compiled.relationIndexes.reverseDependencies[taskSlot];
+    if (dependencies === undefined)
+        throw new Error(`admission core task slot is unknown: ${taskSlot}`);
+    return dependencies;
+}
+export function requiredReverseObservationsForCompiled(compiled, taskSlot) {
+    const observations = compiled.relationIndexes.reverseObservations[taskSlot];
+    if (observations === undefined)
+        throw new Error(`admission core task slot is unknown: ${taskSlot}`);
+    return observations;
+}
+export function requiredReverseMutexOccurrencesForCompiled(compiled, mutexSlot) {
+    const occurrences = compiled.relationIndexes.reverseMutexOccurrences[mutexSlot];
+    if (occurrences === undefined) {
+        throw new Error(`admission core mutex slot is unknown: ${mutexSlot}`);
+    }
+    return occurrences;
+}
+export function requiredScopeTerminalSlotsForCompiled(compiled, taskSlot) {
+    const scopeSlots = compiled.scopeSlotsByTerminalTaskSlot[taskSlot];
+    if (scopeSlots === undefined)
+        throw new Error(`admission core task slot is unknown: ${taskSlot}`);
+    return scopeSlots;
+}
+//# sourceMappingURL=compiled-graph-lookup.mjs.map

package/dist/esm/project-run/task-scheduler/admission-core/compiled-graph-lookup.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiled-graph-lookup.mjs","sourceRoot":"","sources":["../../../../../src/project-run/task-scheduler/admission-core/compiled-graph-lookup.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAKhE,MAAM,UAAU,uBAAuB,CACrC,QAAgC,EAChC,QAAgB;IAEhB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,EAAE,CAAC,CAAC;IAC5F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,QAAgC,EAChC,QAAgB;IAEhB,MAAM,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,EAAE,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,QAAgC,EAChC,QAAgB;IAEhB,MAAM,MAAM,GAAG,QAAQ,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,EAAE,CAAC,CAAC;IAC9F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,QAAgC,EAChC,QAAgB;IAEhB,MAAM,YAAY,GAAG,QAAQ,CAAC,eAAe,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC5E,IAAI,YAAY,KAAK,SAAS;QAC5B,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,EAAE,CAAC,CAAC;IACtE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,QAAgC,EAChC,QAAgB;IAEhB,MAAM,YAAY,GAAG,QAAQ,CAAC,eAAe,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC5E,IAAI,YAAY,KAAK,SAAS;QAC5B,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,EAAE,CAAC,CAAC;IACtE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,0CAA0C,CACxD,QAAgC,EAChC,SAAiB;IAEjB,MAAM,WAAW,GAAG,QAAQ,CAAC,eAAe,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;IAChF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,yCAAyC,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,QAAgC,EAChC,QAAgB;IAEhB,MAAM,UAAU,GAAG,QAAQ,CAAC,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IACnE,IAAI,UAAU,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,EAAE,CAAC,CAAC;IAClG,OAAO,UAAU,CAAC;AACpB,CAAC","sourcesContent":["/** Required accessors for compiler-owned dense slot indexes. */\n\nimport type { PlannedTask } from \"../graph.ts\";\nimport type { CompiledAdmissionGraph } from \"./compiled-graph.ts\";\n\nexport function requiredTaskForCompiled(\n  compiled: CompiledAdmissionGraph,\n  taskSlot: number\n): PlannedTask {\n  const task = compiled.graph.tasks[taskSlot];\n  if (task === undefined) throw new Error(`admission core task slot is unknown: ${taskSlot}`);\n  return task;\n}\n\nexport function requiredTaskMutexSlotsForCompiled(\n  compiled: CompiledAdmissionGraph,\n  taskSlot: number\n): CompiledAdmissionGraph[\"taskMutexSlots\"][number] {\n  const slots = compiled.taskMutexSlots[taskSlot];\n  if (slots === undefined) throw new Error(`admission core task slot is unknown: ${taskSlot}`);\n  return slots;\n}\n\nexport function requiredTaskResourceClaimsForCompiled(\n  compiled: CompiledAdmissionGraph,\n  taskSlot: number\n): CompiledAdmissionGraph[\"taskResourceClaims\"][number] {\n  const claims = compiled.taskResourceClaims[taskSlot];\n  if (claims === undefined) throw new Error(`admission core task slot is unknown: ${taskSlot}`);\n  return claims;\n}\n\nexport function requiredReverseDependenciesForCompiled(\n  compiled: CompiledAdmissionGraph,\n  taskSlot: number\n): CompiledAdmissionGraph[\"relationIndexes\"][\"reverseDependencies\"][number] {\n  const dependencies = compiled.relationIndexes.reverseDependencies[taskSlot];\n  if (dependencies === undefined)\n    throw new Error(`admission core task slot is unknown: ${taskSlot}`);\n  return dependencies;\n}\n\nexport function requiredReverseObservationsForCompiled(\n  compiled: CompiledAdmissionGraph,\n  taskSlot: number\n): CompiledAdmissionGraph[\"relationIndexes\"][\"reverseObservations\"][number] {\n  const observations = compiled.relationIndexes.reverseObservations[taskSlot];\n  if (observations === undefined)\n    throw new Error(`admission core task slot is unknown: ${taskSlot}`);\n  return observations;\n}\n\nexport function requiredReverseMutexOccurrencesForCompiled(\n  compiled: CompiledAdmissionGraph,\n  mutexSlot: number\n): CompiledAdmissionGraph[\"relationIndexes\"][\"reverseMutexOccurrences\"][number] {\n  const occurrences = compiled.relationIndexes.reverseMutexOccurrences[mutexSlot];\n  if (occurrences === undefined) {\n    throw new Error(`admission core mutex slot is unknown: ${mutexSlot}`);\n  }\n  return occurrences;\n}\n\nexport function requiredScopeTerminalSlotsForCompiled(\n  compiled: CompiledAdmissionGraph,\n  taskSlot: number\n): CompiledAdmissionGraph[\"scopeSlotsByTerminalTaskSlot\"][number] {\n  const scopeSlots = compiled.scopeSlotsByTerminalTaskSlot[taskSlot];\n  if (scopeSlots === undefined) throw new Error(`admission core task slot is unknown: ${taskSlot}`);\n  return scopeSlots;\n}\n"]}

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

@@ -0,0 +1,171 @@
+/** Compiles a Scheduler-owned normalized graph once for an actual scheduler invocation. */
+export function compilePreparedAdmissionGraph(graph, maxParallel) {
+    assertMaxParallel(maxParallel);
+    const catalog = compileGraphSlotCatalog(graph);
+    const mutexIndexes = compileMutexStaticIndexes(graph);
+    const relationIndexes = compileRelationStaticIndexes(graph, catalog.taskSlotsById);
+    const resourceIndexes = compileResourceStaticIndexes(graph);
+    const scopeIndexes = compileScopeStaticIndexes(graph, catalog);
+    const publicTaskOrder = compilePublicTaskOrder(graph, catalog.taskSlotsById);
+    return assembleCompiledAdmissionGraph({
+        catalog,
+        graph,
+        maxParallel,
+        mutexIndexes,
+        publicTaskOrder,
+        relationIndexes,
+        resourceIndexes,
+        scopeIndexes
+    });
+}
+function compileResourceStaticIndexes(graph) {
+    const resourceSlotById = new Map(graph.resourceCapacities.map(({ resourceId }, slot) => [resourceId, slot]));
+    const resourceCapacityBySlot = Object.freeze(graph.resourceCapacities.map(({ units }) => units));
+    const taskResourceClaims = Object.freeze(graph.tasks.map((task) => Object.freeze(task.resourceClaims.map(({ resourceId, units }) => {
+        const resourceSlot = resourceSlotById.get(resourceId);
+        if (resourceSlot === undefined) {
+            throw new Error(`admission core resource is unknown: ${resourceId}`);
+        }
+        return Object.freeze({ resourceSlot, units });
+    }))));
+    return { resourceCapacityBySlot, resourceSlotById, taskResourceClaims };
+}
+function assertMaxParallel(maxParallel) {
+    if (!Number.isSafeInteger(maxParallel) || maxParallel <= 0) {
+        throw new TypeError("task engine maxParallel must be a positive safe integer");
+    }
+}
+/** Creates declaration-slot catalogs without materializing another prepared graph. */
+function compileGraphSlotCatalog(graph) {
+    return {
+        taskSlotsById: new Map(graph.tasks.map((task, slot) => [task.id, slot])),
+        taskById: new Map(graph.tasks.map((task) => [task.id, task])),
+        scopeSlotById: new Map(graph.scopes.map((scope, slot) => [scope.id, slot])),
+        scopesById: new Map(graph.scopes.map((scope) => [scope.id, scope]))
+    };
+}
+/** Allocates mutex slots by first declaration occurrence, then records every task occurrence. */
+function compileMutexStaticIndexes(graph) {
+    const mutexSlotById = new Map();
+    const taskMutexSlots = graph.tasks.map((task) => mutexSlotsForTask(task, mutexSlotById));
+    const reverseMutexOccurrences = Array.from({ length: mutexSlotById.size }, () => []);
+    for (const [taskSlot, mutexSlots] of taskMutexSlots.entries()) {
+        for (const mutexSlot of mutexSlots)
+            reverseMutexOccurrences[mutexSlot]?.push(taskSlot);
+    }
+    return {
+        mutexSlotById,
+        reverseMutexOccurrences: freezeSlotLists(reverseMutexOccurrences),
+        taskMutexSlots: freezeSlotLists(taskMutexSlots)
+    };
+}
+function mutexSlotsForTask(task, mutexSlotById) {
+    return task.mutex.map((mutexId) => mutexSlotFor(mutexSlotById, mutexId));
+}
+function mutexSlotFor(mutexSlotById, mutexId) {
+    const existingSlot = mutexSlotById.get(mutexId);
+    if (existingSlot !== undefined)
+        return existingSlot;
+    const nextSlot = mutexSlotById.size;
+    mutexSlotById.set(mutexId, nextSlot);
+    return nextSlot;
+}
+/** Reverses relation occurrences while retaining the declared occurrence order for core transitions. */
+function compileRelationStaticIndexes(graph, taskSlotsById) {
+    const reverseDependencies = emptyTaskSlotLists(graph);
+    const reverseObservations = emptyTaskSlotLists(graph);
+    for (const [taskSlot, task] of graph.tasks.entries()) {
+        appendReverseRelationOccurrences(task.dependsOn, taskSlot, taskSlotsById, reverseDependencies, "dependency");
+        appendReverseRelationOccurrences(task.observes, taskSlot, taskSlotsById, reverseObservations, "observation");
+    }
+    return {
+        reverseDependencies: freezeSlotLists(reverseDependencies),
+        reverseObservations: freezeSlotLists(reverseObservations)
+    };
+}
+function appendReverseRelationOccurrences(sourceTaskIds, targetTaskSlot, taskSlotsById, reverseSlotsBySourceTask, relationName) {
+    for (const sourceTaskId of sourceTaskIds) {
+        const sourceTaskSlot = taskSlotsById.get(sourceTaskId);
+        if (sourceTaskSlot === undefined) {
+            throw new Error(`admission core ${relationName} is unknown: ${sourceTaskId}`);
+        }
+        reverseSlotsBySourceTask[sourceTaskSlot]?.push(targetTaskSlot);
+    }
+}
+/** Associates scope terminals and activation candidates with the existing task slots. */
+function compileScopeStaticIndexes(graph, catalog) {
+    const scopeSlotsByTerminalTaskSlot = emptyTaskSlotLists(graph);
+    for (const [scopeSlot, scope] of graph.scopes.entries()) {
+        const terminalTaskSlot = catalog.taskSlotsById.get(scope.terminalTaskId);
+        if (terminalTaskSlot === undefined) {
+            throw new Error(`admission core scope terminal is unknown: ${scope.terminalTaskId}`);
+        }
+        scopeSlotsByTerminalTaskSlot[terminalTaskSlot]?.push(scopeSlot);
+    }
+    const taskActivatesScope = graph.tasks.map((task) => {
+        const scopeSlot = task.scopeId === undefined ? undefined : catalog.scopeSlotById.get(task.scopeId);
+        return (scopeSlot !== undefined &&
+            graph.scopes[scopeSlot]?.activationTaskIds.includes(task.id) === true);
+    });
+    const taskScopeSlots = graph.tasks.map((task) => task.scopeId === undefined ? undefined : catalog.scopeSlotById.get(task.scopeId));
+    return {
+        scopeSlotsByTerminalTaskSlot: freezeSlotLists(scopeSlotsByTerminalTaskSlot),
+        taskActivatesScope: Object.freeze(taskActivatesScope),
+        taskScopeSlots: Object.freeze(taskScopeSlots)
+    };
+}
+/** Materializes only the lexical catalog projection; declaration slots remain unchanged. */
+function compilePublicTaskOrder(graph, taskSlotsById) {
+    const taskIdsInPublicOrder = Object.freeze(graph.tasks.map((task) => task.id).sort(compareText));
+    return {
+        taskIdsInPublicOrder,
+        taskSlotsInPublicOrder: Object.freeze(taskIdsInPublicOrder.map((taskId) => {
+            const taskSlot = taskSlotsById.get(taskId);
+            if (taskSlot === undefined) {
+                throw new Error(`admission core task is missing from public order: ${taskId}`);
+            }
+            return taskSlot;
+        }))
+    };
+}
+/** Freezes the one compiled graph object after every static compiler stage has completed. */
+function assembleCompiledAdmissionGraph(parts) {
+    const { catalog, graph, maxParallel, mutexIndexes, publicTaskOrder, relationIndexes, resourceIndexes, scopeIndexes } = parts;
+    return Object.freeze({
+        graph,
+        maxParallel,
+        mutexSlotById: mutexIndexes.mutexSlotById,
+        resourceCapacityBySlot: resourceIndexes.resourceCapacityBySlot,
+        resourceSlotById: resourceIndexes.resourceSlotById,
+        relationIndexes: Object.freeze({
+            reverseDependencies: relationIndexes.reverseDependencies,
+            reverseMutexOccurrences: mutexIndexes.reverseMutexOccurrences,
+            reverseObservations: relationIndexes.reverseObservations
+        }),
+        scopesById: catalog.scopesById,
+        scopeSlotById: catalog.scopeSlotById,
+        scopeSlotsByTerminalTaskSlot: scopeIndexes.scopeSlotsByTerminalTaskSlot,
+        taskById: catalog.taskById,
+        taskIdsInPublicOrder: publicTaskOrder.taskIdsInPublicOrder,
+        taskMutexSlots: mutexIndexes.taskMutexSlots,
+        taskResourceClaims: resourceIndexes.taskResourceClaims,
+        taskActivatesScope: scopeIndexes.taskActivatesScope,
+        taskScopeSlots: scopeIndexes.taskScopeSlots,
+        taskSlotsById: catalog.taskSlotsById,
+        taskSlotsInPublicOrder: publicTaskOrder.taskSlotsInPublicOrder
+    });
+}
+function emptyTaskSlotLists(graph) {
+    return graph.tasks.map(() => []);
+}
+function freezeSlotLists(slotLists) {
+    return Object.freeze(slotLists.map((slots) => Object.freeze(slots)));
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+//# sourceMappingURL=compiled-graph.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compiled-graph.mjs","sourceRoot":"","sources":["../../../../../src/project-run/task-scheduler/admission-core/compiled-graph.ts"],"names":[],"mappings":"AA6EA,2FAA2F;AAC3F,MAAM,UAAU,6BAA6B,CAC3C,KAAuB,EACvB,WAAmB;IAEnB,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,4BAA4B,CAAC,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACnF,MAAM,eAAe,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,yBAAyB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,eAAe,GAAG,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAE7E,OAAO,8BAA8B,CAAC;QACpC,OAAO;QACP,KAAK;QACL,WAAW;QACX,YAAY;QACZ,eAAe;QACf,eAAe;QACf,eAAe;QACf,YAAY;KACb,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAuB;IAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAU,CAAC,CACpF,CAAC;IACF,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACjG,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CACtC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACvB,MAAM,CAAC,MAAM,CACX,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE;QAChD,MAAM,YAAY,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,uCAAuC,UAAU,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CACH,CACF,CACF,CAAC;IACF,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAmB;IAC5C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,SAAS,uBAAuB,CAAC,KAAuB;IACtD,OAAO;QACL,aAAa,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAAC;QACjF,QAAQ,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAAC;QACtE,aAAa,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAAC;QACpF,UAAU,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAU,CAAC,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,SAAS,yBAAyB,CAAC,KAAuB;IACxD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;IACzF,MAAM,uBAAuB,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAc,CAAC,CAAC;IAEjG,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9D,KAAK,MAAM,SAAS,IAAI,UAAU;YAAE,uBAAuB,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzF,CAAC;IAED,OAAO;QACL,aAAa;QACb,uBAAuB,EAAE,eAAe,CAAC,uBAAuB,CAAC;QACjE,cAAc,EAAE,eAAe,CAAC,cAAc,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAiB,EAAE,aAAkC;IAC9E,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,YAAY,CAAC,aAAkC,EAAE,OAAe;IACvE,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IAEpD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC;IACpC,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,wGAAwG;AACxG,SAAS,4BAA4B,CACnC,KAAuB,EACvB,aAA0C;IAE1C,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAEtD,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,gCAAgC,CAC9B,IAAI,CAAC,SAAS,EACd,QAAQ,EACR,aAAa,EACb,mBAAmB,EACnB,YAAY,CACb,CAAC;QACF,gCAAgC,CAC9B,IAAI,CAAC,QAAQ,EACb,QAAQ,EACR,aAAa,EACb,mBAAmB,EACnB,aAAa,CACd,CAAC;IACJ,CAAC;IAED,OAAO;QACL,mBAAmB,EAAE,eAAe,CAAC,mBAAmB,CAAC;QACzD,mBAAmB,EAAE,eAAe,CAAC,mBAAmB,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CACvC,aAAgC,EAChC,cAAsB,EACtB,aAA0C,EAC1C,wBAAoC,EACpC,YAA0C;IAE1C,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,MAAM,cAAc,GAAG,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACvD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,kBAAkB,YAAY,gBAAgB,YAAY,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,wBAAwB,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,SAAS,yBAAyB,CAChC,KAAuB,EACvB,OAAyB;IAEzB,MAAM,4BAA4B,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAE/D,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,MAAM,gBAAgB,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACzE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,6CAA6C,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,4BAA4B,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,kBAAkB,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAClD,MAAM,SAAS,GACb,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnF,OAAO,CACL,SAAS,KAAK,SAAS;YACvB,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CACtE,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9C,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CACjF,CAAC;IAEF,OAAO;QACL,4BAA4B,EAAE,eAAe,CAAC,4BAA4B,CAAC;QAC3E,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;QACrD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,SAAS,sBAAsB,CAC7B,KAAuB,EACvB,aAA0C;IAE1C,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACjG,OAAO;QACL,oBAAoB;QACpB,sBAAsB,EAAE,MAAM,CAAC,MAAM,CACnC,oBAAoB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YAClC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CAAC,qDAAqD,MAAM,EAAE,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAC,CACH;KACF,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,SAAS,8BAA8B,CACrC,KAAkC;IAElC,MAAM,EACJ,OAAO,EACP,KAAK,EACL,WAAW,EACX,YAAY,EACZ,eAAe,EACf,eAAe,EACf,eAAe,EACf,YAAY,EACb,GAAG,KAAK,CAAC;IACV,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK;QACL,WAAW;QACX,aAAa,EAAE,YAAY,CAAC,aAAa;QACzC,sBAAsB,EAAE,eAAe,CAAC,sBAAsB;QAC9D,gBAAgB,EAAE,eAAe,CAAC,gBAAgB;QAClD,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC;YAC7B,mBAAmB,EAAE,eAAe,CAAC,mBAAmB;YACxD,uBAAuB,EAAE,YAAY,CAAC,uBAAuB;YAC7D,mBAAmB,EAAE,eAAe,CAAC,mBAAmB;SACzD,CAAC;QACF,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,4BAA4B,EAAE,YAAY,CAAC,4BAA4B;QACvE,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,oBAAoB,EAAE,eAAe,CAAC,oBAAoB;QAC1D,cAAc,EAAE,YAAY,CAAC,cAAc;QAC3C,kBAAkB,EAAE,eAAe,CAAC,kBAAkB;QACtD,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;QACnD,cAAc,EAAE,YAAY,CAAC,cAAc;QAC3C,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,sBAAsB,EAAE,eAAe,CAAC,sBAAsB;KAC/D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAuB;IACjD,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,eAAe,CAAC,SAAqB;IAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACvE,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 type { PlannedTask, PlannedTaskGraph } from \"../graph.ts\";\n\ninterface RelationStaticIndexes {\n  readonly reverseDependencies: readonly (readonly number[])[];\n  readonly reverseMutexOccurrences: readonly (readonly number[])[];\n  readonly reverseObservations: readonly (readonly number[])[];\n}\n\ninterface ReverseRelationIndexes {\n  readonly reverseDependencies: readonly (readonly number[])[];\n  readonly reverseObservations: readonly (readonly number[])[];\n}\n\nexport interface CompiledAdmissionGraph {\n  readonly graph: PlannedTaskGraph;\n  readonly maxParallel: number;\n  readonly mutexSlotById: ReadonlyMap<string, number>;\n  readonly resourceCapacityBySlot: readonly number[];\n  readonly resourceSlotById: ReadonlyMap<string, number>;\n  readonly scopesById: ReadonlyMap<string, PlannedTaskGraph[\"scopes\"][number]>;\n  readonly scopeSlotById: ReadonlyMap<string, number>;\n  readonly scopeSlotsByTerminalTaskSlot: readonly (readonly number[])[];\n  readonly taskById: ReadonlyMap<string, PlannedTask>;\n  readonly taskMutexSlots: readonly (readonly number[])[];\n  readonly taskResourceClaims: readonly (readonly Readonly<{\n    readonly resourceSlot: number;\n    readonly units: number;\n  }>[])[];\n  readonly taskActivatesScope: readonly boolean[];\n  readonly taskScopeSlots: readonly (number | undefined)[];\n  readonly taskSlotsById: ReadonlyMap<string, number>;\n  readonly taskIdsInPublicOrder: readonly string[];\n  readonly taskSlotsInPublicOrder: readonly number[];\n  readonly relationIndexes: RelationStaticIndexes;\n}\n\ninterface GraphSlotCatalog {\n  readonly scopesById: ReadonlyMap<string, PlannedTaskGraph[\"scopes\"][number]>;\n  readonly scopeSlotById: ReadonlyMap<string, number>;\n  readonly taskById: ReadonlyMap<string, PlannedTask>;\n  readonly taskSlotsById: ReadonlyMap<string, number>;\n}\n\ninterface MutexStaticIndexes {\n  readonly mutexSlotById: ReadonlyMap<string, number>;\n  readonly reverseMutexOccurrences: readonly (readonly number[])[];\n  readonly taskMutexSlots: readonly (readonly number[])[];\n}\n\ninterface ResourceStaticIndexes {\n  readonly resourceCapacityBySlot: readonly number[];\n  readonly resourceSlotById: ReadonlyMap<string, number>;\n  readonly taskResourceClaims: CompiledAdmissionGraph[\"taskResourceClaims\"];\n}\n\ninterface ScopeStaticIndexes {\n  readonly scopeSlotsByTerminalTaskSlot: readonly (readonly number[])[];\n  readonly taskActivatesScope: readonly boolean[];\n  readonly taskScopeSlots: readonly (number | undefined)[];\n}\n\ninterface PublicTaskOrder {\n  readonly taskIdsInPublicOrder: readonly string[];\n  readonly taskSlotsInPublicOrder: readonly number[];\n}\n\ninterface CompiledAdmissionGraphParts {\n  readonly catalog: GraphSlotCatalog;\n  readonly graph: PlannedTaskGraph;\n  readonly maxParallel: number;\n  readonly mutexIndexes: MutexStaticIndexes;\n  readonly publicTaskOrder: PublicTaskOrder;\n  readonly relationIndexes: ReverseRelationIndexes;\n  readonly resourceIndexes: ResourceStaticIndexes;\n  readonly scopeIndexes: ScopeStaticIndexes;\n}\n\n/** Compiles a Scheduler-owned normalized graph once for an actual scheduler invocation. */\nexport function compilePreparedAdmissionGraph(\n  graph: PlannedTaskGraph,\n  maxParallel: number\n): CompiledAdmissionGraph {\n  assertMaxParallel(maxParallel);\n  const catalog = compileGraphSlotCatalog(graph);\n  const mutexIndexes = compileMutexStaticIndexes(graph);\n  const relationIndexes = compileRelationStaticIndexes(graph, catalog.taskSlotsById);\n  const resourceIndexes = compileResourceStaticIndexes(graph);\n  const scopeIndexes = compileScopeStaticIndexes(graph, catalog);\n  const publicTaskOrder = compilePublicTaskOrder(graph, catalog.taskSlotsById);\n\n  return assembleCompiledAdmissionGraph({\n    catalog,\n    graph,\n    maxParallel,\n    mutexIndexes,\n    publicTaskOrder,\n    relationIndexes,\n    resourceIndexes,\n    scopeIndexes\n  });\n}\n\nfunction compileResourceStaticIndexes(graph: PlannedTaskGraph): ResourceStaticIndexes {\n  const resourceSlotById = new Map(\n    graph.resourceCapacities.map(({ resourceId }, slot) => [resourceId, slot] as const)\n  );\n  const resourceCapacityBySlot = Object.freeze(graph.resourceCapacities.map(({ units }) => units));\n  const taskResourceClaims = Object.freeze(\n    graph.tasks.map((task) =>\n      Object.freeze(\n        task.resourceClaims.map(({ resourceId, units }) => {\n          const resourceSlot = resourceSlotById.get(resourceId);\n          if (resourceSlot === undefined) {\n            throw new Error(`admission core resource is unknown: ${resourceId}`);\n          }\n          return Object.freeze({ resourceSlot, units });\n        })\n      )\n    )\n  );\n  return { resourceCapacityBySlot, resourceSlotById, taskResourceClaims };\n}\n\nfunction assertMaxParallel(maxParallel: number): void {\n  if (!Number.isSafeInteger(maxParallel) || maxParallel <= 0) {\n    throw new TypeError(\"task engine maxParallel must be a positive safe integer\");\n  }\n}\n\n/** Creates declaration-slot catalogs without materializing another prepared graph. */\nfunction compileGraphSlotCatalog(graph: PlannedTaskGraph): GraphSlotCatalog {\n  return {\n    taskSlotsById: new Map(graph.tasks.map((task, slot) => [task.id, slot] as const)),\n    taskById: new Map(graph.tasks.map((task) => [task.id, task] as const)),\n    scopeSlotById: new Map(graph.scopes.map((scope, slot) => [scope.id, slot] as const)),\n    scopesById: new Map(graph.scopes.map((scope) => [scope.id, scope] as const))\n  };\n}\n\n/** Allocates mutex slots by first declaration occurrence, then records every task occurrence. */\nfunction compileMutexStaticIndexes(graph: PlannedTaskGraph): MutexStaticIndexes {\n  const mutexSlotById = new Map<string, number>();\n  const taskMutexSlots = graph.tasks.map((task) => mutexSlotsForTask(task, mutexSlotById));\n  const reverseMutexOccurrences = Array.from({ length: mutexSlotById.size }, () => [] as number[]);\n\n  for (const [taskSlot, mutexSlots] of taskMutexSlots.entries()) {\n    for (const mutexSlot of mutexSlots) reverseMutexOccurrences[mutexSlot]?.push(taskSlot);\n  }\n\n  return {\n    mutexSlotById,\n    reverseMutexOccurrences: freezeSlotLists(reverseMutexOccurrences),\n    taskMutexSlots: freezeSlotLists(taskMutexSlots)\n  };\n}\n\nfunction mutexSlotsForTask(task: PlannedTask, mutexSlotById: Map<string, number>): number[] {\n  return task.mutex.map((mutexId) => mutexSlotFor(mutexSlotById, mutexId));\n}\n\nfunction mutexSlotFor(mutexSlotById: Map<string, number>, mutexId: string): number {\n  const existingSlot = mutexSlotById.get(mutexId);\n  if (existingSlot !== undefined) return existingSlot;\n\n  const nextSlot = mutexSlotById.size;\n  mutexSlotById.set(mutexId, nextSlot);\n  return nextSlot;\n}\n\n/** Reverses relation occurrences while retaining the declared occurrence order for core transitions. */\nfunction compileRelationStaticIndexes(\n  graph: PlannedTaskGraph,\n  taskSlotsById: ReadonlyMap<string, number>\n): ReverseRelationIndexes {\n  const reverseDependencies = emptyTaskSlotLists(graph);\n  const reverseObservations = emptyTaskSlotLists(graph);\n\n  for (const [taskSlot, task] of graph.tasks.entries()) {\n    appendReverseRelationOccurrences(\n      task.dependsOn,\n      taskSlot,\n      taskSlotsById,\n      reverseDependencies,\n      \"dependency\"\n    );\n    appendReverseRelationOccurrences(\n      task.observes,\n      taskSlot,\n      taskSlotsById,\n      reverseObservations,\n      \"observation\"\n    );\n  }\n\n  return {\n    reverseDependencies: freezeSlotLists(reverseDependencies),\n    reverseObservations: freezeSlotLists(reverseObservations)\n  };\n}\n\nfunction appendReverseRelationOccurrences(\n  sourceTaskIds: readonly string[],\n  targetTaskSlot: number,\n  taskSlotsById: ReadonlyMap<string, number>,\n  reverseSlotsBySourceTask: number[][],\n  relationName: \"dependency\" | \"observation\"\n): void {\n  for (const sourceTaskId of sourceTaskIds) {\n    const sourceTaskSlot = taskSlotsById.get(sourceTaskId);\n    if (sourceTaskSlot === undefined) {\n      throw new Error(`admission core ${relationName} is unknown: ${sourceTaskId}`);\n    }\n    reverseSlotsBySourceTask[sourceTaskSlot]?.push(targetTaskSlot);\n  }\n}\n\n/** Associates scope terminals and activation candidates with the existing task slots. */\nfunction compileScopeStaticIndexes(\n  graph: PlannedTaskGraph,\n  catalog: GraphSlotCatalog\n): ScopeStaticIndexes {\n  const scopeSlotsByTerminalTaskSlot = emptyTaskSlotLists(graph);\n\n  for (const [scopeSlot, scope] of graph.scopes.entries()) {\n    const terminalTaskSlot = catalog.taskSlotsById.get(scope.terminalTaskId);\n    if (terminalTaskSlot === undefined) {\n      throw new Error(`admission core scope terminal is unknown: ${scope.terminalTaskId}`);\n    }\n    scopeSlotsByTerminalTaskSlot[terminalTaskSlot]?.push(scopeSlot);\n  }\n  const taskActivatesScope = graph.tasks.map((task) => {\n    const scopeSlot =\n      task.scopeId === undefined ? undefined : catalog.scopeSlotById.get(task.scopeId);\n    return (\n      scopeSlot !== undefined &&\n      graph.scopes[scopeSlot]?.activationTaskIds.includes(task.id) === true\n    );\n  });\n  const taskScopeSlots = graph.tasks.map((task) =>\n    task.scopeId === undefined ? undefined : catalog.scopeSlotById.get(task.scopeId)\n  );\n\n  return {\n    scopeSlotsByTerminalTaskSlot: freezeSlotLists(scopeSlotsByTerminalTaskSlot),\n    taskActivatesScope: Object.freeze(taskActivatesScope),\n    taskScopeSlots: Object.freeze(taskScopeSlots)\n  };\n}\n\n/** Materializes only the lexical catalog projection; declaration slots remain unchanged. */\nfunction compilePublicTaskOrder(\n  graph: PlannedTaskGraph,\n  taskSlotsById: ReadonlyMap<string, number>\n): PublicTaskOrder {\n  const taskIdsInPublicOrder = Object.freeze(graph.tasks.map((task) => task.id).sort(compareText));\n  return {\n    taskIdsInPublicOrder,\n    taskSlotsInPublicOrder: Object.freeze(\n      taskIdsInPublicOrder.map((taskId) => {\n        const taskSlot = taskSlotsById.get(taskId);\n        if (taskSlot === undefined) {\n          throw new Error(`admission core task is missing from public order: ${taskId}`);\n        }\n        return taskSlot;\n      })\n    )\n  };\n}\n\n/** Freezes the one compiled graph object after every static compiler stage has completed. */\nfunction assembleCompiledAdmissionGraph(\n  parts: CompiledAdmissionGraphParts\n): CompiledAdmissionGraph {\n  const {\n    catalog,\n    graph,\n    maxParallel,\n    mutexIndexes,\n    publicTaskOrder,\n    relationIndexes,\n    resourceIndexes,\n    scopeIndexes\n  } = parts;\n  return Object.freeze({\n    graph,\n    maxParallel,\n    mutexSlotById: mutexIndexes.mutexSlotById,\n    resourceCapacityBySlot: resourceIndexes.resourceCapacityBySlot,\n    resourceSlotById: resourceIndexes.resourceSlotById,\n    relationIndexes: Object.freeze({\n      reverseDependencies: relationIndexes.reverseDependencies,\n      reverseMutexOccurrences: mutexIndexes.reverseMutexOccurrences,\n      reverseObservations: relationIndexes.reverseObservations\n    }),\n    scopesById: catalog.scopesById,\n    scopeSlotById: catalog.scopeSlotById,\n    scopeSlotsByTerminalTaskSlot: scopeIndexes.scopeSlotsByTerminalTaskSlot,\n    taskById: catalog.taskById,\n    taskIdsInPublicOrder: publicTaskOrder.taskIdsInPublicOrder,\n    taskMutexSlots: mutexIndexes.taskMutexSlots,\n    taskResourceClaims: resourceIndexes.taskResourceClaims,\n    taskActivatesScope: scopeIndexes.taskActivatesScope,\n    taskScopeSlots: scopeIndexes.taskScopeSlots,\n    taskSlotsById: catalog.taskSlotsById,\n    taskSlotsInPublicOrder: publicTaskOrder.taskSlotsInPublicOrder\n  });\n}\n\nfunction emptyTaskSlotLists(graph: PlannedTaskGraph): number[][] {\n  return graph.tasks.map(() => []);\n}\n\nfunction freezeSlotLists(slotLists: number[][]): readonly (readonly number[])[] {\n  return Object.freeze(slotLists.map((slots) => Object.freeze(slots)));\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/admission-core/core.mjs

@@ -0,0 +1,163 @@
+import { compileAdmissionGraphInput } from "./input.mjs";
+import { catalogForCore, inspectionForCore, schedulerInspectionForCore } from "./projection.mjs";
+import { admitTaskForCore, createAdmissionCoreFromSchedulerSnapshot, createInitialAdmissionCoreState, nextForcedTaskForCore, settleForcedTaskForCore, settleTaskForCore } from "./selection.mjs";
+import { admissionCandidatesForCore, isCoreComplete, requiredTaskForCore, requiredTaskSlotForCore, scopeToActivateForCore, selectionRejectionForPendingTask, statusForCore } from "./selection-query.mjs";
+export { compilePreparedAdmissionGraph } from "./compiled-graph.mjs";
+export { admissionCandidatesForCore, createAdmissionCoreFromSchedulerSnapshot, createInitialAdmissionCoreState, schedulerInspectionForCore, scopeToActivateForCore };
+/** 在 exact boundary validation 和一次 static compile 后创建 standalone public factory。 */
+export function createAdmissionGraph(input) {
+    const compiled = compileAdmissionGraphInput(input);
+    return Object.freeze({
+        initialState: Object.freeze(function initialState() {
+            return admissionStateForCore(createInitialAdmissionCoreState(compiled));
+        })
+    });
+}
+/** The canonical select action used by both the public opaque handle and the real shell. */
+export function selectAdmissionCore(state, taskId) {
+    const validation = validateAdmissionCoreSelection(state, taskId);
+    if (!validation.accepted)
+        return Object.freeze({ accepted: false, reason: validation.reason });
+    const next = admitTaskForCore(state, requiredTaskSlotForCore(state, taskId));
+    return Object.freeze({
+        accepted: true,
+        transition: freezeTransition(next, [Object.freeze({ kind: "admitted", taskId })], [next])
+    });
+}
+/** The public binary settlement action. Runtime outcome validation intentionally precedes ID checks. */
+export function settleAdmissionCore(state, taskId, outcome) {
+    if (outcome !== "satisfied" && outcome !== "unsatisfied") {
+        return Object.freeze({
+            accepted: false,
+            reason: Object.freeze({ kind: "invalid-settlement-outcome" })
+        });
+    }
+    return settleRunningAdmissionCore(state, taskId, outcome === "satisfied" ? "completed" : "prerequisite-unsatisfied");
+}
+/** Applies a real running Task settlement through the same reducer, retaining private exact kinds. */
+export function settleRunningAdmissionCore(state, taskId, settlementKind) {
+    if (isCoreComplete(state)) {
+        return Object.freeze({ accepted: false, reason: Object.freeze({ kind: "state-complete" }) });
+    }
+    const taskSlot = state.compiled.taskSlotsById.get(taskId);
+    if (taskSlot === undefined) {
+        return Object.freeze({ accepted: false, reason: Object.freeze({ kind: "unknown-task" }) });
+    }
+    const status = statusForCore(state, taskSlot);
+    if (status.kind !== "running") {
+        return Object.freeze({
+            accepted: false,
+            reason: Object.freeze({
+                kind: "not-running",
+                status: status.kind === "pending" ? "pending" : "settled"
+            })
+        });
+    }
+    const settled = settleTaskForCore(state, taskSlot, settlementKind);
+    const directEffect = Object.freeze({ kind: "settled", settlementKind, taskId });
+    return Object.freeze({
+        accepted: true,
+        transition: reconcileForcedBlocks(settled, [directEffect], [settled])
+    });
+}
+/** Private cancellation stays in the reducer/effect owner but has no public AdmissionState action. */
+export function cancelPendingAdmissionCore(state) {
+    let next = state;
+    const effects = [];
+    const effectStates = [];
+    for (const [slot, task] of state.compiled.graph.tasks.entries()) {
+        if (statusForCore(next, slot).kind !== "pending")
+            continue;
+        next = settleTaskForCore(next, slot, "cancelled-before-start");
+        effects.push(Object.freeze({ kind: "settled", settlementKind: "cancelled-before-start", taskId: task.id }));
+        effectStates.push(next);
+    }
+    return freezeTransition(next, effects, effectStates);
+}
+/** Reconciles forced dependency blocks before the real shell publishes its next decision boundary. */
+export function reconcileAdmissionCore(state) {
+    return reconcileForcedBlocks(state, [], []);
+}
+export function validateAdmissionCoreSelection(state, taskId) {
+    if (isCoreComplete(state))
+        return rejectedValidation(Object.freeze({ kind: "state-complete" }));
+    const taskSlot = state.compiled.taskSlotsById.get(taskId);
+    if (taskSlot === undefined)
+        return rejectedValidation(Object.freeze({ kind: "unknown-task" }));
+    const status = statusForCore(state, taskSlot);
+    if (status.kind !== "pending") {
+        return rejectedValidation(Object.freeze({
+            kind: "not-pending",
+            status: status.kind === "running" ? "running" : "settled"
+        }));
+    }
+    const reason = selectionRejectionForPendingTask(state, taskSlot);
+    return reason === undefined ? ACCEPTED_SELECTION : rejectedValidation(reason);
+}
+/** Constructs the frozen opaque public wrapper. Projection work remains lazy until its getter is read. */
+export function admissionStateForCore(core) {
+    const select = Object.freeze(function select(taskId) {
+        const selection = selectAdmissionCore(core, taskId);
+        return selection.accepted
+            ? Object.freeze({ accepted: true, state: admissionStateForCore(selection.transition.state) })
+            : Object.freeze({ accepted: false, reason: selection.reason });
+    });
+    const settle = Object.freeze(function settle(taskId, outcome) {
+        const settlement = settleAdmissionCore(core, taskId, outcome);
+        return settlement.accepted
+            ? Object.freeze({ accepted: true, state: admissionStateForCore(settlement.transition.state) })
+            : Object.freeze({ accepted: false, reason: settlement.reason });
+    });
+    const validateSelection = Object.freeze(function validateSelection(taskId) {
+        return validateAdmissionCoreSelection(core, taskId);
+    });
+    return Object.freeze({
+        get catalog() {
+            return catalogForCore(core);
+        },
+        get inspection() {
+            return inspectionForCore(core);
+        },
+        select,
+        settle,
+        validateSelection
+    });
+}
+const ACCEPTED_SELECTION = Object.freeze({ accepted: true });
+function reconcileForcedBlocks(state, initialEffects, initialEffectStates) {
+    let next = state;
+    const effects = [...initialEffects];
+    const effectStates = [...initialEffectStates];
+    while (true) {
+        const forcedTaskSlot = nextForcedTaskForCore(next);
+        if (forcedTaskSlot === undefined)
+            return freezeTransition(next, effects, effectStates);
+        const task = requiredTaskForCore(next, forcedTaskSlot);
+        const dependencyIds = task.dependsOn.filter((taskId) => {
+            const status = statusForCore(next, requiredTaskSlotForCore(next, taskId));
+            return status.kind === "settled" && status.settlementKind !== "completed";
+        });
+        next = settleForcedTaskForCore(next, forcedTaskSlot);
+        effects.push(Object.freeze({
+            dependencyIds: Object.freeze(dependencyIds),
+            kind: "settled",
+            settlementKind: "blocked",
+            taskId: task.id
+        }));
+        effectStates.push(next);
+    }
+}
+function freezeTransition(state, effects, effectStates) {
+    if (effects.length !== effectStates.length) {
+        throw new Error("admission core transition effects must have matching immutable post-states");
+    }
+    return Object.freeze({
+        effectStates: Object.freeze([...effectStates]),
+        effects: Object.freeze([...effects]),
+        state
+    });
+}
+function rejectedValidation(reason) {
+    return Object.freeze({ accepted: false, reason });
+}
+//# sourceMappingURL=core.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"core.mjs","sourceRoot":"","sources":["../../../../../src/project-run/task-scheduler/admission-core/core.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,0BAA0B,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAChG,OAAO,EACL,gBAAgB,EAChB,wCAAwC,EACxC,+BAA+B,EAC/B,qBAAqB,EACrB,uBAAuB,EACvB,iBAAiB,EAElB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,0BAA0B,EAC1B,cAAc,EACd,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,gCAAgC,EAChC,aAAa,EAEd,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,6BAA6B,EAAE,MAAM,qBAAqB,CAAC;AAEpE,OAAO,EACL,0BAA0B,EAC1B,wCAAwC,EACxC,+BAA+B,EAC/B,0BAA0B,EAC1B,sBAAsB,EACvB,CAAC;AAmBF,oFAAoF;AACpF,MAAM,UAAU,oBAAoB,CAAC,KAA0B;IAC7D,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,YAAY;YAC/C,OAAO,qBAAqB,CAAC,+BAA+B,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,mBAAmB,CACjC,KAAyB,EACzB,MAAc;IAKd,MAAM,UAAU,GAAG,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjE,IAAI,CAAC,UAAU,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/F,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,gBAAgB,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;KAC1F,CAAC,CAAC;AACL,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,mBAAmB,CACjC,KAAyB,EACzB,MAAc,EACd,OAAgB;IAKhB,IAAI,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;QACzD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;SAC9D,CAAC,CAAC;IACL,CAAC;IACD,OAAO,0BAA0B,CAC/B,KAAK,EACL,MAAM,EACN,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,0BAA0B,CACnE,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,0BAA0B,CACxC,KAAyB,EACzB,MAAc,EACd,cAGC;IAKD,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB,IAAI,EAAE,aAAa;gBACnB,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;aAC1D,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;IACzF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,qBAAqB,CAAC,OAAO,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;KACtE,CAAC,CAAC;AACL,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,0BAA0B,CAAC,KAAyB;IAClE,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,YAAY,GAAyB,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAChE,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAC3D,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC;QAC/D,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAC9F,CAAC;QACF,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACvD,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,sBAAsB,CAAC,KAAyB;IAC9D,OAAO,qBAAqB,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,KAAyB,EACzB,MAAc;IAEd,IAAI,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,kBAAkB,CACvB,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;SAC1D,CAAC,CACH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,gCAAgC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;AAChF,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,qBAAqB,CAAC,IAAwB;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,CAE1C,MAAc;QAEd,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACpD,OAAO,SAAS,CAAC,QAAQ;YACvB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7F,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,CAE1C,MAAc,EACd,OAAmC;QAEnC,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9D,OAAO,UAAU,CAAC,QAAQ;YACxB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9F,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,iBAAiB,CAEhE,MAAc;QAEd,OAAO,8BAA8B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,OAAO;YACT,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,UAAU;YACZ,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,MAAM;QACN,MAAM;QACN,iBAAiB;KACO,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,kBAAkB,GAAiC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAE3F,SAAS,qBAAqB,CAC5B,KAAyB,EACzB,cAA8C,EAC9C,mBAAkD;IAElD,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,OAAO,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC;IACpC,MAAM,YAAY,GAAG,CAAC,GAAG,mBAAmB,CAAC,CAAC;IAC9C,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,cAAc,KAAK,SAAS;YAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACvD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;YACrD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC1E,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,WAAW,CAAC;QAC5E,CAAC,CAAC,CAAC;QACH,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACrD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,MAAM,CAAC;YACZ,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;YAC3C,IAAI,EAAE,SAAS;YACf,cAAc,EAAE,SAAS;YACzB,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CACH,CAAC;QACF,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAyB,EACzB,OAAuC,EACvC,YAA2C;IAE3C,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC;QAC9C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC;QACpC,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAmD;IAEnD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AACpD,CAAC","sourcesContent":["import type {\n  AdmissionGraph,\n  AdmissionGraphInput,\n  AdmissionRejectionReason,\n  AdmissionSelectionValidation,\n  AdmissionSelectionValidationRejectionReason,\n  AdmissionSettlementOutcome,\n  AdmissionState,\n  AdmissionTransitionResult\n} from \"../../../project-definition/scheduler-policy.ts\";\nimport { compileAdmissionGraphInput } from \"./input.ts\";\nimport { catalogForCore, inspectionForCore, schedulerInspectionForCore } from \"./projection.ts\";\nimport {\n  admitTaskForCore,\n  createAdmissionCoreFromSchedulerSnapshot,\n  createInitialAdmissionCoreState,\n  nextForcedTaskForCore,\n  settleForcedTaskForCore,\n  settleTaskForCore,\n  type AdmissionCoreState\n} from \"./selection.ts\";\nimport {\n  admissionCandidatesForCore,\n  isCoreComplete,\n  requiredTaskForCore,\n  requiredTaskSlotForCore,\n  scopeToActivateForCore,\n  selectionRejectionForPendingTask,\n  statusForCore,\n  type AdmissionCoreSelection\n} from \"./selection-query.ts\";\nimport type { SchedulerSettlementKind } from \"../scheduler-decision-model.ts\";\n\nexport { compilePreparedAdmissionGraph } from \"./compiled-graph.ts\";\nexport type { CompiledAdmissionGraph } from \"./compiled-graph.ts\";\nexport {\n  admissionCandidatesForCore,\n  createAdmissionCoreFromSchedulerSnapshot,\n  createInitialAdmissionCoreState,\n  schedulerInspectionForCore,\n  scopeToActivateForCore\n};\nexport type { AdmissionCoreSelection, AdmissionCoreState };\n\nexport type AdmissionCoreEffect =\n  | Readonly<{ readonly kind: \"admitted\"; readonly taskId: string }>\n  | Readonly<{\n      readonly dependencyIds?: readonly string[];\n      readonly kind: \"settled\";\n      readonly settlementKind: SchedulerSettlementKind;\n      readonly taskId: string;\n    }>;\n\nexport interface AdmissionCoreTransition {\n  /** The immutable post-state for each corresponding canonical effect. */\n  readonly effectStates: readonly AdmissionCoreState[];\n  readonly effects: readonly AdmissionCoreEffect[];\n  readonly state: AdmissionCoreState;\n}\n\n/** 在 exact boundary validation 和一次 static compile 后创建 standalone public factory。 */\nexport function createAdmissionGraph(input: AdmissionGraphInput): AdmissionGraph {\n  const compiled = compileAdmissionGraphInput(input);\n  return Object.freeze({\n    initialState: Object.freeze(function initialState(this: void): AdmissionState {\n      return admissionStateForCore(createInitialAdmissionCoreState(compiled));\n    })\n  });\n}\n\n/** The canonical select action used by both the public opaque handle and the real shell. */\nexport function selectAdmissionCore(\n  state: AdmissionCoreState,\n  taskId: string\n): Readonly<\n  | { readonly accepted: true; readonly transition: AdmissionCoreTransition }\n  | { readonly accepted: false; readonly reason: AdmissionSelectionValidationRejectionReason }\n> {\n  const validation = validateAdmissionCoreSelection(state, taskId);\n  if (!validation.accepted) return Object.freeze({ accepted: false, reason: validation.reason });\n  const next = admitTaskForCore(state, requiredTaskSlotForCore(state, taskId));\n  return Object.freeze({\n    accepted: true,\n    transition: freezeTransition(next, [Object.freeze({ kind: \"admitted\", taskId })], [next])\n  });\n}\n\n/** The public binary settlement action. Runtime outcome validation intentionally precedes ID checks. */\nexport function settleAdmissionCore(\n  state: AdmissionCoreState,\n  taskId: string,\n  outcome: unknown\n): Readonly<\n  | { readonly accepted: true; readonly transition: AdmissionCoreTransition }\n  | { readonly accepted: false; readonly reason: AdmissionRejectionReason }\n> {\n  if (outcome !== \"satisfied\" && outcome !== \"unsatisfied\") {\n    return Object.freeze({\n      accepted: false,\n      reason: Object.freeze({ kind: \"invalid-settlement-outcome\" })\n    });\n  }\n  return settleRunningAdmissionCore(\n    state,\n    taskId,\n    outcome === \"satisfied\" ? \"completed\" : \"prerequisite-unsatisfied\"\n  );\n}\n\n/** Applies a real running Task settlement through the same reducer, retaining private exact kinds. */\nexport function settleRunningAdmissionCore(\n  state: AdmissionCoreState,\n  taskId: string,\n  settlementKind: Extract<\n    SchedulerSettlementKind,\n    \"completed\" | \"prerequisite-unsatisfied\" | \"failed\"\n  >\n): Readonly<\n  | { readonly accepted: true; readonly transition: AdmissionCoreTransition }\n  | { readonly accepted: false; readonly reason: AdmissionRejectionReason }\n> {\n  if (isCoreComplete(state)) {\n    return Object.freeze({ accepted: false, reason: Object.freeze({ kind: \"state-complete\" }) });\n  }\n  const taskSlot = state.compiled.taskSlotsById.get(taskId);\n  if (taskSlot === undefined) {\n    return Object.freeze({ accepted: false, reason: Object.freeze({ kind: \"unknown-task\" }) });\n  }\n  const status = statusForCore(state, taskSlot);\n  if (status.kind !== \"running\") {\n    return Object.freeze({\n      accepted: false,\n      reason: Object.freeze({\n        kind: \"not-running\",\n        status: status.kind === \"pending\" ? \"pending\" : \"settled\"\n      })\n    });\n  }\n  const settled = settleTaskForCore(state, taskSlot, settlementKind);\n  const directEffect = Object.freeze({ kind: \"settled\" as const, settlementKind, taskId });\n  return Object.freeze({\n    accepted: true,\n    transition: reconcileForcedBlocks(settled, [directEffect], [settled])\n  });\n}\n\n/** Private cancellation stays in the reducer/effect owner but has no public AdmissionState action. */\nexport function cancelPendingAdmissionCore(state: AdmissionCoreState): AdmissionCoreTransition {\n  let next = state;\n  const effects: AdmissionCoreEffect[] = [];\n  const effectStates: AdmissionCoreState[] = [];\n  for (const [slot, task] of state.compiled.graph.tasks.entries()) {\n    if (statusForCore(next, slot).kind !== \"pending\") continue;\n    next = settleTaskForCore(next, slot, \"cancelled-before-start\");\n    effects.push(\n      Object.freeze({ kind: \"settled\", settlementKind: \"cancelled-before-start\", taskId: task.id })\n    );\n    effectStates.push(next);\n  }\n  return freezeTransition(next, effects, effectStates);\n}\n\n/** Reconciles forced dependency blocks before the real shell publishes its next decision boundary. */\nexport function reconcileAdmissionCore(state: AdmissionCoreState): AdmissionCoreTransition {\n  return reconcileForcedBlocks(state, [], []);\n}\n\nexport function validateAdmissionCoreSelection(\n  state: AdmissionCoreState,\n  taskId: string\n): AdmissionSelectionValidation {\n  if (isCoreComplete(state)) return rejectedValidation(Object.freeze({ kind: \"state-complete\" }));\n  const taskSlot = state.compiled.taskSlotsById.get(taskId);\n  if (taskSlot === undefined) return rejectedValidation(Object.freeze({ kind: \"unknown-task\" }));\n  const status = statusForCore(state, taskSlot);\n  if (status.kind !== \"pending\") {\n    return rejectedValidation(\n      Object.freeze({\n        kind: \"not-pending\",\n        status: status.kind === \"running\" ? \"running\" : \"settled\"\n      })\n    );\n  }\n  const reason = selectionRejectionForPendingTask(state, taskSlot);\n  return reason === undefined ? ACCEPTED_SELECTION : rejectedValidation(reason);\n}\n\n/** Constructs the frozen opaque public wrapper. Projection work remains lazy until its getter is read. */\nexport function admissionStateForCore(core: AdmissionCoreState): AdmissionState {\n  const select = Object.freeze(function select(\n    this: void,\n    taskId: string\n  ): AdmissionTransitionResult {\n    const selection = selectAdmissionCore(core, taskId);\n    return selection.accepted\n      ? Object.freeze({ accepted: true, state: admissionStateForCore(selection.transition.state) })\n      : Object.freeze({ accepted: false, reason: selection.reason });\n  });\n  const settle = Object.freeze(function settle(\n    this: void,\n    taskId: string,\n    outcome: AdmissionSettlementOutcome\n  ): AdmissionTransitionResult {\n    const settlement = settleAdmissionCore(core, taskId, outcome);\n    return settlement.accepted\n      ? Object.freeze({ accepted: true, state: admissionStateForCore(settlement.transition.state) })\n      : Object.freeze({ accepted: false, reason: settlement.reason });\n  });\n  const validateSelection = Object.freeze(function validateSelection(\n    this: void,\n    taskId: string\n  ): AdmissionSelectionValidation {\n    return validateAdmissionCoreSelection(core, taskId);\n  });\n  return Object.freeze({\n    get catalog() {\n      return catalogForCore(core);\n    },\n    get inspection() {\n      return inspectionForCore(core);\n    },\n    select,\n    settle,\n    validateSelection\n  } satisfies AdmissionState);\n}\n\nconst ACCEPTED_SELECTION: AdmissionSelectionValidation = Object.freeze({ accepted: true });\n\nfunction reconcileForcedBlocks(\n  state: AdmissionCoreState,\n  initialEffects: readonly AdmissionCoreEffect[],\n  initialEffectStates: readonly AdmissionCoreState[]\n): AdmissionCoreTransition {\n  let next = state;\n  const effects = [...initialEffects];\n  const effectStates = [...initialEffectStates];\n  while (true) {\n    const forcedTaskSlot = nextForcedTaskForCore(next);\n    if (forcedTaskSlot === undefined) return freezeTransition(next, effects, effectStates);\n    const task = requiredTaskForCore(next, forcedTaskSlot);\n    const dependencyIds = task.dependsOn.filter((taskId) => {\n      const status = statusForCore(next, requiredTaskSlotForCore(next, taskId));\n      return status.kind === \"settled\" && status.settlementKind !== \"completed\";\n    });\n    next = settleForcedTaskForCore(next, forcedTaskSlot);\n    effects.push(\n      Object.freeze({\n        dependencyIds: Object.freeze(dependencyIds),\n        kind: \"settled\",\n        settlementKind: \"blocked\",\n        taskId: task.id\n      })\n    );\n    effectStates.push(next);\n  }\n}\n\nfunction freezeTransition(\n  state: AdmissionCoreState,\n  effects: readonly AdmissionCoreEffect[],\n  effectStates: readonly AdmissionCoreState[]\n): AdmissionCoreTransition {\n  if (effects.length !== effectStates.length) {\n    throw new Error(\"admission core transition effects must have matching immutable post-states\");\n  }\n  return Object.freeze({\n    effectStates: Object.freeze([...effectStates]),\n    effects: Object.freeze([...effects]),\n    state\n  });\n}\n\nfunction rejectedValidation(\n  reason: AdmissionSelectionValidationRejectionReason\n): AdmissionSelectionValidation {\n  return Object.freeze({ accepted: false, reason });\n}\n"]}