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

@zxyycom/vibe-check 0.0.1 → 0.0.3

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

Files changed (1190) hide show

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

	@@ -1 +1 @@
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"]}
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,EAQN,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,mBAAmB,EACnB,0BAA0B,EAC1B,oBAAoB,EACrB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACzE,OAAO,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AAOxE,MAAM,uBAAuB,GAAG;IAC9B,YAAY;IACZ,SAAS;IACT,QAAQ;IACR,SAAS;IACT,WAAW;CACH,CAAC;AAEX;;;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,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC;QAC5C,CAAC,CAAC,gCAAgC,CAAC,IAAI,CAAC,OAAO,CAAC;QAChD,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC5D,OAAO,iBAAiB,CAAC,oBAAoB,CAAC,CAAC;IACjD,CAAC;IACD,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,CACjC,YAAY,EACZ,SAAS,CAAC,WAAW,EACrB,SAAS,CAAC,kBAAkB,CAC7B,CAAC;IACF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;IACtE,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5D,OAAO,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;IAChD,CAAC;IACD,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,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YAC7C,OAAO;YACP,SAAS;SACV;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gCAAgC,CACvC,MAAkC,EAClC,OAA4D;IAE5D,OAAO,MAAM,CAAC,KAAK,CACjB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,cAAc,KAAK,SAAS;QAClC,yCAAyC,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAChF,CAAC;AACJ,CAAC;AAED,SAAS,yCAAyC,CAChD,SAAyD,EACzD,OAA4D;IAE5D,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,oBAAoB,CAAC;QACpC,OAAO,CACL,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC;YAC7B,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CACxF,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,OAAO,yCAAyC,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1C,yCAAyC,CAAC,KAAK,EAAE,OAAO,CAAC,CAC1D,CAAC;AACJ,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,0BAA0B,CAAC,KAAK,EAAE;QAC7C,QAAQ,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;QACtE,QAAQ,EAAE,CAAC,aAAa,CAAC;KAC1B,CAAC,CAAC;IACH,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC;QAC5D,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,eAAe,CAAC;QAC5C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAC;IAC/C,IAAI,eAAe,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACnE,IAAI,eAAe,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,MAAM,kBAAkB,GAAG,2BAA2B,CACpD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CACzE,CAAC;IACF,IAAI,kBAAkB,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1D,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,eAAe,EAAE,WAAW,EAAE,eAAe,EAAE,kBAAkB,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACnG,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC;AACrC,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC1E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,0BAA0B,CAAC,IAAI,CAAC,CAAC;QAC1C,KAAK,QAAQ;YACX,OAAO,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,0BAA0B,CACjC,MAAyC;IAEzC,OAAO,YAAY,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACxF,CAAC;AAED,SAAS,0BAA0B,CACjC,MAAyC;IAEzC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,QAAQ,GAAG,4BAA4B,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/D,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAc;IAClD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClF,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAClE,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QACnE,IAAI,CAAC,2BAA2B,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACrE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC;AACrC,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,KAAwC,EAAE,IAAuB;IACrF,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,4BAA4B;YAClC,IAAI;YACJ,MAAM,EAAE,eAAe;SACxB,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CACd,IAAyC,EACzC,IAAY,EACZ,MAA6C;IAE7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;KAC7C,CAAC,CAAC;AACL,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 AdmissionPolicy,\n type CustomAdmissionStrategy,\n type NormalizedCheck,\n type SchedulerTerminalEffect,\n type SchedulerPolicy\n} from \"./project-definition.ts\";\nimport {\n snapshotClosedArray,\n snapshotClosedPolicyRecord,\n snapshotClosedRecord\n} from \"../data-boundary/closed-values.ts\";\nimport { snapshotResourceUnitMapping } from \"./resource-unit-mapping.ts\";\nimport { parseProjectChangesConfiguration } from \"./project-changes.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 = [\n \"apiVersion\",\n \"changes\",\n \"checks\",\n \"outputs\",\n \"scheduler\"\n] 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 changes = Object.hasOwn(data, \"changes\")\n ? parseProjectChangesConfiguration(data.changes)\n : undefined;\n if (Object.hasOwn(data, \"changes\") && changes === undefined) {\n return invalidDefinition(\"definition.changes\");\n }\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(\n parsedChecks,\n scheduler.maxParallel,\n scheduler.resourceCapacities\n );\n if (tree === undefined) return invalidDefinition(\"definition.checks\");\n if (!hasOnlyKnownChangeFlagReferences(tree.leaves, changes)) {\n return invalidDefinition(\"definition.checks\");\n }\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 ...(changes === undefined ? {} : { changes }),\n outputs,\n scheduler\n },\n warnings: tree.warnings\n });\n}\n\nfunction hasOnlyKnownChangeFlagReferences(\n checks: readonly NormalizedCheck[],\n changes: ReturnType<typeof parseProjectChangesConfiguration>\n): boolean {\n return checks.every(\n (check) =>\n check.enabledByFlags === undefined \|\|\n hasOnlyKnownChangeFlagConditionReferences(check.enabledByFlags.when, changes)\n );\n}\n\nfunction hasOnlyKnownChangeFlagConditionReferences(\n condition: import(\"../check/check.ts\").CheckFlagCondition,\n changes: ReturnType<typeof parseProjectChangesConfiguration>\n): boolean {\n if (typeof condition === \"string\") {\n const prefix = \"vibe-check:change:\";\n return (\n !condition.startsWith(prefix) \|\|\n (changes !== undefined && Object.hasOwn(changes.flags, condition.slice(prefix.length)))\n );\n }\n if (condition.kind === \"not\") {\n return hasOnlyKnownChangeFlagConditionReferences(condition.condition, changes);\n }\n return condition.conditions.every((child) =>\n hasOnlyKnownChangeFlagConditionReferences(child, changes)\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 = snapshotClosedPolicyRecord(value, {\n optional: [\"admissionPolicy\", \"terminalEffects\", \"resourceCapacities\"],\n required: [\"maxParallel\"]\n });\n if (data === undefined) return undefined;\n const admissionPolicy = Object.hasOwn(data, \"admissionPolicy\")\n ? parseAdmissionPolicy(data.admissionPolicy)\n : Object.freeze({ kind: \"static\" as const });\n if (admissionPolicy === undefined) return undefined;\n const terminalEffects = parseTerminalEffects(data.terminalEffects);\n if (terminalEffects === undefined) return undefined;\n const resourceCapacities = snapshotResourceUnitMapping(\n Object.hasOwn(data, \"resourceCapacities\") ? data.resourceCapacities : {}\n );\n if (resourceCapacities === undefined) return undefined;\n const maxParallel = positiveSafeInteger(data.maxParallel);\n if (maxParallel === undefined) return undefined;\n return Object.freeze({ admissionPolicy, maxParallel, terminalEffects, resourceCapacities });\n}\n\nfunction positiveSafeInteger(value: unknown): number \| undefined {\n return typeof value === \"number\" && Number.isSafeInteger(value) && value > 0 ? value : undefined;\n}\n\nfunction parseTerminalEffects(value: unknown): readonly SchedulerTerminalEffect[] \| undefined {\n if (value === undefined) return Object.freeze([]);\n if (!Array.isArray(value)) return undefined;\n const hooks: SchedulerTerminalEffect[] = [];\n for (const hook of value) {\n if (!isTerminalEffect(hook)) return undefined;\n hooks.push(hook);\n }\n return Object.freeze(hooks);\n}\n\nfunction isTerminalEffect(value: unknown): value is SchedulerTerminalEffect {\n return typeof value === \"function\";\n}\n\nfunction parseAdmissionPolicy(value: unknown): AdmissionPolicy \| undefined {\n const data = snapshotClosedRecord(value);\n if (data === undefined \|\| typeof data.kind !== \"string\") return undefined;\n switch (data.kind) {\n case \"static\":\n return parseStaticAdmissionPolicy(data);\n case \"custom\":\n return parseCustomAdmissionPolicy(data);\n }\n return undefined;\n}\n\nfunction parseStaticAdmissionPolicy(\n policy: Readonly<Record<string, unknown>>\n): Extract<AdmissionPolicy, { readonly kind: \"static\" }> \| undefined {\n return hasExactKeys(policy, [\"kind\"]) ? Object.freeze({ kind: \"static\" }) : undefined;\n}\n\nfunction parseCustomAdmissionPolicy(\n policy: Readonly<Record<string, unknown>>\n): Extract<AdmissionPolicy, { readonly kind: \"custom\" }> \| undefined {\n if (!hasExactKeys(policy, [\"kind\", \"strategy\"])) return undefined;\n const strategy = parseCustomAdmissionStrategy(policy.strategy);\n return strategy === undefined ? undefined : Object.freeze({ kind: \"custom\", strategy });\n}\n\nfunction parseCustomAdmissionStrategy(value: unknown): CustomAdmissionStrategy \| undefined {\n const strategy = snapshotClosedRecord(value);\n if (strategy === undefined \|\| typeof strategy.kind !== \"string\") return undefined;\n if (strategy.kind === \"simple\") {\n if (!hasExactKeys(strategy, [\"kind\", \"decide\"])) return undefined;\n if (!isSimpleCustomDecision(strategy.decide)) return undefined;\n return Object.freeze({ kind: \"simple\" as const, decide: strategy.decide });\n }\n if (strategy.kind === \"prepared\") {\n if (!hasExactKeys(strategy, [\"kind\", \"prepare\"])) return undefined;\n if (!isPreparedCustomPreparation(strategy.prepare)) return undefined;\n return Object.freeze({ kind: \"prepared\" as const, prepare: strategy.prepare });\n }\n return undefined;\n}\n\nfunction isSimpleCustomDecision(\n value: unknown\n): value is Extract<CustomAdmissionStrategy, { readonly kind: \"simple\" }>[\"decide\"] {\n return typeof value === \"function\";\n}\n\nfunction isPreparedCustomPreparation(\n value: unknown\n): value is Extract<CustomAdmissionStrategy, { readonly kind: \"prepared\" }>[\"prepare\"] {\n return typeof value === \"function\";\n}\n\nfunction hasExactKeys(value: Readonly<Record<string, unknown>>, keys: readonly string[]): boolean {\n return (\n Object.keys(value).length === keys.length && keys.every((key) => Object.hasOwn(value, key))\n );\n}\n\nfunction invalidDefinition(path: string): ProjectDefinitionValidationResult {\n return Object.freeze({\n ok: false,\n error: Object.freeze({\n kind: \"invalid-project-definition\",\n path,\n reason: \"invalid-value\"\n })\n });\n}\n\nfunction invalid(\n kind: ProjectDefinitionDiagnostic[\"kind\"],\n path: string,\n reason: ProjectDefinitionDiagnostic[\"reason\"]\n): DefinitionValidationResult<never> {\n return Object.freeze({\n ok: false,\n error: Object.freeze({ kind, path, reason })\n });\n}\n"]}

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

@@ -1,12 +1,18 @@
-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";
+import { DEFAULT_PROJECT_OUTPUTS, resolveProgressRenderingOutput } from "./output-defaults.mjs";
+import { createDeclarativeProjectSnapshot } from "./declarative-snapshot.mjs";
+import { EMPTY_RESOURCE_UNIT_MAPPING, snapshotResourceUnitMapping } from "./resource-unit-mapping.mjs";
+import { parseProjectChangesConfiguration } from "./project-changes.mjs";
+export { createDeclarativeFingerprint } from "./declarative-snapshot.mjs";
+const STATIC_ADMISSION_POLICY = Object.freeze({
+    kind: "static"
+});
 /** 使用 Product 默认输出创建普通 Project Definition。 */
 export function defineConfig(value) {
     return {
         apiVersion: value.apiVersion ?? "1",
         checks: value.checks ?? [],
+        ...(value.changes === undefined ? {} : { changes: value.changes }),
         outputs: {
             machinePublication: {
                 directory: value.outputs?.machinePublication?.directory ??
@@ -14,10 +20,7 @@ export function defineConfig(value) {
                 enabled: value.outputs?.machinePublication?.enabled ??
                     DEFAULT_PROJECT_OUTPUTS.machinePublication.enabled
             },
-            progressRendering: {
-                enabled: value.outputs?.progressRendering?.enabled ??
-                    DEFAULT_PROJECT_OUTPUTS.progressRendering.enabled
-            },
+            progressRendering: resolveProgressRenderingOutput(value.outputs?.progressRendering ?? {}),
             diagnosticLogging: {
                 directory: value.outputs?.diagnosticLogging?.directory ??
                     DEFAULT_PROJECT_OUTPUTS.diagnosticLogging.directory,
@@ -25,68 +28,77 @@ export function defineConfig(value) {
                     DEFAULT_PROJECT_OUTPUTS.diagnosticLogging.enabled
             }
         },
-        scheduler: { maxParallel: value.scheduler?.maxParallel ?? 4 }
+        scheduler: {
+            admissionPolicy: value.scheduler?.admissionPolicy ?? STATIC_ADMISSION_POLICY,
+            maxParallel: value.scheduler?.maxParallel ?? 4,
+            terminalEffects: value.scheduler?.terminalEffects ?? [],
+            resourceCapacities: value.scheduler?.resourceCapacities ?? EMPTY_RESOURCE_UNIT_MAPPING
+        }
     };
 }
 export function normalizeProjectDefinition(definition) {
-    const tree = resolveCheckTree(definition.checks, definition.scheduler.maxParallel);
+    const scheduler = normalizeSchedulerPolicy(definition.scheduler);
+    const tree = resolveCheckTree(definition.checks, scheduler.maxParallel, scheduler.resourceCapacities);
     if (tree === undefined)
         throw new TypeError("Project Definition Check tree failed closed normalization");
     const checks = Object.freeze(tree.leaves.map(normalizeCheck));
+    const changes = definition.changes === undefined
+        ? undefined
+        : parseProjectChangesConfiguration(definition.changes);
+    if (definition.changes !== undefined && changes === undefined) {
+        throw new TypeError("Project Definition changes failed closed normalization");
+    }
+    const { changes: _authoredChanges, ...baseDefinition } = definition;
+    const normalizedDefinition = Object.freeze({
+        ...baseDefinition,
+        ...(changes === undefined ? {} : { changes }),
+        scheduler
+    });
     return Object.freeze({
         checks,
-        declarative: freezeDeclarativeSnapshot(definition, checks),
-        definitionWarnings: tree.warnings
+        ...(changes === undefined ? {} : { changes }),
+        declarative: createDeclarativeProjectSnapshot(normalizedDefinition, checks),
+        definitionWarnings: tree.warnings,
+        scheduler
     });
 }
 function normalizeCheck(leaf) {
     return Object.freeze({
+        admissionPriority: leaf.admissionPriority,
         definition: leaf.definition,
         dependsOn: leaf.dependsOn,
-        execution: leaf.execution,
+        ...(leaf.enabledByFlags === undefined ? {} : { enabledByFlags: leaf.enabledByFlags }),
+        execute: leaf.execute,
+        ...(leaf.handoff === undefined ? {} : { handoff: leaf.handoff }),
         maxParallel: leaf.maxParallel,
         mutex: leaf.mutex,
+        observes: leaf.observes,
         options: leaf.options,
-        ...(leaf.preflight === undefined ? {} : { preflight: leaf.preflight }),
-        visibility: leaf.visibility
+        ...(leaf.prepare === undefined ? {} : { prepare: leaf.prepare }),
+        resourceClaims: leaf.resourceClaims,
+        omitQuietPassedRow: leaf.omitQuietPassedRow
     });
 }
-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 normalizeSchedulerPolicy(policy) {
+    const resourceCapacities = snapshotResourceUnitMapping(policy.resourceCapacities);
+    if (resourceCapacities === undefined) {
+        throw new TypeError("Project Definition scheduler resource capacities failed normalization");
+    }
+    let admissionPolicy;
+    if (policy.admissionPolicy.kind === "static") {
+        admissionPolicy = STATIC_ADMISSION_POLICY;
+    }
+    else {
+        admissionPolicy = Object.freeze({
+            kind: "custom",
+            strategy: Object.freeze({ ...policy.admissionPolicy.strategy })
+        });
+    }
+    return Object.freeze({
+        admissionPolicy,
+        maxParallel: policy.maxParallel,
+        terminalEffects: Object.freeze([...policy.terminalEffects]),
+        resourceCapacities
     });
 }
-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 CHANGED Viewed

	@@ -1 +1 @@
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"]}
1	+ {"version":3,"file":"project-definition.mjs","sourceRoot":"","sources":["../../../src/project-definition/project-definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAA8B,MAAM,4BAA4B,CAAC;AAU1F,OAAO,EAAE,uBAAuB,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AAK/F,OAAO,EAAE,gCAAgC,EAAE,MAAM,2BAA2B,CAAC;AAC7E,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gCAAgC,EAGjC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAgKzE,MAAM,uBAAuB,GAAoB,MAAM,CAAC,MAAM,CAAC;IAC7D,IAAI,EAAE,QAAQ;CACf,CAAC,CAAC;AACH,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,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAClE,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,8BAA8B,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,IAAI,EAAE,CAAC;YACzF,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;YACT,eAAe,EAAE,KAAK,CAAC,SAAS,EAAE,eAAe,IAAI,uBAAuB;YAC5E,WAAW,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,IAAI,CAAC;YAC9C,eAAe,EAAE,KAAK,CAAC,SAAS,EAAE,eAAe,IAAI,EAAE;YACvD,kBAAkB,EAAE,KAAK,CAAC,SAAS,EAAE,kBAAkB,IAAI,2BAA2B;SACvF;KACF,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,0BAA0B,CACxC,UAA6B;IAE7B,MAAM,SAAS,GAAG,wBAAwB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,gBAAgB,CAC3B,UAAU,CAAC,MAAM,EACjB,SAAS,CAAC,WAAW,EACrB,SAAS,CAAC,kBAAkB,CAC7B,CAAC;IACF,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,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,SAAS;QAC9B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,gCAAgC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC;IACpE,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;QACzC,GAAG,cAAc;QACjB,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,SAAS;KACV,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM;QACN,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,WAAW,EAAE,gCAAgC,CAAC,oBAAoB,EAAE,MAAM,CAAC;QAC3E,kBAAkB,EAAE,IAAI,CAAC,QAAQ;QACjC,SAAS;KACV,CAAC,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CAAC,IAA2B;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,GAAG,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC;QACrF,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAChE,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAChE,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;KAC5C,CAAC,CAAC;AACL,CAAC;AACD,SAAS,wBAAwB,CAAC,MAAuB;IACvD,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAClF,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,SAAS,CAAC,uEAAuE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,eAAgC,CAAC;IACrC,IAAI,MAAM,CAAC,eAAe,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7C,eAAe,GAAG,uBAAuB,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;YAC9B,IAAI,EAAE,QAAiB;YACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC;SAChE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe;QACf,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;QAC3D,kBAAkB;KACnB,CAAC,CAAC;AACL,CAAC","sourcesContent":["import { 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 {\n Check,\n CheckPreparation,\n CheckResourceClaims,\n CheckFlagEnablement\n} from \"../check/check.ts\";\nimport type { HandoffProviderIdentity } from \"../check/handoff-provider-identity.ts\";\nimport { DEFAULT_PROJECT_OUTPUTS, resolveProgressRenderingOutput } from \"./output-defaults.ts\";\nimport type {\n ProgressRenderingOutput,\n ResolvedProgressRenderingOutput\n} from \"./progress-rendering-output.ts\";\nimport { createDeclarativeProjectSnapshot } from \"./declarative-snapshot.ts\";\nimport {\n EMPTY_RESOURCE_UNIT_MAPPING,\n snapshotResourceUnitMapping\n} from \"./resource-unit-mapping.ts\";\nimport {\n parseProjectChangesConfiguration,\n type NormalizedProjectChangesConfiguration,\n type ProjectChangesConfiguration\n} from \"./project-changes.ts\";\nexport { createDeclarativeFingerprint } from \"./declarative-snapshot.ts\";\n\n/** 一次 Project Run 的明确输出配置。 /\nexport interface ProjectOutputs {\n /* `run.json` 与 `records.ndjson` publication。 /\n readonly machinePublication: Readonly<{\n /* 相对目录从 project root 解析；绝对目录直接作为 target，默认 `artifacts/vibe-check`。 /\n readonly directory: string;\n /* `false` 时本次 Run 不发布 machine output。 /\n readonly enabled: boolean;\n }>;\n /* 人读 progress lifecycle 与 preview 配置。 /\n readonly progressRendering: ProgressRenderingOutput;\n /* 仅供维护者读取的一次 invocation diagnostic log。 /\n readonly diagnosticLogging: Readonly<{\n /* 相对目录从 project root 解析；绝对目录直接作为 target，默认 `.log/vibe-check`。 /\n readonly directory: string;\n /* `false` 时不创建 diagnostic writer 或 file。 /\n readonly enabled: boolean;\n }>;\n}\n\nexport type {\n ProgressPreviewFormatter,\n ProgressRenderingOutput,\n ResolvedProgressRenderingOutput\n} from \"./progress-rendering-output.ts\";\n\n/* 已解析的 Run outputs；只在 Product invocation 内部使用。 /\nexport interface ResolvedProjectOutputs extends Omit<ProjectOutputs, \"progressRendering\"> {\n readonly progressRendering: ResolvedProgressRenderingOutput;\n}\n\n/* callback-free Definition output 投影；仅供 declarative fingerprint 使用。 /\nexport interface DeclarativeProjectOutputs extends Omit<ProjectOutputs, \"progressRendering\"> {\n readonly progressRendering: Readonly<{\n readonly enabled: boolean;\n readonly formatter: \"custom\" \| \"default\";\n readonly messagePreviewLimit: number;\n readonly recordPreviewLimit: number;\n readonly textPreviewCodePointLimit: number;\n }>;\n}\n\nexport type {\n AdmissionPolicy,\n AdmissionPolicyContext,\n AdmissionPolicyMeasurement,\n AdmissionProposal,\n AdmissionCatalog,\n AdmissionGraph,\n AdmissionGraphInput,\n AdmissionInspection,\n AdmissionNonSelectableTask,\n AdmissionRejectionReason,\n AdmissionScopeLifecycle,\n AdmissionSelectionRejectionReason,\n AdmissionSelectionValidation,\n AdmissionSelectionValidationRejectionReason,\n AdmissionSettlementOutcome,\n AdmissionSettledTask,\n AdmissionState,\n AdmissionTransitionResult,\n CustomAdmissionPreparationContext,\n CustomAdmissionStrategy,\n PreparedCustomAdmissionStrategy,\n SchedulerDecisionMeasurementCumulative,\n SchedulerGraphSnapshot,\n SchedulerMeasurementActionObservation,\n SchedulerMeasurementActionObservationInterval,\n SchedulerMeasurementAdmission,\n SchedulerMeasurementContext,\n SchedulerMeasurementEffect,\n SchedulerTerminalEffect,\n SchedulerMeasurementIntervalContribution,\n SchedulerMeasurementPeakCounts,\n SchedulerMeasurementTiming,\n SchedulerMeasurementTimingFacts,\n SchedulerMeasurementTimingUnavailableReason,\n SchedulerPolicy,\n SchedulerRawMeasurement\n} from \"./scheduler-policy.ts\";\nimport type {\n AdmissionPolicy,\n DeclarativeSchedulerPolicy,\n SchedulerPolicy\n} from \"./scheduler-policy.ts\";\n\n/\n `defineConfig(...)` 形成的可重复运行项目定义：声明检查内容、调度方式与默认输出。\n \n 本次 root、flags、signal、Check 产物与日志目标以及显式 aggregation 交给 `run` 的第二个参数；\n * 其中的 output overrides 只改变当前调用，不修改这里的默认值。\n /\nexport interface ProjectDefinition {\n readonly apiVersion: \"1\";\n readonly checks: readonly Check[];\n /* 可选的静态 Git comparison 与本次 Run 的 change-flag regions。 /\n readonly changes?: ProjectChangesConfiguration;\n readonly outputs: ProjectOutputs;\n readonly scheduler: SchedulerPolicy;\n}\ntype ProjectDefinitionInput = Readonly<{\n apiVersion?: \"1\";\n checks?: readonly Check[];\n changes?: ProjectChangesConfiguration;\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 admissionPriority: number;\n readonly definition: CheckDescriptor;\n readonly dependsOn: readonly string[];\n /* Definition 已验证、snapshot 并冻结的单一 recursive flag-condition control。 /\n readonly enabledByFlags?: CheckFlagEnablement;\n readonly maxParallel: number;\n readonly mutex: readonly string[];\n readonly observes: readonly string[];\n readonly options: object;\n readonly resourceClaims: CheckResourceClaims;\n readonly omitQuietPassedRow: boolean;\n}\nexport interface NormalizedCheck extends NormalizedCheckDeclaration {\n readonly execute: NonNullable<Check[\"execute\"]>;\n readonly handoff?: HandoffProviderIdentity;\n readonly prepare?: CheckPreparation;\n}\nexport interface DeclarativeProjectSnapshot {\n readonly apiVersion: \"1\";\n readonly checks: readonly NormalizedCheckDeclaration[];\n readonly changes?: NormalizedProjectChangesConfiguration;\n readonly outputs: DeclarativeProjectOutputs;\n readonly scheduler: DeclarativeSchedulerPolicy;\n}\nexport interface NormalizedProjectDefinition {\n readonly checks: readonly NormalizedCheck[];\n readonly changes?: NormalizedProjectChangesConfiguration;\n readonly declarative: DeclarativeProjectSnapshot;\n readonly definitionWarnings: readonly DefinitionWarning[];\n /* Runtime scheduler policy；custom callback 保留在此处。 /\n readonly scheduler: SchedulerPolicy;\n}\nconst STATIC_ADMISSION_POLICY: AdmissionPolicy = Object.freeze({\n kind: \"static\"\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 ...(value.changes === undefined ? {} : { changes: value.changes }),\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: resolveProgressRenderingOutput(value.outputs?.progressRendering ?? {}),\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: {\n admissionPolicy: value.scheduler?.admissionPolicy ?? STATIC_ADMISSION_POLICY,\n maxParallel: value.scheduler?.maxParallel ?? 4,\n terminalEffects: value.scheduler?.terminalEffects ?? [],\n resourceCapacities: value.scheduler?.resourceCapacities ?? EMPTY_RESOURCE_UNIT_MAPPING\n }\n };\n}\nexport function normalizeProjectDefinition(\n definition: ProjectDefinition\n): NormalizedProjectDefinition {\n const scheduler = normalizeSchedulerPolicy(definition.scheduler);\n const tree = resolveCheckTree(\n definition.checks,\n scheduler.maxParallel,\n scheduler.resourceCapacities\n );\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 const changes =\n definition.changes === undefined\n ? undefined\n : parseProjectChangesConfiguration(definition.changes);\n if (definition.changes !== undefined && changes === undefined) {\n throw new TypeError(\"Project Definition changes failed closed normalization\");\n }\n const { changes: _authoredChanges, ...baseDefinition } = definition;\n const normalizedDefinition = Object.freeze({\n ...baseDefinition,\n ...(changes === undefined ? {} : { changes }),\n scheduler\n });\n return Object.freeze({\n checks,\n ...(changes === undefined ? {} : { changes }),\n declarative: createDeclarativeProjectSnapshot(normalizedDefinition, checks),\n definitionWarnings: tree.warnings,\n scheduler\n });\n}\nfunction normalizeCheck(leaf: ResolvedCheckTreeLeaf): NormalizedCheck {\n return Object.freeze({\n admissionPriority: leaf.admissionPriority,\n definition: leaf.definition,\n dependsOn: leaf.dependsOn,\n ...(leaf.enabledByFlags === undefined ? {} : { enabledByFlags: leaf.enabledByFlags }),\n execute: leaf.execute,\n ...(leaf.handoff === undefined ? {} : { handoff: leaf.handoff }),\n maxParallel: leaf.maxParallel,\n mutex: leaf.mutex,\n observes: leaf.observes,\n options: leaf.options,\n ...(leaf.prepare === undefined ? {} : { prepare: leaf.prepare }),\n resourceClaims: leaf.resourceClaims,\n omitQuietPassedRow: leaf.omitQuietPassedRow\n });\n}\nfunction normalizeSchedulerPolicy(policy: SchedulerPolicy): SchedulerPolicy {\n const resourceCapacities = snapshotResourceUnitMapping(policy.resourceCapacities);\n if (resourceCapacities === undefined) {\n throw new TypeError(\"Project Definition scheduler resource capacities failed normalization\");\n }\n let admissionPolicy: AdmissionPolicy;\n if (policy.admissionPolicy.kind === \"static\") {\n admissionPolicy = STATIC_ADMISSION_POLICY;\n } else {\n admissionPolicy = Object.freeze({\n kind: \"custom\" as const,\n strategy: Object.freeze({ ...policy.admissionPolicy.strategy })\n });\n }\n return Object.freeze({\n admissionPolicy,\n maxParallel: policy.maxParallel,\n terminalEffects: Object.freeze([...policy.terminalEffects]),\n resourceCapacities\n });\n}\n"]}

package/dist/esm/project-definition/resource-unit-mapping.mjs ADDED Viewed

@@ -0,0 +1,21 @@
+import { snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+export const EMPTY_RESOURCE_UNIT_MAPPING = Object.freeze({});
+/** Snapshots a canonical closed resource-to-positive-units mapping. */
+export function snapshotResourceUnitMapping(value) {
+    const data = snapshotClosedRecord(value);
+    if (data === undefined)
+        return undefined;
+    const entries = [];
+    for (const resourceId of Object.keys(data).sort()) {
+        const units = data[resourceId];
+        if (resourceId.trim().length === 0 ||
+            typeof units !== "number" ||
+            !Number.isSafeInteger(units) ||
+            units <= 0) {
+            return undefined;
+        }
+        entries.push([resourceId, units]);
+    }
+    return Object.freeze(Object.fromEntries(entries));
+}
+//# sourceMappingURL=resource-unit-mapping.mjs.map

package/dist/esm/project-definition/resource-unit-mapping.mjs.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"resource-unit-mapping.mjs","sourceRoot":"","sources":["../../../src/project-definition/resource-unit-mapping.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAIzE,MAAM,CAAC,MAAM,2BAA2B,GAAwB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAElF,uEAAuE;AACvE,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,IACE,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAC9B,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;YAC5B,KAAK,IAAI,CAAC,EACV,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;AACpD,CAAC","sourcesContent":["import { snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\nexport type ResourceUnitMapping = Readonly<Record<string, number>>;\n\nexport const EMPTY_RESOURCE_UNIT_MAPPING: ResourceUnitMapping = Object.freeze({});\n\n/** Snapshots a canonical closed resource-to-positive-units mapping. */\nexport function snapshotResourceUnitMapping(value: unknown): ResourceUnitMapping | undefined {\n const data = snapshotClosedRecord(value);\n if (data === undefined) return undefined;\n const entries: [string, number][] = [];\n for (const resourceId of Object.keys(data).sort()) {\n const units = data[resourceId];\n if (\n resourceId.trim().length === 0 ||\n typeof units !== \"number\" ||\n !Number.isSafeInteger(units) ||\n units <= 0\n ) {\n return undefined;\n }\n entries.push([resourceId, units]);\n }\n return Object.freeze(Object.fromEntries(entries));\n}\n"]}

package/dist/esm/project-definition/scheduler-policy.mjs ADDED Viewed

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

package/dist/esm/project-definition/scheduler-policy.mjs.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"scheduler-policy.mjs","sourceRoot":"","sources":["../../../src/project-definition/scheduler-policy.ts"],"names":[],"mappings":"","sourcesContent":["/** 自定义准入 policy 对当前 Task 的唯一提议。 */\nexport type AdmissionProposal =\n | Readonly<{ readonly kind: \"select\"; readonly taskId: string }>\n | Readonly<{ readonly kind: \"wait\" }>;\n\n/** 独立模拟 immutable Scheduler admission graph 的 exact input。 */\nexport interface AdmissionGraphInput {\n /** 要模拟的已规范化静态图 DTO；模拟器会先验证其 closed shape 与引用。 */\n readonly graph: SchedulerGraphSnapshot;\n /** standalone state 的 root 并行上限。 */\n readonly maxParallel: number;\n}\n\n/** 一次假设性 Task settlement 的公开二值结果；它不是 Task execution result。 */\nexport type AdmissionSettlementOutcome = \"satisfied\" | \"unsatisfied\";\n\n/** 可从同一静态图形成 independent initial states 的 standalone handle。 */\nexport interface AdmissionGraph {\n /** 从同一已验证 graph 形成一个新的全 pending immutable state。 */\n initialState(this: void): AdmissionState;\n}\n\n/** 不可变且 opaque 的 hypothetical admission boundary。 */\nexport interface AdmissionState {\n /** 当前 dynamic admission facts；读取不会控制真实 Scheduler。 */\n readonly inspection: AdmissionInspection;\n /** 当前 pending Task 的可选性分区；按 canonical taskId 顺序输出。 */\n readonly catalog: AdmissionCatalog;\n /** 只模拟一次 admission，不启动、预检或执行 Task。 */\n select(this: void, taskId: string): AdmissionTransitionResult;\n /** 只模拟一个当前 running Task 的二值结算。 */\n settle(\n this: void,\n taskId: string,\n outcome: AdmissionSettlementOutcome\n ): AdmissionTransitionResult;\n /** 不构造 catalog 的单 Task select legality query。 */\n validateSelection(this: void, taskId: string): AdmissionSelectionValidation;\n}\n\n/** 当前 immutable state 的公开动态 inspection。 */\nexport interface AdmissionInspection {\n /** 当前 root、active scope 与 running count 形成的 capacity 快照。 */\n readonly capacity: Readonly<{\n /** 合成当前 active scope 限制后的有效并行上限。 */\n readonly effectiveMaxParallel: number;\n /** standalone graph 的 root 并行上限。 */\n readonly maxParallel: number;\n /** 当前 hypothetical running Task 数。 */\n readonly running: number;\n }>;\n /** 下一合法动作类别：选择 Task、等待 running Task，或 state 已完成。 */\n readonly nextBoundary: \"select\" | \"wait\" | \"complete\";\n /** 当前 hypothetical running Task IDs，按 graph 的 canonical Task 顺序。 */\n readonly runningTaskIds: readonly string[];\n /** 当前 named resource occupancy；按 resourceId 规范排序。 */\n readonly resources: readonly Readonly<{\n /** 尚可原子取得的 units。 */\n readonly available: number;\n /** graph 声明的总 units。 */\n readonly capacity: number;\n /** 当前 running Tasks 已占用的 units。 */\n readonly inUse: number;\n /** named resource 的稳定 ID。 */\n readonly resourceId: string;\n }>[];\n /** 每个静态 scope 的当前 lifecycle，按 scopeId 规范排序。 */\n readonly scopes: readonly AdmissionScopeLifecycle[];\n /** 可映射为 satisfied/unsatisfied 的 hypothetical settlements。 */\n readonly settledTasks: readonly AdmissionSettledTask[];\n}\n\n/** 一个静态 scope 的推导 lifecycle。 */\nexport interface AdmissionScopeLifecycle {\n /** scope 尚未激活、当前 active，或 terminal Task 已结算后的 closed 状态。 */\n readonly lifecycle: \"inactive\" | \"active\" | \"closed\";\n /** graph 中声明的稳定 scope ID。 */\n readonly scopeId: string;\n}\n\n/** 可公开映射为 binary outcome 的 Task settlement。 */\nexport interface AdmissionSettledTask {\n /** 本次 hypothetical settlement 是否满足 dependents 的前置关系。 */\n readonly outcome: AdmissionSettlementOutcome;\n /** 已结算 Task 的稳定 ID。 */\n readonly taskId: string;\n}\n\n/** 所有 pending Task 的 canonical selectable/non-selectable partition。 */\nexport interface AdmissionCatalog {\n /** 当前 pending 但不可 select 的 Tasks 及其 primary reason。 */\n readonly nonSelectableTasks: readonly AdmissionNonSelectableTask[];\n /** 当前可合法 select 的 pending Task IDs。 */\n readonly selectableTaskIds: readonly string[];\n}\n\n/** catalog 中一个 pending Task 的 primary non-selection reason。 */\nexport interface AdmissionNonSelectableTask {\n /** 该 Task 当前不可 select 的 canonical primary reason。 */\n readonly reason: AdmissionSelectionRejectionReason;\n /** 当前仍 pending 的稳定 Task ID。 */\n readonly taskId: string;\n}\n\n/** pending Task 因当前 admission legality 不可 select 的 closed reason。 */\nexport type AdmissionSelectionRejectionReason =\n | Readonly<{ readonly kind: \"depends-on-pending\"; readonly taskIds: readonly string[] }>\n | Readonly<{ readonly kind: \"mutex-held\"; readonly mutexIds: readonly string[] }>\n | Readonly<{\n readonly kind: \"root-capacity-reached\";\n readonly maxParallel: number;\n readonly running: number;\n }>\n | Readonly<{\n readonly kind: \"scope-capacity-reached\";\n readonly maxParallel: number;\n readonly running: number;\n readonly scopeId: string;\n }>\n | Readonly<{\n readonly kind: \"resource-capacity-insufficient\";\n readonly resources: readonly Readonly<{\n readonly available: number;\n readonly capacity: number;\n readonly inUse: number;\n readonly required: number;\n readonly resourceId: string;\n }>[];\n }>\n | Readonly<{ readonly kind: \"observes-pending\"; readonly taskIds: readonly string[] }>;\n\n/** validateSelection/select 共同使用的完整 selection validation failure surface。 */\nexport type AdmissionSelectionValidationRejectionReason =\n | AdmissionSelectionRejectionReason\n | Readonly<{ readonly kind: \"not-pending\"; readonly status: \"running\" | \"settled\" }>\n | Readonly<{ readonly kind: \"state-complete\" }>\n | Readonly<{ readonly kind: \"unknown-task\" }>;\n\n/** select 或 settle 公开 transition 的完整 rejection surface。 */\nexport type AdmissionRejectionReason =\n | AdmissionSelectionValidationRejectionReason\n | Readonly<{ readonly kind: \"invalid-settlement-outcome\" }>\n | Readonly<{ readonly kind: \"not-running\"; readonly status: \"pending\" | \"settled\" }>;\n\n/** 任意 taskId 的只读 selection validation result。 */\nexport type AdmissionSelectionValidation =\n | Readonly<{ readonly accepted: true }>\n | Readonly<{\n readonly accepted: false;\n readonly reason: AdmissionSelectionValidationRejectionReason;\n }>;\n\n/** accepted successor 或 closed rejection 的 immutable transition result。 */\nexport type AdmissionTransitionResult =\n | Readonly<{ readonly accepted: true; readonly state: AdmissionState }>\n | Readonly<{ readonly accepted: false; readonly reason: AdmissionRejectionReason }>;\n\n/**\n * 自定义准入 policy 每轮获得的不可变普通数据快照。\n *\n * 它只提供完整调度图及当前可观察的准入事实，不能启动、取消或结算 Task。\n */\nexport interface AdmissionPolicyContext {\n /** 已规范化的完整静态调度图；Task metadata 是拓扑和 priority 的唯一来源。 */\n readonly graph: SchedulerGraphSnapshot;\n /** 当前 real decision boundary 的同型假设状态；不能 reservation 或控制 Task。 */\n readonly admissionState: AdmissionState;\n /** 已满足 relation/mutex 条件的 pending Task 及其本轮 capacity 可准入性。 */\n readonly candidates: readonly Readonly<{\n readonly canAdmit: boolean;\n readonly taskId: string;\n }>[];\n /** 当前 root 与已激活 scope 合成后的 capacity 事实。 */\n readonly capacity: Readonly<{\n readonly effectiveMaxParallel: number;\n readonly maxParallel: number;\n readonly running: number;\n }>;\n /** 当前已激活 scope 的 canonical IDs。 */\n readonly activeScopeIds: readonly string[];\n /** 当前正在执行的 Task IDs。 */\n readonly runningTaskIds: readonly string[];\n /** 当前已结算的 Task IDs；不携带 Check result、data 或 message。 */\n readonly settledTaskIds: readonly string[];\n /** 调用前已 flush 的有界累计事实与 captured action-observation prefix。 */\n readonly measurement: AdmissionPolicyMeasurement;\n /** 本轮与生命周期有关的最小只读事实。 */\n readonly runtime: Readonly<{\n readonly abortRequested: boolean;\n readonly cancelled: boolean;\n }>;\n}\n\n/** custom prepared strategy 在 graph ready 后读取的最小只读事实。 */\nexport interface CustomAdmissionPreparationContext {\n /** 已规范化、递归冻结的完整静态调度图。 */\n readonly graph: SchedulerGraphSnapshot;\n}\n\n/** prepared custom strategy 为当前 Run 返回的同步选择与可选 terminal completion。 */\nexport interface PreparedCustomAdmissionStrategy {\n /** Scheduler 每轮同步调用；不得返回 Promise 或 thenable。 */\n readonly decide: (this: void, context: AdmissionPolicyContext) => AdmissionProposal;\n /** Scheduler 的 generic Hooks 完成后，才以 sealed terminal context 调用一次。 */\n readonly terminalEffect?: (\n this: void,\n context: SchedulerMeasurementContext\n ) => void | Promise<void>;\n}\n\n/** custom 的 closed authoring grammar。 */\nexport type CustomAdmissionStrategy =\n | Readonly<{\n readonly kind: \"simple\";\n readonly decide: (this: void, context: AdmissionPolicyContext) => AdmissionProposal;\n }>\n | Readonly<{\n readonly kind: \"prepared\";\n readonly prepare: (\n this: void,\n context: CustomAdmissionPreparationContext\n ) => PreparedCustomAdmissionStrategy | Promise<PreparedCustomAdmissionStrategy>;\n }>;\n\n/** Definition authoring 的 closed admission policy。 */\nexport type AdmissionPolicy =\n | Readonly<{ readonly kind: \"static\" }>\n | Readonly<{\n readonly kind: \"custom\";\n readonly strategy: CustomAdmissionStrategy;\n }>;\n\n/** 定义级的 Check 调度预算与 admission policy。 */\nexport type SchedulerMeasurementTimingUnavailableReason =\n | \"clock-threw\"\n | \"clock-non-finite\"\n | \"clock-backward\"\n | \"interval-invalid\"\n | \"integral-invalid\";\n\nexport type SchedulerMeasurementTiming =\n | Readonly<{ readonly availability: \"available\" }>\n | Readonly<{\n readonly availability: \"unavailable\";\n readonly reason: SchedulerMeasurementTimingUnavailableReason;\n }>;\n\n/** 所有公开 Scheduler context 共用的图 DTO；Task identity 一律为 `taskId`。 */\nexport interface SchedulerGraphSnapshot {\n /** 全部 named resource capacities，按 resourceId 规范排序。 */\n readonly resourceCapacities: readonly Readonly<{\n /** named resource 的稳定 ID。 */\n readonly resourceId: string;\n /** 本次 invocation 可供原子 claim 的总 units。 */\n readonly units: number;\n }>[];\n /** 全部静态 scopes 的 normalized lifecycle 边界。 */\n readonly scopes: readonly Readonly<{\n /** 选择其中任一列出的 Task 后会激活该 scope。 */\n readonly activationTaskIds: readonly string[];\n /** scope 的稳定 ID。 */\n readonly id: string;\n /** scope active 时允许的最大并行 Task 数。 */\n readonly maxParallel: number;\n /** 结算后关闭该 scope 的 terminal Task ID。 */\n readonly terminalTaskId: string;\n }>[];\n /** 全部 normalized Tasks 及静态 admission metadata。 */\n readonly tasks: readonly Readonly<{\n /** 同一 selection layer 中用于静态排序的 priority。 */\n readonly admissionPriority: number;\n /** 必须以 completed settlement 满足的直接 dependency Task IDs。 */\n readonly dependsOn: readonly string[];\n /** 与 running Tasks 不能同时持有的 mutex IDs。 */\n readonly mutex: readonly string[];\n /** 只要求先结算、但不要求 completed 的直接 observed Task IDs。 */\n readonly observes: readonly string[];\n /** admission 时必须一次性取得的 named resource claims。 */\n readonly resourceClaims: readonly Readonly<{\n /** 被 claim 的 named resource ID。 */\n readonly resourceId: string;\n /** 该 Task 运行期间占用的 units。 */\n readonly units: number;\n }>[];\n /** 所属静态 scope ID；不属于 scope 时为 null。 */\n readonly scopeId: string | null;\n /** Task 在全部 Scheduler DTO 中使用的稳定 ID。 */\n readonly taskId: string;\n }>[];\n}\n\n/** 一条已关闭 occupancy interval 对累计值的有界贡献。 */\nexport interface SchedulerMeasurementIntervalContribution {\n /** admission-viable 且当时可准入的 pending Task 数对 interval 的时间积分。 */\n readonly admissiblePendingTaskMs: number;\n /** 已接受 wait action 在 interval 内实际延续的毫秒数。 */\n readonly acceptedWaitMs: number;\n /** 因 root、scope 或 named resource capacity 不足而阻塞的 pending Task·ms。 */\n readonly capacityBlockedTaskMs: number;\n /** effectiveMaxParallel 对 interval 的 capacity-slot·ms 积分。 */\n readonly effectiveCapacitySlotMs: number;\n /** 因 mutex conflict 而阻塞的 pending Task·ms。 */\n readonly mutexBlockedTaskMs: number;\n /** root maxParallel 对 interval 的 capacity-slot·ms 积分。 */\n readonly rootCapacitySlotMs: number;\n /** running Task 数对 interval 的 Task·ms 积分。 */\n readonly taskSlotMs: number;\n}\n\n/** 已关闭 action-observation interval 的 timing 边界；不可用 timing 不伪造数值贡献。 */\nexport type SchedulerMeasurementActionObservationInterval =\n | Readonly<{\n readonly availability: \"available\";\n readonly contribution: SchedulerMeasurementIntervalContribution;\n }>\n | Readonly<{\n readonly availability: \"unavailable\";\n readonly reason: SchedulerMeasurementTimingUnavailableReason;\n }>;\n\n/** 一条 policy action 之后发生的离散 Scheduler effect。 */\nexport type SchedulerMeasurementEffect =\n | Readonly<{ readonly kind: \"admitted\"; readonly taskId: string }>\n | Readonly<{\n readonly kind: \"settled\";\n readonly settlementKind:\n | \"completed\"\n | \"prerequisite-unsatisfied\"\n | \"failed\"\n | \"blocked\"\n | \"cancelled-before-start\";\n readonly taskId: string;\n }>;\n\n/** 上一 accepted policy action 之后的已 flush state observation，不声明 causality 或 critical path。 */\nexport type SchedulerMeasurementActionObservation =\n | Readonly<{\n readonly effects: readonly SchedulerMeasurementEffect[];\n readonly interval: SchedulerMeasurementActionObservationInterval;\n readonly kind: \"select\";\n /** invocation 内的 accepted action 序号，从一开始。 */\n readonly sequence: number;\n readonly taskId: string;\n }>\n | Readonly<{\n readonly effects: readonly SchedulerMeasurementEffect[];\n readonly interval: SchedulerMeasurementActionObservationInterval;\n readonly kind: \"wait\";\n /** invocation 内的 accepted action 序号，从一开始。 */\n readonly sequence: number;\n readonly taskId: null;\n }>;\n\n/** custom policy 的有界 decision-boundary measurement reader。 */\nexport interface AdmissionPolicyMeasurement {\n /** 当前 decision boundary 的累计标量；完整逐 Task table 只属于终态 measurement。 */\n readonly cumulative: SchedulerDecisionMeasurementCumulative;\n /** 当前 invocation 已捕获且不可变的 action observation prefix 长度。 */\n readonly measurementCount: number;\n /** 只读取当前 context 冻结的 observation prefix；越界 index 返回 `undefined`。 */\n readonly measurementAt: (\n this: void,\n index: number\n ) => SchedulerMeasurementActionObservation | undefined;\n}\n\n/** policy 决策时的有界累计事实；刻意不含 terminal per-Task table。 */\ninterface SchedulerDecisionMeasurementCumulativeFacts {\n /** normalized declarative Definition 的匹配 fingerprint；不包含 controls 或 runtime facts。 */\n readonly declarativeFingerprint: string;\n /** 当前 boundary 前已累计的离散 Scheduler 计数。 */\n readonly discrete: Readonly<{\n /** Scheduler 已接受的 wait proposals 数。 */\n readonly acceptedWaitCount: number;\n /** 已实际 admission 的不同 Task 数。 */\n readonly admittedCount: number;\n /** 已观察到的最大同时 running Task 数。 */\n readonly maxRunning: number;\n }>;\n /** 可来自不同 boundary、不能相加的 admission queue 峰值。 */\n readonly peaks: SchedulerMeasurementPeakCounts;\n}\n\ninterface AvailableSchedulerDecisionMeasurementCumulative extends SchedulerDecisionMeasurementCumulativeFacts {\n /** available 表示本 branch 的累计 timingFacts 可读。 */\n readonly timing: Readonly<{ readonly availability: \"available\" }>;\n /** decision boundary 前已累计的 timing integrals。 */\n readonly timingFacts: Readonly<{\n /** 已接受 wait action 累计延续的毫秒数。 */\n readonly acceptedWaitMs: number;\n /** effective capacity slot 的累计毫秒积分。 */\n readonly effectiveCapacitySlotMs: number;\n /** root capacity slot 的累计毫秒积分。 */\n readonly rootCapacitySlotMs: number;\n /** running Task slot 的累计毫秒积分。 */\n readonly taskSlotMs: number;\n }>;\n}\n\ninterface UnavailableSchedulerDecisionMeasurementCumulative extends SchedulerDecisionMeasurementCumulativeFacts {\n readonly timing: Readonly<{\n readonly availability: \"unavailable\";\n readonly reason: SchedulerMeasurementTimingUnavailableReason;\n }>;\n readonly timingFacts?: never;\n}\n\n/** custom policy 在 decision boundary 读取的有界累计 measurement；不含终态逐 Task table。 */\nexport type SchedulerDecisionMeasurementCumulative =\n | AvailableSchedulerDecisionMeasurementCumulative\n | UnavailableSchedulerDecisionMeasurementCumulative;\n\nexport interface SchedulerMeasurementPeakCounts {\n /** 任一 boundary 上全部 admission-viable pending Tasks 的最大数量。 */\n readonly admissionViablePendingTaskCount: number;\n /** 任一 boundary 上可立即准入的 pending Tasks 最大数量。 */\n readonly admissiblePendingTaskCount: number;\n /** 任一 boundary 上 capacity-blocked pending Tasks 最大数量。 */\n readonly capacityBlockedTaskCount: number;\n /** 任一 boundary 上 mutex-blocked pending Tasks 最大数量。 */\n readonly mutexBlockedTaskCount: number;\n}\n\nexport interface SchedulerMeasurementAdmission {\n /** 该 Task 在 admission-viable pending 期间的互斥 delay 分类积分。 */\n readonly admissionDelay: Readonly<{\n /** Task 可准入但仍 pending 的累计毫秒数。 */\n readonly admissiblePendingMs: number;\n /** Task 因 capacity 不足仍 pending 的累计毫秒数。 */\n readonly capacityBlockedMs: number;\n /** Task 因 mutex conflict 仍 pending 的累计毫秒数。 */\n readonly mutexBlockedMs: number;\n }>;\n /** Scheduler monotonic-clock timestamp in milliseconds, or no admission occurred. */\n readonly admittedAtMonotonicMs: number | null;\n /** Scheduler monotonic-clock timestamp in milliseconds, or no settlement occurred. */\n readonly settledAtMonotonicMs: number | null;\n /** 被测 Task 的稳定 ID。 */\n readonly taskId: string;\n}\n\nexport interface SchedulerMeasurementTimingFacts {\n /** 已接受 wait action 累计延续的毫秒数。 */\n readonly acceptedWaitMs: number;\n /** 进入过 admission-viable pending 集合的逐 Task timing facts。 */\n readonly admissions: readonly SchedulerMeasurementAdmission[];\n /** effective capacity slot 的累计毫秒积分。 */\n readonly effectiveCapacitySlotMs: number;\n /** Terminal Scheduler monotonic-clock timestamp in milliseconds. */\n readonly endedAtMonotonicMs: number;\n /** root capacity slot 的累计毫秒积分。 */\n readonly rootCapacitySlotMs: number;\n /** Scheduler 同步 shell control operations 内累计的毫秒数。 */\n readonly schedulerControlPathMs: number;\n /** decision diagnostic observation work 内累计的毫秒数。 */\n readonly schedulerDecisionObservationMs: number;\n /** First Scheduler monotonic-clock timestamp in milliseconds. */\n readonly startedAtMonotonicMs: number;\n /** running Task slot 的累计毫秒积分。 */\n readonly taskSlotMs: number;\n}\n\ninterface SchedulerRawMeasurementFacts {\n /** normalized declarative Definition 的匹配 fingerprint；不包含 controls 或 runtime facts。 */\n readonly declarativeFingerprint: string;\n /** 即使 timing unavailable 也保留的离散终态事实。 */\n readonly discrete: Readonly<{\n /** Scheduler 已接受的 wait proposals 数。 */\n readonly acceptedWaitCount: number;\n /** 已实际 admission 的不同 Task 数。 */\n readonly admittedCount: number;\n /** 最后一次 admission 后当时仍 active 的完整 Task ID 集合。 */\n readonly completionTailActiveTaskIds: readonly string[];\n /** 最后结算的 Task ID；没有 settlement 时为 null。 */\n readonly lastSettledTaskId: string | null;\n /** 已观察到的最大同时 running Task 数。 */\n readonly maxRunning: number;\n }>;\n /** 可来自不同 boundary、不能相加的 admission queue 峰值。 */\n readonly peaks: SchedulerMeasurementPeakCounts;\n}\n\ninterface AvailableSchedulerRawMeasurement extends SchedulerRawMeasurementFacts {\n /** available 表示完整终态 timingFacts 可读。 */\n readonly timing: Readonly<{ readonly availability: \"available\" }>;\n /** 基于 Scheduler monotonic clock 形成的完整终态 timing facts。 */\n readonly timingFacts: SchedulerMeasurementTimingFacts;\n}\n\ninterface UnavailableSchedulerRawMeasurement extends SchedulerRawMeasurementFacts {\n readonly timing: Readonly<{\n readonly availability: \"unavailable\";\n readonly reason: SchedulerMeasurementTimingUnavailableReason;\n }>;\n readonly timingFacts?: never;\n}\n\n/** Scheduler-owned terminal 一阶事实；全部二级 summary 都由 Hook 投影。 */\nexport type SchedulerRawMeasurement =\n | AvailableSchedulerRawMeasurement\n | UnavailableSchedulerRawMeasurement;\n\n/**\n * 一次 Scheduler 终态 Hook 可读取的递归冻结上下文；不包含 Task 值、错误或可变 engine 对象。\n */\nexport interface SchedulerMeasurementContext {\n /** 本次 Scheduler 实际使用的 normalized frozen graph。 */\n readonly graph: SchedulerGraphSnapshot;\n /** 不含 Task value、Check result 或 error 的终态 execution 投影。 */\n readonly execution: Readonly<{\n /** 至少实际启动过一次的 Task IDs，按首次 admission 顺序。 */\n readonly admittedTaskIds: readonly string[];\n /** graph 中每个 Task 的终态 Scheduler settlement，按 canonical Task 顺序。 */\n readonly settledTasks: readonly Readonly<{\n /** Scheduler settlement kind；completed 不等同于 Check passed。 */\n readonly kind:\n | \"completed\"\n | \"prerequisite-unsatisfied\"\n | \"failed\"\n | \"blocked\"\n | \"cancelled-before-start\";\n /** 已结算 Task 的稳定 ID。 */\n readonly taskId: string;\n }>[];\n }>;\n /** Scheduler-owned 一阶计数与可选 timing facts。 */\n readonly rawMeasurement: SchedulerRawMeasurement;\n}\n\n/** 一次 terminal Scheduler measurement 的 caller-owned sync/async consumer。 */\nexport type SchedulerTerminalEffect =\n | ((this: void, context: SchedulerMeasurementContext) => void)\n | ((this: void, context: SchedulerMeasurementContext) => Promise<void>);\n\n/** 定义级的 Scheduler 预算、admission policy 与终态 measurement consumer。 */\nexport interface SchedulerPolicy {\n /** normalized static or custom admission policy。 */\n readonly admissionPolicy: AdmissionPolicy;\n /** 同时 running 的 root Check 上限。 */\n readonly maxParallel: number;\n /** terminal measurement 的 caller-owned consumers，按配置顺序调用。 */\n readonly terminalEffects: readonly SchedulerTerminalEffect[];\n /** 本次 Definition 中可由 Check 原子占用的 named resource 总 units。 */\n readonly resourceCapacities: Readonly<Record<string, number>>;\n}\n\nexport interface DeclarativeSchedulerPolicy {\n readonly admissionPolicy:\n | Readonly<{ readonly kind: \"static\" }>\n | Readonly<{\n readonly kind: \"custom\";\n readonly strategy: Readonly<{ readonly kind: \"simple\" | \"prepared\" }>;\n }>;\n readonly maxParallel: number;\n readonly resourceCapacities: Readonly<Record<string, number>>;\n}\n"]}

package/dist/esm/project-run/admission-strategy-provider/custom-strategy-preparation.mjs ADDED Viewed

@@ -0,0 +1,57 @@
+import { snapshotClosedPolicyRecord } from "../../data-boundary/closed-values.mjs";
+import { admissionSelectionPolicyFor } from "../task-scheduler/custom-admission-policy.mjs";
+/** Builds the exact Run-local Scheduler handoff and optional terminal participant for custom strategy. */
+export async function prepareCustomAdmissionStrategy(policy, graph) {
+    const strategy = policy.strategy;
+    if (strategy.kind === "simple") {
+        return preparedCustomAdmissionStrategy({ decide: strategy.decide });
+    }
+    const prepared = await prepareCustomStrategy(strategy.prepare, Object.freeze({ graph }));
+    return preparedCustomAdmissionStrategy(prepared);
+}
+async function prepareCustomStrategy(prepare, context) {
+    let prepared;
+    try {
+        prepared = await prepare(context);
+    }
+    catch {
+        throw new AdmissionStrategyPreparationFailure();
+    }
+    const record = snapshotClosedPolicyRecord(prepared, {
+        optional: ["terminalEffect"],
+        required: ["decide"]
+    });
+    if (record === undefined || !isPreparedCustomDecision(record.decide)) {
+        throw new AdmissionStrategyPreparationFailure();
+    }
+    if (record.terminalEffect !== undefined && !isPreparedCustomCompletion(record.terminalEffect)) {
+        throw new AdmissionStrategyPreparationFailure();
+    }
+    return Object.freeze({
+        decide: record.decide,
+        ...(record.terminalEffect === undefined ? {} : { terminalEffect: record.terminalEffect })
+    });
+}
+function isPreparedCustomDecision(value) {
+    return typeof value === "function";
+}
+function isPreparedCustomCompletion(value) {
+    return typeof value === "function";
+}
+function preparedCustomAdmissionStrategy(strategy) {
+    const completion = strategy.terminalEffect === undefined
+        ? Object.freeze({ kind: "none" })
+        : Object.freeze({
+            kind: "terminal-effect",
+            terminalEffect: strategy.terminalEffect
+        });
+    return Object.freeze({
+        admissionPolicy: admissionSelectionPolicyFor(strategy.decide),
+        completion,
+        requiresTerminalMeasurement: completion.kind === "terminal-effect"
+    });
+}
+/** Raised only when public prepared custom strategy setup cannot form its exact Run-local closure. */
+export class AdmissionStrategyPreparationFailure extends Error {
+}
+//# sourceMappingURL=custom-strategy-preparation.mjs.map

package/dist/esm/project-run/admission-strategy-provider/custom-strategy-preparation.mjs.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"custom-strategy-preparation.mjs","sourceRoot":"","sources":["../../../../src/project-run/admission-strategy-provider/custom-strategy-preparation.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8CAA8C,CAAC;AAG3F,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,MAA6D,EAC7D,KAA6B;IAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,+BAA+B,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACzF,OAAO,+BAA+B,CAAC,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,OAG+E,EAC/E,OAA0C;IAE1C,IAAI,QAAiB,CAAC;IACtB,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,mCAAmC,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,MAAM,GAAG,0BAA0B,CAAC,QAAQ,EAAE;QAClD,QAAQ,EAAE,CAAC,gBAAgB,CAAC;QAC5B,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB,CAAC,CAAC;IACH,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,mCAAmC,EAAE,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,mCAAmC,EAAE,CAAC;IAClD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC;KAC1F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC;AACrC,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC;AACrC,CAAC;AAED,SAAS,+BAA+B,CACtC,QAA4E;IAE5E,MAAM,UAAU,GACd,QAAQ,CAAC,cAAc,KAAK,SAAS;QACnC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,iBAA0B;YAChC,cAAc,EAAE,QAAQ,CAAC,cAAc;SACxC,CAAC,CAAC;IACT,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe,EAAE,2BAA2B,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC7D,UAAU;QACV,2BAA2B,EAAE,UAAU,CAAC,IAAI,KAAK,iBAAiB;KACnE,CAAC,CAAC;AACL,CAAC;AAED,sGAAsG;AACtG,MAAM,OAAO,mCAAoC,SAAQ,KAAK;CAAG","sourcesContent":["import type {\n AdmissionPolicy,\n CustomAdmissionPreparationContext,\n PreparedCustomAdmissionStrategy,\n SchedulerGraphSnapshot\n} from \"../../project-definition/project-definition.ts\";\nimport { snapshotClosedPolicyRecord } from \"../../data-boundary/closed-values.ts\";\nimport { admissionSelectionPolicyFor } from \"../task-scheduler/custom-admission-policy.ts\";\nimport type { PreparedAdmissionStrategy } from \"./prepared-admission-strategy.ts\";\n\n/** Builds the exact Run-local Scheduler handoff and optional terminal participant for custom strategy. */\nexport async function prepareCustomAdmissionStrategy(\n policy: Extract<AdmissionPolicy, { readonly kind: \"custom\" }>,\n graph: SchedulerGraphSnapshot\n): Promise<PreparedAdmissionStrategy> {\n const strategy = policy.strategy;\n if (strategy.kind === \"simple\") {\n return preparedCustomAdmissionStrategy({ decide: strategy.decide });\n }\n const prepared = await prepareCustomStrategy(strategy.prepare, Object.freeze({ graph }));\n return preparedCustomAdmissionStrategy(prepared);\n}\n\nasync function prepareCustomStrategy(\n prepare: (\n this: void,\n context: CustomAdmissionPreparationContext\n ) => PreparedCustomAdmissionStrategy | Promise<PreparedCustomAdmissionStrategy>,\n context: CustomAdmissionPreparationContext\n): Promise<PreparedCustomAdmissionStrategy> {\n let prepared: unknown;\n try {\n prepared = await prepare(context);\n } catch {\n throw new AdmissionStrategyPreparationFailure();\n }\n const record = snapshotClosedPolicyRecord(prepared, {\n optional: [\"terminalEffect\"],\n required: [\"decide\"]\n });\n if (record === undefined || !isPreparedCustomDecision(record.decide)) {\n throw new AdmissionStrategyPreparationFailure();\n }\n if (record.terminalEffect !== undefined && !isPreparedCustomCompletion(record.terminalEffect)) {\n throw new AdmissionStrategyPreparationFailure();\n }\n return Object.freeze({\n decide: record.decide,\n ...(record.terminalEffect === undefined ? {} : { terminalEffect: record.terminalEffect })\n });\n}\n\nfunction isPreparedCustomDecision(\n value: unknown\n): value is PreparedCustomAdmissionStrategy[\"decide\"] {\n return typeof value === \"function\";\n}\n\nfunction isPreparedCustomCompletion(\n value: unknown\n): value is NonNullable<PreparedCustomAdmissionStrategy[\"terminalEffect\"]> {\n return typeof value === \"function\";\n}\n\nfunction preparedCustomAdmissionStrategy(\n strategy: Pick<PreparedCustomAdmissionStrategy, \"decide\" | \"terminalEffect\">\n): PreparedAdmissionStrategy {\n const completion =\n strategy.terminalEffect === undefined\n ? Object.freeze({ kind: \"none\" as const })\n : Object.freeze({\n kind: \"terminal-effect\" as const,\n terminalEffect: strategy.terminalEffect\n });\n return Object.freeze({\n admissionPolicy: admissionSelectionPolicyFor(strategy.decide),\n completion,\n requiresTerminalMeasurement: completion.kind === \"terminal-effect\"\n });\n}\n\n/** Raised only when public prepared custom strategy setup cannot form its exact Run-local closure. */\nexport class AdmissionStrategyPreparationFailure extends Error {}\n"]}

package/dist/esm/project-run/admission-strategy-provider/prepared-admission-strategy.mjs ADDED Viewed

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

package/dist/esm/project-run/admission-strategy-provider/prepared-admission-strategy.mjs.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"prepared-admission-strategy.mjs","sourceRoot":"","sources":["../../../../src/project-run/admission-strategy-provider/prepared-admission-strategy.ts"],"names":[],"mappings":"","sourcesContent":["import type { SchedulerMeasurementContext } from \"../../project-definition/project-definition.ts\";\nimport type { AdmissionSelectionPolicy } from \"../task-scheduler/admission-selection-policy.ts\";\n\nexport interface InternalAdmissionStrategyCompleteContext {\n readonly terminalMeasurement: SchedulerMeasurementContext;\n}\n\nexport type PreparedAdmissionStrategyCompletion =\n | Readonly<{ readonly kind: \"none\" }>\n | Readonly<{\n readonly kind: \"internal\";\n readonly complete: (context: InternalAdmissionStrategyCompleteContext) => Promise<void>;\n }>\n | Readonly<{\n readonly kind: \"terminal-effect\";\n readonly terminalEffect: (context: SchedulerMeasurementContext) => void | Promise<void>;\n }>;\n\n/** The invocation-scoped handoff from an admission provider to Scheduler and terminal delivery. */\nexport interface PreparedAdmissionStrategy {\n /** The complete frozen policy handoff consumed by resolved Check execution and Scheduler. */\n readonly admissionPolicy: AdmissionSelectionPolicy;\n /** Closed provider demand merged with output and policy measurement requirements by invocation. */\n readonly requiresTerminalMeasurement: boolean;\n /** Completion owner: no public lifecycle, contained private lifecycle, or public output participant. */\n readonly completion: PreparedAdmissionStrategyCompletion;\n}\n"]}

package/dist/esm/project-run/admission-strategy-provider/provider.mjs ADDED Viewed

@@ -0,0 +1,23 @@
+import { staticAdmissionSelectionPolicy } from "../task-scheduler/admission-selection-policy.mjs";
+import { prepareCustomAdmissionStrategy } from "./custom-strategy-preparation.mjs";
+/** Resolves the closed Product policy union to one invocation-scoped prepared strategy. */
+export function createAdmissionStrategyProvider(input) {
+    return Object.freeze({
+        prepare: async () => {
+            switch (input.admissionPolicy.kind) {
+                case "static":
+                    return staticPreparedStrategy();
+                case "custom":
+                    return prepareCustomAdmissionStrategy(input.admissionPolicy, input.graph);
+            }
+        }
+    });
+}
+function staticPreparedStrategy() {
+    return Object.freeze({
+        admissionPolicy: staticAdmissionSelectionPolicy,
+        completion: Object.freeze({ kind: "none" }),
+        requiresTerminalMeasurement: false
+    });
+}
+//# sourceMappingURL=provider.mjs.map

package/dist/esm/project-run/admission-strategy-provider/provider.mjs.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"provider.mjs","sourceRoot":"","sources":["../../../../src/project-run/admission-strategy-provider/provider.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,8BAA8B,EAAE,MAAM,iDAAiD,CAAC;AACjG,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAiBlF,2FAA2F;AAC3F,MAAM,UAAU,+BAA+B,CAC7C,KAAqC;IAErC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,KAAK,IAAI,EAAE;YAClB,QAAQ,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;gBACnC,KAAK,QAAQ;oBACX,OAAO,sBAAsB,EAAE,CAAC;gBAClC,KAAK,QAAQ;oBACX,OAAO,8BAA8B,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB;IAC7B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe,EAAE,8BAA8B;QAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,CAAC;QACpD,2BAA2B,EAAE,KAAK;KACnC,CAAC,CAAC;AACL,CAAC","sourcesContent":["import type {\n AdmissionPolicy,\n SchedulerGraphSnapshot\n} from \"../../project-definition/project-definition.ts\";\nimport { staticAdmissionSelectionPolicy } from \"../task-scheduler/admission-selection-policy.ts\";\nimport { prepareCustomAdmissionStrategy } from \"./custom-strategy-preparation.ts\";\nimport type { PreparedAdmissionStrategy } from \"./prepared-admission-strategy.ts\";\n\nexport interface PrivateAdmissionStrategyProvider {\n prepare: () => Promise<PreparedAdmissionStrategy>;\n}\n\n/** Product-private test seam; package `run` never accepts a provider factory. */\nexport type AdmissionStrategyProviderFactory = (\n input: AdmissionStrategyProviderInput\n) => PrivateAdmissionStrategyProvider;\n\nexport interface AdmissionStrategyProviderInput {\n readonly admissionPolicy: AdmissionPolicy;\n readonly graph: SchedulerGraphSnapshot;\n}\n\n/** Resolves the closed Product policy union to one invocation-scoped prepared strategy. */\nexport function createAdmissionStrategyProvider(\n input: AdmissionStrategyProviderInput\n): PrivateAdmissionStrategyProvider {\n return Object.freeze({\n prepare: async () => {\n switch (input.admissionPolicy.kind) {\n case \"static\":\n return staticPreparedStrategy();\n case \"custom\":\n return prepareCustomAdmissionStrategy(input.admissionPolicy, input.graph);\n }\n }\n });\n}\n\nfunction staticPreparedStrategy(): PreparedAdmissionStrategy {\n return Object.freeze({\n admissionPolicy: staticAdmissionSelectionPolicy,\n completion: Object.freeze({ kind: \"none\" as const }),\n requiresTerminalMeasurement: false\n });\n}\n"]}

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

@@ -1,66 +1,51 @@
-/** 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);
+/** Identifies a callback failure so the invocation boundary can close outputs before rethrowing it. */
+export class CheckAggregationFailure extends Error {
+    originalError;
+    constructor(originalError) {
+        super("Check aggregation failed", { cause: originalError });
+        this.originalError = originalError;
     }
-    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);
+/** Builds the canonical ordered, read-only effective Check list and derives its invocation aggregate. */
+export function aggregateEffectiveChecks(snapshot, effectiveCheckIds, aggregation) {
+    const checks = effectiveChecks(snapshot, effectiveCheckIds);
+    return aggregation === undefined
+        ? strictAggregate(checks)
+        : invokeAggregation(aggregation, checks);
 }
-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 effectiveChecks(snapshot, effectiveCheckIds) {
+    const effectiveCheckIdSet = new Set(effectiveCheckIds);
+    return Object.freeze(snapshot.checks.filter((check) => effectiveCheckIdSet.has(check.checkId)));
 }
-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 strictAggregate(checks) {
+    return checks.length > 0 && checks.every((check) => check.outcome.status === "passed")
+        ? "passed"
+        : "failed";
+}
+function invokeAggregation(aggregation, checks) {
+    let aggregate;
+    try {
+        aggregate = aggregation(checks);
+    }
+    catch (error) {
+        throw new CheckAggregationFailure(errorFromThrownValue(error));
     }
+    if (isCheckAggregate(aggregate))
+        return aggregate;
+    discardPromiseRejection(aggregate);
+    throw new CheckAggregationFailure(new TypeError("Check aggregation must synchronously return a CheckAggregate"));
+}
+function isCheckAggregate(value) {
+    return (value === "passed" ||
+        value === "failed" ||
+        value === "not-applicable" ||
+        value === "unavailable");
 }
-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 discardPromiseRejection(value) {
+    if (value instanceof Promise)
+        void value.catch(() => undefined);
 }
-function invalidControls(path) {
-    const error = Object.freeze({
-        kind: "invalid-run-controls",
-        path,
-        reason: "invalid-value"
-    });
-    return Object.freeze({ ok: false, error });
+function errorFromThrownValue(value) {
+    return value instanceof Error ? value : new Error("Check aggregation threw a non-Error value");
 }
 //# sourceMappingURL=aggregation.mjs.map