@agent-teams/engineering-foundation 0.9.0 → 0.10.0

package/dist/capabilities/executable-specifications/application/policies/evaluate-executable-specifications.d.ts

@@ -0,0 +1,6 @@
+import type { FoundationDiagnostic } from "../../../../check-contract.js";
+import type { ExecutableSpecificationCatalog, ExecutableSpecificationObservation } from "../model/executable-specification.js";
+/** Pure topology validation. It must run before any consumer artifact inspection. */
+export declare function evaluateExecutableSpecificationTopology(catalog: ExecutableSpecificationCatalog): readonly FoundationDiagnostic[];
+export declare function evaluateExecutableSpecifications(catalog: ExecutableSpecificationCatalog, observations: readonly ExecutableSpecificationObservation[]): readonly FoundationDiagnostic[];
+//# sourceMappingURL=evaluate-executable-specifications.d.ts.map

package/dist/capabilities/executable-specifications/application/policies/evaluate-executable-specifications.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-executable-specifications.d.ts","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/policies/evaluate-executable-specifications.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC1E,OAAO,KAAK,EAGV,8BAA8B,EAC9B,kCAAkC,EACnC,MAAM,sCAAsC,CAAC;AAoK9C,qFAAqF;AACrF,wBAAgB,uCAAuC,CACrD,OAAO,EAAE,8BAA8B,GACtC,SAAS,oBAAoB,EAAE,CAwGjC;AAkGD,wBAAgB,gCAAgC,CAC9C,OAAO,EAAE,8BAA8B,EACvC,YAAY,EAAE,SAAS,kCAAkC,EAAE,GAC1D,SAAS,oBAAoB,EAAE,CASjC"}

package/dist/capabilities/executable-specifications/application/policies/evaluate-executable-specifications.js

@@ -0,0 +1,277 @@
+import { EXECUTABLE_SPECIFICATION_RULES } from "../rules.js";
+import { executableSpecificationPathDeclarations, portableExecutableSpecificationPathIdentity, portableExecutableSpecificationPathProblem } from "./portable-executable-specification-path.js";
+function diagnostic(input) {
+    return {
+        ruleId: input.rule.id,
+        severity: input.rule.severity,
+        subject: input.subject,
+        message: input.message,
+        location: { path: input.path },
+        relatedLocations: [],
+        evidence: input.evidence ?? [],
+        remediation: input.rule.remediation,
+        requiresArchitectureReview: input.rule.requiresArchitectureReview
+    };
+}
+function duplicateValues(values) {
+    const seen = new Set();
+    const duplicates = new Set();
+    for (const value of values) {
+        if (seen.has(value)) {
+            duplicates.add(value);
+        }
+        seen.add(value);
+    }
+    return [...duplicates].toSorted();
+}
+function duplicatePaths(paths) {
+    const firstByIdentity = new Map();
+    const duplicates = new Set();
+    for (const path of paths) {
+        const identity = portableExecutableSpecificationPathIdentity(path);
+        const first = firstByIdentity.get(identity);
+        if (first === undefined) {
+            firstByIdentity.set(identity, path);
+        }
+        else {
+            duplicates.add(first);
+        }
+    }
+    return [...duplicates].toSorted();
+}
+function gateKey(binding) {
+    return `${binding.packageName}\u0000${binding.script}`;
+}
+function specificationGates(specification) {
+    return [
+        ...(specification.gateBindings.typeGeneration === undefined
+            ? []
+            : [['typeGeneration', specification.gateBindings.typeGeneration]]),
+        ["property", specification.gateBindings.property],
+        ["mutation", specification.gateBindings.mutation],
+        ...(specification.stateModel.kind === "xstate"
+            ? [["spec-model", specification.stateModel.gateBinding]]
+            : [])
+    ];
+}
+function generatedAndModelPaths(specification) {
+    return [
+        ...specification.generatedTypes.map((binding) => binding.outputPath),
+        ...(specification.stateModel.kind === "xstate"
+            ? [
+                specification.stateModel.modelPath,
+                specification.stateModel.adapterPath,
+                specification.stateModel.tracesPath,
+                specification.stateModel.diagramPath
+            ]
+            : [])
+    ];
+}
+function duplicatePathDiagnostics(paths, description) {
+    return duplicatePaths(paths).map((path) => diagnostic({
+        rule: EXECUTABLE_SPECIFICATION_RULES.pathCollision,
+        subject: `catalog-path:${path}`,
+        path,
+        message: `${description}: ${path}.`
+    }));
+}
+function evaluateSpecificationTopology(specification, catalogPath) {
+    const diagnostics = [];
+    const hasGeneratedTypes = specification.generatedTypes.length > 0;
+    const hasTypeGenerationGate = specification.gateBindings.typeGeneration !== undefined;
+    if (hasGeneratedTypes !== hasTypeGenerationGate) {
+        diagnostics.push(diagnostic({
+            rule: EXECUTABLE_SPECIFICATION_RULES.generatedTypeGateMismatch,
+            subject: `${specification.id}:gate:typeGeneration`,
+            path: catalogPath,
+            message: hasGeneratedTypes
+                ? "Generated type outputs require a type-generation gate binding."
+                : "A data-only specification must not declare a type-generation gate binding."
+        }));
+    }
+    for (const schemaId of duplicateValues(specification.generatedTypes.map((binding) => binding.schemaId))) {
+        diagnostics.push(diagnostic({
+            rule: EXECUTABLE_SPECIFICATION_RULES.generatedTypeBindingDuplicate,
+            subject: `${specification.id}:schema:${schemaId}`,
+            path: specification.generatedTypes[0]?.outputPath ?? catalogPath,
+            message: `Schema ID has more than one generated type binding: ${schemaId}.`
+        }));
+    }
+    for (const outputPath of duplicateValues(specification.generatedTypes.map((binding) => binding.outputPath))) {
+        diagnostics.push(diagnostic({
+            rule: EXECUTABLE_SPECIFICATION_RULES.generatedTypeBindingDuplicate,
+            subject: `${specification.id}:output:${outputPath}`,
+            path: outputPath,
+            message: `Generated type output path is bound more than once: ${outputPath}.`
+        }));
+    }
+    for (const duplicate of duplicateValues(specificationGates(specification).map(([, binding]) => gateKey(binding)))) {
+        const [packageName = "", script = ""] = duplicate.split("\u0000");
+        diagnostics.push(diagnostic({
+            rule: EXECUTABLE_SPECIFICATION_RULES.gateNotDistinct,
+            subject: `${specification.id}:gate:${packageName}:${script}`,
+            path: catalogPath,
+            message: `Gate script is reused by more than one evidence role: ${packageName}#${script}.`
+        }));
+    }
+    return diagnostics;
+}
+/** Pure topology validation. It must run before any consumer artifact inspection. */
+export function evaluateExecutableSpecificationTopology(catalog) {
+    const diagnostics = [];
+    for (const id of duplicateValues(catalog.specifications.map((specification) => specification.id))) {
+        diagnostics.push(diagnostic({
+            rule: EXECUTABLE_SPECIFICATION_RULES.specificationIdDuplicate,
+            subject: `specification:${id}`,
+            path: catalog.catalogPath,
+            message: `Executable specification ID is declared more than once: ${id}.`
+        }));
+    }
+    for (const specification of catalog.specifications) {
+        diagnostics.push(...evaluateSpecificationTopology(specification, catalog.catalogPath));
+    }
+    const pathDeclarations = executableSpecificationPathDeclarations(catalog);
+    for (const declaration of pathDeclarations) {
+        const portabilityProblem = portableExecutableSpecificationPathProblem(declaration.path);
+        if (portabilityProblem !== undefined) {
+            diagnostics.push(diagnostic({
+                rule: EXECUTABLE_SPECIFICATION_RULES.pathCollision,
+                subject: `catalog-path:${declaration.path}`,
+                path: declaration.path,
+                message: `Executable specification path is not portable: ${declaration.path} (${portabilityProblem}).`
+            }));
+        }
+    }
+    const firstDeclarationByIdentity = new Map();
+    for (const declaration of pathDeclarations) {
+        const identity = portableExecutableSpecificationPathIdentity(declaration.path);
+        const first = firstDeclarationByIdentity.get(identity);
+        if (first === undefined) {
+            firstDeclarationByIdentity.set(identity, declaration);
+            continue;
+        }
+        const shareableExactEvidence = first.path === declaration.path &&
+            first.role === declaration.role &&
+            (first.role === "owner" || first.role === "adr");
+        if (!shareableExactEvidence) {
+            diagnostics.push(diagnostic({
+                rule: EXECUTABLE_SPECIFICATION_RULES.pathCollision,
+                subject: `catalog-path:${declaration.path}`,
+                path: declaration.path,
+                message: `Executable specification path roles collide: ${first.role}:${first.path} and ${declaration.role}:${declaration.path}.`
+            }));
+        }
+    }
+    const schemaPaths = catalog.specifications.flatMap((specification) => specification.schemaPaths);
+    const documentPaths = catalog.specifications.flatMap((specification) => specification.documents.map((document) => document.path));
+    const generatedModelPaths = catalog.specifications.flatMap(generatedAndModelPaths);
+    const sourcePaths = catalog.specifications.flatMap((specification) => [
+        "foundation.config.yaml",
+        catalog.configPath,
+        catalog.catalogPath,
+        "package.json",
+        "pnpm-workspace.yaml",
+        ...specification.ownerDocs,
+        ...specification.adrRefs,
+        ...specification.schemaPaths,
+        ...specification.documents.map((document) => document.path)
+    ]);
+    diagnostics.push(...duplicatePathDiagnostics(schemaPaths, "Schema path is declared more than once"), ...duplicatePathDiagnostics(documentPaths, "Document path is declared more than once"), ...duplicatePathDiagnostics(generatedModelPaths, "Generated or executable artifact path is assigned more than once"));
+    const sourcePathSet = new Set(sourcePaths.map(portableExecutableSpecificationPathIdentity));
+    for (const path of [...new Set(generatedModelPaths)].toSorted()) {
+        if (sourcePathSet.has(portableExecutableSpecificationPathIdentity(path)) ||
+            portableExecutableSpecificationPathIdentity(path).endsWith("/package.json")) {
+            diagnostics.push(diagnostic({
+                rule: EXECUTABLE_SPECIFICATION_RULES.pathCollision,
+                subject: `catalog-path:${path}`,
+                path,
+                message: `Generated or executable artifact collides with a source, owner, ADR, schema, or document path: ${path}.`
+            }));
+        }
+    }
+    return diagnostics;
+}
+function evaluateBindings(specification, observation) {
+    const diagnostics = [];
+    const schemaIds = new Set(observation.jsonSchemas.schemaIds);
+    for (const document of specification.documents) {
+        if (!schemaIds.has(document.schemaId)) {
+            diagnostics.push(diagnostic({
+                rule: EXECUTABLE_SPECIFICATION_RULES.schemaBindingUnknown,
+                subject: `${specification.id}:document:${document.path}`,
+                path: document.path,
+                message: `Document binds an unknown local schema ID: ${document.schemaId}.`
+            }));
+        }
+    }
+    for (const binding of specification.generatedTypes) {
+        if (!schemaIds.has(binding.schemaId)) {
+            diagnostics.push(diagnostic({
+                rule: EXECUTABLE_SPECIFICATION_RULES.schemaBindingUnknown,
+                subject: `${specification.id}:generated-type:${binding.outputPath}`,
+                path: binding.outputPath,
+                message: `Generated type binds an unknown local schema ID: ${binding.schemaId}.`
+            }));
+        }
+    }
+    return diagnostics;
+}
+function evaluateGates(specification, observation) {
+    const diagnostics = [];
+    const gates = specificationGates(specification);
+    for (const [role] of gates) {
+        const observed = observation.gates[role];
+        if (observed === undefined || !observed.packageExists || !observed.scriptExists) {
+            diagnostics.push(diagnostic({
+                rule: EXECUTABLE_SPECIFICATION_RULES.gateMissing,
+                subject: `${specification.id}:gate:${role}`,
+                path: observed?.manifestPath ?? observation.id,
+                message: observed?.packageExists === true
+                    ? `Gate ${role} binds a missing package script: ${observed.packageName}#${observed.script}.`
+                    : `Gate ${role} binds a missing workspace package: ${observed?.packageName ?? "unknown"}.`
+            }));
+        }
+    }
+    return diagnostics;
+}
+function evaluateSpecification(specification, observation) {
+    const diagnostics = [];
+    for (const path of observation.missingArtifactPaths) {
+        diagnostics.push(diagnostic({
+            rule: EXECUTABLE_SPECIFICATION_RULES.artifactMissing,
+            subject: `${specification.id}:artifact:${path}`,
+            path,
+            message: `Declared executable specification artifact is missing: ${path}.`,
+            evidence: [{ kind: "artifact-corpus-digest", value: observation.artifactDigest }]
+        }));
+    }
+    for (const result of observation.jsonSchemas.fixtureResults) {
+        if (!result.matched) {
+            const document = specification.documents[Number(result.id.split(".").at(-1))];
+            diagnostics.push(diagnostic({
+                rule: EXECUTABLE_SPECIFICATION_RULES.documentInvalid,
+                subject: `${specification.id}:document:${document?.path ?? result.id}`,
+                path: document?.path ?? result.id,
+                message: "JSON specification document does not conform to its declared schema.",
+                evidence: [
+                    { kind: "schema-set-digest", value: observation.jsonSchemas.schemaSetDigest },
+                    { kind: "document-corpus-digest", value: observation.jsonSchemas.fixtureCorpusDigest }
+                ]
+            }));
+        }
+    }
+    diagnostics.push(...evaluateBindings(specification, observation));
+    diagnostics.push(...evaluateGates(specification, observation));
+    return diagnostics;
+}
+export function evaluateExecutableSpecifications(catalog, observations) {
+    const diagnostics = [];
+    for (const [index, specification] of catalog.specifications.entries()) {
+        const observation = observations[index];
+        if (observation !== undefined) {
+            diagnostics.push(...evaluateSpecification(specification, observation));
+        }
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=evaluate-executable-specifications.js.map

package/dist/capabilities/executable-specifications/application/policies/evaluate-executable-specifications.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-executable-specifications.js","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/policies/evaluate-executable-specifications.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,8BAA8B,EAE/B,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,uCAAuC,EACvC,2CAA2C,EAC3C,0CAA0C,EAC3C,MAAM,6CAA6C,CAAC;AAErD,SAAS,UAAU,CAAC,KAMnB;IACC,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;QACrB,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ;QAC7B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QAC9B,gBAAgB,EAAE,EAAE;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;QAC9B,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW;QACnC,0BAA0B,EAAE,KAAK,CAAC,IAAI,CAAC,0BAA0B;KAClE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,MAAyB;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,cAAc,CAAC,KAAwB;IAC9C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,2CAA2C,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,OAAO,CAAC,OAA4B;IAC3C,OAAO,GAAG,OAAO,CAAC,WAAW,SAAS,OAAO,CAAC,MAAM,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,kBAAkB,CACzB,aAAsC;IAEtC,OAAO;QACL,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,cAAc,KAAK,SAAS;YACzD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAE,CAAC,CAAC,gBAAgB,EAAE,aAAa,CAAC,YAAY,CAAC,cAAc,CAAC,CAAW,CAAC;QAC/E,CAAC,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC;QACjD,CAAC,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC;QACjD,GAAG,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;YAC5C,CAAC,CAAE,CAAC,CAAC,YAAY,EAAE,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,CAAW;YACnE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,aAAsC;IACpE,OAAO;QACL,GAAG,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;QACpE,GAAG,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;YAC5C,CAAC,CAAC;gBACE,aAAa,CAAC,UAAU,CAAC,SAAS;gBAClC,aAAa,CAAC,UAAU,CAAC,WAAW;gBACpC,aAAa,CAAC,UAAU,CAAC,UAAU;gBACnC,aAAa,CAAC,UAAU,CAAC,WAAW;aACrC;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAwB,EACxB,WAAmB;IAEnB,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACxC,UAAU,CAAC;QACT,IAAI,EAAE,8BAA8B,CAAC,aAAa;QAClD,OAAO,EAAE,gBAAgB,IAAI,EAAE;QAC/B,IAAI;QACJ,OAAO,EAAE,GAAG,WAAW,KAAK,IAAI,GAAG;KACpC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,aAAsC,EACtC,WAAmB;IAEnB,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,iBAAiB,GAAG,aAAa,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;IAClE,MAAM,qBAAqB,GAAG,aAAa,CAAC,YAAY,CAAC,cAAc,KAAK,SAAS,CAAC;IACtF,IAAI,iBAAiB,KAAK,qBAAqB,EAAE,CAAC;QAChD,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;YACT,IAAI,EAAE,8BAA8B,CAAC,yBAAyB;YAC9D,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,sBAAsB;YAClD,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,iBAAiB;gBACxB,CAAC,CAAC,gEAAgE;gBAClE,CAAC,CAAC,4EAA4E;SACjF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,eAAe,CACpC,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAChE,EAAE,CAAC;QACF,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;YACT,IAAI,EAAE,8BAA8B,CAAC,6BAA6B;YAClE,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,WAAW,QAAQ,EAAE;YACjD,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,UAAU,IAAI,WAAW;YAChE,OAAO,EAAE,uDAAuD,QAAQ,GAAG;SAC5E,CAAC,CACH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,eAAe,CACtC,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAClE,EAAE,CAAC;QACF,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;YACT,IAAI,EAAE,8BAA8B,CAAC,6BAA6B;YAClE,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,WAAW,UAAU,EAAE;YACnD,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,uDAAuD,UAAU,GAAG;SAC9E,CAAC,CACH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,eAAe,CACrC,kBAAkB,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CACzE,EAAE,CAAC;QACF,MAAM,CAAC,WAAW,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClE,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;YACT,IAAI,EAAE,8BAA8B,CAAC,eAAe;YACpD,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,SAAS,WAAW,IAAI,MAAM,EAAE;YAC5D,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,yDAAyD,WAAW,IAAI,MAAM,GAAG;SAC3F,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,uCAAuC,CACrD,OAAuC;IAEvC,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,eAAe,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAClG,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;YACT,IAAI,EAAE,8BAA8B,CAAC,wBAAwB;YAC7D,OAAO,EAAE,iBAAiB,EAAE,EAAE;YAC9B,IAAI,EAAE,OAAO,CAAC,WAAW;YACzB,OAAO,EAAE,2DAA2D,EAAE,GAAG;SAC1E,CAAC,CACH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,aAAa,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,GAAG,6BAA6B,CAAC,aAAa,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,gBAAgB,GAAG,uCAAuC,CAAC,OAAO,CAAC,CAAC;IAC1E,KAAK,MAAM,WAAW,IAAI,gBAAgB,EAAE,CAAC;QAC3C,MAAM,kBAAkB,GAAG,0CAA0C,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACxF,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACrC,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;gBACT,IAAI,EAAE,8BAA8B,CAAC,aAAa;gBAClD,OAAO,EAAE,gBAAgB,WAAW,CAAC,IAAI,EAAE;gBAC3C,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,OAAO,EAAE,kDAAkD,WAAW,CAAC,IAAI,KAAK,kBAAkB,IAAI;aACvG,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAGvC,CAAC;IACJ,KAAK,MAAM,WAAW,IAAI,gBAAgB,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,2CAA2C,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,0BAA0B,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QACD,MAAM,sBAAsB,GAC1B,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI;YAC/B,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI;YAC/B,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;gBACT,IAAI,EAAE,8BAA8B,CAAC,aAAa;gBAClD,OAAO,EAAE,gBAAgB,WAAW,CAAC,IAAI,EAAE;gBAC3C,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,OAAO,EAAE,gDAAgD,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,QAAQ,WAAW,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,GAAG;aACjI,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IACjG,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CACrE,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CACzD,CAAC;IACF,MAAM,mBAAmB,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC;QACpE,wBAAwB;QACxB,OAAO,CAAC,UAAU;QAClB,OAAO,CAAC,WAAW;QACnB,cAAc;QACd,qBAAqB;QACrB,GAAG,aAAa,CAAC,SAAS;QAC1B,GAAG,aAAa,CAAC,OAAO;QACxB,GAAG,aAAa,CAAC,WAAW;QAC5B,GAAG,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;KAC5D,CAAC,CAAC;IACH,WAAW,CAAC,IAAI,CACd,GAAG,wBAAwB,CACzB,WAAW,EACX,wCAAwC,CACzC,EACD,GAAG,wBAAwB,CACzB,aAAa,EACb,0CAA0C,CAC3C,EACD,GAAG,wBAAwB,CACzB,mBAAmB,EACnB,kEAAkE,CACnE,CACF,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,WAAW,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAC7D,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAChE,IACE,aAAa,CAAC,GAAG,CAAC,2CAA2C,CAAC,IAAI,CAAC,CAAC;YACpE,2CAA2C,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,EAC3E,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;gBACT,IAAI,EAAE,8BAA8B,CAAC,aAAa;gBAClD,OAAO,EAAE,gBAAgB,IAAI,EAAE;gBAC/B,IAAI;gBACJ,OAAO,EAAE,kGAAkG,IAAI,GAAG;aACnH,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,gBAAgB,CACvB,aAAsC,EACtC,WAA+C;IAE/C,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAC7D,KAAK,MAAM,QAAQ,IAAI,aAAa,CAAC,SAAS,EAAE,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;gBACT,IAAI,EAAE,8BAA8B,CAAC,oBAAoB;gBACzD,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,aAAa,QAAQ,CAAC,IAAI,EAAE;gBACxD,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,OAAO,EAAE,8CAA8C,QAAQ,CAAC,QAAQ,GAAG;aAC5E,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,cAAc,EAAE,CAAC;QACnD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrC,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;gBACT,IAAI,EAAE,8BAA8B,CAAC,oBAAoB;gBACzD,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,mBAAmB,OAAO,CAAC,UAAU,EAAE;gBACnE,IAAI,EAAE,OAAO,CAAC,UAAU;gBACxB,OAAO,EAAE,oDAAoD,OAAO,CAAC,QAAQ,GAAG;aACjF,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,aAAa,CACpB,aAAsC,EACtC,WAA+C;IAE/C,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;YAChF,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;gBACT,IAAI,EAAE,8BAA8B,CAAC,WAAW;gBAChD,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,SAAS,IAAI,EAAE;gBAC3C,IAAI,EAAE,QAAQ,EAAE,YAAY,IAAI,WAAW,CAAC,EAAE;gBAC9C,OAAO,EACL,QAAQ,EAAE,aAAa,KAAK,IAAI;oBAC9B,CAAC,CAAC,QAAQ,IAAI,oCAAoC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,MAAM,GAAG;oBAC5F,CAAC,CAAC,QAAQ,IAAI,uCAAuC,QAAQ,EAAE,WAAW,IAAI,SAAS,GAAG;aAC/F,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,qBAAqB,CAC5B,aAAsC,EACtC,WAA+C;IAE/C,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,oBAAoB,EAAE,CAAC;QACpD,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;YACT,IAAI,EAAE,8BAA8B,CAAC,eAAe;YACpD,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,aAAa,IAAI,EAAE;YAC/C,IAAI;YACJ,OAAO,EAAE,0DAA0D,IAAI,GAAG;YAC1E,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,WAAW,CAAC,cAAc,EAAE,CAAC;SAClF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9E,WAAW,CAAC,IAAI,CACd,UAAU,CAAC;gBACT,IAAI,EAAE,8BAA8B,CAAC,eAAe;gBACpD,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,aAAa,QAAQ,EAAE,IAAI,IAAI,MAAM,CAAC,EAAE,EAAE;gBACtE,IAAI,EAAE,QAAQ,EAAE,IAAI,IAAI,MAAM,CAAC,EAAE;gBACjC,OAAO,EAAE,sEAAsE;gBAC/E,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,eAAe,EAAE;oBAC7E,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,mBAAmB,EAAE;iBACvF;aACF,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;IAClE,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;IAC/D,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,OAAuC,EACvC,YAA2D;IAE3D,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;QACtE,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/capabilities/executable-specifications/application/policies/portable-executable-specification-path.d.ts

@@ -0,0 +1,10 @@
+import type { ExecutableSpecification, ExecutableSpecificationCatalog } from "../model/executable-specification.js";
+export declare function portableExecutableSpecificationPathProblem(repositoryPath: string): string | undefined;
+export declare function portableExecutableSpecificationPathIdentity(repositoryPath: string): string;
+export declare function executableSpecificationArtifactPaths(specification: ExecutableSpecification): readonly string[];
+export interface ExecutableSpecificationPathDeclaration {
+    readonly path: string;
+    readonly role: "owner" | "adr" | "schema" | "document" | "generated-model" | "reserved-foundation-config" | "reserved-capability-config" | "reserved-catalog" | "reserved-root-package" | "reserved-workspace";
+}
+export declare function executableSpecificationPathDeclarations(catalog: ExecutableSpecificationCatalog): readonly ExecutableSpecificationPathDeclaration[];
+//# sourceMappingURL=portable-executable-specification-path.d.ts.map

package/dist/capabilities/executable-specifications/application/policies/portable-executable-specification-path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-executable-specification-path.d.ts","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/policies/portable-executable-specification-path.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,uBAAuB,EACvB,8BAA8B,EAC/B,MAAM,sCAAsC,CAAC;AAK9C,wBAAgB,0CAA0C,CACxD,cAAc,EAAE,MAAM,GACrB,MAAM,GAAG,SAAS,CAmBpB;AAED,wBAAgB,2CAA2C,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,CAE1F;AAED,wBAAgB,oCAAoC,CAClD,aAAa,EAAE,uBAAuB,GACrC,SAAS,MAAM,EAAE,CAkBnB;AAcD,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EACT,OAAO,GACP,KAAK,GACL,QAAQ,GACR,UAAU,GACV,iBAAiB,GACjB,4BAA4B,GAC5B,4BAA4B,GAC5B,kBAAkB,GAClB,uBAAuB,GACvB,oBAAoB,CAAC;CAC1B;AAED,wBAAgB,uCAAuC,CACrD,OAAO,EAAE,8BAA8B,GACtC,SAAS,sCAAsC,EAAE,CAsBnD"}

package/dist/capabilities/executable-specifications/application/policies/portable-executable-specification-path.js

@@ -0,0 +1,76 @@
+const PORTABLE_SEGMENT = /^[A-Za-z0-9._@+-]+$/u;
+const WINDOWS_DEVICE_BASENAME = /^(?:con|prn|aux|nul|com[1-9]|lpt[1-9])(?:\.|$)/iu;
+export function portableExecutableSpecificationPathProblem(repositoryPath) {
+    for (const segment of repositoryPath.split("/")) {
+        if (segment.length > 255) {
+            return "segments must not exceed 255 ASCII characters";
+        }
+        if (segment === "." || segment === "..") {
+            return "dot segments are not allowed";
+        }
+        if (!PORTABLE_SEGMENT.test(segment)) {
+            return "segments may contain only ASCII letters, digits, dot, underscore, at sign, plus, and hyphen";
+        }
+        if (segment.endsWith(".") || segment.endsWith(" ")) {
+            return "segments must not end with a dot or space";
+        }
+        if (WINDOWS_DEVICE_BASENAME.test(segment)) {
+            return "segments must not use a reserved Windows device basename";
+        }
+    }
+    return undefined;
+}
+export function portableExecutableSpecificationPathIdentity(repositoryPath) {
+    return repositoryPath.toLowerCase();
+}
+export function executableSpecificationArtifactPaths(specification) {
+    const statePaths = specification.stateModel.kind === "xstate"
+        ? [
+            specification.stateModel.adapterPath,
+            specification.stateModel.diagramPath,
+            specification.stateModel.modelPath,
+            specification.stateModel.tracesPath
+        ]
+        : [];
+    return [
+        ...specification.ownerDocs,
+        ...specification.adrRefs,
+        ...specification.schemaPaths,
+        ...specification.documents.map((document) => document.path),
+        ...specification.generatedTypes.map((binding) => binding.outputPath),
+        ...statePaths
+    ];
+}
+function executableSpecificationReservedPaths(catalog) {
+    return [
+        { path: "foundation.config.yaml", role: "reserved-foundation-config" },
+        { path: catalog.configPath, role: "reserved-capability-config" },
+        { path: catalog.catalogPath, role: "reserved-catalog" },
+        { path: "package.json", role: "reserved-root-package" },
+        { path: "pnpm-workspace.yaml", role: "reserved-workspace" }
+    ];
+}
+export function executableSpecificationPathDeclarations(catalog) {
+    return [
+        ...executableSpecificationReservedPaths(catalog),
+        ...catalog.specifications.flatMap((specification) => [
+            ...specification.ownerDocs.map((path) => ({ path, role: "owner" })),
+            ...specification.adrRefs.map((path) => ({ path, role: "adr" })),
+            ...specification.schemaPaths.map((path) => ({ path, role: "schema" })),
+            ...specification.documents.map(({ path }) => ({ path, role: "document" })),
+            ...specification.generatedTypes.map(({ outputPath: path }) => ({
+                path,
+                role: "generated-model"
+            })),
+            ...(specification.stateModel.kind === "xstate"
+                ? [
+                    specification.stateModel.modelPath,
+                    specification.stateModel.adapterPath,
+                    specification.stateModel.tracesPath,
+                    specification.stateModel.diagramPath
+                ].map((path) => ({ path, role: "generated-model" }))
+                : [])
+        ])
+    ];
+}
+//# sourceMappingURL=portable-executable-specification-path.js.map

package/dist/capabilities/executable-specifications/application/policies/portable-executable-specification-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-executable-specification-path.js","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/policies/portable-executable-specification-path.ts"],"names":[],"mappings":"AAKA,MAAM,gBAAgB,GAAG,sBAAsB,CAAC;AAChD,MAAM,uBAAuB,GAAG,kDAAkD,CAAC;AAEnF,MAAM,UAAU,0CAA0C,CACxD,cAAsB;IAEtB,KAAK,MAAM,OAAO,IAAI,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,IAAI,OAAO,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACzB,OAAO,+CAA+C,CAAC;QACzD,CAAC;QACD,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACxC,OAAO,8BAA8B,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,OAAO,6FAA6F,CAAC;QACvG,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,2CAA2C,CAAC;QACrD,CAAC;QACD,IAAI,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,OAAO,0DAA0D,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,2CAA2C,CAAC,cAAsB;IAChF,OAAO,cAAc,CAAC,WAAW,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,aAAsC;IAEtC,MAAM,UAAU,GACd,aAAa,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QACxC,CAAC,CAAC;YACE,aAAa,CAAC,UAAU,CAAC,WAAW;YACpC,aAAa,CAAC,UAAU,CAAC,WAAW;YACpC,aAAa,CAAC,UAAU,CAAC,SAAS;YAClC,aAAa,CAAC,UAAU,CAAC,UAAU;SACpC;QACH,CAAC,CAAC,EAAE,CAAC;IACT,OAAO;QACL,GAAG,aAAa,CAAC,SAAS;QAC1B,GAAG,aAAa,CAAC,OAAO;QACxB,GAAG,aAAa,CAAC,WAAW;QAC5B,GAAG,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC3D,GAAG,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;QACpE,GAAG,UAAU;KACd,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAC3C,OAAuC;IAEvC,OAAO;QACL,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,4BAA4B,EAAE;QACtE,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,4BAA4B,EAAE;QAChE,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,kBAAkB,EAAE;QACvD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,uBAAuB,EAAE;QACvD,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,oBAAoB,EAAE;KAC5D,CAAC;AACJ,CAAC;AAiBD,MAAM,UAAU,uCAAuC,CACrD,OAAuC;IAEvC,OAAO;QACL,GAAG,oCAAoC,CAAC,OAAO,CAAC;QAChD,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC;YACnD,GAAG,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAgB,EAAE,CAAC,CAAC;YAC5E,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAc,EAAE,CAAC,CAAC;YACxE,GAAG,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAC;YAC/E,GAAG,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC,CAAC;YACnF,GAAG,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC7D,IAAI;gBACJ,IAAI,EAAE,iBAA0B;aACjC,CAAC,CAAC;YACH,GAAG,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;gBAC5C,CAAC,CAAC;oBACE,aAAa,CAAC,UAAU,CAAC,SAAS;oBAClC,aAAa,CAAC,UAAU,CAAC,WAAW;oBACpC,aAAa,CAAC,UAAU,CAAC,UAAU;oBACnC,aAAa,CAAC,UAAU,CAAC,WAAW;iBACrC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,iBAA0B,EAAE,CAAC,CAAC;gBAC/D,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;KACH,CAAC;AACJ,CAAC"}

package/dist/capabilities/executable-specifications/application/ports/executable-specification-inspector.d.ts

@@ -0,0 +1,9 @@
+import type { ExecutableSpecificationCatalog, ExecutableSpecificationObservation } from "../model/executable-specification.js";
+export interface ExecutableSpecificationInspector {
+    inspectCatalog(input: {
+        readonly consumerRoot: string;
+        readonly catalog: ExecutableSpecificationCatalog;
+        readonly signal?: AbortSignal;
+    }): Promise<readonly ExecutableSpecificationObservation[]>;
+}
+//# sourceMappingURL=executable-specification-inspector.d.ts.map

package/dist/capabilities/executable-specifications/application/ports/executable-specification-inspector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executable-specification-inspector.d.ts","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/ports/executable-specification-inspector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,8BAA8B,EAC9B,kCAAkC,EACnC,MAAM,sCAAsC,CAAC;AAE9C,MAAM,WAAW,gCAAgC;IAC/C,cAAc,CAAC,KAAK,EAAE;QACpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,8BAA8B,CAAC;QACjD,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;KAC/B,GAAG,OAAO,CAAC,SAAS,kCAAkC,EAAE,CAAC,CAAC;CAC5D"}

package/dist/capabilities/executable-specifications/application/ports/executable-specification-inspector.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=executable-specification-inspector.js.map

package/dist/capabilities/executable-specifications/application/ports/executable-specification-inspector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executable-specification-inspector.js","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/ports/executable-specification-inspector.ts"],"names":[],"mappings":""}

package/dist/capabilities/executable-specifications/application/rules.d.ts

@@ -0,0 +1,22 @@
+import type { DiagnosticSeverity } from "../../../check-contract.js";
+export interface ExecutableSpecificationRuleMetadata {
+    readonly id: string;
+    readonly severity: DiagnosticSeverity;
+    readonly rationale: string;
+    readonly remediation: string;
+    readonly documentation: string;
+    readonly requiresArchitectureReview: boolean;
+}
+export declare const EXECUTABLE_SPECIFICATION_RULES: Readonly<{
+    artifactMissing: ExecutableSpecificationRuleMetadata;
+    documentInvalid: ExecutableSpecificationRuleMetadata;
+    gateMissing: ExecutableSpecificationRuleMetadata;
+    gateNotDistinct: ExecutableSpecificationRuleMetadata;
+    generatedTypeBindingDuplicate: ExecutableSpecificationRuleMetadata;
+    generatedTypeGateMismatch: ExecutableSpecificationRuleMetadata;
+    pathCollision: ExecutableSpecificationRuleMetadata;
+    schemaBindingUnknown: ExecutableSpecificationRuleMetadata;
+    specificationIdDuplicate: ExecutableSpecificationRuleMetadata;
+}>;
+export declare const EXECUTABLE_SPECIFICATION_RULES_BY_ID: ReadonlyMap<string, ExecutableSpecificationRuleMetadata>;
+//# sourceMappingURL=rules.d.ts.map

package/dist/capabilities/executable-specifications/application/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../../../src/capabilities/executable-specifications/application/rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAErE,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,0BAA0B,EAAE,OAAO,CAAC;CAC9C;AAkBD,eAAO,MAAM,8BAA8B;;;;;;;;;;EA+CzC,CAAC;AAEH,eAAO,MAAM,oCAAoC,EAAE,WAAW,CAC5D,MAAM,EACN,mCAAmC,CAGpC,CAAC"}

package/dist/capabilities/executable-specifications/application/rules.js

@@ -0,0 +1,23 @@
+function rule(suffix, rationale, remediation, requiresArchitectureReview = false) {
+    return Object.freeze({
+        id: `quality.executable-specifications.${suffix}`,
+        severity: "error",
+        rationale,
+        remediation,
+        documentation: "docs/reference/executable-specifications.md",
+        requiresArchitectureReview
+    });
+}
+export const EXECUTABLE_SPECIFICATION_RULES = Object.freeze({
+    artifactMissing: rule("artifact-missing", "Every declared specification artifact must exist as a contained regular file.", "Create the declared artifact or correct the catalog path."),
+    documentInvalid: rule("document-invalid", "Every JSON specification document must conform to its declared local schema.", "Correct the document or its schema binding."),
+    gateMissing: rule("gate-missing", "Every consumer-owned executable gate must bind to an existing package script.", "Declare the package script and keep its catalog binding current."),
+    gateNotDistinct: rule("gate-not-distinct", "Type generation, property, mutation, and optional state-model gates are independent evidence.", "Bind every gate role to a distinct package script.", true),
+    generatedTypeBindingDuplicate: rule("generated-type-binding-duplicate", "A schema and generated output must each have one unambiguous type binding.", "Remove duplicate schema or output bindings."),
+    generatedTypeGateMismatch: rule("generated-type-gate-mismatch", "Type generation is required exactly when generated type outputs are declared.", "Declare both generatedTypes and typeGeneration, or omit the gate for a data-only specification."),
+    pathCollision: rule("path-collision", "Executable specification paths must be portable and must not collide across evidence, reserved input, generated output, model, or workspace-manifest roles.", "Use portable ASCII repository paths and assign a distinct path whenever artifact roles cannot share the same read-only evidence."),
+    schemaBindingUnknown: rule("schema-binding-unknown", "Documents and generated types must bind to a schema in the specification's local set.", "Use a declared schema $id or add the schema to schemaPaths."),
+    specificationIdDuplicate: rule("specification-id-duplicate", "Every executable specification must have one unambiguous catalog identity.", "Assign a unique normalized ID to every catalog entry.")
+});
+export const EXECUTABLE_SPECIFICATION_RULES_BY_ID = new Map(Object.values(EXECUTABLE_SPECIFICATION_RULES).map((metadata) => [metadata.id, metadata]));
+//# sourceMappingURL=rules.js.map

package/dist/capabilities/executable-specifications/application/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../../../src/capabilities/executable-specifications/application/rules.ts"],"names":[],"mappings":"AAWA,SAAS,IAAI,CACX,MAAc,EACd,SAAiB,EACjB,WAAmB,EACnB,0BAA0B,GAAG,KAAK;IAElC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,qCAAqC,MAAM,EAAE;QACjD,QAAQ,EAAE,OAAO;QACjB,SAAS;QACT,WAAW;QACX,aAAa,EAAE,6CAA6C;QAC5D,0BAA0B;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,8BAA8B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1D,eAAe,EAAE,IAAI,CACnB,kBAAkB,EAClB,+EAA+E,EAC/E,2DAA2D,CAC5D;IACD,eAAe,EAAE,IAAI,CACnB,kBAAkB,EAClB,8EAA8E,EAC9E,6CAA6C,CAC9C;IACD,WAAW,EAAE,IAAI,CACf,cAAc,EACd,+EAA+E,EAC/E,kEAAkE,CACnE;IACD,eAAe,EAAE,IAAI,CACnB,mBAAmB,EACnB,+FAA+F,EAC/F,oDAAoD,EACpD,IAAI,CACL;IACD,6BAA6B,EAAE,IAAI,CACjC,kCAAkC,EAClC,4EAA4E,EAC5E,6CAA6C,CAC9C;IACD,yBAAyB,EAAE,IAAI,CAC7B,8BAA8B,EAC9B,+EAA+E,EAC/E,iGAAiG,CAClG;IACD,aAAa,EAAE,IAAI,CACjB,gBAAgB,EAChB,6JAA6J,EAC7J,kIAAkI,CACnI;IACD,oBAAoB,EAAE,IAAI,CACxB,wBAAwB,EACxB,uFAAuF,EACvF,6DAA6D,CAC9D;IACD,wBAAwB,EAAE,IAAI,CAC5B,4BAA4B,EAC5B,4EAA4E,EAC5E,uDAAuD,CACxD;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oCAAoC,GAG7C,IAAI,GAAG,CACT,MAAM,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CACzF,CAAC"}

package/dist/capabilities/executable-specifications/application/use-cases/analyze-executable-specifications.d.ts

@@ -0,0 +1,8 @@
+import type { ExecutableSpecificationCatalog } from "../model/executable-specification.js";
+import type { ExecutableSpecificationInspector } from "../ports/executable-specification-inspector.js";
+export declare function analyzeExecutableSpecifications(input: {
+    readonly consumerRoot: string;
+    readonly catalog: ExecutableSpecificationCatalog;
+    readonly signal?: AbortSignal;
+}, inspector: ExecutableSpecificationInspector): Promise<readonly import("../../../../check-contract.js").FoundationDiagnostic[]>;
+//# sourceMappingURL=analyze-executable-specifications.d.ts.map

package/dist/capabilities/executable-specifications/application/use-cases/analyze-executable-specifications.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-executable-specifications.d.ts","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/use-cases/analyze-executable-specifications.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAK3F,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,gDAAgD,CAAC;AAGvG,wBAAsB,+BAA+B,CACnD,KAAK,EAAE;IACL,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,8BAA8B,CAAC;IACjD,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC/B,EACD,SAAS,EAAE,gCAAgC,oFAqC5C"}

package/dist/capabilities/executable-specifications/application/use-cases/analyze-executable-specifications.js

@@ -0,0 +1,36 @@
+import { CapabilityInputError } from "../../../../capability-runtime.js";
+import { assertNotCancelled } from "../../../../strict-yaml.js";
+import { evaluateExecutableSpecificationTopology, evaluateExecutableSpecifications } from "../policies/evaluate-executable-specifications.js";
+import { executableSpecificationArtifactPaths } from "../policies/portable-executable-specification-path.js";
+export async function analyzeExecutableSpecifications(input, inspector) {
+    assertNotCancelled(input.signal);
+    const topologyDiagnostics = evaluateExecutableSpecificationTopology(input.catalog);
+    if (topologyDiagnostics.length > 0) {
+        return topologyDiagnostics;
+    }
+    const artifactCount = new Set(input.catalog.specifications.flatMap(executableSpecificationArtifactPaths)).size;
+    if (artifactCount > 1_024) {
+        throw new CapabilityInputError({
+            code: "EXECUTABLE_SPECIFICATION_ARTIFACT_COUNT_EXCEEDED",
+            message: "Executable specification catalogs may reference at most 1024 unique artifacts.",
+            phase: "executable-specification-preflight",
+            retryable: false
+        });
+    }
+    const observations = await inspector.inspectCatalog({
+        consumerRoot: input.consumerRoot,
+        catalog: input.catalog,
+        ...(input.signal === undefined ? {} : { signal: input.signal })
+    });
+    if (observations.length !== input.catalog.specifications.length ||
+        observations.some((observation, index) => observation.id !== input.catalog.specifications[index]?.id)) {
+        throw new CapabilityInputError({
+            code: "EXECUTABLE_SPECIFICATION_OBSERVATION_INVALID",
+            message: "Executable specification inspection must return one ordered observation for every catalog entry.",
+            phase: "executable-specification-inspection",
+            retryable: false
+        });
+    }
+    return evaluateExecutableSpecifications(input.catalog, observations);
+}
+//# sourceMappingURL=analyze-executable-specifications.js.map

package/dist/capabilities/executable-specifications/application/use-cases/analyze-executable-specifications.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-executable-specifications.js","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/use-cases/analyze-executable-specifications.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAEhE,OAAO,EACL,uCAAuC,EACvC,gCAAgC,EACjC,MAAM,mDAAmD,CAAC;AAE3D,OAAO,EAAE,oCAAoC,EAAE,MAAM,uDAAuD,CAAC;AAE7G,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,KAIC,EACD,SAA2C;IAE3C,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,mBAAmB,GAAG,uCAAuC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnF,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAC3E,CAAC,IAAI,CAAC;IACP,IAAI,aAAa,GAAG,KAAK,EAAE,CAAC;QAC1B,MAAM,IAAI,oBAAoB,CAAC;YAC7B,IAAI,EAAE,kDAAkD;YACxD,OAAO,EAAE,gFAAgF;YACzF,KAAK,EAAE,oCAAoC;YAC3C,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,cAAc,CAAC;QAClD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;KAChE,CAAC,CAAC;IACH,IACE,YAAY,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM;QAC3D,YAAY,CAAC,IAAI,CACf,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,CACnF,EACD,CAAC;QACD,MAAM,IAAI,oBAAoB,CAAC;YAC7B,IAAI,EAAE,8CAA8C;YACpD,OAAO,EAAE,kGAAkG;YAC3G,KAAK,EAAE,qCAAqC;YAC5C,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,gCAAgC,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AACvE,CAAC"}

package/dist/capabilities/executable-specifications/contract/config.d.ts

@@ -0,0 +1,5 @@
+import type { ExecutableSpecificationCatalog } from "../application/model/executable-specification.js";
+export declare const CAPABILITY_ID: "quality.executable-specifications";
+export declare const CAPABILITY_CONFIG_SCHEMA_VERSION: 1;
+export declare function loadCapabilityConfig(consumerRoot: string, configPath: string, signal?: AbortSignal): Promise<ExecutableSpecificationCatalog>;
+//# sourceMappingURL=config.d.ts.map

package/dist/capabilities/executable-specifications/contract/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../../src/capabilities/executable-specifications/contract/config.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAGV,8BAA8B,EAK/B,MAAM,kDAAkD,CAAC;AAG1D,eAAO,MAAM,aAAa,EAAG,mCAA4C,CAAC;AAC1E,eAAO,MAAM,gCAAgC,EAAG,CAAU,CAAC;AA8K3D,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM,EAClB,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,8BAA8B,CAAC,CA+BzC"}