@zxyycom/vibe-check 0.0.1 → 0.0.3

package/dist/esm/package-tools/learned-critical-path/selection-layers.mjs

@@ -0,0 +1,27 @@
+/** Projects the public graph and boundary facts into the Scheduler's two constrained selection layers. */
+export function learnedSelectionLayers(context) {
+    const taskById = new Map(context.graph.tasks.map((task) => [task.taskId, task]));
+    const scopeById = new Map(context.graph.scopes.map((scope) => [scope.id, scope]));
+    const activeScopeIds = new Set(context.activeScopeIds);
+    return Object.freeze({
+        continuation: Object.freeze(context.candidates.filter((candidate) => isContinuation(candidate, taskById, scopeById, activeScopeIds, context.capacity.maxParallel))),
+        scopeById,
+        taskById,
+        tightening: Object.freeze(context.candidates.filter((candidate) => isTightening(candidate, taskById, scopeById, activeScopeIds, context.capacity.maxParallel)))
+    });
+}
+function isTightening(candidate, taskById, scopeById, activeScopeIds, maxParallel) {
+    const scope = scopeForCandidate(candidate, taskById, scopeById);
+    return (scope?.activationTaskIds.includes(candidate.taskId) === true &&
+        !activeScopeIds.has(scope.id) &&
+        scope.maxParallel < maxParallel);
+}
+function isContinuation(candidate, taskById, scopeById, activeScopeIds, maxParallel) {
+    const scope = scopeForCandidate(candidate, taskById, scopeById);
+    return scope !== undefined && activeScopeIds.has(scope.id) && scope.maxParallel < maxParallel;
+}
+export function scopeForCandidate(candidate, taskById, scopeById) {
+    const task = taskById.get(candidate.taskId);
+    return task?.scopeId === null || task === undefined ? undefined : scopeById.get(task.scopeId);
+}
+//# sourceMappingURL=selection-layers.mjs.map

package/dist/esm/package-tools/learned-critical-path/selection-layers.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"selection-layers.mjs","sourceRoot":"","sources":["../../../../src/package-tools/learned-critical-path/selection-layers.ts"],"names":[],"mappings":"AAgBA,0GAA0G;AAC1G,MAAM,UAAU,sBAAsB,CAAC,OAA+B;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IAC1F,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC;IAC3F,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC,MAAM,CACzB,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAC7F,CACF;QACD,SAAS;QACT,QAAQ;QACR,UAAU,EAAE,MAAM,CAAC,MAAM,CACvB,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,YAAY,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAC3F,CACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,SAAoB,EACpB,QAAmC,EACnC,SAAqC,EACrC,cAAmC,EACnC,WAAmB;IAEnB,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChE,OAAO,CACL,KAAK,EAAE,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI;QAC5D,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,WAAW,GAAG,WAAW,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,SAAoB,EACpB,QAAmC,EACnC,SAAqC,EACrC,cAAmC,EACnC,WAAmB;IAEnB,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChE,OAAO,KAAK,KAAK,SAAS,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,WAAW,GAAG,WAAW,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,SAAoB,EACpB,QAAmC,EACnC,SAAqC;IAErC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO,IAAI,EAAE,OAAO,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAChG,CAAC","sourcesContent":["import type {\n  AdmissionPolicyContext,\n  SchedulerGraphSnapshot\n} from \"../../project-definition/project-definition.ts\";\n\ntype Candidate = AdmissionPolicyContext[\"candidates\"][number];\ntype Task = SchedulerGraphSnapshot[\"tasks\"][number];\ntype Scope = SchedulerGraphSnapshot[\"scopes\"][number];\n\nexport interface LearnedSelectionLayers {\n  readonly continuation: readonly Candidate[];\n  readonly scopeById: ReadonlyMap<string, Scope>;\n  readonly taskById: ReadonlyMap<string, Task>;\n  readonly tightening: readonly Candidate[];\n}\n\n/** Projects the public graph and boundary facts into the Scheduler's two constrained selection layers. */\nexport function learnedSelectionLayers(context: AdmissionPolicyContext): LearnedSelectionLayers {\n  const taskById = new Map(context.graph.tasks.map((task) => [task.taskId, task] as const));\n  const scopeById = new Map(context.graph.scopes.map((scope) => [scope.id, scope] as const));\n  const activeScopeIds = new Set(context.activeScopeIds);\n  return Object.freeze({\n    continuation: Object.freeze(\n      context.candidates.filter((candidate) =>\n        isContinuation(candidate, taskById, scopeById, activeScopeIds, context.capacity.maxParallel)\n      )\n    ),\n    scopeById,\n    taskById,\n    tightening: Object.freeze(\n      context.candidates.filter((candidate) =>\n        isTightening(candidate, taskById, scopeById, activeScopeIds, context.capacity.maxParallel)\n      )\n    )\n  });\n}\n\nfunction isTightening(\n  candidate: Candidate,\n  taskById: ReadonlyMap<string, Task>,\n  scopeById: ReadonlyMap<string, Scope>,\n  activeScopeIds: ReadonlySet<string>,\n  maxParallel: number\n): boolean {\n  const scope = scopeForCandidate(candidate, taskById, scopeById);\n  return (\n    scope?.activationTaskIds.includes(candidate.taskId) === true &&\n    !activeScopeIds.has(scope.id) &&\n    scope.maxParallel < maxParallel\n  );\n}\n\nfunction isContinuation(\n  candidate: Candidate,\n  taskById: ReadonlyMap<string, Task>,\n  scopeById: ReadonlyMap<string, Scope>,\n  activeScopeIds: ReadonlySet<string>,\n  maxParallel: number\n): boolean {\n  const scope = scopeForCandidate(candidate, taskById, scopeById);\n  return scope !== undefined && activeScopeIds.has(scope.id) && scope.maxParallel < maxParallel;\n}\n\nexport function scopeForCandidate(\n  candidate: Candidate,\n  taskById: ReadonlyMap<string, Task>,\n  scopeById: ReadonlyMap<string, Scope>\n): Scope | undefined {\n  const task = taskById.get(candidate.taskId);\n  return task?.scopeId === null || task === undefined ? undefined : scopeById.get(task.scopeId);\n}\n"]}

package/dist/esm/package-tools/learned-critical-path/static-decision.mjs

@@ -0,0 +1,55 @@
+import { learnedSelectionLayers, scopeForCandidate } from "./selection-layers.mjs";
+/** Preserves ordinary static selection when learned preparation cannot form a ranking. */
+export function staticDecision(context) {
+    const layers = learnedSelectionLayers(context);
+    const selected = selectStaticCandidate(context.candidates, layers.continuation, layers.scopeById, layers.taskById, layers.tightening);
+    return selected === undefined || !selected.canAdmit
+        ? Object.freeze({ kind: "wait" })
+        : Object.freeze({ kind: "select", taskId: selected.taskId });
+}
+function selectStaticCandidate(candidates, continuation, scopeById, taskById, tightening) {
+    if (tightening.length > 0)
+        return first(sortConstrained(tightening, taskById, scopeById));
+    if (continuation.length > 0)
+        return first(sortConstrained(continuation, taskById, scopeById));
+    return selectOrdinary(candidates, taskById);
+}
+function selectOrdinary(candidates, taskById) {
+    const admissible = candidates.filter((candidate) => candidate.canAdmit);
+    return [...(admissible.length === 0 ? candidates : admissible)].sort((left, right) => priorityDifference(left, right, taskById) || compareText(left.taskId, right.taskId))[0];
+}
+function sortConstrained(candidates, taskById, scopeById) {
+    return [...candidates].sort((left, right) => constrainedComparison(left, right, taskById, scopeById));
+}
+function constrainedComparison(left, right, taskById, scopeById) {
+    const leftScope = requiredScope(left, taskById, scopeById);
+    const rightScope = requiredScope(right, taskById, scopeById);
+    return (leftScope.maxParallel - rightScope.maxParallel ||
+        priorityDifference(left, right, taskById) ||
+        compareText(leftScope.id, rightScope.id) ||
+        compareText(left.taskId, right.taskId));
+}
+function requiredScope(candidate, taskById, scopeById) {
+    const scope = scopeForCandidate(candidate, taskById, scopeById);
+    if (scope === undefined)
+        throw new Error("constrained task is missing a scope");
+    return scope;
+}
+function priorityDifference(left, right, taskById) {
+    return ((taskById.get(right.taskId)?.admissionPriority ?? 0) -
+        (taskById.get(left.taskId)?.admissionPriority ?? 0));
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function first(values) {
+    const value = values[0];
+    if (value === undefined)
+        throw new Error("static strategy requires a candidate");
+    return value;
+}
+//# sourceMappingURL=static-decision.mjs.map

package/dist/esm/package-tools/learned-critical-path/static-decision.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-decision.mjs","sourceRoot":"","sources":["../../../../src/package-tools/learned-critical-path/static-decision.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAMlF,0FAA0F;AAC1F,MAAM,UAAU,cAAc,CAAC,OAA+B;IAC5D,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,qBAAqB,CACpC,OAAO,CAAC,UAAU,EAClB,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,SAAS,EAChB,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,UAAU,CAClB,CAAC;IACF,OAAO,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ;QACjD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAgC,EAChC,YAAkC,EAClC,SAAqC,EACrC,QAAmC,EACnC,UAAgC;IAEhC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,eAAe,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAC1F,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,eAAe,CAAC,YAAY,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9F,OAAO,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,cAAc,CACrB,UAAgC,EAChC,QAAmC;IAEnC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACxE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAClE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CACtF,CAAC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,eAAe,CACtB,UAAgC,EAChC,QAAmC,EACnC,SAAqC;IAErC,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1C,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAe,EACf,KAAgB,EAChB,QAAmC,EACnC,SAAqC;IAErC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC7D,OAAO,CACL,SAAS,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW;QAC9C,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC;QACzC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CACvC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,SAAoB,EACpB,QAAmC,EACnC,SAAqC;IAErC,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChE,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAe,EACf,KAAgB,EAChB,QAAmC;IAEnC,OAAO,CACL,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,iBAAiB,IAAI,CAAC,CAAC;QACpD,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,iBAAiB,IAAI,CAAC,CAAC,CACpD,CAAC;AACJ,CAAC;AACD,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;AACD,SAAS,KAAK,CAAI,MAAoB;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACjF,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["import type {\n  AdmissionPolicyContext,\n  AdmissionProposal,\n  SchedulerGraphSnapshot\n} from \"../../project-definition/project-definition.ts\";\nimport { learnedSelectionLayers, scopeForCandidate } from \"./selection-layers.ts\";\n\ntype Candidate = AdmissionPolicyContext[\"candidates\"][number];\ntype Task = SchedulerGraphSnapshot[\"tasks\"][number];\ntype Scope = SchedulerGraphSnapshot[\"scopes\"][number];\n\n/** Preserves ordinary static selection when learned preparation cannot form a ranking. */\nexport function staticDecision(context: AdmissionPolicyContext): AdmissionProposal {\n  const layers = learnedSelectionLayers(context);\n  const selected = selectStaticCandidate(\n    context.candidates,\n    layers.continuation,\n    layers.scopeById,\n    layers.taskById,\n    layers.tightening\n  );\n  return selected === undefined || !selected.canAdmit\n    ? Object.freeze({ kind: \"wait\" })\n    : Object.freeze({ kind: \"select\", taskId: selected.taskId });\n}\n\nfunction selectStaticCandidate(\n  candidates: readonly Candidate[],\n  continuation: readonly Candidate[],\n  scopeById: ReadonlyMap<string, Scope>,\n  taskById: ReadonlyMap<string, Task>,\n  tightening: readonly Candidate[]\n): Candidate | undefined {\n  if (tightening.length > 0) return first(sortConstrained(tightening, taskById, scopeById));\n  if (continuation.length > 0) return first(sortConstrained(continuation, taskById, scopeById));\n  return selectOrdinary(candidates, taskById);\n}\n\nfunction selectOrdinary(\n  candidates: readonly Candidate[],\n  taskById: ReadonlyMap<string, Task>\n): Candidate | undefined {\n  const admissible = candidates.filter((candidate) => candidate.canAdmit);\n  return [...(admissible.length === 0 ? candidates : admissible)].sort(\n    (left, right) =>\n      priorityDifference(left, right, taskById) || compareText(left.taskId, right.taskId)\n  )[0];\n}\n\nfunction sortConstrained(\n  candidates: readonly Candidate[],\n  taskById: ReadonlyMap<string, Task>,\n  scopeById: ReadonlyMap<string, Scope>\n): Candidate[] {\n  return [...candidates].sort((left, right) =>\n    constrainedComparison(left, right, taskById, scopeById)\n  );\n}\n\nfunction constrainedComparison(\n  left: Candidate,\n  right: Candidate,\n  taskById: ReadonlyMap<string, Task>,\n  scopeById: ReadonlyMap<string, Scope>\n): number {\n  const leftScope = requiredScope(left, taskById, scopeById);\n  const rightScope = requiredScope(right, taskById, scopeById);\n  return (\n    leftScope.maxParallel - rightScope.maxParallel ||\n    priorityDifference(left, right, taskById) ||\n    compareText(leftScope.id, rightScope.id) ||\n    compareText(left.taskId, right.taskId)\n  );\n}\n\nfunction requiredScope(\n  candidate: Candidate,\n  taskById: ReadonlyMap<string, Task>,\n  scopeById: ReadonlyMap<string, Scope>\n): Scope {\n  const scope = scopeForCandidate(candidate, taskById, scopeById);\n  if (scope === undefined) throw new Error(\"constrained task is missing a scope\");\n  return scope;\n}\n\nfunction priorityDifference(\n  left: Candidate,\n  right: Candidate,\n  taskById: ReadonlyMap<string, Task>\n): number {\n  return (\n    (taskById.get(right.taskId)?.admissionPriority ?? 0) -\n    (taskById.get(left.taskId)?.admissionPriority ?? 0)\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}\nfunction first<T>(values: readonly T[]): T {\n  const value = values[0];\n  if (value === undefined) throw new Error(\"static strategy requires a candidate\");\n  return value;\n}\n"]}

package/dist/esm/package-tools/learned-critical-path/strategy.mjs

@@ -0,0 +1,179 @@
+import { isAbsolute } from "node:path";
+import { canonicalizeJsonValue } from "../../data-boundary/canonical-data.mjs";
+import { prepareSchedulerDurationModel } from "./duration-model/preparation.mjs";
+import { learnedSelectionLayers } from "./selection-layers.mjs";
+import { staticDecision } from "./static-decision.mjs";
+import { predictionForTask } from "./duration-model/prediction.mjs";
+import { createSchedulerCriticalPathSnapshot, criticalPathScoreForTask } from "./critical-path-ranking.mjs";
+/**
+ * 构造普通公开 prepared strategy。调用方拥有 history location 与 identity projection；
+ * Product 只按同一 custom strategy lifecycle 调用它，不为该 helper 增加特权。
+ */
+export function createLearnedCriticalPathStrategy(options) {
+    if (typeof options.stateDirectory !== "string" || !isAbsolute(options.stateDirectory)) {
+        throw new TypeError("learned critical-path stateDirectory must be an absolute path");
+    }
+    const model = modelOptions(options);
+    return Object.freeze({
+        kind: "prepared",
+        prepare: async ({ graph }) => {
+            const predictionInputs = predictionInputsFor(graph, options.identityForTask, model);
+            if (predictionInputs === undefined) {
+                observe(options, { kind: "history-unavailable", reason: "identity-invalid" });
+                return Object.freeze({ decide: staticDecision });
+            }
+            const durationModel = await prepareSchedulerDurationModel({
+                predictionInputs,
+                stateDirectory: options.stateDirectory,
+                coldStartDurationMs: model.coldStartDurationMs,
+                maxSamplesPerSeries: model.sampleWindow,
+                maxSeries: model.maxHistorySeries
+            });
+            if (durationModel.kind === "static-fallback") {
+                observe(options, { kind: "history-unavailable", reason: "setup-failed" });
+                return Object.freeze({ decide: staticDecision });
+            }
+            let criticalPath;
+            try {
+                criticalPath = createSchedulerCriticalPathSnapshot(graph, durationModel.prediction);
+            }
+            catch {
+                observe(options, { kind: "history-unavailable", reason: "setup-failed" });
+                return Object.freeze({ decide: staticDecision });
+            }
+            return Object.freeze({
+                decide: (context) => learnedDecision(context, durationModel.prediction, criticalPath, options),
+                terminalEffect: async (context) => {
+                    const recorded = await durationModel.record(context);
+                    if (recorded.kind === "failed" || recorded.writeObservation === "failed") {
+                        observe(options, { kind: "recording-unavailable" });
+                    }
+                }
+            });
+        }
+    });
+}
+function modelOptions(options) {
+    const coldStartDurationMs = options.coldStartDurationMs ?? 1;
+    const maxHistorySeries = options.maxHistorySeries ?? 4_096;
+    const sampleWindow = options.sampleWindow ?? 32;
+    validatePositiveFinite(coldStartDurationMs, "coldStartDurationMs");
+    validateBoundedInteger(maxHistorySeries, "maxHistorySeries", 4_096);
+    validateBoundedInteger(sampleWindow, "sampleWindow", 32);
+    return Object.freeze({ coldStartDurationMs, maxHistorySeries, sampleWindow });
+}
+function validatePositiveFinite(value, name) {
+    if (!Number.isFinite(value) || value <= 0)
+        throw new TypeError(`learned critical-path ${name} must be positive and finite`);
+}
+function validateBoundedInteger(value, name, maximum) {
+    if (!Number.isSafeInteger(value) || value <= 0 || value > maximum)
+        throw new TypeError(`learned critical-path ${name} must be a positive safe integer`);
+}
+function predictionInputsFor(graph, identityForTask, model) {
+    const inputs = [];
+    for (const task of graph.tasks) {
+        let identity;
+        try {
+            identity = canonicalizeJsonValue({ historyKey: identityForTask(task), model });
+        }
+        catch {
+            return undefined;
+        }
+        if (identity === undefined)
+            return undefined;
+        inputs.push(Object.freeze({
+            authoredOptions: identity,
+            checkId: task.taskId,
+            flags: null,
+            taskId: task.taskId
+        }));
+    }
+    return Object.freeze(inputs);
+}
+function learnedDecision(context, prediction, criticalPath, options) {
+    const selected = selectLearnedCandidate(context, criticalPath);
+    if (!selected.canAdmit)
+        return Object.freeze({ kind: "wait" });
+    const taskPrediction = predictionForTask(prediction, selected.taskId);
+    const score = criticalPathScoreForTask(criticalPath, selected.taskId);
+    if (taskPrediction !== undefined && score !== undefined) {
+        observe(options, Object.freeze({
+            kind: "selection-proposed",
+            taskId: selected.taskId,
+            criticalPathScore: score,
+            estimatedDurationMs: taskPrediction.estimatedDurationMs,
+            sampleCount: taskPrediction.sampleCount,
+            source: taskPrediction.source
+        }));
+    }
+    return Object.freeze({ kind: "select", taskId: selected.taskId });
+}
+function selectLearnedCandidate(context, criticalPath) {
+    const layers = learnedSelectionLayers(context);
+    if (layers.tightening.length > 0)
+        return requiredFirst(sortConstrained(layers.tightening, layers.taskById, layers.scopeById, criticalPath));
+    if (layers.continuation.length > 0)
+        return requiredFirst(sortConstrained(layers.continuation, layers.taskById, layers.scopeById, criticalPath));
+    return requiredFirst([...context.candidates].sort(learnedCandidateComparator(layers.taskById, criticalPath)));
+}
+function learnedCandidateComparator(taskById, criticalPath) {
+    return (left, right) => compareLearnedTasks(taskById, criticalPath, left.taskId, right.taskId);
+}
+function sortConstrained(candidates, taskById, scopeById, criticalPath) {
+    return [...candidates].sort(learnedConstrainedComparator(taskById, scopeById, criticalPath));
+}
+function learnedConstrainedComparator(taskById, scopeById, criticalPath) {
+    return (left, right) => {
+        const leftScope = requiredLearnedScope(left, taskById, scopeById);
+        const rightScope = requiredLearnedScope(right, taskById, scopeById);
+        return (leftScope.maxParallel - rightScope.maxParallel ||
+            compareLearnedTasks(taskById, criticalPath, left.taskId, right.taskId) ||
+            compareText(leftScope.id, rightScope.id) ||
+            compareText(left.taskId, right.taskId));
+    };
+}
+function requiredLearnedScope(candidate, taskById, scopeById) {
+    const task = taskById.get(candidate.taskId);
+    const scope = task?.scopeId === null || task === undefined ? undefined : scopeById.get(task.scopeId);
+    if (scope === undefined)
+        throw new Error("constrained task is missing a scope");
+    return scope;
+}
+function compareLearnedTasks(taskById, criticalPath, leftId, rightId) {
+    const left = taskById.get(leftId);
+    const right = taskById.get(rightId);
+    if (left === undefined || right === undefined)
+        throw new Error("learned candidate is missing from graph");
+    const leftScore = criticalPathScoreForTask(criticalPath, leftId);
+    const rightScore = criticalPathScoreForTask(criticalPath, rightId);
+    if (leftScore === undefined || rightScore === undefined)
+        throw new Error("learned scheduler score is missing");
+    return (rightScore - leftScore ||
+        right.admissionPriority - left.admissionPriority ||
+        compareText(leftId, rightId));
+}
+function observe(options, event) {
+    try {
+        const observed = options.observe?.(event);
+        if (observed !== undefined)
+            void Promise.resolve(observed).catch(() => undefined);
+    }
+    catch {
+        // Caller observation is contained.
+    }
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function requiredFirst(values) {
+    const first = values[0];
+    if (first === undefined)
+        throw new Error("learned strategy requires a candidate");
+    return first;
+}
+//# sourceMappingURL=strategy.mjs.map

package/dist/esm/package-tools/learned-critical-path/strategy.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.mjs","sourceRoot":"","sources":["../../../../src/package-tools/learned-critical-path/strategy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvC,OAAO,EACL,qBAAqB,EAEtB,MAAM,uCAAuC,CAAC;AAQ/C,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EACL,iBAAiB,EAGlB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,mCAAmC,EACnC,wBAAwB,EAEzB,MAAM,4BAA4B,CAAC;AAkCpC;;;GAGG;AACH,MAAM,UAAU,iCAAiC,CAC/C,OAA2C;IAE3C,IAAI,OAAO,OAAO,CAAC,cAAc,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,UAAmB;QACzB,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YAC3B,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;YACpF,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACnC,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;gBAC9E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,aAAa,GAAG,MAAM,6BAA6B,CAAC;gBACxD,gBAAgB;gBAChB,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;gBAC9C,mBAAmB,EAAE,KAAK,CAAC,YAAY;gBACvC,SAAS,EAAE,KAAK,CAAC,gBAAgB;aAClC,CAAC,CAAC;YACH,IAAI,aAAa,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC7C,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;gBAC1E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,IAAI,YAA2C,CAAC;YAChD,IAAI,CAAC;gBACH,YAAY,GAAG,mCAAmC,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;YACtF,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;gBAC1E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,MAAM,EAAE,CAAC,OAA+B,EAAE,EAAE,CAC1C,eAAe,CAAC,OAAO,EAAE,aAAa,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC;gBAC3E,cAAc,EAAE,KAAK,EAAE,OAAoC,EAAE,EAAE;oBAC7D,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACrD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;wBACzE,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;aACF,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,OAA2C;IAK/D,MAAM,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,IAAI,CAAC,CAAC;IAC7D,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,KAAK,CAAC;IAC3D,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;IAChD,sBAAsB,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IACnE,sBAAsB,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;IACpE,sBAAsB,CAAC,YAAY,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,YAAY,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAa,EAAE,IAAY;IACzD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QACvC,MAAM,IAAI,SAAS,CAAC,yBAAyB,IAAI,8BAA8B,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAa,EAAE,IAAY,EAAE,OAAe;IAC1E,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,OAAO;QAC/D,MAAM,IAAI,SAAS,CAAC,yBAAyB,IAAI,kCAAkC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA6B,EAC7B,eAAsE,EACtE,KAIE;IAEF,MAAM,MAAM,GAA+B,EAAE,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,QAAwC,CAAC;QAC7C,IAAI,CAAC;YACH,QAAQ,GAAG,qBAAqB,CAAC,EAAE,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC7C,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,MAAM,CAAC;YACZ,eAAe,EAAE,QAAQ;YACzB,OAAO,EAAE,IAAI,CAAC,MAAM;YACpB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,eAAe,CACtB,OAA+B,EAC/B,UAAuC,EACvC,YAA2C,EAC3C,OAA2C;IAE3C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,wBAAwB,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,cAAc,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxD,OAAO,CACL,OAAO,EACP,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,iBAAiB,EAAE,KAAK;YACxB,mBAAmB,EAAE,cAAc,CAAC,mBAAmB;YACvD,WAAW,EAAE,cAAc,CAAC,WAAW;YACvC,MAAM,EAAE,cAAc,CAAC,MAAM;SAC9B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAA+B,EAC/B,YAA2C;IAE3C,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC9B,OAAO,aAAa,CAClB,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,CACpF,CAAC;IACJ,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAChC,OAAO,aAAa,CAClB,eAAe,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,CACtF,CAAC;IACJ,OAAO,aAAa,CAClB,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CACxF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,QAAsE,EACtE,YAA2C;IAK3C,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,eAAe,CACtB,UAAmE,EACnE,QAAsE,EACtE,SAAwE,EACxE,YAA2C;IAE3C,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED,SAAS,4BAA4B,CACnC,QAAsE,EACtE,SAAwE,EACxE,YAA2C;IAK3C,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,UAAU,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpE,OAAO,CACL,SAAS,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW;YAC9C,mBAAmB,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;YACtE,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;YACxC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CACvC,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAuD,EACvD,QAAsE,EACtE,SAAwE;IAExE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,KAAK,GACT,IAAI,EAAE,OAAO,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,mBAAmB,CAC1B,QAAsE,EACtE,YAA2C,EAC3C,MAAc,EACd,OAAe;IAEf,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAC3C,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,wBAAwB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,wBAAwB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,SAAS,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;QACrD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,OAAO,CACL,UAAU,GAAG,SAAS;QACtB,KAAK,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB;QAChD,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAC7B,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,OAA2C,EAC3C,KAAqC;IAErC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS;YAAE,KAAK,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACpF,CAAC;IAAC,MAAM,CAAC;QACP,mCAAmC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAI,MAAoB;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["import { isAbsolute } from \"node:path\";\n\nimport {\n  canonicalizeJsonValue,\n  type CanonicalJsonValue\n} from \"../../data-boundary/canonical-data.ts\";\nimport type {\n  AdmissionPolicyContext,\n  AdmissionProposal,\n  CustomAdmissionStrategy,\n  SchedulerGraphSnapshot,\n  SchedulerMeasurementContext\n} from \"../../project-definition/project-definition.ts\";\nimport { prepareSchedulerDurationModel } from \"./duration-model/preparation.ts\";\nimport { learnedSelectionLayers } from \"./selection-layers.ts\";\nimport { staticDecision } from \"./static-decision.ts\";\nimport {\n  predictionForTask,\n  type SchedulerPredictionInput,\n  type SchedulerPredictionSnapshot\n} from \"./duration-model/prediction.ts\";\nimport {\n  createSchedulerCriticalPathSnapshot,\n  criticalPathScoreForTask,\n  type SchedulerCriticalPathSnapshot\n} from \"./critical-path-ranking.ts\";\n\n/** 公开 learned critical-path prepared strategy 的调用方配置。 */\nexport interface LearnedCriticalPathStrategyOptions {\n  /** 调用方拥有的可丢弃 learned duration history 本地目录；必须是绝对路径。 */\n  readonly stateDirectory: string;\n  /** 为每个公开 Task 提供 canonical-JSON-compatible 的调用方 identity projection。 */\n  readonly identityForTask: (task: SchedulerGraphSnapshot[\"tasks\"][number]) => unknown;\n  /** 单个 identity 最多保留的样本数；默认 32。 */\n  readonly sampleWindow?: number;\n  /** 最多保留的 identity 数；默认 4096。 */\n  readonly maxHistorySeries?: number;\n  /** 正的 cold-start duration 权重（毫秒）；默认 1。 */\n  readonly coldStartDurationMs?: number;\n  /** 可选调用方 observation sink；observer fault 不改变 scheduling 或 Run facts。 */\n  readonly observe?: (event: LearnedCriticalPathObservation) => void | Promise<void>;\n}\n\n/** 调用方可选 observer 收到的有界 learned strategy 事件；selection-proposed 不表示 Scheduler 已接受 admission。 */\nexport type LearnedCriticalPathObservation =\n  | Readonly<{\n      readonly kind: \"history-unavailable\";\n      readonly reason: \"identity-invalid\" | \"setup-failed\";\n    }>\n  | Readonly<{\n      readonly kind: \"selection-proposed\";\n      readonly taskId: string;\n      readonly estimatedDurationMs: number;\n      readonly criticalPathScore: number;\n      readonly sampleCount: number;\n      readonly source: \"learned\" | \"project-prior\" | \"cold-start\";\n    }>\n  | Readonly<{ readonly kind: \"recording-unavailable\" }>;\n\n/**\n * 构造普通公开 prepared strategy。调用方拥有 history location 与 identity projection；\n * Product 只按同一 custom strategy lifecycle 调用它，不为该 helper 增加特权。\n */\nexport function createLearnedCriticalPathStrategy(\n  options: LearnedCriticalPathStrategyOptions\n): CustomAdmissionStrategy {\n  if (typeof options.stateDirectory !== \"string\" || !isAbsolute(options.stateDirectory)) {\n    throw new TypeError(\"learned critical-path stateDirectory must be an absolute path\");\n  }\n  const model = modelOptions(options);\n  return Object.freeze({\n    kind: \"prepared\" as const,\n    prepare: async ({ graph }) => {\n      const predictionInputs = predictionInputsFor(graph, options.identityForTask, model);\n      if (predictionInputs === undefined) {\n        observe(options, { kind: \"history-unavailable\", reason: \"identity-invalid\" });\n        return Object.freeze({ decide: staticDecision });\n      }\n      const durationModel = await prepareSchedulerDurationModel({\n        predictionInputs,\n        stateDirectory: options.stateDirectory,\n        coldStartDurationMs: model.coldStartDurationMs,\n        maxSamplesPerSeries: model.sampleWindow,\n        maxSeries: model.maxHistorySeries\n      });\n      if (durationModel.kind === \"static-fallback\") {\n        observe(options, { kind: \"history-unavailable\", reason: \"setup-failed\" });\n        return Object.freeze({ decide: staticDecision });\n      }\n      let criticalPath: SchedulerCriticalPathSnapshot;\n      try {\n        criticalPath = createSchedulerCriticalPathSnapshot(graph, durationModel.prediction);\n      } catch {\n        observe(options, { kind: \"history-unavailable\", reason: \"setup-failed\" });\n        return Object.freeze({ decide: staticDecision });\n      }\n      return Object.freeze({\n        decide: (context: AdmissionPolicyContext) =>\n          learnedDecision(context, durationModel.prediction, criticalPath, options),\n        terminalEffect: async (context: SchedulerMeasurementContext) => {\n          const recorded = await durationModel.record(context);\n          if (recorded.kind === \"failed\" || recorded.writeObservation === \"failed\") {\n            observe(options, { kind: \"recording-unavailable\" });\n          }\n        }\n      });\n    }\n  });\n}\n\nfunction modelOptions(options: LearnedCriticalPathStrategyOptions): Readonly<{\n  readonly coldStartDurationMs: number;\n  readonly maxHistorySeries: number;\n  readonly sampleWindow: number;\n}> {\n  const coldStartDurationMs = options.coldStartDurationMs ?? 1;\n  const maxHistorySeries = options.maxHistorySeries ?? 4_096;\n  const sampleWindow = options.sampleWindow ?? 32;\n  validatePositiveFinite(coldStartDurationMs, \"coldStartDurationMs\");\n  validateBoundedInteger(maxHistorySeries, \"maxHistorySeries\", 4_096);\n  validateBoundedInteger(sampleWindow, \"sampleWindow\", 32);\n  return Object.freeze({ coldStartDurationMs, maxHistorySeries, sampleWindow });\n}\n\nfunction validatePositiveFinite(value: number, name: string): void {\n  if (!Number.isFinite(value) || value <= 0)\n    throw new TypeError(`learned critical-path ${name} must be positive and finite`);\n}\n\nfunction validateBoundedInteger(value: number, name: string, maximum: number): void {\n  if (!Number.isSafeInteger(value) || value <= 0 || value > maximum)\n    throw new TypeError(`learned critical-path ${name} must be a positive safe integer`);\n}\n\nfunction predictionInputsFor(\n  graph: SchedulerGraphSnapshot,\n  identityForTask: LearnedCriticalPathStrategyOptions[\"identityForTask\"],\n  model: Readonly<{\n    readonly coldStartDurationMs: number;\n    readonly maxHistorySeries: number;\n    readonly sampleWindow: number;\n  }>\n): readonly SchedulerPredictionInput[] | undefined {\n  const inputs: SchedulerPredictionInput[] = [];\n  for (const task of graph.tasks) {\n    let identity: CanonicalJsonValue | undefined;\n    try {\n      identity = canonicalizeJsonValue({ historyKey: identityForTask(task), model });\n    } catch {\n      return undefined;\n    }\n    if (identity === undefined) return undefined;\n    inputs.push(\n      Object.freeze({\n        authoredOptions: identity,\n        checkId: task.taskId,\n        flags: null,\n        taskId: task.taskId\n      })\n    );\n  }\n  return Object.freeze(inputs);\n}\n\nfunction learnedDecision(\n  context: AdmissionPolicyContext,\n  prediction: SchedulerPredictionSnapshot,\n  criticalPath: SchedulerCriticalPathSnapshot,\n  options: LearnedCriticalPathStrategyOptions\n): AdmissionProposal {\n  const selected = selectLearnedCandidate(context, criticalPath);\n  if (!selected.canAdmit) return Object.freeze({ kind: \"wait\" });\n  const taskPrediction = predictionForTask(prediction, selected.taskId);\n  const score = criticalPathScoreForTask(criticalPath, selected.taskId);\n  if (taskPrediction !== undefined && score !== undefined) {\n    observe(\n      options,\n      Object.freeze({\n        kind: \"selection-proposed\",\n        taskId: selected.taskId,\n        criticalPathScore: score,\n        estimatedDurationMs: taskPrediction.estimatedDurationMs,\n        sampleCount: taskPrediction.sampleCount,\n        source: taskPrediction.source\n      })\n    );\n  }\n  return Object.freeze({ kind: \"select\", taskId: selected.taskId });\n}\n\nfunction selectLearnedCandidate(\n  context: AdmissionPolicyContext,\n  criticalPath: SchedulerCriticalPathSnapshot\n): AdmissionPolicyContext[\"candidates\"][number] {\n  const layers = learnedSelectionLayers(context);\n  if (layers.tightening.length > 0)\n    return requiredFirst(\n      sortConstrained(layers.tightening, layers.taskById, layers.scopeById, criticalPath)\n    );\n  if (layers.continuation.length > 0)\n    return requiredFirst(\n      sortConstrained(layers.continuation, layers.taskById, layers.scopeById, criticalPath)\n    );\n  return requiredFirst(\n    [...context.candidates].sort(learnedCandidateComparator(layers.taskById, criticalPath))\n  );\n}\n\nfunction learnedCandidateComparator(\n  taskById: ReadonlyMap<string, SchedulerGraphSnapshot[\"tasks\"][number]>,\n  criticalPath: SchedulerCriticalPathSnapshot\n): (\n  left: AdmissionPolicyContext[\"candidates\"][number],\n  right: AdmissionPolicyContext[\"candidates\"][number]\n) => number {\n  return (left, right) => compareLearnedTasks(taskById, criticalPath, left.taskId, right.taskId);\n}\n\nfunction sortConstrained(\n  candidates: readonly AdmissionPolicyContext[\"candidates\"][number][],\n  taskById: ReadonlyMap<string, SchedulerGraphSnapshot[\"tasks\"][number]>,\n  scopeById: ReadonlyMap<string, SchedulerGraphSnapshot[\"scopes\"][number]>,\n  criticalPath: SchedulerCriticalPathSnapshot\n): AdmissionPolicyContext[\"candidates\"][number][] {\n  return [...candidates].sort(learnedConstrainedComparator(taskById, scopeById, criticalPath));\n}\n\nfunction learnedConstrainedComparator(\n  taskById: ReadonlyMap<string, SchedulerGraphSnapshot[\"tasks\"][number]>,\n  scopeById: ReadonlyMap<string, SchedulerGraphSnapshot[\"scopes\"][number]>,\n  criticalPath: SchedulerCriticalPathSnapshot\n): (\n  left: AdmissionPolicyContext[\"candidates\"][number],\n  right: AdmissionPolicyContext[\"candidates\"][number]\n) => number {\n  return (left, right) => {\n    const leftScope = requiredLearnedScope(left, taskById, scopeById);\n    const rightScope = requiredLearnedScope(right, taskById, scopeById);\n    return (\n      leftScope.maxParallel - rightScope.maxParallel ||\n      compareLearnedTasks(taskById, criticalPath, left.taskId, right.taskId) ||\n      compareText(leftScope.id, rightScope.id) ||\n      compareText(left.taskId, right.taskId)\n    );\n  };\n}\n\nfunction requiredLearnedScope(\n  candidate: AdmissionPolicyContext[\"candidates\"][number],\n  taskById: ReadonlyMap<string, SchedulerGraphSnapshot[\"tasks\"][number]>,\n  scopeById: ReadonlyMap<string, SchedulerGraphSnapshot[\"scopes\"][number]>\n): SchedulerGraphSnapshot[\"scopes\"][number] {\n  const task = taskById.get(candidate.taskId);\n  const scope =\n    task?.scopeId === null || task === undefined ? undefined : scopeById.get(task.scopeId);\n  if (scope === undefined) throw new Error(\"constrained task is missing a scope\");\n  return scope;\n}\nfunction compareLearnedTasks(\n  taskById: ReadonlyMap<string, SchedulerGraphSnapshot[\"tasks\"][number]>,\n  criticalPath: SchedulerCriticalPathSnapshot,\n  leftId: string,\n  rightId: string\n): number {\n  const left = taskById.get(leftId);\n  const right = taskById.get(rightId);\n  if (left === undefined || right === undefined)\n    throw new Error(\"learned candidate is missing from graph\");\n  const leftScore = criticalPathScoreForTask(criticalPath, leftId);\n  const rightScore = criticalPathScoreForTask(criticalPath, rightId);\n  if (leftScore === undefined || rightScore === undefined)\n    throw new Error(\"learned scheduler score is missing\");\n  return (\n    rightScore - leftScore ||\n    right.admissionPriority - left.admissionPriority ||\n    compareText(leftId, rightId)\n  );\n}\n\nfunction observe(\n  options: LearnedCriticalPathStrategyOptions,\n  event: LearnedCriticalPathObservation\n): void {\n  try {\n    const observed = options.observe?.(event);\n    if (observed !== undefined) void Promise.resolve(observed).catch(() => undefined);\n  } catch {\n    // Caller observation is contained.\n  }\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n\nfunction requiredFirst<T>(values: readonly T[]): T {\n  const first = values[0];\n  if (first === undefined) throw new Error(\"learned strategy requires a candidate\");\n  return first;\n}\n"]}

package/dist/esm/project-definition/check-tree/authoring.mjs

@@ -1,28 +1,7 @@
-import { isInheritedCheckCollection, snapshotInheritedCheckCollection } from "../../check/check.mjs";
-import { snapshotClosedArray, snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
-import { validateCheckDescriptor } from "../../check/descriptor-validation.mjs";
-import { snapshotJsonObject } from "../../check/options-snapshot.mjs";
-const CHECK_KEYS = [
-    "checkId",
-    "checks",
-    "dependsOn",
-    "displayName",
-    "execution",
-    "maxParallel",
-    "mutex",
-    "options",
-    "parseData",
-    "preflight",
-    "visibility"
-];
-const CONTAINER_CHECK_FIELDS = Object.freeze({
-    definition: null,
-    execution: null,
-    options: null,
-    parseData: null,
-    preflight: null,
-    visibility: null
-});
+import { getDefinedHandoffProviderIdentity } from "../../check/handoff-provider-identity.mjs";
+import { snapshotClosedArray } from "../../data-boundary/closed-values.mjs";
+import { parseCheckAuthoringData, parseCheckFieldPrelude, parseCheckFields } from "./check-fields-authoring.mjs";
+import { parseCheckScheduling } from "./scheduling-authoring.mjs";
 /**
  * Parses only the closed recursive authoring grammar. Execution callbacks are
  * trusted project code, while every declarative field is copied and validated.
@@ -45,78 +24,44 @@ export function parseCheckTreeAuthoring(value) {
     });
 }
 function parseCheck(value, path, state) {
-    const data = parseCheckData(value);
+    const handoffProviderIdentity = getDefinedHandoffProviderIdentity(value);
+    const data = parseCheckAuthoringData(value);
     if (data === undefined)
         return undefined;
-    const execution = parseExecution(data);
-    if (execution === undefined)
-        return undefined;
-    const parseData = parseDataParser(data);
-    if (parseData === undefined)
-        return undefined;
-    const preflight = parsePreflight(data);
-    if (preflight === undefined)
+    const prelude = parseCheckFieldPrelude(data, handoffProviderIdentity);
+    if (prelude === undefined)
         return undefined;
     const checks = parseChildren(data, path, state);
     if (checks === undefined)
         return undefined;
-    const scheduling = parseScheduling(data);
+    const scheduling = parseCheckScheduling(data);
     if (scheduling === undefined)
         return undefined;
-    const fields = parseCheckFields(data, execution, parseData, preflight);
+    const fields = parseCheckFields(data, prelude);
     if (fields === undefined)
         return undefined;
     warnForMeaninglessCheck(data, checks, fields, path, state);
     return Object.freeze({
+        admissionPriority: scheduling.admissionPriority,
         checkId: data.checkId,
         checks,
         definition: fields.definition,
         dependsOn: scheduling.dependsOn,
         displayName: data.displayName,
-        execution: fields.execution,
+        enabledByFlags: fields.enabledByFlags,
+        execute: fields.execute,
+        handoff: fields.handoff,
         maxParallel: scheduling.maxParallel,
         mutex: scheduling.mutex,
+        observes: scheduling.observes,
+        resourceClaims: scheduling.resourceClaims,
         options: fields.options,
         path,
         parseData: fields.parseData,
-        preflight: fields.preflight,
-        visibility: fields.visibility
+        prepare: fields.prepare,
+        omitQuietPassedRow: fields.omitQuietPassedRow
     });
 }
-function parseCheckData(value) {
-    const data = snapshotClosedRecord(value);
-    if (data === undefined)
-        return undefined;
-    return hasValidCheckIdentity(data) ? data : undefined;
-}
-function hasValidCheckIdentity(data) {
-    return (hasOnlyCheckKeys(data) &&
-        typeof data.checkId === "string" &&
-        data.checkId.length > 0 &&
-        typeof data.displayName === "string" &&
-        data.displayName.length > 0);
-}
-function hasOnlyCheckKeys(data) {
-    return Object.keys(data).every((key) => CHECK_KEYS.some((checkKey) => checkKey === key));
-}
-function parseExecution(data) {
-    if (!Object.hasOwn(data, "execution"))
-        return null;
-    return isTrustedFunction(data.execution) ? data.execution : undefined;
-}
-function parseDataParser(data) {
-    if (!Object.hasOwn(data, "parseData") || data.parseData === undefined)
-        return null;
-    return isTrustedFunction(data.parseData) ? data.parseData : undefined;
-}
-function parsePreflight(data) {
-    if (!Object.hasOwn(data, "preflight"))
-        return null;
-    return isTrustedFunction(data.preflight) ? data.preflight : undefined;
-}
-function isTrustedFunction(value) {
-    return typeof value === "function";
-}
 function parseChildren(data, path, state) {
     if (!Object.hasOwn(data, "checks"))
         return Object.freeze([]);
@@ -132,111 +77,9 @@ function parseChildren(data, path, state) {
     }
     return Object.freeze(checks);
 }
-function parseDefinition(data) {
-    const definition = validateCheckDescriptor({
-        checkId: data.checkId,
-        displayName: data.displayName
-    });
-    return definition.ok ? definition.value : undefined;
-}
-function parseOptions(data) {
-    if (!Object.hasOwn(data, "options"))
-        return Object.freeze({});
-    const options = snapshotClosedRecord(data.options);
-    if (options === undefined)
-        return undefined;
-    return snapshotJsonObject(options);
-}
-function parseCheckFields(data, execution, parseData, preflight) {
-    if (execution === null) {
-        return Object.hasOwn(data, "options") ||
-            Object.hasOwn(data, "visibility") ||
-            parseData !== null ||
-            preflight !== null
-            ? undefined
-            : CONTAINER_CHECK_FIELDS;
-    }
-    const definition = parseDefinition(data);
-    if (definition === undefined)
-        return undefined;
-    const options = parseOptions(data);
-    if (options === undefined)
-        return undefined;
-    const visibility = parseVisibility(data);
-    if (visibility === undefined)
-        return undefined;
-    return Object.freeze({
-        definition,
-        execution,
-        options,
-        parseData,
-        preflight,
-        visibility
-    });
-}
-function parseVisibility(data) {
-    if (!Object.hasOwn(data, "visibility"))
-        return "always";
-    const visibility = data.visibility;
-    return visibility === undefined || visibility === "always" || visibility === "attention"
-        ? (visibility ?? "always")
-        : undefined;
-}
 function warnForMeaninglessCheck(data, checks, fields, path, state) {
-    if (fields.execution !== null || checks.length > 0)
+    if (fields.execute !== null || checks.length > 0)
         return;
     state.warnings.push(Object.freeze({ code: "meaningless-check", path, checkId: data.checkId }));
 }
-function parseScheduling(data) {
-    const dependsOn = parseCollection(data, "dependsOn");
-    const mutex = parseCollection(data, "mutex");
-    const maxParallel = data.maxParallel;
-    if (dependsOn === null ||
-        mutex === null ||
-        (maxParallel !== undefined &&
-            (typeof maxParallel !== "number" || !Number.isSafeInteger(maxParallel) || maxParallel <= 0)))
-        return undefined;
-    return Object.freeze({
-        dependsOn: dependsOn ?? undefined,
-        maxParallel,
-        mutex: mutex ?? undefined
-    });
-}
-function parseCollection(data, field) {
-    if (!Object.hasOwn(data, field))
-        return undefined;
-    const value = data[field];
-    if (isInheritedCheckCollection(value))
-        return parseInheritedCollection(value);
-    const values = parseCollectionItems(value);
-    return values === undefined ? null : Object.freeze({ kind: "exact", values });
-}
-function parseInheritedCollection(value) {
-    const data = snapshotInheritedCheckCollection(value);
-    if (data === undefined || !hasExactInheritedKeys(data))
-        return null;
-    const add = data.add === undefined ? Object.freeze([]) : parseCollectionItems(data.add);
-    const remove = data.remove === undefined ? Object.freeze([]) : parseCollectionItems(data.remove);
-    if (add === undefined || remove === undefined)
-        return null;
-    return Object.freeze({ kind: "inherit", add, remove });
-}
-function hasExactInheritedKeys(data) {
-    const keys = Object.keys(data);
-    return keys.length > 0 && keys.every((key) => key === "add" || key === "remove");
-}
-function parseCollectionItems(value) {
-    const items = snapshotClosedArray(value);
-    if (items === undefined)
-        return undefined;
-    const values = [];
-    for (const item of items) {
-        const valid = typeof item === "string" && item.length > 0;
-        if (!valid)
-            return undefined;
-        if (!values.includes(item))
-            values.push(item);
-    }
-    return Object.freeze(values);
-}
 //# sourceMappingURL=authoring.mjs.map

package/dist/esm/project-definition/check-tree/authoring.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"authoring.mjs","sourceRoot":"","sources":["../../../../src/project-definition/check-tree/authoring.ts"],"names":[],"mappings":"AACA,OAAO,EACL,0BAA0B,EAC1B,gCAAgC,EAKjC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AACjG,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AA0DrE,MAAM,UAAU,GAAG;IACjB,SAAS;IACT,QAAQ;IACR,WAAW;IACX,aAAa;IACb,WAAW;IACX,aAAa;IACb,OAAO;IACP,SAAS;IACT,WAAW;IACX,WAAW;IACX,YAAY;CACJ,CAAC;AAEX,MAAM,sBAAsB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC9D,UAAU,EAAE,IAAI;IAChB,SAAS,EAAE,IAAI;IACf,OAAO,EAAE,IAAI;IACb,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,KAAK,GAAe,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,qBAAqB,KAAK,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY,EAAE,KAAiB;IACjE,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACvE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAE3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM;QACN,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI;QACJ,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAuC;IAEvC,OAAO,CACL,gBAAgB,CAAC,IAAI,CAAC;QACtB,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QAChC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACvB,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ;QACpC,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAuC;IAC/D,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,cAAc,CAAC,IAAwB;IAC9C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,OAAO,iBAAiB,CAAiB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACxF,CAAC;AAED,SAAS,eAAe,CAAC,IAAwB;IAC/C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnF,OAAO,iBAAiB,CAAoB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3F,CAAC;AAED,SAAS,cAAc,CAAC,IAAwB;IAC9C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,OAAO,iBAAiB,CAAiB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACxF,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC;AACrC,CAAC;AAED,SAAS,aAAa,CACpB,IAAwB,EACxB,IAAY,EACZ,KAAiB;IAEjB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,WAAW,KAAK,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,eAAe,CAAC,IAAwB;IAC/C,MAAM,UAAU,GAAG,uBAAuB,CAAC;QACzC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,WAAW,EAAE,IAAI,CAAC,WAAW;KAC9B,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,IAAwB;IAC5C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAwB,EACxB,SAAgC,EAChC,SAAmC,EACnC,SAAgC;IAEhC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC;YACnC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC;YACjC,SAAS,KAAK,IAAI;YAClB,SAAS,KAAK,IAAI;YAClB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,sBAAsB,CAAC;IAC7B,CAAC;IACD,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU;QACV,SAAS;QACT,OAAO;QACP,SAAS;QACT,SAAS;QACT,UAAU;KACX,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,IAAwB;IAC/C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC;QAAE,OAAO,QAAQ,CAAC;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,WAAW;QACtF,CAAC,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC;QAC1B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAwB,EACxB,MAA8B,EAC9B,MAAyB,EACzB,IAAY,EACZ,KAAiB;IAEjB,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAC3D,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,eAAe,CAAC,IAAwB;IAO/C,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,IACE,SAAS,KAAK,IAAI;QAClB,KAAK,KAAK,IAAI;QACd,CAAC,WAAW,KAAK,SAAS;YACxB,CAAC,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,WAAW,IAAI,CAAC,CAAC,CAAC;QAE9F,OAAO,SAAS,CAAC;IACnB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,SAAS,IAAI,SAAS;QACjC,WAAW;QACX,KAAK,EAAE,KAAK,IAAI,SAAS;KAC1B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,IAAwB,EACxB,KAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,0BAA0B,CAAC,KAAK,CAAC;QAAE,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAwC;IAExC,MAAM,IAAI,GAAG,gCAAgC,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjG,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuC;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,QAAQ,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC","sourcesContent":["import type { CheckDescriptor } from \"../../check/descriptor.ts\";\nimport {\n  isInheritedCheckCollection,\n  snapshotInheritedCheckCollection,\n  type CheckVisibility,\n  type CheckExecution,\n  type CheckPreflight,\n  type InheritedCheckCollection\n} from \"../../check/check.ts\";\nimport { snapshotClosedArray, snapshotClosedRecord } from \"../../data-boundary/closed-values.ts\";\nimport { validateCheckDescriptor } from \"../../check/descriptor-validation.ts\";\nimport { snapshotJsonObject } from \"../../check/options-snapshot.ts\";\n\ntype TrustedDataParser = (this: void, ...parameters: never[]) => unknown;\n\nexport type ParsedCheckCollection = Readonly<\n  | { readonly kind: \"exact\"; readonly values: readonly string[] }\n  | {\n      readonly kind: \"inherit\";\n      readonly add: readonly string[];\n      readonly remove: readonly string[];\n    }\n>;\n\nexport interface ParsedCheck {\n  readonly checkId: string;\n  readonly checks: readonly ParsedCheck[];\n  readonly definition: CheckDescriptor | null;\n  readonly dependsOn: ParsedCheckCollection | undefined;\n  readonly displayName: string;\n  readonly execution: CheckExecution | null;\n  readonly maxParallel: number | undefined;\n  readonly mutex: ParsedCheckCollection | undefined;\n  readonly options: object | null;\n  readonly path: string;\n  readonly parseData: TrustedDataParser | null;\n  readonly preflight: CheckPreflight | null;\n  readonly visibility: CheckVisibility | null;\n}\n\nexport interface ParsedCheckTree {\n  readonly checks: readonly ParsedCheck[];\n  readonly warnings: readonly MeaninglessCheckWarning[];\n}\n\nexport interface MeaninglessCheckWarning {\n  readonly code: \"meaningless-check\";\n  readonly path: string;\n  readonly checkId: string;\n}\n\ninterface ParseState {\n  readonly warnings: MeaninglessCheckWarning[];\n}\n\ninterface CheckAuthoringData extends Readonly<Record<string, unknown>> {\n  readonly checkId: string;\n  readonly displayName: string;\n}\n\ninterface ParsedCheckFields {\n  readonly definition: CheckDescriptor | null;\n  readonly execution: CheckExecution | null;\n  readonly options: object | null;\n  readonly parseData: TrustedDataParser | null;\n  readonly preflight: CheckPreflight | null;\n  readonly visibility: CheckVisibility | null;\n}\n\nconst CHECK_KEYS = [\n  \"checkId\",\n  \"checks\",\n  \"dependsOn\",\n  \"displayName\",\n  \"execution\",\n  \"maxParallel\",\n  \"mutex\",\n  \"options\",\n  \"parseData\",\n  \"preflight\",\n  \"visibility\"\n] as const;\n\nconst CONTAINER_CHECK_FIELDS: ParsedCheckFields = Object.freeze({\n  definition: null,\n  execution: null,\n  options: null,\n  parseData: null,\n  preflight: null,\n  visibility: null\n});\n\n/**\n * Parses only the closed recursive authoring grammar. Execution callbacks are\n * trusted project code, while every declarative field is copied and validated.\n */\nexport function parseCheckTreeAuthoring(value: unknown): ParsedCheckTree | undefined {\n  const roots = snapshotClosedArray(value);\n  if (roots === undefined) return undefined;\n  const state: ParseState = { warnings: [] };\n  const checks: ParsedCheck[] = [];\n  for (let index = 0; index < roots.length; index += 1) {\n    const check = parseCheck(roots[index], `definition.checks[${index}]`, state);\n    if (check === undefined) return undefined;\n    checks.push(check);\n  }\n  return Object.freeze({\n    checks: Object.freeze(checks),\n    warnings: Object.freeze(state.warnings)\n  });\n}\n\nfunction parseCheck(value: unknown, path: string, state: ParseState): ParsedCheck | undefined {\n  const data = parseCheckData(value);\n  if (data === undefined) return undefined;\n  const execution = parseExecution(data);\n  if (execution === undefined) return undefined;\n  const parseData = parseDataParser(data);\n  if (parseData === undefined) return undefined;\n  const preflight = parsePreflight(data);\n  if (preflight === undefined) return undefined;\n  const checks = parseChildren(data, path, state);\n  if (checks === undefined) return undefined;\n  const scheduling = parseScheduling(data);\n  if (scheduling === undefined) return undefined;\n  const fields = parseCheckFields(data, execution, parseData, preflight);\n  if (fields === undefined) return undefined;\n  warnForMeaninglessCheck(data, checks, fields, path, state);\n\n  return Object.freeze({\n    checkId: data.checkId,\n    checks,\n    definition: fields.definition,\n    dependsOn: scheduling.dependsOn,\n    displayName: data.displayName,\n    execution: fields.execution,\n    maxParallel: scheduling.maxParallel,\n    mutex: scheduling.mutex,\n    options: fields.options,\n    path,\n    parseData: fields.parseData,\n    preflight: fields.preflight,\n    visibility: fields.visibility\n  });\n}\n\nfunction parseCheckData(value: unknown): CheckAuthoringData | undefined {\n  const data = snapshotClosedRecord(value);\n  if (data === undefined) return undefined;\n  return hasValidCheckIdentity(data) ? data : undefined;\n}\n\nfunction hasValidCheckIdentity(\n  data: Readonly<Record<string, unknown>>\n): data is CheckAuthoringData {\n  return (\n    hasOnlyCheckKeys(data) &&\n    typeof data.checkId === \"string\" &&\n    data.checkId.length > 0 &&\n    typeof data.displayName === \"string\" &&\n    data.displayName.length > 0\n  );\n}\n\nfunction hasOnlyCheckKeys(data: Readonly<Record<string, unknown>>): boolean {\n  return Object.keys(data).every((key) => CHECK_KEYS.some((checkKey) => checkKey === key));\n}\n\nfunction parseExecution(data: CheckAuthoringData): CheckExecution | null | undefined {\n  if (!Object.hasOwn(data, \"execution\")) return null;\n  return isTrustedFunction<CheckExecution>(data.execution) ? data.execution : undefined;\n}\n\nfunction parseDataParser(data: CheckAuthoringData): TrustedDataParser | null | undefined {\n  if (!Object.hasOwn(data, \"parseData\") || data.parseData === undefined) return null;\n  return isTrustedFunction<TrustedDataParser>(data.parseData) ? data.parseData : undefined;\n}\n\nfunction parsePreflight(data: CheckAuthoringData): CheckPreflight | null | undefined {\n  if (!Object.hasOwn(data, \"preflight\")) return null;\n  return isTrustedFunction<CheckPreflight>(data.preflight) ? data.preflight : undefined;\n}\n\nfunction isTrustedFunction<FunctionType extends (...parameters: never[]) => unknown>(\n  value: unknown\n): value is FunctionType {\n  return typeof value === \"function\";\n}\n\nfunction parseChildren(\n  data: CheckAuthoringData,\n  path: string,\n  state: ParseState\n): readonly ParsedCheck[] | undefined {\n  if (!Object.hasOwn(data, \"checks\")) return Object.freeze([]);\n  const values = snapshotClosedArray(data.checks);\n  if (values === undefined) return undefined;\n  const checks: ParsedCheck[] = [];\n  for (let index = 0; index < values.length; index += 1) {\n    const check = parseCheck(values[index], `${path}.checks[${index}]`, state);\n    if (check === undefined) return undefined;\n    checks.push(check);\n  }\n  return Object.freeze(checks);\n}\n\nfunction parseDefinition(data: CheckAuthoringData): CheckDescriptor | undefined {\n  const definition = validateCheckDescriptor({\n    checkId: data.checkId,\n    displayName: data.displayName\n  });\n  return definition.ok ? definition.value : undefined;\n}\n\nfunction parseOptions(data: CheckAuthoringData): object | undefined {\n  if (!Object.hasOwn(data, \"options\")) return Object.freeze({});\n  const options = snapshotClosedRecord(data.options);\n  if (options === undefined) return undefined;\n  return snapshotJsonObject(options);\n}\n\nfunction parseCheckFields(\n  data: CheckAuthoringData,\n  execution: CheckExecution | null,\n  parseData: TrustedDataParser | null,\n  preflight: CheckPreflight | null\n): ParsedCheckFields | undefined {\n  if (execution === null) {\n    return Object.hasOwn(data, \"options\") ||\n      Object.hasOwn(data, \"visibility\") ||\n      parseData !== null ||\n      preflight !== null\n      ? undefined\n      : CONTAINER_CHECK_FIELDS;\n  }\n  const definition = parseDefinition(data);\n  if (definition === undefined) return undefined;\n  const options = parseOptions(data);\n  if (options === undefined) return undefined;\n  const visibility = parseVisibility(data);\n  if (visibility === undefined) return undefined;\n  return Object.freeze({\n    definition,\n    execution,\n    options,\n    parseData,\n    preflight,\n    visibility\n  });\n}\n\nfunction parseVisibility(data: CheckAuthoringData): CheckVisibility | undefined {\n  if (!Object.hasOwn(data, \"visibility\")) return \"always\";\n  const visibility = data.visibility;\n  return visibility === undefined || visibility === \"always\" || visibility === \"attention\"\n    ? (visibility ?? \"always\")\n    : undefined;\n}\n\nfunction warnForMeaninglessCheck(\n  data: CheckAuthoringData,\n  checks: readonly ParsedCheck[],\n  fields: ParsedCheckFields,\n  path: string,\n  state: ParseState\n): void {\n  if (fields.execution !== null || checks.length > 0) return;\n  state.warnings.push(Object.freeze({ code: \"meaningless-check\", path, checkId: data.checkId }));\n}\n\nfunction parseScheduling(data: CheckAuthoringData):\n  | Readonly<{\n      readonly dependsOn: ParsedCheckCollection | undefined;\n      readonly maxParallel: number | undefined;\n      readonly mutex: ParsedCheckCollection | undefined;\n    }>\n  | undefined {\n  const dependsOn = parseCollection(data, \"dependsOn\");\n  const mutex = parseCollection(data, \"mutex\");\n  const maxParallel = data.maxParallel;\n  if (\n    dependsOn === null ||\n    mutex === null ||\n    (maxParallel !== undefined &&\n      (typeof maxParallel !== \"number\" || !Number.isSafeInteger(maxParallel) || maxParallel <= 0))\n  )\n    return undefined;\n  return Object.freeze({\n    dependsOn: dependsOn ?? undefined,\n    maxParallel,\n    mutex: mutex ?? undefined\n  });\n}\n\nfunction parseCollection(\n  data: CheckAuthoringData,\n  field: \"dependsOn\" | \"mutex\"\n): ParsedCheckCollection | null | undefined {\n  if (!Object.hasOwn(data, field)) return undefined;\n  const value = data[field];\n  if (isInheritedCheckCollection(value)) return parseInheritedCollection(value);\n  const values = parseCollectionItems(value);\n  return values === undefined ? null : Object.freeze({ kind: \"exact\", values });\n}\n\nfunction parseInheritedCollection(\n  value: InheritedCheckCollection<unknown>\n): ParsedCheckCollection | null {\n  const data = snapshotInheritedCheckCollection(value);\n  if (data === undefined || !hasExactInheritedKeys(data)) return null;\n  const add = data.add === undefined ? Object.freeze([]) : parseCollectionItems(data.add);\n  const remove = data.remove === undefined ? Object.freeze([]) : parseCollectionItems(data.remove);\n  if (add === undefined || remove === undefined) return null;\n  return Object.freeze({ kind: \"inherit\", add, remove });\n}\n\nfunction hasExactInheritedKeys(data: Readonly<Record<string, unknown>>): boolean {\n  const keys = Object.keys(data);\n  return keys.length > 0 && keys.every((key) => key === \"add\" || key === \"remove\");\n}\n\nfunction parseCollectionItems(value: unknown): readonly string[] | undefined {\n  const items = snapshotClosedArray(value);\n  if (items === undefined) return undefined;\n  const values: string[] = [];\n  for (const item of items) {\n    const valid = typeof item === \"string\" && item.length > 0;\n    if (!valid) return undefined;\n    if (!values.includes(item)) values.push(item);\n  }\n  return Object.freeze(values);\n}\n"]}
+{"version":3,"file":"authoring.mjs","sourceRoot":"","sources":["../../../../src/project-definition/check-tree/authoring.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iCAAiC,EAElC,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAKjB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAA8B,MAAM,2BAA2B,CAAC;AAyC7F;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,KAAK,GAAe,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,qBAAqB,KAAK,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY,EAAE,KAAiB;IACjE,MAAM,uBAAuB,GAAG,iCAAiC,CAAC,KAAK,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACtE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,iBAAiB,EAAE,UAAU,CAAC,iBAAiB;QAC/C,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM;QACN,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI;QACJ,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;KAC9C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,IAAwB,EACxB,IAAY,EACZ,KAAiB;IAEjB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,WAAW,KAAK,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAwB,EACxB,MAA8B,EAC9B,MAAyB,EACzB,IAAY,EACZ,KAAiB;IAEjB,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IACzD,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACjG,CAAC","sourcesContent":["import type { CheckDescriptor } from \"../../check/descriptor.ts\";\nimport {\n  getDefinedHandoffProviderIdentity,\n  type HandoffProviderIdentity\n} from \"../../check/handoff-provider-identity.ts\";\nimport { snapshotClosedArray } from \"../../data-boundary/closed-values.ts\";\nimport {\n  parseCheckAuthoringData,\n  parseCheckFieldPrelude,\n  parseCheckFields,\n  type CheckAuthoringData,\n  type ParsedCheckFields,\n  type ParsedCheckFieldPrelude,\n  type TrustedDataParser\n} from \"./check-fields-authoring.ts\";\nimport { parseCheckScheduling, type ParsedCheckCollection } from \"./scheduling-authoring.ts\";\nimport type { ResourceUnitMapping } from \"../resource-unit-mapping.ts\";\n\nexport type { ParsedCheckCollection } from \"./scheduling-authoring.ts\";\n\nexport interface ParsedCheck {\n  readonly admissionPriority: number | undefined;\n  readonly checkId: string;\n  readonly checks: readonly ParsedCheck[];\n  readonly definition: CheckDescriptor | null;\n  readonly dependsOn: ParsedCheckCollection | undefined;\n  readonly displayName: string;\n  readonly enabledByFlags: ParsedCheckFieldPrelude[\"enabledByFlags\"];\n  readonly execute: ParsedCheckFieldPrelude[\"execute\"];\n  readonly handoff: HandoffProviderIdentity | null;\n  readonly maxParallel: number | undefined;\n  readonly mutex: ParsedCheckCollection | undefined;\n  readonly observes: ParsedCheckCollection | undefined;\n  readonly resourceClaims: ResourceUnitMapping | undefined;\n  readonly options: object | null;\n  readonly path: string;\n  readonly parseData: TrustedDataParser | null;\n  readonly prepare: ParsedCheckFieldPrelude[\"prepare\"];\n  readonly omitQuietPassedRow: ParsedCheckFields[\"omitQuietPassedRow\"];\n}\n\nexport interface ParsedCheckTree {\n  readonly checks: readonly ParsedCheck[];\n  readonly warnings: readonly MeaninglessCheckWarning[];\n}\n\nexport interface MeaninglessCheckWarning {\n  readonly code: \"meaningless-check\";\n  readonly path: string;\n  readonly checkId: string;\n}\n\ninterface ParseState {\n  readonly warnings: MeaninglessCheckWarning[];\n}\n\n/**\n * Parses only the closed recursive authoring grammar. Execution callbacks are\n * trusted project code, while every declarative field is copied and validated.\n */\nexport function parseCheckTreeAuthoring(value: unknown): ParsedCheckTree | undefined {\n  const roots = snapshotClosedArray(value);\n  if (roots === undefined) return undefined;\n  const state: ParseState = { warnings: [] };\n  const checks: ParsedCheck[] = [];\n  for (let index = 0; index < roots.length; index += 1) {\n    const check = parseCheck(roots[index], `definition.checks[${index}]`, state);\n    if (check === undefined) return undefined;\n    checks.push(check);\n  }\n  return Object.freeze({\n    checks: Object.freeze(checks),\n    warnings: Object.freeze(state.warnings)\n  });\n}\n\nfunction parseCheck(value: unknown, path: string, state: ParseState): ParsedCheck | undefined {\n  const handoffProviderIdentity = getDefinedHandoffProviderIdentity(value);\n  const data = parseCheckAuthoringData(value);\n  if (data === undefined) return undefined;\n  const prelude = parseCheckFieldPrelude(data, handoffProviderIdentity);\n  if (prelude === undefined) return undefined;\n  const checks = parseChildren(data, path, state);\n  if (checks === undefined) return undefined;\n  const scheduling = parseCheckScheduling(data);\n  if (scheduling === undefined) return undefined;\n  const fields = parseCheckFields(data, prelude);\n  if (fields === undefined) return undefined;\n  warnForMeaninglessCheck(data, checks, fields, path, state);\n  return Object.freeze({\n    admissionPriority: scheduling.admissionPriority,\n    checkId: data.checkId,\n    checks,\n    definition: fields.definition,\n    dependsOn: scheduling.dependsOn,\n    displayName: data.displayName,\n    enabledByFlags: fields.enabledByFlags,\n    execute: fields.execute,\n    handoff: fields.handoff,\n    maxParallel: scheduling.maxParallel,\n    mutex: scheduling.mutex,\n    observes: scheduling.observes,\n    resourceClaims: scheduling.resourceClaims,\n    options: fields.options,\n    path,\n    parseData: fields.parseData,\n    prepare: fields.prepare,\n    omitQuietPassedRow: fields.omitQuietPassedRow\n  });\n}\n\nfunction parseChildren(\n  data: CheckAuthoringData,\n  path: string,\n  state: ParseState\n): readonly ParsedCheck[] | undefined {\n  if (!Object.hasOwn(data, \"checks\")) return Object.freeze([]);\n  const values = snapshotClosedArray(data.checks);\n  if (values === undefined) return undefined;\n  const checks: ParsedCheck[] = [];\n  for (let index = 0; index < values.length; index += 1) {\n    const check = parseCheck(values[index], `${path}.checks[${index}]`, state);\n    if (check === undefined) return undefined;\n    checks.push(check);\n  }\n  return Object.freeze(checks);\n}\n\nfunction warnForMeaninglessCheck(\n  data: CheckAuthoringData,\n  checks: readonly ParsedCheck[],\n  fields: ParsedCheckFields,\n  path: string,\n  state: ParseState\n): void {\n  if (fields.execute !== null || checks.length > 0) return;\n  state.warnings.push(Object.freeze({ code: \"meaningless-check\", path, checkId: data.checkId }));\n}\n"]}