@zxyycom/vibe-check 0.0.1

package/dist/esm/project-definition/check-tree/resolution.mjs

@@ -0,0 +1,60 @@
+import { parseCheckTreeAuthoring } from "./authoring.mjs";
+/**
+ * Traverses the recursive authoring tree. Containment only passes scheduling
+ * values to descendants; it never creates an execution dependency or output
+ * hierarchy.
+ */
+export function resolveCheckTree(value, rootMaxParallel) {
+    const parsed = parseCheckTreeAuthoring(value);
+    return parsed === undefined ? undefined : resolveParsedCheckTree(parsed, rootMaxParallel);
+}
+export function resolveParsedCheckTree(parsed, rootMaxParallel) {
+    if (!Number.isSafeInteger(rootMaxParallel) || rootMaxParallel <= 0)
+        return undefined;
+    const leaves = [];
+    const root = Object.freeze({
+        dependsOn: Object.freeze([]),
+        maxParallel: rootMaxParallel,
+        mutex: Object.freeze([])
+    });
+    for (const check of parsed.checks)
+        flattenCheck(check, root, leaves);
+    return Object.freeze({ leaves: Object.freeze(leaves), warnings: parsed.warnings });
+}
+function flattenCheck(check, inherited, leaves) {
+    const scheduling = Object.freeze({
+        dependsOn: resolveCollection(inherited.dependsOn, check.dependsOn),
+        maxParallel: check.maxParallel ?? inherited.maxParallel,
+        mutex: resolveCollection(inherited.mutex, check.mutex)
+    });
+    const visibility = check.visibility;
+    if (check.execution !== null &&
+        check.definition !== null &&
+        check.options !== null &&
+        visibility !== null) {
+        leaves.push(Object.freeze({
+            definition: check.definition,
+            dependsOn: scheduling.dependsOn,
+            execution: check.execution,
+            maxParallel: scheduling.maxParallel,
+            mutex: scheduling.mutex,
+            options: check.options,
+            ...(check.preflight === null ? {} : { preflight: check.preflight }),
+            visibility
+        }));
+    }
+    for (const child of check.checks)
+        flattenCheck(child, scheduling, leaves);
+}
+function resolveCollection(inherited, authored) {
+    if (authored === undefined)
+        return inherited;
+    if (authored.kind === "exact")
+        return canonicalize(authored.values);
+    const removed = new Set(authored.remove);
+    return canonicalize([...inherited.filter((value) => !removed.has(value)), ...authored.add]);
+}
+function canonicalize(values) {
+    return Object.freeze([...new Set(values)].sort());
+}
+//# sourceMappingURL=resolution.mjs.map

package/dist/esm/project-definition/check-tree/resolution.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution.mjs","sourceRoot":"","sources":["../../../../src/project-definition/check-tree/resolution.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,uBAAuB,EAKxB,MAAM,gBAAgB,CAAC;AA0BxB;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,eAAuB;IAEvB,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC9C,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAuB,EACvB,eAAuB;IAEvB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,eAAe,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACrF,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAwB,MAAM,CAAC,MAAM,CAAC;QAC9C,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,WAAW,EAAE,eAAe;QAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KACzB,CAAC,CAAC;IACH,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM;QAAE,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACrE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,YAAY,CACnB,KAAkB,EAClB,SAA8B,EAC9B,MAA+B;IAE/B,MAAM,UAAU,GAAwB,MAAM,CAAC,MAAM,CAAC;QACpD,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;QAClE,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,SAAS,CAAC,WAAW;QACvD,KAAK,EAAE,iBAAiB,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;KACvD,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,IACE,KAAK,CAAC,SAAS,KAAK,IAAI;QACxB,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,KAAK,CAAC,OAAO,KAAK,IAAI;QACtB,UAAU,KAAK,IAAI,EACnB,CAAC;QACD,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,MAAM,CAAC;YACZ,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;YACnE,UAAU;SACX,CAAC,CACH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;QAAE,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,iBAAiB,CACxB,SAA4B,EAC5B,QAA2C;IAE3C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzC,OAAO,YAAY,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,YAAY,CAAC,MAAyB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACpD,CAAC","sourcesContent":["import type { CheckDescriptor } from \"../../check/descriptor.ts\";\nimport type { CheckExecution, CheckPreflight, CheckVisibility } from \"../../check/check.ts\";\nimport {\n  parseCheckTreeAuthoring,\n  type MeaninglessCheckWarning,\n  type ParsedCheck,\n  type ParsedCheckCollection,\n  type ParsedCheckTree\n} from \"./authoring.ts\";\n\nexport type { Check, InheritableCheckCollection } from \"../../check/check.ts\";\n\nexport interface ResolvedCheckTreeLeaf {\n  readonly definition: CheckDescriptor;\n  readonly dependsOn: readonly string[];\n  readonly execution: CheckExecution;\n  readonly maxParallel: number;\n  readonly mutex: readonly string[];\n  readonly options: object;\n  readonly preflight?: CheckPreflight;\n  readonly visibility: CheckVisibility;\n}\n\nexport interface ResolvedCheckTree {\n  readonly leaves: readonly ResolvedCheckTreeLeaf[];\n  readonly warnings: readonly MeaninglessCheckWarning[];\n}\n\ninterface InheritedScheduling {\n  readonly dependsOn: readonly string[];\n  readonly maxParallel: number;\n  readonly mutex: readonly string[];\n}\n\n/**\n * Traverses the recursive authoring tree. Containment only passes scheduling\n * values to descendants; it never creates an execution dependency or output\n * hierarchy.\n */\nexport function resolveCheckTree(\n  value: unknown,\n  rootMaxParallel: number\n): ResolvedCheckTree | undefined {\n  const parsed = parseCheckTreeAuthoring(value);\n  return parsed === undefined ? undefined : resolveParsedCheckTree(parsed, rootMaxParallel);\n}\n\nexport function resolveParsedCheckTree(\n  parsed: ParsedCheckTree,\n  rootMaxParallel: number\n): ResolvedCheckTree | undefined {\n  if (!Number.isSafeInteger(rootMaxParallel) || rootMaxParallel <= 0) return undefined;\n  const leaves: ResolvedCheckTreeLeaf[] = [];\n  const root: InheritedScheduling = Object.freeze({\n    dependsOn: Object.freeze([]),\n    maxParallel: rootMaxParallel,\n    mutex: Object.freeze([])\n  });\n  for (const check of parsed.checks) flattenCheck(check, root, leaves);\n  return Object.freeze({ leaves: Object.freeze(leaves), warnings: parsed.warnings });\n}\n\nfunction flattenCheck(\n  check: ParsedCheck,\n  inherited: InheritedScheduling,\n  leaves: ResolvedCheckTreeLeaf[]\n): void {\n  const scheduling: InheritedScheduling = Object.freeze({\n    dependsOn: resolveCollection(inherited.dependsOn, check.dependsOn),\n    maxParallel: check.maxParallel ?? inherited.maxParallel,\n    mutex: resolveCollection(inherited.mutex, check.mutex)\n  });\n  const visibility = check.visibility;\n  if (\n    check.execution !== null &&\n    check.definition !== null &&\n    check.options !== null &&\n    visibility !== null\n  ) {\n    leaves.push(\n      Object.freeze({\n        definition: check.definition,\n        dependsOn: scheduling.dependsOn,\n        execution: check.execution,\n        maxParallel: scheduling.maxParallel,\n        mutex: scheduling.mutex,\n        options: check.options,\n        ...(check.preflight === null ? {} : { preflight: check.preflight }),\n        visibility\n      })\n    );\n  }\n  for (const child of check.checks) flattenCheck(child, scheduling, leaves);\n}\n\nfunction resolveCollection(\n  inherited: readonly string[],\n  authored: ParsedCheckCollection | undefined\n): readonly string[] {\n  if (authored === undefined) return inherited;\n  if (authored.kind === \"exact\") return canonicalize(authored.values);\n  const removed = new Set(authored.remove);\n  return canonicalize([...inherited.filter((value) => !removed.has(value)), ...authored.add]);\n}\n\nfunction canonicalize(values: readonly string[]): readonly string[] {\n  return Object.freeze([...new Set(values)].sort());\n}\n"]}

package/dist/esm/project-definition/output-defaults.mjs

@@ -0,0 +1,7 @@
+/** Default Run-owned output values applied when a Project Definition omits an override. */
+export const DEFAULT_PROJECT_OUTPUTS = Object.freeze({
+    machinePublication: Object.freeze({ directory: "artifacts/vibe-check", enabled: true }),
+    progressRendering: Object.freeze({ enabled: true }),
+    diagnosticLogging: Object.freeze({ directory: ".log/vibe-check", enabled: false })
+});
+//# sourceMappingURL=output-defaults.mjs.map

package/dist/esm/project-definition/output-defaults.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"output-defaults.mjs","sourceRoot":"","sources":["../../../src/project-definition/output-defaults.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,sBAAsB,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvF,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACnD,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CAC1E,CAAC,CAAC","sourcesContent":["/** Default Run-owned output values applied when a Project Definition omits an override. */\nexport const DEFAULT_PROJECT_OUTPUTS = Object.freeze({\n  machinePublication: Object.freeze({ directory: \"artifacts/vibe-check\", enabled: true }),\n  progressRendering: Object.freeze({ enabled: true }),\n  diagnosticLogging: Object.freeze({ directory: \".log/vibe-check\", enabled: false })\n} as const);\n"]}

package/dist/esm/project-definition/output-validation.mjs

@@ -0,0 +1,44 @@
+import { isAbsolute, relative, resolve, sep } from "node:path";
+import { snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+const OUTPUT_NAMES = ["machinePublication", "progressRendering", "diagnosticLogging"];
+const DIRECTORY_VALIDATION_ROOT = "/vibe-check-validation-root";
+export function parseOutputs(value) {
+    const data = exactKeys(value, OUTPUT_NAMES);
+    if (data === undefined)
+        return undefined;
+    const machinePublication = parseDirectoryOutput(data.machinePublication);
+    const progressRendering = parseSwitchOutput(data.progressRendering);
+    const diagnosticLogging = parseDirectoryOutput(data.diagnosticLogging);
+    return machinePublication === undefined ||
+        progressRendering === undefined ||
+        diagnosticLogging === undefined ||
+        !isContainedRelativeDirectory(diagnosticLogging.directory)
+        ? undefined
+        : Object.freeze({ machinePublication, progressRendering, diagnosticLogging });
+}
+export function isContainedRelativeDirectory(directory) {
+    if (directory.length === 0 || isAbsolute(directory))
+        return false;
+    const root = resolve(DIRECTORY_VALIDATION_ROOT);
+    const relativeDirectory = relative(root, resolve(root, directory));
+    return relativeDirectory !== ".." && !relativeDirectory.startsWith(`..${sep}`);
+}
+function parseDirectoryOutput(value) {
+    const data = exactKeys(value, ["directory", "enabled"]);
+    return typeof data?.directory === "string" && typeof data.enabled === "boolean"
+        ? Object.freeze({ directory: data.directory, enabled: data.enabled })
+        : undefined;
+}
+function parseSwitchOutput(value) {
+    const data = exactKeys(value, ["enabled"]);
+    return typeof data?.enabled === "boolean" ? Object.freeze({ enabled: data.enabled }) : undefined;
+}
+function exactKeys(value, keys) {
+    const data = snapshotClosedRecord(value);
+    return data !== undefined &&
+        Object.keys(data).length === keys.length &&
+        keys.every((key) => Object.hasOwn(data, key))
+        ? data
+        : undefined;
+}
+//# sourceMappingURL=output-validation.mjs.map

package/dist/esm/project-definition/output-validation.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"output-validation.mjs","sourceRoot":"","sources":["../../../src/project-definition/output-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAG/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAEzE,MAAM,YAAY,GAAG,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,mBAAmB,CAAU,CAAC;AAC/F,MAAM,yBAAyB,GAAG,6BAA6B,CAAC;AAEhE,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACzE,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACpE,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvE,OAAO,kBAAkB,KAAK,SAAS;QACrC,iBAAiB,KAAK,SAAS;QAC/B,iBAAiB,KAAK,SAAS;QAC/B,CAAC,4BAA4B,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAC1D,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,SAAiB;IAC5D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAClE,MAAM,IAAI,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAChD,MAAM,iBAAiB,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IACnE,OAAO,iBAAiB,KAAK,IAAI,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc;IAEd,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;IACxD,OAAO,OAAO,IAAI,EAAE,SAAS,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;QAC7E,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QACrE,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3C,OAAO,OAAO,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACnG,CAAC;AAED,SAAS,SAAS,CAChB,KAAc,EACd,IAAuB;IAEvB,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,IAAI,KAAK,SAAS;QACvB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QACxC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC","sourcesContent":["import { isAbsolute, relative, resolve, sep } from \"node:path\";\n\nimport type { ProjectOutputs } from \"./project-definition.ts\";\nimport { snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\nconst OUTPUT_NAMES = [\"machinePublication\", \"progressRendering\", \"diagnosticLogging\"] as const;\nconst DIRECTORY_VALIDATION_ROOT = \"/vibe-check-validation-root\";\n\nexport function parseOutputs(value: unknown): ProjectOutputs | undefined {\n  const data = exactKeys(value, OUTPUT_NAMES);\n  if (data === undefined) return undefined;\n  const machinePublication = parseDirectoryOutput(data.machinePublication);\n  const progressRendering = parseSwitchOutput(data.progressRendering);\n  const diagnosticLogging = parseDirectoryOutput(data.diagnosticLogging);\n  return machinePublication === undefined ||\n    progressRendering === undefined ||\n    diagnosticLogging === undefined ||\n    !isContainedRelativeDirectory(diagnosticLogging.directory)\n    ? undefined\n    : Object.freeze({ machinePublication, progressRendering, diagnosticLogging });\n}\n\nexport function isContainedRelativeDirectory(directory: string): boolean {\n  if (directory.length === 0 || isAbsolute(directory)) return false;\n  const root = resolve(DIRECTORY_VALIDATION_ROOT);\n  const relativeDirectory = relative(root, resolve(root, directory));\n  return relativeDirectory !== \"..\" && !relativeDirectory.startsWith(`..${sep}`);\n}\n\nfunction parseDirectoryOutput(\n  value: unknown\n): Readonly<{ readonly directory: string; readonly enabled: boolean }> | undefined {\n  const data = exactKeys(value, [\"directory\", \"enabled\"]);\n  return typeof data?.directory === \"string\" && typeof data.enabled === \"boolean\"\n    ? Object.freeze({ directory: data.directory, enabled: data.enabled })\n    : undefined;\n}\n\nfunction parseSwitchOutput(value: unknown): Readonly<{ readonly enabled: boolean }> | undefined {\n  const data = exactKeys(value, [\"enabled\"]);\n  return typeof data?.enabled === \"boolean\" ? Object.freeze({ enabled: data.enabled }) : undefined;\n}\n\nfunction exactKeys(\n  value: unknown,\n  keys: readonly string[]\n): Readonly<Record<string, unknown>> | undefined {\n  const data = snapshotClosedRecord(value);\n  return data !== undefined &&\n    Object.keys(data).length === keys.length &&\n    keys.every((key) => Object.hasOwn(data, key))\n    ? data\n    : undefined;\n}\n"]}

package/dist/esm/project-definition/project-definition-validation.mjs

@@ -0,0 +1,95 @@
+import { resolveParsedCheckTree } from "./check-tree/resolution.mjs";
+import { parseCheckTreeAuthoring } from "./check-tree/authoring.mjs";
+import { materializeCheckTreeAuthoring } from "./check-tree/materialization.mjs";
+import { parseOutputs } from "./output-validation.mjs";
+import {} from "./project-definition.mjs";
+import { snapshotClosedArray, snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+const PROJECT_DEFINITION_KEYS = ["apiVersion", "checks", "outputs", "scheduler"];
+/**
+ * Validates one closed Definition before Run can invoke any project callback.
+ * Successful validation carries information-only Check warnings separately.
+ */
+export function validateProjectDefinition(value) {
+    try {
+        return validateProjectDefinitionValue(value);
+    }
+    catch {
+        return invalidDefinition("definition");
+    }
+}
+function validateProjectDefinitionValue(value) {
+    const data = exactProjectDefinition(value);
+    if (!data.ok)
+        return data;
+    return parseProjectDefinitionFields(data.value);
+}
+function parseProjectDefinitionFields(data) {
+    const scheduler = parseScheduler(data.scheduler);
+    if (scheduler === undefined)
+        return invalidDefinition("definition.scheduler");
+    const checks = snapshotClosedArray(data.checks);
+    if (checks === undefined)
+        return invalidDefinition("definition.checks");
+    const parsedChecks = parseCheckTreeAuthoring(checks);
+    if (parsedChecks === undefined)
+        return invalidDefinition("definition.checks");
+    const tree = resolveParsedCheckTree(parsedChecks, scheduler.maxParallel);
+    if (tree === undefined)
+        return invalidDefinition("definition.checks");
+    const outputs = parseOutputs(data.outputs);
+    if (outputs === undefined)
+        return invalidDefinition("definition.outputs");
+    return Object.freeze({
+        ok: true,
+        value: {
+            apiVersion: "1",
+            checks: materializeCheckTreeAuthoring(parsedChecks),
+            outputs,
+            scheduler
+        },
+        warnings: tree.warnings
+    });
+}
+function exactProjectDefinition(value) {
+    const data = exactRecord(value, PROJECT_DEFINITION_KEYS, "invalid-project-definition", "definition");
+    if (!data.ok)
+        return data;
+    return data.value.apiVersion === "1"
+        ? data
+        : invalid("invalid-project-definition", "definition.apiVersion", "invalid-value");
+}
+function exactRecord(value, allowedKeys, kind, path) {
+    const data = snapshotClosedRecord(value);
+    if (data === undefined)
+        return invalid(kind, path, "invalid-value");
+    const unknownKey = Object.keys(data).find((key) => !allowedKeys.includes(key));
+    if (unknownKey !== undefined)
+        return invalid(kind, `${path}.${unknownKey}`, "unknown-key");
+    return Object.freeze({ ok: true, value: data });
+}
+function parseScheduler(value) {
+    const data = exactKeys(value, ["maxParallel"]);
+    return typeof data?.maxParallel === "number" &&
+        Number.isSafeInteger(data.maxParallel) &&
+        data.maxParallel > 0
+        ? Object.freeze({ maxParallel: data.maxParallel })
+        : undefined;
+}
+function exactKeys(value, keys) {
+    const data = snapshotClosedRecord(value);
+    if (data === undefined)
+        return undefined;
+    return Object.keys(data).length === keys.length && keys.every((key) => Object.hasOwn(data, key))
+        ? data
+        : undefined;
+}
+function invalidDefinition(path) {
+    return Object.freeze({
+        ok: false,
+        error: Object.freeze({ kind: "invalid-project-definition", path, reason: "invalid-value" })
+    });
+}
+function invalid(kind, path, reason) {
+    return Object.freeze({ ok: false, error: Object.freeze({ kind, path, reason }) });
+}
+//# sourceMappingURL=project-definition-validation.mjs.map

package/dist/esm/project-definition/project-definition-validation.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-definition-validation.mjs","sourceRoot":"","sources":["../../../src/project-definition/project-definition-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAIN,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAO9F,MAAM,uBAAuB,GAAG,CAAC,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAU,CAAC;AAE1F;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,IAAI,CAAC;QACH,OAAO,8BAA8B,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAc;IACpD,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAuC;IAEvC,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC,sBAAsB,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,sBAAsB,CAAC,YAAY,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;IACzE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC,oBAAoB,CAAC,CAAC;IAC1E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,UAAU,EAAE,GAAY;YACxB,MAAM,EAAE,6BAA6B,CAAC,YAAY,CAAC;YACnD,OAAO;YACP,SAAS;SACV;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAc;IAEd,MAAM,IAAI,GAAG,WAAW,CACtB,KAAK,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,YAAY,CACb,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,KAAK,GAAG;QAClC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,OAAO,CAAC,4BAA4B,EAAE,uBAAuB,EAAE,eAAe,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,WAA8B,EAC9B,IAAyC,EACzC,IAAY;IAEZ,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,UAAU,EAAE,EAAE,aAAa,CAAC,CAAC;IAC3F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/C,OAAO,OAAO,IAAI,EAAE,WAAW,KAAK,QAAQ;QAC1C,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;QACtC,IAAI,CAAC,WAAW,GAAG,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QAClD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAChB,KAAc,EACd,IAAuB;IAEvB,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9F,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;KAC5F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CACd,IAAyC,EACzC,IAAY,EACZ,MAA6C;IAE7C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AACpF,CAAC","sourcesContent":["import { resolveParsedCheckTree } from \"./check-tree/resolution.ts\";\nimport { parseCheckTreeAuthoring } from \"./check-tree/authoring.ts\";\nimport { materializeCheckTreeAuthoring } from \"./check-tree/materialization.ts\";\nimport { parseOutputs } from \"./output-validation.ts\";\nimport {\n  type ProjectDefinitionDiagnostic,\n  type ProjectDefinitionValidationResult,\n  type SchedulerPolicy\n} from \"./project-definition.ts\";\nimport { snapshotClosedArray, snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\ntype DefinitionValidationResult<T> = Readonly<\n  | { readonly ok: true; readonly value: T }\n  | { readonly ok: false; readonly error: ProjectDefinitionDiagnostic }\n>;\n\nconst PROJECT_DEFINITION_KEYS = [\"apiVersion\", \"checks\", \"outputs\", \"scheduler\"] as const;\n\n/**\n * Validates one closed Definition before Run can invoke any project callback.\n * Successful validation carries information-only Check warnings separately.\n */\nexport function validateProjectDefinition(value: unknown): ProjectDefinitionValidationResult {\n  try {\n    return validateProjectDefinitionValue(value);\n  } catch {\n    return invalidDefinition(\"definition\");\n  }\n}\n\nfunction validateProjectDefinitionValue(value: unknown): ProjectDefinitionValidationResult {\n  const data = exactProjectDefinition(value);\n  if (!data.ok) return data;\n  return parseProjectDefinitionFields(data.value);\n}\n\nfunction parseProjectDefinitionFields(\n  data: Readonly<Record<string, unknown>>\n): ProjectDefinitionValidationResult {\n  const scheduler = parseScheduler(data.scheduler);\n  if (scheduler === undefined) return invalidDefinition(\"definition.scheduler\");\n  const checks = snapshotClosedArray(data.checks);\n  if (checks === undefined) return invalidDefinition(\"definition.checks\");\n  const parsedChecks = parseCheckTreeAuthoring(checks);\n  if (parsedChecks === undefined) return invalidDefinition(\"definition.checks\");\n  const tree = resolveParsedCheckTree(parsedChecks, scheduler.maxParallel);\n  if (tree === undefined) return invalidDefinition(\"definition.checks\");\n  const outputs = parseOutputs(data.outputs);\n  if (outputs === undefined) return invalidDefinition(\"definition.outputs\");\n  return Object.freeze({\n    ok: true,\n    value: {\n      apiVersion: \"1\" as const,\n      checks: materializeCheckTreeAuthoring(parsedChecks),\n      outputs,\n      scheduler\n    },\n    warnings: tree.warnings\n  });\n}\n\nfunction exactProjectDefinition(\n  value: unknown\n): DefinitionValidationResult<Readonly<Record<string, unknown>>> {\n  const data = exactRecord(\n    value,\n    PROJECT_DEFINITION_KEYS,\n    \"invalid-project-definition\",\n    \"definition\"\n  );\n  if (!data.ok) return data;\n  return data.value.apiVersion === \"1\"\n    ? data\n    : invalid(\"invalid-project-definition\", \"definition.apiVersion\", \"invalid-value\");\n}\n\nfunction exactRecord(\n  value: unknown,\n  allowedKeys: readonly string[],\n  kind: ProjectDefinitionDiagnostic[\"kind\"],\n  path: string\n): DefinitionValidationResult<Readonly<Record<string, unknown>>> {\n  const data = snapshotClosedRecord(value);\n  if (data === undefined) return invalid(kind, path, \"invalid-value\");\n  const unknownKey = Object.keys(data).find((key) => !allowedKeys.includes(key));\n  if (unknownKey !== undefined) return invalid(kind, `${path}.${unknownKey}`, \"unknown-key\");\n  return Object.freeze({ ok: true, value: data });\n}\n\nfunction parseScheduler(value: unknown): SchedulerPolicy | undefined {\n  const data = exactKeys(value, [\"maxParallel\"]);\n  return typeof data?.maxParallel === \"number\" &&\n    Number.isSafeInteger(data.maxParallel) &&\n    data.maxParallel > 0\n    ? Object.freeze({ maxParallel: data.maxParallel })\n    : undefined;\n}\n\nfunction exactKeys(\n  value: unknown,\n  keys: readonly string[]\n): Readonly<Record<string, unknown>> | undefined {\n  const data = snapshotClosedRecord(value);\n  if (data === undefined) return undefined;\n  return Object.keys(data).length === keys.length && keys.every((key) => Object.hasOwn(data, key))\n    ? data\n    : undefined;\n}\n\nfunction invalidDefinition(path: string): ProjectDefinitionValidationResult {\n  return Object.freeze({\n    ok: false,\n    error: Object.freeze({ kind: \"invalid-project-definition\", path, reason: \"invalid-value\" })\n  });\n}\n\nfunction invalid(\n  kind: ProjectDefinitionDiagnostic[\"kind\"],\n  path: string,\n  reason: ProjectDefinitionDiagnostic[\"reason\"]\n): DefinitionValidationResult<never> {\n  return Object.freeze({ ok: false, error: Object.freeze({ kind, path, reason }) });\n}\n"]}

package/dist/esm/project-definition/project-definition.mjs

@@ -0,0 +1,92 @@
+import { createHash } from "node:crypto";
+import { resolveCheckTree } from "./check-tree/resolution.mjs";
+import { DEFAULT_PROJECT_OUTPUTS } from "./output-defaults.mjs";
+import { isNonArrayRecord } from "../data-boundary/value-shapes.mjs";
+/** 使用 Product 默认输出创建普通 Project Definition。 */
+export function defineConfig(value) {
+    return {
+        apiVersion: value.apiVersion ?? "1",
+        checks: value.checks ?? [],
+        outputs: {
+            machinePublication: {
+                directory: value.outputs?.machinePublication?.directory ??
+                    DEFAULT_PROJECT_OUTPUTS.machinePublication.directory,
+                enabled: value.outputs?.machinePublication?.enabled ??
+                    DEFAULT_PROJECT_OUTPUTS.machinePublication.enabled
+            },
+            progressRendering: {
+                enabled: value.outputs?.progressRendering?.enabled ??
+                    DEFAULT_PROJECT_OUTPUTS.progressRendering.enabled
+            },
+            diagnosticLogging: {
+                directory: value.outputs?.diagnosticLogging?.directory ??
+                    DEFAULT_PROJECT_OUTPUTS.diagnosticLogging.directory,
+                enabled: value.outputs?.diagnosticLogging?.enabled ??
+                    DEFAULT_PROJECT_OUTPUTS.diagnosticLogging.enabled
+            }
+        },
+        scheduler: { maxParallel: value.scheduler?.maxParallel ?? 4 }
+    };
+}
+export function normalizeProjectDefinition(definition) {
+    const tree = resolveCheckTree(definition.checks, definition.scheduler.maxParallel);
+    if (tree === undefined)
+        throw new TypeError("Project Definition Check tree failed closed normalization");
+    const checks = Object.freeze(tree.leaves.map(normalizeCheck));
+    return Object.freeze({
+        checks,
+        declarative: freezeDeclarativeSnapshot(definition, checks),
+        definitionWarnings: tree.warnings
+    });
+}
+function normalizeCheck(leaf) {
+    return Object.freeze({
+        definition: leaf.definition,
+        dependsOn: leaf.dependsOn,
+        execution: leaf.execution,
+        maxParallel: leaf.maxParallel,
+        mutex: leaf.mutex,
+        options: leaf.options,
+        ...(leaf.preflight === undefined ? {} : { preflight: leaf.preflight }),
+        visibility: leaf.visibility
+    });
+}
+export function createDeclarativeFingerprint(snapshot) {
+    return createHash("sha256").update(stableJson(snapshot)).digest("hex");
+}
+function freezeDeclarativeSnapshot(definition, checks) {
+    const declarations = checks
+        .map(({ execution: _execution, preflight: _preflight, ...declaration }) => declaration)
+        .sort((left, right) => compareText(left.definition.checkId, right.definition.checkId));
+    return deepFreeze({
+        apiVersion: definition.apiVersion,
+        checks: declarations,
+        outputs: definition.outputs,
+        scheduler: definition.scheduler
+    });
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function deepFreeze(value) {
+    if (typeof value !== "object" || value === null || Object.isFrozen(value))
+        return value;
+    for (const item of Object.values(value))
+        deepFreeze(item);
+    return Object.freeze(value);
+}
+function stableJson(value) {
+    if (Array.isArray(value))
+        return `[${value.map(stableJson).join(",")}]`;
+    if (isNonArrayRecord(value))
+        return `{${Object.keys(value)
+            .sort()
+            .map((key) => `${JSON.stringify(key)}:${stableJson(value[key])}`)
+            .join(",")}}`;
+    return JSON.stringify(value);
+}
+//# sourceMappingURL=project-definition.mjs.map

package/dist/esm/project-definition/project-definition.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-definition.mjs","sourceRoot":"","sources":["../../../src/project-definition/project-definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAA8B,MAAM,4BAA4B,CAAC;AAI1F,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAmFpE,8CAA8C;AAC9C,MAAM,UAAU,YAAY,CAC1B,KAAwE;IAExE,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,GAAG;QACnC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,EAAE;QAC1B,OAAO,EAAE;YACP,kBAAkB,EAAE;gBAClB,SAAS,EACP,KAAK,CAAC,OAAO,EAAE,kBAAkB,EAAE,SAAS;oBAC5C,uBAAuB,CAAC,kBAAkB,CAAC,SAAS;gBACtD,OAAO,EACL,KAAK,CAAC,OAAO,EAAE,kBAAkB,EAAE,OAAO;oBAC1C,uBAAuB,CAAC,kBAAkB,CAAC,OAAO;aACrD;YACD,iBAAiB,EAAE;gBACjB,OAAO,EACL,KAAK,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO;oBACzC,uBAAuB,CAAC,iBAAiB,CAAC,OAAO;aACpD;YACD,iBAAiB,EAAE;gBACjB,SAAS,EACP,KAAK,CAAC,OAAO,EAAE,iBAAiB,EAAE,SAAS;oBAC3C,uBAAuB,CAAC,iBAAiB,CAAC,SAAS;gBACrD,OAAO,EACL,KAAK,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO;oBACzC,uBAAuB,CAAC,iBAAiB,CAAC,OAAO;aACpD;SACF;QACD,SAAS,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,IAAI,CAAC,EAAE;KAC9D,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,0BAA0B,CACxC,UAA6B;IAE7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACnF,IAAI,IAAI,KAAK,SAAS;QACpB,MAAM,IAAI,SAAS,CAAC,2DAA2D,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM;QACN,WAAW,EAAE,yBAAyB,CAAC,UAAU,EAAE,MAAM,CAAC;QAC1D,kBAAkB,EAAE,IAAI,CAAC,QAAQ;KAClC,CAAC,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CAAC,IAA2B;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QACtE,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC,CAAC;AACL,CAAC;AACD,MAAM,UAAU,4BAA4B,CAAC,QAAoC;IAC/E,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AACD,SAAS,yBAAyB,CAChC,UAA6B,EAC7B,MAAkC;IAElC,MAAM,YAAY,GAAG,MAAM;SACxB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC;SACtF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IACzF,OAAO,UAAU,CAAC;QAChB,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,SAAS,EAAE,UAAU,CAAC,SAAS;KAChC,CAAC,CAAC;AACL,CAAC;AACD,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;AACD,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AACD,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxE,IAAI,gBAAgB,CAAC,KAAK,CAAC;QACzB,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;aAC1B,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;aAChE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC","sourcesContent":["import { createHash } from \"node:crypto\";\n\nimport { resolveCheckTree, type ResolvedCheckTreeLeaf } from \"./check-tree/resolution.ts\";\nimport type { MeaninglessCheckWarning } from \"./check-tree/authoring.ts\";\nimport type { CheckDescriptor } from \"../check/descriptor.ts\";\nimport type { Check, CheckExecution, CheckPreflight, CheckVisibility } from \"../check/check.ts\";\nimport { DEFAULT_PROJECT_OUTPUTS } from \"./output-defaults.ts\";\nimport { isNonArrayRecord } from \"../data-boundary/value-shapes.ts\";\n\n/** 一次 Project Run 的明确输出配置。 */\nexport interface ProjectOutputs {\n  /** `run.json` 与 `records.ndjson` publication。 */\n  readonly machinePublication: Readonly<{\n    /** 相对目录以 project root 解析，默认 `artifacts/vibe-check`。 */\n    readonly directory: string;\n    /** `false` 时本次 Run 不发布 machine output。 */\n    readonly enabled: boolean;\n  }>;\n  /** 人读 progress rendering。 */\n  readonly progressRendering: Readonly<{\n    /** `false` 时不构造或写入 progress writer。 */\n    readonly enabled: boolean;\n  }>;\n  /** 仅供维护者读取的一次 invocation diagnostic log。 */\n  readonly diagnosticLogging: Readonly<{\n    /** 相对目录以 project root 解析，默认 `.log/vibe-check`。 */\n    readonly directory: string;\n    /** `false` 时不创建 diagnostic writer 或 file。 */\n    readonly enabled: boolean;\n  }>;\n}\n\n/** 定义级的 Check 调度预算。 */\nexport interface SchedulerPolicy {\n  readonly maxParallel: number;\n}\n/** 已补齐默认 outputs、可交给 run 执行的项目定义。 */\nexport interface ProjectDefinition {\n  readonly apiVersion: \"1\";\n  readonly checks: readonly Check[];\n  readonly outputs: ProjectOutputs;\n  readonly scheduler: SchedulerPolicy;\n}\ntype ProjectDefinitionInput = Readonly<{\n  apiVersion?: \"1\";\n  checks?: readonly Check[];\n  outputs?: Partial<{\n    machinePublication: Partial<ProjectOutputs[\"machinePublication\"]>;\n    progressRendering: Partial<ProjectOutputs[\"progressRendering\"]>;\n    diagnosticLogging: Partial<ProjectOutputs[\"diagnosticLogging\"]>;\n  }>;\n  scheduler?: Partial<SchedulerPolicy>;\n}>;\nexport interface ProjectDefinitionDiagnostic {\n  readonly kind: \"invalid-project-definition\";\n  readonly path: string;\n  readonly reason: \"invalid-value\" | \"unknown-key\";\n}\nexport type DefinitionWarning = MeaninglessCheckWarning;\nexport type ProjectDefinitionValidationResult = Readonly<\n  | {\n      readonly ok: true;\n      readonly value: ProjectDefinition;\n      readonly warnings: readonly DefinitionWarning[];\n    }\n  | { readonly ok: false; readonly error: ProjectDefinitionDiagnostic }\n>;\nexport interface NormalizedCheckDeclaration {\n  readonly definition: CheckDescriptor;\n  readonly dependsOn: readonly string[];\n  readonly maxParallel: number;\n  readonly mutex: readonly string[];\n  readonly options: object;\n  readonly visibility: CheckVisibility;\n}\nexport interface NormalizedCheck extends NormalizedCheckDeclaration {\n  readonly execution: CheckExecution;\n  readonly preflight?: CheckPreflight;\n}\nexport interface DeclarativeProjectSnapshot {\n  readonly apiVersion: \"1\";\n  readonly checks: readonly NormalizedCheckDeclaration[];\n  readonly outputs: ProjectOutputs;\n  readonly scheduler: SchedulerPolicy;\n}\nexport interface NormalizedProjectDefinition {\n  readonly checks: readonly NormalizedCheck[];\n  readonly declarative: DeclarativeProjectSnapshot;\n  readonly definitionWarnings: readonly DefinitionWarning[];\n}\n/** 使用 Product 默认输出创建普通 Project Definition。 */\nexport function defineConfig<const T extends ProjectDefinitionInput>(\n  value: T & Record<Exclude<keyof T, keyof ProjectDefinitionInput>, never>\n): ProjectDefinition {\n  return {\n    apiVersion: value.apiVersion ?? \"1\",\n    checks: value.checks ?? [],\n    outputs: {\n      machinePublication: {\n        directory:\n          value.outputs?.machinePublication?.directory ??\n          DEFAULT_PROJECT_OUTPUTS.machinePublication.directory,\n        enabled:\n          value.outputs?.machinePublication?.enabled ??\n          DEFAULT_PROJECT_OUTPUTS.machinePublication.enabled\n      },\n      progressRendering: {\n        enabled:\n          value.outputs?.progressRendering?.enabled ??\n          DEFAULT_PROJECT_OUTPUTS.progressRendering.enabled\n      },\n      diagnosticLogging: {\n        directory:\n          value.outputs?.diagnosticLogging?.directory ??\n          DEFAULT_PROJECT_OUTPUTS.diagnosticLogging.directory,\n        enabled:\n          value.outputs?.diagnosticLogging?.enabled ??\n          DEFAULT_PROJECT_OUTPUTS.diagnosticLogging.enabled\n      }\n    },\n    scheduler: { maxParallel: value.scheduler?.maxParallel ?? 4 }\n  };\n}\nexport function normalizeProjectDefinition(\n  definition: ProjectDefinition\n): NormalizedProjectDefinition {\n  const tree = resolveCheckTree(definition.checks, definition.scheduler.maxParallel);\n  if (tree === undefined)\n    throw new TypeError(\"Project Definition Check tree failed closed normalization\");\n  const checks = Object.freeze(tree.leaves.map(normalizeCheck));\n  return Object.freeze({\n    checks,\n    declarative: freezeDeclarativeSnapshot(definition, checks),\n    definitionWarnings: tree.warnings\n  });\n}\nfunction normalizeCheck(leaf: ResolvedCheckTreeLeaf): NormalizedCheck {\n  return Object.freeze({\n    definition: leaf.definition,\n    dependsOn: leaf.dependsOn,\n    execution: leaf.execution,\n    maxParallel: leaf.maxParallel,\n    mutex: leaf.mutex,\n    options: leaf.options,\n    ...(leaf.preflight === undefined ? {} : { preflight: leaf.preflight }),\n    visibility: leaf.visibility\n  });\n}\nexport function createDeclarativeFingerprint(snapshot: DeclarativeProjectSnapshot): string {\n  return createHash(\"sha256\").update(stableJson(snapshot)).digest(\"hex\");\n}\nfunction freezeDeclarativeSnapshot(\n  definition: ProjectDefinition,\n  checks: readonly NormalizedCheck[]\n): DeclarativeProjectSnapshot {\n  const declarations = checks\n    .map(({ execution: _execution, preflight: _preflight, ...declaration }) => declaration)\n    .sort((left, right) => compareText(left.definition.checkId, right.definition.checkId));\n  return deepFreeze({\n    apiVersion: definition.apiVersion,\n    checks: declarations,\n    outputs: definition.outputs,\n    scheduler: definition.scheduler\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}\nfunction deepFreeze<T>(value: T): T {\n  if (typeof value !== \"object\" || value === null || Object.isFrozen(value)) return value;\n  for (const item of Object.values(value)) deepFreeze(item);\n  return Object.freeze(value);\n}\nfunction stableJson(value: unknown): string {\n  if (Array.isArray(value)) return `[${value.map(stableJson).join(\",\")}]`;\n  if (isNonArrayRecord(value))\n    return `{${Object.keys(value)\n      .sort()\n      .map((key) => `${JSON.stringify(key)}:${stableJson(value[key])}`)\n      .join(\",\")}}`;\n  return JSON.stringify(value);\n}\n"]}

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

@@ -0,0 +1,66 @@
+/** Validates that aggregation selects only normalized executable Check IDs. */
+export function validateCheckAggregationSelection(aggregation, checkIds) {
+    if (aggregation === undefined)
+        return Object.freeze({ ok: true, value: undefined });
+    if (aggregation.checks === "all")
+        return Object.freeze({ ok: true, value: aggregation });
+    const knownCheckIds = new Set(checkIds);
+    const selectedCheckIds = new Set();
+    for (const checkId of aggregation.checks) {
+        if (!knownCheckIds.has(checkId) || selectedCheckIds.has(checkId)) {
+            return invalidControls("controls.checkAggregation.checks");
+        }
+        selectedCheckIds.add(checkId);
+    }
+    return Object.freeze({ ok: true, value: aggregation });
+}
+/** Derives one explicit consumer-selected aggregate from settled Check statuses only. */
+export function aggregateCheckOutcomes(snapshot, aggregation) {
+    const statuses = selectedChecks(snapshot, aggregation.checks).map((check) => aggregateStatus(check, aggregation));
+    if (statuses.includes("unavailable"))
+        return "unavailable";
+    return aggregateSelectedStatuses(statuses.filter((status) => status !== null && status !== "unavailable"), aggregation);
+}
+function selectedChecks(snapshot, selection) {
+    if (selection === "all")
+        return snapshot.checks;
+    return selection.map((checkId) => {
+        const check = snapshot.checks.find((candidate) => candidate.checkId === checkId);
+        if (check === undefined)
+            throw new TypeError("Aggregation selection was not validated");
+        return check;
+    });
+}
+function aggregateStatus(check, aggregation) {
+    switch (check.outcome.status) {
+        case "passed":
+        case "failed":
+            return check.outcome.status;
+        case "unavailable": {
+            if (aggregation.unavailable === "propagate")
+                return "unavailable";
+            return aggregation.unavailable === "fail" ? "failed" : null;
+        }
+        case "not-applicable": {
+            if (aggregation.notApplicable === "pass")
+                return "passed";
+            return aggregation.notApplicable === "fail" ? "failed" : null;
+        }
+    }
+}
+function aggregateSelectedStatuses(statuses, aggregation) {
+    if (statuses.length === 0)
+        return aggregation.empty;
+    if (aggregation.mode === "all")
+        return statuses.includes("failed") ? "failed" : "passed";
+    return statuses.includes("passed") ? "passed" : "failed";
+}
+function invalidControls(path) {
+    const error = Object.freeze({
+        kind: "invalid-run-controls",
+        path,
+        reason: "invalid-value"
+    });
+    return Object.freeze({ ok: false, error });
+}
+//# sourceMappingURL=aggregation.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"aggregation.mjs","sourceRoot":"","sources":["../../../src/project-run/aggregation.ts"],"names":[],"mappings":"AASA,+EAA+E;AAC/E,MAAM,UAAU,iCAAiC,CAC/C,WAAyC,EACzC,QAA2B;IAE3B,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACpF,IAAI,WAAW,CAAC,MAAM,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACzF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,eAAe,CAAC,kCAAkC,CAAC,CAAC;QAC7D,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,sBAAsB,CACpC,QAAsB,EACtB,WAA6B;IAE7B,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1E,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CACpC,CAAC;IACF,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,aAAa,CAAC;IAC3D,OAAO,yBAAyB,CAC9B,QAAQ,CAAC,MAAM,CACb,CAAC,MAAM,EAAqD,EAAE,CAC5D,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,aAAa,CAC9C,EACD,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,QAAsB,EACtB,SAAqC;IAErC,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,MAAM,CAAC;IAChD,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACjF,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAAgB,EAAE,WAA6B;IACtE,QAAQ,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7B,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9B,KAAK,aAAa,EAAE,CAAC;YACnB,IAAI,WAAW,CAAC,WAAW,KAAK,WAAW;gBAAE,OAAO,aAAa,CAAC;YAClE,OAAO,WAAW,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,CAAC;QACD,KAAK,gBAAgB,EAAE,CAAC;YACtB,IAAI,WAAW,CAAC,aAAa,KAAK,MAAM;gBAAE,OAAO,QAAQ,CAAC;YAC1D,OAAO,WAAW,CAAC,aAAa,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,QAA4D,EAC5D,WAA6B;IAE7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC;IACpD,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACzF,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,KAAK,GAAyB,MAAM,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,sBAAsB;QAC5B,IAAI;QACJ,MAAM,EAAE,eAAe;KACxB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7C,CAAC","sourcesContent":["import type {\n  RunControlDiagnostic,\n  RunControlValidationResult\n} from \"./controls/validation-result.ts\";\nimport type { CheckAggregate, CheckAggregation } from \"./controls/contract.ts\";\nimport type { CoreCheck, CoreSnapshot } from \"../check-settlement/facts.ts\";\n\ntype AggregateStatus = Exclude<CheckAggregate, \"not-applicable\">;\n\n/** Validates that aggregation selects only normalized executable Check IDs. */\nexport function validateCheckAggregationSelection(\n  aggregation: CheckAggregation | undefined,\n  checkIds: readonly string[]\n): RunControlValidationResult<CheckAggregation | undefined> {\n  if (aggregation === undefined) return Object.freeze({ ok: true, value: undefined });\n  if (aggregation.checks === \"all\") return Object.freeze({ ok: true, value: aggregation });\n  const knownCheckIds = new Set(checkIds);\n  const selectedCheckIds = new Set<string>();\n  for (const checkId of aggregation.checks) {\n    if (!knownCheckIds.has(checkId) || selectedCheckIds.has(checkId)) {\n      return invalidControls(\"controls.checkAggregation.checks\");\n    }\n    selectedCheckIds.add(checkId);\n  }\n  return Object.freeze({ ok: true, value: aggregation });\n}\n\n/** Derives one explicit consumer-selected aggregate from settled Check statuses only. */\nexport function aggregateCheckOutcomes(\n  snapshot: CoreSnapshot,\n  aggregation: CheckAggregation\n): CheckAggregate {\n  const statuses = selectedChecks(snapshot, aggregation.checks).map((check) =>\n    aggregateStatus(check, aggregation)\n  );\n  if (statuses.includes(\"unavailable\")) return \"unavailable\";\n  return aggregateSelectedStatuses(\n    statuses.filter(\n      (status): status is Exclude<AggregateStatus, \"unavailable\"> =>\n        status !== null && status !== \"unavailable\"\n    ),\n    aggregation\n  );\n}\n\nfunction selectedChecks(\n  snapshot: CoreSnapshot,\n  selection: CheckAggregation[\"checks\"]\n): readonly CoreCheck[] {\n  if (selection === \"all\") return snapshot.checks;\n  return selection.map((checkId) => {\n    const check = snapshot.checks.find((candidate) => candidate.checkId === checkId);\n    if (check === undefined) throw new TypeError(\"Aggregation selection was not validated\");\n    return check;\n  });\n}\n\nfunction aggregateStatus(check: CoreCheck, aggregation: CheckAggregation): AggregateStatus | null {\n  switch (check.outcome.status) {\n    case \"passed\":\n    case \"failed\":\n      return check.outcome.status;\n    case \"unavailable\": {\n      if (aggregation.unavailable === \"propagate\") return \"unavailable\";\n      return aggregation.unavailable === \"fail\" ? \"failed\" : null;\n    }\n    case \"not-applicable\": {\n      if (aggregation.notApplicable === \"pass\") return \"passed\";\n      return aggregation.notApplicable === \"fail\" ? \"failed\" : null;\n    }\n  }\n}\n\nfunction aggregateSelectedStatuses(\n  statuses: readonly Exclude<AggregateStatus, \"unavailable\">[],\n  aggregation: CheckAggregation\n): CheckAggregate {\n  if (statuses.length === 0) return aggregation.empty;\n  if (aggregation.mode === \"all\") return statuses.includes(\"failed\") ? \"failed\" : \"passed\";\n  return statuses.includes(\"passed\") ? \"passed\" : \"failed\";\n}\n\nfunction invalidControls(path: string): RunControlValidationResult<never> {\n  const error: RunControlDiagnostic = Object.freeze({\n    kind: \"invalid-run-controls\",\n    path,\n    reason: \"invalid-value\"\n  });\n  return Object.freeze({ ok: false, error });\n}\n"]}

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

@@ -0,0 +1,70 @@
+import { CoreInvariantFailure } from "../../check-settlement/session.mjs";
+import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
+/** Runs one trusted callback and closes its Check-owned reporter before return. */
+export async function executeCheckCallback(input) {
+    const checkId = input.check.definition.checkId;
+    const checkTags = diagnosticTags(`CHECK:${checkId}`, "EXECUTION");
+    const reporter = createCheckReporter(input.scope, input.diagnosticLogger, checkTags);
+    let result;
+    try {
+        const context = Object.freeze({
+            dependencies: input.dependencies,
+            options: input.check.options,
+            project: input.project,
+            records: reporter.records,
+            signal: input.signal
+        });
+        const callbackResult = await input.check.execution(context);
+        if (input.signal.aborted) {
+            input.diagnosticLogger?.observe({
+                event: "callback.cancelled",
+                tags: diagnosticTags(...checkTags, "CANCELLED"),
+                details: { result: callbackResult }
+            });
+        }
+        result = input.signal.aborted
+            ? productResult("execution-cancelled")
+            : Object.freeze({ source: "author", result: callbackResult });
+    }
+    catch (error) {
+        if (error instanceof CoreInvariantFailure)
+            throw error;
+        input.diagnosticLogger?.observe({
+            event: input.signal.aborted ? "callback.cancelled" : "callback.threw",
+            tags: diagnosticTags(...checkTags, input.signal.aborted ? "CANCELLED" : "THREW"),
+            details: { error }
+        });
+        result = productResult(input.signal.aborted ? "execution-cancelled" : "execution-threw");
+    }
+    finally {
+        reporter.close();
+    }
+    return result;
+}
+function createCheckReporter(scope, diagnosticLogger, checkTags) {
+    let isOpen = true;
+    return Object.freeze({
+        close: () => {
+            isOpen = false;
+        },
+        records: Object.freeze({
+            report: (identity, data) => {
+                if (!isOpen)
+                    throw new Error("Check record reporter is closed");
+                const result = scope.records.report(identity, data);
+                diagnosticLogger?.observe({
+                    event: "record.reported",
+                    tags: diagnosticTags(...checkTags, "RECORD", result.toUpperCase()),
+                    details: { data, identity, result }
+                });
+            }
+        })
+    });
+}
+function productResult(code) {
+    return Object.freeze({
+        source: "product",
+        result: Object.freeze({ status: "unavailable", reason: Object.freeze({ code }) })
+    });
+}
+//# sourceMappingURL=callback.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"callback.mjs","sourceRoot":"","sources":["../../../../src/project-run/check-execution/callback.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,oBAAoB,EAA0B,MAAM,mCAAmC,CAAC;AACjG,OAAO,EAAE,cAAc,EAAyB,MAAM,iCAAiC,CAAC;AA6BxF,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAyB;IAClE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;IAC/C,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;IACrF,IAAI,MAAyB,CAAC;IAC9B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACzB,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC9B,KAAK,EAAE,oBAAoB;gBAC3B,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,WAAW,CAAC;gBAC/C,OAAO,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO;YAC3B,CAAC,CAAC,aAAa,CAAC,qBAAqB,CAAC;YACtC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,oBAAoB;YAAE,MAAM,KAAK,CAAC;QACvD,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,gBAAgB;YACrE,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC;YAChF,OAAO,EAAE,EAAE,KAAK,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;IAC3F,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAwB,EACxB,gBAA8C,EAC9C,SAA4B;IAE5B,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,GAAS,EAAE;YAChB,MAAM,GAAG,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,CAAC,QAAiB,EAAE,IAAa,EAAQ,EAAE;gBACjD,IAAI,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;gBAChE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBACpD,gBAAgB,EAAE,OAAO,CAAC;oBACxB,KAAK,EAAE,iBAAiB;oBACxB,IAAI,EAAE,cAAc,CAAC,GAAG,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;oBAClE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;SACF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;KAClF,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  CheckDependencies,\n  CheckExecutionContext,\n  CheckOutcome,\n  CheckProjectContext\n} from \"../../check/check.ts\";\nimport type { NormalizedCheck } from \"../../project-definition/project-definition.ts\";\nimport { CoreInvariantFailure, type TrustedCheckScope } from \"../../check-settlement/session.ts\";\nimport { diagnosticTags, type DiagnosticLogger } from \"../diagnostic-logging/logger.ts\";\n\nexport type CallbackExecution = Readonly<\n  | {\n      /** Raw author result; Core owns its sole validation and canonicalization. */\n      readonly source: \"author\";\n      readonly result: unknown;\n    }\n  | {\n      /** Only callback containment may create a Product-controlled outcome. */\n      readonly source: \"product\";\n      readonly result: CheckOutcome;\n    }\n>;\n\ninterface CheckCallbackInput {\n  readonly check: NormalizedCheck;\n  readonly dependencies: CheckDependencies;\n  readonly diagnosticLogger?: DiagnosticLogger;\n  readonly project: CheckProjectContext;\n  readonly scope: TrustedCheckScope;\n  readonly signal: AbortSignal;\n}\n\ninterface CheckReporterLifecycle {\n  readonly records: CheckExecutionContext<object>[\"records\"];\n  close(): void;\n}\n\n/** Runs one trusted callback and closes its Check-owned reporter before return. */\nexport async function executeCheckCallback(input: CheckCallbackInput): Promise<CallbackExecution> {\n  const checkId = input.check.definition.checkId;\n  const checkTags = diagnosticTags(`CHECK:${checkId}`, \"EXECUTION\");\n  const reporter = createCheckReporter(input.scope, input.diagnosticLogger, checkTags);\n  let result: CallbackExecution;\n  try {\n    const context = Object.freeze({\n      dependencies: input.dependencies,\n      options: input.check.options,\n      project: input.project,\n      records: reporter.records,\n      signal: input.signal\n    });\n    const callbackResult = await input.check.execution(context);\n    if (input.signal.aborted) {\n      input.diagnosticLogger?.observe({\n        event: \"callback.cancelled\",\n        tags: diagnosticTags(...checkTags, \"CANCELLED\"),\n        details: { result: callbackResult }\n      });\n    }\n    result = input.signal.aborted\n      ? productResult(\"execution-cancelled\")\n      : Object.freeze({ source: \"author\", result: callbackResult });\n  } catch (error) {\n    if (error instanceof CoreInvariantFailure) throw error;\n    input.diagnosticLogger?.observe({\n      event: input.signal.aborted ? \"callback.cancelled\" : \"callback.threw\",\n      tags: diagnosticTags(...checkTags, input.signal.aborted ? \"CANCELLED\" : \"THREW\"),\n      details: { error }\n    });\n    result = productResult(input.signal.aborted ? \"execution-cancelled\" : \"execution-threw\");\n  } finally {\n    reporter.close();\n  }\n  return result;\n}\n\nfunction createCheckReporter(\n  scope: TrustedCheckScope,\n  diagnosticLogger: DiagnosticLogger | undefined,\n  checkTags: readonly string[]\n): CheckReporterLifecycle {\n  let isOpen = true;\n  return Object.freeze({\n    close: (): void => {\n      isOpen = false;\n    },\n    records: Object.freeze({\n      report: (identity: unknown, data: unknown): void => {\n        if (!isOpen) throw new Error(\"Check record reporter is closed\");\n        const result = scope.records.report(identity, data);\n        diagnosticLogger?.observe({\n          event: \"record.reported\",\n          tags: diagnosticTags(...checkTags, \"RECORD\", result.toUpperCase()),\n          details: { data, identity, result }\n        });\n      }\n    })\n  });\n}\n\nfunction productResult(code: string): CallbackExecution {\n  return Object.freeze({\n    source: \"product\",\n    result: Object.freeze({ status: \"unavailable\", reason: Object.freeze({ code }) })\n  });\n}\n"]}

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

@@ -0,0 +1,50 @@
+import { diagnosticTags } from "../diagnostic-logging/logger.mjs";
+export function createCheckDependencies(input) {
+    return Object.freeze({
+        get: (dependencyId) => {
+            const result = readDependency(input.session, input.directDependencyIds, dependencyId);
+            input.diagnosticLogger?.observe({
+                event: "dependency.read",
+                tags: diagnosticTags(`CHECK:${input.checkId}`, "EXECUTION", "DEPENDENCY-READ"),
+                details: dependencyReadDetails(dependencyId, result)
+            });
+            return result;
+        }
+    });
+}
+function dependencyReadDetails(requestedCheckId, result) {
+    if (!result.ok) {
+        return Object.freeze({ error: result.error, ok: false, requestedCheckId });
+    }
+    return Object.freeze({
+        hasData: true,
+        ok: true,
+        producer: result.checkId,
+        status: result.status
+    });
+}
+function readDependency(session, directDependencyIds, checkId) {
+    if (typeof checkId !== "string" || !directDependencyIds.includes(checkId)) {
+        return dependencyNotDeclared(checkId);
+    }
+    return dependencyReadResult(checkId, session.readSettledCheckOutcome(checkId));
+}
+function dependencyReadResult(checkId, outcome) {
+    if (outcome.status === "passed" || outcome.status === "failed") {
+        return Object.freeze({ ok: true, checkId, status: outcome.status, data: outcome.data });
+    }
+    return Object.freeze({
+        ok: false,
+        error: Object.freeze({ code: "upstream-data-unavailable", checkId, status: outcome.status })
+    });
+}
+function dependencyNotDeclared(checkId) {
+    return Object.freeze({
+        ok: false,
+        error: Object.freeze({
+            code: "dependency-not-declared",
+            checkId: typeof checkId === "string" ? checkId : ""
+        })
+    });
+}
+//# sourceMappingURL=dependencies.mjs.map

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

@@ -0,0 +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"]}