@zxyycom/vibe-check 0.0.2 → 0.0.3

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

@@ -1 +1 @@
-{"version":3,"file":"aggregation.mjs","sourceRoot":"","sources":["../../../src/project-run/aggregation.ts"],"names":[],"mappings":"AASA,+EAA+E;AAC/E,MAAM,UAAU,iCAAiC,CAC/C,WAAyC,EACzC,QAA2B;IAE3B,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACpF,IAAI,WAAW,CAAC,MAAM,KAAK,KAAK,IAAI,WAAW,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACvE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,eAAe,CAAC,kCAAkC,CAAC,CAAC;QAC7D,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,sBAAsB,CACpC,QAAsB,EACtB,WAA6B,EAC7B,iBAAoC;IAEpC,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7F,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CACpC,CAAC;IACF,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,aAAa,CAAC;IAC3D,OAAO,yBAAyB,CAC9B,QAAQ,CAAC,MAAM,CACb,CAAC,MAAM,EAAqD,EAAE,CAC5D,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,aAAa,CAC9C,EACD,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,QAAsB,EACtB,SAAqC,EACrC,iBAAoC;IAEpC,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,MAAM,CAAC;IAChD,MAAM,gBAAgB,GAAG,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;IACnF,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACjF,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAAgB,EAAE,WAA6B;IACtE,QAAQ,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7B,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9B,KAAK,aAAa,EAAE,CAAC;YACnB,IAAI,WAAW,CAAC,WAAW,KAAK,WAAW;gBAAE,OAAO,aAAa,CAAC;YAClE,OAAO,WAAW,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,CAAC;QACD,KAAK,gBAAgB,EAAE,CAAC;YACtB,IAAI,WAAW,CAAC,aAAa,KAAK,MAAM;gBAAE,OAAO,QAAQ,CAAC;YAC1D,OAAO,WAAW,CAAC,aAAa,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,QAA4D,EAC5D,WAA6B;IAE7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC;IACpD,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACzF,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,KAAK,GAAyB,MAAM,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,sBAAsB;QAC5B,IAAI;QACJ,MAAM,EAAE,eAAe;KACxB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7C,CAAC","sourcesContent":["import type {\n  RunControlDiagnostic,\n  RunControlValidationResult\n} from \"./controls/validation-result.ts\";\nimport type { CheckAggregate, CheckAggregation } from \"./controls/contract.ts\";\nimport type { CoreCheck, CoreSnapshot } from \"../check-settlement/facts.ts\";\n\ntype AggregateStatus = Exclude<CheckAggregate, \"not-applicable\">;\n\n/** Validates that aggregation selects only normalized executable Check IDs. */\nexport function validateCheckAggregationSelection(\n  aggregation: CheckAggregation | undefined,\n  checkIds: readonly string[]\n): RunControlValidationResult<CheckAggregation | undefined> {\n  if (aggregation === undefined) return Object.freeze({ ok: true, value: undefined });\n  if (aggregation.checks === \"all\" || aggregation.checks === \"effective\") {\n    return Object.freeze({ ok: true, value: aggregation });\n  }\n  const knownCheckIds = new Set(checkIds);\n  const selectedCheckIds = new Set<string>();\n  for (const checkId of aggregation.checks) {\n    if (!knownCheckIds.has(checkId) || selectedCheckIds.has(checkId)) {\n      return invalidControls(\"controls.checkAggregation.checks\");\n    }\n    selectedCheckIds.add(checkId);\n  }\n  return Object.freeze({ ok: true, value: aggregation });\n}\n\n/** Derives one explicit consumer-selected aggregate from settled Check statuses only. */\nexport function aggregateCheckOutcomes(\n  snapshot: CoreSnapshot,\n  aggregation: CheckAggregation,\n  effectiveCheckIds: readonly string[]\n): CheckAggregate {\n  const statuses = selectedChecks(snapshot, aggregation.checks, effectiveCheckIds).map((check) =>\n    aggregateStatus(check, aggregation)\n  );\n  if (statuses.includes(\"unavailable\")) return \"unavailable\";\n  return aggregateSelectedStatuses(\n    statuses.filter(\n      (status): status is Exclude<AggregateStatus, \"unavailable\"> =>\n        status !== null && status !== \"unavailable\"\n    ),\n    aggregation\n  );\n}\n\nfunction selectedChecks(\n  snapshot: CoreSnapshot,\n  selection: CheckAggregation[\"checks\"],\n  effectiveCheckIds: readonly string[]\n): readonly CoreCheck[] {\n  if (selection === \"all\") return snapshot.checks;\n  const selectedCheckIds = selection === \"effective\" ? effectiveCheckIds : selection;\n  return selectedCheckIds.map((checkId) => {\n    const check = snapshot.checks.find((candidate) => candidate.checkId === checkId);\n    if (check === undefined) throw new TypeError(\"Aggregation selection was not validated\");\n    return check;\n  });\n}\n\nfunction aggregateStatus(check: CoreCheck, aggregation: CheckAggregation): AggregateStatus | null {\n  switch (check.outcome.status) {\n    case \"passed\":\n    case \"failed\":\n      return check.outcome.status;\n    case \"unavailable\": {\n      if (aggregation.unavailable === \"propagate\") return \"unavailable\";\n      return aggregation.unavailable === \"fail\" ? \"failed\" : null;\n    }\n    case \"not-applicable\": {\n      if (aggregation.notApplicable === \"pass\") return \"passed\";\n      return aggregation.notApplicable === \"fail\" ? \"failed\" : null;\n    }\n  }\n}\n\nfunction aggregateSelectedStatuses(\n  statuses: readonly Exclude<AggregateStatus, \"unavailable\">[],\n  aggregation: CheckAggregation\n): CheckAggregate {\n  if (statuses.length === 0) return aggregation.empty;\n  if (aggregation.mode === \"all\") return statuses.includes(\"failed\") ? \"failed\" : \"passed\";\n  return statuses.includes(\"passed\") ? \"passed\" : \"failed\";\n}\n\nfunction invalidControls(path: string): RunControlValidationResult<never> {\n  const error: RunControlDiagnostic = Object.freeze({\n    kind: \"invalid-run-controls\",\n    path,\n    reason: \"invalid-value\"\n  });\n  return Object.freeze({ ok: false, error });\n}\n"]}
+{"version":3,"file":"aggregation.mjs","sourceRoot":"","sources":["../../../src/project-run/aggregation.ts"],"names":[],"mappings":"AAGA,uGAAuG;AACvG,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACvC,aAAa,CAAQ;IAE9B,YAAmB,aAAoB;QACrC,KAAK,CAAC,0BAA0B,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACrC,CAAC;CACF;AAED,yGAAyG;AACzG,MAAM,UAAU,wBAAwB,CACtC,QAAsB,EACtB,iBAAoC,EACpC,WAAyC;IAEzC,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC5D,OAAO,WAAW,KAAK,SAAS;QAC9B,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC;QACzB,CAAC,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,eAAe,CACtB,QAAsB,EACtB,iBAAoC;IAEpC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,eAAe,CAAC,MAA4B;IACnD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;QACpF,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,WAA6B,EAC7B,MAA4B;IAE5B,IAAI,SAAkB,CAAC;IACvB,IAAI,CAAC;QACH,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,uBAAuB,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,gBAAgB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,IAAI,uBAAuB,CAC/B,IAAI,SAAS,CAAC,8DAA8D,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,CACL,KAAK,KAAK,QAAQ;QAClB,KAAK,KAAK,QAAQ;QAClB,KAAK,KAAK,gBAAgB;QAC1B,KAAK,KAAK,aAAa,CACxB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC7C,IAAI,KAAK,YAAY,OAAO;QAAE,KAAK,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;AACjG,CAAC","sourcesContent":["import type { CoreCheck, CoreSnapshot } from \"../check-settlement/facts.ts\";\nimport type { CheckAggregate, CheckAggregation } from \"./controls/contract.ts\";\n\n/** Identifies a callback failure so the invocation boundary can close outputs before rethrowing it. */\nexport class CheckAggregationFailure extends Error {\n  readonly originalError: Error;\n\n  public constructor(originalError: Error) {\n    super(\"Check aggregation failed\", { cause: originalError });\n    this.originalError = originalError;\n  }\n}\n\n/** Builds the canonical ordered, read-only effective Check list and derives its invocation aggregate. */\nexport function aggregateEffectiveChecks(\n  snapshot: CoreSnapshot,\n  effectiveCheckIds: readonly string[],\n  aggregation: CheckAggregation | undefined\n): CheckAggregate {\n  const checks = effectiveChecks(snapshot, effectiveCheckIds);\n  return aggregation === undefined\n    ? strictAggregate(checks)\n    : invokeAggregation(aggregation, checks);\n}\n\nfunction effectiveChecks(\n  snapshot: CoreSnapshot,\n  effectiveCheckIds: readonly string[]\n): readonly CoreCheck[] {\n  const effectiveCheckIdSet = new Set(effectiveCheckIds);\n  return Object.freeze(snapshot.checks.filter((check) => effectiveCheckIdSet.has(check.checkId)));\n}\n\nfunction strictAggregate(checks: readonly CoreCheck[]): CheckAggregate {\n  return checks.length > 0 && checks.every((check) => check.outcome.status === \"passed\")\n    ? \"passed\"\n    : \"failed\";\n}\n\nfunction invokeAggregation(\n  aggregation: CheckAggregation,\n  checks: readonly CoreCheck[]\n): CheckAggregate {\n  let aggregate: unknown;\n  try {\n    aggregate = aggregation(checks);\n  } catch (error) {\n    throw new CheckAggregationFailure(errorFromThrownValue(error));\n  }\n  if (isCheckAggregate(aggregate)) return aggregate;\n  discardPromiseRejection(aggregate);\n  throw new CheckAggregationFailure(\n    new TypeError(\"Check aggregation must synchronously return a CheckAggregate\")\n  );\n}\n\nfunction isCheckAggregate(value: unknown): value is CheckAggregate {\n  return (\n    value === \"passed\" ||\n    value === \"failed\" ||\n    value === \"not-applicable\" ||\n    value === \"unavailable\"\n  );\n}\n\nfunction discardPromiseRejection(value: unknown): void {\n  if (value instanceof Promise) void value.catch(() => undefined);\n}\n\nfunction errorFromThrownValue(value: unknown): Error {\n  return value instanceof Error ? value : new Error(\"Check aggregation threw a non-Error value\");\n}\n"]}

package/dist/esm/project-run/changes/git.mjs

@@ -0,0 +1,161 @@
+import { isAbsolute, relative, resolve, sep } from "node:path";
+import { execaSync } from "execa";
+import { matchesAnyConfigGlob } from "../../data-boundary/config-glob.mjs";
+import { isNormalizedProjectRelativePath } from "../../data-boundary/project-path.mjs";
+export const CHANGE_FLAG_PREFIX = "vibe-check:change:";
+export const GIT_CHANGES_UNAVAILABLE_CODE = "git-changes-unavailable";
+/** Prepares one configured Git change snapshot before Run flag selection. */
+export function prepareProjectChanges(input) {
+    const declaredFlags = declaredChangeFlags(input.changes);
+    try {
+        const paths = collectGitChangedPaths(input.projectRoot, input.changes.source.compareWith);
+        const projectChanges = matchedProjectChanges(paths, input.changes);
+        return Object.freeze({
+            effectiveFlags: combineFlags(input.callerFlags, projectChanges.files.flatMap(({ flags }) => flags)),
+            projectChanges
+        });
+    }
+    catch {
+        return Object.freeze({
+            effectiveFlags: combineFlags(input.callerFlags, declaredFlags),
+            projectChanges: Object.freeze({
+                ok: false,
+                reason: Object.freeze({ code: GIT_CHANGES_UNAVAILABLE_CODE })
+            })
+        });
+    }
+}
+function declaredChangeFlags(changes) {
+    return Object.freeze(Object.keys(changes.flags)
+        .sort(compareText)
+        .map((flagId) => `${CHANGE_FLAG_PREFIX}${flagId}`));
+}
+function collectGitChangedPaths(projectRoot, compareWith) {
+    const root = resolve(projectRoot);
+    const repositoryRoot = gitText(root, ["rev-parse", "--show-toplevel"]);
+    if (!isProjectRootInRepository(root, resolve(repositoryRoot))) {
+        throw new Error("project root is outside the Git repository");
+    }
+    const committed = gitNameStatus(root, [
+        "diff",
+        "--relative",
+        "--name-status",
+        "-z",
+        "--find-renames",
+        `${compareWith}...HEAD`
+    ]);
+    const staged = gitNameStatus(root, [
+        "diff",
+        "--cached",
+        "--relative",
+        "--name-status",
+        "-z",
+        "--find-renames"
+    ]);
+    const unstaged = gitNameStatus(root, [
+        "diff",
+        "--relative",
+        "--name-status",
+        "-z",
+        "--find-renames"
+    ]);
+    const untracked = gitNulPaths(root, [
+        "ls-files",
+        "--others",
+        "--exclude-standard",
+        "-z",
+        "--",
+        "."
+    ]);
+    return Object.freeze([
+        ...new Set([...committed, ...staged, ...unstaged, ...untracked].map(normalizedChangedPath))
+    ].sort(compareText));
+}
+function isProjectRootInRepository(projectRoot, repositoryRoot) {
+    const fromRepository = relative(repositoryRoot, projectRoot);
+    return (!isAbsolute(fromRepository) && fromRepository !== ".." && !fromRepository.startsWith(`..${sep}`));
+}
+function gitText(cwd, args) {
+    const text = gitOutput(cwd, args).trim();
+    if (text.length === 0)
+        throw new Error("Git command returned no text");
+    return text;
+}
+function gitOutput(cwd, args) {
+    const result = execaSync("git", args, {
+        cwd,
+        encoding: "utf8",
+        reject: false,
+        stripFinalNewline: false,
+        windowsHide: true
+    });
+    if (result.failed || result.exitCode !== 0)
+        throw new Error("Git command failed");
+    if (typeof result.stdout !== "string")
+        throw new Error("Git command returned non-text output");
+    return result.stdout;
+}
+function gitNameStatus(cwd, args) {
+    return parseGitNameStatus(gitOutput(cwd, args));
+}
+function gitNulPaths(cwd, args) {
+    return gitOutput(cwd, args)
+        .split("\0")
+        .filter((path) => path.length > 0);
+}
+/** Parses Git's `--name-status -z` protocol without line or tab splitting. */
+function parseGitNameStatus(stdout) {
+    const tokens = stdout.split("\0");
+    if (tokens.at(-1) === "")
+        tokens.pop();
+    const paths = [];
+    for (let index = 0; index < tokens.length;) {
+        const entry = parseGitNameStatusEntry(tokens, index);
+        paths.push(...entry.paths);
+        index = entry.nextIndex;
+    }
+    return Object.freeze(paths);
+}
+function parseGitNameStatusEntry(tokens, statusIndex) {
+    const status = tokens[statusIndex];
+    if (status === undefined || !isNameStatus(status))
+        throw new Error("invalid Git name-status output");
+    const pathCount = nameStatusPathCount(status);
+    const paths = tokens.slice(statusIndex + 1, statusIndex + 1 + pathCount);
+    if (paths.length !== pathCount || paths.some((path) => path.length === 0))
+        throw new Error("missing Git changed path");
+    return Object.freeze({ nextIndex: statusIndex + 1 + pathCount, paths: Object.freeze(paths) });
+}
+function nameStatusPathCount(status) {
+    return status.startsWith("R") || status.startsWith("C") ? 2 : 1;
+}
+function isNameStatus(value) {
+    return /^(?:[ACDMRTUXB][0-9]*|[RC][0-9]+)$/u.test(value);
+}
+function normalizedChangedPath(path) {
+    if (!isNormalizedProjectRelativePath(path))
+        throw new Error("invalid Git project-relative path");
+    return path;
+}
+function matchedProjectChanges(paths, changes) {
+    const regions = Object.entries(changes.flags).sort(([left], [right]) => compareText(left, right));
+    const files = paths.flatMap((path) => {
+        const flags = regions.flatMap(([flagId, region]) => matchesRegion(path, region) ? [`${CHANGE_FLAG_PREFIX}${flagId}`] : []);
+        return flags.length === 0 ? [] : [Object.freeze({ flags: Object.freeze(flags), path })];
+    });
+    return Object.freeze({ ok: true, files: Object.freeze(files) });
+}
+function matchesRegion(path, region) {
+    return matchesAnyConfigGlob(path, region.include) && !matchesAnyConfigGlob(path, region.exclude);
+}
+function combineFlags(...sets) {
+    return Object.freeze([...new Set(sets.flat())].sort(compareText));
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+//# sourceMappingURL=git.mjs.map

package/dist/esm/project-run/changes/git.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"git.mjs","sourceRoot":"","sources":["../../../../src/project-run/changes/git.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAE/D,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAElC,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,qCAAqC,CAAC;AAItF,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAC;AACvD,MAAM,CAAC,MAAM,4BAA4B,GAAG,yBAAyB,CAAC;AAOtE,6EAA6E;AAC7E,MAAM,UAAU,qBAAqB,CACnC,KAIE;IAEF,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC1F,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACnE,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,cAAc,EAAE,YAAY,CAC1B,KAAK,CAAC,WAAW,EACjB,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CACnD;YACD,cAAc;SACf,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,cAAc,EAAE,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,CAAC;YAC9D,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC;gBAC5B,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;aAC9D,CAAC;SACH,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,OAA8C;IACzE,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;SACvB,IAAI,CAAC,WAAW,CAAC;SACjB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,kBAAkB,GAAG,MAAM,EAAE,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,WAAmB,EAAE,WAAmB;IACtE,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAClC,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,EAAE;QACpC,MAAM;QACN,YAAY;QACZ,eAAe;QACf,IAAI;QACJ,gBAAgB;QAChB,GAAG,WAAW,SAAS;KACxB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE;QACjC,MAAM;QACN,UAAU;QACV,YAAY;QACZ,eAAe;QACf,IAAI;QACJ,gBAAgB;KACjB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE;QACnC,MAAM;QACN,YAAY;QACZ,eAAe;QACf,IAAI;QACJ,gBAAgB;KACjB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE;QAClC,UAAU;QACV,UAAU;QACV,oBAAoB;QACpB,IAAI;QACJ,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAClB;QACE,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,MAAM,EAAE,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;KAC5F,CAAC,IAAI,CAAC,WAAW,CAAC,CACpB,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,WAAmB,EAAE,cAAsB;IAC5E,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAC7D,OAAO,CACL,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,cAAc,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,IAAuB;IACnD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IACvE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,GAAW,EAAE,IAAuB;IACrD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE;QACpC,GAAG;QACH,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,KAAK;QACb,iBAAiB,EAAE,KAAK;QACxB,WAAW,EAAE,IAAI;KAClB,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAClF,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC/F,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,GAAW,EAAE,IAAuB;IACzD,OAAO,kBAAkB,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,IAAuB;IACvD,OAAO,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC;SACxB,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC;QAC3C,MAAM,KAAK,GAAG,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3B,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAAyB,EACzB,WAAmB;IAEnB,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;IACzE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,WAAW,GAAG,CAAC,GAAG,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAc;IACzC,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,qCAAqC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY;IACzC,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACjG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAwB,EACxB,OAA8C;IAE9C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClG,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CACjD,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,kBAAkB,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACtE,CAAC;QACF,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,aAAa,CACpB,IAAY,EACZ,MAA8D;IAE9D,OAAO,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,YAAY,CAAC,GAAG,IAAoC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC","sourcesContent":["import { isAbsolute, relative, resolve, sep } from \"node:path\";\n\nimport { execaSync } from \"execa\";\n\nimport { matchesAnyConfigGlob } from \"../../data-boundary/config-glob.ts\";\nimport { isNormalizedProjectRelativePath } from \"../../data-boundary/project-path.ts\";\nimport type { ProjectChanges } from \"../../check/check.ts\";\nimport type { NormalizedProjectChangesConfiguration } from \"../../project-definition/project-changes.ts\";\n\nexport const CHANGE_FLAG_PREFIX = \"vibe-check:change:\";\nexport const GIT_CHANGES_UNAVAILABLE_CODE = \"git-changes-unavailable\";\n\nexport type PreparedProjectChanges = Readonly<{\n  readonly effectiveFlags: readonly string[];\n  readonly projectChanges: ProjectChanges;\n}>;\n\n/** Prepares one configured Git change snapshot before Run flag selection. */\nexport function prepareProjectChanges(\n  input: Readonly<{\n    readonly callerFlags: readonly string[];\n    readonly changes: NormalizedProjectChangesConfiguration;\n    readonly projectRoot: string;\n  }>\n): PreparedProjectChanges {\n  const declaredFlags = declaredChangeFlags(input.changes);\n  try {\n    const paths = collectGitChangedPaths(input.projectRoot, input.changes.source.compareWith);\n    const projectChanges = matchedProjectChanges(paths, input.changes);\n    return Object.freeze({\n      effectiveFlags: combineFlags(\n        input.callerFlags,\n        projectChanges.files.flatMap(({ flags }) => flags)\n      ),\n      projectChanges\n    });\n  } catch {\n    return Object.freeze({\n      effectiveFlags: combineFlags(input.callerFlags, declaredFlags),\n      projectChanges: Object.freeze({\n        ok: false,\n        reason: Object.freeze({ code: GIT_CHANGES_UNAVAILABLE_CODE })\n      })\n    });\n  }\n}\n\nfunction declaredChangeFlags(changes: NormalizedProjectChangesConfiguration): readonly string[] {\n  return Object.freeze(\n    Object.keys(changes.flags)\n      .sort(compareText)\n      .map((flagId) => `${CHANGE_FLAG_PREFIX}${flagId}`)\n  );\n}\n\nfunction collectGitChangedPaths(projectRoot: string, compareWith: string): readonly string[] {\n  const root = resolve(projectRoot);\n  const repositoryRoot = gitText(root, [\"rev-parse\", \"--show-toplevel\"]);\n  if (!isProjectRootInRepository(root, resolve(repositoryRoot))) {\n    throw new Error(\"project root is outside the Git repository\");\n  }\n\n  const committed = gitNameStatus(root, [\n    \"diff\",\n    \"--relative\",\n    \"--name-status\",\n    \"-z\",\n    \"--find-renames\",\n    `${compareWith}...HEAD`\n  ]);\n  const staged = gitNameStatus(root, [\n    \"diff\",\n    \"--cached\",\n    \"--relative\",\n    \"--name-status\",\n    \"-z\",\n    \"--find-renames\"\n  ]);\n  const unstaged = gitNameStatus(root, [\n    \"diff\",\n    \"--relative\",\n    \"--name-status\",\n    \"-z\",\n    \"--find-renames\"\n  ]);\n  const untracked = gitNulPaths(root, [\n    \"ls-files\",\n    \"--others\",\n    \"--exclude-standard\",\n    \"-z\",\n    \"--\",\n    \".\"\n  ]);\n  return Object.freeze(\n    [\n      ...new Set([...committed, ...staged, ...unstaged, ...untracked].map(normalizedChangedPath))\n    ].sort(compareText)\n  );\n}\n\nfunction isProjectRootInRepository(projectRoot: string, repositoryRoot: string): boolean {\n  const fromRepository = relative(repositoryRoot, projectRoot);\n  return (\n    !isAbsolute(fromRepository) && fromRepository !== \"..\" && !fromRepository.startsWith(`..${sep}`)\n  );\n}\n\nfunction gitText(cwd: string, args: readonly string[]): string {\n  const text = gitOutput(cwd, args).trim();\n  if (text.length === 0) throw new Error(\"Git command returned no text\");\n  return text;\n}\n\nfunction gitOutput(cwd: string, args: readonly string[]): string {\n  const result = execaSync(\"git\", args, {\n    cwd,\n    encoding: \"utf8\",\n    reject: false,\n    stripFinalNewline: false,\n    windowsHide: true\n  });\n  if (result.failed || result.exitCode !== 0) throw new Error(\"Git command failed\");\n  if (typeof result.stdout !== \"string\") throw new Error(\"Git command returned non-text output\");\n  return result.stdout;\n}\n\nfunction gitNameStatus(cwd: string, args: readonly string[]): readonly string[] {\n  return parseGitNameStatus(gitOutput(cwd, args));\n}\n\nfunction gitNulPaths(cwd: string, args: readonly string[]): readonly string[] {\n  return gitOutput(cwd, args)\n    .split(\"\\0\")\n    .filter((path) => path.length > 0);\n}\n\n/** Parses Git's `--name-status -z` protocol without line or tab splitting. */\nfunction parseGitNameStatus(stdout: string): readonly string[] {\n  const tokens = stdout.split(\"\\0\");\n  if (tokens.at(-1) === \"\") tokens.pop();\n  const paths: string[] = [];\n  for (let index = 0; index < tokens.length;) {\n    const entry = parseGitNameStatusEntry(tokens, index);\n    paths.push(...entry.paths);\n    index = entry.nextIndex;\n  }\n  return Object.freeze(paths);\n}\n\nfunction parseGitNameStatusEntry(\n  tokens: readonly string[],\n  statusIndex: number\n): Readonly<{ readonly nextIndex: number; readonly paths: readonly string[] }> {\n  const status = tokens[statusIndex];\n  if (status === undefined || !isNameStatus(status))\n    throw new Error(\"invalid Git name-status output\");\n  const pathCount = nameStatusPathCount(status);\n  const paths = tokens.slice(statusIndex + 1, statusIndex + 1 + pathCount);\n  if (paths.length !== pathCount || paths.some((path) => path.length === 0))\n    throw new Error(\"missing Git changed path\");\n  return Object.freeze({ nextIndex: statusIndex + 1 + pathCount, paths: Object.freeze(paths) });\n}\n\nfunction nameStatusPathCount(status: string): 1 | 2 {\n  return status.startsWith(\"R\") || status.startsWith(\"C\") ? 2 : 1;\n}\n\nfunction isNameStatus(value: string): boolean {\n  return /^(?:[ACDMRTUXB][0-9]*|[RC][0-9]+)$/u.test(value);\n}\n\nfunction normalizedChangedPath(path: string): string {\n  if (!isNormalizedProjectRelativePath(path)) throw new Error(\"invalid Git project-relative path\");\n  return path;\n}\n\nfunction matchedProjectChanges(\n  paths: readonly string[],\n  changes: NormalizedProjectChangesConfiguration\n): Extract<ProjectChanges, { readonly ok: true }> {\n  const regions = Object.entries(changes.flags).sort(([left], [right]) => compareText(left, right));\n  const files = paths.flatMap((path) => {\n    const flags = regions.flatMap(([flagId, region]) =>\n      matchesRegion(path, region) ? [`${CHANGE_FLAG_PREFIX}${flagId}`] : []\n    );\n    return flags.length === 0 ? [] : [Object.freeze({ flags: Object.freeze(flags), path })];\n  });\n  return Object.freeze({ ok: true, files: Object.freeze(files) });\n}\n\nfunction matchesRegion(\n  path: string,\n  region: NormalizedProjectChangesConfiguration[\"flags\"][string]\n): boolean {\n  return matchesAnyConfigGlob(path, region.include) && !matchesAnyConfigGlob(path, region.exclude);\n}\n\nfunction combineFlags(...sets: readonly (readonly string[])[]): readonly string[] {\n  return Object.freeze([...new Set(sets.flat())].sort(compareText));\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n"]}

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

@@ -0,0 +1,41 @@
+/** Handles one admitted Check's preparation boundary and ready callback handoff. */
+import { checkIdentity } from "./execution-finalization.mjs";
+import { recordSettledCheck } from "./execution-settlement.mjs";
+import { prepareCheck } from "./preparation.mjs";
+import { executeReadyCheck } from "./ready-check-execution.mjs";
+export async function executeAdmittedCheck(input) {
+    observeAdmittedCheck(input);
+    const preparation = await prepareCheck({
+        check: input.check,
+        diagnosticLogger: input.diagnosticLogger,
+        project: input.project,
+        signal: input.signal
+    });
+    if (preparation.kind === "blocked") {
+        settleBlockedPreparation(input, preparation);
+        return false;
+    }
+    return executeReadyCheck({ ...input, prepare: preparation });
+}
+function settleBlockedPreparation(state, prepare) {
+    const scope = state.session.openCheckScope(prepare.check.definition.checkId);
+    const outcome = scope.settleProduct(prepare.outcome);
+    recordSettledCheck({
+        check: checkIdentity(prepare.check),
+        durationMs: null,
+        messages: prepare.check.preparationMessages,
+        outcome,
+        phase: "preparation",
+        state
+    });
+}
+/** 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.
+    }
+}
+//# sourceMappingURL=admitted-check-execution.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"admitted-check-execution.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/admitted-check-execution.ts"],"names":[],"mappings":"AAAA,oFAAoF;AAKpF,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAA4B,MAAM,2BAA2B,CAAC;AACzF,OAAO,EAAE,YAAY,EAAmC,MAAM,kBAAkB,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAe/D,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAkC;IAC3E,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,WAAW,GAAG,MAAM,YAAY,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,wBAAwB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAA0B,EAC1B,OAA0E;IAE1E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACrD,kBAAkB,CAAC;QACjB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;QACnC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,mBAAmB;QAC3C,OAAO;QACP,KAAK,EAAE,aAAa;QACpB,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,8FAA8F;AAC9F,SAAS,oBAAoB,CAAC,KAAkC;IAC9D,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","sourcesContent":["/** Handles one admitted Check's preparation boundary and ready callback handoff. */\n\nimport type { CheckProjectContext } from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport type { ResolvedInvocationPaths } from \"../invocation/paths.ts\";\nimport { checkIdentity } from \"./execution-finalization.ts\";\nimport { recordSettledCheck, type CheckExecutionState } from \"./execution-settlement.ts\";\nimport { prepareCheck, type CheckPreparationResolution } from \"./preparation.ts\";\nimport { executeReadyCheck } from \"./ready-check-execution.ts\";\n\nexport type CheckExecutionClock = Readonly<{ now(): number }>;\n\nexport type AdmittedCheckExecutionInput = CheckExecutionState &\n  Readonly<{\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\nexport async function executeAdmittedCheck(input: AdmittedCheckExecutionInput): Promise<boolean> {\n  observeAdmittedCheck(input);\n  const preparation = await prepareCheck({\n    check: input.check,\n    diagnosticLogger: input.diagnosticLogger,\n    project: input.project,\n    signal: input.signal\n  });\n  if (preparation.kind === \"blocked\") {\n    settleBlockedPreparation(input, preparation);\n    return false;\n  }\n  return executeReadyCheck({ ...input, prepare: preparation });\n}\n\nfunction settleBlockedPreparation(\n  state: CheckExecutionState,\n  prepare: Extract<CheckPreparationResolution, { readonly kind: \"blocked\" }>\n): void {\n  const scope = state.session.openCheckScope(prepare.check.definition.checkId);\n  const outcome = scope.settleProduct(prepare.outcome);\n  recordSettledCheck({\n    check: checkIdentity(prepare.check),\n    durationMs: null,\n    messages: prepare.check.preparationMessages,\n    outcome,\n    phase: \"preparation\",\n    state\n  });\n}\n\n/** Diagnostic observation belongs to the invocation; it cannot revise admitted Task facts. */\nfunction observeAdmittedCheck(input: AdmittedCheckExecutionInput): 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"]}

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

@@ -2,6 +2,7 @@ import { CoreInvariantFailure } from "../../check-settlement/session.mjs";
 import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
 import { snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
 import { invokeWithCapturedConsole } from "./console-capture.mjs";
+import { diagnosticCallbackResult } from "./terminal-result.mjs";
 const EMPTY_MESSAGES = Object.freeze([]);
 /** Runs one trusted callback and closes its Check-owned reporter before return. */
 export async function executeCheckCallback(input) {
@@ -20,7 +21,7 @@ export async function executeCheckCallback(input) {
             records: reporter.records,
             signal: input.signal
         });
-        const invocation = await invokeWithCapturedConsole(() => input.check.execution(context));
+        const invocation = await invokeWithCapturedConsole(() => input.check.execute(context));
         consoleMessages = invocation.messages;
         if (invocation.kind === "threw")
             throw invocation.error;
@@ -29,7 +30,7 @@ export async function executeCheckCallback(input) {
             input.diagnosticLogger?.observe({
                 event: "callback.cancelled",
                 tags: diagnosticTags(...checkTags, "CANCELLED"),
-                details: { result: callbackResult }
+                details: { result: diagnosticCallbackResult(callbackResult, input.check.handoff) }
             });
         }
         result = input.signal.aborted

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

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

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

@@ -1,15 +1,27 @@
+import { getDefinedHandoffProviderIdentity } from "../../check/handoff-provider-identity.mjs";
+import { snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
 import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
 export function createCheckDependencies(input) {
-    return Object.freeze({
-        get: (dependencyId) => {
-            const result = readDirectRelation(input.session, input.directRelationCheckIds, dependencyId);
+    function get(dependency) {
+        if (dependency === null || typeof dependency !== "object") {
+            const result = readDirectRelation(input.session, input.directRelationCheckIds, dependency);
             input.diagnosticLogger?.observe({
                 event: "dependency.read",
                 tags: diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION", "DEPENDENCY-READ"),
-                details: dependencyReadDetails(dependencyId, result)
+                details: dependencyReadDetails(dependency, result)
             });
             return result;
-        },
+        }
+        const result = readDirectDependencyHandoff(input, dependency);
+        input.diagnosticLogger?.observe({
+            event: "dependency.read",
+            tags: diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION", "DEPENDENCY-READ"),
+            details: handoffDependencyReadDetails(dependency, result)
+        });
+        return result;
+    }
+    return Object.freeze({
+        get,
         list: () => {
             const observations = listDirectRelationObservations(input.session, input.directRelationCheckIds);
             input.diagnosticLogger?.observe({
@@ -21,6 +33,54 @@ export function createCheckDependencies(input) {
         }
     });
 }
+function readDirectDependencyHandoff(input, provider) {
+    const providerIdentity = handoffProviderIdentity(provider);
+    if (providerIdentity === undefined ||
+        !input.directDependsOnCheckIds.includes(providerIdentity.checkId)) {
+        return handoffDependencyNotDeclared(providerIdentity?.checkId ?? handoffCheckId(provider));
+    }
+    const settledHandoff = input.handoffsByCheckId.get(providerIdentity.checkId);
+    const outcome = input.session.readSettledCheckOutcome(providerIdentity.checkId);
+    if (settledHandoff === undefined ||
+        settledHandoff.identity !== providerIdentity.identity ||
+        outcome.status !== "passed") {
+        return handoffUnavailable(providerIdentity.checkId);
+    }
+    return Object.freeze({
+        ok: true,
+        checkId: providerIdentity.checkId,
+        status: "passed",
+        data: outcome.data,
+        handoff: settledHandoff.value
+    });
+}
+function handoffProviderIdentity(provider) {
+    const identity = getDefinedHandoffProviderIdentity(provider);
+    const record = snapshotClosedRecord(provider);
+    if (identity === undefined ||
+        record === undefined ||
+        typeof record.checkId !== "string" ||
+        record.handoff !== true) {
+        return undefined;
+    }
+    return Object.freeze({ checkId: record.checkId, identity });
+}
+function handoffCheckId(provider) {
+    const record = snapshotClosedRecord(provider);
+    return record !== undefined && typeof record.checkId === "string" ? record.checkId : "";
+}
+function handoffDependencyNotDeclared(checkId) {
+    return Object.freeze({
+        ok: false,
+        error: Object.freeze({ code: "dependency-not-declared", checkId })
+    });
+}
+function handoffUnavailable(checkId) {
+    return Object.freeze({
+        ok: false,
+        error: Object.freeze({ code: "upstream-handoff-unavailable", checkId })
+    });
+}
 function listDirectRelationObservations(session, directRelationCheckIds) {
     return Object.freeze(directRelationCheckIds.map((checkId) => Object.freeze({ checkId, outcome: session.readSettledCheckOutcome(checkId) })));
 }
@@ -41,6 +101,21 @@ function dependencyReadDetails(requestedCheckId, result) {
         status: result.status
     });
 }
+function handoffDependencyReadDetails(requestedProvider, result) {
+    if (!result.ok) {
+        return Object.freeze({
+            error: result.error,
+            ok: false,
+            requestedCheckId: handoffCheckId(requestedProvider)
+        });
+    }
+    return Object.freeze({
+        hasData: true,
+        ok: true,
+        producer: result.checkId,
+        status: result.status
+    });
+}
 function readDirectRelation(session, directRelationCheckIds, checkId) {
     if (typeof checkId !== "string" || !directRelationCheckIds.includes(checkId)) {
         return dependencyNotDeclared(checkId);

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

@@ -1 +1 @@
-{"version":3,"file":"dependencies.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/dependencies.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AAExF,MAAM,UAAU,uBAAuB,CACrC,KAKE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,EAAE,CAAC,YAAoB,EAAwB,EAAE;YAClD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,sBAAsB,EAAE,YAAY,CAAC,CAAC;YAC7F,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,qBAAqB,CAAC,YAAY,EAAE,MAAM,CAAC;aACrD,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,EAAE,GAAqC,EAAE;YAC3C,MAAM,YAAY,GAAG,8BAA8B,CACjD,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,sBAAsB,CAC7B,CAAC;YACF,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,yBAAyB,CAAC,YAAY,CAAC;aACjD,CAAC,CAAC;YACH,OAAO,YAAY,CAAC;QACtB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,OAAyB,EACzB,sBAAyC;IAEzC,OAAO,MAAM,CAAC,MAAM,CAClB,sBAAsB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC,CAC9E,CACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,YAA8C;IAE9C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QACxE,KAAK,EAAE,YAAY,CAAC,MAAM;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,gBAAyB,EACzB,MAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI;QACb,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,MAAM,CAAC,OAAO;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAyB,EACzB,sBAAyC,EACzC,OAAe;IAEf,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe,EAAE,OAAqB;IAClE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;KAC7F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAgB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;SACpD,CAAC;KACH,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  CheckDependencies,\n  CheckOutcome,\n  DependencyObservation,\n  DependencyReadResult\n} from \"../../check/check.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\n\nexport function createCheckDependencies(\n  input: Readonly<{\n    readonly checkId: string;\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly directRelationCheckIds: readonly string[];\n    readonly session: CoreCheckSession;\n  }>\n): CheckDependencies {\n  return Object.freeze({\n    get: (dependencyId: string): DependencyReadResult => {\n      const result = readDirectRelation(input.session, input.directRelationCheckIds, dependencyId);\n      input.diagnosticLogger?.observe({\n        event: \"dependency.read\",\n        tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-READ\"),\n        details: dependencyReadDetails(dependencyId, result)\n      });\n      return result;\n    },\n    list: (): readonly DependencyObservation[] => {\n      const observations = listDirectRelationObservations(\n        input.session,\n        input.directRelationCheckIds\n      );\n      input.diagnosticLogger?.observe({\n        event: \"dependency.list\",\n        tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-LIST\"),\n        details: directRelationListDetails(observations)\n      });\n      return observations;\n    }\n  });\n}\n\nfunction listDirectRelationObservations(\n  session: CoreCheckSession,\n  directRelationCheckIds: readonly string[]\n): readonly DependencyObservation[] {\n  return Object.freeze(\n    directRelationCheckIds.map((checkId) =>\n      Object.freeze({ checkId, outcome: session.readSettledCheckOutcome(checkId) })\n    )\n  );\n}\n\nfunction directRelationListDetails(\n  observations: readonly DependencyObservation[]\n): Readonly<Record<string, unknown>> {\n  return Object.freeze({\n    dependencyIds: Object.freeze(observations.map(({ checkId }) => checkId)),\n    count: observations.length\n  });\n}\n\nfunction dependencyReadDetails(\n  requestedCheckId: unknown,\n  result: DependencyReadResult\n): Readonly<Record<string, unknown>> {\n  if (!result.ok) {\n    return Object.freeze({ error: result.error, ok: false, requestedCheckId });\n  }\n  return Object.freeze({\n    hasData: true,\n    ok: true,\n    producer: result.checkId,\n    status: result.status\n  });\n}\n\nfunction readDirectRelation(\n  session: CoreCheckSession,\n  directRelationCheckIds: readonly string[],\n  checkId: string\n): DependencyReadResult {\n  if (typeof checkId !== \"string\" || !directRelationCheckIds.includes(checkId)) {\n    return dependencyNotDeclared(checkId);\n  }\n  return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));\n}\n\nfunction dependencyReadResult(checkId: string, outcome: CheckOutcome): DependencyReadResult {\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    return Object.freeze({ ok: true, checkId, status: outcome.status, data: outcome.data });\n  }\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({ code: \"upstream-data-unavailable\", checkId, status: outcome.status })\n  });\n}\n\nfunction dependencyNotDeclared(checkId: unknown): DependencyReadResult {\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({\n      code: \"dependency-not-declared\",\n      checkId: typeof checkId === \"string\" ? checkId : \"\"\n    })\n  });\n}\n"]}
+{"version":3,"file":"dependencies.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/dependencies.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,iCAAiC,EAElC,MAAM,0CAA0C,CAAC;AAElD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AAKxF,MAAM,UAAU,uBAAuB,CACrC,KAOE;IAOF,SAAS,GAAG,CAAC,UAAmB;QAC9B,IAAI,UAAU,KAAK,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,sBAAsB,EAAE,UAAU,CAAC,CAAC;YAC3F,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC;aACnD,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9D,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,iBAAiB;YACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;YAC9E,OAAO,EAAE,4BAA4B,CAAC,UAAU,EAAE,MAAM,CAAC;SAC1D,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG;QACH,IAAI,EAAE,GAAqC,EAAE;YAC3C,MAAM,YAAY,GAAG,8BAA8B,CACjD,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,sBAAsB,CAC7B,CAAC;YACF,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,yBAAyB,CAAC,YAAY,CAAC;aACjD,CAAC,CAAC;YACH,OAAO,YAAY,CAAC;QACtB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAClC,KAIE,EACF,QAAiB;IAEjB,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC3D,IACE,gBAAgB,KAAK,SAAS;QAC9B,CAAC,KAAK,CAAC,uBAAuB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACjE,CAAC;QACD,OAAO,4BAA4B,CAAC,gBAAgB,EAAE,OAAO,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,cAAc,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAChF,IACE,cAAc,KAAK,SAAS;QAC5B,cAAc,CAAC,QAAQ,KAAK,gBAAgB,CAAC,QAAQ;QACrD,OAAO,CAAC,MAAM,KAAK,QAAQ,EAC3B,CAAC;QACD,OAAO,kBAAkB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,gBAAgB,CAAC,OAAO;QACjC,MAAM,EAAE,QAAQ;QAChB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,cAAc,CAAC,KAAK;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAiB;IAEjB,MAAM,QAAQ,GAAG,iCAAiC,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IACE,QAAQ,KAAK,SAAS;QACtB,MAAM,KAAK,SAAS;QACpB,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAClC,MAAM,CAAC,OAAO,KAAK,IAAI,EACvB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,cAAc,CAAC,QAAiB;IACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO,MAAM,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,4BAA4B,CAAC,OAAe;IACnD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,CAAC;KACnE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE,OAAO,EAAE,CAAC;KACxE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,OAAyB,EACzB,sBAAyC;IAEzC,OAAO,MAAM,CAAC,MAAM,CAClB,sBAAsB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC,CAC9E,CACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,YAA8C;IAE9C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QACxE,KAAK,EAAE,YAAY,CAAC,MAAM;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,gBAAyB,EACzB,MAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI;QACb,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,MAAM,CAAC,OAAO;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CACnC,iBAA0B,EAC1B,MAA0C;IAE1C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,EAAE,EAAE,KAAK;YACT,gBAAgB,EAAE,cAAc,CAAC,iBAAiB,CAAC;SACpD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI;QACb,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,MAAM,CAAC,OAAO;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAyB,EACzB,sBAAyC,EACzC,OAAgB;IAEhB,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe,EAAE,OAAqB;IAClE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;KAC7F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAgB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;SACpD,CAAC;KACH,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  CheckHandoffProvider,\n  CheckDependencies,\n  CheckOutcome,\n  DependencyHandoffReadResult,\n  DependencyObservation,\n  DependencyReadResult\n} from \"../../check/check.ts\";\nimport {\n  getDefinedHandoffProviderIdentity,\n  type HandoffProviderIdentity\n} from \"../../check/handoff-provider-identity.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport { snapshotClosedRecord } from \"../../data-boundary/closed-values.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\nimport type { ParsedCheckTerminalHandoff } from \"./terminal-result.ts\";\n\ntype RuntimeDependencyHandoffReadResult = DependencyHandoffReadResult<string, object>;\n\nexport function createCheckDependencies(\n  input: Readonly<{\n    readonly checkId: string;\n    readonly directDependsOnCheckIds: readonly string[];\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly directRelationCheckIds: readonly string[];\n    readonly handoffsByCheckId: ReadonlyMap<string, ParsedCheckTerminalHandoff>;\n    readonly session: CoreCheckSession;\n  }>\n): CheckDependencies {\n  function get<Id extends string, Handoff extends object>(\n    dependency: CheckHandoffProvider<Id, Handoff>\n  ): DependencyHandoffReadResult<Id, Handoff>;\n  function get(dependency: string): DependencyReadResult;\n  function get(dependency: unknown): DependencyReadResult | RuntimeDependencyHandoffReadResult;\n  function get(dependency: unknown): DependencyReadResult | RuntimeDependencyHandoffReadResult {\n    if (dependency === null || typeof dependency !== \"object\") {\n      const result = readDirectRelation(input.session, input.directRelationCheckIds, dependency);\n      input.diagnosticLogger?.observe({\n        event: \"dependency.read\",\n        tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-READ\"),\n        details: dependencyReadDetails(dependency, result)\n      });\n      return result;\n    }\n    const result = readDirectDependencyHandoff(input, dependency);\n    input.diagnosticLogger?.observe({\n      event: \"dependency.read\",\n      tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-READ\"),\n      details: handoffDependencyReadDetails(dependency, result)\n    });\n    return result;\n  }\n  return Object.freeze({\n    get,\n    list: (): readonly DependencyObservation[] => {\n      const observations = listDirectRelationObservations(\n        input.session,\n        input.directRelationCheckIds\n      );\n      input.diagnosticLogger?.observe({\n        event: \"dependency.list\",\n        tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-LIST\"),\n        details: directRelationListDetails(observations)\n      });\n      return observations;\n    }\n  });\n}\n\nfunction readDirectDependencyHandoff(\n  input: Readonly<{\n    readonly directDependsOnCheckIds: readonly string[];\n    readonly handoffsByCheckId: ReadonlyMap<string, ParsedCheckTerminalHandoff>;\n    readonly session: CoreCheckSession;\n  }>,\n  provider: unknown\n): RuntimeDependencyHandoffReadResult {\n  const providerIdentity = handoffProviderIdentity(provider);\n  if (\n    providerIdentity === undefined ||\n    !input.directDependsOnCheckIds.includes(providerIdentity.checkId)\n  ) {\n    return handoffDependencyNotDeclared(providerIdentity?.checkId ?? handoffCheckId(provider));\n  }\n  const settledHandoff = input.handoffsByCheckId.get(providerIdentity.checkId);\n  const outcome = input.session.readSettledCheckOutcome(providerIdentity.checkId);\n  if (\n    settledHandoff === undefined ||\n    settledHandoff.identity !== providerIdentity.identity ||\n    outcome.status !== \"passed\"\n  ) {\n    return handoffUnavailable(providerIdentity.checkId);\n  }\n  return Object.freeze({\n    ok: true,\n    checkId: providerIdentity.checkId,\n    status: \"passed\",\n    data: outcome.data,\n    handoff: settledHandoff.value\n  });\n}\n\nfunction handoffProviderIdentity(\n  provider: unknown\n): Readonly<{ readonly checkId: string; readonly identity: HandoffProviderIdentity }> | undefined {\n  const identity = getDefinedHandoffProviderIdentity(provider);\n  const record = snapshotClosedRecord(provider);\n  if (\n    identity === undefined ||\n    record === undefined ||\n    typeof record.checkId !== \"string\" ||\n    record.handoff !== true\n  ) {\n    return undefined;\n  }\n  return Object.freeze({ checkId: record.checkId, identity });\n}\n\nfunction handoffCheckId(provider: unknown): string {\n  const record = snapshotClosedRecord(provider);\n  return record !== undefined && typeof record.checkId === \"string\" ? record.checkId : \"\";\n}\n\nfunction handoffDependencyNotDeclared(checkId: string): RuntimeDependencyHandoffReadResult {\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({ code: \"dependency-not-declared\", checkId })\n  });\n}\n\nfunction handoffUnavailable(checkId: string): RuntimeDependencyHandoffReadResult {\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({ code: \"upstream-handoff-unavailable\", checkId })\n  });\n}\n\nfunction listDirectRelationObservations(\n  session: CoreCheckSession,\n  directRelationCheckIds: readonly string[]\n): readonly DependencyObservation[] {\n  return Object.freeze(\n    directRelationCheckIds.map((checkId) =>\n      Object.freeze({ checkId, outcome: session.readSettledCheckOutcome(checkId) })\n    )\n  );\n}\n\nfunction directRelationListDetails(\n  observations: readonly DependencyObservation[]\n): Readonly<Record<string, unknown>> {\n  return Object.freeze({\n    dependencyIds: Object.freeze(observations.map(({ checkId }) => checkId)),\n    count: observations.length\n  });\n}\n\nfunction dependencyReadDetails(\n  requestedCheckId: unknown,\n  result: DependencyReadResult\n): Readonly<Record<string, unknown>> {\n  if (!result.ok) {\n    return Object.freeze({ error: result.error, ok: false, requestedCheckId });\n  }\n  return Object.freeze({\n    hasData: true,\n    ok: true,\n    producer: result.checkId,\n    status: result.status\n  });\n}\n\nfunction handoffDependencyReadDetails(\n  requestedProvider: unknown,\n  result: RuntimeDependencyHandoffReadResult\n): Readonly<Record<string, unknown>> {\n  if (!result.ok) {\n    return Object.freeze({\n      error: result.error,\n      ok: false,\n      requestedCheckId: handoffCheckId(requestedProvider)\n    });\n  }\n  return Object.freeze({\n    hasData: true,\n    ok: true,\n    producer: result.checkId,\n    status: result.status\n  });\n}\n\nfunction readDirectRelation(\n  session: CoreCheckSession,\n  directRelationCheckIds: readonly string[],\n  checkId: unknown\n): DependencyReadResult {\n  if (typeof checkId !== \"string\" || !directRelationCheckIds.includes(checkId)) {\n    return dependencyNotDeclared(checkId);\n  }\n  return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));\n}\n\nfunction dependencyReadResult(checkId: string, outcome: CheckOutcome): DependencyReadResult {\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    return Object.freeze({ ok: true, checkId, status: outcome.status, data: outcome.data });\n  }\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({ code: \"upstream-data-unavailable\", checkId, status: outcome.status })\n  });\n}\n\nfunction dependencyNotDeclared(checkId: unknown): DependencyReadResult {\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({\n      code: \"dependency-not-declared\",\n      checkId: typeof checkId === \"string\" ? checkId : \"\"\n    })\n  });\n}\n"]}

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

@@ -5,17 +5,19 @@ export function closeResolvedChecks(input) {
     try {
         assertNoTaskEngineFailures(input.graphRun.settlements);
         if (input.graphRun.admissionPolicyFault !== undefined) {
+            const terminalSchedulerMeasurement = input.graphRun.terminalMeasurement;
             return closeAdmissionPolicyFailed({
                 normalizedChecks: input.allChecks,
                 state: input.state,
-                terminalSchedulerMeasurement: input.graphRun.terminalMeasurement
+                ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })
             });
         }
         if (input.graphRun.cancelled) {
+            const terminalSchedulerMeasurement = input.graphRun.terminalMeasurement;
             return closeCancelledExecution({
                 normalizedChecks: input.allChecks,
                 state: input.state,
-                terminalSchedulerMeasurement: input.graphRun.terminalMeasurement
+                ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })
             });
         }
         assertEveryCheckClosed(input.allChecks, input.graphRun.settlements);
@@ -41,7 +43,7 @@ export function checkIdentity(check) {
     return Object.freeze({
         checkId: check.definition.checkId,
         displayName: check.definition.displayName,
-        visibility: check.visibility
+        omitQuietPassedRow: check.omitQuietPassedRow
     });
 }
 export function trustedFailure(error) {

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

@@ -1 +1 @@
-{"version":3,"file":"execution-finalization.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-finalization.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAInB,MAAM,2BAA2B,CAAC;AAGnC,MAAM,cAAc,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAElE,iGAAiG;AACjG,MAAM,UAAU,mBAAmB,CACjC,KAOE;IAEF,IAAI,CAAC;QACH,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,QAAQ,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;YACtD,OAAO,0BAA0B,CAAC;gBAChC,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,4BAA4B,EAAE,KAAK,CAAC,QAAQ,CAAC,mBAAmB;aACjE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO,uBAAuB,CAAC;gBAC7B,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,4BAA4B,EAAE,KAAK,CAAC,QAAQ,CAAC,mBAAmB;aACjE,CAAC,CAAC;QACL,CAAC;QACD,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACpE,OAAO,0BAA0B,CAC/B,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAC5B,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CACnC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAIE;IAEF,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,0BAA0B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC9C,8BAA8B,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,OAAO,iBAAiB,CACtB,yBAAyB,EACzB,QAAQ,EACR,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,4BAA4B,CACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAIE;IAEF,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,0BAA0B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC9C,8BAA8B,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,OAAO,iBAAiB,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,4BAA4B,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAyD;IAEzD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO;QACjC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;QACzC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,OAAO,KAAK,YAAY,8BAA8B;QACpD,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,8BAA8B,CAChC,gEAAgE,CACjE,CAAC;AACR,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA0D,EAC1D,QAAsB,EACtB,KAA0B,EAC1B,4BAAqE;IAErE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,QAAQ;QACR,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;KACxF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CACjC,iBAAoC,EACpC,QAAsB,EACtB,KAA0B,EAC1B,4BAAqE;IAErE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,iBAAiB;QACjB,QAAQ;QACR,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;KACxF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,KAIE;IAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CACjC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CACzE,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,SAAS;QACnE,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,8BAA8B,CACtC,sDAAsD,CACvD,CAAC;QACJ,CAAC;QACD,kBAAkB,CAAC;YACjB,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC;YAChC,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,cAAc;YACxB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,KAAK,EAAE,WAAW;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,qBAA6D;IAK7D,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,qBAAqB,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,8BAA8B,CAAC,8CAA8C,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,cAAc,GAAoB,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,YAAY,GAAG,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,8BAA8B,CAAC,yCAAyC,CAAC,CAAC;QACtF,CAAC;QACD,cAAc,CAAC,IAAI,CACjB,MAAM,CAAC,MAAM,CAAC;YACZ,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,YAAY,CAAC,UAAU;SACpC,CAAC,CACH,CAAC;QACF,QAAQ,CAAC,IAAI,CACX,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACvC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CACtD,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC7C,aAAa,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;KACnF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sBAAsB,CACpC,KAIE;IAEF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CACjC,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,aAAsB;QAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;SAClD,CAAC;KACH,CAAC,CACH,CAAC;IACF,kBAAkB,CAAC;QACjB,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,cAAc;QACxB,OAAO;QACP,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,WAA4C;IAC9E,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzC,MAAM,IAAI,8BAA8B,CACtC,sDAAsD,CACvD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAkC,EAClC,WAA4C;IAE5C,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,8BAA8B,CAAC,iDAAiD,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,8BAA8B,CACtC,wDAAwD,CACzD,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage } from \"../../check/check.ts\";\nimport type { CoreSnapshot } from \"../../check-settlement/facts.ts\";\nimport type {\n  NormalizedCheck,\n  SchedulerMeasurementContext\n} from \"../../project-definition/project-definition.ts\";\nimport type { SettledTask } from \"../task-scheduler/scheduler.ts\";\nimport type { CheckDuration, CheckRunMessage } from \"../result.ts\";\nimport {\n  CheckExecutionInvariantFailure,\n  recordSettledCheck,\n  type CheckIdentity,\n  type CheckExecutionState,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport type { ResolvedCheckExecution } from \"./resolved-execution-result.ts\";\n\nconst EMPTY_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\n\n/** Closes the task graph, lifecycle facts, and canonical Check summaries as one Run boundary. */\nexport function closeResolvedChecks(\n  input: Readonly<{\n    readonly allChecks: readonly NormalizedCheck[];\n    readonly effectiveCheckIds: readonly string[];\n    readonly graphRun: Awaited<\n      ReturnType<typeof import(\"../task-scheduler/scheduler.ts\").runTaskGraph<boolean>>\n    >;\n    readonly state: CheckExecutionState;\n  }>\n): ResolvedCheckExecution {\n  try {\n    assertNoTaskEngineFailures(input.graphRun.settlements);\n    if (input.graphRun.admissionPolicyFault !== undefined) {\n      return closeAdmissionPolicyFailed({\n        normalizedChecks: input.allChecks,\n        state: input.state,\n        terminalSchedulerMeasurement: input.graphRun.terminalMeasurement\n      });\n    }\n    if (input.graphRun.cancelled) {\n      return closeCancelledExecution({\n        normalizedChecks: input.allChecks,\n        state: input.state,\n        terminalSchedulerMeasurement: input.graphRun.terminalMeasurement\n      });\n    }\n    assertEveryCheckClosed(input.allChecks, input.graphRun.settlements);\n    return completedResolvedExecution(\n      input.effectiveCheckIds,\n      input.state.session.freeze(),\n      input.state,\n      input.graphRun.terminalMeasurement\n    );\n  } catch (error) {\n    throw trustedFailure(error);\n  }\n}\n\nexport function closeAdmissionPolicyFailed(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly state: CheckExecutionState;\n    readonly terminalSchedulerMeasurement?: SchedulerMeasurementContext;\n  }>\n): ResolvedCheckExecution {\n  input.state.session.closeUnresolvedAsCancelled();\n  const snapshot = input.state.session.freeze();\n  settleUnstartedCancelledChecks({ ...input, snapshot });\n  return resolvedExecution(\n    \"admission-policy-failed\",\n    snapshot,\n    input.state,\n    input.terminalSchedulerMeasurement\n  );\n}\n\nexport function closeCancelledExecution(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly state: CheckExecutionState;\n    readonly terminalSchedulerMeasurement?: SchedulerMeasurementContext;\n  }>\n): ResolvedCheckExecution {\n  input.state.session.closeUnresolvedAsCancelled();\n  const snapshot = input.state.session.freeze();\n  settleUnstartedCancelledChecks({ ...input, snapshot });\n  return resolvedExecution(\"cancelled\", snapshot, input.state, input.terminalSchedulerMeasurement);\n}\n\nexport function checkIdentity(\n  check: Pick<NormalizedCheck, \"definition\" | \"visibility\">\n): CheckIdentity {\n  return Object.freeze({\n    checkId: check.definition.checkId,\n    displayName: check.definition.displayName,\n    visibility: check.visibility\n  });\n}\n\nexport function trustedFailure(error: unknown): CheckExecutionInvariantFailure {\n  return error instanceof CheckExecutionInvariantFailure\n    ? error\n    : new CheckExecutionInvariantFailure(\n        \"Check execution adapter escaped its contained failure boundary\"\n      );\n}\n\nfunction resolvedExecution(\n  kind: Exclude<ResolvedCheckExecution[\"kind\"], \"completed\">,\n  snapshot: CoreSnapshot,\n  state: CheckExecutionState,\n  terminalSchedulerMeasurement: SchedulerMeasurementContext | undefined\n): ResolvedCheckExecution {\n  return Object.freeze({\n    kind,\n    ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n    snapshot,\n    ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n  });\n}\n\nfunction completedResolvedExecution(\n  effectiveCheckIds: readonly string[],\n  snapshot: CoreSnapshot,\n  state: CheckExecutionState,\n  terminalSchedulerMeasurement: SchedulerMeasurementContext | undefined\n): Extract<ResolvedCheckExecution, { readonly kind: \"completed\" }> {\n  return Object.freeze({\n    kind: \"completed\",\n    ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n    effectiveCheckIds,\n    snapshot,\n    ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n  });\n}\n\nfunction settleUnstartedCancelledChecks(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly snapshot: CoreSnapshot;\n    readonly state: CheckExecutionState;\n  }>\n): void {\n  const normalizedByCheckId = new Map(\n    input.normalizedChecks.map((check) => [check.definition.checkId, check])\n  );\n  for (const check of input.snapshot.checks) {\n    if (input.state.settledFactsByCheckId.has(check.checkId)) continue;\n    const normalized = normalizedByCheckId.get(check.checkId);\n    if (normalized === undefined) {\n      throw new CheckExecutionInvariantFailure(\n        \"Cancelled Check does not identify a normalized Check\"\n      );\n    }\n    recordSettledCheck({\n      check: checkIdentity(normalized),\n      durationMs: null,\n      messages: EMPTY_MESSAGES,\n      outcome: check.outcome,\n      phase: \"execution\",\n      state: input.state\n    });\n  }\n}\n\nfunction checkRunSummaries(\n  snapshot: CoreSnapshot,\n  settledFactsByCheckId: ReadonlyMap<string, SettledCheckFacts>\n): Readonly<{\n  readonly checkDurations: readonly CheckDuration[];\n  readonly checkMessages: readonly CheckRunMessage[];\n}> {\n  if (snapshot.checks.length !== settledFactsByCheckId.size) {\n    throw new CheckExecutionInvariantFailure(\"Check settled facts do not close every Check\");\n  }\n  const checkDurations: CheckDuration[] = [];\n  const messages: CheckRunMessage[] = [];\n  for (const check of snapshot.checks) {\n    const settledFacts = settledFactsByCheckId.get(check.checkId);\n    if (settledFacts === undefined) {\n      throw new CheckExecutionInvariantFailure(\"Check settled facts are missing a Check\");\n    }\n    checkDurations.push(\n      Object.freeze({\n        checkId: check.checkId,\n        durationMs: settledFacts.durationMs\n      })\n    );\n    messages.push(\n      ...settledFacts.messages.map((message) =>\n        Object.freeze({ checkId: check.checkId, ...message })\n      )\n    );\n  }\n  return Object.freeze({\n    checkDurations: Object.freeze(checkDurations),\n    checkMessages: messages.length === 0 ? Object.freeze([]) : Object.freeze(messages)\n  });\n}\n\n/** Closes one Scheduler-blocked Check before a terminal observer may start. */\nexport function settleBlockedDependent(\n  input: Readonly<{\n    readonly check: NormalizedCheck;\n    readonly dependencyIds: readonly string[];\n    readonly state: CheckExecutionState;\n  }>\n): void {\n  const scope = input.state.session.openCheckScope(input.check.definition.checkId);\n  const outcome = scope.settleProduct(\n    Object.freeze({\n      status: \"unavailable\" as const,\n      reason: Object.freeze({\n        code: \"dependency-not-passed\",\n        checkIds: Object.freeze([...input.dependencyIds])\n      })\n    })\n  );\n  recordSettledCheck({\n    check: checkIdentity(input.check),\n    durationMs: null,\n    messages: EMPTY_MESSAGES,\n    outcome,\n    phase: \"dependency\",\n    state: input.state\n  });\n}\n\nfunction assertNoTaskEngineFailures(settlements: readonly SettledTask<boolean>[]): void {\n  for (const settled of settlements) {\n    if (settled.settlement.kind === \"failed\") {\n      throw new CheckExecutionInvariantFailure(\n        \"Task engine received an unexpected execution failure\"\n      );\n    }\n  }\n}\n\nfunction assertEveryCheckClosed(\n  checks: readonly NormalizedCheck[],\n  settlements: readonly SettledTask<boolean>[]\n): void {\n  if (settlements.some((settled) => settled.settlement.kind === \"cancelled-before-start\")) {\n    throw new CheckExecutionInvariantFailure(\"Non-cancelled Task graph left a Check unstarted\");\n  }\n  if (checks.length !== settlements.length) {\n    throw new CheckExecutionInvariantFailure(\n      \"Task graph does not have one Task per executable Check\"\n    );\n  }\n}\n"]}
+{"version":3,"file":"execution-finalization.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-finalization.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAInB,MAAM,2BAA2B,CAAC;AAGnC,MAAM,cAAc,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAElE,iGAAiG;AACjG,MAAM,UAAU,mBAAmB,CACjC,KAOE;IAEF,IAAI,CAAC;QACH,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,QAAQ,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,4BAA4B,GAAG,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YACxE,OAAO,0BAA0B,CAAC;gBAChC,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;aACxF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC7B,MAAM,4BAA4B,GAAG,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YACxE,OAAO,uBAAuB,CAAC;gBAC7B,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;aACxF,CAAC,CAAC;QACL,CAAC;QACD,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACpE,OAAO,0BAA0B,CAC/B,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAC5B,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CACnC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAIE;IAEF,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,0BAA0B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC9C,8BAA8B,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,OAAO,iBAAiB,CACtB,yBAAyB,EACzB,QAAQ,EACR,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,4BAA4B,CACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAIE;IAEF,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,0BAA0B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC9C,8BAA8B,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,OAAO,iBAAiB,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,4BAA4B,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAiE;IAEjE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO;QACjC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;QACzC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,OAAO,KAAK,YAAY,8BAA8B;QACpD,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,8BAA8B,CAChC,gEAAgE,CACjE,CAAC;AACR,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA0D,EAC1D,QAAsB,EACtB,KAA0B,EAC1B,4BAAqE;IAErE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,QAAQ;QACR,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;KACxF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CACjC,iBAAoC,EACpC,QAAsB,EACtB,KAA0B,EAC1B,4BAAqE;IAErE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,iBAAiB;QACjB,QAAQ;QACR,GAAG,CAAC,4BAA4B,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,4BAA4B,EAAE,CAAC;KACxF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,KAIE;IAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CACjC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CACzE,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,SAAS;QACnE,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,8BAA8B,CACtC,sDAAsD,CACvD,CAAC;QACJ,CAAC;QACD,kBAAkB,CAAC;YACjB,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC;YAChC,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,cAAc;YACxB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,KAAK,EAAE,WAAW;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,qBAA6D;IAK7D,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,qBAAqB,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,8BAA8B,CAAC,8CAA8C,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,cAAc,GAAoB,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,YAAY,GAAG,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,8BAA8B,CAAC,yCAAyC,CAAC,CAAC;QACtF,CAAC;QACD,cAAc,CAAC,IAAI,CACjB,MAAM,CAAC,MAAM,CAAC;YACZ,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,YAAY,CAAC,UAAU;SACpC,CAAC,CACH,CAAC;QACF,QAAQ,CAAC,IAAI,CACX,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACvC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CACtD,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC7C,aAAa,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;KACnF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sBAAsB,CACpC,KAIE;IAEF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CACjC,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,aAAsB;QAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;SAClD,CAAC;KACH,CAAC,CACH,CAAC;IACF,kBAAkB,CAAC;QACjB,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,cAAc;QACxB,OAAO;QACP,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,WAA4C;IAC9E,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzC,MAAM,IAAI,8BAA8B,CACtC,sDAAsD,CACvD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAkC,EAClC,WAA4C;IAE5C,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,8BAA8B,CAAC,iDAAiD,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,8BAA8B,CACtC,wDAAwD,CACzD,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage } from \"../../check/check.ts\";\nimport type { CoreSnapshot } from \"../../check-settlement/facts.ts\";\nimport type {\n  NormalizedCheck,\n  SchedulerMeasurementContext\n} from \"../../project-definition/project-definition.ts\";\nimport type { SettledTask } from \"../task-scheduler/scheduler.ts\";\nimport type { CheckDuration, CheckRunMessage } from \"../result.ts\";\nimport {\n  CheckExecutionInvariantFailure,\n  recordSettledCheck,\n  type CheckIdentity,\n  type CheckExecutionState,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport type { ResolvedCheckExecution } from \"./resolved-execution-result.ts\";\n\nconst EMPTY_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\n\n/** Closes the task graph, lifecycle facts, and canonical Check summaries as one Run boundary. */\nexport function closeResolvedChecks(\n  input: Readonly<{\n    readonly allChecks: readonly NormalizedCheck[];\n    readonly effectiveCheckIds: readonly string[];\n    readonly graphRun: Awaited<\n      ReturnType<typeof import(\"../task-scheduler/scheduler.ts\").runTaskGraph<boolean>>\n    >;\n    readonly state: CheckExecutionState;\n  }>\n): ResolvedCheckExecution {\n  try {\n    assertNoTaskEngineFailures(input.graphRun.settlements);\n    if (input.graphRun.admissionPolicyFault !== undefined) {\n      const terminalSchedulerMeasurement = input.graphRun.terminalMeasurement;\n      return closeAdmissionPolicyFailed({\n        normalizedChecks: input.allChecks,\n        state: input.state,\n        ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n      });\n    }\n    if (input.graphRun.cancelled) {\n      const terminalSchedulerMeasurement = input.graphRun.terminalMeasurement;\n      return closeCancelledExecution({\n        normalizedChecks: input.allChecks,\n        state: input.state,\n        ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n      });\n    }\n    assertEveryCheckClosed(input.allChecks, input.graphRun.settlements);\n    return completedResolvedExecution(\n      input.effectiveCheckIds,\n      input.state.session.freeze(),\n      input.state,\n      input.graphRun.terminalMeasurement\n    );\n  } catch (error) {\n    throw trustedFailure(error);\n  }\n}\n\nexport function closeAdmissionPolicyFailed(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly state: CheckExecutionState;\n    readonly terminalSchedulerMeasurement?: SchedulerMeasurementContext;\n  }>\n): ResolvedCheckExecution {\n  input.state.session.closeUnresolvedAsCancelled();\n  const snapshot = input.state.session.freeze();\n  settleUnstartedCancelledChecks({ ...input, snapshot });\n  return resolvedExecution(\n    \"admission-policy-failed\",\n    snapshot,\n    input.state,\n    input.terminalSchedulerMeasurement\n  );\n}\n\nexport function closeCancelledExecution(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly state: CheckExecutionState;\n    readonly terminalSchedulerMeasurement?: SchedulerMeasurementContext;\n  }>\n): ResolvedCheckExecution {\n  input.state.session.closeUnresolvedAsCancelled();\n  const snapshot = input.state.session.freeze();\n  settleUnstartedCancelledChecks({ ...input, snapshot });\n  return resolvedExecution(\"cancelled\", snapshot, input.state, input.terminalSchedulerMeasurement);\n}\n\nexport function checkIdentity(\n  check: Pick<NormalizedCheck, \"definition\" | \"omitQuietPassedRow\">\n): CheckIdentity {\n  return Object.freeze({\n    checkId: check.definition.checkId,\n    displayName: check.definition.displayName,\n    omitQuietPassedRow: check.omitQuietPassedRow\n  });\n}\n\nexport function trustedFailure(error: unknown): CheckExecutionInvariantFailure {\n  return error instanceof CheckExecutionInvariantFailure\n    ? error\n    : new CheckExecutionInvariantFailure(\n        \"Check execution adapter escaped its contained failure boundary\"\n      );\n}\n\nfunction resolvedExecution(\n  kind: Exclude<ResolvedCheckExecution[\"kind\"], \"completed\">,\n  snapshot: CoreSnapshot,\n  state: CheckExecutionState,\n  terminalSchedulerMeasurement: SchedulerMeasurementContext | undefined\n): ResolvedCheckExecution {\n  return Object.freeze({\n    kind,\n    ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n    snapshot,\n    ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n  });\n}\n\nfunction completedResolvedExecution(\n  effectiveCheckIds: readonly string[],\n  snapshot: CoreSnapshot,\n  state: CheckExecutionState,\n  terminalSchedulerMeasurement: SchedulerMeasurementContext | undefined\n): Extract<ResolvedCheckExecution, { readonly kind: \"completed\" }> {\n  return Object.freeze({\n    kind: \"completed\",\n    ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n    effectiveCheckIds,\n    snapshot,\n    ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })\n  });\n}\n\nfunction settleUnstartedCancelledChecks(\n  input: Readonly<{\n    readonly normalizedChecks: readonly NormalizedCheck[];\n    readonly snapshot: CoreSnapshot;\n    readonly state: CheckExecutionState;\n  }>\n): void {\n  const normalizedByCheckId = new Map(\n    input.normalizedChecks.map((check) => [check.definition.checkId, check])\n  );\n  for (const check of input.snapshot.checks) {\n    if (input.state.settledFactsByCheckId.has(check.checkId)) continue;\n    const normalized = normalizedByCheckId.get(check.checkId);\n    if (normalized === undefined) {\n      throw new CheckExecutionInvariantFailure(\n        \"Cancelled Check does not identify a normalized Check\"\n      );\n    }\n    recordSettledCheck({\n      check: checkIdentity(normalized),\n      durationMs: null,\n      messages: EMPTY_MESSAGES,\n      outcome: check.outcome,\n      phase: \"execution\",\n      state: input.state\n    });\n  }\n}\n\nfunction checkRunSummaries(\n  snapshot: CoreSnapshot,\n  settledFactsByCheckId: ReadonlyMap<string, SettledCheckFacts>\n): Readonly<{\n  readonly checkDurations: readonly CheckDuration[];\n  readonly checkMessages: readonly CheckRunMessage[];\n}> {\n  if (snapshot.checks.length !== settledFactsByCheckId.size) {\n    throw new CheckExecutionInvariantFailure(\"Check settled facts do not close every Check\");\n  }\n  const checkDurations: CheckDuration[] = [];\n  const messages: CheckRunMessage[] = [];\n  for (const check of snapshot.checks) {\n    const settledFacts = settledFactsByCheckId.get(check.checkId);\n    if (settledFacts === undefined) {\n      throw new CheckExecutionInvariantFailure(\"Check settled facts are missing a Check\");\n    }\n    checkDurations.push(\n      Object.freeze({\n        checkId: check.checkId,\n        durationMs: settledFacts.durationMs\n      })\n    );\n    messages.push(\n      ...settledFacts.messages.map((message) =>\n        Object.freeze({ checkId: check.checkId, ...message })\n      )\n    );\n  }\n  return Object.freeze({\n    checkDurations: Object.freeze(checkDurations),\n    checkMessages: messages.length === 0 ? Object.freeze([]) : Object.freeze(messages)\n  });\n}\n\n/** Closes one Scheduler-blocked Check before a terminal observer may start. */\nexport function settleBlockedDependent(\n  input: Readonly<{\n    readonly check: NormalizedCheck;\n    readonly dependencyIds: readonly string[];\n    readonly state: CheckExecutionState;\n  }>\n): void {\n  const scope = input.state.session.openCheckScope(input.check.definition.checkId);\n  const outcome = scope.settleProduct(\n    Object.freeze({\n      status: \"unavailable\" as const,\n      reason: Object.freeze({\n        code: \"dependency-not-passed\",\n        checkIds: Object.freeze([...input.dependencyIds])\n      })\n    })\n  );\n  recordSettledCheck({\n    check: checkIdentity(input.check),\n    durationMs: null,\n    messages: EMPTY_MESSAGES,\n    outcome,\n    phase: \"dependency\",\n    state: input.state\n  });\n}\n\nfunction assertNoTaskEngineFailures(settlements: readonly SettledTask<boolean>[]): void {\n  for (const settled of settlements) {\n    if (settled.settlement.kind === \"failed\") {\n      throw new CheckExecutionInvariantFailure(\n        \"Task engine received an unexpected execution failure\"\n      );\n    }\n  }\n}\n\nfunction assertEveryCheckClosed(\n  checks: readonly NormalizedCheck[],\n  settlements: readonly SettledTask<boolean>[]\n): void {\n  if (settlements.some((settled) => settled.settlement.kind === \"cancelled-before-start\")) {\n    throw new CheckExecutionInvariantFailure(\"Non-cancelled Task graph left a Check unstarted\");\n  }\n  if (checks.length !== settlements.length) {\n    throw new CheckExecutionInvariantFailure(\n      \"Task graph does not have one Task per executable Check\"\n    );\n  }\n}\n"]}