@zxyycom/vibe-check 0.0.1 → 0.0.3

package/dist/esm/project-run/check-execution/resolved-checks.mjs

@@ -1,168 +1,73 @@
 import { createCoreCheckSession } from "../../check-settlement/session.mjs";
-import { diagnosticTags, summarizeDiagnosticValue } from "../diagnostic-logging/logger.mjs";
 import { prepareTaskGraph } from "../task-scheduler/graph.mjs";
-import { runTaskGraph } from "../task-scheduler/scheduler.mjs";
-import { executeCheckCallback } from "./callback.mjs";
-import { createCheckDependencies } from "./dependencies.mjs";
-import { CheckExecutionInvariantFailure, recordSettledCheck, settleCallback } from "./execution-settlement.mjs";
-import { checkIdentity, closeCancelledExecution, closeResolvedChecks, trustedFailure } from "./execution-finalization.mjs";
+import { runWithCheckConsoleRouter } from "./console-capture.mjs";
+import { recordSettledCheck } from "./execution-settlement.mjs";
+import { checkIdentity, closeResolvedChecks } from "./execution-finalization.mjs";
 import { planStaticCheckGraph } from "./plan.mjs";
-import { prepareChecks } from "./preflight.mjs";
-const INERT_SIGNAL = new AbortController().signal;
-const SYSTEM_MONOTONIC_CLOCK = Object.freeze({ now: () => performance.now() });
+import { selectEffectiveCheckIds, resolveFlagControlSettlements } from "./flag-controls.mjs";
+import { runScheduledChecks } from "./scheduled-check-run.mjs";
+const NO_CHECK_MESSAGES = Object.freeze([]);
 /**
  * Runs the already normalized executable Check collection through one generic
  * Task per Check. Graph validation happens before Core scopes or callbacks.
  */
 export async function executeResolvedChecks(input) {
-    const prepared = await prepareResolvedCheckExecution(input);
-    // The barrier is execution-phase work. A signal received while it runs must close this
-    // phase as cancelled even when every preflight already blocked and the scheduler graph is empty.
-    if (input.signal?.aborted) {
-        return closeCancelledExecution({
-            normalizedChecks: input.checks,
-            preparedChecks: prepared.readyChecks,
-            state: prepared.state
-        });
-    }
-    const readyPreflightByCheckId = new Map(prepared.readyPreflights.map((preflight) => [preflight.check.definition.checkId, preflight]));
-    const graph = planStaticCheckGraph(prepared.readyChecks, {
-        alreadySettledCheckIds: prepared.blockedCheckIds
-    });
-    let graphRun;
-    try {
-        graphRun = await runTaskGraph({
-            graph,
-            maxParallel: input.maxParallel,
-            diagnosticLogger: input.diagnosticLogger,
-            signal: input.signal,
-            execute: (task, context) => {
-                const preflight = readyPreflightByCheckId.get(task.id);
-                if (preflight === undefined) {
-                    throw new CheckExecutionInvariantFailure("Task graph has no prepared Check");
-                }
-                return executeCheck({
-                    ...prepared.state,
-                    preflight,
-                    clock: input.clock ?? SYSTEM_MONOTONIC_CLOCK,
-                    project: input.project,
-                    signal: context.signal ?? INERT_SIGNAL
-                });
-            }
-        });
-    }
-    catch (error) {
-        throw trustedFailure(error);
-    }
-    return closeResolvedChecks({
-        allChecks: input.checks,
-        graphRun,
-        readyChecks: prepared.readyChecks,
-        state: prepared.state
-    });
+    prepareTaskGraph(planStaticCheckGraph(input.checks, input.resourceCapacities), input.maxParallel);
+    const effectiveCheckIds = selectEffectiveCheckIds(input.checks, input.project.flags);
+    return runWithCheckConsoleRouter(() => executePreparedResolvedChecks(input, effectiveCheckIds));
 }
-async function prepareResolvedCheckExecution(input) {
-    prepareTaskGraph(planStaticCheckGraph(input.checks), input.maxParallel);
-    const preflights = await prepareChecks({
-        checks: input.checks,
-        diagnosticLogger: input.diagnosticLogger,
-        signal: input.signal
-    });
+async function executePreparedResolvedChecks(input, effectiveCheckIds) {
     const state = createExecutionState({
         checks: input.checks,
         diagnosticLogger: input.diagnosticLogger,
-        lifecycle: input.lifecycle
+        lifecycle: input.checkLifecycle
     });
-    const partition = settlePreflightResolutions(state, preflights);
-    return Object.freeze({ ...partition, state });
+    try {
+        const flagControlSettlements = resolveFlagControlSettlements({
+            checks: input.checks,
+            ...(input.diagnosticLogger === undefined ? {} : { diagnosticLogger: input.diagnosticLogger }),
+            effectiveCheckIds,
+            signal: input.signal
+        });
+        for (const settlement of flagControlSettlements) {
+            settleFlagControlOutcome(state, settlement);
+        }
+        input.invocationLifecycle?.selectionSettled();
+        const graphRun = await runScheduledChecks({
+            execution: input,
+            flagControlSettlements,
+            state
+        });
+        return closeResolvedChecks({
+            allChecks: input.checks,
+            effectiveCheckIds,
+            graphRun,
+            state
+        });
+    }
+    finally {
+        state.handoffsByCheckId.clear();
+    }
 }
 function createExecutionState(input) {
     return {
         diagnosticLogger: input.diagnosticLogger,
+        handoffsByCheckId: new Map(),
         settledFactsByCheckId: new Map(),
         lifecycle: input.lifecycle,
         session: createCoreCheckSession(input.checks.map(({ definition }) => Object.freeze({ definition })))
     };
 }
-function settlePreflightResolutions(state, resolutions) {
-    const readyPreflights = [];
-    const blockedCheckIds = new Set();
-    for (const resolution of resolutions) {
-        if (resolution.kind === "ready") {
-            readyPreflights.push(resolution);
-            continue;
-        }
-        blockedCheckIds.add(resolution.check.definition.checkId);
-        settleBlockedPreflight(state, resolution);
-    }
-    return Object.freeze({
-        blockedCheckIds,
-        readyChecks: Object.freeze(readyPreflights.map((preflight) => preflight.check)),
-        readyPreflights: Object.freeze(readyPreflights)
-    });
-}
-function settleBlockedPreflight(state, preflight) {
-    const scope = state.session.openCheckScope(preflight.check.definition.checkId);
-    const outcome = scope.settleProduct(preflight.outcome);
+function settleFlagControlOutcome(state, settlement) {
+    const scope = state.session.openCheckScope(settlement.check.definition.checkId);
+    const outcome = scope.settleProduct(settlement.outcome);
     recordSettledCheck({
-        check: checkIdentity(preflight.check),
+        check: checkIdentity(settlement.check),
         durationMs: null,
-        messages: preflight.check.preflightMessages,
+        messages: NO_CHECK_MESSAGES,
         outcome,
-        phase: "preflight",
+        phase: "control",
         state
     });
 }
-async function executeCheck(input) {
-    const check = input.preflight.check;
-    const checkId = check.definition.checkId;
-    const scope = input.session.openCheckScope(checkId);
-    const identity = checkIdentity(check);
-    input.diagnosticLogger?.observe({
-        event: "check.started",
-        tags: diagnosticTags(`CHECK:${checkId}`, "EXECUTION", "STARTED"),
-        details: {
-            dependencies: check.dependsOn,
-            displayName: check.definition.displayName,
-            options: summarizeDiagnosticValue(check.options)
-        }
-    });
-    emitStarted(input.lifecycle, identity);
-    const startedAt = input.clock.now();
-    const callback = await executeCheckCallback({
-        check,
-        dependencies: createCheckDependencies({
-            checkId,
-            diagnosticLogger: input.diagnosticLogger,
-            directDependencyIds: check.dependsOn,
-            session: input.session
-        }),
-        diagnosticLogger: input.diagnosticLogger,
-        project: input.project,
-        scope,
-        signal: input.signal
-    });
-    const settled = settleCallback({
-        callback,
-        checkId,
-        diagnosticLogger: input.diagnosticLogger,
-        preflightMessages: check.preflightMessages,
-        scope
-    });
-    recordSettledCheck({
-        check: identity,
-        durationMs: durationSince(startedAt, input.clock),
-        messages: settled.messages,
-        outcome: settled.outcome,
-        phase: "execution",
-        state: input
-    });
-}
-function emitStarted(lifecycle, check) {
-    lifecycle?.started(Object.freeze({ checkId: check.checkId, displayName: check.displayName }));
-}
-function durationSince(startedAt, clock) {
-    const elapsed = clock.now() - startedAt;
-    return Number.isFinite(elapsed) && elapsed >= 0 ? elapsed : 0;
-}
 //# sourceMappingURL=resolved-checks.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"resolved-checks.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/resolved-checks.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,sBAAsB,EAAyB,MAAM,mCAAmC,CAAC;AAClG,OAAO,EACL,cAAc,EACd,wBAAwB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAClB,cAAc,EAIf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,mBAAmB,EACnB,cAAc,EACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EACL,aAAa,EAId,MAAM,gBAAgB,CAAC;AAExB,MAAM,YAAY,GAAG,IAAI,eAAe,EAAE,CAAC,MAAM,CAAC;AAClD,MAAM,sBAAsB,GAAwB,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AAiDpG;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAQE;IAEF,MAAM,QAAQ,GAAG,MAAM,6BAA6B,CAAC,KAAK,CAAC,CAAC;IAC5D,uFAAuF;IACvF,iGAAiG;IACjG,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC;YAC7B,gBAAgB,EAAE,KAAK,CAAC,MAAM;YAC9B,cAAc,EAAE,QAAQ,CAAC,WAAW;YACpC,KAAK,EAAE,QAAQ,CAAC,KAAK;SACtB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,uBAAuB,GAAG,IAAI,GAAG,CACrC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAC7F,CAAC;IACF,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE;QACvD,sBAAsB,EAAE,QAAQ,CAAC,eAAe;KACjD,CAAC,CAAC;IACH,IAAI,QAAwD,CAAC;IAC7D,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,YAAY,CAAC;YAC5B,KAAK;YACL,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;gBACzB,MAAM,SAAS,GAAG,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,MAAM,IAAI,8BAA8B,CAAC,kCAAkC,CAAC,CAAC;gBAC/E,CAAC;gBACD,OAAO,YAAY,CAAC;oBAClB,GAAG,QAAQ,CAAC,KAAK;oBACjB,SAAS;oBACT,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,sBAAsB;oBAC5C,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,YAAY;iBACvC,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,mBAAmB,CAAC;QACzB,SAAS,EAAE,KAAK,CAAC,MAAM;QACvB,QAAQ;QACR,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,KAAK,EAAE,QAAQ,CAAC,KAAK;KACtB,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,6BAA6B,CAC1C,KAME;IAEF,gBAAgB,CAAC,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,MAAM,aAAa,CAAC;QACrC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,oBAAoB,CAAC;QACjC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,0BAA0B,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAIE;IAEF,OAAO;QACL,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,qBAAqB,EAAE,IAAI,GAAG,EAA6B;QAC3D,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,sBAAsB,CAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CACpE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAA0B,EAC1B,WAAgD;IAEhD,MAAM,eAAe,GAAoC,EAAE,CAAC;IAC5D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACzD,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe;QACf,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/E,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;KAChD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA0B,EAC1B,SAA0E;IAE1E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvD,kBAAkB,CAAC;QACjB,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC;QACrC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,iBAAiB;QAC3C,OAAO;QACP,KAAK,EAAE,WAAW;QAClB,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,KAAwB;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;QAC9B,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,cAAc,CAAC,SAAS,OAAO,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC;QAChE,OAAO,EAAE;YACP,YAAY,EAAE,KAAK,CAAC,SAAS;YAC7B,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;YACzC,OAAO,EAAE,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC;SACjD;KACF,CAAC,CAAC;IACH,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC;QAC1C,KAAK;QACL,YAAY,EAAE,uBAAuB,CAAC;YACpC,OAAO;YACP,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,mBAAmB,EAAE,KAAK,CAAC,SAAS;YACpC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,cAAc,CAAC;QAC7B,QAAQ;QACR,OAAO;QACP,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,KAAK;KACN,CAAC,CAAC;IACH,kBAAkB,CAAC;QACjB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC;QACjD,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,KAAK;KACb,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,SAA8C,EAAE,KAAoB;IACvF,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB,EAAE,KAA0B;IAClE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IACxC,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC","sourcesContent":["import type {\n  CheckMessage,\n  CheckOutcome,\n  CheckProjectContext,\n  CheckVisibility\n} from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { createCoreCheckSession, type CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport {\n  diagnosticTags,\n  summarizeDiagnosticValue,\n  type DiagnosticLogger\n} from \"../diagnostic-logging/logger.ts\";\nimport { prepareTaskGraph } from \"../task-scheduler/graph.ts\";\nimport { runTaskGraph } from \"../task-scheduler/scheduler.ts\";\nimport { executeCheckCallback } from \"./callback.ts\";\nimport { createCheckDependencies } from \"./dependencies.ts\";\nimport {\n  CheckExecutionInvariantFailure,\n  recordSettledCheck,\n  settleCallback,\n  type CheckExecutionSettlementState,\n  type CheckIdentity,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport {\n  checkIdentity,\n  closeCancelledExecution,\n  closeResolvedChecks,\n  trustedFailure\n} from \"./execution-finalization.ts\";\nimport { planStaticCheckGraph } from \"./plan.ts\";\nimport {\n  prepareChecks,\n  type CheckPreflightResolution,\n  type PreparedCheck,\n  type ReadyCheckPreflightResolution\n} from \"./preflight.ts\";\n\nconst INERT_SIGNAL = new AbortController().signal;\nconst SYSTEM_MONOTONIC_CLOCK: CheckExecutionClock = Object.freeze({ now: () => performance.now() });\n\n/** Private Run handoff for Check lifecycle presentation and accounting. */\nexport type CheckExecutionLifecycle = Readonly<{\n  readonly started: (fact: CheckStartedFact) => void;\n  readonly settled: (fact: CheckSettledFact) => void;\n}>;\n\n/** Package-private monotonic clock seam for execution accounting. */\nexport type CheckExecutionClock = Readonly<{ now(): number }>;\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    outcome: CheckOutcome;\n    visibility: CheckVisibility;\n  }>;\n\ntype ResolvedCheckExecutionFacts = Readonly<{\n  readonly checkDurations: readonly import(\"../result.ts\").CheckDuration[];\n  readonly checkMessages: readonly import(\"../result.ts\").CheckRunMessage[];\n  readonly snapshot: import(\"../../check-settlement/facts.ts\").CoreSnapshot;\n}>;\n\nexport type ResolvedCheckExecution =\n  | (Readonly<{ readonly kind: \"completed\" }> & ResolvedCheckExecutionFacts)\n  | (Readonly<{ readonly kind: \"cancelled\" }> & ResolvedCheckExecutionFacts);\n\nexport interface CheckExecutionState extends CheckExecutionSettlementState {\n  readonly session: CoreCheckSession;\n}\n\ninterface ExecuteCheckInput extends CheckExecutionState {\n  readonly preflight: ReadyCheckPreflightResolution;\n  readonly clock: CheckExecutionClock;\n  readonly project: CheckProjectContext;\n  readonly signal: AbortSignal;\n}\n\ntype PreparedResolvedCheckExecution = Readonly<{\n  readonly blockedCheckIds: ReadonlySet<string>;\n  readonly readyChecks: readonly PreparedCheck[];\n  readonly readyPreflights: readonly ReadyCheckPreflightResolution[];\n  readonly state: CheckExecutionState;\n}>;\n\n/**\n * Runs the already normalized executable Check collection through one generic\n * Task per Check. Graph validation happens before Core scopes or callbacks.\n */\nexport async function executeResolvedChecks(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly maxParallel: number;\n    readonly project: CheckProjectContext;\n    readonly signal: AbortSignal | undefined;\n    readonly clock?: CheckExecutionClock;\n    readonly diagnosticLogger?: DiagnosticLogger;\n    readonly lifecycle?: CheckExecutionLifecycle;\n  }>\n): Promise<ResolvedCheckExecution> {\n  const prepared = await prepareResolvedCheckExecution(input);\n  // The barrier is execution-phase work. A signal received while it runs must close this\n  // phase as cancelled even when every preflight already blocked and the scheduler graph is empty.\n  if (input.signal?.aborted) {\n    return closeCancelledExecution({\n      normalizedChecks: input.checks,\n      preparedChecks: prepared.readyChecks,\n      state: prepared.state\n    });\n  }\n  const readyPreflightByCheckId = new Map(\n    prepared.readyPreflights.map((preflight) => [preflight.check.definition.checkId, preflight])\n  );\n  const graph = planStaticCheckGraph(prepared.readyChecks, {\n    alreadySettledCheckIds: prepared.blockedCheckIds\n  });\n  let graphRun: Awaited<ReturnType<typeof runTaskGraph<void>>>;\n  try {\n    graphRun = await runTaskGraph({\n      graph,\n      maxParallel: input.maxParallel,\n      diagnosticLogger: input.diagnosticLogger,\n      signal: input.signal,\n      execute: (task, context) => {\n        const preflight = readyPreflightByCheckId.get(task.id);\n        if (preflight === undefined) {\n          throw new CheckExecutionInvariantFailure(\"Task graph has no prepared Check\");\n        }\n        return executeCheck({\n          ...prepared.state,\n          preflight,\n          clock: input.clock ?? SYSTEM_MONOTONIC_CLOCK,\n          project: input.project,\n          signal: context.signal ?? INERT_SIGNAL\n        });\n      }\n    });\n  } catch (error) {\n    throw trustedFailure(error);\n  }\n\n  return closeResolvedChecks({\n    allChecks: input.checks,\n    graphRun,\n    readyChecks: prepared.readyChecks,\n    state: prepared.state\n  });\n}\n\nasync function prepareResolvedCheckExecution(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly diagnosticLogger?: DiagnosticLogger;\n    readonly lifecycle?: CheckExecutionLifecycle;\n    readonly maxParallel: number;\n    readonly signal: AbortSignal | undefined;\n  }>\n): Promise<PreparedResolvedCheckExecution> {\n  prepareTaskGraph(planStaticCheckGraph(input.checks), input.maxParallel);\n  const preflights = await prepareChecks({\n    checks: input.checks,\n    diagnosticLogger: input.diagnosticLogger,\n    signal: input.signal\n  });\n  const state = createExecutionState({\n    checks: input.checks,\n    diagnosticLogger: input.diagnosticLogger,\n    lifecycle: input.lifecycle\n  });\n  const partition = settlePreflightResolutions(state, preflights);\n  return Object.freeze({ ...partition, state });\n}\n\nfunction createExecutionState(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly lifecycle: CheckExecutionLifecycle | undefined;\n  }>\n): CheckExecutionState {\n  return {\n    diagnosticLogger: input.diagnosticLogger,\n    settledFactsByCheckId: new Map<string, SettledCheckFacts>(),\n    lifecycle: input.lifecycle,\n    session: createCoreCheckSession(\n      input.checks.map(({ definition }) => Object.freeze({ definition }))\n    )\n  };\n}\n\nfunction settlePreflightResolutions(\n  state: CheckExecutionState,\n  resolutions: readonly CheckPreflightResolution[]\n): Omit<PreparedResolvedCheckExecution, \"state\"> {\n  const readyPreflights: ReadyCheckPreflightResolution[] = [];\n  const blockedCheckIds = new Set<string>();\n  for (const resolution of resolutions) {\n    if (resolution.kind === \"ready\") {\n      readyPreflights.push(resolution);\n      continue;\n    }\n    blockedCheckIds.add(resolution.check.definition.checkId);\n    settleBlockedPreflight(state, resolution);\n  }\n  return Object.freeze({\n    blockedCheckIds,\n    readyChecks: Object.freeze(readyPreflights.map((preflight) => preflight.check)),\n    readyPreflights: Object.freeze(readyPreflights)\n  });\n}\n\nfunction settleBlockedPreflight(\n  state: CheckExecutionState,\n  preflight: Extract<CheckPreflightResolution, { readonly kind: \"blocked\" }>\n): void {\n  const scope = state.session.openCheckScope(preflight.check.definition.checkId);\n  const outcome = scope.settleProduct(preflight.outcome);\n  recordSettledCheck({\n    check: checkIdentity(preflight.check),\n    durationMs: null,\n    messages: preflight.check.preflightMessages,\n    outcome,\n    phase: \"preflight\",\n    state\n  });\n}\n\nasync function executeCheck(input: ExecuteCheckInput): Promise<void> {\n  const check = input.preflight.check;\n  const checkId = check.definition.checkId;\n  const scope = input.session.openCheckScope(checkId);\n  const identity = checkIdentity(check);\n  input.diagnosticLogger?.observe({\n    event: \"check.started\",\n    tags: diagnosticTags(`CHECK:${checkId}`, \"EXECUTION\", \"STARTED\"),\n    details: {\n      dependencies: check.dependsOn,\n      displayName: check.definition.displayName,\n      options: summarizeDiagnosticValue(check.options)\n    }\n  });\n  emitStarted(input.lifecycle, identity);\n  const startedAt = input.clock.now();\n  const callback = await executeCheckCallback({\n    check,\n    dependencies: createCheckDependencies({\n      checkId,\n      diagnosticLogger: input.diagnosticLogger,\n      directDependencyIds: check.dependsOn,\n      session: input.session\n    }),\n    diagnosticLogger: input.diagnosticLogger,\n    project: input.project,\n    scope,\n    signal: input.signal\n  });\n  const settled = settleCallback({\n    callback,\n    checkId,\n    diagnosticLogger: input.diagnosticLogger,\n    preflightMessages: check.preflightMessages,\n    scope\n  });\n  recordSettledCheck({\n    check: identity,\n    durationMs: durationSince(startedAt, input.clock),\n    messages: settled.messages,\n    outcome: settled.outcome,\n    phase: \"execution\",\n    state: input\n  });\n}\n\nfunction emitStarted(lifecycle: CheckExecutionLifecycle | undefined, check: CheckIdentity): void {\n  lifecycle?.started(Object.freeze({ checkId: check.checkId, displayName: check.displayName }));\n}\n\nfunction durationSince(startedAt: number, clock: CheckExecutionClock): number {\n  const elapsed = clock.now() - startedAt;\n  return Number.isFinite(elapsed) && elapsed >= 0 ? elapsed : 0;\n}\n"]}
+{"version":3,"file":"resolved-checks.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/resolved-checks.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAG3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAG9D,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAEjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EACL,uBAAuB,EACvB,6BAA6B,EAE9B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAI9D,MAAM,iBAAiB,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAiCrE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAAkC;IAElC,gBAAgB,CAAC,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAClG,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACrF,OAAO,yBAAyB,CAAC,GAAG,EAAE,CAAC,6BAA6B,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,KAAK,UAAU,6BAA6B,CAC1C,KAAkC,EAClC,iBAAoC;IAEpC,MAAM,KAAK,GAAG,oBAAoB,CAAC;QACjC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,SAAS,EAAE,KAAK,CAAC,cAAc;KAChC,CAAC,CAAC;IACH,IAAI,CAAC;QACH,MAAM,sBAAsB,GAAG,6BAA6B,CAAC;YAC3D,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,GAAG,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC;YAC7F,iBAAiB;YACjB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,KAAK,MAAM,UAAU,IAAI,sBAAsB,EAAE,CAAC;YAChD,wBAAwB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC;YACxC,SAAS,EAAE,KAAK;YAChB,sBAAsB;YACtB,KAAK;SACN,CAAC,CAAC;QAEH,OAAO,mBAAmB,CAAC;YACzB,SAAS,EAAE,KAAK,CAAC,MAAM;YACvB,iBAAiB;YACjB,QAAQ;YACR,KAAK;SACN,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAIE;IAEF,OAAO;QACL,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,iBAAiB,EAAE,IAAI,GAAG,EAAE;QAC5B,qBAAqB,EAAE,IAAI,GAAG,EAA6B;QAC3D,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,sBAAsB,CAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CACpE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAA0B,EAC1B,UAAiC;IAEjC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACxD,kBAAkB,CAAC;QACjB,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC;QACtC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,iBAAiB;QAC3B,OAAO;QACP,KAAK,EAAE,SAAS;QAChB,KAAK;KACN,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type { CheckMessage, CheckProjectContext } from \"../../check/check.ts\";\nimport type {\n  NormalizedCheck,\n  SchedulerTerminalEffect\n} from \"../../project-definition/project-definition.ts\";\nimport type { ResourceUnitMapping } from \"../../project-definition/resource-unit-mapping.ts\";\nimport { createCoreCheckSession } from \"../../check-settlement/session.ts\";\nimport type { DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\nimport type { AdmissionSelectionPolicy } from \"../task-scheduler/admission-selection-policy.ts\";\nimport { prepareTaskGraph } from \"../task-scheduler/graph.ts\";\nimport type { SchedulerPerformanceDiagnosticsInput } from \"../task-scheduler/measurement/diagnostics.ts\";\nimport type { ResolvedInvocationPaths } from \"../invocation/paths.ts\";\nimport { runWithCheckConsoleRouter } from \"./console-capture.ts\";\nimport {\n  recordSettledCheck,\n  type CheckExecutionState,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport { checkIdentity, closeResolvedChecks } from \"./execution-finalization.ts\";\nimport type { CheckExecutionLifecycle, InvocationLifecycle } from \"./lifecycle.ts\";\nimport { planStaticCheckGraph } from \"./plan.ts\";\nimport {\n  selectEffectiveCheckIds,\n  resolveFlagControlSettlements,\n  type FlagControlSettlement\n} from \"./flag-controls.ts\";\nimport { runScheduledChecks } from \"./scheduled-check-run.ts\";\nimport type { CheckExecutionClock } from \"./admitted-check-execution.ts\";\nimport type { ResolvedCheckExecution } from \"./resolved-execution-result.ts\";\n\nconst NO_CHECK_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\n\n/** Package-private monotonic clock seam for execution accounting. */\nexport type { CheckExecutionClock } from \"./admitted-check-execution.ts\";\n\nexport type ResolvedCheckExecutionInput = Readonly<{\n  /** Complete prepared private policy handoff; public policy dispatch stays outside execution. */\n  readonly admissionPolicy?: AdmissionSelectionPolicy;\n  readonly checks: readonly NormalizedCheck[];\n  readonly maxParallel: number;\n  readonly resourceCapacities?: ResourceUnitMapping;\n  /** Product invocation identity；private direct-execution tests 使用稳定 fallback。 */\n  readonly invocationId?: string;\n  /** 冻结的 invocation paths；仅 private direct-execution tests 可以省略。 */\n  readonly paths?: ResolvedInvocationPaths;\n  readonly project: CheckProjectContext;\n  readonly signal: AbortSignal | undefined;\n  readonly clock?: CheckExecutionClock;\n  /** Core-owner Check lifecycle channel. */\n  readonly diagnosticLogger?: DiagnosticLogger;\n  /** Scheduler-owner decision and summary channel. */\n  readonly schedulerDiagnosticLogger?: DiagnosticLogger;\n  /** Explicit enabled-only diagnostics handoff from the invocation output owner. */\n  readonly schedulerPerformanceDiagnostics?: SchedulerPerformanceDiagnosticsInput;\n  readonly schedulerTerminalEffects?: readonly SchedulerTerminalEffect[];\n  readonly onSchedulerTerminalEffectFailure?: () => void;\n  readonly onSchedulerTerminalEffectsSettled?: () => void;\n  readonly checkLifecycle?: CheckExecutionLifecycle;\n  readonly invocationLifecycle?: InvocationLifecycle;\n  /** Provider-owned bounded learned admission diagnostics, delivered by invocation. */\n  readonly onAdmittedCheck?: (check: NormalizedCheck) => void;\n}>;\n\n/**\n * Runs the already normalized executable Check collection through one generic\n * Task per Check. Graph validation happens before Core scopes or callbacks.\n */\nexport async function executeResolvedChecks(\n  input: ResolvedCheckExecutionInput\n): Promise<ResolvedCheckExecution> {\n  prepareTaskGraph(planStaticCheckGraph(input.checks, input.resourceCapacities), input.maxParallel);\n  const effectiveCheckIds = selectEffectiveCheckIds(input.checks, input.project.flags);\n  return runWithCheckConsoleRouter(() => executePreparedResolvedChecks(input, effectiveCheckIds));\n}\n\nasync function executePreparedResolvedChecks(\n  input: ResolvedCheckExecutionInput,\n  effectiveCheckIds: readonly string[]\n): Promise<ResolvedCheckExecution> {\n  const state = createExecutionState({\n    checks: input.checks,\n    diagnosticLogger: input.diagnosticLogger,\n    lifecycle: input.checkLifecycle\n  });\n  try {\n    const flagControlSettlements = resolveFlagControlSettlements({\n      checks: input.checks,\n      ...(input.diagnosticLogger === undefined ? {} : { diagnosticLogger: input.diagnosticLogger }),\n      effectiveCheckIds,\n      signal: input.signal\n    });\n    for (const settlement of flagControlSettlements) {\n      settleFlagControlOutcome(state, settlement);\n    }\n    input.invocationLifecycle?.selectionSettled();\n    const graphRun = await runScheduledChecks({\n      execution: input,\n      flagControlSettlements,\n      state\n    });\n\n    return closeResolvedChecks({\n      allChecks: input.checks,\n      effectiveCheckIds,\n      graphRun,\n      state\n    });\n  } finally {\n    state.handoffsByCheckId.clear();\n  }\n}\n\nfunction createExecutionState(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly lifecycle: CheckExecutionLifecycle | undefined;\n  }>\n): CheckExecutionState {\n  return {\n    diagnosticLogger: input.diagnosticLogger,\n    handoffsByCheckId: new Map(),\n    settledFactsByCheckId: new Map<string, SettledCheckFacts>(),\n    lifecycle: input.lifecycle,\n    session: createCoreCheckSession(\n      input.checks.map(({ definition }) => Object.freeze({ definition }))\n    )\n  };\n}\n\nfunction settleFlagControlOutcome(\n  state: CheckExecutionState,\n  settlement: FlagControlSettlement\n): void {\n  const scope = state.session.openCheckScope(settlement.check.definition.checkId);\n  const outcome = scope.settleProduct(settlement.outcome);\n  recordSettledCheck({\n    check: checkIdentity(settlement.check),\n    durationMs: null,\n    messages: NO_CHECK_MESSAGES,\n    outcome,\n    phase: \"control\",\n    state\n  });\n}\n"]}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolved-execution-result.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/resolved-execution-result.ts"],"names":[],"mappings":"","sourcesContent":["import type { CoreSnapshot } from \"../../check-settlement/facts.ts\";\nimport type { SchedulerMeasurementContext } from \"../../project-definition/project-definition.ts\";\nimport type { CheckDuration, CheckRunMessage } from \"../result.ts\";\n\ntype ResolvedCheckExecutionFacts = Readonly<{\n  readonly checkDurations: readonly CheckDuration[];\n  readonly checkMessages: readonly CheckRunMessage[];\n  readonly snapshot: CoreSnapshot;\n  /** Product-private terminal Scheduler facts; never projected into RunResult. */\n  readonly terminalSchedulerMeasurement?: SchedulerMeasurementContext;\n}>;\n\n/** Private terminal result passed from Check execution to the invocation boundary. */\nexport type ResolvedCheckExecution =\n  | (Readonly<{\n      /** Private effective selection shared with invocation-level aggregation. */\n      readonly effectiveCheckIds: readonly string[];\n      readonly kind: \"completed\";\n    }> &\n      ResolvedCheckExecutionFacts)\n  | (Readonly<{ readonly kind: \"cancelled\" }> & ResolvedCheckExecutionFacts)\n  | (Readonly<{ readonly kind: \"admission-policy-failed\" }> & ResolvedCheckExecutionFacts);\n"]}

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

@@ -0,0 +1,79 @@
+/** Maps normalized Checks into the Scheduler's opaque Task execute contract. */
+import { runTaskGraph } from "../task-scheduler/scheduler.mjs";
+import { CheckExecutionInvariantFailure } from "./execution-settlement.mjs";
+import { settleBlockedDependent, trustedFailure } from "./execution-finalization.mjs";
+import { planStaticCheckGraph } from "./plan.mjs";
+import { executeAdmittedCheck } from "./admitted-check-execution.mjs";
+const INERT_SIGNAL = new AbortController().signal;
+const DIRECT_EXECUTION_INVOCATION_ID = "invocation/v1:direct-check-execution";
+const SYSTEM_MONOTONIC_CLOCK = Object.freeze({
+    now: () => performance.now()
+});
+export async function runScheduledChecks(input) {
+    try {
+        return await runTaskGraph(schedulerOptionsFor(input));
+    }
+    catch (error) {
+        throw trustedFailure(error);
+    }
+}
+function schedulerOptionsFor(input) {
+    const execution = input.execution;
+    const checksByCheckId = new Map(execution.checks.map((check) => [check.definition.checkId, check]));
+    const schedulerDiagnosticLogger = execution.schedulerDiagnosticLogger ?? execution.diagnosticLogger;
+    return {
+        graph: planStaticCheckGraph(execution.checks, execution.resourceCapacities),
+        ...(execution.admissionPolicy === undefined
+            ? {}
+            : { admissionPolicy: execution.admissionPolicy }),
+        maxParallel: execution.maxParallel,
+        ...(schedulerDiagnosticLogger === undefined
+            ? {}
+            : { diagnosticLogger: schedulerDiagnosticLogger }),
+        ...(execution.schedulerPerformanceDiagnostics === undefined
+            ? {}
+            : { performanceDiagnostics: execution.schedulerPerformanceDiagnostics }),
+        ...(execution.schedulerTerminalEffects === undefined
+            ? {}
+            : { terminalEffects: execution.schedulerTerminalEffects }),
+        ...(execution.onSchedulerTerminalEffectFailure === undefined
+            ? {}
+            : { onTerminalEffectFailure: execution.onSchedulerTerminalEffectFailure }),
+        ...(execution.onSchedulerTerminalEffectsSettled === undefined
+            ? {}
+            : { onTerminalEffectsSettled: execution.onSchedulerTerminalEffectsSettled }),
+        preAdmissionTaskResults: Object.freeze(input.flagControlSettlements.map((settlement) => Object.freeze({ taskId: settlement.check.definition.checkId, value: false }))),
+        ...(execution.signal === undefined ? {} : { signal: execution.signal }),
+        isPrerequisiteSatisfied: (satisfied) => satisfied,
+        onTaskBlocked: (task, dependencyIds) => {
+            settleBlockedDependent({
+                check: requiredNormalizedCheck(checksByCheckId, task, "Blocked Task"),
+                dependencyIds,
+                state: input.state
+            });
+        },
+        execute: (task, context) => executeAdmittedCheck({
+            ...input.state,
+            ...admittedExecutionFacts(execution),
+            check: requiredNormalizedCheck(checksByCheckId, task, "Task graph"),
+            signal: context.signal ?? INERT_SIGNAL
+        })
+    };
+}
+function requiredNormalizedCheck(checksByCheckId, task, owner) {
+    const check = checksByCheckId.get(task.id);
+    if (check === undefined) {
+        throw new CheckExecutionInvariantFailure(`${owner} has no normalized Check`);
+    }
+    return check;
+}
+function admittedExecutionFacts(execution) {
+    return {
+        clock: execution.clock ?? SYSTEM_MONOTONIC_CLOCK,
+        onAdmittedCheck: execution.onAdmittedCheck,
+        invocationId: execution.invocationId ?? DIRECT_EXECUTION_INVOCATION_ID,
+        paths: execution.paths,
+        project: execution.project
+    };
+}
+//# sourceMappingURL=scheduled-check-run.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scheduled-check-run.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/scheduled-check-run.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAGhF,OAAO,EAAE,YAAY,EAA4B,MAAM,gCAAgC,CAAC;AACxF,OAAO,EACL,8BAA8B,EAE/B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAErF,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EACL,oBAAoB,EAGrB,MAAM,+BAA+B,CAAC;AAGvC,MAAM,YAAY,GAAG,IAAI,eAAe,EAAE,CAAC,MAAM,CAAC;AAClD,MAAM,8BAA8B,GAAG,sCAAsC,CAAC;AAC9E,MAAM,sBAAsB,GAAwB,MAAM,CAAC,MAAM,CAAC;IAChE,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;CAC7B,CAAC,CAAC;AAEH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAIE;IAEF,IAAI,CAAC;QACH,OAAO,MAAM,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAIE;IAEF,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAU,CAAC,CAC5E,CAAC;IACF,MAAM,yBAAyB,GAC7B,SAAS,CAAC,yBAAyB,IAAI,SAAS,CAAC,gBAAgB,CAAC;IACpE,OAAO;QACL,KAAK,EAAE,oBAAoB,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,kBAAkB,CAAC;QAC3E,GAAG,CAAC,SAAS,CAAC,eAAe,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,eAAe,EAAE,SAAS,CAAC,eAAe,EAAE,CAAC;QACnD,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,GAAG,CAAC,yBAAyB,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,CAAC;QACpD,GAAG,CAAC,SAAS,CAAC,+BAA+B,KAAK,SAAS;YACzD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,sBAAsB,EAAE,SAAS,CAAC,+BAA+B,EAAE,CAAC;QAC1E,GAAG,CAAC,SAAS,CAAC,wBAAwB,KAAK,SAAS;YAClD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,eAAe,EAAE,SAAS,CAAC,wBAAwB,EAAE,CAAC;QAC5D,GAAG,CAAC,SAAS,CAAC,gCAAgC,KAAK,SAAS;YAC1D,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,uBAAuB,EAAE,SAAS,CAAC,gCAAgC,EAAE,CAAC;QAC5E,GAAG,CAAC,SAAS,CAAC,iCAAiC,KAAK,SAAS;YAC3D,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,wBAAwB,EAAE,SAAS,CAAC,iCAAiC,EAAE,CAAC;QAC9E,uBAAuB,EAAE,MAAM,CAAC,MAAM,CACpC,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAC7E,CACF;QACD,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;QACvE,uBAAuB,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS;QACjD,aAAa,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,EAAE;YACrC,sBAAsB,CAAC;gBACrB,KAAK,EAAE,uBAAuB,CAAC,eAAe,EAAE,IAAI,EAAE,cAAc,CAAC;gBACrE,aAAa;gBACb,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CACzB,oBAAoB,CAAC;YACnB,GAAG,KAAK,CAAC,KAAK;YACd,GAAG,sBAAsB,CAAC,SAAS,CAAC;YACpC,KAAK,EAAE,uBAAuB,CAAC,eAAe,EAAE,IAAI,EAAE,YAAY,CAAC;YACnE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,YAAY;SACvC,CAAC;KACL,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,eAAqD,EACrD,IAAuC,EACvC,KAAoC;IAEpC,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,8BAA8B,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAsC;IAEtC,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,KAAK,IAAI,sBAAsB;QAChD,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,YAAY,EAAE,SAAS,CAAC,YAAY,IAAI,8BAA8B;QACtE,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,OAAO,EAAE,SAAS,CAAC,OAAO;KAC3B,CAAC;AACJ,CAAC","sourcesContent":["/** Maps normalized Checks into the Scheduler's opaque Task execute contract. */\n\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { runTaskGraph, type RunTaskGraphOptions } from \"../task-scheduler/scheduler.ts\";\nimport {\n  CheckExecutionInvariantFailure,\n  type CheckExecutionState\n} from \"./execution-settlement.ts\";\nimport { settleBlockedDependent, trustedFailure } from \"./execution-finalization.ts\";\nimport type { FlagControlSettlement } from \"./flag-controls.ts\";\nimport { planStaticCheckGraph } from \"./plan.ts\";\nimport {\n  executeAdmittedCheck,\n  type AdmittedCheckExecutionInput,\n  type CheckExecutionClock\n} from \"./admitted-check-execution.ts\";\nimport type { ResolvedCheckExecutionInput } from \"./resolved-checks.ts\";\n\nconst INERT_SIGNAL = new AbortController().signal;\nconst DIRECT_EXECUTION_INVOCATION_ID = \"invocation/v1:direct-check-execution\";\nconst SYSTEM_MONOTONIC_CLOCK: CheckExecutionClock = Object.freeze({\n  now: () => performance.now()\n});\n\nexport async function runScheduledChecks(\n  input: Readonly<{\n    readonly execution: ResolvedCheckExecutionInput;\n    readonly flagControlSettlements: readonly FlagControlSettlement[];\n    readonly state: CheckExecutionState;\n  }>\n): Promise<Awaited<ReturnType<typeof runTaskGraph<boolean>>>> {\n  try {\n    return await runTaskGraph(schedulerOptionsFor(input));\n  } catch (error) {\n    throw trustedFailure(error);\n  }\n}\n\nfunction schedulerOptionsFor(\n  input: Readonly<{\n    readonly execution: ResolvedCheckExecutionInput;\n    readonly flagControlSettlements: readonly FlagControlSettlement[];\n    readonly state: CheckExecutionState;\n  }>\n): RunTaskGraphOptions<boolean> {\n  const execution = input.execution;\n  const checksByCheckId = new Map(\n    execution.checks.map((check) => [check.definition.checkId, check] as const)\n  );\n  const schedulerDiagnosticLogger =\n    execution.schedulerDiagnosticLogger ?? execution.diagnosticLogger;\n  return {\n    graph: planStaticCheckGraph(execution.checks, execution.resourceCapacities),\n    ...(execution.admissionPolicy === undefined\n      ? {}\n      : { admissionPolicy: execution.admissionPolicy }),\n    maxParallel: execution.maxParallel,\n    ...(schedulerDiagnosticLogger === undefined\n      ? {}\n      : { diagnosticLogger: schedulerDiagnosticLogger }),\n    ...(execution.schedulerPerformanceDiagnostics === undefined\n      ? {}\n      : { performanceDiagnostics: execution.schedulerPerformanceDiagnostics }),\n    ...(execution.schedulerTerminalEffects === undefined\n      ? {}\n      : { terminalEffects: execution.schedulerTerminalEffects }),\n    ...(execution.onSchedulerTerminalEffectFailure === undefined\n      ? {}\n      : { onTerminalEffectFailure: execution.onSchedulerTerminalEffectFailure }),\n    ...(execution.onSchedulerTerminalEffectsSettled === undefined\n      ? {}\n      : { onTerminalEffectsSettled: execution.onSchedulerTerminalEffectsSettled }),\n    preAdmissionTaskResults: Object.freeze(\n      input.flagControlSettlements.map((settlement) =>\n        Object.freeze({ taskId: settlement.check.definition.checkId, value: false })\n      )\n    ),\n    ...(execution.signal === undefined ? {} : { signal: execution.signal }),\n    isPrerequisiteSatisfied: (satisfied) => satisfied,\n    onTaskBlocked: (task, dependencyIds) => {\n      settleBlockedDependent({\n        check: requiredNormalizedCheck(checksByCheckId, task, \"Blocked Task\"),\n        dependencyIds,\n        state: input.state\n      });\n    },\n    execute: (task, context) =>\n      executeAdmittedCheck({\n        ...input.state,\n        ...admittedExecutionFacts(execution),\n        check: requiredNormalizedCheck(checksByCheckId, task, \"Task graph\"),\n        signal: context.signal ?? INERT_SIGNAL\n      })\n  };\n}\n\nfunction requiredNormalizedCheck(\n  checksByCheckId: ReadonlyMap<string, NormalizedCheck>,\n  task: Readonly<{ readonly id: string }>,\n  owner: \"Blocked Task\" | \"Task graph\"\n): NormalizedCheck {\n  const check = checksByCheckId.get(task.id);\n  if (check === undefined) {\n    throw new CheckExecutionInvariantFailure(`${owner} has no normalized Check`);\n  }\n  return check;\n}\n\nfunction admittedExecutionFacts(\n  execution: ResolvedCheckExecutionInput\n): Omit<AdmittedCheckExecutionInput, keyof CheckExecutionState | \"check\" | \"signal\"> {\n  return {\n    clock: execution.clock ?? SYSTEM_MONOTONIC_CLOCK,\n    onAdmittedCheck: execution.onAdmittedCheck,\n    invocationId: execution.invocationId ?? DIRECT_EXECUTION_INVOCATION_ID,\n    paths: execution.paths,\n    project: execution.project\n  };\n}\n"]}

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

@@ -5,45 +5,90 @@ import { parseCheckMessages } from "./messages.mjs";
  * closed author result. Any malformed attachment rejects the whole value so a
  * valid prefix can never escape into lifecycle or Run result state.
  */
-export function parseCheckTerminalResult(value) {
+export function parseCheckTerminalResult(value, handoffIdentity) {
     const terminal = snapshotClosedRecord(value);
     if (terminal === undefined || typeof terminal.status !== "string")
         return undefined;
-    const result = strippedTerminalResult(terminal);
+    const result = strippedTerminalResult(terminal, handoffIdentity);
     if (result === undefined)
         return undefined;
     const messages = parseCheckMessages(terminal.messages);
-    return messages === undefined ? undefined : Object.freeze({ messages, result });
+    const handoff = terminalHandoff(terminal, handoffIdentity);
+    return messages === undefined || handoff === null
+        ? undefined
+        : Object.freeze({ handoff, messages, result });
 }
-function strippedTerminalResult(terminal) {
+/**
+ * A declared provider result can contain an invocation-private reference. Diagnostics
+ * retain only its parsed terminal result, and represent malformed values as null.
+ */
+export function diagnosticCallbackResult(value, handoffIdentity) {
+    const terminal = snapshotClosedRecord(value);
+    if (handoffIdentity === undefined &&
+        (terminal === undefined || !Object.hasOwn(terminal, "handoff"))) {
+        return value;
+    }
+    return parseCheckTerminalResult(value, handoffIdentity)?.result ?? null;
+}
+function strippedTerminalResult(terminal, handoffIdentity) {
     switch (terminal.status) {
         case "passed":
+            return strippedPassedTerminalResult(terminal, handoffIdentity);
         case "failed":
-            return hasRequiredAndOptionalRecordKeys(terminal, {
-                required: ["status", "data"],
-                optional: ["messages"]
-            })
-                ? Object.freeze({ status: terminal.status, data: terminal.data })
-                : undefined;
+            return strippedFailedTerminalResult(terminal);
         case "not-applicable":
-            if (!hasRequiredAndOptionalRecordKeys(terminal, {
-                required: ["status"],
-                optional: ["reason", "messages"]
-            })) {
-                return undefined;
-            }
-            return Object.freeze(Object.hasOwn(terminal, "reason")
-                ? { status: "not-applicable", reason: terminal.reason }
-                : { status: "not-applicable" });
+            return strippedNotApplicableTerminalResult(terminal);
         case "unavailable":
-            return hasRequiredAndOptionalRecordKeys(terminal, {
-                required: ["status", "reason"],
-                optional: ["messages"]
-            })
-                ? Object.freeze({ status: "unavailable", reason: terminal.reason })
-                : undefined;
+            return strippedUnavailableTerminalResult(terminal);
         default:
             return undefined;
     }
 }
+/** A declared provider can only publish its reference alongside a passed data result. */
+function strippedPassedTerminalResult(terminal, handoffIdentity) {
+    const required = handoffIdentity === undefined ? ["status", "data"] : ["status", "data", "handoff"];
+    return hasRequiredAndOptionalRecordKeys(terminal, { required, optional: ["messages"] })
+        ? Object.freeze({ status: "passed", data: terminal.data })
+        : undefined;
+}
+/** Failed results retain canonical data but never carry an invocation-private handoff. */
+function strippedFailedTerminalResult(terminal) {
+    return hasRequiredAndOptionalRecordKeys(terminal, {
+        required: ["status", "data"],
+        optional: ["messages"]
+    })
+        ? Object.freeze({ status: "failed", data: terminal.data })
+        : undefined;
+}
+function strippedNotApplicableTerminalResult(terminal) {
+    if (!hasRequiredAndOptionalRecordKeys(terminal, {
+        required: ["status"],
+        optional: ["reason", "messages"]
+    })) {
+        return undefined;
+    }
+    return Object.freeze(Object.hasOwn(terminal, "reason")
+        ? { status: "not-applicable", reason: terminal.reason }
+        : { status: "not-applicable" });
+}
+function strippedUnavailableTerminalResult(terminal) {
+    return hasRequiredAndOptionalRecordKeys(terminal, {
+        required: ["status", "reason"],
+        optional: ["messages"]
+    })
+        ? Object.freeze({ status: "unavailable", reason: terminal.reason })
+        : undefined;
+}
+function terminalHandoff(terminal, handoffIdentity) {
+    if (handoffIdentity === undefined)
+        return undefined;
+    if (terminal.status !== "passed")
+        return undefined;
+    if (!isHandoffReference(terminal.handoff))
+        return null;
+    return Object.freeze({ identity: handoffIdentity, value: terminal.handoff });
+}
+function isHandoffReference(value) {
+    return value !== null && (typeof value === "object" || typeof value === "function");
+}
 //# sourceMappingURL=terminal-result.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"terminal-result.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/terminal-result.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gCAAgC,EAChC,oBAAoB,EACrB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAiBnD;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEpF,MAAM,MAAM,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACvD,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAA2C;IAE3C,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,gCAAgC,CAAC,QAAQ,EAAE;gBAChD,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;gBAC5B,QAAQ,EAAE,CAAC,UAAU,CAAC;aACvB,CAAC;gBACA,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACjE,CAAC,CAAC,SAAS,CAAC;QAChB,KAAK,gBAAgB;YACnB,IACE,CAAC,gCAAgC,CAAC,QAAQ,EAAE;gBAC1C,QAAQ,EAAE,CAAC,QAAQ,CAAC;gBACpB,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;aACjC,CAAC,EACF,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAC/B,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;gBACvD,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CACjC,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,gCAAgC,CAAC,QAAQ,EAAE;gBAChD,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAC9B,QAAQ,EAAE,CAAC,UAAU,CAAC;aACvB,CAAC;gBACA,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACnE,CAAC,CAAC,SAAS,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage } from \"../../check/check.ts\";\nimport {\n  hasRequiredAndOptionalRecordKeys,\n  snapshotClosedRecord\n} from \"../../data-boundary/closed-values.ts\";\nimport { parseCheckMessages } from \"./messages.ts\";\n\n/**\n * A terminal callback result split into the Core-owned four-state result and\n * detached presentation-only messages. The caller must still pass `result` to\n * Core; this adapter never validates outcome data or reasons.\n */\nexport interface ParsedCheckTerminalResult {\n  readonly messages: readonly CheckMessage[];\n  readonly result: StrippedTerminalResult;\n}\n\ntype StrippedTerminalResult =\n  | Readonly<{ readonly status: \"passed\" | \"failed\"; readonly data: unknown }>\n  | Readonly<{ readonly status: \"not-applicable\"; readonly reason?: unknown }>\n  | Readonly<{ readonly status: \"unavailable\"; readonly reason: unknown }>;\n\n/**\n * Safely removes an optional terminal-message attachment from an otherwise\n * closed author result. Any malformed attachment rejects the whole value so a\n * valid prefix can never escape into lifecycle or Run result state.\n */\nexport function parseCheckTerminalResult(value: unknown): ParsedCheckTerminalResult | undefined {\n  const terminal = snapshotClosedRecord(value);\n  if (terminal === undefined || typeof terminal.status !== \"string\") return undefined;\n\n  const result = strippedTerminalResult(terminal);\n  if (result === undefined) return undefined;\n  const messages = parseCheckMessages(terminal.messages);\n  return messages === undefined ? undefined : Object.freeze({ messages, result });\n}\n\nfunction strippedTerminalResult(\n  terminal: Readonly<Record<string, unknown>>\n): StrippedTerminalResult | undefined {\n  switch (terminal.status) {\n    case \"passed\":\n    case \"failed\":\n      return hasRequiredAndOptionalRecordKeys(terminal, {\n        required: [\"status\", \"data\"],\n        optional: [\"messages\"]\n      })\n        ? Object.freeze({ status: terminal.status, data: terminal.data })\n        : undefined;\n    case \"not-applicable\":\n      if (\n        !hasRequiredAndOptionalRecordKeys(terminal, {\n          required: [\"status\"],\n          optional: [\"reason\", \"messages\"]\n        })\n      ) {\n        return undefined;\n      }\n      return Object.freeze(\n        Object.hasOwn(terminal, \"reason\")\n          ? { status: \"not-applicable\", reason: terminal.reason }\n          : { status: \"not-applicable\" }\n      );\n    case \"unavailable\":\n      return hasRequiredAndOptionalRecordKeys(terminal, {\n        required: [\"status\", \"reason\"],\n        optional: [\"messages\"]\n      })\n        ? Object.freeze({ status: \"unavailable\", reason: terminal.reason })\n        : undefined;\n    default:\n      return undefined;\n  }\n}\n"]}
+{"version":3,"file":"terminal-result.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/terminal-result.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gCAAgC,EAChC,oBAAoB,EACrB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAwBnD;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAc,EACd,eAAoD;IAEpD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEpF,MAAM,MAAM,GAAG,sBAAsB,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IACjE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAC3D,OAAO,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI;QAC/C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAc,EACd,eAAoD;IAEpD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,IACE,eAAe,KAAK,SAAS;QAC7B,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAC/D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;AAC1E,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAA2C,EAC3C,eAAoD;IAEpD,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,QAAQ;YACX,OAAO,4BAA4B,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;QACjE,KAAK,QAAQ;YACX,OAAO,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,mCAAmC,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,aAAa;YAChB,OAAO,iCAAiC,CAAC,QAAQ,CAAC,CAAC;QACrD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,SAAS,4BAA4B,CACnC,QAA2C,EAC3C,eAAoD;IAEpD,MAAM,QAAQ,GACZ,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACrF,OAAO,gCAAgC,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QACrF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC1D,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,0FAA0F;AAC1F,SAAS,4BAA4B,CACnC,QAA2C;IAE3C,OAAO,gCAAgC,CAAC,QAAQ,EAAE;QAChD,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC5B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB,CAAC;QACA,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC1D,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,mCAAmC,CAC1C,QAA2C;IAE3C,IACE,CAAC,gCAAgC,CAAC,QAAQ,EAAE;QAC1C,QAAQ,EAAE,CAAC,QAAQ,CAAC;QACpB,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;KACjC,CAAC,EACF,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC/B,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;QACvD,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,QAA2C;IAE3C,OAAO,gCAAgC,CAAC,QAAQ,EAAE;QAChD,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC9B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB,CAAC;QACA,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CACtB,QAA2C,EAC3C,eAAoD;IAEpD,IAAI,eAAe,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC;AACtF,CAAC","sourcesContent":["import type { CheckMessage } from \"../../check/check.ts\";\nimport type { HandoffProviderIdentity } from \"../../check/handoff-provider-identity.ts\";\nimport {\n  hasRequiredAndOptionalRecordKeys,\n  snapshotClosedRecord\n} from \"../../data-boundary/closed-values.ts\";\nimport { parseCheckMessages } from \"./messages.ts\";\n\n/**\n * A terminal callback result split into the Core-owned four-state result and\n * detached presentation-only messages. The caller must still pass `result` to\n * Core; this adapter never validates outcome data or reasons.\n */\nexport interface ParsedCheckTerminalResult {\n  readonly handoff: ParsedCheckTerminalHandoff | undefined;\n  readonly messages: readonly CheckMessage[];\n  readonly result: StrippedTerminalResult;\n}\n\n/** A validated reference held only until its owning Core terminal settlement accepts it. */\nexport interface ParsedCheckTerminalHandoff {\n  readonly identity: HandoffProviderIdentity;\n  readonly value: object;\n}\n\ntype StrippedTerminalResult =\n  | Readonly<{ readonly status: \"passed\" | \"failed\"; readonly data: unknown }>\n  | Readonly<{ readonly status: \"not-applicable\"; readonly reason?: unknown }>\n  | Readonly<{ readonly status: \"unavailable\"; readonly reason: unknown }>;\n\n/**\n * Safely removes an optional terminal-message attachment from an otherwise\n * closed author result. Any malformed attachment rejects the whole value so a\n * valid prefix can never escape into lifecycle or Run result state.\n */\nexport function parseCheckTerminalResult(\n  value: unknown,\n  handoffIdentity: HandoffProviderIdentity | undefined\n): ParsedCheckTerminalResult | undefined {\n  const terminal = snapshotClosedRecord(value);\n  if (terminal === undefined || typeof terminal.status !== \"string\") return undefined;\n\n  const result = strippedTerminalResult(terminal, handoffIdentity);\n  if (result === undefined) return undefined;\n  const messages = parseCheckMessages(terminal.messages);\n  const handoff = terminalHandoff(terminal, handoffIdentity);\n  return messages === undefined || handoff === null\n    ? undefined\n    : Object.freeze({ handoff, messages, result });\n}\n\n/**\n * A declared provider result can contain an invocation-private reference. Diagnostics\n * retain only its parsed terminal result, and represent malformed values as null.\n */\nexport function diagnosticCallbackResult(\n  value: unknown,\n  handoffIdentity: HandoffProviderIdentity | undefined\n): unknown {\n  const terminal = snapshotClosedRecord(value);\n  if (\n    handoffIdentity === undefined &&\n    (terminal === undefined || !Object.hasOwn(terminal, \"handoff\"))\n  ) {\n    return value;\n  }\n  return parseCheckTerminalResult(value, handoffIdentity)?.result ?? null;\n}\n\nfunction strippedTerminalResult(\n  terminal: Readonly<Record<string, unknown>>,\n  handoffIdentity: HandoffProviderIdentity | undefined\n): StrippedTerminalResult | undefined {\n  switch (terminal.status) {\n    case \"passed\":\n      return strippedPassedTerminalResult(terminal, handoffIdentity);\n    case \"failed\":\n      return strippedFailedTerminalResult(terminal);\n    case \"not-applicable\":\n      return strippedNotApplicableTerminalResult(terminal);\n    case \"unavailable\":\n      return strippedUnavailableTerminalResult(terminal);\n    default:\n      return undefined;\n  }\n}\n\n/** A declared provider can only publish its reference alongside a passed data result. */\nfunction strippedPassedTerminalResult(\n  terminal: Readonly<Record<string, unknown>>,\n  handoffIdentity: HandoffProviderIdentity | undefined\n): StrippedTerminalResult | undefined {\n  const required =\n    handoffIdentity === undefined ? [\"status\", \"data\"] : [\"status\", \"data\", \"handoff\"];\n  return hasRequiredAndOptionalRecordKeys(terminal, { required, optional: [\"messages\"] })\n    ? Object.freeze({ status: \"passed\", data: terminal.data })\n    : undefined;\n}\n\n/** Failed results retain canonical data but never carry an invocation-private handoff. */\nfunction strippedFailedTerminalResult(\n  terminal: Readonly<Record<string, unknown>>\n): StrippedTerminalResult | undefined {\n  return hasRequiredAndOptionalRecordKeys(terminal, {\n    required: [\"status\", \"data\"],\n    optional: [\"messages\"]\n  })\n    ? Object.freeze({ status: \"failed\", data: terminal.data })\n    : undefined;\n}\n\nfunction strippedNotApplicableTerminalResult(\n  terminal: Readonly<Record<string, unknown>>\n): StrippedTerminalResult | undefined {\n  if (\n    !hasRequiredAndOptionalRecordKeys(terminal, {\n      required: [\"status\"],\n      optional: [\"reason\", \"messages\"]\n    })\n  ) {\n    return undefined;\n  }\n  return Object.freeze(\n    Object.hasOwn(terminal, \"reason\")\n      ? { status: \"not-applicable\", reason: terminal.reason }\n      : { status: \"not-applicable\" }\n  );\n}\n\nfunction strippedUnavailableTerminalResult(\n  terminal: Readonly<Record<string, unknown>>\n): StrippedTerminalResult | undefined {\n  return hasRequiredAndOptionalRecordKeys(terminal, {\n    required: [\"status\", \"reason\"],\n    optional: [\"messages\"]\n  })\n    ? Object.freeze({ status: \"unavailable\", reason: terminal.reason })\n    : undefined;\n}\n\nfunction terminalHandoff(\n  terminal: Readonly<Record<string, unknown>>,\n  handoffIdentity: HandoffProviderIdentity | undefined\n): ParsedCheckTerminalHandoff | null | undefined {\n  if (handoffIdentity === undefined) return undefined;\n  if (terminal.status !== \"passed\") return undefined;\n  if (!isHandoffReference(terminal.handoff)) return null;\n  return Object.freeze({ identity: handoffIdentity, value: terminal.handoff });\n}\n\nfunction isHandoffReference(value: unknown): value is object {\n  return value !== null && (typeof value === \"object\" || typeof value === \"function\");\n}\n"]}