@aotter/mantle 0.1.5-alpha.1 → 0.2.0-alpha.2

package/dist/spec/domain/service/ManifestFieldChecks.d.ts

@@ -0,0 +1,60 @@
+/** Field checks every manifest kind shares: LocalizedText, unknown keys, the kind and enum sets, and the parse error. */
+import type { Diagnostic, DiagnosticCode } from "../../kernel/diagnostic.js";
+import { type HttpMethod, type LifecycleHook, type ManifestKind } from "../model/ManifestGrammar.js";
+/**
+ * Shared shape validator for `LocalizedText` fields (`Schema.spec.title`
+ * / `.description`, `Procedure.spec.title` / `.description` — #430;
+ * `View.spec.title` — #443).
+ * Accepts:
+ *   - a non-empty string, or
+ *   - a plain object (not an array) with at least one own-enumerable
+ *     key, where every key AND every value is a non-empty string.
+ * Rejects everything else — including an empty string, an empty
+ * object, an array (arrays are `typeof "object"` in JS so they need an
+ * explicit `Array.isArray` guard), and any non-string property value.
+ * When `required` is `false` and `value` is `undefined`, this is a
+ * silent no-op (the field is simply absent).
+ */
+export declare function validateLocalizedText(value: unknown, idx: number, pointer: string, fieldLabel: string, required: boolean): void;
+/**
+ * Day-1 envelope-and-shape parser. The linker (`mantle generate`) does
+ * the cross-manifest checks (Trigger.target.procedure exists, View.from
+ * is a Schema, etc.) — see ADR-0007 and `docs/handbook/reference/manifest.md`.
+ *
+ * Diagnostics emitted here are intentionally narrow: bad envelope or
+ * structurally malformed shipped grammar.
+ *
+ * The canonical API withholds its value when any document fails. The legacy
+ * `{ manifests, diagnostics }` adapter below therefore returns no manifests
+ * on failure rather than exposing a partial graph.
+ *
+ * Each caller-owned source may contain multiple YAML documents separated by
+ * `---`; source identities and document indexes remain intact.
+ */
+/**
+ * Throwable carrier used by the envelope-shape validators below
+ * (`validateEnvelope`, kind-specific `validate*Spec`). Each throw
+ * carries a JSON Pointer + diagnostic code; the top-level
+ * The source parser catches the throw and converts it to a Diagnostic
+ * for the public `{ manifests, diagnostics }` return shape.
+ */
+export declare class ManifestParseError extends Error {
+    readonly docIndex?: number | undefined;
+    /** JSON Pointer into the manifest (e.g. `/spec/output`). */
+    readonly pointer?: string | undefined;
+    readonly code: DiagnosticCode;
+    readonly details?: Pick<Diagnostic, "value" | "expected" | "candidates" | "suggestion"> | undefined;
+    constructor(message: string, docIndex?: number | undefined, 
+    /** JSON Pointer into the manifest (e.g. `/spec/output`). */
+    pointer?: string | undefined, code?: DiagnosticCode, details?: Pick<Diagnostic, "value" | "expected" | "candidates" | "suggestion"> | undefined);
+}
+export declare const KNOWN_KINDS: ReadonlySet<ManifestKind>;
+export declare const V01_TRIGGER_SOURCE_KINDS: ReadonlySet<string>;
+export declare const V01_HTTP_METHODS: ReadonlySet<HttpMethod>;
+export declare const V01_LIFECYCLE_HOOKS: ReadonlySet<LifecycleHook>;
+export declare const V01_MCP_TRIGGER_SURFACES: ReadonlySet<string>;
+export declare const V01_VIEW_SURFACES: ReadonlySet<string>;
+export declare const V01_LIFECYCLE_MODES: ReadonlySet<string>;
+export declare function rejectUnknownKeys(value: Record<string, unknown>, allowed: readonly string[], idx: number, pointer: string): void;
+export declare function escapeJsonPointerSegment(value: string): string;
+//# sourceMappingURL=ManifestFieldChecks.d.ts.map

package/dist/spec/domain/service/ManifestFieldChecks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestFieldChecks.d.ts","sourceRoot":"","sources":["../../../../src/spec/domain/service/ManifestFieldChecks.ts"],"names":[],"mappings":"AAAA,yHAAyH;AACzH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAwD,KAAK,UAAU,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3J;;;;;;;;;;;;;GAaG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,OAAO,GAChB,IAAI,CAqDN;AAED;;;;;;;;;;;;;;GAcG;AAEH;;;;;;GAMG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;aAGzB,QAAQ,CAAC,EAAE,MAAM;IACjC,4DAA4D;aAC5C,OAAO,CAAC,EAAE,MAAM;aAChB,IAAI,EAAE,cAAc;aACpB,OAAO,CAAC,EAAE,IAAI,CAC5B,UAAU,EACV,OAAO,GAAG,UAAU,GAAG,YAAY,GAAG,YAAY,CACnD;gBARD,OAAO,EAAE,MAAM,EACC,QAAQ,CAAC,EAAE,MAAM,YAAA;IACjC,4DAA4D;IAC5C,OAAO,CAAC,EAAE,MAAM,YAAA,EAChB,IAAI,GAAE,cAA4C,EAClD,OAAO,CAAC,EAAE,IAAI,CAC5B,UAAU,EACV,OAAO,GAAG,UAAU,GAAG,YAAY,GAAG,YAAY,CACnD,YAAA;CAKJ;AAED,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,YAAY,CAKhD,CAAC;AAEH,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,MAAM,CAKvD,CAAC;AAEH,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,UAAU,CAKnD,CAAC;AAEH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,aAAa,CAA4B,CAAC;AACxF,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,MAAM,CAAiC,CAAC;AAC3F,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAA0B,CAAC;AAC7E,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAA0C,CAAC;AAE/F,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,MAAM,GACd,IAAI,CAUN;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE9D"}

package/dist/spec/domain/service/ManifestFieldChecks.js

@@ -0,0 +1,116 @@
+import { LIFECYCLE_HOOKS, MCP_TRIGGER_SURFACES, VIEW_SURFACES } from "../model/ManifestGrammar.js";
+/**
+ * Shared shape validator for `LocalizedText` fields (`Schema.spec.title`
+ * / `.description`, `Procedure.spec.title` / `.description` — #430;
+ * `View.spec.title` — #443).
+ * Accepts:
+ *   - a non-empty string, or
+ *   - a plain object (not an array) with at least one own-enumerable
+ *     key, where every key AND every value is a non-empty string.
+ * Rejects everything else — including an empty string, an empty
+ * object, an array (arrays are `typeof "object"` in JS so they need an
+ * explicit `Array.isArray` guard), and any non-string property value.
+ * When `required` is `false` and `value` is `undefined`, this is a
+ * silent no-op (the field is simply absent).
+ */
+export function validateLocalizedText(value, idx, pointer, fieldLabel, required) {
+    if (value === undefined) {
+        if (required) {
+            throw new ManifestParseError(`${fieldLabel} is required (non-empty string, or an object mapping locale → non-empty string)`, idx, pointer);
+        }
+        return;
+    }
+    if (typeof value === "string") {
+        if (value.length === 0) {
+            throw new ManifestParseError(`${fieldLabel} must be a non-empty string when present (or an object mapping locale → non-empty string)`, idx, pointer);
+        }
+        return;
+    }
+    if (typeof value === "object" && value !== null && !Array.isArray(value)) {
+        const entries = Object.entries(value);
+        if (entries.length === 0) {
+            throw new ManifestParseError(`${fieldLabel} object form must have at least one locale → string entry; got {}`, idx, pointer);
+        }
+        for (const [key, entryValue] of entries) {
+            if (key.length === 0) {
+                throw new ManifestParseError(`${fieldLabel} object form keys must be non-empty locale codes; got an empty key`, idx, pointer);
+            }
+            if (typeof entryValue !== "string" || entryValue.length === 0) {
+                throw new ManifestParseError(`${fieldLabel} object form value for locale '${key}' must be a non-empty string; got ${JSON.stringify(entryValue)}`, idx, `${pointer}/${key}`);
+            }
+        }
+        return;
+    }
+    throw new ManifestParseError(`${fieldLabel} must be a non-empty string, or an object mapping locale → non-empty string; got ${JSON.stringify(value)}`, idx, pointer);
+}
+/**
+ * Day-1 envelope-and-shape parser. The linker (`mantle generate`) does
+ * the cross-manifest checks (Trigger.target.procedure exists, View.from
+ * is a Schema, etc.) — see ADR-0007 and `docs/handbook/reference/manifest.md`.
+ *
+ * Diagnostics emitted here are intentionally narrow: bad envelope or
+ * structurally malformed shipped grammar.
+ *
+ * The canonical API withholds its value when any document fails. The legacy
+ * `{ manifests, diagnostics }` adapter below therefore returns no manifests
+ * on failure rather than exposing a partial graph.
+ *
+ * Each caller-owned source may contain multiple YAML documents separated by
+ * `---`; source identities and document indexes remain intact.
+ */
+/**
+ * Throwable carrier used by the envelope-shape validators below
+ * (`validateEnvelope`, kind-specific `validate*Spec`). Each throw
+ * carries a JSON Pointer + diagnostic code; the top-level
+ * The source parser catches the throw and converts it to a Diagnostic
+ * for the public `{ manifests, diagnostics }` return shape.
+ */
+export class ManifestParseError extends Error {
+    docIndex;
+    pointer;
+    code;
+    details;
+    constructor(message, docIndex, 
+    /** JSON Pointer into the manifest (e.g. `/spec/output`). */
+    pointer, code = "INVALID_MANIFEST_ENVELOPE", details) {
+        super(docIndex != null ? `[doc ${docIndex}] ${message}` : message);
+        this.docIndex = docIndex;
+        this.pointer = pointer;
+        this.code = code;
+        this.details = details;
+        this.name = "ManifestParseError";
+    }
+}
+export const KNOWN_KINDS = new Set([
+    "Schema",
+    "View",
+    "Procedure",
+    "Trigger",
+]);
+export const V01_TRIGGER_SOURCE_KINDS = new Set([
+    "http",
+    "lifecycle",
+    "mcp",
+    "schedule",
+]);
+export const V01_HTTP_METHODS = new Set([
+    "POST",
+    "PUT",
+    "PATCH",
+    "DELETE",
+]);
+export const V01_LIFECYCLE_HOOKS = new Set(LIFECYCLE_HOOKS);
+export const V01_MCP_TRIGGER_SURFACES = new Set(MCP_TRIGGER_SURFACES);
+export const V01_VIEW_SURFACES = new Set(VIEW_SURFACES);
+export const V01_LIFECYCLE_MODES = new Set(["publishing", "operational"]);
+export function rejectUnknownKeys(value, allowed, idx, pointer) {
+    const unknown = Object.keys(value).find((key) => !allowed.includes(key));
+    if (unknown !== undefined) {
+        const unknownPointer = pointer === "/" ? `/${unknown}` : `${pointer}/${unknown}`;
+        throw new ManifestParseError(`${unknownPointer.replaceAll("/", ".").slice(1)} is not supported`, idx, unknownPointer);
+    }
+}
+export function escapeJsonPointerSegment(value) {
+    return value.replace(/~/g, "~0").replace(/\//g, "~1");
+}
+//# sourceMappingURL=ManifestFieldChecks.js.map

package/dist/spec/domain/service/ManifestFieldChecks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestFieldChecks.js","sourceRoot":"","sources":["../../../../src/spec/domain/service/ManifestFieldChecks.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,aAAa,EAA0D,MAAM,6BAA6B,CAAC;AAE3J;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,GAAW,EACX,OAAe,EACf,UAAkB,EAClB,QAAiB;IAEjB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,kBAAkB,CAC1B,GAAG,UAAU,iFAAiF,EAC9F,GAAG,EACH,OAAO,CACR,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,kBAAkB,CAC1B,GAAG,UAAU,2FAA2F,EACxG,GAAG,EACH,OAAO,CACR,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,kBAAkB,CAC1B,GAAG,UAAU,mEAAmE,EAChF,GAAG,EACH,OAAO,CACR,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,OAAO,EAAE,CAAC;YACxC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,kBAAkB,CAC1B,GAAG,UAAU,oEAAoE,EACjF,GAAG,EACH,OAAO,CACR,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9D,MAAM,IAAI,kBAAkB,CAC1B,GAAG,UAAU,kCAAkC,GAAG,qCAAqC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,EACnH,GAAG,EACH,GAAG,OAAO,IAAI,GAAG,EAAE,CACpB,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,kBAAkB,CAC1B,GAAG,UAAU,oFAAoF,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EACxH,GAAG,EACH,OAAO,CACR,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AAEH;;;;;;GAMG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAGzB;IAEA;IACA;IACA;IANlB,YACE,OAAe,EACC,QAAiB;IACjC,4DAA4D;IAC5C,OAAgB,EAChB,OAAuB,2BAA2B,EAClD,OAGf;QAED,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QATnD,aAAQ,GAAR,QAAQ,CAAS;QAEjB,YAAO,GAAP,OAAO,CAAS;QAChB,SAAI,GAAJ,IAAI,CAA8C;QAClD,YAAO,GAAP,OAAO,CAGtB;QAGD,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED,MAAM,CAAC,MAAM,WAAW,GAA8B,IAAI,GAAG,CAAC;IAC5D,QAAQ;IACR,MAAM;IACN,WAAW;IACX,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IACnE,MAAM;IACN,WAAW;IACX,KAAK;IACL,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAA4B,IAAI,GAAG,CAAC;IAC/D,MAAM;IACN,KAAK;IACL,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAA+B,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;AACxF,MAAM,CAAC,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;AAC7E,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;AAE/F,MAAM,UAAU,iBAAiB,CAC/B,KAA8B,EAC9B,OAA0B,EAC1B,GAAW,EACX,OAAe;IAEf,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,cAAc,GAAG,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,IAAI,OAAO,EAAE,CAAC;QACjF,MAAM,IAAI,kBAAkB,CAC1B,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,EAClE,GAAG,EACH,cAAc,CACf,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAa;IACpD,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACxD,CAAC"}

package/dist/spec/domain/service/ManifestGraphValidator.d.ts

@@ -0,0 +1,15 @@
+import { type Diagnostic } from "../../kernel/diagnostic.js";
+import { type Manifest, type ProcedureManifest, type SchemaManifest, type TriggerManifest, type ViewManifest } from "../model/ManifestGrammar.js";
+import { type ManifestFilePaths } from "./ManifestPathDiagnoser.js";
+/**
+ * Package-private implementation of the pure graph rules. The public sealed
+ * entry is `linkManifestSet`; the compatibility validator delegates there.
+ */
+export declare function validateManifestGraph(manifests: readonly Manifest[], filePaths?: ManifestFilePaths): {
+    readonly diagnostics: readonly Diagnostic[];
+    readonly schemas: readonly SchemaManifest[];
+    readonly views: readonly ViewManifest[];
+    readonly procedures: readonly ProcedureManifest[];
+    readonly triggers: readonly TriggerManifest[];
+};
+//# sourceMappingURL=ManifestGraphValidator.d.ts.map

package/dist/spec/domain/service/ManifestGraphValidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestGraphValidator.d.ts","sourceRoot":"","sources":["../../../../src/spec/domain/service/ManifestGraphValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAyF,KAAK,QAAQ,EAAE,KAAK,iBAAiB,EAAE,KAAK,cAAc,EAAE,KAAK,eAAe,EAAE,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAGzO,OAAO,EAA2B,KAAK,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAK7F;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,SAAS,QAAQ,EAAE,EAC9B,SAAS,CAAC,EAAE,iBAAiB,GAC5B;IACD,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;CAC/C,CA+CA"}

package/dist/spec/domain/service/ManifestGraphValidator.js

@@ -0,0 +1,225 @@
+import { validateDiagnostic } from "../../kernel/diagnostic.js";
+import { MANTLE_REF_KEYWORD, RESERVED_PROCEDURE_INPUT_NAMES, resolveMantleRef } from "../model/ManifestGrammar.js";
+import { checkTranslatesReferences } from "./CrossSchemaChecker.js";
+import { partitionManifests } from "./ManifestPartition.js";
+import { bestMatch, manifestPath } from "./ManifestPathDiagnoser.js";
+import { checkSchemaNavTargets } from "./SchemaAdminUiChecker.js";
+import { checkSchemaIndexes } from "./SchemaIndexChecker.js";
+import { checkGuards, checkMcpToolNameCollisions, checkProcedureTarget, checkSqlHandler, checkTriggerRefs, checkViewRefs } from "./TriggerGraphChecks.js";
+/**
+ * Package-private implementation of the pure graph rules. The public sealed
+ * entry is `linkManifestSet`; the compatibility validator delegates there.
+ */
+export function validateManifestGraph(manifests, filePaths) {
+    const diags = [];
+    const partitioned = partitionManifests(manifests);
+    const schemasByName = byName(partitioned.schemas);
+    const proceduresByName = byName(partitioned.procedures);
+    diags.push(...checkDuplicates("Schema", partitioned.schemas, filePaths));
+    diags.push(...checkDuplicates("View", partitioned.views, filePaths));
+    diags.push(...checkDuplicates("Procedure", partitioned.procedures, filePaths));
+    diags.push(...checkDuplicates("Trigger", partitioned.triggers, filePaths));
+    diags.push(...checkSchemaReservedWireNames(partitioned.schemas, filePaths));
+    diags.push(...checkCaseCollisions(partitioned.schemas, [...partitioned.views, ...partitioned.procedures], filePaths));
+    diags.push(...checkTranslatesReferences(partitioned.schemas, "validate", filePaths));
+    diags.push(...checkSchemaNavTargetsGraph(partitioned.schemas, schemasByName, filePaths));
+    for (const v of partitioned.views) {
+        diags.push(...checkViewRefs(v, schemasByName, filePaths));
+    }
+    for (const s of partitioned.schemas) {
+        diags.push(...checkMantleRefs("Schema", s.metadata.name, "/spec/schema", s.spec.schema, schemasByName, filePaths));
+    }
+    for (const p of partitioned.procedures) {
+        diags.push(...checkSqlHandler(p, filePaths));
+        diags.push(...checkCollectionActionRef(p, schemasByName, filePaths));
+        diags.push(...checkMantleRefs("Procedure", p.metadata.name, "/spec/input", p.spec.input, schemasByName, filePaths));
+        diags.push(...checkProcedureTarget(p, schemasByName, filePaths));
+    }
+    diags.push(...checkGuards([...partitioned.procedures, ...partitioned.views], proceduresByName, filePaths));
+    diags.push(...checkTriggerRefs(partitioned.triggers, proceduresByName, filePaths, schemasByName));
+    diags.push(...checkMcpToolNameCollisions(partitioned.views, partitioned.procedures, partitioned.triggers, filePaths));
+    return { diagnostics: diags, ...partitioned };
+}
+function checkSchemaNavTargetsGraph(schemas, schemasByName, filePaths) {
+    const out = [];
+    for (const schema of schemas) {
+        const problem = checkSchemaNavTargets(schema, schemasByName);
+        if (!problem)
+            continue;
+        out.push(validateDiagnostic({
+            code: "SCHEMA_UI_INVALID",
+            severity: "error",
+            path: manifestPath("Schema", schema.metadata.name, problem.pointer, filePaths),
+            value: problem.value,
+            expected: problem.expected,
+            message: problem.message,
+        }));
+    }
+    return out;
+}
+function checkCollectionActionRef(procedure, schemasByName, filePaths) {
+    const target = procedure.spec.uiSchema?.["collectionAction"];
+    if (typeof target !== "string" || schemasByName.has(target))
+        return [];
+    return [validateDiagnostic({
+            code: "SCHEMA_UI_INVALID",
+            severity: "error",
+            path: manifestPath("Procedure", procedure.metadata.name, "/spec/uiSchema/collectionAction", filePaths),
+            value: target,
+            expected: "the metadata.name of an existing Schema",
+            message: `Procedure '${procedure.metadata.name}' collection action references unknown Schema '${target}'.`,
+        })];
+}
+/**
+ * `x-mantle-ref` on top-level properties. The string form is unchanged; the
+ * object form must name an existing Schema and a field that identifies one
+ * entry: `id` or a single-field unique index (ADR-0029).
+ */
+function checkMantleRefs(kind, name, pointer, schema, schemasByName, filePaths) {
+    const out = [];
+    for (const [field, property] of Object.entries(schema.properties ?? {})) {
+        const raw = property?.[MANTLE_REF_KEYWORD];
+        if (raw === undefined || typeof raw === "string")
+            continue;
+        const path = manifestPath(kind, name, `${pointer}/properties/${pointerSegment(field)}/${MANTLE_REF_KEYWORD}`, filePaths);
+        const ref = resolveMantleRef(property);
+        const keys = typeof raw === "object" && raw !== null && !Array.isArray(raw) ? Object.keys(raw) : [];
+        if (!ref || keys.some((key) => key !== "schema" && key !== "field")) {
+            out.push(validateDiagnostic({
+                code: "MANTLE_REF_INVALID",
+                severity: "error",
+                path,
+                value: raw,
+                expected: "a Schema name, or { schema: <Schema name>, field: <id or single-field unique index> }",
+                message: `${kind} '${name}' field '${field}' has a malformed x-mantle-ref.`,
+            }));
+            continue;
+        }
+        const target = schemasByName.get(ref.schema);
+        if (!target) {
+            out.push(validateDiagnostic({
+                code: "MANTLE_REF_INVALID",
+                severity: "error",
+                path: `${path}/schema`,
+                value: ref.schema,
+                expected: "the metadata.name of an existing Schema",
+                candidates: [...schemasByName.keys()],
+                suggestion: bestMatch(ref.schema, [...schemasByName.keys()]),
+                message: `${kind} '${name}' field '${field}' references unknown Schema '${ref.schema}'.`,
+            }));
+            continue;
+        }
+        const keyFields = entryKeyFields(target);
+        if (!keyFields.includes(ref.field)) {
+            out.push(validateDiagnostic({
+                code: "MANTLE_REF_INVALID",
+                severity: "error",
+                path: `${path}/field`,
+                value: ref.field,
+                expected: `one of ${keyFields.join(", ")}`,
+                candidates: keyFields,
+                message: `${kind} '${name}' field '${field}' references '${ref.schema}.${ref.field}', which does not identify one entry; use id or a single-field unique index.`,
+            }));
+        }
+    }
+    return out;
+}
+/** Fields whose value identifies exactly one entry of a Schema. */
+function entryKeyFields(schema) {
+    const unique = checkSchemaIndexes(schema).declarations
+        .filter((declaration) => declaration.unique && declaration.fields.length === 1)
+        .map((declaration) => declaration.fields[0].name);
+    return ["id", ...new Set(unique)];
+}
+function pointerSegment(value) {
+    return value.replaceAll("~", "~0").replaceAll("/", "~1");
+}
+function byName(arr) {
+    const m = new Map();
+    for (const x of arr)
+        m.set(x.metadata.name, x);
+    return m;
+}
+function checkSchemaReservedWireNames(schemas, filePaths) {
+    const out = [];
+    for (const schema of schemas) {
+        const properties = schema.spec.schema.properties ?? {};
+        for (const reserved of RESERVED_PROCEDURE_INPUT_NAMES) {
+            if (!(reserved in properties) || properties[reserved] === undefined)
+                continue;
+            out.push(validateDiagnostic({
+                code: "INVALID_MANIFEST_ENVELOPE",
+                severity: "error",
+                path: manifestPath("Schema", schema.metadata.name, `/spec/schema/properties/${reserved}`, filePaths),
+                value: reserved,
+                expected: `Schema data properties that do not collide with reserved Procedure input names (${RESERVED_PROCEDURE_INPUT_NAMES.join(", ")}). New reserved names need an ADR.`,
+                message: `Schema '${schema.metadata.name}' must not declare reserved Procedure input name '${reserved}' as a data property (ADR-0022). New reserved names need an ADR.`,
+            }));
+        }
+    }
+    return out;
+}
+/**
+ * SQL resolves identifiers case-insensitively (ADR-0034 decision 2) and the plan keys Schemas, fields and inputs by their lower-case
+ * name, so two names that differ only by case would silently become one table, one column or one input.
+ */
+function checkCaseCollisions(schemas, programs, filePaths) {
+    const out = [];
+    const collide = (names, report) => {
+        const first = new Map();
+        for (const n of names) {
+            const seen = first.get(n.toLowerCase());
+            if (seen === undefined)
+                first.set(n.toLowerCase(), n);
+            else if (seen !== n)
+                report(n, seen); // an exact repeat is DUPLICATE_NAME
+        }
+    };
+    collide(schemas.map((s) => s.metadata.name), (name, other) => out.push(validateDiagnostic({
+        code: "SCHEMA_NAME_CASE_COLLISION", severity: "error", path: manifestPath("Schema", name, "/metadata/name", filePaths), value: name,
+        message: `Schema '${name}' and Schema '${other}' differ only by case; SQL names them the same table. Rename one.`,
+    })));
+    for (const s of schemas)
+        collide(Object.keys(s.spec.schema.properties ?? {}), (name, other) => out.push(validateDiagnostic({
+            code: "FIELD_NAME_CASE_COLLISION", severity: "error", path: manifestPath("Schema", s.metadata.name, `/spec/schema/properties/${pointerSegment(name)}`, filePaths), value: name,
+            message: `Schema '${s.metadata.name}' declares '${name}' and '${other}', which differ only by case; SQL names them the same column. Rename one.`,
+        })));
+    // `input.itemId` and `input.ItemId` are one name in SQL, so a statement could not tell the two inputs apart; a `ref` handler reads
+    // the JS object, where they are two keys
+    for (const m of programs.filter((p) => p.kind === "View" || "sql" in p.spec.handler))
+        collide(Object.keys(m.spec.input?.properties ?? {}), (name, other) => out.push(validateDiagnostic({
+            code: "FIELD_NAME_CASE_COLLISION", severity: "error", path: manifestPath(m.kind, m.metadata.name, `/spec/input/properties/${pointerSegment(name)}`, filePaths), value: name,
+            message: `${m.kind} '${m.metadata.name}' declares the inputs '${name}' and '${other}', which differ only by case; SQL names them the same input. Rename one.`,
+        })));
+    return out;
+}
+function checkDuplicates(kind, arr, filePaths) {
+    // Two-pass: count duplicates, then emit one diagnostic per
+    // occurrence (including the first). `manifestPath`'s `occurrence`
+    // arg pulls the correct file location per copy so each diagnostic
+    // points at its own source position — not at whichever copy the
+    // loader saw last.
+    const counts = new Map();
+    for (const m of arr) {
+        counts.set(m.metadata.name, (counts.get(m.metadata.name) ?? 0) + 1);
+    }
+    const seenIndex = new Map();
+    const out = [];
+    for (const m of arr) {
+        const total = counts.get(m.metadata.name) ?? 0;
+        if (total < 2)
+            continue;
+        const ordinal = (seenIndex.get(m.metadata.name) ?? 0) + 1;
+        seenIndex.set(m.metadata.name, ordinal);
+        out.push(validateDiagnostic({
+            code: "DUPLICATE_NAME",
+            severity: "error",
+            path: manifestPath(kind, m.metadata.name, "/metadata/name", filePaths, ordinal),
+            value: m.metadata.name,
+            expected: `metadata.name unique within kind ${kind}`,
+            message: `${kind} manifest '${m.metadata.name}' is duplicated (occurrence ${ordinal} of ${total}).`,
+        }));
+    }
+    return out;
+}
+//# sourceMappingURL=ManifestGraphValidator.js.map

package/dist/spec/domain/service/ManifestGraphValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestGraphValidator.js","sourceRoot":"","sources":["../../../../src/spec/domain/service/ManifestGraphValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAmB,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,gBAAgB,EAAwH,MAAM,6BAA6B,CAAC;AACzO,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,YAAY,EAA0B,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,eAAe,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE1J;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,SAA8B,EAC9B,SAA6B;IAQ7B,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,gBAAgB,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAExD,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,QAAQ,EAAE,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,SAAS,EAAE,WAAW,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAEtH,KAAK,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IACrF,KAAK,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,WAAW,CAAC,OAAO,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;IAEzF,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACpH,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,KAAK,CAAC,IAAI,CACR,GAAG,WAAW,CACZ,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,EACjD,gBAAgB,EAChB,SAAS,CACV,CACF,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,WAAW,CAAC,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;IAClG,KAAK,CAAC,IAAI,CAAC,GAAG,0BAA0B,CACtC,WAAW,CAAC,KAAK,EACjB,WAAW,CAAC,UAAU,EACtB,WAAW,CAAC,QAAQ,EACpB,SAAS,CACV,CAAC,CAAC;IAEH,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAkC,EAClC,aAAkD,EAClD,SAA6B;IAE7B,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC;YAC1B,IAAI,EAAE,mBAAmB;YACzB,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC;YAC9E,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA4B,EAC5B,aAAkD,EAClD,SAA6B;IAE7B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,kBAAkB,CAAC,CAAC;IAC7D,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACvE,OAAO,CAAC,kBAAkB,CAAC;YACzB,IAAI,EAAE,mBAAmB;YACzB,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,iCAAiC,EAAE,SAAS,CAAC;YACtG,KAAK,EAAE,MAAM;YACb,QAAQ,EAAE,yCAAyC;YACnD,OAAO,EAAE,cAAc,SAAS,CAAC,QAAQ,CAAC,IAAI,kDAAkD,MAAM,IAAI;SAC3G,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,IAA4B,EAC5B,IAAY,EACZ,OAAe,EACf,MAAkB,EAClB,aAAkD,EAClD,SAA6B;IAE7B,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QACxE,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,SAAS;QAC3D,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,eAAe,cAAc,CAAC,KAAK,CAAC,IAAI,kBAAkB,EAAE,EAAE,SAAS,CAAC,CAAC;QACzH,MAAM,GAAG,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,OAAO,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC;gBAC1B,IAAI,EAAE,oBAAoB;gBAC1B,QAAQ,EAAE,OAAO;gBACjB,IAAI;gBACJ,KAAK,EAAE,GAAG;gBACV,QAAQ,EAAE,uFAAuF;gBACjG,OAAO,EAAE,GAAG,IAAI,KAAK,IAAI,YAAY,KAAK,iCAAiC;aAC5E,CAAC,CAAC,CAAC;YACJ,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC;gBAC1B,IAAI,EAAE,oBAAoB;gBAC1B,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,GAAG,IAAI,SAAS;gBACtB,KAAK,EAAE,GAAG,CAAC,MAAM;gBACjB,QAAQ,EAAE,yCAAyC;gBACnD,UAAU,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC;gBACrC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5D,OAAO,EAAE,GAAG,IAAI,KAAK,IAAI,YAAY,KAAK,gCAAgC,GAAG,CAAC,MAAM,IAAI;aACzF,CAAC,CAAC,CAAC;YACJ,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC;gBAC1B,IAAI,EAAE,oBAAoB;gBAC1B,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,GAAG,IAAI,QAAQ;gBACrB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,QAAQ,EAAE,UAAU,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC1C,UAAU,EAAE,SAAS;gBACrB,OAAO,EAAE,GAAG,IAAI,KAAK,IAAI,YAAY,KAAK,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,8EAA8E;aACjK,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mEAAmE;AACnE,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,YAAY;SACnD,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;SAC9E,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,MAAM,CAA2C,GAAqB;IAC7E,MAAM,CAAC,GAAG,IAAI,GAAG,EAAa,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,4BAA4B,CACnC,OAAkC,EAClC,SAA6B;IAE7B,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;QACvD,KAAK,MAAM,QAAQ,IAAI,8BAA8B,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC9E,GAAG,CAAC,IAAI,CACN,kBAAkB,CAAC;gBACjB,IAAI,EAAE,2BAA2B;gBACjC,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,2BAA2B,QAAQ,EAAE,EAAE,SAAS,CAAC;gBACpG,KAAK,EAAE,QAAQ;gBACf,QAAQ,EAAE,mFAAmF,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC;gBAC1K,OAAO,EAAE,WAAW,MAAM,CAAC,QAAQ,CAAC,IAAI,qDAAqD,QAAQ,kEAAkE;aACxK,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,OAAkC,EAAE,QAAuD,EAAE,SAA6B;IACrJ,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,CAAC,KAAwB,EAAE,MAA6C,EAAE,EAAE;QAC1F,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACxC,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;iBACjD,IAAI,IAAI,KAAK,CAAC;gBAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,oCAAoC;QAC5E,CAAC;IACH,CAAC,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC;QACxF,IAAI,EAAE,4BAA4B,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI;QACnI,OAAO,EAAE,WAAW,IAAI,iBAAiB,KAAK,mEAAmE;KAClH,CAAC,CAAC,CAAC,CAAC;IACL,KAAK,MAAM,CAAC,IAAI,OAAO;QACrB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC;YAChG,IAAI,EAAE,2BAA2B,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,2BAA2B,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI;YAC9K,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,eAAe,IAAI,UAAU,KAAK,2EAA2E;SACjJ,CAAC,CAAC,CAAC,CAAC;IACP,mIAAmI;IACnI,yCAAyC;IACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAClF,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC;YAChG,IAAI,EAAE,2BAA2B,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,0BAA0B,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI;YAC3K,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,0BAA0B,IAAI,UAAU,KAAK,0EAA0E;SAC9J,CAAC,CAAC,CAAC,CAAC;IACP,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CACtB,IAAY,EACZ,GAAqB,EACrB,SAA6B;IAE7B,2DAA2D;IAC3D,kEAAkE;IAClE,kEAAkE;IAClE,gEAAgE;IAChE,mBAAmB;IACnB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,KAAK,GAAG,CAAC;YAAE,SAAS;QACxB,MAAM,OAAO,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,GAAG,CAAC,IAAI,CACN,kBAAkB,CAAC;YACjB,IAAI,EAAE,gBAAgB;YACtB,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC;YAC/E,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI;YACtB,QAAQ,EAAE,oCAAoC,IAAI,EAAE;YACpD,OAAO,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,+BAA+B,OAAO,OAAO,KAAK,IAAI;SACpG,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/spec/domain/service/ManifestLinker.d.ts

@@ -0,0 +1,45 @@
+import type { SourceLocation } from "../../kernel/diagnostic.js";
+import { type ParsedManifest, type ParsedManifestSet, type ParseResult } from "./ManifestParser.js";
+type ParsedSchema = Extract<ParsedManifest, {
+    kind: "Schema";
+}>;
+type ParsedView = Extract<ParsedManifest, {
+    kind: "View";
+}>;
+type ParsedProcedure = Extract<ParsedManifest, {
+    kind: "Procedure";
+}>;
+type ParsedTrigger = Extract<ParsedManifest, {
+    kind: "Trigger";
+}>;
+export interface ResolvedManifestReference<M extends ParsedManifest> {
+    readonly manifest: M;
+    readonly source: SourceLocation;
+}
+export interface LinkedSchema extends ResolvedManifestReference<ParsedSchema> {
+    readonly translationParent?: ResolvedManifestReference<ParsedSchema>;
+}
+export interface LinkedView extends ResolvedManifestReference<ParsedView> {
+    readonly guard?: ResolvedManifestReference<ParsedProcedure>;
+}
+export interface LinkedProcedure extends ResolvedManifestReference<ParsedProcedure> {
+    readonly collectionActionSchema?: ResolvedManifestReference<ParsedSchema>;
+    readonly guard?: ResolvedManifestReference<ParsedProcedure>;
+}
+export interface LinkedTrigger extends ResolvedManifestReference<ParsedTrigger> {
+    readonly target: ResolvedManifestReference<ParsedProcedure>;
+    readonly lifecycleSchema?: ResolvedManifestReference<ParsedSchema>;
+}
+declare const linkedManifestSetBrand: unique symbol;
+export interface LinkedManifestSet {
+    readonly schemas: readonly LinkedSchema[];
+    readonly views: readonly LinkedView[];
+    readonly procedures: readonly LinkedProcedure[];
+    readonly triggers: readonly LinkedTrigger[];
+    readonly [linkedManifestSetBrand]: true;
+}
+export type LinkResult<T> = ParseResult<T>;
+/** Pure cross-manifest resolution. A failed graph never exposes a linked value. */
+export declare function linkManifestSet(parsed: ParsedManifestSet): LinkResult<LinkedManifestSet>;
+export {};
+//# sourceMappingURL=ManifestLinker.d.ts.map

package/dist/spec/domain/service/ManifestLinker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestLinker.d.ts","sourceRoot":"","sources":["../../../../src/spec/domain/service/ManifestLinker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAc,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAE7E,OAAO,EAEL,KAAK,cAAc,EAEnB,KAAK,iBAAiB,EACtB,KAAK,WAAW,EACjB,MAAM,qBAAqB,CAAC;AAG7B,KAAK,YAAY,GAAG,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAC;AAChE,KAAK,UAAU,GAAG,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAC5D,KAAK,eAAe,GAAG,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC;AACtE,KAAK,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC;AAElE,MAAM,WAAW,yBAAyB,CAAC,CAAC,SAAS,cAAc;IACjE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,YAAa,SAAQ,yBAAyB,CAAC,YAAY,CAAC;IAC3E,QAAQ,CAAC,iBAAiB,CAAC,EAAE,yBAAyB,CAAC,YAAY,CAAC,CAAC;CACtE;AAED,MAAM,WAAW,UAAW,SAAQ,yBAAyB,CAAC,UAAU,CAAC;IACvE,QAAQ,CAAC,KAAK,CAAC,EAAE,yBAAyB,CAAC,eAAe,CAAC,CAAC;CAC7D;AAED,MAAM,WAAW,eAAgB,SAAQ,yBAAyB,CAAC,eAAe,CAAC;IACjF,QAAQ,CAAC,sBAAsB,CAAC,EAAE,yBAAyB,CAAC,YAAY,CAAC,CAAC;IAC1E,QAAQ,CAAC,KAAK,CAAC,EAAE,yBAAyB,CAAC,eAAe,CAAC,CAAC;CAC7D;AAED,MAAM,WAAW,aAAc,SAAQ,yBAAyB,CAAC,aAAa,CAAC;IAC7E,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC,eAAe,CAAC,CAAC;IAC5D,QAAQ,CAAC,eAAe,CAAC,EAAE,yBAAyB,CAAC,YAAY,CAAC,CAAC;CACpE;AAED,OAAO,CAAC,MAAM,sBAAsB,EAAE,OAAO,MAAM,CAAC;AAEpD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,CAAC,sBAAsB,CAAC,EAAE,IAAI,CAAC;CACzC;AAED,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;AAE3C,mFAAmF;AACnF,wBAAgB,eAAe,CAC7B,MAAM,EAAE,iBAAiB,GACxB,UAAU,CAAC,iBAAiB,CAAC,CAiE/B"}

package/dist/spec/domain/service/ManifestLinker.js

@@ -0,0 +1,92 @@
+import { sourceLocationAt, } from "./ManifestParser.js";
+import { validateManifestGraph } from "./ManifestGraphValidator.js";
+/** Pure cross-manifest resolution. A failed graph never exposes a linked value. */
+export function linkManifestSet(parsed) {
+    const manifests = parsed.entries.map((entry) => entry.manifest);
+    const filePaths = sourceFilePaths(parsed.entries);
+    const graph = validateManifestGraph(manifests, filePaths);
+    const diagnostics = graph.diagnostics.map((diagnostic) => attachSource(diagnostic, parsed.entries));
+    if (diagnostics.some((diagnostic) => diagnostic.severity === "error")) {
+        return { ok: false, diagnostics };
+    }
+    const entriesByManifest = new Map(parsed.entries.map((entry) => [entry.manifest, entry]));
+    const schemasByName = new Map(graph.schemas.map((manifest) => [manifest.metadata.name, manifest]));
+    const proceduresByName = new Map(graph.procedures.map((manifest) => [manifest.metadata.name, manifest]));
+    const resolve = (manifest) => {
+        const entry = entriesByManifest.get(manifest);
+        if (!entry)
+            throw new Error(`linked manifest '${manifest.kind}/${manifest.metadata.name}' lost its source`);
+        return Object.freeze({ manifest, source: entry.source });
+    };
+    const resolveSchema = (name) => resolve(schemasByName.get(name));
+    const resolveProcedure = (name) => resolve(proceduresByName.get(name));
+    const schemas = graph.schemas.map((manifest) => Object.freeze({
+        ...resolve(manifest),
+        ...(manifest.spec.translates
+            ? { translationParent: resolveSchema(manifest.spec.translates.parent) }
+            : {}),
+    }));
+    const views = graph.views.map((manifest) => Object.freeze({
+        ...resolve(manifest),
+        ...(manifest.spec.requires?.guard
+            ? { guard: resolveProcedure(manifest.spec.requires.guard.procedure) }
+            : {}),
+    }));
+    const procedures = graph.procedures.map((manifest) => Object.freeze({
+        ...resolve(manifest),
+        ...(typeof manifest.spec.uiSchema?.["collectionAction"] === "string"
+            ? { collectionActionSchema: resolveSchema(manifest.spec.uiSchema["collectionAction"]) }
+            : {}),
+        ...(manifest.spec.requires?.guard
+            ? { guard: resolveProcedure(manifest.spec.requires.guard.procedure) }
+            : {}),
+    }));
+    const triggers = graph.triggers.map((manifest) => Object.freeze({
+        ...resolve(manifest),
+        target: resolveProcedure(manifest.spec.target.procedure),
+        ...(manifest.spec.source.kind === "lifecycle"
+            ? { lifecycleSchema: resolveSchema(manifest.spec.source.schema) }
+            : {}),
+    }));
+    return {
+        ok: true,
+        value: Object.freeze({
+            schemas: Object.freeze(schemas),
+            views: Object.freeze(views),
+            procedures: Object.freeze(procedures),
+            triggers: Object.freeze(triggers),
+        }),
+        diagnostics,
+    };
+}
+function sourceFilePaths(entries) {
+    const paths = new Map();
+    for (const entry of entries) {
+        const key = `${entry.manifest.kind}/${entry.manifest.metadata.name}`;
+        const location = {
+            file: entry.source.sourceId,
+            docIndex: entry.source.documentIndex,
+        };
+        const list = paths.get(key);
+        if (list)
+            list.push(location);
+        else
+            paths.set(key, [location]);
+    }
+    return paths;
+}
+function attachSource(diagnostic, entries) {
+    const matches = entries
+        .map((entry) => ({
+        entry,
+        prefix: `${entry.source.sourceId}#/${entry.source.documentIndex}`,
+    }))
+        .filter(({ prefix }) => diagnostic.path.startsWith(prefix))
+        .sort((a, b) => b.prefix.length - a.prefix.length);
+    const match = matches[0];
+    if (!match)
+        return diagnostic;
+    const path = diagnostic.path.slice(match.prefix.length) || "/";
+    return { ...diagnostic, path, source: sourceLocationAt(match.entry, path) };
+}
+//# sourceMappingURL=ManifestLinker.js.map

package/dist/spec/domain/service/ManifestLinker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestLinker.js","sourceRoot":"","sources":["../../../../src/spec/domain/service/ManifestLinker.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gBAAgB,GAKjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AA0CpE,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAC7B,MAAyB;IAEzB,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,qBAAqB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACvD,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CACzC,CAAC;IACF,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QACtE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CACvE,CAAC;IACF,MAAM,OAAO,GAAG,CAA2B,QAAW,EAAgC,EAAE;QACtF,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,CAAC;QAC5G,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,IAAY,EAA2C,EAAE,CAC9E,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAiB,CAAC,CAAC;IACnD,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAA8C,EAAE,CACpF,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAoB,CAAC,CAAC;IAEzD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5D,GAAG,OAAO,CAAC,QAAwB,CAAC;QACpC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU;YAC1B,CAAC,CAAC,EAAE,iBAAiB,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;YACvE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACxD,GAAG,OAAO,CAAC,QAAsB,CAAC;QAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK;YAC/B,CAAC,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE;YACrE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAClE,GAAG,OAAO,CAAC,QAA2B,CAAC;QACvC,GAAG,CAAC,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,kBAAkB,CAAC,KAAK,QAAQ;YAClE,CAAC,CAAC,EAAE,sBAAsB,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAW,CAAC,EAAE;YACjG,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK;YAC/B,CAAC,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE;YACrE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAC9D,GAAG,OAAO,CAAC,QAAyB,CAAC;QACrC,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QACxD,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;YAC3C,CAAC,CAAC,EAAE,eAAe,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;YACjE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAC3B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;YACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;SAClC,CAAsB;QACvB,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAAuC;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqD,CAAC;IAC3E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACrE,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ;YAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,aAAa;SACrC,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;;YACzB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,UAAsB,EACtB,OAAuC;IAEvC,MAAM,OAAO,GAAG,OAAO;SACpB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,KAAK;QACL,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE;KAClE,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;SAC1D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK;QAAE,OAAO,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;IAC/D,OAAO,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;AAC9E,CAAC"}

package/dist/spec/domain/service/ManifestLocaleTrimmer.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Drops every locale a project did not select from a manifest's localized
+ * `title` / `description` maps, preserving the rest of the document byte for
+ * byte. Provisioning calls this so a generated project's manifest carries
+ * only the locales it was created with.
+ *
+ * Lives in spec because manifest text is spec's material: it owns the YAML
+ * dependency and the shape of a localized-text node.
+ */
+export declare class ManifestLocaleTrimError extends Error {
+    readonly reason: "invalid_yaml" | "unsupported_locale";
+    constructor(reason: "invalid_yaml" | "unsupported_locale", message: string);
+}
+/** Returns the manifest text unchanged when nothing needed trimming. */
+export declare function trimManifestLocales(text: string, locales: readonly string[]): string;
+//# sourceMappingURL=ManifestLocaleTrimmer.d.ts.map

package/dist/spec/domain/service/ManifestLocaleTrimmer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestLocaleTrimmer.d.ts","sourceRoot":"","sources":["../../../../src/spec/domain/service/ManifestLocaleTrimmer.ts"],"names":[],"mappings":"AAGA;;;;;;;;GAQG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;IAE9C,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,oBAAoB;gBAA7C,MAAM,EAAE,cAAc,GAAG,oBAAoB,EACtD,OAAO,EAAE,MAAM;CAKlB;AAED,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CA4BpF"}