@zxyycom/vibe-check 0.0.1 → 0.0.2

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

@@ -4,25 +4,38 @@ const EMPTY_MESSAGES = Object.freeze([]);
 export function closeResolvedChecks(input) {
     try {
         assertNoTaskEngineFailures(input.graphRun.settlements);
+        if (input.graphRun.admissionPolicyFault !== undefined) {
+            return closeAdmissionPolicyFailed({
+                normalizedChecks: input.allChecks,
+                state: input.state,
+                terminalSchedulerMeasurement: input.graphRun.terminalMeasurement
+            });
+        }
         if (input.graphRun.cancelled) {
             return closeCancelledExecution({
                 normalizedChecks: input.allChecks,
-                preparedChecks: input.readyChecks,
-                state: input.state
+                state: input.state,
+                terminalSchedulerMeasurement: input.graphRun.terminalMeasurement
             });
         }
-        assertEveryCheckClosed(input.readyChecks, input.graphRun.settlements);
-        return resolvedExecution("completed", input.state.session.freeze(), input.state);
+        assertEveryCheckClosed(input.allChecks, input.graphRun.settlements);
+        return completedResolvedExecution(input.effectiveCheckIds, input.state.session.freeze(), input.state, input.graphRun.terminalMeasurement);
     }
     catch (error) {
         throw trustedFailure(error);
     }
 }
+export function closeAdmissionPolicyFailed(input) {
+    input.state.session.closeUnresolvedAsCancelled();
+    const snapshot = input.state.session.freeze();
+    settleUnstartedCancelledChecks({ ...input, snapshot });
+    return resolvedExecution("admission-policy-failed", snapshot, input.state, input.terminalSchedulerMeasurement);
+}
 export function closeCancelledExecution(input) {
     input.state.session.closeUnresolvedAsCancelled();
     const snapshot = input.state.session.freeze();
     settleUnstartedCancelledChecks({ ...input, snapshot });
-    return resolvedExecution("cancelled", snapshot, input.state);
+    return resolvedExecution("cancelled", snapshot, input.state, input.terminalSchedulerMeasurement);
 }
 export function checkIdentity(check) {
     return Object.freeze({
@@ -36,16 +49,25 @@ export function trustedFailure(error) {
         ? error
         : new CheckExecutionInvariantFailure("Check execution adapter escaped its contained failure boundary");
 }
-function resolvedExecution(kind, snapshot, state) {
+function resolvedExecution(kind, snapshot, state, terminalSchedulerMeasurement) {
     return Object.freeze({
         kind,
         ...checkRunSummaries(snapshot, state.settledFactsByCheckId),
-        snapshot
+        snapshot,
+        ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })
+    });
+}
+function completedResolvedExecution(effectiveCheckIds, snapshot, state, terminalSchedulerMeasurement) {
+    return Object.freeze({
+        kind: "completed",
+        ...checkRunSummaries(snapshot, state.settledFactsByCheckId),
+        effectiveCheckIds,
+        snapshot,
+        ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })
     });
 }
 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;
@@ -56,7 +78,7 @@ function settleUnstartedCancelledChecks(input) {
         recordSettledCheck({
             check: checkIdentity(normalized),
             durationMs: null,
-            messages: preparedByCheckId.get(check.checkId)?.preflightMessages ?? EMPTY_MESSAGES,
+            messages: EMPTY_MESSAGES,
             outcome: check.outcome,
             phase: "execution",
             state: input.state
@@ -74,7 +96,10 @@ function checkRunSummaries(snapshot, settledFactsByCheckId) {
         if (settledFacts === undefined) {
             throw new CheckExecutionInvariantFailure("Check settled facts are missing a Check");
         }
-        checkDurations.push(Object.freeze({ checkId: check.checkId, durationMs: settledFacts.durationMs }));
+        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({
@@ -82,14 +107,30 @@ function checkRunSummaries(snapshot, settledFactsByCheckId) {
         checkMessages: messages.length === 0 ? Object.freeze([]) : Object.freeze(messages)
     });
 }
+/** Closes one Scheduler-blocked Check before a terminal observer may start. */
+export function settleBlockedDependent(input) {
+    const scope = input.state.session.openCheckScope(input.check.definition.checkId);
+    const outcome = scope.settleProduct(Object.freeze({
+        status: "unavailable",
+        reason: Object.freeze({
+            code: "dependency-not-passed",
+            checkIds: Object.freeze([...input.dependencyIds])
+        })
+    }));
+    recordSettledCheck({
+        check: checkIdentity(input.check),
+        durationMs: null,
+        messages: EMPTY_MESSAGES,
+        outcome,
+        phase: "dependency",
+        state: input.state
+    });
+}
 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) {

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

@@ -1 +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"]}
+{"version":3,"file":"execution-finalization.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-finalization.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAInB,MAAM,2BAA2B,CAAC;AAGnC,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,oBAAoB,KAAK,SAAS,EAAE,CAAC;YACtD,OAAO,0BAA0B,CAAC;gBAChC,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,4BAA4B,EAAE,KAAK,CAAC,QAAQ,CAAC,mBAAmB;aACjE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO,uBAAuB,CAAC;gBAC7B,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,4BAA4B,EAAE,KAAK,CAAC,QAAQ,CAAC,mBAAmB;aACjE,CAAC,CAAC;QACL,CAAC;QACD,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACpE,OAAO,0BAA0B,CAC/B,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAC5B,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CACnC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,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,CACtB,yBAAyB,EACzB,QAAQ,EACR,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,4BAA4B,CACnC,CAAC;AACJ,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,EAAE,KAAK,CAAC,4BAA4B,CAAC,CAAC;AACnG,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,IAA0D,EAC1D,QAAsB,EACtB,KAA0B,EAC1B,4BAAqE;IAErE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,QAAQ;QACR,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;KACxF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CACjC,iBAAoC,EACpC,QAAsB,EACtB,KAA0B,EAC1B,4BAAqE;IAErE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,iBAAiB;QACjB,QAAQ;QACR,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;KACxF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,KAIE;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,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,cAAc;YACxB,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;YACZ,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,YAAY,CAAC,UAAU;SACpC,CAAC,CACH,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,+EAA+E;AAC/E,MAAM,UAAU,sBAAsB,CACpC,KAIE;IAEF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CACjC,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,aAAsB;QAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;SAClD,CAAC;KACH,CAAC,CACH,CAAC;IACF,kBAAkB,CAAC;QACjB,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,cAAc;QACxB,OAAO;QACP,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,WAA4C;IAC9E,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;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAkC,EAClC,WAA4C;IAE5C,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 {\n  NormalizedCheck,\n  SchedulerMeasurementContext\n} 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 CheckExecutionState,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport type { ResolvedCheckExecution } from \"./resolved-execution-result.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 effectiveCheckIds: readonly string[];\n    readonly graphRun: Awaited<\n      ReturnType<typeof import(\"../task-scheduler/scheduler.ts\").runTaskGraph<boolean>>\n    >;\n    readonly state: CheckExecutionState;\n  }>\n): ResolvedCheckExecution {\n  try {\n    assertNoTaskEngineFailures(input.graphRun.settlements);\n    if (input.graphRun.admissionPolicyFault !== undefined) {\n      return closeAdmissionPolicyFailed({\n        normalizedChecks: input.allChecks,\n        state: input.state,\n        terminalSchedulerMeasurement: input.graphRun.terminalMeasurement\n      });\n    }\n    if (input.graphRun.cancelled) {\n      return closeCancelledExecution({\n        normalizedChecks: input.allChecks,\n        state: input.state,\n        terminalSchedulerMeasurement: input.graphRun.terminalMeasurement\n      });\n    }\n    assertEveryCheckClosed(input.allChecks, input.graphRun.settlements);\n    return completedResolvedExecution(\n      input.effectiveCheckIds,\n      input.state.session.freeze(),\n      input.state,\n      input.graphRun.terminalMeasurement\n    );\n  } catch (error) {\n    throw trustedFailure(error);\n  }\n}\n\nexport function closeAdmissionPolicyFailed(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly state: CheckExecutionState;\n    readonly terminalSchedulerMeasurement?: SchedulerMeasurementContext;\n  }>\n): ResolvedCheckExecution {\n  input.state.session.closeUnresolvedAsCancelled();\n  const snapshot = input.state.session.freeze();\n  settleUnstartedCancelledChecks({ ...input, snapshot });\n  return resolvedExecution(\n    \"admission-policy-failed\",\n    snapshot,\n    input.state,\n    input.terminalSchedulerMeasurement\n  );\n}\n\nexport function closeCancelledExecution(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly state: CheckExecutionState;\n    readonly terminalSchedulerMeasurement?: SchedulerMeasurementContext;\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, input.terminalSchedulerMeasurement);\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: Exclude<ResolvedCheckExecution[\"kind\"], \"completed\">,\n  snapshot: CoreSnapshot,\n  state: CheckExecutionState,\n  terminalSchedulerMeasurement: SchedulerMeasurementContext | undefined\n): ResolvedCheckExecution {\n  return Object.freeze({\n    kind,\n    ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n    snapshot,\n    ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n  });\n}\n\nfunction completedResolvedExecution(\n  effectiveCheckIds: readonly string[],\n  snapshot: CoreSnapshot,\n  state: CheckExecutionState,\n  terminalSchedulerMeasurement: SchedulerMeasurementContext | undefined\n): Extract<ResolvedCheckExecution, { readonly kind: \"completed\" }> {\n  return Object.freeze({\n    kind: \"completed\",\n    ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n    effectiveCheckIds,\n    snapshot,\n    ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n  });\n}\n\nfunction settleUnstartedCancelledChecks(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\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  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: 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({\n        checkId: check.checkId,\n        durationMs: settledFacts.durationMs\n      })\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\n/** Closes one Scheduler-blocked Check before a terminal observer may start. */\nexport function settleBlockedDependent(\n  input: Readonly<{\n    readonly check: NormalizedCheck;\n    readonly dependencyIds: readonly string[];\n    readonly state: CheckExecutionState;\n  }>\n): void {\n  const scope = input.state.session.openCheckScope(input.check.definition.checkId);\n  const outcome = scope.settleProduct(\n    Object.freeze({\n      status: \"unavailable\" as const,\n      reason: Object.freeze({\n        code: \"dependency-not-passed\",\n        checkIds: Object.freeze([...input.dependencyIds])\n      })\n    })\n  );\n  recordSettledCheck({\n    check: checkIdentity(input.check),\n    durationMs: null,\n    messages: EMPTY_MESSAGES,\n    outcome,\n    phase: \"dependency\",\n    state: input.state\n  });\n}\n\nfunction assertNoTaskEngineFailures(settlements: readonly SettledTask<boolean>[]): 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  }\n}\n\nfunction assertEveryCheckClosed(\n  checks: readonly NormalizedCheck[],\n  settlements: readonly SettledTask<boolean>[]\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

@@ -1,5 +1,6 @@
 import { diagnosticTags, summarizeDiagnosticValue } from "../diagnostic-logging/logger.mjs";
 import { parseCheckTerminalResult } from "./terminal-result.mjs";
+import { combineCheckMessages } from "./messages.mjs";
 export class CheckExecutionInvariantFailure extends Error {
     constructor(message) {
         super(message);
@@ -11,7 +12,10 @@ export function settleCallback(input) {
     const { callback } = input;
     if (callback.source === "product") {
         const outcome = input.scope.settleProduct(callback.result);
-        return Object.freeze({ messages: input.preflightMessages, outcome });
+        return Object.freeze({
+            messages: combineCheckMessages(input.preflightMessages, callback.consoleMessages),
+            outcome
+        });
     }
     const terminal = parseCheckTerminalResult(callback.result);
     if (terminal === undefined) {
@@ -31,8 +35,8 @@ export function settleCallback(input) {
     }
     return Object.freeze({
         messages: terminal !== undefined && settlement.authorResultAccepted
-            ? Object.freeze([...input.preflightMessages, ...terminal.messages])
-            : input.preflightMessages,
+            ? combineCheckMessages(input.preflightMessages, callback.consoleMessages, terminal.messages)
+            : combineCheckMessages(input.preflightMessages, callback.consoleMessages),
         outcome: settlement.outcome
     });
 }
@@ -47,7 +51,8 @@ export function recordSettledCheck(input) {
         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 }),
+            messageCount: input.messages.length,
+            phase: input.phase,
             ...diagnosticSettledOutcome(input.outcome)
         }
     });
@@ -57,6 +62,7 @@ export function recordSettledCheck(input) {
         outcome: input.outcome,
         durationMs: input.durationMs,
         messages: input.messages,
+        records: input.state.session.readSettledCheckRecords(input.check.checkId),
         visibility: input.check.visibility
     }));
 }
@@ -64,13 +70,11 @@ function diagnosticSettledOutcome(outcome) {
     switch (outcome.status) {
         case "passed":
         case "failed":
-            return Object.freeze({ data: summarizeDiagnosticValue(outcome.data) });
+            return Object.freeze({ status: outcome.status });
         case "not-applicable":
-            return outcome.reason === undefined
-                ? Object.freeze({})
-                : Object.freeze({ reason: outcome.reason });
+            return Object.freeze({ reasonCode: outcome.reason?.code ?? null, status: outcome.status });
         case "unavailable":
-            return Object.freeze({ reason: outcome.reason });
+            return Object.freeze({ reasonCode: outcome.reason.code, status: outcome.status });
     }
 }
 function diagnosticOutcome(outcome) {

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

@@ -1 +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"]}
+{"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;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAyBrD,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;YACnB,QAAQ,EAAE,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,EAAE,QAAQ,CAAC,eAAe,CAAC;YACjF,OAAO;SACR,CAAC,CAAC;IACL,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,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,EAAE,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,QAAQ,CAAC;YAC5F,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,EAAE,QAAQ,CAAC,eAAe,CAAC;QAC7E,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,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;YACnC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,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,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;QACzE,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,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnD,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,IAAI,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7F,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACtF,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 { combineCheckMessages } from \"./messages.ts\";\nimport type { CheckExecutionLifecycle } from \"./lifecycle.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 session: CoreCheckSession;\n  readonly diagnosticLogger: DiagnosticLogger | undefined;\n  readonly lifecycle: CheckExecutionLifecycle | undefined;\n  readonly settledFactsByCheckId: Map<string, SettledCheckFacts>;\n}>;\n\n/** Mutable execution session state shared by execution and terminal finalization. */\nexport type CheckExecutionState = CheckExecutionSettlementState;\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({\n      messages: combineCheckMessages(input.preflightMessages, callback.consoleMessages),\n      outcome\n    });\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        ? combineCheckMessages(input.preflightMessages, callback.consoleMessages, terminal.messages)\n        : combineCheckMessages(input.preflightMessages, callback.consoleMessages),\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: \"control\" | \"dependency\" | \"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      messageCount: input.messages.length,\n      phase: input.phase,\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      records: input.state.session.readSettledCheckRecords(input.check.checkId),\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({ status: outcome.status });\n    case \"not-applicable\":\n      return Object.freeze({ reasonCode: outcome.reason?.code ?? null, status: outcome.status });\n    case \"unavailable\":\n      return Object.freeze({ reasonCode: outcome.reason.code, status: outcome.status });\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/flag-controls.mjs

@@ -0,0 +1,87 @@
+import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
+export const FLAG_CONDITION_NOT_MATCHED_CODE = "flag-condition-not-matched";
+/**
+ * Selects canonical Check IDs for direct flag matches and their opt-in
+ * `dependsOn` closures after complete static graph validation.
+ */
+export function selectEffectiveCheckIds(checks, flags) {
+    const expandedCheckIds = new Set();
+    const selectedCheckIds = new Set();
+    const checksByCheckId = new Map(checks.map((check) => [check.definition.checkId, check]));
+    for (const check of checks) {
+        const enablement = check.enabledByFlags;
+        if (enablement !== undefined && !matchesFlagEnablement(enablement, flags))
+            continue;
+        if (enablement?.propagateDependsOn === true) {
+            selectCheckAndDependsOnClosure(check, checksByCheckId, expandedCheckIds, selectedCheckIds);
+            continue;
+        }
+        selectedCheckIds.add(check.definition.checkId);
+    }
+    return Object.freeze([...selectedCheckIds].sort());
+}
+/** Resolves all flag-controlled outcomes before Scheduler admission or Check-owned work. */
+export function resolveFlagControlSettlements(input) {
+    if (input.signal?.aborted === true)
+        return Object.freeze([]);
+    const settlements = [];
+    const selectedCheckIds = new Set(input.effectiveCheckIds);
+    for (const check of input.checks) {
+        const settlement = resolveFlagControl(check, selectedCheckIds);
+        if (settlement === undefined)
+            continue;
+        settlements.push(settlement);
+        input.diagnosticLogger?.observe({
+            event: "control.resolved",
+            tags: diagnosticTags(`CHECK:${check.definition.checkId}`, "CONTROL", FLAG_CONDITION_NOT_MATCHED_CODE.toUpperCase()),
+            details: {
+                enabledByFlags: check.enabledByFlags,
+                outcome: settlement.outcome
+            }
+        });
+    }
+    return Object.freeze(settlements);
+}
+function resolveFlagControl(check, selectedCheckIds) {
+    if (check.enabledByFlags === undefined || selectedCheckIds.has(check.definition.checkId)) {
+        return undefined;
+    }
+    return Object.freeze({
+        check: Object.freeze({
+            definition: check.definition,
+            visibility: check.visibility
+        }),
+        outcome: Object.freeze({
+            status: "not-applicable",
+            reason: Object.freeze({ code: FLAG_CONDITION_NOT_MATCHED_CODE })
+        })
+    });
+}
+function selectCheckAndDependsOnClosure(check, checksByCheckId, expandedCheckIds, selectedCheckIds) {
+    const checkId = check.definition.checkId;
+    if (expandedCheckIds.has(checkId))
+        return;
+    expandedCheckIds.add(checkId);
+    selectedCheckIds.add(checkId);
+    for (const dependencyId of check.dependsOn) {
+        const dependency = checksByCheckId.get(dependencyId);
+        if (dependency === undefined) {
+            throw new Error("Validated Check graph has an unavailable dependency");
+        }
+        selectCheckAndDependsOnClosure(dependency, checksByCheckId, expandedCheckIds, selectedCheckIds);
+    }
+}
+function matchesFlagEnablement(enablement, runFlags) {
+    const isPresentInRun = (flag) => runFlags.includes(flag);
+    switch (enablement.mode) {
+        case "all":
+            return enablement.flags.every(isPresentInRun);
+        case "any":
+            return enablement.flags.some(isPresentInRun);
+        case "none":
+            return !enablement.flags.some(isPresentInRun);
+        case "not-all":
+            return !enablement.flags.every(isPresentInRun);
+    }
+}
+//# sourceMappingURL=flag-controls.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"flag-controls.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/flag-controls.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AAExF,MAAM,CAAC,MAAM,+BAA+B,GAAG,4BAA4B,CAAC;AAa5E;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAkC,EAClC,KAAwB;IAExB,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAU,CAAC,CAClE,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC;QACxC,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC;YAAE,SAAS;QAEpF,IAAI,UAAU,EAAE,kBAAkB,KAAK,IAAI,EAAE,CAAC;YAC5C,8BAA8B,CAAC,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;YAC3F,SAAS;QACX,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,6BAA6B,CAC3C,KAKE;IAEF,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAE7D,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QAC/D,IAAI,UAAU,KAAK,SAAS;YAAE,SAAS;QACvC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7B,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,kBAAkB;YACzB,IAAI,EAAE,cAAc,CAClB,SAAS,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,EACnC,SAAS,EACT,+BAA+B,CAAC,WAAW,EAAE,CAC9C;YACD,OAAO,EAAE;gBACP,cAAc,EAAE,KAAK,CAAC,cAAc;gBACpC,OAAO,EAAE,UAAU,CAAC,OAAO;aAC5B;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAsB,EACtB,gBAAqC;IAErC,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC;QACF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,gBAAgB;YACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,+BAA+B,EAAE,CAAC;SACjE,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,KAAsB,EACtB,eAAqD,EACrD,gBAA6B,EAC7B,gBAA6B;IAE7B,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IACzC,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO;IAC1C,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAE9B,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;QACD,8BAA8B,CAAC,UAAU,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAClG,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAA0D,EAC1D,QAA2B;IAE3B,MAAM,cAAc,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAChD,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/C,KAAK,MAAM;YACT,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAChD,KAAK,SAAS;YACZ,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACnD,CAAC;AACH,CAAC","sourcesContent":["import type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\n\nexport const FLAG_CONDITION_NOT_MATCHED_CODE = \"flag-condition-not-matched\";\n\ntype FlagControlledCheck = Pick<NormalizedCheck, \"definition\" | \"visibility\">;\ntype FlagControlOutcome = Readonly<{\n  readonly status: \"not-applicable\";\n  readonly reason: Readonly<{ readonly code: typeof FLAG_CONDITION_NOT_MATCHED_CODE }>;\n}>;\n\nexport type FlagControlSettlement = Readonly<{\n  readonly check: FlagControlledCheck;\n  readonly outcome: FlagControlOutcome;\n}>;\n\n/**\n * Selects canonical Check IDs for direct flag matches and their opt-in\n * `dependsOn` closures after complete static graph validation.\n */\nexport function selectEffectiveCheckIds(\n  checks: readonly NormalizedCheck[],\n  flags: readonly string[]\n): readonly string[] {\n  const expandedCheckIds = new Set<string>();\n  const selectedCheckIds = new Set<string>();\n  const checksByCheckId = new Map(\n    checks.map((check) => [check.definition.checkId, check] as const)\n  );\n\n  for (const check of checks) {\n    const enablement = check.enabledByFlags;\n    if (enablement !== undefined && !matchesFlagEnablement(enablement, flags)) continue;\n\n    if (enablement?.propagateDependsOn === true) {\n      selectCheckAndDependsOnClosure(check, checksByCheckId, expandedCheckIds, selectedCheckIds);\n      continue;\n    }\n    selectedCheckIds.add(check.definition.checkId);\n  }\n\n  return Object.freeze([...selectedCheckIds].sort());\n}\n\n/** Resolves all flag-controlled outcomes before Scheduler admission or Check-owned work. */\nexport function resolveFlagControlSettlements(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly diagnosticLogger?: DiagnosticLogger;\n    readonly effectiveCheckIds: readonly string[];\n    readonly signal: AbortSignal | undefined;\n  }>\n): readonly FlagControlSettlement[] {\n  if (input.signal?.aborted === true) return Object.freeze([]);\n\n  const settlements: FlagControlSettlement[] = [];\n  const selectedCheckIds = new Set(input.effectiveCheckIds);\n  for (const check of input.checks) {\n    const settlement = resolveFlagControl(check, selectedCheckIds);\n    if (settlement === undefined) continue;\n    settlements.push(settlement);\n    input.diagnosticLogger?.observe({\n      event: \"control.resolved\",\n      tags: diagnosticTags(\n        `CHECK:${check.definition.checkId}`,\n        \"CONTROL\",\n        FLAG_CONDITION_NOT_MATCHED_CODE.toUpperCase()\n      ),\n      details: {\n        enabledByFlags: check.enabledByFlags,\n        outcome: settlement.outcome\n      }\n    });\n  }\n  return Object.freeze(settlements);\n}\n\nfunction resolveFlagControl(\n  check: NormalizedCheck,\n  selectedCheckIds: ReadonlySet<string>\n): FlagControlSettlement | undefined {\n  if (check.enabledByFlags === undefined || selectedCheckIds.has(check.definition.checkId)) {\n    return undefined;\n  }\n  return Object.freeze({\n    check: Object.freeze({\n      definition: check.definition,\n      visibility: check.visibility\n    }),\n    outcome: Object.freeze({\n      status: \"not-applicable\",\n      reason: Object.freeze({ code: FLAG_CONDITION_NOT_MATCHED_CODE })\n    })\n  });\n}\n\nfunction selectCheckAndDependsOnClosure(\n  check: NormalizedCheck,\n  checksByCheckId: ReadonlyMap<string, NormalizedCheck>,\n  expandedCheckIds: Set<string>,\n  selectedCheckIds: Set<string>\n): void {\n  const checkId = check.definition.checkId;\n  if (expandedCheckIds.has(checkId)) return;\n  expandedCheckIds.add(checkId);\n  selectedCheckIds.add(checkId);\n\n  for (const dependencyId of check.dependsOn) {\n    const dependency = checksByCheckId.get(dependencyId);\n    if (dependency === undefined) {\n      throw new Error(\"Validated Check graph has an unavailable dependency\");\n    }\n    selectCheckAndDependsOnClosure(dependency, checksByCheckId, expandedCheckIds, selectedCheckIds);\n  }\n}\n\nfunction matchesFlagEnablement(\n  enablement: NonNullable<NormalizedCheck[\"enabledByFlags\"]>,\n  runFlags: readonly string[]\n): boolean {\n  const isPresentInRun = (flag: string): boolean => runFlags.includes(flag);\n  switch (enablement.mode) {\n    case \"all\":\n      return enablement.flags.every(isPresentInRun);\n    case \"any\":\n      return enablement.flags.some(isPresentInRun);\n    case \"none\":\n      return !enablement.flags.some(isPresentInRun);\n    case \"not-all\":\n      return !enablement.flags.every(isPresentInRun);\n  }\n}\n"]}

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

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=lifecycle.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/lifecycle.ts"],"names":[],"mappings":"","sourcesContent":["import type { CheckMessage, CheckOutcome, CheckVisibility } from \"../../check/check.ts\";\nimport type { CoreRecord } from \"../../check-settlement/facts.ts\";\n\n/** Private Run handoff for Check lifecycle presentation and accounting. */\nexport type CheckExecutionLifecycle = Readonly<{\n  /** Fires after the invocation-wide flag-control phase and before Scheduler execution starts. */\n  readonly flagControlCompleted: () => void;\n  readonly started: (fact: CheckStartedFact) => void;\n  readonly settled: (fact: CheckSettledFact) => void;\n}>;\n\nexport type CheckStartedFact = Readonly<{ checkId: string; displayName: string }>;\n\nexport type CheckSettledFact = CheckStartedFact &\n  Readonly<{\n    durationMs: number | null;\n    messages: readonly CheckMessage[];\n    records: readonly CoreRecord[];\n    outcome: CheckOutcome;\n    visibility: CheckVisibility;\n  }>;\n"]}

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

@@ -1,5 +1,10 @@
 import { hasRequiredAndOptionalRecordKeys, snapshotClosedArray, snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
 const EMPTY_MESSAGES = Object.freeze([]);
+/** Preserves phase-local order while avoiding mutable or per-call empty message collections. */
+export function combineCheckMessages(...collections) {
+    const messages = collections.flat();
+    return messages.length === 0 ? EMPTY_MESSAGES : Object.freeze(messages);
+}
 /** Parses the shared closed Check-message attachment without retaining author input. */
 export function parseCheckMessages(value) {
     if (value === undefined)

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

@@ -1 +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"]}
+{"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,gGAAgG;AAChG,MAAM,UAAU,oBAAoB,CAClC,GAAG,WAAiD;IAEpD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;IACpC,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED,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/** Preserves phase-local order while avoiding mutable or per-call empty message collections. */\nexport function combineCheckMessages(\n  ...collections: readonly (readonly CheckMessage[])[]\n): readonly CheckMessage[] {\n  const messages = collections.flat();\n  return messages.length === 0 ? EMPTY_MESSAGES : Object.freeze(messages);\n}\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

@@ -1,22 +1,26 @@
+import { EMPTY_RESOURCE_UNIT_MAPPING } from "../../project-definition/resource-unit-mapping.mjs";
 /**
  * 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));
+export function planStaticCheckGraph(checks, resourceCapacities = EMPTY_RESOURCE_UNIT_MAPPING) {
+    const tasks = checks.map(taskForCheck);
     const scopes = checks.map(scopeForCheck);
     return Object.freeze({
+        resourceCapacities,
         tasks: Object.freeze(tasks),
         scopes: Object.freeze(scopes)
     });
 }
-function taskForCheck(check, alreadySettledCheckIds) {
+function taskForCheck(check) {
     return Object.freeze({
-        dependsOn: check.dependsOn.filter((checkId) => !alreadySettledCheckIds.has(checkId)),
+        admissionPriority: check.admissionPriority,
+        dependsOn: check.dependsOn,
         id: check.definition.checkId,
         mutex: check.mutex,
+        observes: check.observes,
+        resourceClaims: check.resourceClaims,
         scopeId: scopeIdFor(check)
     });
 }

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

@@ -1 +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"]}
+{"version":3,"file":"plan.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/plan.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,2BAA2B,EAE5B,MAAM,mDAAmD,CAAC;AAE3D;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAkC,EAClC,kBAAkB,GAAwB,2BAA2B;IAErE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,kBAAkB;QAClB,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,CAAC,KAAsB;IAC1C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,EAAE,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO;QAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,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\";\nimport {\n  EMPTY_RESOURCE_UNIT_MAPPING,\n  type ResourceUnitMapping\n} from \"../../project-definition/resource-unit-mapping.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  resourceCapacities: ResourceUnitMapping = EMPTY_RESOURCE_UNIT_MAPPING\n): TaskGraph {\n  const tasks = checks.map(taskForCheck);\n  const scopes = checks.map(scopeForCheck);\n  return Object.freeze({\n    resourceCapacities,\n    tasks: Object.freeze(tasks),\n    scopes: Object.freeze(scopes)\n  });\n}\n\nfunction taskForCheck(check: NormalizedCheck): TaskNode {\n  return Object.freeze({\n    admissionPriority: check.admissionPriority,\n    dependsOn: check.dependsOn,\n    id: check.definition.checkId,\n    mutex: check.mutex,\n    observes: check.observes,\n    resourceClaims: check.resourceClaims,\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.mjs

@@ -1,21 +1,12 @@
 import { snapshotJsonObject } from "../../check/options-snapshot.mjs";
 import { diagnosticTags, summarizeDiagnosticValue } from "../diagnostic-logging/logger.mjs";
 import { parseCheckPreflightResult } from "./preflight-result.mjs";
+import { invokeWithCapturedConsole } from "./console-capture.mjs";
+import { combineCheckMessages } from "./messages.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) {
+/** Resolves one Check's task-local preparation after Scheduler admission. */
+export async function prepareCheck(input) {
     if (input.signal?.aborted) {
         return observeBlockedPreflight({
             check: input.check,
@@ -45,18 +36,20 @@ function resolvePreflightInvocation(input, invocation) {
             check: input.check,
             diagnosticLogger: input.diagnosticLogger,
             details: { error: invocation.error },
+            messages: invocation.messages,
             result: input.signal?.aborted ? "cancelled-after-throw" : "threw",
             reasonCode: input.signal?.aborted ? "execution-cancelled" : "preflight-threw"
         });
     }
-    return resolveReturnedPreflight(input, invocation.output);
+    return resolveReturnedPreflight(input, invocation.output, invocation.messages);
 }
-function resolveReturnedPreflight(input, preflightOutput) {
+function resolveReturnedPreflight(input, preflightOutput, consoleMessages) {
     if (input.signal?.aborted) {
         return observeBlockedPreflight({
             check: input.check,
             diagnosticLogger: input.diagnosticLogger,
             details: { raw: preflightOutput },
+            messages: consoleMessages,
             result: "cancelled-after-callback",
             reasonCode: "execution-cancelled"
         });
@@ -67,19 +60,20 @@ function resolveReturnedPreflight(input, preflightOutput) {
             check: input.check,
             diagnosticLogger: input.diagnosticLogger,
             details: { raw: preflightOutput },
+            messages: consoleMessages,
             result: "malformed",
             reasonCode: "invalid-preflight-result"
         });
     }
     if (preflightResult.status === "failure" && preflightResult.action === "block") {
-        return resolveBlockedPreflightResult(input, preflightResult);
+        return resolveBlockedPreflightResult(input, preflightResult, consoleMessages);
     }
-    return resolveReadyPreflightResult(input, preflightOutput, preflightResult);
+    return resolveReadyPreflightResult(input, preflightOutput, preflightResult, consoleMessages);
 }
-function resolveBlockedPreflightResult(input, preflightResult) {
+function resolveBlockedPreflightResult(input, preflightResult, consoleMessages) {
     const resolution = blockedResolution({
         check: input.check,
-        messages: preflightResult.messages,
+        messages: combineCheckMessages(consoleMessages, preflightResult.messages),
         reasonCode: preflightResult.reason.code
     });
     observePreflightResolution(input.diagnosticLogger, input.check.definition.checkId, resolution, "blocked", {
@@ -88,12 +82,12 @@ function resolveBlockedPreflightResult(input, preflightResult) {
     });
     return resolution;
 }
-function resolveReadyPreflightResult(input, preflightOutput, preflightResult) {
+function resolveReadyPreflightResult(input, preflightOutput, preflightResult, consoleMessages) {
     const checkId = input.check.definition.checkId;
     const result = preflightResult.status === "success" ? "prepared" : "continued";
     const resolution = readyResolution({
         authoredCheck: input.check,
-        messages: preflightResult.messages,
+        messages: combineCheckMessages(consoleMessages, preflightResult.messages),
         preparedOptions: preflightResult.status === "success"
             ? preflightResult.preparedOptions
             : preflightResult.fallback
@@ -106,20 +100,12 @@ function resolveReadyPreflightResult(input, preflightOutput, preflightResult) {
     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 });
-    }
+    return invokeWithCapturedConsole(() => check.preflight(check.options, signal ?? INERT_SIGNAL));
 }
 function observeBlockedPreflight(input) {
     const resolution = blockedResolution({
         check: input.check,
-        messages: EMPTY_MESSAGES,
+        messages: input.messages ?? EMPTY_MESSAGES,
         reasonCode: input.reasonCode
     });
     observePreflightResolution(input.diagnosticLogger, input.check.definition.checkId, resolution, input.result, input.details);
@@ -155,7 +141,7 @@ function readyResolution(input) {
     if (preparedOptions === undefined) {
         return blockedResolution({
             check: input.authoredCheck,
-            messages: EMPTY_MESSAGES,
+            messages: input.messages,
             reasonCode: "invalid-preflight-result"
         });
     }