@zxyycom/vibe-check 0.0.2 → 0.0.3

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

@@ -0,0 +1,71 @@
+/** Executes and settles a Check after its task-local preparation has admitted it. */
+import { artifactDirectoryForCheck } from "../invocation/paths.mjs";
+import { diagnosticTags, summarizeDiagnosticValue } from "../diagnostic-logging/logger.mjs";
+import { executeCheckCallback } from "./callback.mjs";
+import { createCheckDependencies } from "./dependencies.mjs";
+import { checkIdentity } from "./execution-finalization.mjs";
+import { recordSettledCheck, settleCallback } from "./execution-settlement.mjs";
+export async function executeReadyCheck(input) {
+    const check = input.prepare.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)
+        }
+    });
+    input.lifecycle?.started(Object.freeze({
+        checkId: identity.checkId,
+        displayName: identity.displayName,
+        omitQuietPassedRow: identity.omitQuietPassedRow
+    }));
+    const startedAt = input.clock.now();
+    const callback = await executeCheckCallback({
+        artifactDirectory: input.paths === undefined ? null : artifactDirectoryForCheck(input.paths, checkId),
+        check,
+        dependencies: createCheckDependencies({
+            checkId,
+            directDependsOnCheckIds: check.dependsOn,
+            diagnosticLogger: input.diagnosticLogger,
+            directRelationCheckIds: directRelationCheckIds(check),
+            handoffsByCheckId: input.handoffsByCheckId,
+            session: input.session
+        }),
+        ...(input.diagnosticLogger === undefined ? {} : { diagnosticLogger: input.diagnosticLogger }),
+        invocationId: input.invocationId,
+        project: input.project,
+        scope,
+        signal: input.signal
+    });
+    const settled = settleCallback({
+        callback,
+        checkId,
+        diagnosticLogger: input.diagnosticLogger,
+        handoff: check.handoff,
+        preparationMessages: check.preparationMessages,
+        scope,
+        state: input
+    });
+    recordSettledCheck({
+        check: identity,
+        durationMs: durationSince(startedAt, input.clock),
+        messages: settled.messages,
+        outcome: settled.outcome,
+        phase: "execution",
+        state: input
+    });
+    return settled.outcome.status === "passed";
+}
+function directRelationCheckIds(check) {
+    return Object.freeze([...new Set([...check.dependsOn, ...check.observes])].sort());
+}
+function durationSince(startedAt, clock) {
+    const elapsed = clock.now() - startedAt;
+    return Number.isFinite(elapsed) && elapsed >= 0 ? elapsed : 0;
+}
+//# sourceMappingURL=ready-check-execution.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ready-check-execution.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/ready-check-execution.ts"],"names":[],"mappings":"AAAA,qFAAqF;AAIrF,OAAO,EAAE,yBAAyB,EAAgC,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EACL,kBAAkB,EAClB,cAAc,EAEf,MAAM,2BAA2B,CAAC;AAcnC,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAA+B;IACrE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAClC,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,KAAK,CAAC,SAAS,EAAE,OAAO,CACtB,MAAM,CAAC,MAAM,CAAC;QACZ,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;KAChD,CAAC,CACH,CAAC;IACF,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC;QAC1C,iBAAiB,EACf,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC;QACpF,KAAK;QACL,YAAY,EAAE,uBAAuB,CAAC;YACpC,OAAO;YACP,uBAAuB,EAAE,KAAK,CAAC,SAAS;YACxC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,sBAAsB,EAAE,sBAAsB,CAAC,KAAK,CAAC;YACrD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,GAAG,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC7F,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,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,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,KAAK;QACL,KAAK,EAAE,KAAK;KACb,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;IACH,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;AAC7C,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAsD;IAEtD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB,EAAE,KAAkC;IAC1E,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":["/** Executes and settles a Check after its task-local preparation has admitted it. */\n\nimport type { CheckProjectContext } from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { artifactDirectoryForCheck, type ResolvedInvocationPaths } from \"../invocation/paths.ts\";\nimport { diagnosticTags, summarizeDiagnosticValue } from \"../diagnostic-logging/logger.ts\";\nimport { executeCheckCallback } from \"./callback.ts\";\nimport { createCheckDependencies } from \"./dependencies.ts\";\nimport { checkIdentity } from \"./execution-finalization.ts\";\nimport {\n  recordSettledCheck,\n  settleCallback,\n  type CheckExecutionState\n} from \"./execution-settlement.ts\";\nimport type { ReadyCheckPreparationResolution } from \"./preparation.ts\";\n\nexport type ReadyCheckExecutionInput = CheckExecutionState &\n  Readonly<{\n    readonly check: NormalizedCheck;\n    readonly clock: Readonly<{ now(): number }>;\n    readonly invocationId: string;\n    readonly paths: ResolvedInvocationPaths | undefined;\n    readonly prepare: ReadyCheckPreparationResolution;\n    readonly project: CheckProjectContext;\n    readonly signal: AbortSignal;\n  }>;\n\nexport async function executeReadyCheck(input: ReadyCheckExecutionInput): Promise<boolean> {\n  const check = input.prepare.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  input.lifecycle?.started(\n    Object.freeze({\n      checkId: identity.checkId,\n      displayName: identity.displayName,\n      omitQuietPassedRow: identity.omitQuietPassedRow\n    })\n  );\n  const startedAt = input.clock.now();\n  const callback = await executeCheckCallback({\n    artifactDirectory:\n      input.paths === undefined ? null : artifactDirectoryForCheck(input.paths, checkId),\n    check,\n    dependencies: createCheckDependencies({\n      checkId,\n      directDependsOnCheckIds: check.dependsOn,\n      diagnosticLogger: input.diagnosticLogger,\n      directRelationCheckIds: directRelationCheckIds(check),\n      handoffsByCheckId: input.handoffsByCheckId,\n      session: input.session\n    }),\n    ...(input.diagnosticLogger === undefined ? {} : { diagnosticLogger: input.diagnosticLogger }),\n    invocationId: input.invocationId,\n    project: input.project,\n    scope,\n    signal: input.signal\n  });\n  const settled = settleCallback({\n    callback,\n    checkId,\n    diagnosticLogger: input.diagnosticLogger,\n    handoff: check.handoff,\n    preparationMessages: check.preparationMessages,\n    scope,\n    state: input\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  return settled.outcome.status === \"passed\";\n}\n\nfunction directRelationCheckIds(\n  check: Pick<NormalizedCheck, \"dependsOn\" | \"observes\">\n): readonly string[] {\n  return Object.freeze([...new Set([...check.dependsOn, ...check.observes])].sort());\n}\n\nfunction durationSince(startedAt: number, clock: Readonly<{ now(): number }>): number {\n  const elapsed = clock.now() - startedAt;\n  return Number.isFinite(elapsed) && elapsed >= 0 ? elapsed : 0;\n}\n"]}

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

@@ -1,22 +1,12 @@
 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 { artifactDirectoryForCheck } from "../invocation/paths.mjs";
 import { runWithCheckConsoleRouter } from "./console-capture.mjs";
-import { createCheckDependencies } from "./dependencies.mjs";
-import { CheckExecutionInvariantFailure, recordSettledCheck, settleCallback } from "./execution-settlement.mjs";
-import { checkIdentity, closeResolvedChecks, settleBlockedDependent, trustedFailure } from "./execution-finalization.mjs";
+import { recordSettledCheck } from "./execution-settlement.mjs";
+import { checkIdentity, closeResolvedChecks } from "./execution-finalization.mjs";
 import { planStaticCheckGraph } from "./plan.mjs";
 import { selectEffectiveCheckIds, resolveFlagControlSettlements } from "./flag-controls.mjs";
-import { prepareCheck } from "./preflight.mjs";
-const INERT_SIGNAL = new AbortController().signal;
+import { runScheduledChecks } from "./scheduled-check-run.mjs";
 const NO_CHECK_MESSAGES = Object.freeze([]);
-const DIRECT_EXECUTION_INVOCATION_ID = "invocation/v1:direct-check-execution";
-const SYSTEM_MONOTONIC_CLOCK = Object.freeze({
-    now: () => performance.now()
-});
 /**
  * Runs the already normalized executable Check collection through one generic
  * Task per Check. Graph validation happens before Core scopes or callbacks.
@@ -30,74 +20,39 @@ async function executePreparedResolvedChecks(input, effectiveCheckIds) {
     const state = createExecutionState({
         checks: input.checks,
         diagnosticLogger: input.diagnosticLogger,
-        lifecycle: input.lifecycle
+        lifecycle: input.checkLifecycle
     });
-    const flagControlSettlements = resolveFlagControlSettlements({
-        checks: input.checks,
-        diagnosticLogger: input.diagnosticLogger,
-        effectiveCheckIds,
-        signal: input.signal
-    });
-    for (const settlement of flagControlSettlements) {
-        settleFlagControlOutcome(state, settlement);
-    }
-    input.lifecycle?.flagControlCompleted();
-    const checksByCheckId = new Map(input.checks.map((check) => [check.definition.checkId, check]));
-    let graphRun;
     try {
-        graphRun = await runTaskGraph({
-            graph: planStaticCheckGraph(input.checks, input.resourceCapacities),
-            admissionPolicy: input.admissionPolicy,
-            maxParallel: input.maxParallel,
-            diagnosticLogger: input.schedulerDiagnosticLogger ?? input.diagnosticLogger,
-            performanceDiagnostics: input.schedulerPerformanceDiagnostics,
-            measurementHooks: input.schedulerMeasurementHooks,
-            onMeasurementHookFailure: input.onSchedulerMeasurementHookFailure,
-            onMeasurementHooksSettled: input.onSchedulerMeasurementHooksSettled,
-            preAdmissionTaskResults: Object.freeze(flagControlSettlements.map((settlement) => Object.freeze({
-                taskId: settlement.check.definition.checkId,
-                value: false
-            }))),
-            signal: input.signal,
-            isPrerequisiteSatisfied: (satisfied) => satisfied,
-            onTaskBlocked: (task, dependencyIds) => {
-                const check = checksByCheckId.get(task.id);
-                if (check === undefined) {
-                    throw new CheckExecutionInvariantFailure("Blocked Task has no normalized Check");
-                }
-                settleBlockedDependent({ check, dependencyIds, state });
-            },
-            execute: (task, context) => {
-                const check = checksByCheckId.get(task.id);
-                if (check === undefined) {
-                    throw new CheckExecutionInvariantFailure("Task graph has no normalized Check");
-                }
-                return executeAdmittedCheck({
-                    ...state,
-                    check,
-                    clock: input.clock ?? SYSTEM_MONOTONIC_CLOCK,
-                    onAdmittedCheck: input.onAdmittedCheck,
-                    invocationId: input.invocationId ?? DIRECT_EXECUTION_INVOCATION_ID,
-                    paths: input.paths,
-                    project: input.project,
-                    signal: context.signal ?? INERT_SIGNAL
-                });
-            }
+        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
         });
     }
-    catch (error) {
-        throw trustedFailure(error);
+    finally {
+        state.handoffsByCheckId.clear();
     }
-    return closeResolvedChecks({
-        allChecks: input.checks,
-        effectiveCheckIds,
-        graphRun,
-        state
-    });
 }
 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 })))
@@ -115,96 +70,4 @@ function settleFlagControlOutcome(state, settlement) {
         state
     });
 }
-function settleBlockedPreflight(state, preflight) {
-    const scope = state.session.openCheckScope(preflight.check.definition.checkId);
-    const outcome = scope.settleProduct(preflight.outcome);
-    recordSettledCheck({
-        check: checkIdentity(preflight.check),
-        durationMs: null,
-        messages: preflight.check.preflightMessages,
-        outcome,
-        phase: "preflight",
-        state
-    });
-}
-async function executeAdmittedCheck(input) {
-    observeAdmittedCheck(input);
-    const preflight = await prepareCheck({
-        check: input.check,
-        diagnosticLogger: input.diagnosticLogger,
-        signal: input.signal
-    });
-    if (preflight.kind === "blocked") {
-        settleBlockedPreflight(input, preflight);
-        return false;
-    }
-    return executeReadyCheck({ ...input, preflight });
-}
-/** Diagnostic observation belongs to the invocation; it cannot revise admitted Task facts. */
-function observeAdmittedCheck(input) {
-    try {
-        input.onAdmittedCheck?.(input.check);
-    }
-    catch {
-        // Learned diagnostic output is best-effort and has no execution consequence.
-    }
-}
-async function executeReadyCheck(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({
-        artifactDirectory: input.paths === undefined ? null : artifactDirectoryForCheck(input.paths, checkId),
-        check,
-        dependencies: createCheckDependencies({
-            checkId,
-            diagnosticLogger: input.diagnosticLogger,
-            directRelationCheckIds: directRelationCheckIds(check),
-            session: input.session
-        }),
-        diagnosticLogger: input.diagnosticLogger,
-        invocationId: input.invocationId,
-        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
-    });
-    return settled.outcome.status === "passed";
-}
-function directRelationCheckIds(check) {
-    return Object.freeze([...new Set([...check.dependsOn, ...check.observes])].sort());
-}
-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":"AAMA,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EACL,cAAc,EACd,wBAAwB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,yBAAyB,EAAgC,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAClB,cAAc,EAIf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,sBAAsB,EACtB,cAAc,EACf,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EACL,uBAAuB,EACvB,6BAA6B,EAE9B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,YAAY,EAGb,MAAM,gBAAgB,CAAC;AAGxB,MAAM,YAAY,GAAG,IAAI,eAAe,EAAE,CAAC,MAAM,CAAC;AAClD,MAAM,iBAAiB,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACrE,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;AA0CH;;;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,SAAS;KAC3B,CAAC,CAAC;IACH,MAAM,sBAAsB,GAAG,6BAA6B,CAAC;QAC3D,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,iBAAiB;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,KAAK,MAAM,UAAU,IAAI,sBAAsB,EAAE,CAAC;QAChD,wBAAwB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,SAAS,EAAE,oBAAoB,EAAE,CAAC;IACxC,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAU,CAAC,CACxE,CAAC;IACF,IAAI,QAA2D,CAAC;IAChE,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,YAAY,CAAU;YACrC,KAAK,EAAE,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC;YACnE,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,gBAAgB,EAAE,KAAK,CAAC,yBAAyB,IAAI,KAAK,CAAC,gBAAgB;YAC3E,sBAAsB,EAAE,KAAK,CAAC,+BAA+B;YAC7D,gBAAgB,EAAE,KAAK,CAAC,yBAAyB;YACjD,wBAAwB,EAAE,KAAK,CAAC,iCAAiC;YACjE,yBAAyB,EAAE,KAAK,CAAC,kCAAkC;YACnE,uBAAuB,EAAE,MAAM,CAAC,MAAM,CACpC,sBAAsB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACxC,MAAM,CAAC,MAAM,CAAC;gBACZ,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO;gBAC3C,KAAK,EAAE,KAAK;aACb,CAAC,CACH,CACF;YACD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,uBAAuB,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS;YACjD,aAAa,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,EAAE;gBACrC,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,MAAM,IAAI,8BAA8B,CAAC,sCAAsC,CAAC,CAAC;gBACnF,CAAC;gBACD,sBAAsB,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1D,CAAC;YACD,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;gBACzB,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,MAAM,IAAI,8BAA8B,CAAC,oCAAoC,CAAC,CAAC;gBACjF,CAAC;gBACD,OAAO,oBAAoB,CAAC;oBAC1B,GAAG,KAAK;oBACR,KAAK;oBACL,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,sBAAsB;oBAC5C,eAAe,EAAE,KAAK,CAAC,eAAe;oBACtC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,8BAA8B;oBAClE,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,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,iBAAiB;QACjB,QAAQ;QACR,KAAK;KACN,CAAC,CAAC;AACL,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,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;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,oBAAoB,CAAC,KAAwB;IAC1D,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC;QACnC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,8FAA8F;AAC9F,SAAS,oBAAoB,CAAC,KAAwB;IACpD,IAAI,CAAC;QACH,KAAK,CAAC,eAAe,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,6EAA6E;IAC/E,CAAC;AACH,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,KAA0F;IAE1F,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,iBAAiB,EACf,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC;QACpF,KAAK;QACL,YAAY,EAAE,uBAAuB,CAAC;YACpC,OAAO;YACP,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,sBAAsB,EAAE,sBAAsB,CAAC,KAAK,CAAC;YACrD,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,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;IACH,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;AAC7C,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAsD;IAEtD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACrF,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 { CheckMessage, CheckProjectContext } from \"../../check/check.ts\";\nimport type {\n  NormalizedCheck,\n  SchedulerMeasurementHook\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 {\n  diagnosticTags,\n  summarizeDiagnosticValue,\n  type DiagnosticLogger\n} from \"../diagnostic-logging/logger.ts\";\nimport { prepareTaskGraph } from \"../task-scheduler/graph.ts\";\nimport type { AdmissionSelectionPolicy } from \"../task-scheduler/admission-selection-policy.ts\";\nimport { runTaskGraph } from \"../task-scheduler/scheduler.ts\";\nimport type { SchedulerPerformanceDiagnosticsInput } from \"../task-scheduler/measurement/diagnostics.ts\";\nimport { executeCheckCallback } from \"./callback.ts\";\nimport { artifactDirectoryForCheck, type ResolvedInvocationPaths } from \"../invocation/paths.ts\";\nimport { runWithCheckConsoleRouter } from \"./console-capture.ts\";\nimport { createCheckDependencies } from \"./dependencies.ts\";\nimport {\n  CheckExecutionInvariantFailure,\n  recordSettledCheck,\n  settleCallback,\n  type CheckExecutionState,\n  type CheckIdentity,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport {\n  checkIdentity,\n  closeResolvedChecks,\n  settleBlockedDependent,\n  trustedFailure\n} from \"./execution-finalization.ts\";\nimport type { CheckExecutionLifecycle } from \"./lifecycle.ts\";\nimport { planStaticCheckGraph } from \"./plan.ts\";\nimport {\n  selectEffectiveCheckIds,\n  resolveFlagControlSettlements,\n  type FlagControlSettlement\n} from \"./flag-controls.ts\";\nimport {\n  prepareCheck,\n  type CheckPreflightResolution,\n  type ReadyCheckPreflightResolution\n} from \"./preflight.ts\";\nimport type { ResolvedCheckExecution } from \"./resolved-execution-result.ts\";\n\nconst INERT_SIGNAL = new AbortController().signal;\nconst NO_CHECK_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\nconst DIRECT_EXECUTION_INVOCATION_ID = \"invocation/v1:direct-check-execution\";\nconst SYSTEM_MONOTONIC_CLOCK: CheckExecutionClock = Object.freeze({\n  now: () => performance.now()\n});\n\n/** Package-private monotonic clock seam for execution accounting. */\nexport type CheckExecutionClock = Readonly<{ now(): number }>;\n\ninterface ExecuteCheckInput extends CheckExecutionState {\n  readonly check: NormalizedCheck;\n  readonly clock: CheckExecutionClock;\n  readonly onAdmittedCheck: ((check: NormalizedCheck) => void) | undefined;\n  readonly invocationId: string;\n  readonly paths: ResolvedInvocationPaths | undefined;\n  readonly project: CheckProjectContext;\n  readonly signal: AbortSignal;\n}\n\ntype 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 schedulerMeasurementHooks?: readonly SchedulerMeasurementHook[];\n  readonly onSchedulerMeasurementHookFailure?: () => void;\n  readonly onSchedulerMeasurementHooksSettled?: () => void;\n  readonly lifecycle?: CheckExecutionLifecycle;\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.lifecycle\n  });\n  const flagControlSettlements = resolveFlagControlSettlements({\n    checks: input.checks,\n    diagnosticLogger: input.diagnosticLogger,\n    effectiveCheckIds,\n    signal: input.signal\n  });\n  for (const settlement of flagControlSettlements) {\n    settleFlagControlOutcome(state, settlement);\n  }\n  input.lifecycle?.flagControlCompleted();\n  const checksByCheckId = new Map(\n    input.checks.map((check) => [check.definition.checkId, check] as const)\n  );\n  let graphRun: Awaited<ReturnType<typeof runTaskGraph<boolean>>>;\n  try {\n    graphRun = await runTaskGraph<boolean>({\n      graph: planStaticCheckGraph(input.checks, input.resourceCapacities),\n      admissionPolicy: input.admissionPolicy,\n      maxParallel: input.maxParallel,\n      diagnosticLogger: input.schedulerDiagnosticLogger ?? input.diagnosticLogger,\n      performanceDiagnostics: input.schedulerPerformanceDiagnostics,\n      measurementHooks: input.schedulerMeasurementHooks,\n      onMeasurementHookFailure: input.onSchedulerMeasurementHookFailure,\n      onMeasurementHooksSettled: input.onSchedulerMeasurementHooksSettled,\n      preAdmissionTaskResults: Object.freeze(\n        flagControlSettlements.map((settlement) =>\n          Object.freeze({\n            taskId: settlement.check.definition.checkId,\n            value: false\n          })\n        )\n      ),\n      signal: input.signal,\n      isPrerequisiteSatisfied: (satisfied) => satisfied,\n      onTaskBlocked: (task, dependencyIds) => {\n        const check = checksByCheckId.get(task.id);\n        if (check === undefined) {\n          throw new CheckExecutionInvariantFailure(\"Blocked Task has no normalized Check\");\n        }\n        settleBlockedDependent({ check, dependencyIds, state });\n      },\n      execute: (task, context) => {\n        const check = checksByCheckId.get(task.id);\n        if (check === undefined) {\n          throw new CheckExecutionInvariantFailure(\"Task graph has no normalized Check\");\n        }\n        return executeAdmittedCheck({\n          ...state,\n          check,\n          clock: input.clock ?? SYSTEM_MONOTONIC_CLOCK,\n          onAdmittedCheck: input.onAdmittedCheck,\n          invocationId: input.invocationId ?? DIRECT_EXECUTION_INVOCATION_ID,\n          paths: input.paths,\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    effectiveCheckIds,\n    graphRun,\n    state\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    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\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 executeAdmittedCheck(input: ExecuteCheckInput): Promise<boolean> {\n  observeAdmittedCheck(input);\n  const preflight = await prepareCheck({\n    check: input.check,\n    diagnosticLogger: input.diagnosticLogger,\n    signal: input.signal\n  });\n  if (preflight.kind === \"blocked\") {\n    settleBlockedPreflight(input, preflight);\n    return false;\n  }\n  return executeReadyCheck({ ...input, preflight });\n}\n\n/** Diagnostic observation belongs to the invocation; it cannot revise admitted Task facts. */\nfunction observeAdmittedCheck(input: ExecuteCheckInput): void {\n  try {\n    input.onAdmittedCheck?.(input.check);\n  } catch {\n    // Learned diagnostic output is best-effort and has no execution consequence.\n  }\n}\n\nasync function executeReadyCheck(\n  input: ExecuteCheckInput & Readonly<{ readonly preflight: ReadyCheckPreflightResolution }>\n): Promise<boolean> {\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    artifactDirectory:\n      input.paths === undefined ? null : artifactDirectoryForCheck(input.paths, checkId),\n    check,\n    dependencies: createCheckDependencies({\n      checkId,\n      diagnosticLogger: input.diagnosticLogger,\n      directRelationCheckIds: directRelationCheckIds(check),\n      session: input.session\n    }),\n    diagnosticLogger: input.diagnosticLogger,\n    invocationId: input.invocationId,\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  return settled.outcome.status === \"passed\";\n}\n\nfunction directRelationCheckIds(\n  check: Pick<NormalizedCheck, \"dependsOn\" | \"observes\">\n): readonly string[] {\n  return Object.freeze([...new Set([...check.dependsOn, ...check.observes])].sort());\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/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"]}