@zxyycom/vibe-check 0.0.1

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

@@ -0,0 +1 @@
+{"version":3,"file":"preflight.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/preflight.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EACL,cAAc,EACd,wBAAwB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAmC,MAAM,uBAAuB,CAAC;AAEnG,MAAM,cAAc,GAA4B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,YAAY,GAAG,IAAI,eAAe,EAAE,CAAC,MAAM,CAAC;AA4ClD,+FAA+F;AAC/F,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAIE;IAEF,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,WAAW,CAAC,IAAI,CACd,MAAM,YAAY,CAAC;YACjB,KAAK;YACL,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AACpC,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,KAAwB;IAClD,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC;YAC7B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,2BAA2B;YACnC,UAAU,EAAE,qBAAqB;SAClC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,0BAA0B,CAAC,KAAK,EAAE,MAAM,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAwB;IACtD,MAAM,UAAU,GAAG,eAAe,CAAC;QACjC,aAAa,EAAE,KAAK,CAAC,KAAK;QAC1B,QAAQ,EAAE,cAAc;QACxB,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;KACrC,CAAC,CAAC;IACH,iCAAiC,CAC/B,KAAK,CAAC,gBAAgB,EACtB,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAC9B,UAAU,EACV,SAAS,EACT,EAAE,MAAM,EAAE,UAAU,EAAE,CACvB,CAAC;IACF,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAwB,EACxB,UAA+B;IAE/B,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC;YAC7B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,OAAO,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE;YACpC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO;YACjE,UAAU,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,iBAAiB;SAC9E,CAAC,CAAC;IACL,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAwB,EACxB,eAAwB;IAExB,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC;YAC7B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,OAAO,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE;YACjC,MAAM,EAAE,0BAA0B;YAClC,UAAU,EAAE,qBAAqB;SAClC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,eAAe,GAAG,yBAAyB,CAAC,eAAe,CAAC,CAAC;IACnE,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,uBAAuB,CAAC;YAC7B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,OAAO,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE;YACjC,MAAM,EAAE,WAAW;YACnB,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,SAAS,IAAI,eAAe,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC/E,OAAO,6BAA6B,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,2BAA2B,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,6BAA6B,CACpC,KAAwB,EACxB,eAAkF;IAElF,MAAM,UAAU,GAAG,iBAAiB,CAAC;QACnC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,eAAe,CAAC,QAAQ;QAClC,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,IAAI;KACxC,CAAC,CAAC;IACH,0BAA0B,CACxB,KAAK,CAAC,gBAAgB,EACtB,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAC9B,UAAU,EACV,SAAS,EACT;QACE,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,QAAQ,EAAE,CAAC;QACxF,MAAM,EAAE,eAAe,CAAC,MAAM;KAC/B,CACF,CAAC;IACF,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAwB,EACxB,eAAwB,EACxB,eAAkF;IAElF,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IAC/C,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IAC/E,MAAM,UAAU,GAAG,eAAe,CAAC;QACjC,aAAa,EAAE,KAAK,CAAC,KAAK;QAC1B,QAAQ,EAAE,eAAe,CAAC,QAAQ;QAClC,eAAe,EACb,eAAe,CAAC,MAAM,KAAK,SAAS;YAClC,CAAC,CAAC,eAAe,CAAC,eAAe;YACjC,CAAC,CAAC,eAAe,CAAC,QAAQ;KAC/B,CAAC,CAAC;IACH,iCAAiC,CAAC,KAAK,CAAC,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE;QACrF,QAAQ,EAAE,eAAe,CAAC,QAAQ;QAClC,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,CAAC;QACnF,GAAG,EAAE,eAAe;KACrB,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,KAAsB,EACtB,MAA+B;IAE/B,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,MAAM,KAAK,CAAC,SAAU,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,IAAI,YAAY,CAAC;SACtE,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACjD,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAME;IAEF,MAAM,UAAU,GAAG,iBAAiB,CAAC;QACnC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,cAAc;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IACH,0BAA0B,CACxB,KAAK,CAAC,gBAAgB,EACtB,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAC9B,UAAU,EACV,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,OAAO,CACd,CAAC;IACF,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,iCAAiC,CACxC,gBAA8C,EAC9C,OAAe,EACf,UAAoC,EACpC,MAA4C,EAC5C,OAA0C;IAE1C,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,0BAA0B,CAAC,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE;YAC7E,GAAG,EAAE,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC;SACxE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC;IAC3E,0BAA0B,CAAC,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE;QACxE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,EAAE,wBAAwB,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAC3D,GAAG,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CACjC,gBAA8C,EAC9C,OAAe,EACf,UAAoC,EACpC,MAAiC,EACjC,OAA0C;IAE1C,gBAAgB,EAAE,OAAO,CAAC;QACxB,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,cAAc,CAAC,SAAS,OAAO,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;QAC3E,OAAO,EAAE;YACP,GAAG,OAAO;YACV,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1E;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,KAIE;IAEF,MAAM,eAAe,GAAG,kBAAkB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAClE,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,iBAAiB,CAAC;YACvB,KAAK,EAAE,KAAK,CAAC,aAAa;YAC1B,QAAQ,EAAE,cAAc;YACxB,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,KAAK;YACR,OAAO,EAAE,eAAe;YACxB,iBAAiB,EAAE,KAAK,CAAC,QAAQ;SAClC,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CACxB,KAIE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;YAClC,iBAAiB,EAAE,KAAK,CAAC,QAAQ;YACjC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;SACnC,CAAC;QACF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;SAClD,CAAC;KACH,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type { CheckMessage, CheckOutcome } from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { snapshotJsonObject } from \"../../check/options-snapshot.ts\";\nimport {\n  diagnosticTags,\n  summarizeDiagnosticValue,\n  type DiagnosticLogger\n} from \"../diagnostic-logging/logger.ts\";\nimport { parseCheckPreflightResult, type ParsedCheckPreflightResult } from \"./preflight-result.ts\";\n\nconst EMPTY_MESSAGES: readonly CheckMessage[] = Object.freeze([]);\nconst INERT_SIGNAL = new AbortController().signal;\n\nexport type PreparedCheck = Omit<NormalizedCheck, \"options\" | \"preflight\"> &\n  Readonly<{ readonly options: object; readonly preflightMessages: readonly CheckMessage[] }>;\n\ntype BlockedCheck = Pick<NormalizedCheck, \"definition\" | \"visibility\"> &\n  Readonly<{ readonly preflightMessages: readonly CheckMessage[] }>;\n\nexport type ReadyCheckPreflightResolution = Readonly<{\n  readonly kind: \"ready\";\n  readonly check: PreparedCheck;\n}>;\n\nexport type BlockedCheckPreflightResolution = Readonly<{\n  readonly kind: \"blocked\";\n  readonly check: BlockedCheck;\n  readonly outcome: CheckOutcome;\n}>;\n\nexport type CheckPreflightResolution =\n  | ReadyCheckPreflightResolution\n  | BlockedCheckPreflightResolution;\n\ntype PreflightResolutionResult =\n  | \"skipped\"\n  | \"prepared\"\n  | \"continued\"\n  | \"blocked\"\n  | \"cancelled-before-callback\"\n  | \"cancelled-after-callback\"\n  | \"cancelled-after-throw\"\n  | \"threw\"\n  | \"malformed\";\n\ntype PrepareCheckInput = Readonly<{\n  readonly check: NormalizedCheck;\n  readonly diagnosticLogger: DiagnosticLogger | undefined;\n  readonly signal: AbortSignal | undefined;\n}>;\n\ntype PreflightInvocation =\n  | Readonly<{ readonly kind: \"returned\"; readonly output: unknown }>\n  | Readonly<{ readonly kind: \"threw\"; readonly error: unknown }>;\n\n/** Completes the sequential invocation-wide barrier before any Check enters the Task graph. */\nexport async function prepareChecks(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly diagnosticLogger?: DiagnosticLogger;\n    readonly signal: AbortSignal | undefined;\n  }>\n): Promise<readonly CheckPreflightResolution[]> {\n  const resolutions: CheckPreflightResolution[] = [];\n  for (const check of input.checks) {\n    resolutions.push(\n      await prepareCheck({\n        check,\n        diagnosticLogger: input.diagnosticLogger,\n        signal: input.signal\n      })\n    );\n  }\n  return Object.freeze(resolutions);\n}\n\nasync function prepareCheck(input: PrepareCheckInput): Promise<CheckPreflightResolution> {\n  if (input.signal?.aborted) {\n    return observeBlockedPreflight({\n      check: input.check,\n      diagnosticLogger: input.diagnosticLogger,\n      details: {},\n      result: \"cancelled-before-callback\",\n      reasonCode: \"execution-cancelled\"\n    });\n  }\n  if (input.check.preflight === undefined) {\n    return resolveAuthoredOptions(input);\n  }\n  return resolvePreflightInvocation(input, await invokePreflight(input.check, input.signal));\n}\n\nfunction resolveAuthoredOptions(input: PrepareCheckInput): CheckPreflightResolution {\n  const resolution = readyResolution({\n    authoredCheck: input.check,\n    messages: EMPTY_MESSAGES,\n    preparedOptions: input.check.options\n  });\n  observeReadyOrMalformedResolution(\n    input.diagnosticLogger,\n    input.check.definition.checkId,\n    resolution,\n    \"skipped\",\n    { source: \"authored\" }\n  );\n  return resolution;\n}\n\nfunction resolvePreflightInvocation(\n  input: PrepareCheckInput,\n  invocation: PreflightInvocation\n): CheckPreflightResolution {\n  if (invocation.kind === \"threw\") {\n    return observeBlockedPreflight({\n      check: input.check,\n      diagnosticLogger: input.diagnosticLogger,\n      details: { error: invocation.error },\n      result: input.signal?.aborted ? \"cancelled-after-throw\" : \"threw\",\n      reasonCode: input.signal?.aborted ? \"execution-cancelled\" : \"preflight-threw\"\n    });\n  }\n  return resolveReturnedPreflight(input, invocation.output);\n}\n\nfunction resolveReturnedPreflight(\n  input: PrepareCheckInput,\n  preflightOutput: unknown\n): CheckPreflightResolution {\n  if (input.signal?.aborted) {\n    return observeBlockedPreflight({\n      check: input.check,\n      diagnosticLogger: input.diagnosticLogger,\n      details: { raw: preflightOutput },\n      result: \"cancelled-after-callback\",\n      reasonCode: \"execution-cancelled\"\n    });\n  }\n  const preflightResult = parseCheckPreflightResult(preflightOutput);\n  if (preflightResult === undefined) {\n    return observeBlockedPreflight({\n      check: input.check,\n      diagnosticLogger: input.diagnosticLogger,\n      details: { raw: preflightOutput },\n      result: \"malformed\",\n      reasonCode: \"invalid-preflight-result\"\n    });\n  }\n  if (preflightResult.status === \"failure\" && preflightResult.action === \"block\") {\n    return resolveBlockedPreflightResult(input, preflightResult);\n  }\n  return resolveReadyPreflightResult(input, preflightOutput, preflightResult);\n}\n\nfunction resolveBlockedPreflightResult(\n  input: PrepareCheckInput,\n  preflightResult: Extract<ParsedCheckPreflightResult, { readonly action: \"block\" }>\n): CheckPreflightResolution {\n  const resolution = blockedResolution({\n    check: input.check,\n    messages: preflightResult.messages,\n    reasonCode: preflightResult.reason.code\n  });\n  observePreflightResolution(\n    input.diagnosticLogger,\n    input.check.definition.checkId,\n    resolution,\n    \"blocked\",\n    {\n      ...(preflightResult.messages.length === 0 ? {} : { messages: preflightResult.messages }),\n      reason: preflightResult.reason\n    }\n  );\n  return resolution;\n}\n\nfunction resolveReadyPreflightResult(\n  input: PrepareCheckInput,\n  preflightOutput: unknown,\n  preflightResult: Exclude<ParsedCheckPreflightResult, { readonly action: \"block\" }>\n): CheckPreflightResolution {\n  const checkId = input.check.definition.checkId;\n  const result = preflightResult.status === \"success\" ? \"prepared\" : \"continued\";\n  const resolution = readyResolution({\n    authoredCheck: input.check,\n    messages: preflightResult.messages,\n    preparedOptions:\n      preflightResult.status === \"success\"\n        ? preflightResult.preparedOptions\n        : preflightResult.fallback\n  });\n  observeReadyOrMalformedResolution(input.diagnosticLogger, checkId, resolution, result, {\n    messages: preflightResult.messages,\n    ...(preflightResult.status === \"success\" ? {} : { reason: preflightResult.reason }),\n    raw: preflightOutput\n  });\n  return resolution;\n}\n\nasync function invokePreflight(\n  check: NormalizedCheck,\n  signal: AbortSignal | undefined\n): Promise<PreflightInvocation> {\n  try {\n    return Object.freeze({\n      kind: \"returned\",\n      output: await check.preflight!(check.options, signal ?? INERT_SIGNAL)\n    });\n  } catch (error) {\n    return Object.freeze({ kind: \"threw\", error });\n  }\n}\n\nfunction observeBlockedPreflight(\n  input: Readonly<{\n    readonly check: NormalizedCheck;\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly details: Readonly<Record<string, unknown>>;\n    readonly result: PreflightResolutionResult;\n    readonly reasonCode: string;\n  }>\n): BlockedCheckPreflightResolution {\n  const resolution = blockedResolution({\n    check: input.check,\n    messages: EMPTY_MESSAGES,\n    reasonCode: input.reasonCode\n  });\n  observePreflightResolution(\n    input.diagnosticLogger,\n    input.check.definition.checkId,\n    resolution,\n    input.result,\n    input.details\n  );\n  return resolution;\n}\n\nfunction observeReadyOrMalformedResolution(\n  diagnosticLogger: DiagnosticLogger | undefined,\n  checkId: string,\n  resolution: CheckPreflightResolution,\n  result: \"skipped\" | \"prepared\" | \"continued\",\n  details: Readonly<Record<string, unknown>>\n): void {\n  if (resolution.kind === \"blocked\") {\n    observePreflightResolution(diagnosticLogger, checkId, resolution, \"malformed\", {\n      raw: \"raw\" in details ? details.raw : summarizeDiagnosticValue(details)\n    });\n    return;\n  }\n  const messages = \"messages\" in details ? details.messages : EMPTY_MESSAGES;\n  observePreflightResolution(diagnosticLogger, checkId, resolution, result, {\n    ...(Array.isArray(messages) && messages.length > 0 ? { messages } : {}),\n    options: summarizeDiagnosticValue(resolution.check.options),\n    ...(\"reason\" in details ? { reason: details.reason } : {}),\n    ...(\"source\" in details ? { source: details.source } : {})\n  });\n}\n\nfunction observePreflightResolution(\n  diagnosticLogger: DiagnosticLogger | undefined,\n  checkId: string,\n  resolution: CheckPreflightResolution,\n  result: PreflightResolutionResult,\n  details: Readonly<Record<string, unknown>>\n): void {\n  diagnosticLogger?.observe({\n    event: \"preflight.resolved\",\n    tags: diagnosticTags(`CHECK:${checkId}`, \"PREFLIGHT\", result.toUpperCase()),\n    details: {\n      ...details,\n      ...(resolution.kind === \"blocked\" ? { outcome: resolution.outcome } : {})\n    }\n  });\n}\n\nfunction readyResolution(\n  input: Readonly<{\n    readonly authoredCheck: NormalizedCheck;\n    readonly messages: readonly CheckMessage[];\n    readonly preparedOptions: unknown;\n  }>\n): CheckPreflightResolution {\n  const preparedOptions = snapshotJsonObject(input.preparedOptions);\n  if (preparedOptions === undefined) {\n    return blockedResolution({\n      check: input.authoredCheck,\n      messages: EMPTY_MESSAGES,\n      reasonCode: \"invalid-preflight-result\"\n    });\n  }\n  const { preflight: _preflight, ...check } = input.authoredCheck;\n  return Object.freeze({\n    kind: \"ready\",\n    check: Object.freeze({\n      ...check,\n      options: preparedOptions,\n      preflightMessages: input.messages\n    })\n  });\n}\n\nfunction blockedResolution(\n  input: Readonly<{\n    readonly check: NormalizedCheck;\n    readonly messages: readonly CheckMessage[];\n    readonly reasonCode: string;\n  }>\n): BlockedCheckPreflightResolution {\n  return Object.freeze({\n    kind: \"blocked\",\n    check: Object.freeze({\n      definition: input.check.definition,\n      preflightMessages: input.messages,\n      visibility: input.check.visibility\n    }),\n    outcome: Object.freeze({\n      status: \"unavailable\",\n      reason: Object.freeze({ code: input.reasonCode })\n    })\n  });\n}\n"]}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolved-checks.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/resolved-checks.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,sBAAsB,EAAyB,MAAM,mCAAmC,CAAC;AAClG,OAAO,EACL,cAAc,EACd,wBAAwB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAClB,cAAc,EAIf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,mBAAmB,EACnB,cAAc,EACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EACL,aAAa,EAId,MAAM,gBAAgB,CAAC;AAExB,MAAM,YAAY,GAAG,IAAI,eAAe,EAAE,CAAC,MAAM,CAAC;AAClD,MAAM,sBAAsB,GAAwB,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AAiDpG;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAQE;IAEF,MAAM,QAAQ,GAAG,MAAM,6BAA6B,CAAC,KAAK,CAAC,CAAC;IAC5D,uFAAuF;IACvF,iGAAiG;IACjG,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC;YAC7B,gBAAgB,EAAE,KAAK,CAAC,MAAM;YAC9B,cAAc,EAAE,QAAQ,CAAC,WAAW;YACpC,KAAK,EAAE,QAAQ,CAAC,KAAK;SACtB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,uBAAuB,GAAG,IAAI,GAAG,CACrC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAC7F,CAAC;IACF,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE;QACvD,sBAAsB,EAAE,QAAQ,CAAC,eAAe;KACjD,CAAC,CAAC;IACH,IAAI,QAAwD,CAAC;IAC7D,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,YAAY,CAAC;YAC5B,KAAK;YACL,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;gBACzB,MAAM,SAAS,GAAG,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,MAAM,IAAI,8BAA8B,CAAC,kCAAkC,CAAC,CAAC;gBAC/E,CAAC;gBACD,OAAO,YAAY,CAAC;oBAClB,GAAG,QAAQ,CAAC,KAAK;oBACjB,SAAS;oBACT,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,sBAAsB;oBAC5C,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,YAAY;iBACvC,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,mBAAmB,CAAC;QACzB,SAAS,EAAE,KAAK,CAAC,MAAM;QACvB,QAAQ;QACR,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,KAAK,EAAE,QAAQ,CAAC,KAAK;KACtB,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,6BAA6B,CAC1C,KAME;IAEF,gBAAgB,CAAC,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,MAAM,aAAa,CAAC;QACrC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,oBAAoB,CAAC;QACjC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,0BAA0B,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAIE;IAEF,OAAO;QACL,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,qBAAqB,EAAE,IAAI,GAAG,EAA6B;QAC3D,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,sBAAsB,CAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CACpE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAA0B,EAC1B,WAAgD;IAEhD,MAAM,eAAe,GAAoC,EAAE,CAAC;IAC5D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACzD,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe;QACf,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/E,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;KAChD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA0B,EAC1B,SAA0E;IAE1E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvD,kBAAkB,CAAC;QACjB,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC;QACrC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,iBAAiB;QAC3C,OAAO;QACP,KAAK,EAAE,WAAW;QAClB,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,KAAwB;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;QAC9B,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,cAAc,CAAC,SAAS,OAAO,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC;QAChE,OAAO,EAAE;YACP,YAAY,EAAE,KAAK,CAAC,SAAS;YAC7B,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;YACzC,OAAO,EAAE,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC;SACjD;KACF,CAAC,CAAC;IACH,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC;QAC1C,KAAK;QACL,YAAY,EAAE,uBAAuB,CAAC;YACpC,OAAO;YACP,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,mBAAmB,EAAE,KAAK,CAAC,SAAS;YACpC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,cAAc,CAAC;QAC7B,QAAQ;QACR,OAAO;QACP,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,KAAK;KACN,CAAC,CAAC;IACH,kBAAkB,CAAC;QACjB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC;QACjD,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,KAAK;KACb,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,SAA8C,EAAE,KAAoB;IACvF,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB,EAAE,KAA0B;IAClE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IACxC,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC","sourcesContent":["import type {\n  CheckMessage,\n  CheckOutcome,\n  CheckProjectContext,\n  CheckVisibility\n} from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { createCoreCheckSession, type CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport {\n  diagnosticTags,\n  summarizeDiagnosticValue,\n  type DiagnosticLogger\n} from \"../diagnostic-logging/logger.ts\";\nimport { prepareTaskGraph } from \"../task-scheduler/graph.ts\";\nimport { runTaskGraph } from \"../task-scheduler/scheduler.ts\";\nimport { executeCheckCallback } from \"./callback.ts\";\nimport { createCheckDependencies } from \"./dependencies.ts\";\nimport {\n  CheckExecutionInvariantFailure,\n  recordSettledCheck,\n  settleCallback,\n  type CheckExecutionSettlementState,\n  type CheckIdentity,\n  type SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport {\n  checkIdentity,\n  closeCancelledExecution,\n  closeResolvedChecks,\n  trustedFailure\n} from \"./execution-finalization.ts\";\nimport { planStaticCheckGraph } from \"./plan.ts\";\nimport {\n  prepareChecks,\n  type CheckPreflightResolution,\n  type PreparedCheck,\n  type ReadyCheckPreflightResolution\n} from \"./preflight.ts\";\n\nconst INERT_SIGNAL = new AbortController().signal;\nconst SYSTEM_MONOTONIC_CLOCK: CheckExecutionClock = Object.freeze({ now: () => performance.now() });\n\n/** Private Run handoff for Check lifecycle presentation and accounting. */\nexport type CheckExecutionLifecycle = Readonly<{\n  readonly started: (fact: CheckStartedFact) => void;\n  readonly settled: (fact: CheckSettledFact) => void;\n}>;\n\n/** Package-private monotonic clock seam for execution accounting. */\nexport type CheckExecutionClock = Readonly<{ now(): number }>;\n\nexport type CheckStartedFact = Readonly<{ checkId: string; displayName: string }>;\n\nexport type CheckSettledFact = CheckStartedFact &\n  Readonly<{\n    durationMs: number | null;\n    messages: readonly CheckMessage[];\n    outcome: CheckOutcome;\n    visibility: CheckVisibility;\n  }>;\n\ntype ResolvedCheckExecutionFacts = Readonly<{\n  readonly checkDurations: readonly import(\"../result.ts\").CheckDuration[];\n  readonly checkMessages: readonly import(\"../result.ts\").CheckRunMessage[];\n  readonly snapshot: import(\"../../check-settlement/facts.ts\").CoreSnapshot;\n}>;\n\nexport type ResolvedCheckExecution =\n  | (Readonly<{ readonly kind: \"completed\" }> & ResolvedCheckExecutionFacts)\n  | (Readonly<{ readonly kind: \"cancelled\" }> & ResolvedCheckExecutionFacts);\n\nexport interface CheckExecutionState extends CheckExecutionSettlementState {\n  readonly session: CoreCheckSession;\n}\n\ninterface ExecuteCheckInput extends CheckExecutionState {\n  readonly preflight: ReadyCheckPreflightResolution;\n  readonly clock: CheckExecutionClock;\n  readonly project: CheckProjectContext;\n  readonly signal: AbortSignal;\n}\n\ntype PreparedResolvedCheckExecution = Readonly<{\n  readonly blockedCheckIds: ReadonlySet<string>;\n  readonly readyChecks: readonly PreparedCheck[];\n  readonly readyPreflights: readonly ReadyCheckPreflightResolution[];\n  readonly state: CheckExecutionState;\n}>;\n\n/**\n * Runs the already normalized executable Check collection through one generic\n * Task per Check. Graph validation happens before Core scopes or callbacks.\n */\nexport async function executeResolvedChecks(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly maxParallel: number;\n    readonly project: CheckProjectContext;\n    readonly signal: AbortSignal | undefined;\n    readonly clock?: CheckExecutionClock;\n    readonly diagnosticLogger?: DiagnosticLogger;\n    readonly lifecycle?: CheckExecutionLifecycle;\n  }>\n): Promise<ResolvedCheckExecution> {\n  const prepared = await prepareResolvedCheckExecution(input);\n  // The barrier is execution-phase work. A signal received while it runs must close this\n  // phase as cancelled even when every preflight already blocked and the scheduler graph is empty.\n  if (input.signal?.aborted) {\n    return closeCancelledExecution({\n      normalizedChecks: input.checks,\n      preparedChecks: prepared.readyChecks,\n      state: prepared.state\n    });\n  }\n  const readyPreflightByCheckId = new Map(\n    prepared.readyPreflights.map((preflight) => [preflight.check.definition.checkId, preflight])\n  );\n  const graph = planStaticCheckGraph(prepared.readyChecks, {\n    alreadySettledCheckIds: prepared.blockedCheckIds\n  });\n  let graphRun: Awaited<ReturnType<typeof runTaskGraph<void>>>;\n  try {\n    graphRun = await runTaskGraph({\n      graph,\n      maxParallel: input.maxParallel,\n      diagnosticLogger: input.diagnosticLogger,\n      signal: input.signal,\n      execute: (task, context) => {\n        const preflight = readyPreflightByCheckId.get(task.id);\n        if (preflight === undefined) {\n          throw new CheckExecutionInvariantFailure(\"Task graph has no prepared Check\");\n        }\n        return executeCheck({\n          ...prepared.state,\n          preflight,\n          clock: input.clock ?? SYSTEM_MONOTONIC_CLOCK,\n          project: input.project,\n          signal: context.signal ?? INERT_SIGNAL\n        });\n      }\n    });\n  } catch (error) {\n    throw trustedFailure(error);\n  }\n\n  return closeResolvedChecks({\n    allChecks: input.checks,\n    graphRun,\n    readyChecks: prepared.readyChecks,\n    state: prepared.state\n  });\n}\n\nasync function prepareResolvedCheckExecution(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly diagnosticLogger?: DiagnosticLogger;\n    readonly lifecycle?: CheckExecutionLifecycle;\n    readonly maxParallel: number;\n    readonly signal: AbortSignal | undefined;\n  }>\n): Promise<PreparedResolvedCheckExecution> {\n  prepareTaskGraph(planStaticCheckGraph(input.checks), input.maxParallel);\n  const preflights = await prepareChecks({\n    checks: input.checks,\n    diagnosticLogger: input.diagnosticLogger,\n    signal: input.signal\n  });\n  const state = createExecutionState({\n    checks: input.checks,\n    diagnosticLogger: input.diagnosticLogger,\n    lifecycle: input.lifecycle\n  });\n  const partition = settlePreflightResolutions(state, preflights);\n  return Object.freeze({ ...partition, state });\n}\n\nfunction createExecutionState(\n  input: Readonly<{\n    readonly checks: readonly NormalizedCheck[];\n    readonly diagnosticLogger: DiagnosticLogger | undefined;\n    readonly lifecycle: CheckExecutionLifecycle | undefined;\n  }>\n): CheckExecutionState {\n  return {\n    diagnosticLogger: input.diagnosticLogger,\n    settledFactsByCheckId: new Map<string, SettledCheckFacts>(),\n    lifecycle: input.lifecycle,\n    session: createCoreCheckSession(\n      input.checks.map(({ definition }) => Object.freeze({ definition }))\n    )\n  };\n}\n\nfunction settlePreflightResolutions(\n  state: CheckExecutionState,\n  resolutions: readonly CheckPreflightResolution[]\n): Omit<PreparedResolvedCheckExecution, \"state\"> {\n  const readyPreflights: ReadyCheckPreflightResolution[] = [];\n  const blockedCheckIds = new Set<string>();\n  for (const resolution of resolutions) {\n    if (resolution.kind === \"ready\") {\n      readyPreflights.push(resolution);\n      continue;\n    }\n    blockedCheckIds.add(resolution.check.definition.checkId);\n    settleBlockedPreflight(state, resolution);\n  }\n  return Object.freeze({\n    blockedCheckIds,\n    readyChecks: Object.freeze(readyPreflights.map((preflight) => preflight.check)),\n    readyPreflights: Object.freeze(readyPreflights)\n  });\n}\n\nfunction settleBlockedPreflight(\n  state: CheckExecutionState,\n  preflight: Extract<CheckPreflightResolution, { readonly kind: \"blocked\" }>\n): void {\n  const scope = state.session.openCheckScope(preflight.check.definition.checkId);\n  const outcome = scope.settleProduct(preflight.outcome);\n  recordSettledCheck({\n    check: checkIdentity(preflight.check),\n    durationMs: null,\n    messages: preflight.check.preflightMessages,\n    outcome,\n    phase: \"preflight\",\n    state\n  });\n}\n\nasync function executeCheck(input: ExecuteCheckInput): Promise<void> {\n  const check = input.preflight.check;\n  const checkId = check.definition.checkId;\n  const scope = input.session.openCheckScope(checkId);\n  const identity = checkIdentity(check);\n  input.diagnosticLogger?.observe({\n    event: \"check.started\",\n    tags: diagnosticTags(`CHECK:${checkId}`, \"EXECUTION\", \"STARTED\"),\n    details: {\n      dependencies: check.dependsOn,\n      displayName: check.definition.displayName,\n      options: summarizeDiagnosticValue(check.options)\n    }\n  });\n  emitStarted(input.lifecycle, identity);\n  const startedAt = input.clock.now();\n  const callback = await executeCheckCallback({\n    check,\n    dependencies: createCheckDependencies({\n      checkId,\n      diagnosticLogger: input.diagnosticLogger,\n      directDependencyIds: check.dependsOn,\n      session: input.session\n    }),\n    diagnosticLogger: input.diagnosticLogger,\n    project: input.project,\n    scope,\n    signal: input.signal\n  });\n  const settled = settleCallback({\n    callback,\n    checkId,\n    diagnosticLogger: input.diagnosticLogger,\n    preflightMessages: check.preflightMessages,\n    scope\n  });\n  recordSettledCheck({\n    check: identity,\n    durationMs: durationSince(startedAt, input.clock),\n    messages: settled.messages,\n    outcome: settled.outcome,\n    phase: \"execution\",\n    state: input\n  });\n}\n\nfunction emitStarted(lifecycle: CheckExecutionLifecycle | undefined, check: CheckIdentity): void {\n  lifecycle?.started(Object.freeze({ checkId: check.checkId, displayName: check.displayName }));\n}\n\nfunction durationSince(startedAt: number, clock: CheckExecutionClock): number {\n  const elapsed = clock.now() - startedAt;\n  return Number.isFinite(elapsed) && elapsed >= 0 ? elapsed : 0;\n}\n"]}

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

@@ -0,0 +1,49 @@
+import { hasRequiredAndOptionalRecordKeys, snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
+import { parseCheckMessages } from "./messages.mjs";
+/**
+ * Safely removes an optional terminal-message attachment from an otherwise
+ * closed author result. Any malformed attachment rejects the whole value so a
+ * valid prefix can never escape into lifecycle or Run result state.
+ */
+export function parseCheckTerminalResult(value) {
+    const terminal = snapshotClosedRecord(value);
+    if (terminal === undefined || typeof terminal.status !== "string")
+        return undefined;
+    const result = strippedTerminalResult(terminal);
+    if (result === undefined)
+        return undefined;
+    const messages = parseCheckMessages(terminal.messages);
+    return messages === undefined ? undefined : Object.freeze({ messages, result });
+}
+function strippedTerminalResult(terminal) {
+    switch (terminal.status) {
+        case "passed":
+        case "failed":
+            return hasRequiredAndOptionalRecordKeys(terminal, {
+                required: ["status", "data"],
+                optional: ["messages"]
+            })
+                ? Object.freeze({ status: terminal.status, data: terminal.data })
+                : undefined;
+        case "not-applicable":
+            if (!hasRequiredAndOptionalRecordKeys(terminal, {
+                required: ["status"],
+                optional: ["reason", "messages"]
+            })) {
+                return undefined;
+            }
+            return Object.freeze(Object.hasOwn(terminal, "reason")
+                ? { status: "not-applicable", reason: terminal.reason }
+                : { status: "not-applicable" });
+        case "unavailable":
+            return hasRequiredAndOptionalRecordKeys(terminal, {
+                required: ["status", "reason"],
+                optional: ["messages"]
+            })
+                ? Object.freeze({ status: "unavailable", reason: terminal.reason })
+                : undefined;
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=terminal-result.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-result.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/terminal-result.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gCAAgC,EAChC,oBAAoB,EACrB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAiBnD;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEpF,MAAM,MAAM,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACvD,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAA2C;IAE3C,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,gCAAgC,CAAC,QAAQ,EAAE;gBAChD,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;gBAC5B,QAAQ,EAAE,CAAC,UAAU,CAAC;aACvB,CAAC;gBACA,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACjE,CAAC,CAAC,SAAS,CAAC;QAChB,KAAK,gBAAgB;YACnB,IACE,CAAC,gCAAgC,CAAC,QAAQ,EAAE;gBAC1C,QAAQ,EAAE,CAAC,QAAQ,CAAC;gBACpB,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;aACjC,CAAC,EACF,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAC/B,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;gBACvD,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CACjC,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,gCAAgC,CAAC,QAAQ,EAAE;gBAChD,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAC9B,QAAQ,EAAE,CAAC,UAAU,CAAC;aACvB,CAAC;gBACA,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACnE,CAAC,CAAC,SAAS,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage } from \"../../check/check.ts\";\nimport {\n  hasRequiredAndOptionalRecordKeys,\n  snapshotClosedRecord\n} from \"../../data-boundary/closed-values.ts\";\nimport { parseCheckMessages } from \"./messages.ts\";\n\n/**\n * A terminal callback result split into the Core-owned four-state result and\n * detached presentation-only messages. The caller must still pass `result` to\n * Core; this adapter never validates outcome data or reasons.\n */\nexport interface ParsedCheckTerminalResult {\n  readonly messages: readonly CheckMessage[];\n  readonly result: StrippedTerminalResult;\n}\n\ntype StrippedTerminalResult =\n  | Readonly<{ readonly status: \"passed\" | \"failed\"; readonly data: unknown }>\n  | Readonly<{ readonly status: \"not-applicable\"; readonly reason?: unknown }>\n  | Readonly<{ readonly status: \"unavailable\"; readonly reason: unknown }>;\n\n/**\n * Safely removes an optional terminal-message attachment from an otherwise\n * closed author result. Any malformed attachment rejects the whole value so a\n * valid prefix can never escape into lifecycle or Run result state.\n */\nexport function parseCheckTerminalResult(value: unknown): ParsedCheckTerminalResult | undefined {\n  const terminal = snapshotClosedRecord(value);\n  if (terminal === undefined || typeof terminal.status !== \"string\") return undefined;\n\n  const result = strippedTerminalResult(terminal);\n  if (result === undefined) return undefined;\n  const messages = parseCheckMessages(terminal.messages);\n  return messages === undefined ? undefined : Object.freeze({ messages, result });\n}\n\nfunction strippedTerminalResult(\n  terminal: Readonly<Record<string, unknown>>\n): StrippedTerminalResult | undefined {\n  switch (terminal.status) {\n    case \"passed\":\n    case \"failed\":\n      return hasRequiredAndOptionalRecordKeys(terminal, {\n        required: [\"status\", \"data\"],\n        optional: [\"messages\"]\n      })\n        ? Object.freeze({ status: terminal.status, data: terminal.data })\n        : undefined;\n    case \"not-applicable\":\n      if (\n        !hasRequiredAndOptionalRecordKeys(terminal, {\n          required: [\"status\"],\n          optional: [\"reason\", \"messages\"]\n        })\n      ) {\n        return undefined;\n      }\n      return Object.freeze(\n        Object.hasOwn(terminal, \"reason\")\n          ? { status: \"not-applicable\", reason: terminal.reason }\n          : { status: \"not-applicable\" }\n      );\n    case \"unavailable\":\n      return hasRequiredAndOptionalRecordKeys(terminal, {\n        required: [\"status\", \"reason\"],\n        optional: [\"messages\"]\n      })\n        ? Object.freeze({ status: \"unavailable\", reason: terminal.reason })\n        : undefined;\n    default:\n      return undefined;\n  }\n}\n"]}

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

@@ -0,0 +1,173 @@
+import { resolve } from "node:path";
+import { failedOutput } from "./output-status.mjs";
+import { publishMachineOutput } from "./machine-publication.mjs";
+import { outputFailure } from "./result.mjs";
+import { diagnosticTags } from "./diagnostic-logging/logger.mjs";
+import { createPublicationModelV4 } from "../machine-output/v4/publication-model.mjs";
+export function completeInvocation(invocation, core) {
+    const facts = runFacts(core);
+    if (invocation.outputConfiguration.machinePublication.enabled) {
+        const model = createModel(invocation, core.snapshot);
+        if (isExecutionResult(model))
+            return model;
+        const published = publishMachineOutput({
+            configuration: invocation.outputConfiguration.machinePublication,
+            statuses: invocation.outputs,
+            model,
+            directory: resolve(invocation.projectRoot, invocation.outputConfiguration.machinePublication.directory)
+        });
+        if (!published)
+            return failure(invocation, facts);
+    }
+    const output = failedOutput(invocation.outputs.value());
+    return output === undefined
+        ? Object.freeze({
+            kind: "completed",
+            declarativeFingerprint: invocation.declarativeFingerprint,
+            definitionWarnings: invocation.definitionWarnings,
+            outputs: invocation.outputs.value(),
+            ...facts
+        })
+        : failure(invocation, facts);
+}
+function failure(invocation, facts) {
+    const output = failedOutput(invocation.outputs.value());
+    if (output === undefined)
+        throw new Error("Run output failed without a failed status");
+    return outputFailure(invocation.declarativeFingerprint, invocation.definitionWarnings, invocation.outputs.value(), output, facts);
+}
+function runFacts(core) {
+    return Object.freeze({
+        aggregate: core.aggregate,
+        checkDurations: core.checkDurations,
+        checkMessages: core.checkMessages,
+        snapshot: core.snapshot
+    });
+}
+function createModel(invocation, snapshot) {
+    try {
+        if (invocation.startedAtUtc === null)
+            throw new Error("Machine publication requires an invocation timestamp");
+        return createPublicationModelV4({
+            invocation: {
+                invocationId: invocation.invocationId,
+                projectRoot: ".",
+                timestamp: invocation.startedAtUtc
+            },
+            snapshot
+        });
+    }
+    catch {
+        return Object.freeze({
+            kind: "execution",
+            declarativeFingerprint: invocation.declarativeFingerprint,
+            definitionWarnings: invocation.definitionWarnings,
+            diagnostic: Object.freeze({ code: "publication-model-failed" }),
+            outputs: invocation.outputs.value()
+        });
+    }
+}
+function isExecutionResult(value) {
+    return "kind" in value;
+}
+/** Closes diagnostic logging and applies final output priority to a non-configuration candidate. */
+export function finalizeInvocation(invocation, candidate) {
+    const preCloseOutputs = invocation.outputs.value();
+    invocation.diagnosticLogger.observe({
+        event: "run.terminal-before-log-close",
+        tags: diagnosticTags("RUN", "TERMINAL", terminalStatusTag(candidate)),
+        details: {
+            ...closingFacts(candidate),
+            diagnosticLogging: "close-not-yet-confirmed",
+            outputs: preCloseOutputDetails(preCloseOutputs)
+        }
+    });
+    const diagnosticLoggingStatus = invocation.diagnosticLogger.close();
+    if (diagnosticLoggingStatus === "failed")
+        invocation.outputs.failed("diagnosticLogging");
+    if (diagnosticLoggingStatus === "succeeded")
+        invocation.outputs.succeeded("diagnosticLogging");
+    const outputs = invocation.outputs.value();
+    switch (candidate.kind) {
+        case "completed": {
+            const output = failedOutput(outputs);
+            return output === undefined
+                ? Object.freeze({ ...candidate, outputs })
+                : outputFailure(candidate.declarativeFingerprint, candidate.definitionWarnings, outputs, output, finalSnapshotFacts(candidate));
+        }
+        case "output": {
+            const output = failedOutput(outputs);
+            if (output === undefined)
+                throw new Error("Run output failed without a failed status");
+            return outputFailure(candidate.declarativeFingerprint, candidate.definitionWarnings, outputs, output, finalSnapshotFacts(candidate));
+        }
+        case "planning":
+        case "cancelled":
+        case "execution":
+            return Object.freeze({ ...candidate, outputs });
+    }
+}
+function terminalStatusTag(candidate) {
+    if ("aggregate" in candidate && candidate.aggregate !== null)
+        return candidate.aggregate.toUpperCase();
+    if (candidate.kind === "cancelled")
+        return "CANCELLED";
+    return candidate.kind.toUpperCase();
+}
+function preCloseOutputDetails(outputs) {
+    return Object.freeze({
+        machinePublication: outputs.machinePublication,
+        progressRendering: outputs.progressRendering
+    });
+}
+function closingFacts(candidate) {
+    if (!("snapshot" in candidate)) {
+        return Object.freeze({
+            aggregate: null,
+            candidateKind: candidate.kind,
+            counts: null,
+            nonPassed: []
+        });
+    }
+    const summary = summarizeSnapshot(candidate.snapshot);
+    return Object.freeze({
+        aggregate: "aggregate" in candidate ? candidate.aggregate : null,
+        candidateKind: candidate.kind,
+        ...summary
+    });
+}
+function summarizeSnapshot(snapshot) {
+    const counts = { failed: 0, notApplicable: 0, passed: 0, unavailable: 0 };
+    const nonPassed = [];
+    for (const check of snapshot.checks) {
+        counts[statusCountKey(check)] += 1;
+        const fact = nonPassedFact(check);
+        if (fact !== undefined)
+            nonPassed.push(fact);
+    }
+    return Object.freeze({
+        counts: Object.freeze(counts),
+        nonPassed: Object.freeze(nonPassed)
+    });
+}
+function statusCountKey(check) {
+    return check.outcome.status === "not-applicable" ? "notApplicable" : check.outcome.status;
+}
+function nonPassedFact(check) {
+    if (check.outcome.status === "passed")
+        return undefined;
+    return Object.freeze({
+        checkId: check.checkId,
+        reason: check.outcome.status === "failed" ? null : (check.outcome.reason ?? null),
+        status: check.outcome.status
+    });
+}
+function finalSnapshotFacts(candidate) {
+    return Object.freeze({
+        aggregate: candidate.aggregate,
+        checkDurations: candidate.checkDurations,
+        checkMessages: candidate.checkMessages,
+        snapshot: candidate.snapshot
+    });
+}
+//# sourceMappingURL=completion.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"completion.mjs","sourceRoot":"","sources":["../../../src/project-run/completion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EACL,aAAa,EAKd,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAEhE,OAAO,EACL,wBAAwB,EAEzB,MAAM,2CAA2C,CAAC;AAkBnD,MAAM,UAAU,kBAAkB,CAChC,UAAsB,EACtB,IAAmB;IAEnB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,UAAU,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,OAAO,EAAE,CAAC;QAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrD,IAAI,iBAAiB,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,MAAM,SAAS,GAAG,oBAAoB,CAAC;YACrC,aAAa,EAAE,UAAU,CAAC,mBAAmB,CAAC,kBAAkB;YAChE,QAAQ,EAAE,UAAU,CAAC,OAAO;YAC5B,KAAK;YACL,SAAS,EAAE,OAAO,CAChB,UAAU,CAAC,WAAW,EACtB,UAAU,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,SAAS,CAC5D;SACF,CAAC,CAAC;QACH,IAAI,CAAC,SAAS;YAAE,OAAO,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACxD,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,WAAW;YACjB,sBAAsB,EAAE,UAAU,CAAC,sBAAsB;YACzD,kBAAkB,EAAE,UAAU,CAAC,kBAAkB;YACjD,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE;YACnC,GAAG,KAAK;SACT,CAAC;QACJ,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,OAAO,CAAC,UAAsB,EAAE,KAAqB;IAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACvF,OAAO,aAAa,CAClB,UAAU,CAAC,sBAAsB,EACjC,UAAU,CAAC,kBAAkB,EAC7B,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,EAC1B,MAAM,EACN,KAAK,CACN,CAAC;AACJ,CAAC;AACD,SAAS,QAAQ,CAAC,IAAmB;IACnC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC,CAAC;AACL,CAAC;AACD,SAAS,WAAW,CAClB,UAAsB,EACtB,QAAmC;IAEnC,IAAI,CAAC;QACH,IAAI,UAAU,CAAC,YAAY,KAAK,IAAI;YAClC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,OAAO,wBAAwB,CAAC;YAC9B,UAAU,EAAE;gBACV,YAAY,EAAE,UAAU,CAAC,YAAY;gBACrC,WAAW,EAAE,GAAG;gBAChB,SAAS,EAAE,UAAU,CAAC,YAAY;aACnC;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,WAAW;YACjB,sBAAsB,EAAE,UAAU,CAAC,sBAAsB;YACzD,kBAAkB,EAAE,UAAU,CAAC,kBAAkB;YACjD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,CAAC;YAC/D,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE;SACpC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AACD,SAAS,iBAAiB,CACxB,KAEsE;IAEtE,OAAO,MAAM,IAAI,KAAK,CAAC;AACzB,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,kBAAkB,CAChC,UAAsB,EACtB,SAAoC;IAEpC,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACnD,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAClC,KAAK,EAAE,+BAA+B;QACtC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;QACrE,OAAO,EAAE;YACP,GAAG,YAAY,CAAC,SAAS,CAAC;YAC1B,iBAAiB,EAAE,yBAAyB;YAC5C,OAAO,EAAE,qBAAqB,CAAC,eAAe,CAAC;SAChD;KACF,CAAC,CAAC;IACH,MAAM,uBAAuB,GAAG,UAAU,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IACpE,IAAI,uBAAuB,KAAK,QAAQ;QAAE,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IACzF,IAAI,uBAAuB,KAAK,WAAW;QAAE,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAE/F,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IAC3C,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,WAAW,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACrC,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,CAAC;gBAC1C,CAAC,CAAC,aAAa,CACX,SAAS,CAAC,sBAAsB,EAChC,SAAS,CAAC,kBAAkB,EAC5B,OAAO,EACP,MAAM,EACN,kBAAkB,CAAC,SAAS,CAAC,CAC9B,CAAC;QACR,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YACvF,OAAO,aAAa,CAClB,SAAS,CAAC,sBAAsB,EAChC,SAAS,CAAC,kBAAkB,EAC5B,OAAO,EACP,MAAM,EACN,kBAAkB,CAAC,SAAS,CAAC,CAC9B,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAoC;IAC7D,IAAI,WAAW,IAAI,SAAS,IAAI,SAAS,CAAC,SAAS,KAAK,IAAI;QAC1D,OAAO,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;IAC3C,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IACvD,OAAO,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAmD;IAIhF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,SAAoC;IAexD,IAAI,CAAC,CAAC,UAAU,IAAI,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,SAAS,EAAE,IAAI;YACf,aAAa,EAAE,SAAS,CAAC,IAAI;YAC7B,MAAM,EAAE,IAAI;YACZ,SAAS,EAAE,EAAE;SACd,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,WAAW,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;QAChE,aAAa,EAAE,SAAS,CAAC,IAAI;QAC7B,GAAG,OAAO;KACX,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAsB;IAQ/C,MAAM,MAAM,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IAC1E,MAAM,SAAS,GAA0E,EAAE,CAAC;IAC5F,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;KACpC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAgB;IACtC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;AAC5F,CAAC;AAED,SAAS,aAAa,CACpB,KAAgB;IAIhB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC;QACjF,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,SAA6D;IAE7D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,cAAc,EAAE,SAAS,CAAC,cAAc;QACxC,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,QAAQ,EAAE,SAAS,CAAC,QAAQ;KAC7B,CAAC,CAAC;AACL,CAAC","sourcesContent":["import { resolve } from \"node:path\";\nimport { failedOutput } from \"./output-status.ts\";\nimport { publishMachineOutput } from \"./machine-publication.ts\";\nimport {\n  outputFailure,\n  type CheckDuration,\n  type CheckRunMessage,\n  type NonConfigurationRunResult,\n  type RunResultFacts\n} from \"./result.ts\";\nimport type { CheckAggregate } from \"./controls/contract.ts\";\nimport { diagnosticTags } from \"./diagnostic-logging/logger.ts\";\nimport type { Invocation } from \"./invocation.ts\";\nimport {\n  createPublicationModelV4,\n  type TrustedPublicationModelV4\n} from \"../machine-output/v4/publication-model.ts\";\nimport type { CoreCheck, CoreSnapshot } from \"../check-settlement/facts.ts\";\n\ntype OutcomeCounts = {\n  readonly failed: number;\n  readonly notApplicable: number;\n  readonly passed: number;\n  readonly unavailable: number;\n};\n\n/** Settled Check facts consumed by completion and output publication. */\nexport type CoreExecution = Readonly<{\n  readonly aggregate: CheckAggregate | null;\n  readonly checkDurations: readonly CheckDuration[];\n  readonly checkMessages: readonly CheckRunMessage[];\n  readonly snapshot: CoreSnapshot;\n}>;\n\nexport function completeInvocation(\n  invocation: Invocation,\n  core: CoreExecution\n): NonConfigurationRunResult {\n  const facts = runFacts(core);\n  if (invocation.outputConfiguration.machinePublication.enabled) {\n    const model = createModel(invocation, core.snapshot);\n    if (isExecutionResult(model)) return model;\n    const published = publishMachineOutput({\n      configuration: invocation.outputConfiguration.machinePublication,\n      statuses: invocation.outputs,\n      model,\n      directory: resolve(\n        invocation.projectRoot,\n        invocation.outputConfiguration.machinePublication.directory\n      )\n    });\n    if (!published) return failure(invocation, facts);\n  }\n  const output = failedOutput(invocation.outputs.value());\n  return output === undefined\n    ? Object.freeze({\n        kind: \"completed\",\n        declarativeFingerprint: invocation.declarativeFingerprint,\n        definitionWarnings: invocation.definitionWarnings,\n        outputs: invocation.outputs.value(),\n        ...facts\n      })\n    : failure(invocation, facts);\n}\nfunction failure(invocation: Invocation, facts: RunResultFacts): ReturnType<typeof outputFailure> {\n  const output = failedOutput(invocation.outputs.value());\n  if (output === undefined) throw new Error(\"Run output failed without a failed status\");\n  return outputFailure(\n    invocation.declarativeFingerprint,\n    invocation.definitionWarnings,\n    invocation.outputs.value(),\n    output,\n    facts\n  );\n}\nfunction runFacts(core: CoreExecution): RunResultFacts {\n  return Object.freeze({\n    aggregate: core.aggregate,\n    checkDurations: core.checkDurations,\n    checkMessages: core.checkMessages,\n    snapshot: core.snapshot\n  });\n}\nfunction createModel(\n  invocation: Invocation,\n  snapshot: CoreExecution[\"snapshot\"]\n): TrustedPublicationModelV4 | Extract<NonConfigurationRunResult, { readonly kind: \"execution\" }> {\n  try {\n    if (invocation.startedAtUtc === null)\n      throw new Error(\"Machine publication requires an invocation timestamp\");\n    return createPublicationModelV4({\n      invocation: {\n        invocationId: invocation.invocationId,\n        projectRoot: \".\",\n        timestamp: invocation.startedAtUtc\n      },\n      snapshot\n    });\n  } catch {\n    return Object.freeze({\n      kind: \"execution\",\n      declarativeFingerprint: invocation.declarativeFingerprint,\n      definitionWarnings: invocation.definitionWarnings,\n      diagnostic: Object.freeze({ code: \"publication-model-failed\" }),\n      outputs: invocation.outputs.value()\n    });\n  }\n}\nfunction isExecutionResult(\n  value:\n    | TrustedPublicationModelV4\n    | Extract<NonConfigurationRunResult, { readonly kind: \"execution\" }>\n): value is Extract<NonConfigurationRunResult, { readonly kind: \"execution\" }> {\n  return \"kind\" in value;\n}\n\n/** Closes diagnostic logging and applies final output priority to a non-configuration candidate. */\nexport function finalizeInvocation(\n  invocation: Invocation,\n  candidate: NonConfigurationRunResult\n): NonConfigurationRunResult {\n  const preCloseOutputs = invocation.outputs.value();\n  invocation.diagnosticLogger.observe({\n    event: \"run.terminal-before-log-close\",\n    tags: diagnosticTags(\"RUN\", \"TERMINAL\", terminalStatusTag(candidate)),\n    details: {\n      ...closingFacts(candidate),\n      diagnosticLogging: \"close-not-yet-confirmed\",\n      outputs: preCloseOutputDetails(preCloseOutputs)\n    }\n  });\n  const diagnosticLoggingStatus = invocation.diagnosticLogger.close();\n  if (diagnosticLoggingStatus === \"failed\") invocation.outputs.failed(\"diagnosticLogging\");\n  if (diagnosticLoggingStatus === \"succeeded\") invocation.outputs.succeeded(\"diagnosticLogging\");\n\n  const outputs = invocation.outputs.value();\n  switch (candidate.kind) {\n    case \"completed\": {\n      const output = failedOutput(outputs);\n      return output === undefined\n        ? Object.freeze({ ...candidate, outputs })\n        : outputFailure(\n            candidate.declarativeFingerprint,\n            candidate.definitionWarnings,\n            outputs,\n            output,\n            finalSnapshotFacts(candidate)\n          );\n    }\n    case \"output\": {\n      const output = failedOutput(outputs);\n      if (output === undefined) throw new Error(\"Run output failed without a failed status\");\n      return outputFailure(\n        candidate.declarativeFingerprint,\n        candidate.definitionWarnings,\n        outputs,\n        output,\n        finalSnapshotFacts(candidate)\n      );\n    }\n    case \"planning\":\n    case \"cancelled\":\n    case \"execution\":\n      return Object.freeze({ ...candidate, outputs });\n  }\n}\n\nfunction terminalStatusTag(candidate: NonConfigurationRunResult): string {\n  if (\"aggregate\" in candidate && candidate.aggregate !== null)\n    return candidate.aggregate.toUpperCase();\n  if (candidate.kind === \"cancelled\") return \"CANCELLED\";\n  return candidate.kind.toUpperCase();\n}\n\nfunction preCloseOutputDetails(outputs: ReturnType<Invocation[\"outputs\"][\"value\"]>): Readonly<{\n  readonly machinePublication: (typeof outputs)[\"machinePublication\"];\n  readonly progressRendering: (typeof outputs)[\"progressRendering\"];\n}> {\n  return Object.freeze({\n    machinePublication: outputs.machinePublication,\n    progressRendering: outputs.progressRendering\n  });\n}\n\nfunction closingFacts(candidate: NonConfigurationRunResult): Readonly<{\n  readonly aggregate: CheckAggregate | null;\n  readonly candidateKind: NonConfigurationRunResult[\"kind\"];\n  readonly counts: Readonly<{\n    readonly failed: number;\n    readonly notApplicable: number;\n    readonly passed: number;\n    readonly unavailable: number;\n  }> | null;\n  readonly nonPassed: readonly Readonly<{\n    readonly checkId: string;\n    readonly reason: unknown;\n    readonly status: string;\n  }>[];\n}> {\n  if (!(\"snapshot\" in candidate)) {\n    return Object.freeze({\n      aggregate: null,\n      candidateKind: candidate.kind,\n      counts: null,\n      nonPassed: []\n    });\n  }\n  const summary = summarizeSnapshot(candidate.snapshot);\n  return Object.freeze({\n    aggregate: \"aggregate\" in candidate ? candidate.aggregate : null,\n    candidateKind: candidate.kind,\n    ...summary\n  });\n}\n\nfunction summarizeSnapshot(snapshot: CoreSnapshot): Readonly<{\n  readonly counts: OutcomeCounts;\n  readonly nonPassed: readonly Readonly<{\n    readonly checkId: string;\n    readonly reason: unknown;\n    readonly status: string;\n  }>[];\n}> {\n  const counts = { failed: 0, notApplicable: 0, passed: 0, unavailable: 0 };\n  const nonPassed: Array<Readonly<{ checkId: string; reason: unknown; status: string }>> = [];\n  for (const check of snapshot.checks) {\n    counts[statusCountKey(check)] += 1;\n    const fact = nonPassedFact(check);\n    if (fact !== undefined) nonPassed.push(fact);\n  }\n  return Object.freeze({\n    counts: Object.freeze(counts),\n    nonPassed: Object.freeze(nonPassed)\n  });\n}\n\nfunction statusCountKey(check: CoreCheck): keyof OutcomeCounts {\n  return check.outcome.status === \"not-applicable\" ? \"notApplicable\" : check.outcome.status;\n}\n\nfunction nonPassedFact(\n  check: CoreCheck\n):\n  | Readonly<{ readonly checkId: string; readonly reason: unknown; readonly status: string }>\n  | undefined {\n  if (check.outcome.status === \"passed\") return undefined;\n  return Object.freeze({\n    checkId: check.checkId,\n    reason: check.outcome.status === \"failed\" ? null : (check.outcome.reason ?? null),\n    status: check.outcome.status\n  });\n}\n\nfunction finalSnapshotFacts(\n  candidate: Extract<NonConfigurationRunResult, RunResultFacts>\n): RunResultFacts {\n  return Object.freeze({\n    aggregate: candidate.aggregate,\n    checkDurations: candidate.checkDurations,\n    checkMessages: candidate.checkMessages,\n    snapshot: candidate.snapshot\n  });\n}\n"]}

package/dist/esm/project-run/controls/contract.mjs

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

package/dist/esm/project-run/controls/contract.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.mjs","sourceRoot":"","sources":["../../../../src/project-run/controls/contract.ts"],"names":[],"mappings":"","sourcesContent":["import type { ProjectOutputs } from \"../../project-definition/project-definition.ts\";\n/** 单次 run 调用的闭合上下文与 output override；Project Definition 保持为 authored input。 */\nexport interface RunControls {\n  readonly checkAggregation?: CheckAggregation;\n  /** 仅为本次调用覆盖 Run-owned outputs。 */\n  readonly outputs?: Partial<{\n    machinePublication: Partial<ProjectOutputs[\"machinePublication\"]>;\n    progressRendering: Partial<ProjectOutputs[\"progressRendering\"]>;\n    diagnosticLogging: Partial<ProjectOutputs[\"diagnosticLogging\"]>;\n  }>;\n  readonly flags?: readonly string[];\n  readonly projectRoot?: string;\n  readonly signal?: AbortSignal;\n}\n/** 将选定 Check statuses 折叠为 invocation aggregate 的规则。 */\nexport interface CheckAggregation {\n  readonly checks: \"all\" | readonly string[];\n  readonly mode: \"all\" | \"any\";\n  readonly unavailable: \"propagate\" | \"fail\" | \"exclude\";\n  readonly notApplicable: \"exclude\" | \"pass\" | \"fail\";\n  readonly empty: \"passed\" | \"failed\" | \"not-applicable\";\n}\n/** `CheckAggregation` 计算出的 invocation 级结果。 */\nexport type CheckAggregate = \"passed\" | \"failed\" | \"not-applicable\" | \"unavailable\";\n"]}

package/dist/esm/project-run/controls/outputs-override-validation.mjs

@@ -0,0 +1,61 @@
+import { snapshotClosedRecord } from "../../data-boundary/closed-values.mjs";
+import { isContainedRelativeDirectory } from "../../project-definition/output-validation.mjs";
+/** Parses invocation-local outputs without changing Definition defaults. */
+export function parseOutputsOverride(value) {
+    const data = snapshotClosedRecord(value);
+    if (data === undefined ||
+        Object.keys(data).some((key) => key !== "machinePublication" && key !== "progressRendering" && key !== "diagnosticLogging"))
+        return undefined;
+    const machinePublication = optionalOutput(data, "machinePublication", parseDirectoryOutputOverride);
+    const progressRendering = optionalOutput(data, "progressRendering", parseProgressOutputOverride);
+    const diagnosticLogging = optionalOutput(data, "diagnosticLogging", parseDiagnosticLoggingOverride);
+    if (!machinePublication.ok || !progressRendering.ok || !diagnosticLogging.ok)
+        return undefined;
+    return Object.freeze({
+        ...(machinePublication.value === undefined
+            ? {}
+            : { machinePublication: machinePublication.value }),
+        ...(progressRendering.value === undefined
+            ? {}
+            : { progressRendering: progressRendering.value }),
+        ...(diagnosticLogging.value === undefined ? {} : { diagnosticLogging: diagnosticLogging.value })
+    });
+}
+function optionalOutput(value, key, parse) {
+    if (value[key] === undefined)
+        return Object.freeze({ ok: true });
+    const parsed = parse(value[key]);
+    return parsed === undefined
+        ? Object.freeze({ ok: false })
+        : Object.freeze({ ok: true, value: parsed });
+}
+function parseDirectoryOutputOverride(value) {
+    const data = snapshotClosedRecord(value);
+    if (data === undefined ||
+        Object.keys(data).some((key) => key !== "directory" && key !== "enabled"))
+        return undefined;
+    if (data.directory !== undefined && typeof data.directory !== "string")
+        return undefined;
+    if (data.enabled !== undefined && typeof data.enabled !== "boolean")
+        return undefined;
+    return Object.freeze({
+        ...(data.directory === undefined ? {} : { directory: data.directory }),
+        ...(data.enabled === undefined ? {} : { enabled: data.enabled })
+    });
+}
+function parseProgressOutputOverride(value) {
+    const data = snapshotClosedRecord(value);
+    if (data === undefined || Object.keys(data).some((key) => key !== "enabled"))
+        return undefined;
+    if (data.enabled !== undefined && typeof data.enabled !== "boolean")
+        return undefined;
+    return Object.freeze(data.enabled === undefined ? {} : { enabled: data.enabled });
+}
+function parseDiagnosticLoggingOverride(value) {
+    const parsed = parseDirectoryOutputOverride(value);
+    return parsed === undefined ||
+        (parsed.directory !== undefined && !isContainedRelativeDirectory(parsed.directory))
+        ? undefined
+        : parsed;
+}
+//# sourceMappingURL=outputs-override-validation.mjs.map

package/dist/esm/project-run/controls/outputs-override-validation.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"outputs-override-validation.mjs","sourceRoot":"","sources":["../../../../src/project-run/controls/outputs-override-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAS7F,4EAA4E;AAC5E,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IACE,IAAI,KAAK,SAAS;QAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,KAAK,oBAAoB,IAAI,GAAG,KAAK,mBAAmB,IAAI,GAAG,KAAK,mBAAmB,CAC7F;QAED,OAAO,SAAS,CAAC;IACnB,MAAM,kBAAkB,GAAG,cAAc,CACvC,IAAI,EACJ,oBAAoB,EACpB,4BAA4B,CAC7B,CAAC;IACF,MAAM,iBAAiB,GAAG,cAAc,CAAC,IAAI,EAAE,mBAAmB,EAAE,2BAA2B,CAAC,CAAC;IACjG,MAAM,iBAAiB,GAAG,cAAc,CACtC,IAAI,EACJ,mBAAmB,EACnB,8BAA8B,CAC/B,CAAC;IACF,IAAI,CAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC/F,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,CAAC,kBAAkB,CAAC,KAAK,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,KAAK,EAAE,CAAC;QACrD,GAAG,CAAC,iBAAiB,CAAC,KAAK,KAAK,SAAS;YACvC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACnD,GAAG,CAAC,iBAAiB,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,KAAK,EAAE,CAAC;KACjG,CAAC,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CACrB,KAAwC,EACxC,GAAW,EACX,KAA4C;IAE5C,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;QAC9B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AACjD,CAAC;AACD,SAAS,4BAA4B,CAAC,KAAc;IAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IACE,IAAI,KAAK,SAAS;QAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,SAAS,CAAC;QAEzE,OAAO,SAAS,CAAC;IACnB,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACzF,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QACtE,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;KACjE,CAAC,CAAC;AACL,CAAC;AACD,SAAS,2BAA2B,CAClC,KAAc;IAEd,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/F,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtF,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,8BAA8B,CACrC,KAAc;IAEd,MAAM,MAAM,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACnF,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC;AACb,CAAC","sourcesContent":["import { snapshotClosedRecord } from \"../../data-boundary/closed-values.ts\";\nimport { isContainedRelativeDirectory } from \"../../project-definition/output-validation.ts\";\nimport type { ProjectOutputs } from \"../../project-definition/project-definition.ts\";\nimport type { RunControls } from \"./contract.ts\";\n\ntype DirectoryOutputOverride = Readonly<{\n  readonly directory?: string;\n  readonly enabled?: boolean;\n}>;\n\n/** Parses invocation-local outputs without changing Definition defaults. */\nexport function parseOutputsOverride(value: unknown): RunControls[\"outputs\"] | undefined {\n  const data = snapshotClosedRecord(value);\n  if (\n    data === undefined ||\n    Object.keys(data).some(\n      (key) =>\n        key !== \"machinePublication\" && key !== \"progressRendering\" && key !== \"diagnosticLogging\"\n    )\n  )\n    return undefined;\n  const machinePublication = optionalOutput(\n    data,\n    \"machinePublication\",\n    parseDirectoryOutputOverride\n  );\n  const progressRendering = optionalOutput(data, \"progressRendering\", parseProgressOutputOverride);\n  const diagnosticLogging = optionalOutput(\n    data,\n    \"diagnosticLogging\",\n    parseDiagnosticLoggingOverride\n  );\n  if (!machinePublication.ok || !progressRendering.ok || !diagnosticLogging.ok) return undefined;\n  return Object.freeze({\n    ...(machinePublication.value === undefined\n      ? {}\n      : { machinePublication: machinePublication.value }),\n    ...(progressRendering.value === undefined\n      ? {}\n      : { progressRendering: progressRendering.value }),\n    ...(diagnosticLogging.value === undefined ? {} : { diagnosticLogging: diagnosticLogging.value })\n  });\n}\nfunction optionalOutput<T>(\n  value: Readonly<Record<string, unknown>>,\n  key: string,\n  parse: (candidate: unknown) => T | undefined\n): Readonly<{ readonly ok: boolean; readonly value?: T }> {\n  if (value[key] === undefined) return Object.freeze({ ok: true });\n  const parsed = parse(value[key]);\n  return parsed === undefined\n    ? Object.freeze({ ok: false })\n    : Object.freeze({ ok: true, value: parsed });\n}\nfunction parseDirectoryOutputOverride(value: unknown): DirectoryOutputOverride | undefined {\n  const data = snapshotClosedRecord(value);\n  if (\n    data === undefined ||\n    Object.keys(data).some((key) => key !== \"directory\" && key !== \"enabled\")\n  )\n    return undefined;\n  if (data.directory !== undefined && typeof data.directory !== \"string\") return undefined;\n  if (data.enabled !== undefined && typeof data.enabled !== \"boolean\") return undefined;\n  return Object.freeze({\n    ...(data.directory === undefined ? {} : { directory: data.directory }),\n    ...(data.enabled === undefined ? {} : { enabled: data.enabled })\n  });\n}\nfunction parseProgressOutputOverride(\n  value: unknown\n): Partial<ProjectOutputs[\"progressRendering\"]> | undefined {\n  const data = snapshotClosedRecord(value);\n  if (data === undefined || Object.keys(data).some((key) => key !== \"enabled\")) return undefined;\n  if (data.enabled !== undefined && typeof data.enabled !== \"boolean\") return undefined;\n  return Object.freeze(data.enabled === undefined ? {} : { enabled: data.enabled });\n}\n\nfunction parseDiagnosticLoggingOverride(\n  value: unknown\n): Partial<ProjectOutputs[\"diagnosticLogging\"]> | undefined {\n  const parsed = parseDirectoryOutputOverride(value);\n  return parsed === undefined ||\n    (parsed.directory !== undefined && !isContainedRelativeDirectory(parsed.directory))\n    ? undefined\n    : parsed;\n}\n"]}

package/dist/esm/project-run/controls/validation-result.mjs

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

package/dist/esm/project-run/controls/validation-result.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-result.mjs","sourceRoot":"","sources":["../../../../src/project-run/controls/validation-result.ts"],"names":[],"mappings":"","sourcesContent":["/** Diagnostic emitted when one invocation control is not a closed supported value. */\nexport interface RunControlDiagnostic {\n  readonly kind: \"invalid-run-controls\";\n  readonly path: string;\n  readonly reason: \"invalid-value\" | \"unknown-key\";\n}\n\n/** Closed validation result for a Run-owned invocation control. */\nexport type RunControlValidationResult<T> = Readonly<\n  | { readonly ok: true; readonly value: T }\n  | { readonly ok: false; readonly error: RunControlDiagnostic }\n>;\n"]}