npm - @zxyycom/vibe-check - Versions diffs - 0.0.1 → 0.0.3 - Mend

@zxyycom/vibe-check 0.0.1 → 0.0.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1190) hide show

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

@@ -0,0 +1 @@

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

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

@@ -1,15 +1,93 @@
+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 = readDependency(input.session, input.directDependencyIds, 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({
+                event: "dependency.list",
+                tags: diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION", "DEPENDENCY-LIST"),
+                details: directRelationListDetails(observations)
+            });
+            return observations;
+        }
+    });
+}
+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) })));
+}
+function directRelationListDetails(observations) {
+    return Object.freeze({
+        dependencyIds: Object.freeze(observations.map(({ checkId }) => checkId)),
+        count: observations.length
     });
 }
 function dependencyReadDetails(requestedCheckId, result) {
@@ -23,8 +101,23 @@ function dependencyReadDetails(requestedCheckId, result) {
         status: result.status
     });
 }
-function readDependency(session, directDependencyIds, checkId) {
-    if (typeof checkId !== "string" || !directDependencyIds.includes(checkId)) {
+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);
     }
     return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));

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

	@@ -1 +1 @@
1	- {"version":3,"file":"dependencies.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/dependencies.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AAExF,MAAM,UAAU,uBAAuB,CACrC,KAKE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,EAAE,CAAC,YAAoB,EAAwB,EAAE;YAClD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC;YACtF,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,iBAAiB;gBACxB,IAAI,EAAE,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC;gBAC9E,OAAO,EAAE,qBAAqB,CAAC,YAAY,EAAE,MAAM,CAAC;aACrD,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,gBAAyB,EACzB,MAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI;QACb,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,MAAM,CAAC,OAAO;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,OAAyB,EACzB,mBAAsC,EACtC,OAAe;IAEf,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe,EAAE,OAAqB;IAClE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;KAC7F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAgB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;SACpD,CAAC;KACH,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type { CheckDependencies, CheckOutcome, DependencyReadResult } from \"../../check/check.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\n\nexport function createCheckDependencies(\n input: Readonly<{\n readonly checkId: string;\n readonly diagnosticLogger: DiagnosticLogger \| undefined;\n readonly directDependencyIds: readonly string[];\n readonly session: CoreCheckSession;\n }>\n): CheckDependencies {\n return Object.freeze({\n get: (dependencyId: string): DependencyReadResult => {\n const result = readDependency(input.session, input.directDependencyIds, dependencyId);\n input.diagnosticLogger?.observe({\n event: \"dependency.read\",\n tags: diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\", \"DEPENDENCY-READ\"),\n details: dependencyReadDetails(dependencyId, result)\n });\n return result;\n }\n });\n}\n\nfunction dependencyReadDetails(\n requestedCheckId: unknown,\n result: DependencyReadResult\n): Readonly<Record<string, unknown>> {\n if (!result.ok) {\n return Object.freeze({ error: result.error, ok: false, requestedCheckId });\n }\n return Object.freeze({\n hasData: true,\n ok: true,\n producer: result.checkId,\n status: result.status\n });\n}\n\nfunction readDependency(\n session: CoreCheckSession,\n directDependencyIds: readonly string[],\n checkId: string\n): DependencyReadResult {\n if (typeof checkId !== \"string\" \|\| !directDependencyIds.includes(checkId)) {\n return dependencyNotDeclared(checkId);\n }\n return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));\n}\n\nfunction dependencyReadResult(checkId: string, outcome: CheckOutcome): DependencyReadResult {\n if (outcome.status === \"passed\" \|\| outcome.status === \"failed\") {\n return Object.freeze({ ok: true, checkId, status: outcome.status, data: outcome.data });\n }\n return Object.freeze({\n ok: false,\n error: Object.freeze({ code: \"upstream-data-unavailable\", checkId, status: outcome.status })\n });\n}\n\nfunction dependencyNotDeclared(checkId: unknown): DependencyReadResult {\n return Object.freeze({\n ok: false,\n error: Object.freeze({\n code: \"dependency-not-declared\",\n checkId: typeof checkId === \"string\" ? checkId : \"\"\n })\n });\n}\n"]}
1	+ {"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 CHANGED Viewed

@@ -4,31 +4,46 @@ const EMPTY_MESSAGES = Object.freeze([]);
 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 === undefined ? {} : { terminalSchedulerMeasurement })
+            });
+        }
         if (input.graphRun.cancelled) {
+            const terminalSchedulerMeasurement = input.graphRun.terminalMeasurement;
             return closeCancelledExecution({
                 normalizedChecks: input.allChecks,
-                preparedChecks: input.readyChecks,
-                state: input.state
+                state: input.state,
+                ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })
             });
         }
-        assertEveryCheckClosed(input.readyChecks, input.graphRun.settlements);
-        return resolvedExecution("completed", input.state.session.freeze(), input.state);
+        assertEveryCheckClosed(input.allChecks, input.graphRun.settlements);
+        return completedResolvedExecution(input.effectiveCheckIds, input.state.session.freeze(), input.state, input.graphRun.terminalMeasurement);
     }
     catch (error) {
         throw trustedFailure(error);
     }
 }
+export function closeAdmissionPolicyFailed(input) {
+    input.state.session.closeUnresolvedAsCancelled();
+    const snapshot = input.state.session.freeze();
+    settleUnstartedCancelledChecks({ ...input, snapshot });
+    return resolvedExecution("admission-policy-failed", snapshot, input.state, input.terminalSchedulerMeasurement);
+}
 export function closeCancelledExecution(input) {
     input.state.session.closeUnresolvedAsCancelled();
     const snapshot = input.state.session.freeze();
     settleUnstartedCancelledChecks({ ...input, snapshot });
-    return resolvedExecution("cancelled", snapshot, input.state);
+    return resolvedExecution("cancelled", snapshot, input.state, input.terminalSchedulerMeasurement);
 }
 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) {
@@ -36,16 +51,25 @@ export function trustedFailure(error) {
         ? error
         : new CheckExecutionInvariantFailure("Check execution adapter escaped its contained failure boundary");
 }
-function resolvedExecution(kind, snapshot, state) {
+function resolvedExecution(kind, snapshot, state, terminalSchedulerMeasurement) {
     return Object.freeze({
         kind,
         ...checkRunSummaries(snapshot, state.settledFactsByCheckId),
-        snapshot
+        snapshot,
+        ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })
+    });
+}
+function completedResolvedExecution(effectiveCheckIds, snapshot, state, terminalSchedulerMeasurement) {
+    return Object.freeze({
+        kind: "completed",
+        ...checkRunSummaries(snapshot, state.settledFactsByCheckId),
+        effectiveCheckIds,
+        snapshot,
+        ...(terminalSchedulerMeasurement === undefined ? {} : { terminalSchedulerMeasurement })
     });
 }
 function settleUnstartedCancelledChecks(input) {
     const normalizedByCheckId = new Map(input.normalizedChecks.map((check) => [check.definition.checkId, check]));
-    const preparedByCheckId = new Map(input.preparedChecks.map((check) => [check.definition.checkId, check]));
     for (const check of input.snapshot.checks) {
         if (input.state.settledFactsByCheckId.has(check.checkId))
             continue;
@@ -56,7 +80,7 @@ function settleUnstartedCancelledChecks(input) {
         recordSettledCheck({
             check: checkIdentity(normalized),
             durationMs: null,
-            messages: preparedByCheckId.get(check.checkId)?.preflightMessages ?? EMPTY_MESSAGES,
+            messages: EMPTY_MESSAGES,
             outcome: check.outcome,
             phase: "execution",
             state: input.state
@@ -74,7 +98,10 @@ function checkRunSummaries(snapshot, settledFactsByCheckId) {
         if (settledFacts === undefined) {
             throw new CheckExecutionInvariantFailure("Check settled facts are missing a Check");
         }
-        checkDurations.push(Object.freeze({ checkId: check.checkId, durationMs: settledFacts.durationMs }));
+        checkDurations.push(Object.freeze({
+            checkId: check.checkId,
+            durationMs: settledFacts.durationMs
+        }));
         messages.push(...settledFacts.messages.map((message) => Object.freeze({ checkId: check.checkId, ...message })));
     }
     return Object.freeze({
@@ -82,14 +109,30 @@ function checkRunSummaries(snapshot, settledFactsByCheckId) {
         checkMessages: messages.length === 0 ? Object.freeze([]) : Object.freeze(messages)
     });
 }
+/** Closes one Scheduler-blocked Check before a terminal observer may start. */
+export function settleBlockedDependent(input) {
+    const scope = input.state.session.openCheckScope(input.check.definition.checkId);
+    const outcome = scope.settleProduct(Object.freeze({
+        status: "unavailable",
+        reason: Object.freeze({
+            code: "dependency-not-passed",
+            checkIds: Object.freeze([...input.dependencyIds])
+        })
+    }));
+    recordSettledCheck({
+        check: checkIdentity(input.check),
+        durationMs: null,
+        messages: EMPTY_MESSAGES,
+        outcome,
+        phase: "dependency",
+        state: input.state
+    });
+}
 function assertNoTaskEngineFailures(settlements) {
     for (const settled of settlements) {
         if (settled.settlement.kind === "failed") {
             throw new CheckExecutionInvariantFailure("Task engine received an unexpected execution failure");
         }
-        if (settled.settlement.kind === "blocked") {
-            throw new CheckExecutionInvariantFailure("Task engine blocked a Product Check");
-        }
     }
 }
 function assertEveryCheckClosed(checks, settlements) {

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

	@@ -1 +1 @@
1	- {"version":3,"file":"execution-finalization.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-finalization.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AAInC,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,SAAS,EAAE,CAAC;YAC7B,OAAO,uBAAuB,CAAC;gBAC7B,gBAAgB,EAAE,KAAK,CAAC,SAAS;gBACjC,cAAc,EAAE,KAAK,CAAC,WAAW;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAC,CAAC;QACL,CAAC;QACD,sBAAsB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtE,OAAO,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;AACH,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,CAAC,CAAC;AAC/D,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,IAAoC,EACpC,QAAsB,EACtB,KAA0B;IAE1B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC;QAC3D,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,KAKE;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,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CACvE,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,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,iBAAiB,IAAI,cAAc;YACnF,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,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC,CAC/E,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,SAAS,0BAA0B,CAAC,WAAyC;IAC3E,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;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,IAAI,8BAA8B,CAAC,qCAAqC,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAkC,EAClC,WAAyC;IAEzC,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 { NormalizedCheck } 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 SettledCheckFacts\n} from \"./execution-settlement.ts\";\nimport type { PreparedCheck } from \"./preflight.ts\";\nimport type { CheckExecutionState, ResolvedCheckExecution } from \"./resolved-checks.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 graphRun: Awaited<\n ReturnType<typeof import(\"../task-scheduler/scheduler.ts\").runTaskGraph<void>>\n >;\n readonly readyChecks: readonly PreparedCheck[];\n readonly state: CheckExecutionState;\n }>\n): ResolvedCheckExecution {\n try {\n assertNoTaskEngineFailures(input.graphRun.settlements);\n if (input.graphRun.cancelled) {\n return closeCancelledExecution({\n normalizedChecks: input.allChecks,\n preparedChecks: input.readyChecks,\n state: input.state\n });\n }\n assertEveryCheckClosed(input.readyChecks, input.graphRun.settlements);\n return resolvedExecution(\"completed\", input.state.session.freeze(), input.state);\n } catch (error) {\n throw trustedFailure(error);\n }\n}\n\nexport function closeCancelledExecution(\n input: Readonly<{\n readonly normalizedChecks: readonly NormalizedCheck[];\n readonly preparedChecks: readonly PreparedCheck[];\n readonly state: CheckExecutionState;\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);\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: ResolvedCheckExecution[\"kind\"],\n snapshot: CoreSnapshot,\n state: CheckExecutionState\n): ResolvedCheckExecution {\n return Object.freeze({\n kind,\n ...checkRunSummaries(snapshot, state.settledFactsByCheckId),\n snapshot\n });\n}\n\nfunction settleUnstartedCancelledChecks(\n input: Readonly<{\n readonly normalizedChecks: readonly NormalizedCheck[];\n readonly preparedChecks: readonly PreparedCheck[];\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 const preparedByCheckId = new Map(\n input.preparedChecks.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: preparedByCheckId.get(check.checkId)?.preflightMessages ?? 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({ checkId: check.checkId, durationMs: settledFacts.durationMs })\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\nfunction assertNoTaskEngineFailures(settlements: readonly SettledTask<void>[]): 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 if (settled.settlement.kind === \"blocked\") {\n throw new CheckExecutionInvariantFailure(\"Task engine blocked a Product Check\");\n }\n }\n}\n\nfunction assertEveryCheckClosed(\n checks: readonly NormalizedCheck[],\n settlements: readonly SettledTask<void>[]\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"]}
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,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"]}

package/dist/esm/project-run/check-execution/execution-settlement.mjs CHANGED Viewed

@@ -1,5 +1,6 @@
 import { diagnosticTags, summarizeDiagnosticValue } from "../diagnostic-logging/logger.mjs";
-import { parseCheckTerminalResult } from "./terminal-result.mjs";
+import { diagnosticCallbackResult, parseCheckTerminalResult } from "./terminal-result.mjs";
+import { combineCheckMessages } from "./messages.mjs";
 export class CheckExecutionInvariantFailure extends Error {
     constructor(message) {
         super(message);
@@ -7,35 +8,59 @@ export class CheckExecutionInvariantFailure extends Error {
     }
 }
 export function settleCallback(input) {
+    return input.callback.source === "product"
+        ? settleProductCallback(input, input.callback)
+        : settleAuthorCallback(input, input.callback);
+}
+/** Product-controlled callback failures settle without author-result parsing or handoff publication. */
+function settleProductCallback(input, callback) {
+    const outcome = input.scope.settleProduct(callback.result);
+    return Object.freeze({
+        messages: combineCheckMessages(input.preparationMessages, callback.consoleMessages),
+        outcome
+    });
+}
+/** Parses an author result, settles it in Core, then commits its reference only after acceptance. */
+function settleAuthorCallback(input, callback) {
     const executionTags = diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION");
-    const { callback } = input;
-    if (callback.source === "product") {
-        const outcome = input.scope.settleProduct(callback.result);
-        return Object.freeze({ messages: input.preflightMessages, outcome });
-    }
-    const terminal = parseCheckTerminalResult(callback.result);
+    const terminal = parseCheckTerminalResult(callback.result, input.handoff);
     if (terminal === undefined) {
         input.diagnosticLogger?.observe({
             event: "callback.malformed",
             tags: diagnosticTags(...executionTags, "MALFORMED"),
-            details: { result: callback.result }
+            details: { result: diagnosticCallbackResult(callback.result, input.handoff) }
         });
     }
-    const settlement = input.scope.settle(terminal?.result ?? callback.result);
+    const settlement = input.scope.settle(callbackSettlementCandidate(terminal, input.handoff, callback.result));
     if (terminal !== undefined && !settlement.authorResultAccepted) {
         input.diagnosticLogger?.observe({
             event: "check.contained",
             tags: diagnosticTags(...executionTags, "CONTAINED"),
-            details: { outcome: diagnosticOutcome(settlement.outcome), raw: callback.result }
+            details: { outcome: diagnosticOutcome(settlement.outcome), raw: terminal.result }
         });
     }
+    if (terminal?.handoff !== undefined && settlement.authorResultAccepted) {
+        commitAcceptedHandoff(input.checkId, terminal.handoff, input.state);
+    }
     return Object.freeze({
         messages: terminal !== undefined && settlement.authorResultAccepted
-            ? Object.freeze([...input.preflightMessages, ...terminal.messages])
-            : input.preflightMessages,
+            ? combineCheckMessages(input.preparationMessages, callback.consoleMessages, terminal.messages)
+            : combineCheckMessages(input.preparationMessages, callback.consoleMessages),
         outcome: settlement.outcome
     });
 }
+/** A declared callback never sends its raw result to Core when terminal parsing rejects the handoff. */
+function callbackSettlementCandidate(terminal, handoff, rawResult) {
+    if (terminal !== undefined)
+        return terminal.result;
+    return handoff === undefined ? rawResult : undefined;
+}
+function commitAcceptedHandoff(checkId, handoff, state) {
+    if (state.handoffsByCheckId.has(checkId)) {
+        throw new CheckExecutionInvariantFailure("Check handoff published more than once");
+    }
+    state.handoffsByCheckId.set(checkId, handoff);
+}
 /** Records one terminal Check lifecycle fact after its owning Core scope has closed. */
 export function recordSettledCheck(input) {
     if (input.state.settledFactsByCheckId.has(input.check.checkId)) {
@@ -47,7 +72,8 @@ export function recordSettledCheck(input) {
         tags: diagnosticTags(`CHECK:${input.check.checkId}`, input.phase.toUpperCase(), "FINISHED", input.outcome.status.toUpperCase()),
         details: {
             durationMs: input.durationMs,
-            ...(input.messages.length === 0 ? {} : { messages: input.messages }),
+            messageCount: input.messages.length,
+            phase: input.phase,
             ...diagnosticSettledOutcome(input.outcome)
         }
     });
@@ -57,20 +83,19 @@ export function recordSettledCheck(input) {
         outcome: input.outcome,
         durationMs: input.durationMs,
         messages: input.messages,
-        visibility: input.check.visibility
+        records: input.state.session.readSettledCheckRecords(input.check.checkId),
+        omitQuietPassedRow: input.check.omitQuietPassedRow
     }));
 }
 function diagnosticSettledOutcome(outcome) {
     switch (outcome.status) {
         case "passed":
         case "failed":
-            return Object.freeze({ data: summarizeDiagnosticValue(outcome.data) });
+            return Object.freeze({ status: outcome.status });
         case "not-applicable":
-            return outcome.reason === undefined
-                ? Object.freeze({})
-                : Object.freeze({ reason: outcome.reason });
+            return Object.freeze({ reasonCode: outcome.reason?.code ?? null, status: outcome.status });
         case "unavailable":
-            return Object.freeze({ reason: outcome.reason });
+            return Object.freeze({ reasonCode: outcome.reason.code, status: outcome.status });
     }
 }
 function diagnosticOutcome(outcome) {

package/dist/esm/project-run/check-execution/execution-settlement.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"execution-settlement.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-settlement.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,cAAc,EACd,wBAAwB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAqBhE,MAAM,OAAO,8BAA+B,SAAQ,KAAK;IACvD,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;IAC/C,CAAC;CACF;AAED,MAAM,UAAU,cAAc,CAC5B,KAME;IAEF,MAAM,aAAa,GAAG,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;IAC5E,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,oBAAoB;YAC3B,IAAI,EAAE,cAAc,CAAC,GAAG,aAAa,EAAE,WAAW,CAAC;YACnD,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;SACrC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3E,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;QAC/D,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,iBAAiB;YACxB,IAAI,EAAE,cAAc,CAAC,GAAG,aAAa,EAAE,WAAW,CAAC;YACnD,OAAO,EAAE,EAAE,OAAO,EAAE,iBAAiB,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE;SAClF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EACN,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,oBAAoB;YACvD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACnE,CAAC,CAAC,KAAK,CAAC,iBAAiB;QAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,kBAAkB,CAChC,KAOE;IAEF,IAAI,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,8BAA8B,CAAC,wCAAwC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CACnC,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAC1E,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;QACpC,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,cAAc,CAClB,SAAS,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAC9B,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,EACzB,UAAU,EACV,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CACnC;QACD,OAAO,EAAE;YACP,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpE,GAAG,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC;SAC3C;KACF,CAAC,CAAC;IACH,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC;QACZ,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;QAC5B,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW;QACpC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;KACnC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAqB;IACrD,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzE,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS;gBACjC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC;gBAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAC;QACL,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage, CheckOutcome, CheckVisibility } from \"../../check/check.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport {\n diagnosticTags,\n summarizeDiagnosticValue,\n type DiagnosticLogger\n} from \"../diagnostic-logging/logger.ts\";\nimport { parseCheckTerminalResult } from \"./terminal-result.ts\";\nimport type { CheckExecutionLifecycle } from \"./resolved-checks.ts\";\nimport type { executeCheckCallback } from \"./callback.ts\";\n\nexport type CheckIdentity = Readonly<{\n readonly checkId: string;\n readonly displayName: string;\n readonly visibility: CheckVisibility;\n}>;\n\nexport interface SettledCheckFacts {\n readonly durationMs: number \| null;\n readonly messages: readonly CheckMessage[];\n}\n\nexport type CheckExecutionSettlementState = Readonly<{\n readonly diagnosticLogger: DiagnosticLogger \| undefined;\n readonly lifecycle: CheckExecutionLifecycle \| undefined;\n readonly settledFactsByCheckId: Map<string, SettledCheckFacts>;\n}>;\n\nexport class CheckExecutionInvariantFailure extends Error {\n public constructor(message: string) {\n super(message);\n this.name = \"CheckExecutionInvariantFailure\";\n }\n}\n\nexport function settleCallback(\n input: Readonly<{\n readonly callback: Awaited<ReturnType<typeof executeCheckCallback>>;\n readonly checkId: string;\n readonly diagnosticLogger: DiagnosticLogger \| undefined;\n readonly preflightMessages: readonly CheckMessage[];\n readonly scope: ReturnType<CoreCheckSession[\"openCheckScope\"]>;\n }>\n): Readonly<{ readonly messages: readonly CheckMessage[]; readonly outcome: CheckOutcome }> {\n const executionTags = diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\");\n const { callback } = input;\n if (callback.source === \"product\") {\n const outcome = input.scope.settleProduct(callback.result);\n return Object.freeze({ messages: input.preflightMessages, outcome });\n }\n const terminal = parseCheckTerminalResult(callback.result);\n if (terminal === undefined) {\n input.diagnosticLogger?.observe({\n event: \"callback.malformed\",\n tags: diagnosticTags(...executionTags, \"MALFORMED\"),\n details: { result: callback.result }\n });\n }\n const settlement = input.scope.settle(terminal?.result ?? callback.result);\n if (terminal !== undefined && !settlement.authorResultAccepted) {\n input.diagnosticLogger?.observe({\n event: \"check.contained\",\n tags: diagnosticTags(...executionTags, \"CONTAINED\"),\n details: { outcome: diagnosticOutcome(settlement.outcome), raw: callback.result }\n });\n }\n return Object.freeze({\n messages:\n terminal !== undefined && settlement.authorResultAccepted\n ? Object.freeze([...input.preflightMessages, ...terminal.messages])\n : input.preflightMessages,\n outcome: settlement.outcome\n });\n}\n\n/** Records one terminal Check lifecycle fact after its owning Core scope has closed. */\nexport function recordSettledCheck(\n input: Readonly<{\n readonly check: CheckIdentity;\n readonly durationMs: number \| null;\n readonly messages: readonly CheckMessage[];\n readonly outcome: CheckOutcome;\n readonly phase: \"execution\" \| \"preflight\";\n readonly state: CheckExecutionSettlementState;\n }>\n): void {\n if (input.state.settledFactsByCheckId.has(input.check.checkId)) {\n throw new CheckExecutionInvariantFailure(\"Check lifecycle settled more than once\");\n }\n input.state.settledFactsByCheckId.set(\n input.check.checkId,\n Object.freeze({ durationMs: input.durationMs, messages: input.messages })\n );\n input.state.diagnosticLogger?.observe({\n event: \"check.finished\",\n tags: diagnosticTags(\n `CHECK:${input.check.checkId}`,\n input.phase.toUpperCase(),\n \"FINISHED\",\n input.outcome.status.toUpperCase()\n ),\n details: {\n durationMs: input.durationMs,\n ...(input.messages.length === 0 ? {} : { messages: input.messages }),\n ...diagnosticSettledOutcome(input.outcome)\n }\n });\n input.state.lifecycle?.settled(\n Object.freeze({\n checkId: input.check.checkId,\n displayName: input.check.displayName,\n outcome: input.outcome,\n durationMs: input.durationMs,\n messages: input.messages,\n visibility: input.check.visibility\n })\n );\n}\n\nfunction diagnosticSettledOutcome(outcome: CheckOutcome): Readonly<Record<string, unknown>> {\n switch (outcome.status) {\n case \"passed\":\n case \"failed\":\n return Object.freeze({ data: summarizeDiagnosticValue(outcome.data) });\n case \"not-applicable\":\n return outcome.reason === undefined\n ? Object.freeze({})\n : Object.freeze({ reason: outcome.reason });\n case \"unavailable\":\n return Object.freeze({ reason: outcome.reason });\n }\n}\n\nfunction diagnosticOutcome(outcome: CheckOutcome): Readonly<Record<string, unknown>> {\n switch (outcome.status) {\n case \"passed\":\n case \"failed\":\n return Object.freeze({\n data: summarizeDiagnosticValue(outcome.data),\n status: outcome.status\n });\n case \"not-applicable\":\n return Object.freeze({ reason: outcome.reason ?? null, status: outcome.status });\n case \"unavailable\":\n return Object.freeze({ reason: outcome.reason, status: outcome.status });\n }\n}\n"]}
1	+ {"version":3,"file":"execution-settlement.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/execution-settlement.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,cAAc,EACd,wBAAwB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EAEzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AA0BrD,MAAM,OAAO,8BAA+B,SAAQ,KAAK;IACvD,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;IAC/C,CAAC;CACF;AAmBD,MAAM,UAAU,cAAc,CAAC,KAA0B;IACvD,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;QACxC,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC;QAC9C,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED,wGAAwG;AACxG,SAAS,qBAAqB,CAC5B,KAA0B,EAC1B,QAAyB;IAEzB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,oBAAoB,CAAC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,CAAC,eAAe,CAAC;QACnF,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED,qGAAqG;AACrG,SAAS,oBAAoB,CAC3B,KAA0B,EAC1B,QAAwB;IAExB,MAAM,aAAa,GAAG,cAAc,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,oBAAoB;YAC3B,IAAI,EAAE,cAAc,CAAC,GAAG,aAAa,EAAE,WAAW,CAAC;YACnD,OAAO,EAAE,EAAE,MAAM,EAAE,wBAAwB,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;SAC9E,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CACnC,2BAA2B,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CACtE,CAAC;IACF,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;QAC/D,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,iBAAiB;YACxB,IAAI,EAAE,cAAc,CAAC,GAAG,aAAa,EAAE,WAAW,CAAC;YACnD,OAAO,EAAE,EAAE,OAAO,EAAE,iBAAiB,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE;SAClF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,EAAE,OAAO,KAAK,SAAS,IAAI,UAAU,CAAC,oBAAoB,EAAE,CAAC;QACvE,qBAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EACN,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,oBAAoB;YACvD,CAAC,CAAC,oBAAoB,CAClB,KAAK,CAAC,mBAAmB,EACzB,QAAQ,CAAC,eAAe,EACxB,QAAQ,CAAC,QAAQ,CAClB;YACH,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,CAAC,eAAe,CAAC;QAC/E,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,wGAAwG;AACxG,SAAS,2BAA2B,CAClC,QAAqD,EACrD,OAA4C,EAC5C,SAAkB;IAElB,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,MAAM,CAAC;IACnD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAe,EACf,OAAmC,EACnC,KAAoC;IAEpC,IAAI,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,8BAA8B,CAAC,wCAAwC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,kBAAkB,CAChC,KAOE;IAEF,IAAI,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,8BAA8B,CAAC,wCAAwC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CACnC,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAC1E,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;QACpC,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,cAAc,CAClB,SAAS,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAC9B,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,EACzB,UAAU,EACV,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CACnC;QACD,OAAO,EAAE;YACP,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;YACnC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC;SAC3C;KACF,CAAC,CAAC;IACH,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC;QACZ,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;QAC5B,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW;QACpC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;QACzE,kBAAkB,EAAE,KAAK,CAAC,KAAK,CAAC,kBAAkB;KACnD,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAqB;IACrD,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnD,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,IAAI,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7F,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC;gBAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAC;QACL,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC","sourcesContent":["import type { CheckMessage, CheckOutcome } from \"../../check/check.ts\";\nimport type { HandoffProviderIdentity } from \"../../check/handoff-provider-identity.ts\";\nimport type { CoreCheckSession } from \"../../check-settlement/session.ts\";\nimport {\n diagnosticTags,\n summarizeDiagnosticValue,\n type DiagnosticLogger\n} from \"../diagnostic-logging/logger.ts\";\nimport {\n diagnosticCallbackResult,\n parseCheckTerminalResult,\n type ParsedCheckTerminalHandoff\n} from \"./terminal-result.ts\";\nimport { combineCheckMessages } from \"./messages.ts\";\nimport type { CheckExecutionLifecycle } from \"./lifecycle.ts\";\nimport type { executeCheckCallback } from \"./callback.ts\";\n\nexport type CheckIdentity = Readonly<{\n readonly checkId: string;\n readonly displayName: string;\n readonly omitQuietPassedRow: boolean;\n}>;\n\nexport interface SettledCheckFacts {\n readonly durationMs: number \| null;\n readonly messages: readonly CheckMessage[];\n}\n\nexport type CheckExecutionSettlementState = Readonly<{\n readonly diagnosticLogger: DiagnosticLogger \| undefined;\n readonly handoffsByCheckId: Map<string, ParsedCheckTerminalHandoff>;\n readonly lifecycle: CheckExecutionLifecycle \| undefined;\n readonly session: CoreCheckSession;\n readonly settledFactsByCheckId: Map<string, SettledCheckFacts>;\n}>;\n\n/** Mutable execution session state shared by execution and terminal finalization. /\nexport type CheckExecutionState = CheckExecutionSettlementState;\n\nexport class CheckExecutionInvariantFailure extends Error {\n public constructor(message: string) {\n super(message);\n this.name = \"CheckExecutionInvariantFailure\";\n }\n}\n\ntype SettleCallbackInput = Readonly<{\n readonly callback: Awaited<ReturnType<typeof executeCheckCallback>>;\n readonly checkId: string;\n readonly diagnosticLogger: DiagnosticLogger \| undefined;\n readonly handoff: HandoffProviderIdentity \| undefined;\n readonly preparationMessages: readonly CheckMessage[];\n readonly scope: ReturnType<CoreCheckSession[\"openCheckScope\"]>;\n readonly state: CheckExecutionSettlementState;\n}>;\n\ntype SettledCallback = Readonly<{\n readonly messages: readonly CheckMessage[];\n readonly outcome: CheckOutcome;\n}>;\ntype ProductCallback = Extract<SettleCallbackInput[\"callback\"], { readonly source: \"product\" }>;\ntype AuthorCallback = Extract<SettleCallbackInput[\"callback\"], { readonly source: \"author\" }>;\n\nexport function settleCallback(input: SettleCallbackInput): SettledCallback {\n return input.callback.source === \"product\"\n ? settleProductCallback(input, input.callback)\n : settleAuthorCallback(input, input.callback);\n}\n\n/* Product-controlled callback failures settle without author-result parsing or handoff publication. /\nfunction settleProductCallback(\n input: SettleCallbackInput,\n callback: ProductCallback\n): SettledCallback {\n const outcome = input.scope.settleProduct(callback.result);\n return Object.freeze({\n messages: combineCheckMessages(input.preparationMessages, callback.consoleMessages),\n outcome\n });\n}\n\n/* Parses an author result, settles it in Core, then commits its reference only after acceptance. /\nfunction settleAuthorCallback(\n input: SettleCallbackInput,\n callback: AuthorCallback\n): SettledCallback {\n const executionTags = diagnosticTags(`CHECK:${input.checkId}`, \"EXECUTION\");\n const terminal = parseCheckTerminalResult(callback.result, input.handoff);\n if (terminal === undefined) {\n input.diagnosticLogger?.observe({\n event: \"callback.malformed\",\n tags: diagnosticTags(...executionTags, \"MALFORMED\"),\n details: { result: diagnosticCallbackResult(callback.result, input.handoff) }\n });\n }\n const settlement = input.scope.settle(\n callbackSettlementCandidate(terminal, input.handoff, callback.result)\n );\n if (terminal !== undefined && !settlement.authorResultAccepted) {\n input.diagnosticLogger?.observe({\n event: \"check.contained\",\n tags: diagnosticTags(...executionTags, \"CONTAINED\"),\n details: { outcome: diagnosticOutcome(settlement.outcome), raw: terminal.result }\n });\n }\n if (terminal?.handoff !== undefined && settlement.authorResultAccepted) {\n commitAcceptedHandoff(input.checkId, terminal.handoff, input.state);\n }\n return Object.freeze({\n messages:\n terminal !== undefined && settlement.authorResultAccepted\n ? combineCheckMessages(\n input.preparationMessages,\n callback.consoleMessages,\n terminal.messages\n )\n : combineCheckMessages(input.preparationMessages, callback.consoleMessages),\n outcome: settlement.outcome\n });\n}\n\n/* A declared callback never sends its raw result to Core when terminal parsing rejects the handoff. /\nfunction callbackSettlementCandidate(\n terminal: ReturnType<typeof parseCheckTerminalResult>,\n handoff: HandoffProviderIdentity \| undefined,\n rawResult: unknown\n): unknown {\n if (terminal !== undefined) return terminal.result;\n return handoff === undefined ? rawResult : undefined;\n}\n\nfunction commitAcceptedHandoff(\n checkId: string,\n handoff: ParsedCheckTerminalHandoff,\n state: CheckExecutionSettlementState\n): void {\n if (state.handoffsByCheckId.has(checkId)) {\n throw new CheckExecutionInvariantFailure(\"Check handoff published more than once\");\n }\n state.handoffsByCheckId.set(checkId, handoff);\n}\n\n/* Records one terminal Check lifecycle fact after its owning Core scope has closed. */\nexport function recordSettledCheck(\n input: Readonly<{\n readonly check: CheckIdentity;\n readonly durationMs: number \| null;\n readonly messages: readonly CheckMessage[];\n readonly outcome: CheckOutcome;\n readonly phase: \"control\" \| \"dependency\" \| \"execution\" \| \"preparation\";\n readonly state: CheckExecutionSettlementState;\n }>\n): void {\n if (input.state.settledFactsByCheckId.has(input.check.checkId)) {\n throw new CheckExecutionInvariantFailure(\"Check lifecycle settled more than once\");\n }\n input.state.settledFactsByCheckId.set(\n input.check.checkId,\n Object.freeze({ durationMs: input.durationMs, messages: input.messages })\n );\n input.state.diagnosticLogger?.observe({\n event: \"check.finished\",\n tags: diagnosticTags(\n `CHECK:${input.check.checkId}`,\n input.phase.toUpperCase(),\n \"FINISHED\",\n input.outcome.status.toUpperCase()\n ),\n details: {\n durationMs: input.durationMs,\n messageCount: input.messages.length,\n phase: input.phase,\n ...diagnosticSettledOutcome(input.outcome)\n }\n });\n input.state.lifecycle?.settled(\n Object.freeze({\n checkId: input.check.checkId,\n displayName: input.check.displayName,\n outcome: input.outcome,\n durationMs: input.durationMs,\n messages: input.messages,\n records: input.state.session.readSettledCheckRecords(input.check.checkId),\n omitQuietPassedRow: input.check.omitQuietPassedRow\n })\n );\n}\n\nfunction diagnosticSettledOutcome(outcome: CheckOutcome): Readonly<Record<string, unknown>> {\n switch (outcome.status) {\n case \"passed\":\n case \"failed\":\n return Object.freeze({ status: outcome.status });\n case \"not-applicable\":\n return Object.freeze({ reasonCode: outcome.reason?.code ?? null, status: outcome.status });\n case \"unavailable\":\n return Object.freeze({ reasonCode: outcome.reason.code, status: outcome.status });\n }\n}\n\nfunction diagnosticOutcome(outcome: CheckOutcome): Readonly<Record<string, unknown>> {\n switch (outcome.status) {\n case \"passed\":\n case \"failed\":\n return Object.freeze({\n data: summarizeDiagnosticValue(outcome.data),\n status: outcome.status\n });\n case \"not-applicable\":\n return Object.freeze({ reason: outcome.reason ?? null, status: outcome.status });\n case \"unavailable\":\n return Object.freeze({ reason: outcome.reason, status: outcome.status });\n }\n}\n"]}