@zxyycom/vibe-check 0.0.1 → 0.0.2

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

@@ -2,8 +2,9 @@
 export function validateCheckAggregationSelection(aggregation, checkIds) {
     if (aggregation === undefined)
         return Object.freeze({ ok: true, value: undefined });
-    if (aggregation.checks === "all")
+    if (aggregation.checks === "all" || aggregation.checks === "effective") {
         return Object.freeze({ ok: true, value: aggregation });
+    }
     const knownCheckIds = new Set(checkIds);
     const selectedCheckIds = new Set();
     for (const checkId of aggregation.checks) {
@@ -15,16 +16,17 @@ export function validateCheckAggregationSelection(aggregation, checkIds) {
     return Object.freeze({ ok: true, value: aggregation });
 }
 /** Derives one explicit consumer-selected aggregate from settled Check statuses only. */
-export function aggregateCheckOutcomes(snapshot, aggregation) {
-    const statuses = selectedChecks(snapshot, aggregation.checks).map((check) => aggregateStatus(check, aggregation));
+export function aggregateCheckOutcomes(snapshot, aggregation, effectiveCheckIds) {
+    const statuses = selectedChecks(snapshot, aggregation.checks, effectiveCheckIds).map((check) => aggregateStatus(check, aggregation));
     if (statuses.includes("unavailable"))
         return "unavailable";
     return aggregateSelectedStatuses(statuses.filter((status) => status !== null && status !== "unavailable"), aggregation);
 }
-function selectedChecks(snapshot, selection) {
+function selectedChecks(snapshot, selection, effectiveCheckIds) {
     if (selection === "all")
         return snapshot.checks;
-    return selection.map((checkId) => {
+    const selectedCheckIds = selection === "effective" ? effectiveCheckIds : selection;
+    return selectedCheckIds.map((checkId) => {
         const check = snapshot.checks.find((candidate) => candidate.checkId === checkId);
         if (check === undefined)
             throw new TypeError("Aggregation selection was not validated");

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

@@ -1 +1 @@
-{"version":3,"file":"aggregation.mjs","sourceRoot":"","sources":["../../../src/project-run/aggregation.ts"],"names":[],"mappings":"AASA,+EAA+E;AAC/E,MAAM,UAAU,iCAAiC,CAC/C,WAAyC,EACzC,QAA2B;IAE3B,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACpF,IAAI,WAAW,CAAC,MAAM,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACzF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,eAAe,CAAC,kCAAkC,CAAC,CAAC;QAC7D,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,sBAAsB,CACpC,QAAsB,EACtB,WAA6B;IAE7B,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1E,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CACpC,CAAC;IACF,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,aAAa,CAAC;IAC3D,OAAO,yBAAyB,CAC9B,QAAQ,CAAC,MAAM,CACb,CAAC,MAAM,EAAqD,EAAE,CAC5D,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,aAAa,CAC9C,EACD,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,QAAsB,EACtB,SAAqC;IAErC,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,MAAM,CAAC;IAChD,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACjF,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAAgB,EAAE,WAA6B;IACtE,QAAQ,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7B,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9B,KAAK,aAAa,EAAE,CAAC;YACnB,IAAI,WAAW,CAAC,WAAW,KAAK,WAAW;gBAAE,OAAO,aAAa,CAAC;YAClE,OAAO,WAAW,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,CAAC;QACD,KAAK,gBAAgB,EAAE,CAAC;YACtB,IAAI,WAAW,CAAC,aAAa,KAAK,MAAM;gBAAE,OAAO,QAAQ,CAAC;YAC1D,OAAO,WAAW,CAAC,aAAa,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,QAA4D,EAC5D,WAA6B;IAE7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC;IACpD,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACzF,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,KAAK,GAAyB,MAAM,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,sBAAsB;QAC5B,IAAI;QACJ,MAAM,EAAE,eAAe;KACxB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7C,CAAC","sourcesContent":["import type {\n  RunControlDiagnostic,\n  RunControlValidationResult\n} from \"./controls/validation-result.ts\";\nimport type { CheckAggregate, CheckAggregation } from \"./controls/contract.ts\";\nimport type { CoreCheck, CoreSnapshot } from \"../check-settlement/facts.ts\";\n\ntype AggregateStatus = Exclude<CheckAggregate, \"not-applicable\">;\n\n/** Validates that aggregation selects only normalized executable Check IDs. */\nexport function validateCheckAggregationSelection(\n  aggregation: CheckAggregation | undefined,\n  checkIds: readonly string[]\n): RunControlValidationResult<CheckAggregation | undefined> {\n  if (aggregation === undefined) return Object.freeze({ ok: true, value: undefined });\n  if (aggregation.checks === \"all\") return Object.freeze({ ok: true, value: aggregation });\n  const knownCheckIds = new Set(checkIds);\n  const selectedCheckIds = new Set<string>();\n  for (const checkId of aggregation.checks) {\n    if (!knownCheckIds.has(checkId) || selectedCheckIds.has(checkId)) {\n      return invalidControls(\"controls.checkAggregation.checks\");\n    }\n    selectedCheckIds.add(checkId);\n  }\n  return Object.freeze({ ok: true, value: aggregation });\n}\n\n/** Derives one explicit consumer-selected aggregate from settled Check statuses only. */\nexport function aggregateCheckOutcomes(\n  snapshot: CoreSnapshot,\n  aggregation: CheckAggregation\n): CheckAggregate {\n  const statuses = selectedChecks(snapshot, aggregation.checks).map((check) =>\n    aggregateStatus(check, aggregation)\n  );\n  if (statuses.includes(\"unavailable\")) return \"unavailable\";\n  return aggregateSelectedStatuses(\n    statuses.filter(\n      (status): status is Exclude<AggregateStatus, \"unavailable\"> =>\n        status !== null && status !== \"unavailable\"\n    ),\n    aggregation\n  );\n}\n\nfunction selectedChecks(\n  snapshot: CoreSnapshot,\n  selection: CheckAggregation[\"checks\"]\n): readonly CoreCheck[] {\n  if (selection === \"all\") return snapshot.checks;\n  return selection.map((checkId) => {\n    const check = snapshot.checks.find((candidate) => candidate.checkId === checkId);\n    if (check === undefined) throw new TypeError(\"Aggregation selection was not validated\");\n    return check;\n  });\n}\n\nfunction aggregateStatus(check: CoreCheck, aggregation: CheckAggregation): AggregateStatus | null {\n  switch (check.outcome.status) {\n    case \"passed\":\n    case \"failed\":\n      return check.outcome.status;\n    case \"unavailable\": {\n      if (aggregation.unavailable === \"propagate\") return \"unavailable\";\n      return aggregation.unavailable === \"fail\" ? \"failed\" : null;\n    }\n    case \"not-applicable\": {\n      if (aggregation.notApplicable === \"pass\") return \"passed\";\n      return aggregation.notApplicable === \"fail\" ? \"failed\" : null;\n    }\n  }\n}\n\nfunction aggregateSelectedStatuses(\n  statuses: readonly Exclude<AggregateStatus, \"unavailable\">[],\n  aggregation: CheckAggregation\n): CheckAggregate {\n  if (statuses.length === 0) return aggregation.empty;\n  if (aggregation.mode === \"all\") return statuses.includes(\"failed\") ? \"failed\" : \"passed\";\n  return statuses.includes(\"passed\") ? \"passed\" : \"failed\";\n}\n\nfunction invalidControls(path: string): RunControlValidationResult<never> {\n  const error: RunControlDiagnostic = Object.freeze({\n    kind: \"invalid-run-controls\",\n    path,\n    reason: \"invalid-value\"\n  });\n  return Object.freeze({ ok: false, error });\n}\n"]}
+{"version":3,"file":"aggregation.mjs","sourceRoot":"","sources":["../../../src/project-run/aggregation.ts"],"names":[],"mappings":"AASA,+EAA+E;AAC/E,MAAM,UAAU,iCAAiC,CAC/C,WAAyC,EACzC,QAA2B;IAE3B,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACpF,IAAI,WAAW,CAAC,MAAM,KAAK,KAAK,IAAI,WAAW,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACvE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,eAAe,CAAC,kCAAkC,CAAC,CAAC;QAC7D,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,sBAAsB,CACpC,QAAsB,EACtB,WAA6B,EAC7B,iBAAoC;IAEpC,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7F,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CACpC,CAAC;IACF,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,aAAa,CAAC;IAC3D,OAAO,yBAAyB,CAC9B,QAAQ,CAAC,MAAM,CACb,CAAC,MAAM,EAAqD,EAAE,CAC5D,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,aAAa,CAC9C,EACD,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,QAAsB,EACtB,SAAqC,EACrC,iBAAoC;IAEpC,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,MAAM,CAAC;IAChD,MAAM,gBAAgB,GAAG,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;IACnF,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACjF,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAAgB,EAAE,WAA6B;IACtE,QAAQ,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7B,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9B,KAAK,aAAa,EAAE,CAAC;YACnB,IAAI,WAAW,CAAC,WAAW,KAAK,WAAW;gBAAE,OAAO,aAAa,CAAC;YAClE,OAAO,WAAW,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,CAAC;QACD,KAAK,gBAAgB,EAAE,CAAC;YACtB,IAAI,WAAW,CAAC,aAAa,KAAK,MAAM;gBAAE,OAAO,QAAQ,CAAC;YAC1D,OAAO,WAAW,CAAC,aAAa,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,QAA4D,EAC5D,WAA6B;IAE7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC;IACpD,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACzF,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,KAAK,GAAyB,MAAM,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,sBAAsB;QAC5B,IAAI;QACJ,MAAM,EAAE,eAAe;KACxB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7C,CAAC","sourcesContent":["import type {\n  RunControlDiagnostic,\n  RunControlValidationResult\n} from \"./controls/validation-result.ts\";\nimport type { CheckAggregate, CheckAggregation } from \"./controls/contract.ts\";\nimport type { CoreCheck, CoreSnapshot } from \"../check-settlement/facts.ts\";\n\ntype AggregateStatus = Exclude<CheckAggregate, \"not-applicable\">;\n\n/** Validates that aggregation selects only normalized executable Check IDs. */\nexport function validateCheckAggregationSelection(\n  aggregation: CheckAggregation | undefined,\n  checkIds: readonly string[]\n): RunControlValidationResult<CheckAggregation | undefined> {\n  if (aggregation === undefined) return Object.freeze({ ok: true, value: undefined });\n  if (aggregation.checks === \"all\" || aggregation.checks === \"effective\") {\n    return Object.freeze({ ok: true, value: aggregation });\n  }\n  const knownCheckIds = new Set(checkIds);\n  const selectedCheckIds = new Set<string>();\n  for (const checkId of aggregation.checks) {\n    if (!knownCheckIds.has(checkId) || selectedCheckIds.has(checkId)) {\n      return invalidControls(\"controls.checkAggregation.checks\");\n    }\n    selectedCheckIds.add(checkId);\n  }\n  return Object.freeze({ ok: true, value: aggregation });\n}\n\n/** Derives one explicit consumer-selected aggregate from settled Check statuses only. */\nexport function aggregateCheckOutcomes(\n  snapshot: CoreSnapshot,\n  aggregation: CheckAggregation,\n  effectiveCheckIds: readonly string[]\n): CheckAggregate {\n  const statuses = selectedChecks(snapshot, aggregation.checks, effectiveCheckIds).map((check) =>\n    aggregateStatus(check, aggregation)\n  );\n  if (statuses.includes(\"unavailable\")) return \"unavailable\";\n  return aggregateSelectedStatuses(\n    statuses.filter(\n      (status): status is Exclude<AggregateStatus, \"unavailable\"> =>\n        status !== null && status !== \"unavailable\"\n    ),\n    aggregation\n  );\n}\n\nfunction selectedChecks(\n  snapshot: CoreSnapshot,\n  selection: CheckAggregation[\"checks\"],\n  effectiveCheckIds: readonly string[]\n): readonly CoreCheck[] {\n  if (selection === \"all\") return snapshot.checks;\n  const selectedCheckIds = selection === \"effective\" ? effectiveCheckIds : selection;\n  return selectedCheckIds.map((checkId) => {\n    const check = snapshot.checks.find((candidate) => candidate.checkId === checkId);\n    if (check === undefined) throw new TypeError(\"Aggregation selection was not validated\");\n    return check;\n  });\n}\n\nfunction aggregateStatus(check: CoreCheck, aggregation: CheckAggregation): AggregateStatus | null {\n  switch (check.outcome.status) {\n    case \"passed\":\n    case \"failed\":\n      return check.outcome.status;\n    case \"unavailable\": {\n      if (aggregation.unavailable === \"propagate\") return \"unavailable\";\n      return aggregation.unavailable === \"fail\" ? \"failed\" : null;\n    }\n    case \"not-applicable\": {\n      if (aggregation.notApplicable === \"pass\") return \"passed\";\n      return aggregation.notApplicable === \"fail\" ? \"failed\" : null;\n    }\n  }\n}\n\nfunction aggregateSelectedStatuses(\n  statuses: readonly Exclude<AggregateStatus, \"unavailable\">[],\n  aggregation: CheckAggregation\n): CheckAggregate {\n  if (statuses.length === 0) return aggregation.empty;\n  if (aggregation.mode === \"all\") return statuses.includes(\"failed\") ? \"failed\" : \"passed\";\n  return statuses.includes(\"passed\") ? \"passed\" : \"failed\";\n}\n\nfunction invalidControls(path: string): RunControlValidationResult<never> {\n  const error: RunControlDiagnostic = Object.freeze({\n    kind: \"invalid-run-controls\",\n    path,\n    reason: \"invalid-value\"\n  });\n  return Object.freeze({ ok: false, error });\n}\n"]}

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

@@ -1,20 +1,30 @@
 import { CoreInvariantFailure } from "../../check-settlement/session.mjs";
 import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
+import { snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
+import { invokeWithCapturedConsole } from "./console-capture.mjs";
+const EMPTY_MESSAGES = Object.freeze([]);
 /** Runs one trusted callback and closes its Check-owned reporter before return. */
 export async function executeCheckCallback(input) {
     const checkId = input.check.definition.checkId;
     const checkTags = diagnosticTags(`CHECK:${checkId}`, "EXECUTION");
-    const reporter = createCheckReporter(input.scope, input.diagnosticLogger, checkTags);
+    const reporter = createCheckReporter(input.scope, input.diagnosticLogger, checkTags, checkId);
     let result;
+    let consoleMessages = EMPTY_MESSAGES;
     try {
         const context = Object.freeze({
+            artifactDirectory: input.artifactDirectory,
             dependencies: input.dependencies,
+            invocationId: input.invocationId,
             options: input.check.options,
             project: input.project,
             records: reporter.records,
             signal: input.signal
         });
-        const callbackResult = await input.check.execution(context);
+        const invocation = await invokeWithCapturedConsole(() => input.check.execution(context));
+        consoleMessages = invocation.messages;
+        if (invocation.kind === "threw")
+            throw invocation.error;
+        const callbackResult = invocation.output;
         if (input.signal.aborted) {
             input.diagnosticLogger?.observe({
                 event: "callback.cancelled",
@@ -23,8 +33,12 @@ export async function executeCheckCallback(input) {
             });
         }
         result = input.signal.aborted
-            ? productResult("execution-cancelled")
-            : Object.freeze({ source: "author", result: callbackResult });
+            ? productResult("execution-cancelled", consoleMessages)
+            : Object.freeze({
+                source: "author",
+                result: callbackResult,
+                consoleMessages
+            });
     }
     catch (error) {
         if (error instanceof CoreInvariantFailure)
@@ -34,14 +48,14 @@ export async function executeCheckCallback(input) {
             tags: diagnosticTags(...checkTags, input.signal.aborted ? "CANCELLED" : "THREW"),
             details: { error }
         });
-        result = productResult(input.signal.aborted ? "execution-cancelled" : "execution-threw");
+        result = productResult(input.signal.aborted ? "execution-cancelled" : "execution-threw", consoleMessages);
     }
     finally {
         reporter.close();
     }
     return result;
 }
-function createCheckReporter(scope, diagnosticLogger, checkTags) {
+function createCheckReporter(scope, diagnosticLogger, checkTags, checkId) {
     let isOpen = true;
     return Object.freeze({
         close: () => {
@@ -55,16 +69,29 @@ function createCheckReporter(scope, diagnosticLogger, checkTags) {
                 diagnosticLogger?.observe({
                     event: "record.reported",
                     tags: diagnosticTags(...checkTags, "RECORD", result.toUpperCase()),
-                    details: { data, identity, result }
+                    details: recordDiagnosticDetails(checkId, identity, result)
                 });
             }
         })
     });
 }
-function productResult(code) {
+function productResult(code, consoleMessages) {
     return Object.freeze({
+        consoleMessages,
         source: "product",
         result: Object.freeze({ status: "unavailable", reason: Object.freeze({ code }) })
     });
 }
+function recordDiagnosticDetails(checkId, identity, result) {
+    const record = snapshotClosedRecord(identity);
+    const recordId = record !== undefined &&
+        Object.keys(record).length === 1 &&
+        Object.hasOwn(record, "id") &&
+        typeof record.id === "string"
+        ? record.id
+        : null;
+    return result === "committed"
+        ? Object.freeze({ checkId, recordId, result })
+        : Object.freeze({ checkId, rejectionCategory: "record-invalid-or-conflict", result });
+}
 //# sourceMappingURL=callback.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"callback.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/callback.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,oBAAoB,EAA0B,MAAM,mCAAmC,CAAC;AACjG,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AA6BxF,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAyB;IAClE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IAC/C,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;IACrF,IAAI,MAAyB,CAAC;IAC9B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACzB,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,oBAAoB;gBAC3B,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,WAAW,CAAC;gBAC/C,OAAO,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO;YAC3B,CAAC,CAAC,aAAa,CAAC,qBAAqB,CAAC;YACtC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,oBAAoB;YAAE,MAAM,KAAK,CAAC;QACvD,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,gBAAgB;YACrE,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC;YAChF,OAAO,EAAE,EAAE,KAAK,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;IAC3F,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAwB,EACxB,gBAA8C,EAC9C,SAA4B;IAE5B,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,GAAS,EAAE;YAChB,MAAM,GAAG,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,CAAC,QAAiB,EAAE,IAAa,EAAQ,EAAE;gBACjD,IAAI,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;gBAChE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBACpD,gBAAgB,EAAE,OAAO,CAAC;oBACxB,KAAK,EAAE,iBAAiB;oBACxB,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;oBAClE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;SACF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;KAClF,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  CheckDependencies,\n  CheckExecutionContext,\n  CheckOutcome,\n  CheckProjectContext\n} from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { CoreInvariantFailure, type TrustedCheckScope } from \"../../check-settlement/session.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\n\nexport type CallbackExecution = Readonly<\n  | {\n      /** Raw author result; Core owns its sole validation and canonicalization. */\n      readonly source: \"author\";\n      readonly result: unknown;\n    }\n  | {\n      /** Only callback containment may create a Product-controlled outcome. */\n      readonly source: \"product\";\n      readonly result: CheckOutcome;\n    }\n>;\n\ninterface CheckCallbackInput {\n  readonly check: NormalizedCheck;\n  readonly dependencies: CheckDependencies;\n  readonly diagnosticLogger?: DiagnosticLogger;\n  readonly project: CheckProjectContext;\n  readonly scope: TrustedCheckScope;\n  readonly signal: AbortSignal;\n}\n\ninterface CheckReporterLifecycle {\n  readonly records: CheckExecutionContext<object>[\"records\"];\n  close(): void;\n}\n\n/** Runs one trusted callback and closes its Check-owned reporter before return. */\nexport async function executeCheckCallback(input: CheckCallbackInput): Promise<CallbackExecution> {\n  const checkId = input.check.definition.checkId;\n  const checkTags = diagnosticTags(`CHECK:${checkId}`, \"EXECUTION\");\n  const reporter = createCheckReporter(input.scope, input.diagnosticLogger, checkTags);\n  let result: CallbackExecution;\n  try {\n    const context = Object.freeze({\n      dependencies: input.dependencies,\n      options: input.check.options,\n      project: input.project,\n      records: reporter.records,\n      signal: input.signal\n    });\n    const callbackResult = await input.check.execution(context);\n    if (input.signal.aborted) {\n      input.diagnosticLogger?.observe({\n        event: \"callback.cancelled\",\n        tags: diagnosticTags(...checkTags, \"CANCELLED\"),\n        details: { result: callbackResult }\n      });\n    }\n    result = input.signal.aborted\n      ? productResult(\"execution-cancelled\")\n      : Object.freeze({ source: \"author\", result: callbackResult });\n  } catch (error) {\n    if (error instanceof CoreInvariantFailure) throw error;\n    input.diagnosticLogger?.observe({\n      event: input.signal.aborted ? \"callback.cancelled\" : \"callback.threw\",\n      tags: diagnosticTags(...checkTags, input.signal.aborted ? \"CANCELLED\" : \"THREW\"),\n      details: { error }\n    });\n    result = productResult(input.signal.aborted ? \"execution-cancelled\" : \"execution-threw\");\n  } finally {\n    reporter.close();\n  }\n  return result;\n}\n\nfunction createCheckReporter(\n  scope: TrustedCheckScope,\n  diagnosticLogger: DiagnosticLogger | undefined,\n  checkTags: readonly string[]\n): CheckReporterLifecycle {\n  let isOpen = true;\n  return Object.freeze({\n    close: (): void => {\n      isOpen = false;\n    },\n    records: Object.freeze({\n      report: (identity: unknown, data: unknown): void => {\n        if (!isOpen) throw new Error(\"Check record reporter is closed\");\n        const result = scope.records.report(identity, data);\n        diagnosticLogger?.observe({\n          event: \"record.reported\",\n          tags: diagnosticTags(...checkTags, \"RECORD\", result.toUpperCase()),\n          details: { data, identity, result }\n        });\n      }\n    })\n  });\n}\n\nfunction productResult(code: string): CallbackExecution {\n  return Object.freeze({\n    source: \"product\",\n    result: Object.freeze({ status: \"unavailable\", reason: Object.freeze({ code }) })\n  });\n}\n"]}
+{"version":3,"file":"callback.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/callback.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,oBAAoB,EAA0B,MAAM,mCAAmC,CAAC;AACjG,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AACxF,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAEjE,MAAM,cAAc,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAiClE,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAyB;IAClE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IAC/C,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9F,IAAI,MAAyB,CAAC;IAC9B,IAAI,eAAe,GAAG,cAAc,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC5B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,yBAAyB,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QACzF,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC;QACtC,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,UAAU,CAAC,KAAK,CAAC;QACxD,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;QACzC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACzB,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,oBAAoB;gBAC3B,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,WAAW,CAAC;gBAC/C,OAAO,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO;YAC3B,CAAC,CAAC,aAAa,CAAC,qBAAqB,EAAE,eAAe,CAAC;YACvD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACZ,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,cAAc;gBACtB,eAAe;aAChB,CAAC,CAAC;IACT,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,oBAAoB;YAAE,MAAM,KAAK,CAAC;QACvD,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,gBAAgB;YACrE,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC;YAChF,OAAO,EAAE,EAAE,KAAK,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,GAAG,aAAa,CACpB,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,iBAAiB,EAChE,eAAe,CAChB,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAwB,EACxB,gBAA8C,EAC9C,SAA4B,EAC5B,OAAe;IAEf,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,GAAS,EAAE;YAChB,MAAM,GAAG,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,CAAC,QAAiB,EAAE,IAAa,EAAQ,EAAE;gBACjD,IAAI,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;gBAChE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBACpD,gBAAgB,EAAE,OAAO,CAAC;oBACxB,KAAK,EAAE,iBAAiB;oBACxB,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;oBAClE,OAAO,EAAE,uBAAuB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC;iBAC5D,CAAC,CAAC;YACL,CAAC;SACF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,eAAwC;IAC3E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe;QACf,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;KAClF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAe,EACf,QAAiB,EACjB,MAAgC;IAEhC,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,QAAQ,GACZ,MAAM,KAAK,SAAS;QACpB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;QAC3B,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ;QAC3B,CAAC,CAAC,MAAM,CAAC,EAAE;QACX,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,MAAM,KAAK,WAAW;QAC3B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QAC9C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,MAAM,EAAE,CAAC,CAAC;AAC1F,CAAC","sourcesContent":["import type {\n  CheckDependencies,\n  CheckExecutionContext,\n  CheckMessage,\n  CheckOutcome,\n  CheckProjectContext\n} from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { CoreInvariantFailure, type TrustedCheckScope } from \"../../check-settlement/session.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\nimport { snapshotClosedRecord } from \"../../data-boundary/closed-values.ts\";\nimport { invokeWithCapturedConsole } from \"./console-capture.ts\";\n\nconst EMPTY_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\n\nexport type CallbackExecution = Readonly<\n  | {\n      /** Raw author result; Core owns its sole validation and canonicalization. */\n      readonly source: \"author\";\n      readonly result: unknown;\n      readonly consoleMessages: readonly CheckMessage[];\n    }\n  | {\n      /** Only callback containment may create a Product-controlled outcome. */\n      readonly source: \"product\";\n      readonly result: CheckOutcome;\n      readonly consoleMessages: readonly CheckMessage[];\n    }\n>;\n\ninterface CheckCallbackInput {\n  readonly artifactDirectory: string | null;\n  readonly check: NormalizedCheck;\n  readonly dependencies: CheckDependencies;\n  readonly diagnosticLogger?: DiagnosticLogger;\n  readonly invocationId: string;\n  readonly project: CheckProjectContext;\n  readonly scope: TrustedCheckScope;\n  readonly signal: AbortSignal;\n}\n\ninterface CheckReporterLifecycle {\n  readonly records: CheckExecutionContext<object>[\"records\"];\n  close(): void;\n}\n\n/** Runs one trusted callback and closes its Check-owned reporter before return. */\nexport async function executeCheckCallback(input: CheckCallbackInput): Promise<CallbackExecution> {\n  const checkId = input.check.definition.checkId;\n  const checkTags = diagnosticTags(`CHECK:${checkId}`, \"EXECUTION\");\n  const reporter = createCheckReporter(input.scope, input.diagnosticLogger, checkTags, checkId);\n  let result: CallbackExecution;\n  let consoleMessages = EMPTY_MESSAGES;\n  try {\n    const context = Object.freeze({\n      artifactDirectory: input.artifactDirectory,\n      dependencies: input.dependencies,\n      invocationId: input.invocationId,\n      options: input.check.options,\n      project: input.project,\n      records: reporter.records,\n      signal: input.signal\n    });\n    const invocation = await invokeWithCapturedConsole(() => input.check.execution(context));\n    consoleMessages = invocation.messages;\n    if (invocation.kind === \"threw\") throw invocation.error;\n    const callbackResult = invocation.output;\n    if (input.signal.aborted) {\n      input.diagnosticLogger?.observe({\n        event: \"callback.cancelled\",\n        tags: diagnosticTags(...checkTags, \"CANCELLED\"),\n        details: { result: callbackResult }\n      });\n    }\n    result = input.signal.aborted\n      ? productResult(\"execution-cancelled\", consoleMessages)\n      : Object.freeze({\n          source: \"author\",\n          result: callbackResult,\n          consoleMessages\n        });\n  } catch (error) {\n    if (error instanceof CoreInvariantFailure) throw error;\n    input.diagnosticLogger?.observe({\n      event: input.signal.aborted ? \"callback.cancelled\" : \"callback.threw\",\n      tags: diagnosticTags(...checkTags, input.signal.aborted ? \"CANCELLED\" : \"THREW\"),\n      details: { error }\n    });\n    result = productResult(\n      input.signal.aborted ? \"execution-cancelled\" : \"execution-threw\",\n      consoleMessages\n    );\n  } finally {\n    reporter.close();\n  }\n  return result;\n}\n\nfunction createCheckReporter(\n  scope: TrustedCheckScope,\n  diagnosticLogger: DiagnosticLogger | undefined,\n  checkTags: readonly string[],\n  checkId: string\n): CheckReporterLifecycle {\n  let isOpen = true;\n  return Object.freeze({\n    close: (): void => {\n      isOpen = false;\n    },\n    records: Object.freeze({\n      report: (identity: unknown, data: unknown): void => {\n        if (!isOpen) throw new Error(\"Check record reporter is closed\");\n        const result = scope.records.report(identity, data);\n        diagnosticLogger?.observe({\n          event: \"record.reported\",\n          tags: diagnosticTags(...checkTags, \"RECORD\", result.toUpperCase()),\n          details: recordDiagnosticDetails(checkId, identity, result)\n        });\n      }\n    })\n  });\n}\n\nfunction productResult(code: string, consoleMessages: readonly CheckMessage[]): CallbackExecution {\n  return Object.freeze({\n    consoleMessages,\n    source: \"product\",\n    result: Object.freeze({ status: \"unavailable\", reason: Object.freeze({ code }) })\n  });\n}\n\nfunction recordDiagnosticDetails(\n  checkId: string,\n  identity: unknown,\n  result: \"committed\" | \"rejected\"\n): Readonly<Record<string, unknown>> {\n  const record = snapshotClosedRecord(identity);\n  const recordId =\n    record !== undefined &&\n    Object.keys(record).length === 1 &&\n    Object.hasOwn(record, \"id\") &&\n    typeof record.id === \"string\"\n      ? record.id\n      : null;\n  return result === \"committed\"\n    ? Object.freeze({ checkId, recordId, result })\n    : Object.freeze({ checkId, rejectionCategory: \"record-invalid-or-conflict\", result });\n}\n"]}

package/dist/esm/project-run/check-execution/console-capture.mjs

@@ -0,0 +1,220 @@
+import { AsyncLocalStorage } from "node:async_hooks";
+import { Console } from "node:console";
+import { Writable } from "node:stream";
+import { formatWithOptions } from "node:util";
+const HOST_CONSOLE = globalThis.console;
+const captureContext = new AsyncLocalStorage();
+let activeRouterOwnerCount = 0;
+let installedMethods = Object.freeze([]);
+/** Installs one shared router around the complete resolved-Check execution lifecycle. */
+export async function runWithCheckConsoleRouter(operation) {
+    const release = acquireConsoleRouter();
+    try {
+        return await operation();
+    }
+    finally {
+        release();
+    }
+}
+/**
+ * Runs one author-owned Check function in an isolated console capture context. Concurrent contexts
+ * keep separate buffers; the resolved-Check lifecycle owns router installation and restoration.
+ */
+export async function invokeWithCapturedConsole(operation) {
+    const capture = new CheckConsoleCapture();
+    return captureContext.run(capture, async () => {
+        try {
+            const output = await operation();
+            return Object.freeze({ kind: "returned", messages: capture.snapshot(), output });
+        }
+        catch (error) {
+            return Object.freeze({ kind: "threw", error, messages: capture.snapshot() });
+        }
+    });
+}
+class CheckConsoleCapture {
+    #console;
+    #messages = [];
+    #activeCall;
+    constructor() {
+        this.#console = new Console({
+            colorMode: false,
+            ignoreErrors: true,
+            stderr: this.#writer("stderr"),
+            stdout: this.#writer("stdout")
+        });
+    }
+    invoke(method, arguments_) {
+        const activeCall = { chunks: [], method };
+        const previousCall = this.#activeCall;
+        this.#activeCall = activeCall;
+        try {
+            const captureMethod = Reflect.get(this.#console, method);
+            if (typeof captureMethod === "function") {
+                Reflect.apply(captureMethod, this.#console, arguments_);
+            }
+            else {
+                activeCall.chunks.push({
+                    stream: streamForMethod(method),
+                    text: fallbackConsoleText(method, arguments_)
+                });
+            }
+        }
+        catch {
+            activeCall.chunks.push({
+                stream: "stderr",
+                text: `console.${method} output could not be formatted safely`
+            });
+        }
+        finally {
+            this.#activeCall = previousCall;
+            this.#appendCall(activeCall);
+        }
+    }
+    snapshot() {
+        return this.#messages.length === 0 ? Object.freeze([]) : Object.freeze([...this.#messages]);
+    }
+    #appendCall(call) {
+        const chunks = combineAdjacentChunks(call.chunks);
+        for (const chunk of chunks) {
+            this.#messages.push(Object.freeze({
+                code: consoleMessageCode(call.method),
+                level: levelForConsoleCall(call.method, chunk.stream),
+                message: removeTerminalLineEnding(chunk.text)
+            }));
+        }
+    }
+    #writer(stream) {
+        return new Writable({
+            write: (chunk, _encoding, callback) => {
+                const activeCall = this.#activeCall;
+                if (activeCall !== undefined) {
+                    activeCall.chunks.push({ stream, text: String(chunk) });
+                }
+                callback();
+            }
+        });
+    }
+}
+function acquireConsoleRouter() {
+    if (activeRouterOwnerCount === 0)
+        installConsoleRouter();
+    activeRouterOwnerCount += 1;
+    let released = false;
+    return () => {
+        if (released)
+            return;
+        released = true;
+        activeRouterOwnerCount -= 1;
+        if (activeRouterOwnerCount === 0)
+            restoreConsoleRouter();
+    };
+}
+function installConsoleRouter() {
+    const installed = [];
+    try {
+        for (const method of consoleMethodNames(HOST_CONSOLE)) {
+            const original = Reflect.get(HOST_CONSOLE, method);
+            if (typeof original !== "function")
+                continue;
+            const descriptor = Object.getOwnPropertyDescriptor(HOST_CONSOLE, method);
+            const routed = function (...arguments_) {
+                const capture = captureContext.getStore();
+                if (capture !== undefined) {
+                    capture.invoke(method, arguments_);
+                    return undefined;
+                }
+                return Reflect.apply(original, HOST_CONSOLE, arguments_);
+            };
+            Object.defineProperty(HOST_CONSOLE, method, {
+                configurable: true,
+                enumerable: descriptor?.enumerable ?? false,
+                value: routed,
+                writable: true
+            });
+            installed.push(Object.freeze({ descriptor, method }));
+        }
+        installedMethods = Object.freeze(installed);
+    }
+    catch (error) {
+        restoreInstalledMethods(installed);
+        throw error;
+    }
+}
+function restoreConsoleRouter() {
+    restoreInstalledMethods(installedMethods);
+    installedMethods = Object.freeze([]);
+}
+function restoreInstalledMethods(methods) {
+    for (const { descriptor, method } of [...methods].reverse()) {
+        if (descriptor === undefined) {
+            Reflect.deleteProperty(HOST_CONSOLE, method);
+        }
+        else {
+            Object.defineProperty(HOST_CONSOLE, method, descriptor);
+        }
+    }
+}
+function consoleMethodNames(value) {
+    const names = new Set();
+    let current = value;
+    while (current !== null && current !== Object.prototype) {
+        for (const key of Reflect.ownKeys(current)) {
+            if (typeof key === "string" && key !== "Console" && key !== "constructor")
+                names.add(key);
+        }
+        current = Reflect.getPrototypeOf(current);
+    }
+    return Object.freeze([...names].filter((name) => typeof Reflect.get(value, name) === "function").sort(compareText));
+}
+function combineAdjacentChunks(chunks) {
+    const combined = [];
+    for (const chunk of chunks) {
+        const previous = combined.at(-1);
+        if (previous?.stream === chunk.stream) {
+            previous.text += chunk.text;
+        }
+        else {
+            combined.push({ stream: chunk.stream, text: chunk.text });
+        }
+    }
+    return combined;
+}
+function fallbackConsoleText(method, arguments_) {
+    const formatted = formatWithOptions({ colors: false }, ...arguments_);
+    return formatted.length === 0 ? `console.${method}()` : formatted;
+}
+function consoleMessageCode(method) {
+    const normalized = method
+        .replaceAll(/([a-z0-9])([A-Z])/g, "$1-$2")
+        .replaceAll(/[^a-zA-Z0-9-]/g, "-")
+        .toLowerCase();
+    return `console-${normalized}`;
+}
+function levelForConsoleCall(method, stream) {
+    if (method === "warn")
+        return "warning";
+    if (method === "assert" || method === "error" || method === "trace")
+        return "error";
+    return stream === "stderr" ? "error" : "info";
+}
+function streamForMethod(method) {
+    return method === "assert" || method === "error" || method === "trace" || method === "warn"
+        ? "stderr"
+        : "stdout";
+}
+function removeTerminalLineEnding(text) {
+    if (text.endsWith("\r\n") && text.length > 2)
+        return text.slice(0, -2);
+    if (text.endsWith("\n") && text.length > 1)
+        return text.slice(0, -1);
+    return text;
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+//# sourceMappingURL=console-capture.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"console-capture.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/console-capture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AA6B9C,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC;AACxC,MAAM,cAAc,GAAG,IAAI,iBAAiB,EAAuB,CAAC;AACpE,IAAI,sBAAsB,GAAG,CAAC,CAAC;AAC/B,IAAI,gBAAgB,GAAsC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAE5E,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,SAAyC;IAEzC,MAAM,OAAO,GAAG,oBAAoB,EAAE,CAAC;IACvC,IAAI,CAAC;QACH,OAAO,MAAM,SAAS,EAAE,CAAC;IAC3B,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,SAAyC;IAEzC,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;IAC1C,OAAO,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE;QAC5C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,SAAS,EAAE,CAAC;YACjC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACnF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,mBAAmB;IACd,QAAQ,CAAU;IAClB,SAAS,GAAmB,EAAE,CAAC;IACxC,WAAW,CAAgC;IAE3C;QACE,IAAI,CAAC,QAAQ,GAAG,IAAI,OAAO,CAAC;YAC1B,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,IAAI;YAClB,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;YAC9B,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,MAAc,EAAE,UAA8B;QAC1D,MAAM,UAAU,GAAsB,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC;QACtC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAClE,IAAI,OAAO,aAAa,KAAK,UAAU,EAAE,CAAC;gBACxC,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAC1D,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;oBACrB,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;oBAC/B,IAAI,EAAE,mBAAmB,CAAC,MAAM,EAAE,UAAU,CAAC;iBAC9C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACrB,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,WAAW,MAAM,uCAAuC;aAC/D,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,WAAW,GAAG,YAAY,CAAC;YAChC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAEM,QAAQ;QACb,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,WAAW,CAAC,IAAuB;QACjC,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,SAAS,CAAC,IAAI,CACjB,MAAM,CAAC,MAAM,CAAC;gBACZ,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACrC,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;gBACrD,OAAO,EAAE,wBAAwB,CAAC,KAAK,CAAC,IAAI,CAAC;aAC9C,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,CAAC,MAAqB;QAC3B,OAAO,IAAI,QAAQ,CAAC;YAClB,KAAK,EAAE,CACL,KAAc,EACd,SAAyB,EACzB,QAAwC,EACxC,EAAE;gBACF,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC;gBACpC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC1D,CAAC;gBACD,QAAQ,EAAE,CAAC;YACb,CAAC;SACF,CAAC,CAAC;IACL,CAAC;CACF;AAED,SAAS,oBAAoB;IAC3B,IAAI,sBAAsB,KAAK,CAAC;QAAE,oBAAoB,EAAE,CAAC;IACzD,sBAAsB,IAAI,CAAC,CAAC;IAC5B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,OAAO,GAAG,EAAE;QACV,IAAI,QAAQ;YAAE,OAAO;QACrB,QAAQ,GAAG,IAAI,CAAC;QAChB,sBAAsB,IAAI,CAAC,CAAC;QAC5B,IAAI,sBAAsB,KAAK,CAAC;YAAE,oBAAoB,EAAE,CAAC;IAC3D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB;IAC3B,MAAM,SAAS,GAA6B,EAAE,CAAC;IAC/C,IAAI,CAAC;QACH,KAAK,MAAM,MAAM,IAAI,kBAAkB,CAAC,YAAY,CAAC,EAAE,CAAC;YACtD,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAC5D,IAAI,OAAO,QAAQ,KAAK,UAAU;gBAAE,SAAS;YAC7C,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,UAAyB,GAAG,UAAqB;gBAC9D,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,CAAC;gBAC1C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;oBACnC,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;YAC3D,CAAC,CAAC;YACF,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE;gBAC1C,YAAY,EAAE,IAAI;gBAClB,UAAU,EAAE,UAAU,EAAE,UAAU,IAAI,KAAK;gBAC3C,KAAK,EAAE,MAAM;gBACb,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,uBAAuB,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB;IAC3B,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IAC1C,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,uBAAuB,CAAC,OAA0C;IACzE,KAAK,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,OAAO,GAAkB,KAAK,CAAC;IACnC,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;QACxD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,aAAa;gBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAC9F,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAsF;IAEtF,MAAM,QAAQ,GAAmD,EAAE,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,QAAQ,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAc,EAAE,UAA8B;IACzE,MAAM,SAAS,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;IACtE,OAAO,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,UAAU,GAAG,MAAM;SACtB,UAAU,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACzC,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC;SACjC,WAAW,EAAE,CAAC;IACjB,OAAO,WAAW,UAAU,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAc,EAAE,MAAqB;IAChE,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACpF,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;AAChD,CAAC;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,MAAM;QACzF,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAY;IAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC","sourcesContent":["import { AsyncLocalStorage } from \"node:async_hooks\";\nimport { Console } from \"node:console\";\nimport { Writable } from \"node:stream\";\nimport { formatWithOptions } from \"node:util\";\n\nimport type { CheckMessage, CheckMessageLevel } from \"../../check/check.ts\";\n\ntype ConsoleInvocation<Result> = Readonly<\n  | {\n      readonly kind: \"returned\";\n      readonly output: Result;\n      readonly messages: readonly CheckMessage[];\n    }\n  | {\n      readonly kind: \"threw\";\n      readonly error: unknown;\n      readonly messages: readonly CheckMessage[];\n    }\n>;\n\ntype ConsoleStream = \"stderr\" | \"stdout\";\n\ninterface ActiveConsoleCall {\n  readonly chunks: Array<Readonly<{ readonly stream: ConsoleStream; readonly text: string }>>;\n  readonly method: string;\n}\n\ninterface InstalledConsoleMethod {\n  readonly descriptor: PropertyDescriptor | undefined;\n  readonly method: string;\n}\n\nconst HOST_CONSOLE = globalThis.console;\nconst captureContext = new AsyncLocalStorage<CheckConsoleCapture>();\nlet activeRouterOwnerCount = 0;\nlet installedMethods: readonly InstalledConsoleMethod[] = Object.freeze([]);\n\n/** Installs one shared router around the complete resolved-Check execution lifecycle. */\nexport async function runWithCheckConsoleRouter<Result>(\n  operation: () => Result | Promise<Result>\n): Promise<Result> {\n  const release = acquireConsoleRouter();\n  try {\n    return await operation();\n  } finally {\n    release();\n  }\n}\n\n/**\n * Runs one author-owned Check function in an isolated console capture context. Concurrent contexts\n * keep separate buffers; the resolved-Check lifecycle owns router installation and restoration.\n */\nexport async function invokeWithCapturedConsole<Result>(\n  operation: () => Result | Promise<Result>\n): Promise<ConsoleInvocation<Result>> {\n  const capture = new CheckConsoleCapture();\n  return captureContext.run(capture, async () => {\n    try {\n      const output = await operation();\n      return Object.freeze({ kind: \"returned\", messages: capture.snapshot(), output });\n    } catch (error) {\n      return Object.freeze({ kind: \"threw\", error, messages: capture.snapshot() });\n    }\n  });\n}\n\nclass CheckConsoleCapture {\n  readonly #console: Console;\n  readonly #messages: CheckMessage[] = [];\n  #activeCall: ActiveConsoleCall | undefined;\n\n  public constructor() {\n    this.#console = new Console({\n      colorMode: false,\n      ignoreErrors: true,\n      stderr: this.#writer(\"stderr\"),\n      stdout: this.#writer(\"stdout\")\n    });\n  }\n\n  public invoke(method: string, arguments_: readonly unknown[]): void {\n    const activeCall: ActiveConsoleCall = { chunks: [], method };\n    const previousCall = this.#activeCall;\n    this.#activeCall = activeCall;\n    try {\n      const captureMethod: unknown = Reflect.get(this.#console, method);\n      if (typeof captureMethod === \"function\") {\n        Reflect.apply(captureMethod, this.#console, arguments_);\n      } else {\n        activeCall.chunks.push({\n          stream: streamForMethod(method),\n          text: fallbackConsoleText(method, arguments_)\n        });\n      }\n    } catch {\n      activeCall.chunks.push({\n        stream: \"stderr\",\n        text: `console.${method} output could not be formatted safely`\n      });\n    } finally {\n      this.#activeCall = previousCall;\n      this.#appendCall(activeCall);\n    }\n  }\n\n  public snapshot(): readonly CheckMessage[] {\n    return this.#messages.length === 0 ? Object.freeze([]) : Object.freeze([...this.#messages]);\n  }\n\n  #appendCall(call: ActiveConsoleCall): void {\n    const chunks = combineAdjacentChunks(call.chunks);\n    for (const chunk of chunks) {\n      this.#messages.push(\n        Object.freeze({\n          code: consoleMessageCode(call.method),\n          level: levelForConsoleCall(call.method, chunk.stream),\n          message: removeTerminalLineEnding(chunk.text)\n        })\n      );\n    }\n  }\n\n  #writer(stream: ConsoleStream): Writable {\n    return new Writable({\n      write: (\n        chunk: unknown,\n        _encoding: BufferEncoding,\n        callback: (error?: Error | null) => void\n      ) => {\n        const activeCall = this.#activeCall;\n        if (activeCall !== undefined) {\n          activeCall.chunks.push({ stream, text: String(chunk) });\n        }\n        callback();\n      }\n    });\n  }\n}\n\nfunction acquireConsoleRouter(): () => void {\n  if (activeRouterOwnerCount === 0) installConsoleRouter();\n  activeRouterOwnerCount += 1;\n  let released = false;\n  return () => {\n    if (released) return;\n    released = true;\n    activeRouterOwnerCount -= 1;\n    if (activeRouterOwnerCount === 0) restoreConsoleRouter();\n  };\n}\n\nfunction installConsoleRouter(): void {\n  const installed: InstalledConsoleMethod[] = [];\n  try {\n    for (const method of consoleMethodNames(HOST_CONSOLE)) {\n      const original: unknown = Reflect.get(HOST_CONSOLE, method);\n      if (typeof original !== \"function\") continue;\n      const descriptor = Object.getOwnPropertyDescriptor(HOST_CONSOLE, method);\n      const routed = function (this: Console, ...arguments_: unknown[]): unknown {\n        const capture = captureContext.getStore();\n        if (capture !== undefined) {\n          capture.invoke(method, arguments_);\n          return undefined;\n        }\n        return Reflect.apply(original, HOST_CONSOLE, arguments_);\n      };\n      Object.defineProperty(HOST_CONSOLE, method, {\n        configurable: true,\n        enumerable: descriptor?.enumerable ?? false,\n        value: routed,\n        writable: true\n      });\n      installed.push(Object.freeze({ descriptor, method }));\n    }\n    installedMethods = Object.freeze(installed);\n  } catch (error) {\n    restoreInstalledMethods(installed);\n    throw error;\n  }\n}\n\nfunction restoreConsoleRouter(): void {\n  restoreInstalledMethods(installedMethods);\n  installedMethods = Object.freeze([]);\n}\n\nfunction restoreInstalledMethods(methods: readonly InstalledConsoleMethod[]): void {\n  for (const { descriptor, method } of [...methods].reverse()) {\n    if (descriptor === undefined) {\n      Reflect.deleteProperty(HOST_CONSOLE, method);\n    } else {\n      Object.defineProperty(HOST_CONSOLE, method, descriptor);\n    }\n  }\n}\n\nfunction consoleMethodNames(value: Console): readonly string[] {\n  const names = new Set<string>();\n  let current: object | null = value;\n  while (current !== null && current !== Object.prototype) {\n    for (const key of Reflect.ownKeys(current)) {\n      if (typeof key === \"string\" && key !== \"Console\" && key !== \"constructor\") names.add(key);\n    }\n    current = Reflect.getPrototypeOf(current);\n  }\n  return Object.freeze(\n    [...names].filter((name) => typeof Reflect.get(value, name) === \"function\").sort(compareText)\n  );\n}\n\nfunction combineAdjacentChunks(\n  chunks: readonly Readonly<{ readonly stream: ConsoleStream; readonly text: string }>[]\n): readonly Readonly<{ readonly stream: ConsoleStream; readonly text: string }>[] {\n  const combined: Array<{ stream: ConsoleStream; text: string }> = [];\n  for (const chunk of chunks) {\n    const previous = combined.at(-1);\n    if (previous?.stream === chunk.stream) {\n      previous.text += chunk.text;\n    } else {\n      combined.push({ stream: chunk.stream, text: chunk.text });\n    }\n  }\n  return combined;\n}\n\nfunction fallbackConsoleText(method: string, arguments_: readonly unknown[]): string {\n  const formatted = formatWithOptions({ colors: false }, ...arguments_);\n  return formatted.length === 0 ? `console.${method}()` : formatted;\n}\n\nfunction consoleMessageCode(method: string): string {\n  const normalized = method\n    .replaceAll(/([a-z0-9])([A-Z])/g, \"$1-$2\")\n    .replaceAll(/[^a-zA-Z0-9-]/g, \"-\")\n    .toLowerCase();\n  return `console-${normalized}`;\n}\n\nfunction levelForConsoleCall(method: string, stream: ConsoleStream): CheckMessageLevel {\n  if (method === \"warn\") return \"warning\";\n  if (method === \"assert\" || method === \"error\" || method === \"trace\") return \"error\";\n  return stream === \"stderr\" ? \"error\" : \"info\";\n}\n\nfunction streamForMethod(method: string): ConsoleStream {\n  return method === \"assert\" || method === \"error\" || method === \"trace\" || method === \"warn\"\n    ? \"stderr\"\n    : \"stdout\";\n}\n\nfunction removeTerminalLineEnding(text: string): string {\n  if (text.endsWith(\"\\r\\n\") && text.length > 2) return text.slice(0, -2);\n  if (text.endsWith(\"\\n\") && text.length > 1) return text.slice(0, -1);\n  return text;\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n"]}

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

@@ -2,16 +2,34 @@ import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
 export function createCheckDependencies(input) {
     return Object.freeze({
         get: (dependencyId) => {
-            const result = readDependency(input.session, input.directDependencyIds, dependencyId);
+            const result = readDirectRelation(input.session, input.directRelationCheckIds, dependencyId);
             input.diagnosticLogger?.observe({
                 event: "dependency.read",
                 tags: diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION", "DEPENDENCY-READ"),
                 details: dependencyReadDetails(dependencyId, result)
             });
             return result;
+        },
+        list: () => {
+            const observations = listDirectRelationObservations(input.session, input.directRelationCheckIds);
+            input.diagnosticLogger?.observe({
+                event: "dependency.list",
+                tags: diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION", "DEPENDENCY-LIST"),
+                details: directRelationListDetails(observations)
+            });
+            return observations;
         }
     });
 }
+function listDirectRelationObservations(session, directRelationCheckIds) {
+    return Object.freeze(directRelationCheckIds.map((checkId) => Object.freeze({ checkId, outcome: session.readSettledCheckOutcome(checkId) })));
+}
+function directRelationListDetails(observations) {
+    return Object.freeze({
+        dependencyIds: Object.freeze(observations.map(({ checkId }) => checkId)),
+        count: observations.length
+    });
+}
 function dependencyReadDetails(requestedCheckId, result) {
     if (!result.ok) {
         return Object.freeze({ error: result.error, ok: false, requestedCheckId });
@@ -23,8 +41,8 @@ function dependencyReadDetails(requestedCheckId, result) {
         status: result.status
     });
 }
-function readDependency(session, directDependencyIds, checkId) {
-    if (typeof checkId !== "string" || !directDependencyIds.includes(checkId)) {
+function readDirectRelation(session, directRelationCheckIds, checkId) {
+    if (typeof checkId !== "string" || !directRelationCheckIds.includes(checkId)) {
         return dependencyNotDeclared(checkId);
     }
     return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));

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

@@ -1 +1 @@
-{"version":3,"file":"dependencies.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/dependencies.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AAExF,MAAM,UAAU,uBAAuB,CACrC,KAKE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,EAAE,CAAC,YAAoB,EAAwB,EAAE;YAClD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC;YACtF,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,qBAAqB,CAAC,YAAY,EAAE,MAAM,CAAC;aACrD,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,gBAAyB,EACzB,MAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI;QACb,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,MAAM,CAAC,OAAO;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,OAAyB,EACzB,mBAAsC,EACtC,OAAe;IAEf,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe,EAAE,OAAqB;IAClE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;KAC7F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAgB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;SACpD,CAAC;KACH,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type { CheckDependencies, CheckOutcome, DependencyReadResult } from \"../../check/check.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\n\nexport function createCheckDependencies(\n  input: Readonly<{\n    readonly checkId: string;\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly directDependencyIds: readonly string[];\n    readonly session: CoreCheckSession;\n  }>\n): CheckDependencies {\n  return Object.freeze({\n    get: (dependencyId: string): DependencyReadResult => {\n      const result = readDependency(input.session, input.directDependencyIds, dependencyId);\n      input.diagnosticLogger?.observe({\n        event: \"dependency.read\",\n        tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-READ\"),\n        details: dependencyReadDetails(dependencyId, result)\n      });\n      return result;\n    }\n  });\n}\n\nfunction dependencyReadDetails(\n  requestedCheckId: unknown,\n  result: DependencyReadResult\n): Readonly<Record<string, unknown>> {\n  if (!result.ok) {\n    return Object.freeze({ error: result.error, ok: false, requestedCheckId });\n  }\n  return Object.freeze({\n    hasData: true,\n    ok: true,\n    producer: result.checkId,\n    status: result.status\n  });\n}\n\nfunction readDependency(\n  session: CoreCheckSession,\n  directDependencyIds: readonly string[],\n  checkId: string\n): DependencyReadResult {\n  if (typeof checkId !== \"string\" || !directDependencyIds.includes(checkId)) {\n    return dependencyNotDeclared(checkId);\n  }\n  return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));\n}\n\nfunction dependencyReadResult(checkId: string, outcome: CheckOutcome): DependencyReadResult {\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    return Object.freeze({ ok: true, checkId, status: outcome.status, data: outcome.data });\n  }\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({ code: \"upstream-data-unavailable\", checkId, status: outcome.status })\n  });\n}\n\nfunction dependencyNotDeclared(checkId: unknown): DependencyReadResult {\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({\n      code: \"dependency-not-declared\",\n      checkId: typeof checkId === \"string\" ? checkId : \"\"\n    })\n  });\n}\n"]}
+{"version":3,"file":"dependencies.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/dependencies.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AAExF,MAAM,UAAU,uBAAuB,CACrC,KAKE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,EAAE,CAAC,YAAoB,EAAwB,EAAE;YAClD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,sBAAsB,EAAE,YAAY,CAAC,CAAC;YAC7F,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,qBAAqB,CAAC,YAAY,EAAE,MAAM,CAAC;aACrD,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,EAAE,GAAqC,EAAE;YAC3C,MAAM,YAAY,GAAG,8BAA8B,CACjD,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,sBAAsB,CAC7B,CAAC;YACF,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,yBAAyB,CAAC,YAAY,CAAC;aACjD,CAAC,CAAC;YACH,OAAO,YAAY,CAAC;QACtB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,OAAyB,EACzB,sBAAyC;IAEzC,OAAO,MAAM,CAAC,MAAM,CAClB,sBAAsB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC,CAC9E,CACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,YAA8C;IAE9C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QACxE,KAAK,EAAE,YAAY,CAAC,MAAM;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,gBAAyB,EACzB,MAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI;QACb,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,MAAM,CAAC,OAAO;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAyB,EACzB,sBAAyC,EACzC,OAAe;IAEf,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe,EAAE,OAAqB;IAClE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;KAC7F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAgB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;SACpD,CAAC;KACH,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  CheckDependencies,\n  CheckOutcome,\n  DependencyObservation,\n  DependencyReadResult\n} from \"../../check/check.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\n\nexport function createCheckDependencies(\n  input: Readonly<{\n    readonly checkId: string;\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly directRelationCheckIds: readonly string[];\n    readonly session: CoreCheckSession;\n  }>\n): CheckDependencies {\n  return Object.freeze({\n    get: (dependencyId: string): DependencyReadResult => {\n      const result = readDirectRelation(input.session, input.directRelationCheckIds, dependencyId);\n      input.diagnosticLogger?.observe({\n        event: \"dependency.read\",\n        tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-READ\"),\n        details: dependencyReadDetails(dependencyId, result)\n      });\n      return result;\n    },\n    list: (): readonly DependencyObservation[] => {\n      const observations = listDirectRelationObservations(\n        input.session,\n        input.directRelationCheckIds\n      );\n      input.diagnosticLogger?.observe({\n        event: \"dependency.list\",\n        tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-LIST\"),\n        details: directRelationListDetails(observations)\n      });\n      return observations;\n    }\n  });\n}\n\nfunction listDirectRelationObservations(\n  session: CoreCheckSession,\n  directRelationCheckIds: readonly string[]\n): readonly DependencyObservation[] {\n  return Object.freeze(\n    directRelationCheckIds.map((checkId) =>\n      Object.freeze({ checkId, outcome: session.readSettledCheckOutcome(checkId) })\n    )\n  );\n}\n\nfunction directRelationListDetails(\n  observations: readonly DependencyObservation[]\n): Readonly<Record<string, unknown>> {\n  return Object.freeze({\n    dependencyIds: Object.freeze(observations.map(({ checkId }) => checkId)),\n    count: observations.length\n  });\n}\n\nfunction dependencyReadDetails(\n  requestedCheckId: unknown,\n  result: DependencyReadResult\n): Readonly<Record<string, unknown>> {\n  if (!result.ok) {\n    return Object.freeze({ error: result.error, ok: false, requestedCheckId });\n  }\n  return Object.freeze({\n    hasData: true,\n    ok: true,\n    producer: result.checkId,\n    status: result.status\n  });\n}\n\nfunction readDirectRelation(\n  session: CoreCheckSession,\n  directRelationCheckIds: readonly string[],\n  checkId: string\n): DependencyReadResult {\n  if (typeof checkId !== \"string\" || !directRelationCheckIds.includes(checkId)) {\n    return dependencyNotDeclared(checkId);\n  }\n  return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));\n}\n\nfunction dependencyReadResult(checkId: string, outcome: CheckOutcome): DependencyReadResult {\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    return Object.freeze({ ok: true, checkId, status: outcome.status, data: outcome.data });\n  }\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({ code: \"upstream-data-unavailable\", checkId, status: outcome.status })\n  });\n}\n\nfunction dependencyNotDeclared(checkId: unknown): DependencyReadResult {\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({\n      code: \"dependency-not-declared\",\n      checkId: typeof checkId === \"string\" ? checkId : \"\"\n    })\n  });\n}\n"]}