@zxyycom/vibe-check 0.0.1

package/dist/esm/project-run/check-execution/execution-finalization.mjs

@@ -0,0 +1,103 @@
+import { CheckExecutionInvariantFailure, recordSettledCheck } from "./execution-settlement.mjs";
+const EMPTY_MESSAGES = Object.freeze([]);
+/** Closes the task graph, lifecycle facts, and canonical Check summaries as one Run boundary. */
+export function closeResolvedChecks(input) {
+    try {
+        assertNoTaskEngineFailures(input.graphRun.settlements);
+        if (input.graphRun.cancelled) {
+            return closeCancelledExecution({
+                normalizedChecks: input.allChecks,
+                preparedChecks: input.readyChecks,
+                state: input.state
+            });
+        }
+        assertEveryCheckClosed(input.readyChecks, input.graphRun.settlements);
+        return resolvedExecution("completed", input.state.session.freeze(), input.state);
+    }
+    catch (error) {
+        throw trustedFailure(error);
+    }
+}
+export function closeCancelledExecution(input) {
+    input.state.session.closeUnresolvedAsCancelled();
+    const snapshot = input.state.session.freeze();
+    settleUnstartedCancelledChecks({ ...input, snapshot });
+    return resolvedExecution("cancelled", snapshot, input.state);
+}
+export function checkIdentity(check) {
+    return Object.freeze({
+        checkId: check.definition.checkId,
+        displayName: check.definition.displayName,
+        visibility: check.visibility
+    });
+}
+export function trustedFailure(error) {
+    return error instanceof CheckExecutionInvariantFailure
+        ? error
+        : new CheckExecutionInvariantFailure("Check execution adapter escaped its contained failure boundary");
+}
+function resolvedExecution(kind, snapshot, state) {
+    return Object.freeze({
+        kind,
+        ...checkRunSummaries(snapshot, state.settledFactsByCheckId),
+        snapshot
+    });
+}
+function settleUnstartedCancelledChecks(input) {
+    const normalizedByCheckId = new Map(input.normalizedChecks.map((check) => [check.definition.checkId, check]));
+    const preparedByCheckId = new Map(input.preparedChecks.map((check) => [check.definition.checkId, check]));
+    for (const check of input.snapshot.checks) {
+        if (input.state.settledFactsByCheckId.has(check.checkId))
+            continue;
+        const normalized = normalizedByCheckId.get(check.checkId);
+        if (normalized === undefined) {
+            throw new CheckExecutionInvariantFailure("Cancelled Check does not identify a normalized Check");
+        }
+        recordSettledCheck({
+            check: checkIdentity(normalized),
+            durationMs: null,
+            messages: preparedByCheckId.get(check.checkId)?.preflightMessages ?? EMPTY_MESSAGES,
+            outcome: check.outcome,
+            phase: "execution",
+            state: input.state
+        });
+    }
+}
+function checkRunSummaries(snapshot, settledFactsByCheckId) {
+    if (snapshot.checks.length !== settledFactsByCheckId.size) {
+        throw new CheckExecutionInvariantFailure("Check settled facts do not close every Check");
+    }
+    const checkDurations = [];
+    const messages = [];
+    for (const check of snapshot.checks) {
+        const settledFacts = settledFactsByCheckId.get(check.checkId);
+        if (settledFacts === undefined) {
+            throw new CheckExecutionInvariantFailure("Check settled facts are missing a Check");
+        }
+        checkDurations.push(Object.freeze({ checkId: check.checkId, durationMs: settledFacts.durationMs }));
+        messages.push(...settledFacts.messages.map((message) => Object.freeze({ checkId: check.checkId, ...message })));
+    }
+    return Object.freeze({
+        checkDurations: Object.freeze(checkDurations),
+        checkMessages: messages.length === 0 ? Object.freeze([]) : Object.freeze(messages)
+    });
+}
+function assertNoTaskEngineFailures(settlements) {
+    for (const settled of settlements) {
+        if (settled.settlement.kind === "failed") {
+            throw new CheckExecutionInvariantFailure("Task engine received an unexpected execution failure");
+        }
+        if (settled.settlement.kind === "blocked") {
+            throw new CheckExecutionInvariantFailure("Task engine blocked a Product Check");
+        }
+    }
+}
+function assertEveryCheckClosed(checks, settlements) {
+    if (settlements.some((settled) => settled.settlement.kind === "cancelled-before-start")) {
+        throw new CheckExecutionInvariantFailure("Non-cancelled Task graph left a Check unstarted");
+    }
+    if (checks.length !== settlements.length) {
+        throw new CheckExecutionInvariantFailure("Task graph does not have one Task per executable Check");
+    }
+}
+//# sourceMappingURL=execution-finalization.mjs.map

package/dist/esm/project-run/check-execution/execution-finalization.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-finalization.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-finalization.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AAInC,MAAM,cAAc,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAElE,iGAAiG;AACjG,MAAM,UAAU,mBAAmB,CACjC,KAOE;IAEF,IAAI,CAAC;QACH,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO,uBAAuB,CAAC;gBAC7B,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,cAAc,EAAE,KAAK,CAAC,WAAW;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAC,CAAC;QACL,CAAC;QACD,sBAAsB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtE,OAAO,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAIE;IAEF,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,0BAA0B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC9C,8BAA8B,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,OAAO,iBAAiB,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAyD;IAEzD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO;QACjC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;QACzC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,OAAO,KAAK,YAAY,8BAA8B;QACpD,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,8BAA8B,CAChC,gEAAgE,CACjE,CAAC;AACR,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAoC,EACpC,QAAsB,EACtB,KAA0B;IAE1B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,KAKE;IAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CACjC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CACzE,CAAC;IACF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CACvE,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,SAAS;QACnE,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,8BAA8B,CACtC,sDAAsD,CACvD,CAAC;QACJ,CAAC;QACD,kBAAkB,CAAC;YACjB,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC;YAChC,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,iBAAiB,IAAI,cAAc;YACnF,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,KAAK,EAAE,WAAW;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,qBAA6D;IAK7D,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,qBAAqB,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,8BAA8B,CAAC,8CAA8C,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,cAAc,GAAoB,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,YAAY,GAAG,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,8BAA8B,CAAC,yCAAyC,CAAC,CAAC;QACtF,CAAC;QACD,cAAc,CAAC,IAAI,CACjB,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC,CAC/E,CAAC;QACF,QAAQ,CAAC,IAAI,CACX,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACvC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CACtD,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC7C,aAAa,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;KACnF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,WAAyC;IAC3E,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzC,MAAM,IAAI,8BAA8B,CACtC,sDAAsD,CACvD,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,IAAI,8BAA8B,CAAC,qCAAqC,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAkC,EAClC,WAAyC;IAEzC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,8BAA8B,CAAC,iDAAiD,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,8BAA8B,CACtC,wDAAwD,CACzD,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage } from \"../../check/check.ts\";\nimport type { CoreSnapshot } from \"../../check-settlement/facts.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport type { SettledTask } from \"../task-scheduler/scheduler.ts\";\nimport type { CheckDuration, CheckRunMessage } from \"../result.ts\";\nimport {\n  CheckExecutionInvariantFailure,\n  recordSettledCheck,\n  type CheckIdentity,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport type { PreparedCheck } from \"./preflight.ts\";\nimport type { CheckExecutionState, ResolvedCheckExecution } from \"./resolved-checks.ts\";\n\nconst EMPTY_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\n\n/** Closes the task graph, lifecycle facts, and canonical Check summaries as one Run boundary. */\nexport function closeResolvedChecks(\n  input: Readonly<{\n    readonly allChecks: readonly NormalizedCheck[];\n    readonly graphRun: Awaited<\n      ReturnType<typeof import(\"../task-scheduler/scheduler.ts\").runTaskGraph<void>>\n    >;\n    readonly readyChecks: readonly PreparedCheck[];\n    readonly state: CheckExecutionState;\n  }>\n): ResolvedCheckExecution {\n  try {\n    assertNoTaskEngineFailures(input.graphRun.settlements);\n    if (input.graphRun.cancelled) {\n      return closeCancelledExecution({\n        normalizedChecks: input.allChecks,\n        preparedChecks: input.readyChecks,\n        state: input.state\n      });\n    }\n    assertEveryCheckClosed(input.readyChecks, input.graphRun.settlements);\n    return resolvedExecution(\"completed\", input.state.session.freeze(), input.state);\n  } catch (error) {\n    throw trustedFailure(error);\n  }\n}\n\nexport function closeCancelledExecution(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly preparedChecks: readonly PreparedCheck[];\n    readonly state: CheckExecutionState;\n  }>\n): ResolvedCheckExecution {\n  input.state.session.closeUnresolvedAsCancelled();\n  const snapshot = input.state.session.freeze();\n  settleUnstartedCancelledChecks({ ...input, snapshot });\n  return resolvedExecution(\"cancelled\", snapshot, input.state);\n}\n\nexport function checkIdentity(\n  check: Pick<NormalizedCheck, \"definition\" | \"visibility\">\n): CheckIdentity {\n  return Object.freeze({\n    checkId: check.definition.checkId,\n    displayName: check.definition.displayName,\n    visibility: check.visibility\n  });\n}\n\nexport function trustedFailure(error: unknown): CheckExecutionInvariantFailure {\n  return error instanceof CheckExecutionInvariantFailure\n    ? error\n    : new CheckExecutionInvariantFailure(\n        \"Check execution adapter escaped its contained failure boundary\"\n      );\n}\n\nfunction resolvedExecution(\n  kind: ResolvedCheckExecution[\"kind\"],\n  snapshot: CoreSnapshot,\n  state: CheckExecutionState\n): ResolvedCheckExecution {\n  return Object.freeze({\n    kind,\n    ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n    snapshot\n  });\n}\n\nfunction settleUnstartedCancelledChecks(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly preparedChecks: readonly PreparedCheck[];\n    readonly snapshot: CoreSnapshot;\n    readonly state: CheckExecutionState;\n  }>\n): void {\n  const normalizedByCheckId = new Map(\n    input.normalizedChecks.map((check) => [check.definition.checkId, check])\n  );\n  const preparedByCheckId = new Map(\n    input.preparedChecks.map((check) => [check.definition.checkId, check])\n  );\n  for (const check of input.snapshot.checks) {\n    if (input.state.settledFactsByCheckId.has(check.checkId)) continue;\n    const normalized = normalizedByCheckId.get(check.checkId);\n    if (normalized === undefined) {\n      throw new CheckExecutionInvariantFailure(\n        \"Cancelled Check does not identify a normalized Check\"\n      );\n    }\n    recordSettledCheck({\n      check: checkIdentity(normalized),\n      durationMs: null,\n      messages: preparedByCheckId.get(check.checkId)?.preflightMessages ?? EMPTY_MESSAGES,\n      outcome: check.outcome,\n      phase: \"execution\",\n      state: input.state\n    });\n  }\n}\n\nfunction checkRunSummaries(\n  snapshot: CoreSnapshot,\n  settledFactsByCheckId: ReadonlyMap<string, SettledCheckFacts>\n): Readonly<{\n  readonly checkDurations: readonly CheckDuration[];\n  readonly checkMessages: readonly CheckRunMessage[];\n}> {\n  if (snapshot.checks.length !== settledFactsByCheckId.size) {\n    throw new CheckExecutionInvariantFailure(\"Check settled facts do not close every Check\");\n  }\n  const checkDurations: CheckDuration[] = [];\n  const messages: CheckRunMessage[] = [];\n  for (const check of snapshot.checks) {\n    const settledFacts = settledFactsByCheckId.get(check.checkId);\n    if (settledFacts === undefined) {\n      throw new CheckExecutionInvariantFailure(\"Check settled facts are missing a Check\");\n    }\n    checkDurations.push(\n      Object.freeze({ checkId: check.checkId, durationMs: settledFacts.durationMs })\n    );\n    messages.push(\n      ...settledFacts.messages.map((message) =>\n        Object.freeze({ checkId: check.checkId, ...message })\n      )\n    );\n  }\n  return Object.freeze({\n    checkDurations: Object.freeze(checkDurations),\n    checkMessages: messages.length === 0 ? Object.freeze([]) : Object.freeze(messages)\n  });\n}\n\nfunction assertNoTaskEngineFailures(settlements: readonly SettledTask<void>[]): void {\n  for (const settled of settlements) {\n    if (settled.settlement.kind === \"failed\") {\n      throw new CheckExecutionInvariantFailure(\n        \"Task engine received an unexpected execution failure\"\n      );\n    }\n    if (settled.settlement.kind === \"blocked\") {\n      throw new CheckExecutionInvariantFailure(\"Task engine blocked a Product Check\");\n    }\n  }\n}\n\nfunction assertEveryCheckClosed(\n  checks: readonly NormalizedCheck[],\n  settlements: readonly SettledTask<void>[]\n): void {\n  if (settlements.some((settled) => settled.settlement.kind === \"cancelled-before-start\")) {\n    throw new CheckExecutionInvariantFailure(\"Non-cancelled Task graph left a Check unstarted\");\n  }\n  if (checks.length !== settlements.length) {\n    throw new CheckExecutionInvariantFailure(\n      \"Task graph does not have one Task per executable Check\"\n    );\n  }\n}\n"]}

package/dist/esm/project-run/check-execution/execution-settlement.mjs

@@ -0,0 +1,90 @@
+import { diagnosticTags, summarizeDiagnosticValue } from "../diagnostic-logging/logger.mjs";
+import { parseCheckTerminalResult } from "./terminal-result.mjs";
+export class CheckExecutionInvariantFailure extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "CheckExecutionInvariantFailure";
+    }
+}
+export function settleCallback(input) {
+    const executionTags = diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION");
+    const { callback } = input;
+    if (callback.source === "product") {
+        const outcome = input.scope.settleProduct(callback.result);
+        return Object.freeze({ messages: input.preflightMessages, outcome });
+    }
+    const terminal = parseCheckTerminalResult(callback.result);
+    if (terminal === undefined) {
+        input.diagnosticLogger?.observe({
+            event: "callback.malformed",
+            tags: diagnosticTags(...executionTags, "MALFORMED"),
+            details: { result: callback.result }
+        });
+    }
+    const settlement = input.scope.settle(terminal?.result ?? callback.result);
+    if (terminal !== undefined && !settlement.authorResultAccepted) {
+        input.diagnosticLogger?.observe({
+            event: "check.contained",
+            tags: diagnosticTags(...executionTags, "CONTAINED"),
+            details: { outcome: diagnosticOutcome(settlement.outcome), raw: callback.result }
+        });
+    }
+    return Object.freeze({
+        messages: terminal !== undefined && settlement.authorResultAccepted
+            ? Object.freeze([...input.preflightMessages, ...terminal.messages])
+            : input.preflightMessages,
+        outcome: settlement.outcome
+    });
+}
+/** Records one terminal Check lifecycle fact after its owning Core scope has closed. */
+export function recordSettledCheck(input) {
+    if (input.state.settledFactsByCheckId.has(input.check.checkId)) {
+        throw new CheckExecutionInvariantFailure("Check lifecycle settled more than once");
+    }
+    input.state.settledFactsByCheckId.set(input.check.checkId, Object.freeze({ durationMs: input.durationMs, messages: input.messages }));
+    input.state.diagnosticLogger?.observe({
+        event: "check.finished",
+        tags: diagnosticTags(`CHECK:${input.check.checkId}`, input.phase.toUpperCase(), "FINISHED", input.outcome.status.toUpperCase()),
+        details: {
+            durationMs: input.durationMs,
+            ...(input.messages.length === 0 ? {} : { messages: input.messages }),
+            ...diagnosticSettledOutcome(input.outcome)
+        }
+    });
+    input.state.lifecycle?.settled(Object.freeze({
+        checkId: input.check.checkId,
+        displayName: input.check.displayName,
+        outcome: input.outcome,
+        durationMs: input.durationMs,
+        messages: input.messages,
+        visibility: input.check.visibility
+    }));
+}
+function diagnosticSettledOutcome(outcome) {
+    switch (outcome.status) {
+        case "passed":
+        case "failed":
+            return Object.freeze({ data: summarizeDiagnosticValue(outcome.data) });
+        case "not-applicable":
+            return outcome.reason === undefined
+                ? Object.freeze({})
+                : Object.freeze({ reason: outcome.reason });
+        case "unavailable":
+            return Object.freeze({ reason: outcome.reason });
+    }
+}
+function diagnosticOutcome(outcome) {
+    switch (outcome.status) {
+        case "passed":
+        case "failed":
+            return Object.freeze({
+                data: summarizeDiagnosticValue(outcome.data),
+                status: outcome.status
+            });
+        case "not-applicable":
+            return Object.freeze({ reason: outcome.reason ?? null, status: outcome.status });
+        case "unavailable":
+            return Object.freeze({ reason: outcome.reason, status: outcome.status });
+    }
+}
+//# sourceMappingURL=execution-settlement.mjs.map

package/dist/esm/project-run/check-execution/execution-settlement.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-settlement.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-settlement.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,cAAc,EACd,wBAAwB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAqBhE,MAAM,OAAO,8BAA+B,SAAQ,KAAK;IACvD,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;IAC/C,CAAC;CACF;AAED,MAAM,UAAU,cAAc,CAC5B,KAME;IAEF,MAAM,aAAa,GAAG,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;IAC5E,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,oBAAoB;YAC3B,IAAI,EAAE,cAAc,CAAC,GAAG,aAAa,EAAE,WAAW,CAAC;YACnD,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;SACrC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3E,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;QAC/D,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,iBAAiB;YACxB,IAAI,EAAE,cAAc,CAAC,GAAG,aAAa,EAAE,WAAW,CAAC;YACnD,OAAO,EAAE,EAAE,OAAO,EAAE,iBAAiB,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE;SAClF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EACN,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,oBAAoB;YACvD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACnE,CAAC,CAAC,KAAK,CAAC,iBAAiB;QAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,kBAAkB,CAChC,KAOE;IAEF,IAAI,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,8BAA8B,CAAC,wCAAwC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CACnC,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAC1E,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;QACpC,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,cAAc,CAClB,SAAS,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAC9B,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,EACzB,UAAU,EACV,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CACnC;QACD,OAAO,EAAE;YACP,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpE,GAAG,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC;SAC3C;KACF,CAAC,CAAC;IACH,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC;QACZ,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;QAC5B,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW;QACpC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;KACnC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAqB;IACrD,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzE,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS;gBACjC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC;gBAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAC;QACL,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage, CheckOutcome, CheckVisibility } from \"../../check/check.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport {\n  diagnosticTags,\n  summarizeDiagnosticValue,\n  type DiagnosticLogger\n} from \"../diagnostic-logging/logger.ts\";\nimport { parseCheckTerminalResult } from \"./terminal-result.ts\";\nimport type { CheckExecutionLifecycle } from \"./resolved-checks.ts\";\nimport type { executeCheckCallback } from \"./callback.ts\";\n\nexport type CheckIdentity = Readonly<{\n  readonly checkId: string;\n  readonly displayName: string;\n  readonly visibility: CheckVisibility;\n}>;\n\nexport interface SettledCheckFacts {\n  readonly durationMs: number | null;\n  readonly messages: readonly CheckMessage[];\n}\n\nexport type CheckExecutionSettlementState = Readonly<{\n  readonly diagnosticLogger: DiagnosticLogger | undefined;\n  readonly lifecycle: CheckExecutionLifecycle | undefined;\n  readonly settledFactsByCheckId: Map<string, SettledCheckFacts>;\n}>;\n\nexport class CheckExecutionInvariantFailure extends Error {\n  public constructor(message: string) {\n    super(message);\n    this.name = \"CheckExecutionInvariantFailure\";\n  }\n}\n\nexport function settleCallback(\n  input: Readonly<{\n    readonly callback: Awaited<ReturnType<typeof executeCheckCallback>>;\n    readonly checkId: string;\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly preflightMessages: readonly CheckMessage[];\n    readonly scope: ReturnType<CoreCheckSession[\"openCheckScope\"]>;\n  }>\n): Readonly<{ readonly messages: readonly CheckMessage[]; readonly outcome: CheckOutcome }> {\n  const executionTags = diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\");\n  const { callback } = input;\n  if (callback.source === \"product\") {\n    const outcome = input.scope.settleProduct(callback.result);\n    return Object.freeze({ messages: input.preflightMessages, outcome });\n  }\n  const terminal = parseCheckTerminalResult(callback.result);\n  if (terminal === undefined) {\n    input.diagnosticLogger?.observe({\n      event: \"callback.malformed\",\n      tags: diagnosticTags(...executionTags, \"MALFORMED\"),\n      details: { result: callback.result }\n    });\n  }\n  const settlement = input.scope.settle(terminal?.result ?? callback.result);\n  if (terminal !== undefined && !settlement.authorResultAccepted) {\n    input.diagnosticLogger?.observe({\n      event: \"check.contained\",\n      tags: diagnosticTags(...executionTags, \"CONTAINED\"),\n      details: { outcome: diagnosticOutcome(settlement.outcome), raw: callback.result }\n    });\n  }\n  return Object.freeze({\n    messages:\n      terminal !== undefined && settlement.authorResultAccepted\n        ? Object.freeze([...input.preflightMessages, ...terminal.messages])\n        : input.preflightMessages,\n    outcome: settlement.outcome\n  });\n}\n\n/** Records one terminal Check lifecycle fact after its owning Core scope has closed. */\nexport function recordSettledCheck(\n  input: Readonly<{\n    readonly check: CheckIdentity;\n    readonly durationMs: number | null;\n    readonly messages: readonly CheckMessage[];\n    readonly outcome: CheckOutcome;\n    readonly phase: \"execution\" | \"preflight\";\n    readonly state: CheckExecutionSettlementState;\n  }>\n): void {\n  if (input.state.settledFactsByCheckId.has(input.check.checkId)) {\n    throw new CheckExecutionInvariantFailure(\"Check lifecycle settled more than once\");\n  }\n  input.state.settledFactsByCheckId.set(\n    input.check.checkId,\n    Object.freeze({ durationMs: input.durationMs, messages: input.messages })\n  );\n  input.state.diagnosticLogger?.observe({\n    event: \"check.finished\",\n    tags: diagnosticTags(\n      `CHECK:${input.check.checkId}`,\n      input.phase.toUpperCase(),\n      \"FINISHED\",\n      input.outcome.status.toUpperCase()\n    ),\n    details: {\n      durationMs: input.durationMs,\n      ...(input.messages.length === 0 ? {} : { messages: input.messages }),\n      ...diagnosticSettledOutcome(input.outcome)\n    }\n  });\n  input.state.lifecycle?.settled(\n    Object.freeze({\n      checkId: input.check.checkId,\n      displayName: input.check.displayName,\n      outcome: input.outcome,\n      durationMs: input.durationMs,\n      messages: input.messages,\n      visibility: input.check.visibility\n    })\n  );\n}\n\nfunction diagnosticSettledOutcome(outcome: CheckOutcome): Readonly<Record<string, unknown>> {\n  switch (outcome.status) {\n    case \"passed\":\n    case \"failed\":\n      return Object.freeze({ data: summarizeDiagnosticValue(outcome.data) });\n    case \"not-applicable\":\n      return outcome.reason === undefined\n        ? Object.freeze({})\n        : Object.freeze({ reason: outcome.reason });\n    case \"unavailable\":\n      return Object.freeze({ reason: outcome.reason });\n  }\n}\n\nfunction diagnosticOutcome(outcome: CheckOutcome): Readonly<Record<string, unknown>> {\n  switch (outcome.status) {\n    case \"passed\":\n    case \"failed\":\n      return Object.freeze({\n        data: summarizeDiagnosticValue(outcome.data),\n        status: outcome.status\n      });\n    case \"not-applicable\":\n      return Object.freeze({ reason: outcome.reason ?? null, status: outcome.status });\n    case \"unavailable\":\n      return Object.freeze({ reason: outcome.reason, status: outcome.status });\n  }\n}\n"]}

package/dist/esm/project-run/check-execution/messages.mjs

@@ -0,0 +1,38 @@
+import { hasRequiredAndOptionalRecordKeys, snapshotClosedArray, snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
+const EMPTY_MESSAGES = Object.freeze([]);
+/** Parses the shared closed Check-message attachment without retaining author input. */
+export function parseCheckMessages(value) {
+    if (value === undefined)
+        return EMPTY_MESSAGES;
+    const authoredMessages = snapshotClosedArray(value);
+    if (authoredMessages === undefined)
+        return undefined;
+    const messages = [];
+    for (const authoredMessage of authoredMessages) {
+        const message = detachedMessage(authoredMessage);
+        if (message === undefined)
+            return undefined;
+        messages.push(message);
+    }
+    return messages.length === 0 ? EMPTY_MESSAGES : Object.freeze(messages);
+}
+function detachedMessage(value) {
+    const message = snapshotClosedRecord(value);
+    if (message === undefined ||
+        !hasRequiredAndOptionalRecordKeys(message, {
+            required: ["level", "code", "message"],
+            optional: []
+        }) ||
+        !isCheckMessageLevel(message.level) ||
+        typeof message.code !== "string" ||
+        message.code.length === 0 ||
+        typeof message.message !== "string" ||
+        message.message.length === 0) {
+        return undefined;
+    }
+    return Object.freeze({ code: message.code, level: message.level, message: message.message });
+}
+function isCheckMessageLevel(value) {
+    return value === "info" || value === "warning" || value === "error";
+}
+//# sourceMappingURL=messages.mjs.map

package/dist/esm/project-run/check-execution/messages.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/messages.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gCAAgC,EAChC,mBAAmB,EACnB,oBAAoB,EACrB,MAAM,sCAAsC,CAAC;AAE9C,MAAM,cAAc,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAElE,wFAAwF;AACxF,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IAC/C,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,gBAAgB,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAErD,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,KAAK,MAAM,eAAe,IAAI,gBAAgB,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5C,IACE,OAAO,KAAK,SAAS;QACrB,CAAC,gCAAgC,CAAC,OAAO,EAAE;YACzC,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC;YACtC,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,CAAC,mBAAmB,CAAC,OAAO,CAAC,KAAK,CAAC;QACnC,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAChC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACzB,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ;QACnC,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAC5B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;AAC/F,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,OAAO,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,OAAO,CAAC;AACtE,CAAC","sourcesContent":["import type { CheckMessage } from \"../../check/check.ts\";\nimport {\n  hasRequiredAndOptionalRecordKeys,\n  snapshotClosedArray,\n  snapshotClosedRecord\n} from \"../../data-boundary/closed-values.ts\";\n\nconst EMPTY_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\n\n/** Parses the shared closed Check-message attachment without retaining author input. */\nexport function parseCheckMessages(value: unknown): readonly CheckMessage[] | undefined {\n  if (value === undefined) return EMPTY_MESSAGES;\n  const authoredMessages = snapshotClosedArray(value);\n  if (authoredMessages === undefined) return undefined;\n\n  const messages: CheckMessage[] = [];\n  for (const authoredMessage of authoredMessages) {\n    const message = detachedMessage(authoredMessage);\n    if (message === undefined) return undefined;\n    messages.push(message);\n  }\n  return messages.length === 0 ? EMPTY_MESSAGES : Object.freeze(messages);\n}\n\nfunction detachedMessage(value: unknown): CheckMessage | undefined {\n  const message = snapshotClosedRecord(value);\n  if (\n    message === undefined ||\n    !hasRequiredAndOptionalRecordKeys(message, {\n      required: [\"level\", \"code\", \"message\"],\n      optional: []\n    }) ||\n    !isCheckMessageLevel(message.level) ||\n    typeof message.code !== \"string\" ||\n    message.code.length === 0 ||\n    typeof message.message !== \"string\" ||\n    message.message.length === 0\n  ) {\n    return undefined;\n  }\n  return Object.freeze({ code: message.code, level: message.level, message: message.message });\n}\n\nfunction isCheckMessageLevel(value: unknown): value is CheckMessage[\"level\"] {\n  return value === \"info\" || value === \"warning\" || value === \"error\";\n}\n"]}

package/dist/esm/project-run/check-execution/plan.mjs

@@ -0,0 +1,35 @@
+/**
+ * Pure executable-Check projection. Check ids are the only scheduler Task
+ * identities: containment has already been resolved by Definition and has no
+ * runtime alias or completion semantics here.
+ */
+export function planStaticCheckGraph(checks, options = {}) {
+    const alreadySettledCheckIds = options.alreadySettledCheckIds ?? new Set();
+    const tasks = checks.map((check) => taskForCheck(check, alreadySettledCheckIds));
+    const scopes = checks.map(scopeForCheck);
+    return Object.freeze({
+        tasks: Object.freeze(tasks),
+        scopes: Object.freeze(scopes)
+    });
+}
+function taskForCheck(check, alreadySettledCheckIds) {
+    return Object.freeze({
+        dependsOn: check.dependsOn.filter((checkId) => !alreadySettledCheckIds.has(checkId)),
+        id: check.definition.checkId,
+        mutex: check.mutex,
+        scopeId: scopeIdFor(check)
+    });
+}
+function scopeForCheck(check) {
+    const taskId = check.definition.checkId;
+    return Object.freeze({
+        activationTaskIds: Object.freeze([taskId]),
+        id: scopeIdFor(check),
+        maxParallel: check.maxParallel,
+        terminalTaskId: taskId
+    });
+}
+function scopeIdFor(check) {
+    return `check/${check.definition.checkId}`;
+}
+//# sourceMappingURL=plan.mjs.map

package/dist/esm/project-run/check-execution/plan.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/plan.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAkC,EAClC,OAAO,GAAwE,EAAE;IAEjF,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,IAAI,GAAG,EAAU,CAAC;IACnF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,KAAsB,EACtB,sBAA2C;IAE3C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpF,EAAE,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO;QAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,KAAsB;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1C,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC;QACrB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,cAAc,EAAE,MAAM;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB;IACxC,OAAO,SAAS,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;AAC7C,CAAC","sourcesContent":["import type { TaskGraph, TaskNode, TaskScope } from \"../task-scheduler/graph.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\n\n/**\n * Pure executable-Check projection. Check ids are the only scheduler Task\n * identities: containment has already been resolved by Definition and has no\n * runtime alias or completion semantics here.\n */\nexport function planStaticCheckGraph(\n  checks: readonly NormalizedCheck[],\n  options: Readonly<{ readonly alreadySettledCheckIds?: ReadonlySet<string> }> = {}\n): TaskGraph {\n  const alreadySettledCheckIds = options.alreadySettledCheckIds ?? new Set<string>();\n  const tasks = checks.map((check) => taskForCheck(check, alreadySettledCheckIds));\n  const scopes = checks.map(scopeForCheck);\n  return Object.freeze({\n    tasks: Object.freeze(tasks),\n    scopes: Object.freeze(scopes)\n  });\n}\n\nfunction taskForCheck(\n  check: NormalizedCheck,\n  alreadySettledCheckIds: ReadonlySet<string>\n): TaskNode {\n  return Object.freeze({\n    dependsOn: check.dependsOn.filter((checkId) => !alreadySettledCheckIds.has(checkId)),\n    id: check.definition.checkId,\n    mutex: check.mutex,\n    scopeId: scopeIdFor(check)\n  });\n}\n\nfunction scopeForCheck(check: NormalizedCheck): TaskScope {\n  const taskId = check.definition.checkId;\n  return Object.freeze({\n    activationTaskIds: Object.freeze([taskId]),\n    id: scopeIdFor(check),\n    maxParallel: check.maxParallel,\n    terminalTaskId: taskId\n  });\n}\n\nfunction scopeIdFor(check: NormalizedCheck): string {\n  return `check/${check.definition.checkId}`;\n}\n"]}

package/dist/esm/project-run/check-execution/preflight-result.mjs

@@ -0,0 +1,83 @@
+import { hasRequiredAndOptionalRecordKeys, snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
+import { parseCheckMessages } from "./messages.mjs";
+/** Parses the closed result vocabulary returned by one trusted Check preflight. */
+export function parseCheckPreflightResult(value) {
+    const preflightResult = snapshotClosedRecord(value);
+    if (preflightResult === undefined) {
+        return undefined;
+    }
+    const messages = parseCheckMessages(preflightResult.messages);
+    if (messages === undefined)
+        return undefined;
+    switch (preflightResult.status) {
+        case "success":
+            return parseSuccessfulPreflight(preflightResult, messages);
+        case "failure":
+            return parseFailedPreflight(preflightResult, messages);
+        default:
+            return undefined;
+    }
+}
+function parseSuccessfulPreflight(preflightResult, messages) {
+    if (!hasRequiredAndOptionalRecordKeys(preflightResult, {
+        optional: ["messages"],
+        required: ["status", "preparedOptions"]
+    })) {
+        return undefined;
+    }
+    return Object.freeze({
+        status: "success",
+        preparedOptions: preflightResult.preparedOptions,
+        messages
+    });
+}
+function parseFailedPreflight(preflightResult, messages) {
+    if (typeof preflightResult.action !== "string")
+        return undefined;
+    const reason = parsePreflightReason(preflightResult.reason);
+    if (reason === undefined)
+        return undefined;
+    switch (preflightResult.action) {
+        case "block":
+            return parseBlockedPreflight(preflightResult, reason, messages);
+        case "continue":
+            return parseContinuedPreflight(preflightResult, reason, messages);
+        default:
+            return undefined;
+    }
+}
+function parseBlockedPreflight(preflightResult, reason, messages) {
+    if (!hasRequiredAndOptionalRecordKeys(preflightResult, {
+        optional: ["messages"],
+        required: ["status", "action", "reason"]
+    })) {
+        return undefined;
+    }
+    return Object.freeze({ status: "failure", action: "block", reason, messages });
+}
+function parseContinuedPreflight(preflightResult, reason, messages) {
+    if (!hasRequiredAndOptionalRecordKeys(preflightResult, {
+        optional: ["messages"],
+        required: ["status", "action", "fallback", "reason"]
+    })) {
+        return undefined;
+    }
+    return Object.freeze({
+        status: "failure",
+        action: "continue",
+        fallback: preflightResult.fallback,
+        reason,
+        messages
+    });
+}
+function parsePreflightReason(value) {
+    const reason = snapshotClosedRecord(value);
+    if (reason === undefined ||
+        Object.keys(reason).length !== 1 ||
+        typeof reason.code !== "string" ||
+        reason.code.length === 0) {
+        return undefined;
+    }
+    return Object.freeze({ code: reason.code });
+}
+//# sourceMappingURL=preflight-result.mjs.map

package/dist/esm/project-run/check-execution/preflight-result.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"preflight-result.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/preflight-result.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,oBAAoB,EACrB,MAAM,sCAAsC,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAsBnD,mFAAmF;AACnF,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,QAAQ,eAAe,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,SAAS;YACZ,OAAO,wBAAwB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;QAC7D,KAAK,SAAS;YACZ,OAAO,oBAAoB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;QACzD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,eAAkD,EAClD,QAAiC;IAEjC,IACE,CAAC,gCAAgC,CAAC,eAAe,EAAE;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;QACtB,QAAQ,EAAE,CAAC,QAAQ,EAAE,iBAAiB,CAAC;KACxC,CAAC,EACF,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,SAAS;QACjB,eAAe,EAAE,eAAe,CAAC,eAAe;QAChD,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC3B,eAAkD,EAClD,QAAiC;IAEjC,IAAI,OAAO,eAAe,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACjE,MAAM,MAAM,GAAG,oBAAoB,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,QAAQ,eAAe,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,OAAO;YACV,OAAO,qBAAqB,CAAC,eAAe,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,uBAAuB,CAAC,eAAe,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACpE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,eAAkD,EAClD,MAA2C,EAC3C,QAAiC;IAEjC,IACE,CAAC,gCAAgC,CAAC,eAAe,EAAE;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;QACtB,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC;KACzC,CAAC,EACF,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,uBAAuB,CAC9B,eAAkD,EAClD,MAA2C,EAC3C,QAAiC;IAEjC,IACE,CAAC,gCAAgC,CAAC,eAAe,EAAE;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;QACtB,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC;KACrD,CAAC,EACF,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,UAAmB;QAC3B,QAAQ,EAAE,eAAe,CAAC,QAAQ;QAClC,MAAM;QACN,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,IACE,MAAM,KAAK,SAAS;QACpB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC;QAChC,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC/B,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AAC9C,CAAC","sourcesContent":["import {\n  hasRequiredAndOptionalRecordKeys,\n  snapshotClosedRecord\n} from \"../../data-boundary/closed-values.ts\";\nimport type { CheckMessage } from \"../../check/check.ts\";\nimport { parseCheckMessages } from \"./messages.ts\";\n\nexport type ParsedCheckPreflightResult =\n  | Readonly<{\n      readonly status: \"success\";\n      readonly preparedOptions: unknown;\n      readonly messages: readonly CheckMessage[];\n    }>\n  | Readonly<{\n      readonly status: \"failure\";\n      readonly action: \"block\";\n      readonly reason: { readonly code: string };\n      readonly messages: readonly CheckMessage[];\n    }>\n  | Readonly<{\n      readonly status: \"failure\";\n      readonly action: \"continue\";\n      readonly fallback: unknown;\n      readonly reason: { readonly code: string };\n      readonly messages: readonly CheckMessage[];\n    }>;\n\n/** Parses the closed result vocabulary returned by one trusted Check preflight. */\nexport function parseCheckPreflightResult(value: unknown): ParsedCheckPreflightResult | undefined {\n  const preflightResult = snapshotClosedRecord(value);\n  if (preflightResult === undefined) {\n    return undefined;\n  }\n  const messages = parseCheckMessages(preflightResult.messages);\n  if (messages === undefined) return undefined;\n  switch (preflightResult.status) {\n    case \"success\":\n      return parseSuccessfulPreflight(preflightResult, messages);\n    case \"failure\":\n      return parseFailedPreflight(preflightResult, messages);\n    default:\n      return undefined;\n  }\n}\n\nfunction parseSuccessfulPreflight(\n  preflightResult: Readonly<Record<string, unknown>>,\n  messages: readonly CheckMessage[]\n): ParsedCheckPreflightResult | undefined {\n  if (\n    !hasRequiredAndOptionalRecordKeys(preflightResult, {\n      optional: [\"messages\"],\n      required: [\"status\", \"preparedOptions\"]\n    })\n  ) {\n    return undefined;\n  }\n  return Object.freeze({\n    status: \"success\",\n    preparedOptions: preflightResult.preparedOptions,\n    messages\n  });\n}\n\nfunction parseFailedPreflight(\n  preflightResult: Readonly<Record<string, unknown>>,\n  messages: readonly CheckMessage[]\n): ParsedCheckPreflightResult | undefined {\n  if (typeof preflightResult.action !== \"string\") return undefined;\n  const reason = parsePreflightReason(preflightResult.reason);\n  if (reason === undefined) return undefined;\n  switch (preflightResult.action) {\n    case \"block\":\n      return parseBlockedPreflight(preflightResult, reason, messages);\n    case \"continue\":\n      return parseContinuedPreflight(preflightResult, reason, messages);\n    default:\n      return undefined;\n  }\n}\n\nfunction parseBlockedPreflight(\n  preflightResult: Readonly<Record<string, unknown>>,\n  reason: Readonly<{ readonly code: string }>,\n  messages: readonly CheckMessage[]\n): ParsedCheckPreflightResult | undefined {\n  if (\n    !hasRequiredAndOptionalRecordKeys(preflightResult, {\n      optional: [\"messages\"],\n      required: [\"status\", \"action\", \"reason\"]\n    })\n  ) {\n    return undefined;\n  }\n  return Object.freeze({ status: \"failure\", action: \"block\", reason, messages });\n}\n\nfunction parseContinuedPreflight(\n  preflightResult: Readonly<Record<string, unknown>>,\n  reason: Readonly<{ readonly code: string }>,\n  messages: readonly CheckMessage[]\n): ParsedCheckPreflightResult | undefined {\n  if (\n    !hasRequiredAndOptionalRecordKeys(preflightResult, {\n      optional: [\"messages\"],\n      required: [\"status\", \"action\", \"fallback\", \"reason\"]\n    })\n  ) {\n    return undefined;\n  }\n  return Object.freeze({\n    status: \"failure\",\n    action: \"continue\" as const,\n    fallback: preflightResult.fallback,\n    reason,\n    messages\n  });\n}\n\nfunction parsePreflightReason(value: unknown): Readonly<{ readonly code: string }> | undefined {\n  const reason = snapshotClosedRecord(value);\n  if (\n    reason === undefined ||\n    Object.keys(reason).length !== 1 ||\n    typeof reason.code !== \"string\" ||\n    reason.code.length === 0\n  ) {\n    return undefined;\n  }\n  return Object.freeze({ code: reason.code });\n}\n"]}

package/dist/esm/project-run/check-execution/preflight.mjs

@@ -0,0 +1,186 @@
+import { snapshotJsonObject } from "../../check/options-snapshot.mjs";
+import { diagnosticTags, summarizeDiagnosticValue } from "../diagnostic-logging/logger.mjs";
+import { parseCheckPreflightResult } from "./preflight-result.mjs";
+const EMPTY_MESSAGES = Object.freeze([]);
+const INERT_SIGNAL = new AbortController().signal;
+/** Completes the sequential invocation-wide barrier before any Check enters the Task graph. */
+export async function prepareChecks(input) {
+    const resolutions = [];
+    for (const check of input.checks) {
+        resolutions.push(await prepareCheck({
+            check,
+            diagnosticLogger: input.diagnosticLogger,
+            signal: input.signal
+        }));
+    }
+    return Object.freeze(resolutions);
+}
+async function prepareCheck(input) {
+    if (input.signal?.aborted) {
+        return observeBlockedPreflight({
+            check: input.check,
+            diagnosticLogger: input.diagnosticLogger,
+            details: {},
+            result: "cancelled-before-callback",
+            reasonCode: "execution-cancelled"
+        });
+    }
+    if (input.check.preflight === undefined) {
+        return resolveAuthoredOptions(input);
+    }
+    return resolvePreflightInvocation(input, await invokePreflight(input.check, input.signal));
+}
+function resolveAuthoredOptions(input) {
+    const resolution = readyResolution({
+        authoredCheck: input.check,
+        messages: EMPTY_MESSAGES,
+        preparedOptions: input.check.options
+    });
+    observeReadyOrMalformedResolution(input.diagnosticLogger, input.check.definition.checkId, resolution, "skipped", { source: "authored" });
+    return resolution;
+}
+function resolvePreflightInvocation(input, invocation) {
+    if (invocation.kind === "threw") {
+        return observeBlockedPreflight({
+            check: input.check,
+            diagnosticLogger: input.diagnosticLogger,
+            details: { error: invocation.error },
+            result: input.signal?.aborted ? "cancelled-after-throw" : "threw",
+            reasonCode: input.signal?.aborted ? "execution-cancelled" : "preflight-threw"
+        });
+    }
+    return resolveReturnedPreflight(input, invocation.output);
+}
+function resolveReturnedPreflight(input, preflightOutput) {
+    if (input.signal?.aborted) {
+        return observeBlockedPreflight({
+            check: input.check,
+            diagnosticLogger: input.diagnosticLogger,
+            details: { raw: preflightOutput },
+            result: "cancelled-after-callback",
+            reasonCode: "execution-cancelled"
+        });
+    }
+    const preflightResult = parseCheckPreflightResult(preflightOutput);
+    if (preflightResult === undefined) {
+        return observeBlockedPreflight({
+            check: input.check,
+            diagnosticLogger: input.diagnosticLogger,
+            details: { raw: preflightOutput },
+            result: "malformed",
+            reasonCode: "invalid-preflight-result"
+        });
+    }
+    if (preflightResult.status === "failure" && preflightResult.action === "block") {
+        return resolveBlockedPreflightResult(input, preflightResult);
+    }
+    return resolveReadyPreflightResult(input, preflightOutput, preflightResult);
+}
+function resolveBlockedPreflightResult(input, preflightResult) {
+    const resolution = blockedResolution({
+        check: input.check,
+        messages: preflightResult.messages,
+        reasonCode: preflightResult.reason.code
+    });
+    observePreflightResolution(input.diagnosticLogger, input.check.definition.checkId, resolution, "blocked", {
+        ...(preflightResult.messages.length === 0 ? {} : { messages: preflightResult.messages }),
+        reason: preflightResult.reason
+    });
+    return resolution;
+}
+function resolveReadyPreflightResult(input, preflightOutput, preflightResult) {
+    const checkId = input.check.definition.checkId;
+    const result = preflightResult.status === "success" ? "prepared" : "continued";
+    const resolution = readyResolution({
+        authoredCheck: input.check,
+        messages: preflightResult.messages,
+        preparedOptions: preflightResult.status === "success"
+            ? preflightResult.preparedOptions
+            : preflightResult.fallback
+    });
+    observeReadyOrMalformedResolution(input.diagnosticLogger, checkId, resolution, result, {
+        messages: preflightResult.messages,
+        ...(preflightResult.status === "success" ? {} : { reason: preflightResult.reason }),
+        raw: preflightOutput
+    });
+    return resolution;
+}
+async function invokePreflight(check, signal) {
+    try {
+        return Object.freeze({
+            kind: "returned",
+            output: await check.preflight(check.options, signal ?? INERT_SIGNAL)
+        });
+    }
+    catch (error) {
+        return Object.freeze({ kind: "threw", error });
+    }
+}
+function observeBlockedPreflight(input) {
+    const resolution = blockedResolution({
+        check: input.check,
+        messages: EMPTY_MESSAGES,
+        reasonCode: input.reasonCode
+    });
+    observePreflightResolution(input.diagnosticLogger, input.check.definition.checkId, resolution, input.result, input.details);
+    return resolution;
+}
+function observeReadyOrMalformedResolution(diagnosticLogger, checkId, resolution, result, details) {
+    if (resolution.kind === "blocked") {
+        observePreflightResolution(diagnosticLogger, checkId, resolution, "malformed", {
+            raw: "raw" in details ? details.raw : summarizeDiagnosticValue(details)
+        });
+        return;
+    }
+    const messages = "messages" in details ? details.messages : EMPTY_MESSAGES;
+    observePreflightResolution(diagnosticLogger, checkId, resolution, result, {
+        ...(Array.isArray(messages) && messages.length > 0 ? { messages } : {}),
+        options: summarizeDiagnosticValue(resolution.check.options),
+        ...("reason" in details ? { reason: details.reason } : {}),
+        ...("source" in details ? { source: details.source } : {})
+    });
+}
+function observePreflightResolution(diagnosticLogger, checkId, resolution, result, details) {
+    diagnosticLogger?.observe({
+        event: "preflight.resolved",
+        tags: diagnosticTags(`CHECK:${checkId}`, "PREFLIGHT", result.toUpperCase()),
+        details: {
+            ...details,
+            ...(resolution.kind === "blocked" ? { outcome: resolution.outcome } : {})
+        }
+    });
+}
+function readyResolution(input) {
+    const preparedOptions = snapshotJsonObject(input.preparedOptions);
+    if (preparedOptions === undefined) {
+        return blockedResolution({
+            check: input.authoredCheck,
+            messages: EMPTY_MESSAGES,
+            reasonCode: "invalid-preflight-result"
+        });
+    }
+    const { preflight: _preflight, ...check } = input.authoredCheck;
+    return Object.freeze({
+        kind: "ready",
+        check: Object.freeze({
+            ...check,
+            options: preparedOptions,
+            preflightMessages: input.messages
+        })
+    });
+}
+function blockedResolution(input) {
+    return Object.freeze({
+        kind: "blocked",
+        check: Object.freeze({
+            definition: input.check.definition,
+            preflightMessages: input.messages,
+            visibility: input.check.visibility
+        }),
+        outcome: Object.freeze({
+            status: "unavailable",
+            reason: Object.freeze({ code: input.reasonCode })
+        })
+    });
+}
+//# sourceMappingURL=preflight.mjs.map