@zxyycom/vibe-check 0.0.1 → 0.0.2

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

@@ -1,50 +1,82 @@
 import { parseCheckTreeAuthoring } from "./authoring.mjs";
+import { EMPTY_RESOURCE_UNIT_MAPPING } from "../resource-unit-mapping.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) {
+export function resolveCheckTree(value, rootMaxParallel, resourceCapacities = EMPTY_RESOURCE_UNIT_MAPPING) {
     const parsed = parseCheckTreeAuthoring(value);
-    return parsed === undefined ? undefined : resolveParsedCheckTree(parsed, rootMaxParallel);
+    return parsed === undefined
+        ? undefined
+        : resolveParsedCheckTree(parsed, rootMaxParallel, resourceCapacities);
 }
-export function resolveParsedCheckTree(parsed, rootMaxParallel) {
+export function resolveParsedCheckTree(parsed, rootMaxParallel, resourceCapacities = EMPTY_RESOURCE_UNIT_MAPPING) {
     if (!Number.isSafeInteger(rootMaxParallel) || rootMaxParallel <= 0)
         return undefined;
     const leaves = [];
     const root = Object.freeze({
+        admissionPriority: 0,
         dependsOn: Object.freeze([]),
         maxParallel: rootMaxParallel,
-        mutex: Object.freeze([])
+        mutex: Object.freeze([]),
+        observes: Object.freeze([]),
+        resourceClaims: EMPTY_RESOURCE_UNIT_MAPPING
     });
-    for (const check of parsed.checks)
-        flattenCheck(check, root, leaves);
+    for (const check of parsed.checks) {
+        if (!flattenCheck(check, root, resourceCapacities, leaves))
+            return undefined;
+    }
     return Object.freeze({ leaves: Object.freeze(leaves), warnings: parsed.warnings });
 }
-function flattenCheck(check, inherited, leaves) {
-    const scheduling = Object.freeze({
+function flattenCheck(check, inherited, resourceCapacities, leaves) {
+    const scheduling = resolveScheduling(check, inherited);
+    if (!claimsFitCapacities(scheduling.resourceClaims, resourceCapacities))
+        return false;
+    const leaf = resolvedLeafFor(check, scheduling);
+    if (leaf !== undefined)
+        leaves.push(leaf);
+    for (const child of check.checks) {
+        if (!flattenCheck(child, scheduling, resourceCapacities, leaves))
+            return false;
+    }
+    return true;
+}
+function resolveScheduling(check, inherited) {
+    return Object.freeze({
+        admissionPriority: check.admissionPriority ?? inherited.admissionPriority,
         dependsOn: resolveCollection(inherited.dependsOn, check.dependsOn),
         maxParallel: check.maxParallel ?? inherited.maxParallel,
-        mutex: resolveCollection(inherited.mutex, check.mutex)
+        mutex: resolveCollection(inherited.mutex, check.mutex),
+        observes: resolveCollection(inherited.observes, check.observes),
+        resourceClaims: check.resourceClaims ?? inherited.resourceClaims
     });
+}
+function resolvedLeafFor(check, scheduling) {
     const visibility = check.visibility;
     if (check.execution !== null &&
         check.definition !== null &&
         check.options !== null &&
         visibility !== null) {
-        leaves.push(Object.freeze({
+        return Object.freeze({
+            admissionPriority: scheduling.admissionPriority,
             definition: check.definition,
             dependsOn: scheduling.dependsOn,
+            ...(check.enabledByFlags === null ? {} : { enabledByFlags: check.enabledByFlags }),
             execution: check.execution,
             maxParallel: scheduling.maxParallel,
             mutex: scheduling.mutex,
+            observes: scheduling.observes,
             options: check.options,
             ...(check.preflight === null ? {} : { preflight: check.preflight }),
+            resourceClaims: scheduling.resourceClaims,
             visibility
-        }));
+        });
     }
-    for (const child of check.checks)
-        flattenCheck(child, scheduling, leaves);
+    return undefined;
+}
+function claimsFitCapacities(claims, capacities) {
+    return Object.entries(claims).every(([resourceId, units]) => Object.hasOwn(capacities, resourceId) && units <= (capacities[resourceId] ?? 0));
 }
 function resolveCollection(inherited, authored) {
     if (authored === undefined)

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

@@ -1 +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"]}
+{"version":3,"file":"resolution.mjs","sourceRoot":"","sources":["../../../../src/project-definition/check-tree/resolution.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,uBAAuB,EAKxB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,2BAA2B,EAA4B,MAAM,6BAA6B,CAAC;AAiCpG;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,eAAuB,EACvB,kBAAkB,GAAwB,2BAA2B;IAErE,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC9C,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAuB,EACvB,eAAuB,EACvB,kBAAkB,GAAwB,2BAA2B;IAErE,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,iBAAiB,EAAE,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,WAAW,EAAE,eAAe;QAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,cAAc,EAAE,2BAA2B;KAC5C,CAAC,CAAC;IACH,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;IAC/E,CAAC;IACD,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,kBAAuC,EACvC,MAA+B;IAE/B,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,cAAc,EAAE,kBAAkB,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAkB,EAClB,SAA8B;IAE9B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,IAAI,SAAS,CAAC,iBAAiB;QACzE,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;QACtD,QAAQ,EAAE,iBAAiB,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;QAC/D,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,SAAS,CAAC,cAAc;KACjE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,KAAkB,EAClB,UAA+B;IAE/B,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,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,iBAAiB,EAAE,UAAU,CAAC,iBAAiB;YAC/C,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;YAClF,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,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,cAAc,EAAE,UAAU,CAAC,cAAc;YACzC,UAAU;SACX,CAAC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAA2B,EAC3B,UAA+B;IAE/B,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,CACjC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,CACtB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAClF,CAAC;AACJ,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 {\n  CheckExecution,\n  CheckFlagEnablement,\n  CheckPreflight,\n  CheckVisibility\n} from \"../../check/check.ts\";\nimport {\n  parseCheckTreeAuthoring,\n  type MeaninglessCheckWarning,\n  type ParsedCheck,\n  type ParsedCheckCollection,\n  type ParsedCheckTree\n} from \"./authoring.ts\";\nimport { EMPTY_RESOURCE_UNIT_MAPPING, type ResourceUnitMapping } from \"../resource-unit-mapping.ts\";\n\nexport type { Check, InheritableCheckCollection } from \"../../check/check.ts\";\n\nexport interface ResolvedCheckTreeLeaf {\n  readonly admissionPriority: number;\n  readonly definition: CheckDescriptor;\n  readonly dependsOn: readonly string[];\n  readonly enabledByFlags?: CheckFlagEnablement;\n  readonly execution: CheckExecution;\n  readonly maxParallel: number;\n  readonly mutex: readonly string[];\n  readonly observes: readonly string[];\n  readonly options: object;\n  readonly preflight?: CheckPreflight;\n  readonly resourceClaims: ResourceUnitMapping;\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 admissionPriority: number;\n  readonly dependsOn: readonly string[];\n  readonly maxParallel: number;\n  readonly mutex: readonly string[];\n  readonly observes: readonly string[];\n  readonly resourceClaims: ResourceUnitMapping;\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  resourceCapacities: ResourceUnitMapping = EMPTY_RESOURCE_UNIT_MAPPING\n): ResolvedCheckTree | undefined {\n  const parsed = parseCheckTreeAuthoring(value);\n  return parsed === undefined\n    ? undefined\n    : resolveParsedCheckTree(parsed, rootMaxParallel, resourceCapacities);\n}\n\nexport function resolveParsedCheckTree(\n  parsed: ParsedCheckTree,\n  rootMaxParallel: number,\n  resourceCapacities: ResourceUnitMapping = EMPTY_RESOURCE_UNIT_MAPPING\n): ResolvedCheckTree | undefined {\n  if (!Number.isSafeInteger(rootMaxParallel) || rootMaxParallel <= 0) return undefined;\n  const leaves: ResolvedCheckTreeLeaf[] = [];\n  const root: InheritedScheduling = Object.freeze({\n    admissionPriority: 0,\n    dependsOn: Object.freeze([]),\n    maxParallel: rootMaxParallel,\n    mutex: Object.freeze([]),\n    observes: Object.freeze([]),\n    resourceClaims: EMPTY_RESOURCE_UNIT_MAPPING\n  });\n  for (const check of parsed.checks) {\n    if (!flattenCheck(check, root, resourceCapacities, leaves)) return undefined;\n  }\n  return Object.freeze({ leaves: Object.freeze(leaves), warnings: parsed.warnings });\n}\n\nfunction flattenCheck(\n  check: ParsedCheck,\n  inherited: InheritedScheduling,\n  resourceCapacities: ResourceUnitMapping,\n  leaves: ResolvedCheckTreeLeaf[]\n): boolean {\n  const scheduling = resolveScheduling(check, inherited);\n  if (!claimsFitCapacities(scheduling.resourceClaims, resourceCapacities)) return false;\n  const leaf = resolvedLeafFor(check, scheduling);\n  if (leaf !== undefined) leaves.push(leaf);\n  for (const child of check.checks) {\n    if (!flattenCheck(child, scheduling, resourceCapacities, leaves)) return false;\n  }\n  return true;\n}\n\nfunction resolveScheduling(\n  check: ParsedCheck,\n  inherited: InheritedScheduling\n): InheritedScheduling {\n  return Object.freeze({\n    admissionPriority: check.admissionPriority ?? inherited.admissionPriority,\n    dependsOn: resolveCollection(inherited.dependsOn, check.dependsOn),\n    maxParallel: check.maxParallel ?? inherited.maxParallel,\n    mutex: resolveCollection(inherited.mutex, check.mutex),\n    observes: resolveCollection(inherited.observes, check.observes),\n    resourceClaims: check.resourceClaims ?? inherited.resourceClaims\n  });\n}\n\nfunction resolvedLeafFor(\n  check: ParsedCheck,\n  scheduling: InheritedScheduling\n): ResolvedCheckTreeLeaf | undefined {\n  const visibility = check.visibility;\n  if (\n    check.execution !== null &&\n    check.definition !== null &&\n    check.options !== null &&\n    visibility !== null\n  ) {\n    return Object.freeze({\n      admissionPriority: scheduling.admissionPriority,\n      definition: check.definition,\n      dependsOn: scheduling.dependsOn,\n      ...(check.enabledByFlags === null ? {} : { enabledByFlags: check.enabledByFlags }),\n      execution: check.execution,\n      maxParallel: scheduling.maxParallel,\n      mutex: scheduling.mutex,\n      observes: scheduling.observes,\n      options: check.options,\n      ...(check.preflight === null ? {} : { preflight: check.preflight }),\n      resourceClaims: scheduling.resourceClaims,\n      visibility\n    });\n  }\n  return undefined;\n}\n\nfunction claimsFitCapacities(\n  claims: ResourceUnitMapping,\n  capacities: ResourceUnitMapping\n): boolean {\n  return Object.entries(claims).every(\n    ([resourceId, units]) =>\n      Object.hasOwn(capacities, resourceId) && units <= (capacities[resourceId] ?? 0)\n  );\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/check-tree/scheduling-authoring.mjs

@@ -0,0 +1,73 @@
+import { isInheritedCheckCollection, snapshotInheritedCheckCollection } from "../../check/check.mjs";
+import { parseUniqueIdentifiers } from "./collection-authoring.mjs";
+import { snapshotResourceUnitMapping } from "../resource-unit-mapping.mjs";
+/** Parses the closed relation, priority, and capacity fields for one authored Check. */
+export function parseCheckScheduling(data) {
+    const dependsOn = parseCollection(data, "dependsOn");
+    const mutex = parseCollection(data, "mutex");
+    const observes = parseCollection(data, "observes");
+    const admissionPriority = parseAdmissionPriority(data.admissionPriority);
+    const maxParallel = parseMaxParallel(data.maxParallel);
+    const resourceClaims = data.resourceClaims === undefined
+        ? undefined
+        : snapshotResourceUnitMapping(data.resourceClaims);
+    if (dependsOn === null || mutex === null || observes === null)
+        return undefined;
+    if (admissionPriority === null ||
+        maxParallel === null ||
+        (data.resourceClaims !== undefined && resourceClaims === undefined)) {
+        return undefined;
+    }
+    return resolvedScheduling({
+        admissionPriority,
+        dependsOn,
+        maxParallel,
+        mutex,
+        observes,
+        resourceClaims
+    });
+}
+function resolvedScheduling(scheduling) {
+    return Object.freeze({
+        admissionPriority: scheduling.admissionPriority,
+        dependsOn: scheduling.dependsOn ?? undefined,
+        maxParallel: scheduling.maxParallel,
+        mutex: scheduling.mutex ?? undefined,
+        observes: scheduling.observes ?? undefined,
+        resourceClaims: scheduling.resourceClaims
+    });
+}
+function parseAdmissionPriority(value) {
+    if (value === undefined)
+        return undefined;
+    return typeof value === "number" && Number.isSafeInteger(value) ? value : null;
+}
+function parseMaxParallel(value) {
+    if (value === undefined)
+        return undefined;
+    return typeof value === "number" && Number.isSafeInteger(value) && value > 0 ? value : null;
+}
+function parseCollection(data, field) {
+    if (!Object.hasOwn(data, field))
+        return undefined;
+    const value = data[field];
+    if (isInheritedCheckCollection(value))
+        return parseInheritedCollection(value);
+    const values = parseUniqueIdentifiers(value);
+    return values === undefined ? null : Object.freeze({ kind: "exact", values });
+}
+function parseInheritedCollection(value) {
+    const data = snapshotInheritedCheckCollection(value);
+    if (data === undefined || !hasExactInheritedKeys(data))
+        return null;
+    const add = data.add === undefined ? Object.freeze([]) : parseUniqueIdentifiers(data.add);
+    const remove = data.remove === undefined ? Object.freeze([]) : parseUniqueIdentifiers(data.remove);
+    if (add === undefined || remove === undefined)
+        return null;
+    return Object.freeze({ kind: "inherit", add, remove });
+}
+function hasExactInheritedKeys(data) {
+    const keys = Object.keys(data);
+    return keys.length > 0 && keys.every((key) => key === "add" || key === "remove");
+}
+//# sourceMappingURL=scheduling-authoring.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scheduling-authoring.mjs","sourceRoot":"","sources":["../../../../src/project-definition/check-tree/scheduling-authoring.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAC1B,gCAAgC,EAEjC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAA4B,MAAM,6BAA6B,CAAC;AAoBpG,wFAAwF;AACxF,MAAM,UAAU,oBAAoB,CAClC,IAAuC;IAEvC,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,cAAc,GAClB,IAAI,CAAC,cAAc,KAAK,SAAS;QAC/B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,2BAA2B,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACvD,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChF,IACE,iBAAiB,KAAK,IAAI;QAC1B,WAAW,KAAK,IAAI;QACpB,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,CAAC,EACnE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,kBAAkB,CAAC;QACxB,iBAAiB;QACjB,SAAS;QACT,WAAW;QACX,KAAK;QACL,QAAQ;QACR,cAAc;KACf,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,UAOE;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,iBAAiB,EAAE,UAAU,CAAC,iBAAiB;QAC/C,SAAS,EAAE,UAAU,CAAC,SAAS,IAAI,SAAS;QAC5C,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,KAAK,EAAE,UAAU,CAAC,KAAK,IAAI,SAAS;QACpC,QAAQ,EAAE,UAAU,CAAC,QAAQ,IAAI,SAAS;QAC1C,cAAc,EAAE,UAAU,CAAC,cAAc;KAC1C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9F,CAAC;AAED,SAAS,eAAe,CACtB,IAAuC,EACvC,KAAyC;IAEzC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,0BAA0B,CAAC,KAAK,CAAC;QAAE,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAwC;IAExC,MAAM,IAAI,GAAG,gCAAgC,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1F,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtF,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuC;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,QAAQ,CAAC,CAAC;AACnF,CAAC","sourcesContent":["import {\n  isInheritedCheckCollection,\n  snapshotInheritedCheckCollection,\n  type InheritedCheckCollection\n} from \"../../check/check.ts\";\nimport { parseUniqueIdentifiers } from \"./collection-authoring.ts\";\nimport { snapshotResourceUnitMapping, type ResourceUnitMapping } from \"../resource-unit-mapping.ts\";\n\nexport type ParsedCheckCollection = Readonly<\n  | { readonly kind: \"exact\"; readonly values: readonly string[] }\n  | {\n      readonly kind: \"inherit\";\n      readonly add: readonly string[];\n      readonly remove: readonly string[];\n    }\n>;\n\nexport type ParsedCheckScheduling = Readonly<{\n  readonly admissionPriority: number | undefined;\n  readonly dependsOn: ParsedCheckCollection | undefined;\n  readonly maxParallel: number | undefined;\n  readonly mutex: ParsedCheckCollection | undefined;\n  readonly observes: ParsedCheckCollection | undefined;\n  readonly resourceClaims: ResourceUnitMapping | undefined;\n}>;\n\n/** Parses the closed relation, priority, and capacity fields for one authored Check. */\nexport function parseCheckScheduling(\n  data: Readonly<Record<string, unknown>>\n): ParsedCheckScheduling | undefined {\n  const dependsOn = parseCollection(data, \"dependsOn\");\n  const mutex = parseCollection(data, \"mutex\");\n  const observes = parseCollection(data, \"observes\");\n  const admissionPriority = parseAdmissionPriority(data.admissionPriority);\n  const maxParallel = parseMaxParallel(data.maxParallel);\n  const resourceClaims =\n    data.resourceClaims === undefined\n      ? undefined\n      : snapshotResourceUnitMapping(data.resourceClaims);\n  if (dependsOn === null || mutex === null || observes === null) return undefined;\n  if (\n    admissionPriority === null ||\n    maxParallel === null ||\n    (data.resourceClaims !== undefined && resourceClaims === undefined)\n  ) {\n    return undefined;\n  }\n  return resolvedScheduling({\n    admissionPriority,\n    dependsOn,\n    maxParallel,\n    mutex,\n    observes,\n    resourceClaims\n  });\n}\n\nfunction resolvedScheduling(\n  scheduling: Readonly<{\n    readonly admissionPriority: number | undefined;\n    readonly dependsOn: ParsedCheckCollection | undefined;\n    readonly maxParallel: number | undefined;\n    readonly mutex: ParsedCheckCollection | undefined;\n    readonly observes: ParsedCheckCollection | undefined;\n    readonly resourceClaims: ResourceUnitMapping | undefined;\n  }>\n): ParsedCheckScheduling {\n  return Object.freeze({\n    admissionPriority: scheduling.admissionPriority,\n    dependsOn: scheduling.dependsOn ?? undefined,\n    maxParallel: scheduling.maxParallel,\n    mutex: scheduling.mutex ?? undefined,\n    observes: scheduling.observes ?? undefined,\n    resourceClaims: scheduling.resourceClaims\n  });\n}\n\nfunction parseAdmissionPriority(value: unknown): number | null | undefined {\n  if (value === undefined) return undefined;\n  return typeof value === \"number\" && Number.isSafeInteger(value) ? value : null;\n}\n\nfunction parseMaxParallel(value: unknown): number | null | undefined {\n  if (value === undefined) return undefined;\n  return typeof value === \"number\" && Number.isSafeInteger(value) && value > 0 ? value : null;\n}\n\nfunction parseCollection(\n  data: Readonly<Record<string, unknown>>,\n  field: \"dependsOn\" | \"mutex\" | \"observes\"\n): ParsedCheckCollection | null | undefined {\n  if (!Object.hasOwn(data, field)) return undefined;\n  const value = data[field];\n  if (isInheritedCheckCollection(value)) return parseInheritedCollection(value);\n  const values = parseUniqueIdentifiers(value);\n  return values === undefined ? null : Object.freeze({ kind: \"exact\", values });\n}\n\nfunction parseInheritedCollection(\n  value: InheritedCheckCollection<unknown>\n): ParsedCheckCollection | null {\n  const data = snapshotInheritedCheckCollection(value);\n  if (data === undefined || !hasExactInheritedKeys(data)) return null;\n  const add = data.add === undefined ? Object.freeze([]) : parseUniqueIdentifiers(data.add);\n  const remove =\n    data.remove === undefined ? Object.freeze([]) : parseUniqueIdentifiers(data.remove);\n  if (add === undefined || remove === undefined) return null;\n  return Object.freeze({ kind: \"inherit\", add, remove });\n}\n\nfunction hasExactInheritedKeys(data: Readonly<Record<string, unknown>>): boolean {\n  const keys = Object.keys(data);\n  return keys.length > 0 && keys.every((key) => key === \"add\" || key === \"remove\");\n}\n"]}

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

@@ -0,0 +1,73 @@
+import { createHash } from "node:crypto";
+import { resolveProgressRenderingOutput } from "./output-defaults.mjs";
+import { isNonArrayRecord } from "../data-boundary/value-shapes.mjs";
+/**
+ * Produces the immutable, callback-free Definition identity consumed by fingerprinting.
+ */
+export function createDeclarativeProjectSnapshot(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: declarativeOutputs(definition),
+        scheduler: Object.freeze({
+            admissionPolicy: declarativeAdmissionPolicy(definition.scheduler.admissionPolicy),
+            maxParallel: definition.scheduler.maxParallel,
+            resourceCapacities: definition.scheduler.resourceCapacities
+        })
+    });
+}
+function declarativeOutputs(definition) {
+    const progressRendering = resolveProgressRenderingOutput(definition.outputs.progressRendering);
+    return Object.freeze({
+        diagnosticLogging: definition.outputs.diagnosticLogging,
+        machinePublication: definition.outputs.machinePublication,
+        progressRendering: Object.freeze({
+            enabled: progressRendering.enabled,
+            formatter: progressRendering.formatter === null ? "default" : "custom",
+            messagePreviewLimit: progressRendering.messagePreviewLimit,
+            recordPreviewLimit: progressRendering.recordPreviewLimit,
+            textPreviewCodePointLimit: progressRendering.textPreviewCodePointLimit
+        })
+    });
+}
+/** Generates the stable SHA-256 fingerprint for one declarative Definition snapshot. */
+export function createDeclarativeFingerprint(snapshot) {
+    return createHash("sha256").update(stableJson(snapshot)).digest("hex");
+}
+function declarativeAdmissionPolicy(policy) {
+    if (policy.kind === "custom") {
+        return Object.freeze({
+            kind: "custom",
+            strategy: Object.freeze({ kind: policy.strategy.kind })
+        });
+    }
+    return Object.freeze({ kind: "static" });
+}
+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=declarative-snapshot.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"declarative-snapshot.mjs","sourceRoot":"","sources":["../../../src/project-definition/declarative-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AASzC,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE;;GAEG;AACH,MAAM,UAAU,gCAAgC,CAC9C,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,kBAAkB,CAAC,UAAU,CAAC;QACvC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YACvB,eAAe,EAAE,0BAA0B,CAAC,UAAU,CAAC,SAAS,CAAC,eAAe,CAAC;YACjF,WAAW,EAAE,UAAU,CAAC,SAAS,CAAC,WAAW;YAC7C,kBAAkB,EAAE,UAAU,CAAC,SAAS,CAAC,kBAAkB;SAC5D,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA6B;IACvD,MAAM,iBAAiB,GAAG,8BAA8B,CAAC,UAAU,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC/F,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,iBAAiB,EAAE,UAAU,CAAC,OAAO,CAAC,iBAAiB;QACvD,kBAAkB,EAAE,UAAU,CAAC,OAAO,CAAC,kBAAkB;QACzD,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC;YAC/B,OAAO,EAAE,iBAAiB,CAAC,OAAO;YAClC,SAAS,EAAE,iBAAiB,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;YACtE,mBAAmB,EAAE,iBAAiB,CAAC,mBAAmB;YAC1D,kBAAkB,EAAE,iBAAiB,CAAC,kBAAkB;YACxD,yBAAyB,EAAE,iBAAiB,CAAC,yBAAyB;SACvE,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,wFAAwF;AACxF,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;AAED,SAAS,0BAA0B,CACjC,MAAuB;IAEvB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,QAAiB;YACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;SACxD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAC;AACpD,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;AAED,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;AAED,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 type { AdmissionPolicy, DeclarativeSchedulerPolicy } from \"./scheduler-policy.ts\";\nimport type {\n  DeclarativeProjectOutputs,\n  DeclarativeProjectSnapshot,\n  NormalizedCheck,\n  ProjectDefinition\n} from \"./project-definition.ts\";\nimport { resolveProgressRenderingOutput } from \"./output-defaults.ts\";\nimport { isNonArrayRecord } from \"../data-boundary/value-shapes.ts\";\n\n/**\n * Produces the immutable, callback-free Definition identity consumed by fingerprinting.\n */\nexport function createDeclarativeProjectSnapshot(\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: declarativeOutputs(definition),\n    scheduler: Object.freeze({\n      admissionPolicy: declarativeAdmissionPolicy(definition.scheduler.admissionPolicy),\n      maxParallel: definition.scheduler.maxParallel,\n      resourceCapacities: definition.scheduler.resourceCapacities\n    })\n  });\n}\n\nfunction declarativeOutputs(definition: ProjectDefinition): DeclarativeProjectOutputs {\n  const progressRendering = resolveProgressRenderingOutput(definition.outputs.progressRendering);\n  return Object.freeze({\n    diagnosticLogging: definition.outputs.diagnosticLogging,\n    machinePublication: definition.outputs.machinePublication,\n    progressRendering: Object.freeze({\n      enabled: progressRendering.enabled,\n      formatter: progressRendering.formatter === null ? \"default\" : \"custom\",\n      messagePreviewLimit: progressRendering.messagePreviewLimit,\n      recordPreviewLimit: progressRendering.recordPreviewLimit,\n      textPreviewCodePointLimit: progressRendering.textPreviewCodePointLimit\n    })\n  });\n}\n\n/** Generates the stable SHA-256 fingerprint for one declarative Definition snapshot. */\nexport function createDeclarativeFingerprint(snapshot: DeclarativeProjectSnapshot): string {\n  return createHash(\"sha256\").update(stableJson(snapshot)).digest(\"hex\");\n}\n\nfunction declarativeAdmissionPolicy(\n  policy: AdmissionPolicy\n): DeclarativeSchedulerPolicy[\"admissionPolicy\"] {\n  if (policy.kind === \"custom\") {\n    return Object.freeze({\n      kind: \"custom\" as const,\n      strategy: Object.freeze({ kind: policy.strategy.kind })\n    });\n  }\n  return Object.freeze({ kind: \"static\" as const });\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\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}\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-definition/output-defaults.mjs

@@ -1,7 +1,24 @@
 /** 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 }),
+    progressRendering: Object.freeze({
+        enabled: true,
+        formatter: null,
+        messagePreviewLimit: 5,
+        recordPreviewLimit: 5,
+        textPreviewCodePointLimit: 240
+    }),
     diagnosticLogging: Object.freeze({ directory: ".log/vibe-check", enabled: false })
 });
+/** Materializes compatible progress authoring into the single renderer-ready policy. */
+export function resolveProgressRenderingOutput(output) {
+    const { enabled = DEFAULT_PROJECT_OUTPUTS.progressRendering.enabled, formatter = DEFAULT_PROJECT_OUTPUTS.progressRendering.formatter, messagePreviewLimit = DEFAULT_PROJECT_OUTPUTS.progressRendering.messagePreviewLimit, recordPreviewLimit = DEFAULT_PROJECT_OUTPUTS.progressRendering.recordPreviewLimit, textPreviewCodePointLimit = DEFAULT_PROJECT_OUTPUTS.progressRendering.textPreviewCodePointLimit } = output;
+    return Object.freeze({
+        enabled,
+        formatter,
+        messagePreviewLimit,
+        recordPreviewLimit,
+        textPreviewCodePointLimit
+    });
+}
 //# sourceMappingURL=output-defaults.mjs.map

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

@@ -1 +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"]}
+{"version":3,"file":"output-defaults.mjs","sourceRoot":"","sources":["../../../src/project-definition/output-defaults.ts"],"names":[],"mappings":"AAKA,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;QAC/B,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,IAAI;QACf,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,CAAC;QACrB,yBAAyB,EAAE,GAAG;KAC/B,CAAC;IACF,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CAC1E,CAAC,CAAC;AAEZ,wFAAwF;AACxF,MAAM,UAAU,8BAA8B,CAC5C,MAAwC;IAExC,MAAM,EACJ,OAAO,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,OAAO,EAC3D,SAAS,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,SAAS,EAC/D,mBAAmB,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,mBAAmB,EACnF,kBAAkB,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,kBAAkB,EACjF,yBAAyB,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,yBAAyB,EAChG,GAAG,MAAM,CAAC;IACX,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO;QACP,SAAS;QACT,mBAAmB;QACnB,kBAAkB;QAClB,yBAAyB;KAC1B,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n  ProgressRenderingOutput,\n  ResolvedProgressRenderingOutput\n} from \"./progress-rendering-output.ts\";\n\n/** 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({\n    enabled: true,\n    formatter: null,\n    messagePreviewLimit: 5,\n    recordPreviewLimit: 5,\n    textPreviewCodePointLimit: 240\n  }),\n  diagnosticLogging: Object.freeze({ directory: \".log/vibe-check\", enabled: false })\n} as const);\n\n/** Materializes compatible progress authoring into the single renderer-ready policy. */\nexport function resolveProgressRenderingOutput(\n  output: Partial<ProgressRenderingOutput>\n): ResolvedProgressRenderingOutput {\n  const {\n    enabled = DEFAULT_PROJECT_OUTPUTS.progressRendering.enabled,\n    formatter = DEFAULT_PROJECT_OUTPUTS.progressRendering.formatter,\n    messagePreviewLimit = DEFAULT_PROJECT_OUTPUTS.progressRendering.messagePreviewLimit,\n    recordPreviewLimit = DEFAULT_PROJECT_OUTPUTS.progressRendering.recordPreviewLimit,\n    textPreviewCodePointLimit = DEFAULT_PROJECT_OUTPUTS.progressRendering.textPreviewCodePointLimit\n  } = output;\n  return Object.freeze({\n    enabled,\n    formatter,\n    messagePreviewLimit,\n    recordPreviewLimit,\n    textPreviewCodePointLimit\n  });\n}\n"]}

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

@@ -1,37 +1,37 @@
-import { isAbsolute, relative, resolve, sep } from "node:path";
+import { parseProgressRenderingFields } from "./progress-rendering-output.mjs";
 import { snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+import { resolveProgressRenderingOutput } from "./output-defaults.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 progressRendering = parseProgressRenderingOutput(data.progressRendering);
     const diagnosticLogging = parseDirectoryOutput(data.diagnosticLogging);
     return machinePublication === undefined ||
         progressRendering === undefined ||
-        diagnosticLogging === undefined ||
-        !isContainedRelativeDirectory(diagnosticLogging.directory)
+        diagnosticLogging === undefined
         ? 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}`);
+/** Accepts trusted output targets without claiming filesystem containment. */
+export function isOutputDirectory(directory) {
+    return directory.length > 0 && !directory.includes("\0");
 }
 function parseDirectoryOutput(value) {
     const data = exactKeys(value, ["directory", "enabled"]);
-    return typeof data?.directory === "string" && typeof data.enabled === "boolean"
+    return typeof data?.directory === "string" &&
+        isOutputDirectory(data.directory) &&
+        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 parseProgressRenderingOutput(value) {
+    const fields = parseProgressRenderingFields(value);
+    if (!fields.ok || fields.value.enabled === undefined)
+        return undefined;
+    return resolveProgressRenderingOutput(fields.value);
 }
 function exactKeys(value, keys) {
     const data = snapshotClosedRecord(value);

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

@@ -1 +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"]}
+{"version":3,"file":"output-validation.mjs","sourceRoot":"","sources":["../../../src/project-definition/output-validation.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AAEtE,MAAM,YAAY,GAAG,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,mBAAmB,CAAU,CAAC;AAE/F,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,4BAA4B,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC/E,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,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3D,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;QACxC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;QACjC,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;QACjC,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,4BAA4B,CAAC,KAAc;IAClD,MAAM,MAAM,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvE,OAAO,8BAA8B,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtD,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 type { ProjectOutputs } from \"./project-definition.ts\";\nimport type { ResolvedProgressRenderingOutput } from \"./progress-rendering-output.ts\";\nimport { parseProgressRenderingFields } from \"./progress-rendering-output.ts\";\nimport { snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\nimport { resolveProgressRenderingOutput } from \"./output-defaults.ts\";\n\nconst OUTPUT_NAMES = [\"machinePublication\", \"progressRendering\", \"diagnosticLogging\"] as const;\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 = parseProgressRenderingOutput(data.progressRendering);\n  const diagnosticLogging = parseDirectoryOutput(data.diagnosticLogging);\n  return machinePublication === undefined ||\n    progressRendering === undefined ||\n    diagnosticLogging === undefined\n    ? undefined\n    : Object.freeze({ machinePublication, progressRendering, diagnosticLogging });\n}\n\n/** Accepts trusted output targets without claiming filesystem containment. */\nexport function isOutputDirectory(directory: string): boolean {\n  return directory.length > 0 && !directory.includes(\"\\0\");\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\" &&\n    isOutputDirectory(data.directory) &&\n    typeof data.enabled === \"boolean\"\n    ? Object.freeze({ directory: data.directory, enabled: data.enabled })\n    : undefined;\n}\n\nfunction parseProgressRenderingOutput(value: unknown): ResolvedProgressRenderingOutput | undefined {\n  const fields = parseProgressRenderingFields(value);\n  if (!fields.ok || fields.value.enabled === undefined) return undefined;\n  return resolveProgressRenderingOutput(fields.value);\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/progress-rendering-output.mjs

@@ -0,0 +1,52 @@
+import { snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+const PROGRESS_RENDERING_FIELD_SPECS = Object.freeze([
+    { key: "enabled", accepts: isBoolean, expected: "boolean" },
+    { key: "formatter", accepts: isProgressPreviewFormatterOrNull, expected: "function-or-null" },
+    {
+        key: "messagePreviewLimit",
+        accepts: isNonNegativeSafeInteger,
+        expected: "non-negative-safe-integer"
+    },
+    {
+        key: "recordPreviewLimit",
+        accepts: isNonNegativeSafeInteger,
+        expected: "non-negative-safe-integer"
+    },
+    {
+        key: "textPreviewCodePointLimit",
+        accepts: isPositiveSafeInteger,
+        expected: "positive-safe-integer"
+    }
+]);
+/** Parses the fields shared by Definition output and RunControls override grammar. */
+export function parseProgressRenderingFields(value) {
+    const data = snapshotClosedRecord(value);
+    if (data === undefined) {
+        return { ok: false, key: null, reason: "invalid-value", expected: "plain-data-object" };
+    }
+    const unknownKey = Object.keys(data).find((key) => !PROGRESS_RENDERING_FIELD_SPECS.some((field) => field.key === key));
+    if (unknownKey !== undefined)
+        return { ok: false, key: unknownKey, reason: "unknown-key" };
+    for (const { key, accepts, expected } of PROGRESS_RENDERING_FIELD_SPECS) {
+        if (data[key] !== undefined && !accepts(data[key])) {
+            return { ok: false, key, reason: "invalid-value", expected };
+        }
+    }
+    return {
+        ok: true,
+        value: Object.freeze(Object.fromEntries(PROGRESS_RENDERING_FIELD_SPECS.flatMap(({ key }) => data[key] === undefined ? [] : [[key, data[key]]])))
+    };
+}
+function isBoolean(value) {
+    return typeof value === "boolean";
+}
+function isNonNegativeSafeInteger(value) {
+    return typeof value === "number" && Number.isSafeInteger(value) && value >= 0;
+}
+function isPositiveSafeInteger(value) {
+    return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
+}
+function isProgressPreviewFormatterOrNull(value) {
+    return value === null || typeof value === "function";
+}
+//# sourceMappingURL=progress-rendering-output.mjs.map

package/dist/esm/project-definition/progress-rendering-output.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress-rendering-output.mjs","sourceRoot":"","sources":["../../../src/project-definition/progress-rendering-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AA2DzE,MAAM,8BAA8B,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE;IAC3D,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,gCAAgC,EAAE,QAAQ,EAAE,kBAAkB,EAAE;IAC7F;QACE,GAAG,EAAE,qBAAqB;QAC1B,OAAO,EAAE,wBAAwB;QACjC,QAAQ,EAAE,2BAA2B;KACtC;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,OAAO,EAAE,wBAAwB;QACjC,QAAQ,EAAE,2BAA2B;KACtC;IACD;QACE,GAAG,EAAE,2BAA2B;QAChC,OAAO,EAAE,qBAAqB;QAC9B,QAAQ,EAAE,uBAAuB;KAClC;CAC8C,CAAC,CAAC;AAEnD,sFAAsF;AACtF,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACvC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,8BAA8B,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,CAC5E,CAAC;IACF,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC3F,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,8BAA8B,EAAE,CAAC;QACxE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACnD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,WAAW,CAChB,8BAA8B,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CACjD,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAClD,CACkC,CACtC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;AACpC,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAc;IACtD,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;AACvD,CAAC","sourcesContent":["import { snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\n/** Progress formatter 只接收当前 selected preview 的默认正文，不接收 Check 或事实对象。 */\nexport type ProgressPreviewFormatter = (\n  this: void,\n  context: Readonly<{\n    readonly kind: \"record\" | \"message\";\n    readonly text: string;\n    readonly maxCodePoints: number;\n  }>\n) => string;\n\n/** 人读 progress rendering 的作者配置；省略 preview 字段时使用 Product 默认值。 */\nexport interface ProgressRenderingOutput {\n  /** `false` 时不构造或写入 progress writer。 */\n  readonly enabled: boolean;\n  /** 每个 settled block 预览的 Record 数量；非负 safe integer，默认 `5`，`0` 只隐藏 detail。 */\n  readonly recordPreviewLimit?: number;\n  /** 每个 settled block 预览的 message 数量；非负 safe integer，默认 `5`，`0` 只隐藏 detail。 */\n  readonly messagePreviewLimit?: number;\n  /** 每条 preview 正文的 Unicode code point 上限；正 safe integer，默认 `240`。 */\n  readonly textPreviewCodePointLimit?: number;\n  /** `null` 或省略保持默认正文；函数返回文本仍由 Product escape 并限制长度。 */\n  readonly formatter?: ProgressPreviewFormatter | null;\n}\n\n/** 已补齐 defaults、可直接交给 progress renderer 的配置。 */\nexport interface ResolvedProgressRenderingOutput {\n  readonly enabled: boolean;\n  readonly formatter: ProgressPreviewFormatter | null;\n  readonly messagePreviewLimit: number;\n  readonly recordPreviewLimit: number;\n  readonly textPreviewCodePointLimit: number;\n}\n\ntype ProgressRenderingFieldSpec = Readonly<{\n  readonly key: keyof ProgressRenderingOutput;\n  readonly accepts: (value: unknown) => boolean;\n  readonly expected: ProgressRenderingFieldExpectation;\n}>;\n\n/** Closed expectations shared with invocation diagnostics; never contains authored values. */\nexport type ProgressRenderingFieldExpectation =\n  | \"plain-data-object\"\n  | \"boolean\"\n  | \"function-or-null\"\n  | \"non-negative-safe-integer\"\n  | \"positive-safe-integer\";\n\ntype ProgressRenderingFieldsResult = Readonly<\n  | { readonly ok: true; readonly value: Partial<ProgressRenderingOutput> }\n  | {\n      readonly ok: false;\n      readonly key: string | null;\n      readonly reason: \"unknown-key\" | \"invalid-value\";\n      readonly expected?: ProgressRenderingFieldExpectation;\n    }\n>;\n\nconst PROGRESS_RENDERING_FIELD_SPECS = Object.freeze([\n  { key: \"enabled\", accepts: isBoolean, expected: \"boolean\" },\n  { key: \"formatter\", accepts: isProgressPreviewFormatterOrNull, expected: \"function-or-null\" },\n  {\n    key: \"messagePreviewLimit\",\n    accepts: isNonNegativeSafeInteger,\n    expected: \"non-negative-safe-integer\"\n  },\n  {\n    key: \"recordPreviewLimit\",\n    accepts: isNonNegativeSafeInteger,\n    expected: \"non-negative-safe-integer\"\n  },\n  {\n    key: \"textPreviewCodePointLimit\",\n    accepts: isPositiveSafeInteger,\n    expected: \"positive-safe-integer\"\n  }\n] satisfies readonly ProgressRenderingFieldSpec[]);\n\n/** Parses the fields shared by Definition output and RunControls override grammar. */\nexport function parseProgressRenderingFields(value: unknown): ProgressRenderingFieldsResult {\n  const data = snapshotClosedRecord(value);\n  if (data === undefined) {\n    return { ok: false, key: null, reason: \"invalid-value\", expected: \"plain-data-object\" };\n  }\n  const unknownKey = Object.keys(data).find(\n    (key) => !PROGRESS_RENDERING_FIELD_SPECS.some((field) => field.key === key)\n  );\n  if (unknownKey !== undefined) return { ok: false, key: unknownKey, reason: \"unknown-key\" };\n  for (const { key, accepts, expected } of PROGRESS_RENDERING_FIELD_SPECS) {\n    if (data[key] !== undefined && !accepts(data[key])) {\n      return { ok: false, key, reason: \"invalid-value\", expected };\n    }\n  }\n  return {\n    ok: true,\n    value: Object.freeze(\n      Object.fromEntries(\n        PROGRESS_RENDERING_FIELD_SPECS.flatMap(({ key }) =>\n          data[key] === undefined ? [] : [[key, data[key]]]\n        )\n      ) as Partial<ProgressRenderingOutput>\n    )\n  };\n}\n\nfunction isBoolean(value: unknown): boolean {\n  return typeof value === \"boolean\";\n}\n\nfunction isNonNegativeSafeInteger(value: unknown): value is number {\n  return typeof value === \"number\" && Number.isSafeInteger(value) && value >= 0;\n}\n\nfunction isPositiveSafeInteger(value: unknown): value is number {\n  return typeof value === \"number\" && Number.isSafeInteger(value) && value > 0;\n}\n\nfunction isProgressPreviewFormatterOrNull(value: unknown): boolean {\n  return value === null || typeof value === \"function\";\n}\n"]}