@agent-teams/engineering-foundation 0.8.0 → 0.10.0

package/dist/capabilities/executable-specifications/adapters/outbound/filesystem/filesystem-executable-specification-inspector.js

@@ -0,0 +1,244 @@
+import { createHash } from "node:crypto";
+import { resolve } from "node:path";
+import { compareBinaryStrings } from "../../../../../binary-string-comparator.js";
+import { CapabilityInputError } from "../../../../../capability-runtime.js";
+import { ContainedFileReadError, readContainedRegularFile } from "../../../../../filesystem-path-safety.js";
+import { assertNotCancelled } from "../../../../../strict-yaml.js";
+import { parseStrictJson, StrictJsonError } from "../../../../../strict-json.js";
+import { PnpmWorkspaceInventoryReader } from "../../../../../workspace-inventory/adapters/outbound/pnpm/pnpm-workspace-inventory-reader.js";
+import { AjvJsonSchemaReleaseInspector } from "../../../../contract-json-schema-releases/adapters/outbound/filesystem/ajv-json-schema-release-inspector.js";
+import { executableSpecificationArtifactPaths, executableSpecificationPathDeclarations, portableExecutableSpecificationPathIdentity, portableExecutableSpecificationPathProblem } from "../../../application/policies/portable-executable-specification-path.js";
+const MAX_ARTIFACT_BYTES = 8 * 1024 * 1024;
+const MAX_AGGREGATE_ARTIFACT_BYTES = 32 * 1024 * 1024;
+function inputError(code, message) {
+    throw new CapabilityInputError({
+        code,
+        message,
+        phase: "executable-specification-inspection",
+        retryable: false
+    });
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function canonicalJson(value) {
+    if (value === null || typeof value === "boolean" || typeof value === "string") {
+        return JSON.stringify(value);
+    }
+    if (typeof value === "number" && Number.isFinite(value)) {
+        return JSON.stringify(value);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map(canonicalJson).join(",")}]`;
+    }
+    if (isRecord(value)) {
+        return `{${Object.entries(value)
+            .toSorted(([left], [right]) => compareBinaryStrings(left, right))
+            .map(([key, entry]) => `${JSON.stringify(key)}:${canonicalJson(entry)}`)
+            .join(",")}}`;
+    }
+    inputError("EXECUTABLE_SPECIFICATION_DIGEST_INVALID", "Artifact digest input is invalid.");
+}
+async function readArtifact(root, repositoryPath) {
+    try {
+        return await readContainedRegularFile({
+            candidate: resolve(root, repositoryPath),
+            maxBytes: MAX_ARTIFACT_BYTES,
+            root
+        });
+    }
+    catch (error) {
+        if (error instanceof ContainedFileReadError) {
+            if (error.failure === "missing") {
+                return undefined;
+            }
+            inputError(`EXECUTABLE_SPECIFICATION_ARTIFACT_${error.failure.toUpperCase()}`, `Specification artifact is not a safe contained regular file: ${repositoryPath}.`);
+        }
+        throw error;
+    }
+}
+class ArtifactReadSession {
+    root;
+    maxAggregateBytes;
+    #cache = new Map();
+    #aggregateBytes = 0;
+    constructor(root, maxAggregateBytes) {
+        this.root = root;
+        this.maxAggregateBytes = maxAggregateBytes;
+    }
+    async read(repositoryPath) {
+        const identity = portableExecutableSpecificationPathIdentity(repositoryPath);
+        const cached = this.#cache.get(identity);
+        if (cached !== undefined) {
+            if (cached.firstPath !== repositoryPath) {
+                inputError("EXECUTABLE_SPECIFICATION_ARTIFACT_PATH_COLLISION", `Artifact paths have the same portable identity: ${cached.firstPath} and ${repositoryPath}.`);
+            }
+            return cached.result;
+        }
+        const result = readArtifact(this.root, repositoryPath).then((bytes) => {
+            if (bytes !== undefined) {
+                if (bytes.byteLength > this.maxAggregateBytes - this.#aggregateBytes) {
+                    inputError("EXECUTABLE_SPECIFICATION_AGGREGATE_BYTES_EXCEEDED", "Executable specification artifacts and workspace manifests exceed the 32 MiB aggregate inspection budget.");
+                }
+                this.#aggregateBytes += bytes.byteLength;
+            }
+            return bytes;
+        });
+        this.#cache.set(identity, { firstPath: repositoryPath, result });
+        return result;
+    }
+}
+async function packageCatalog(manifestPaths, artifacts, signal) {
+    const packages = new Map();
+    for (const manifestPath of manifestPaths) {
+        assertNotCancelled(signal);
+        const bytes = await artifacts.read(manifestPath);
+        if (bytes === undefined) {
+            continue;
+        }
+        let value;
+        try {
+            value = parseStrictJson(bytes.toString("utf8"));
+        }
+        catch (error) {
+            if (error instanceof StrictJsonError && error.failure === "duplicate-key") {
+                inputError("EXECUTABLE_SPECIFICATION_PACKAGE_MANIFEST_DUPLICATE_KEY", `Package manifest contains duplicate object keys: ${manifestPath}.`);
+            }
+            inputError("EXECUTABLE_SPECIFICATION_PACKAGE_MANIFEST_INVALID", `Package manifest is invalid JSON: ${manifestPath}.`);
+        }
+        if (!isRecord(value) || typeof value["name"] !== "string") {
+            continue;
+        }
+        const name = value["name"];
+        if (packages.has(name)) {
+            inputError("EXECUTABLE_SPECIFICATION_PACKAGE_DUPLICATE", `Gate package name is not unique in the workspace: ${name}.`);
+        }
+        const scripts = isRecord(value["scripts"])
+            ? new Set(Object.entries(value["scripts"])
+                .filter(([, command]) => typeof command === "string" && command.trim().length > 0)
+                .map(([script]) => script))
+            : new Set();
+        packages.set(name, { manifestPath, scripts });
+    }
+    return packages;
+}
+function observeGate(binding, packages) {
+    const target = packages.get(binding.packageName);
+    return Object.freeze({
+        ...binding,
+        ...(target === undefined ? {} : { manifestPath: target.manifestPath }),
+        packageExists: target !== undefined,
+        scriptExists: target?.scripts.has(binding.script) ?? false
+    });
+}
+function gateEntries(specification) {
+    return [
+        ["mutation", specification.gateBindings.mutation],
+        ["property", specification.gateBindings.property],
+        ...(specification.gateBindings.typeGeneration === undefined
+            ? []
+            : [['typeGeneration', specification.gateBindings.typeGeneration]]),
+        ...(specification.stateModel.kind === "xstate"
+            ? [['spec-model', specification.stateModel.gateBinding]]
+            : [])
+    ];
+}
+export class FilesystemExecutableSpecificationInspector {
+    #workspaceManifestPathReader;
+    #maxAggregateArtifactBytes;
+    constructor(workspaceManifestPathReader = new PnpmWorkspaceInventoryReader(), maxAggregateArtifactBytes = MAX_AGGREGATE_ARTIFACT_BYTES) {
+        if (!Number.isSafeInteger(maxAggregateArtifactBytes) ||
+            maxAggregateArtifactBytes < 1 ||
+            maxAggregateArtifactBytes > MAX_AGGREGATE_ARTIFACT_BYTES) {
+            throw new TypeError("Aggregate artifact budget must be a positive safe integer up to 32 MiB.");
+        }
+        this.#workspaceManifestPathReader = workspaceManifestPathReader;
+        this.#maxAggregateArtifactBytes = maxAggregateArtifactBytes;
+    }
+    async inspectCatalog(input) {
+        assertNotCancelled(input.signal);
+        const artifacts = new ArtifactReadSession(input.consumerRoot, this.#maxAggregateArtifactBytes);
+        const jsonSchemaInspector = new AjvJsonSchemaReleaseInspector((repositoryPath) => artifacts.read(repositoryPath));
+        const manifestPaths = await this.#workspaceManifestPathReader.discoverManifestPaths(input.consumerRoot, "pnpm-workspace.yaml", input.signal);
+        const occupiedPaths = new Map();
+        for (const declaration of executableSpecificationPathDeclarations(input.catalog)) {
+            const identity = portableExecutableSpecificationPathIdentity(declaration.path);
+            occupiedPaths.set(identity, declaration);
+        }
+        const selectedManifestIdentities = new Map();
+        for (const manifestPath of manifestPaths) {
+            const portabilityProblem = portableExecutableSpecificationPathProblem(manifestPath);
+            if (portabilityProblem !== undefined) {
+                inputError("EXECUTABLE_SPECIFICATION_MANIFEST_PATH_NOT_PORTABLE", `Selected workspace manifest path is not portable: ${manifestPath} (${portabilityProblem}).`);
+            }
+            const identity = portableExecutableSpecificationPathIdentity(manifestPath);
+            const previousManifest = selectedManifestIdentities.get(identity);
+            if (previousManifest !== undefined && previousManifest !== manifestPath) {
+                inputError("EXECUTABLE_SPECIFICATION_MANIFEST_PATH_COLLISION", `Selected workspace manifests have the same portable path identity: ${previousManifest} and ${manifestPath}.`);
+            }
+            const occupiedPath = occupiedPaths.get(identity);
+            if (occupiedPath !== undefined &&
+                !(occupiedPath.role === "reserved-root-package" &&
+                    occupiedPath.path === "package.json" &&
+                    manifestPath === "package.json")) {
+                inputError("EXECUTABLE_SPECIFICATION_MANIFEST_PATH_COLLISION", `Selected workspace manifest collides with a declared or reserved executable specification path: ${manifestPath}.`);
+            }
+            selectedManifestIdentities.set(identity, manifestPath);
+        }
+        const uniqueManifestPaths = [...selectedManifestIdentities.values()];
+        const paths = [
+            ...new Set(input.catalog.specifications.flatMap(executableSpecificationArtifactPaths))
+        ].toSorted(compareBinaryStrings);
+        if (new Set([...uniqueManifestPaths, ...paths].map(portableExecutableSpecificationPathIdentity)).size > 1_024) {
+            inputError("EXECUTABLE_SPECIFICATION_ARTIFACT_COUNT_EXCEEDED", "Executable specification catalogs and selected workspace packages may reference at most 1024 unique artifacts.");
+        }
+        const packages = await packageCatalog(uniqueManifestPaths, artifacts, input.signal);
+        for (const repositoryPath of paths) {
+            assertNotCancelled(input.signal);
+            await artifacts.read(repositoryPath);
+        }
+        const observations = [];
+        for (const specification of input.catalog.specifications) {
+            assertNotCancelled(input.signal);
+            const content = new Map();
+            const missingArtifactPaths = [];
+            for (const repositoryPath of [...new Set(executableSpecificationArtifactPaths(specification))].toSorted(compareBinaryStrings)) {
+                const bytes = await artifacts.read(repositoryPath);
+                if (bytes === undefined) {
+                    missingArtifactPaths.push(repositoryPath);
+                }
+                else {
+                    content.set(repositoryPath, createHash("sha256").update(bytes).digest("hex"));
+                }
+            }
+            const fixtures = specification.documents.map((document, index) => ({
+                id: `${specification.id.slice(0, 90)}.document.${index}`,
+                path: document.path,
+                schemaId: document.schemaId,
+                expectation: "valid"
+            }));
+            const jsonSchemas = await jsonSchemaInspector.inspect({
+                consumerRoot: input.consumerRoot,
+                schemaPaths: specification.schemaPaths,
+                fixtures,
+                requireMixedExpectations: false,
+                ...(input.signal === undefined ? {} : { signal: input.signal })
+            });
+            const gates = Object.fromEntries(gateEntries(specification).map(([role, binding]) => [
+                role,
+                observeGate(binding, packages)
+            ]));
+            observations.push(Object.freeze({
+                id: specification.id,
+                jsonSchemas,
+                missingArtifactPaths: Object.freeze(missingArtifactPaths),
+                gates: Object.freeze(gates),
+                artifactDigest: `sha256:${createHash("sha256")
+                    .update(canonicalJson(Object.fromEntries(content)), "utf8")
+                    .digest("hex")}`
+            }));
+        }
+        return Object.freeze(observations);
+    }
+}
+//# sourceMappingURL=filesystem-executable-specification-inspector.js.map

package/dist/capabilities/executable-specifications/adapters/outbound/filesystem/filesystem-executable-specification-inspector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filesystem-executable-specification-inspector.js","sourceRoot":"","sources":["../../../../../../src/capabilities/executable-specifications/adapters/outbound/filesystem/filesystem-executable-specification-inspector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACzB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AACjF,OAAO,EAAE,4BAA4B,EAAE,MAAM,8FAA8F,CAAC;AAC5I,OAAO,EAAE,6BAA6B,EAAE,MAAM,6GAA6G,CAAC;AAQ5J,OAAO,EACL,oCAAoC,EACpC,uCAAuC,EACvC,2CAA2C,EAC3C,0CAA0C,EAC3C,MAAM,yEAAyE,CAAC;AAEjF,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAC3C,MAAM,4BAA4B,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAetD,SAAS,UAAU,CAAC,IAAY,EAAE,OAAe;IAC/C,MAAM,IAAI,oBAAoB,CAAC;QAC7B,IAAI;QACJ,OAAO;QACP,KAAK,EAAE,qCAAqC;QAC5C,SAAS,EAAE,KAAK;KACjB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnD,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;aAC7B,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aAChE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;aACvE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,UAAU,CAAC,yCAAyC,EAAE,mCAAmC,CAAC,CAAC;AAC7F,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,IAAY,EACZ,cAAsB;IAEtB,IAAI,CAAC;QACH,OAAO,MAAM,wBAAwB,CAAC;YACpC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC;YACxC,QAAQ,EAAE,kBAAkB;YAC5B,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,sBAAsB,EAAE,CAAC;YAC5C,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,UAAU,CACR,qCAAqC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,EAClE,gEAAgE,cAAc,GAAG,CAClF,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,mBAAmB;IAQJ,IAAI;IACJ,iBAAiB;IAR3B,MAAM,GAAG,IAAI,GAAG,EAGtB,CAAC;IACJ,eAAe,GAAG,CAAC,CAAC;IAEpB,YACmB,IAAY,EACZ,iBAAyB;oBADzB,IAAI;iCACJ,iBAAiB;IACjC,CAAC;IAEJ,KAAK,CAAC,IAAI,CAAC,cAAsB;QAC/B,MAAM,QAAQ,GAAG,2CAA2C,CAAC,cAAc,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;gBACxC,UAAU,CACR,kDAAkD,EAClD,mDAAmD,MAAM,CAAC,SAAS,QAAQ,cAAc,GAAG,CAC7F,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACvB,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;YACpE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;oBACrE,UAAU,CACR,mDAAmD,EACnD,2GAA2G,CAC5G,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,eAAe,IAAI,KAAK,CAAC,UAAU,CAAC;YAC3C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,KAAK,UAAU,cAAc,CAC3B,aAAgC,EAChC,SAA8B,EAC9B,MAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YACH,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAClD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,eAAe,IAAI,KAAK,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;gBAC1E,UAAU,CACR,yDAAyD,EACzD,oDAAoD,YAAY,GAAG,CACpE,CAAC;YACJ,CAAC;YACD,UAAU,CACR,mDAAmD,EACnD,qCAAqC,YAAY,GAAG,CACrD,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,UAAU,CACR,4CAA4C,EAC5C,qDAAqD,IAAI,GAAG,CAC7D,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxC,CAAC,CAAC,IAAI,GAAG,CACL,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;iBAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;iBACjF,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAC7B;YACH,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;QACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAClB,OAA4B,EAC5B,QAA6C;IAE7C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,OAAO;QACV,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC;QACtE,aAAa,EAAE,MAAM,KAAK,SAAS;QACnC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK;KAC3D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAClB,aAAsC;IAEtC,OAAO;QACL,CAAC,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC;QACjD,CAAC,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC;QACjD,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,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,MAAM,OAAO,0CAA0C;IAG5C,4BAA4B,CAA8B;IAC1D,0BAA0B,CAAS;IAE5C,YACE,2BAA2B,GAAgC,IAAI,4BAA4B,EAAE,EAC7F,yBAAyB,GAAG,4BAA4B;QAExD,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,yBAAyB,CAAC;YAChD,yBAAyB,GAAG,CAAC;YAC7B,yBAAyB,GAAG,4BAA4B,EACxD,CAAC;YACD,MAAM,IAAI,SAAS,CAAC,yEAAyE,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,4BAA4B,GAAG,2BAA2B,CAAC;QAChE,IAAI,CAAC,0BAA0B,GAAG,yBAAyB,CAAC;IAC9D,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,KAIpB;QACC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,IAAI,mBAAmB,CACvC,KAAK,CAAC,YAAY,EAClB,IAAI,CAAC,0BAA0B,CAChC,CAAC;QACF,MAAM,mBAAmB,GAAG,IAAI,6BAA6B,CAAC,CAAC,cAAc,EAAE,EAAE,CAC/E,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAC/B,CAAC;QACF,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,4BAA4B,CAAC,qBAAqB,CACjF,KAAK,CAAC,YAAY,EAClB,qBAAqB,EACrB,KAAK,CAAC,MAAM,CACb,CAAC;QACF,MAAM,aAAa,GAAG,IAAI,GAAG,EAG1B,CAAC;QACJ,KAAK,MAAM,WAAW,IAAI,uCAAuC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACjF,MAAM,QAAQ,GAAG,2CAA2C,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC/E,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7D,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;YACzC,MAAM,kBAAkB,GAAG,0CAA0C,CAAC,YAAY,CAAC,CAAC;YACpF,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;gBACrC,UAAU,CACR,qDAAqD,EACrD,qDAAqD,YAAY,KAAK,kBAAkB,IAAI,CAC7F,CAAC;YACJ,CAAC;YACD,MAAM,QAAQ,GAAG,2CAA2C,CAAC,YAAY,CAAC,CAAC;YAC3E,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAClE,IAAI,gBAAgB,KAAK,SAAS,IAAI,gBAAgB,KAAK,YAAY,EAAE,CAAC;gBACxE,UAAU,CACR,kDAAkD,EAClD,sEAAsE,gBAAgB,QAAQ,YAAY,GAAG,CAC9G,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACjD,IACE,YAAY,KAAK,SAAS;gBAC1B,CAAC,CACC,YAAY,CAAC,IAAI,KAAK,uBAAuB;oBAC7C,YAAY,CAAC,IAAI,KAAK,cAAc;oBACpC,YAAY,KAAK,cAAc,CAChC,EACD,CAAC;gBACD,UAAU,CACR,kDAAkD,EAClD,mGAAmG,YAAY,GAAG,CACnH,CAAC;YACJ,CAAC;YACD,0BAA0B,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,mBAAmB,GAAG,CAAC,GAAG,0BAA0B,CAAC,MAAM,EAAE,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG;YACZ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;SACvF,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;QACjC,IACE,IAAI,GAAG,CACL,CAAC,GAAG,mBAAmB,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,2CAA2C,CAAC,CACpF,CAAC,IAAI,GAAG,KAAK,EACd,CAAC;YACD,UAAU,CACR,kDAAkD,EAClD,gHAAgH,CACjH,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,mBAAmB,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpF,KAAK,MAAM,cAAc,IAAI,KAAK,EAAE,CAAC;YACnC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvC,CAAC;QACD,MAAM,YAAY,GAAG,EAAE,CAAC;QACxB,KAAK,MAAM,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;YACzD,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,MAAM,oBAAoB,GAAa,EAAE,CAAC;YAC1C,KAAK,MAAM,cAAc,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,oCAAoC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CACrG,oBAAoB,CACrB,EAAE,CAAC;gBACF,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,oBAAoB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC5C,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAiC,aAAa,CAAC,SAAS,CAAC,GAAG,CACxE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACpB,EAAE,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,KAAK,EAAE;gBACxD,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,WAAW,EAAE,OAAO;aACrB,CAAC,CACH,CAAC;YACF,MAAM,WAAW,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC;gBACpD,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,WAAW,EAAE,aAAa,CAAC,WAAW;gBACtC,QAAQ;gBACR,wBAAwB,EAAE,KAAK;gBAC/B,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;aAChE,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAC9B,WAAW,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;gBAClD,IAAI;gBACJ,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC;aAC/B,CAAC,CACH,CAAC;YACF,YAAY,CAAC,IAAI,CACf,MAAM,CAAC,MAAM,CAAC;gBACZ,EAAE,EAAE,aAAa,CAAC,EAAE;gBACpB,WAAW;gBACX,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC;gBACzD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC3B,cAAc,EAAE,UAAU,UAAU,CAAC,QAAQ,CAAC;qBAC3C,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC;qBAC1D,MAAM,CAAC,KAAK,CAAC,EAAW;aAC5B,CAAC,CACH,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACrC,CAAC;CACF"}

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

@@ -0,0 +1,58 @@
+import type { JsonSchemaInspection } from "../../../contract-json-schema-releases/application/model/json-schema-release.js";
+export interface ExecutableSpecificationDocument {
+    readonly path: string;
+    readonly schemaId: string;
+}
+export interface GeneratedTypeBinding {
+    readonly schemaId: string;
+    readonly outputPath: string;
+}
+export interface ConsumerGateBinding {
+    readonly packageName: string;
+    readonly script: string;
+}
+export interface NoStateModel {
+    readonly kind: "none";
+}
+export interface XstateStateModel {
+    readonly kind: "xstate";
+    readonly axes: readonly string[];
+    readonly modelPath: string;
+    readonly adapterPath: string;
+    readonly tracesPath: string;
+    readonly diagramPath: string;
+    readonly gateBinding: ConsumerGateBinding;
+}
+export interface ExecutableSpecification {
+    readonly id: string;
+    readonly ownerDocs: readonly string[];
+    readonly adrRefs: readonly string[];
+    readonly schemaPaths: readonly string[];
+    readonly documents: readonly ExecutableSpecificationDocument[];
+    readonly generatedTypes: readonly GeneratedTypeBinding[];
+    readonly gateBindings: {
+        readonly typeGeneration?: ConsumerGateBinding;
+        readonly property: ConsumerGateBinding;
+        readonly mutation: ConsumerGateBinding;
+    };
+    readonly stateModel: NoStateModel | XstateStateModel;
+}
+export interface ExecutableSpecificationCatalog {
+    readonly schemaVersion: 1;
+    readonly configPath: string;
+    readonly catalogPath: string;
+    readonly specifications: readonly ExecutableSpecification[];
+}
+export interface ObservedGateBinding extends ConsumerGateBinding {
+    readonly manifestPath?: string;
+    readonly packageExists: boolean;
+    readonly scriptExists: boolean;
+}
+export interface ExecutableSpecificationObservation {
+    readonly id: string;
+    readonly jsonSchemas: JsonSchemaInspection;
+    readonly missingArtifactPaths: readonly string[];
+    readonly gates: Readonly<Record<string, ObservedGateBinding>>;
+    readonly artifactDigest: `sha256:${string}`;
+}
+//# sourceMappingURL=executable-specification.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"executable-specification.d.ts","sourceRoot":"","sources":["../../../../../src/capabilities/executable-specifications/application/model/executable-specification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iFAAiF,CAAC;AAE5H,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;CAC3C;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,SAAS,+BAA+B,EAAE,CAAC;IAC/D,QAAQ,CAAC,cAAc,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzD,QAAQ,CAAC,YAAY,EAAE;QACrB,QAAQ,CAAC,cAAc,CAAC,EAAE,mBAAmB,CAAC;QAC9C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;QACvC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;KACxC,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE,YAAY,GAAG,gBAAgB,CAAC;CACtD;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,SAAS,uBAAuB,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,mBAAoB,SAAQ,mBAAmB;IAC9D,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,cAAc,EAAE,UAAU,MAAM,EAAE,CAAC;CAC7C"}

package/dist/capabilities/executable-specifications/application/model/executable-specification.js

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

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

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

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"}