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

package/dist/spec/kernel/diagnostic.js

@@ -0,0 +1,296 @@
+/**
+ * Closed catalog of diagnostic codes the SDK emits across all phases.
+ * Per ADR-0008, spec **defines** the catalog; runtime / cli / adapters
+ * **emit** them. Codes in the cross-phase and runtime-only sections
+ * below are not raised by spec source — they live here because the
+ * catalog is the public contract, not the union of what spec happens
+ * to throw today. Adding a new code is a grammar-revise event
+ * (ADR-0001).
+ *
+ * Single source of truth: the const array drives `DiagnosticCode`
+ * (type), so adding a code is one edit.
+ */
+export const DIAGNOSTIC_CODES = [
+    "RESOURCE_EXHAUSTED",
+    "RESOURCE_UNAVAILABLE",
+    "RATE_LIMITED",
+    "OUTCOME_UNKNOWN",
+    "PARTIAL_FAILURE",
+    "PRECONDITION_FAILED",
+    // Validate-only.
+    "INVALID_MANIFEST_ENVELOPE",
+    "DUPLICATE_NAME",
+    "VIEW_INPUT_INVALID_SHAPE",
+    "VIEW_INPUT_RESERVED_NAME",
+    "VIEW_CACHE_INVALID",
+    "VIEW_UI_INVALID",
+    "REQUIRED_FIELD_UNKNOWN",
+    "INVALID_PATTERN",
+    "JSON_SCHEMA_UNSUPPORTED",
+    "JSON_SCHEMA_REF_INVALID",
+    "JSON_SCHEMA_LIMIT_EXCEEDED",
+    "AUTH_PREDICATE_NOT_IN_ENUM",
+    "GUARD_PROCEDURE_UNKNOWN",
+    "GUARD_SELF_REFERENCE",
+    "GUARD_PROCEDURE_NOT_REF",
+    "GUARD_CHAIN_NOT_ALLOWED",
+    "SCHEMA_INDEX_INVALID",
+    "SCHEMA_INDEX_FIELD_UNKNOWN",
+    "UNIQUE_INDEX_FIELD_UNKNOWN",
+    "SCHEMA_SEARCH_INVALID",
+    "SCHEMA_SEARCH_FIELD_UNKNOWN",
+    "SCHEMA_TTL_INVALID",
+    "SCHEMA_UI_INVALID",
+    "SCHEMA_NAME_CASE_COLLISION",
+    "FIELD_NAME_CASE_COLLISION",
+    "MANIFEST_ROOT_NOT_FOUND",
+    "MANIFEST_READ_FAILED",
+    // `mantle generate` (ADR-0032 decision 12): a selected feature's package is not installed, or it needs an identity.
+    "GENERATE_FEATURE_DEPENDENCY_MISSING",
+    // Store SQL compile (ADR-0034): raised by the CLI compiler and, for the
+    // shared allowlist, by the runtime's plan validation.
+    "SQL_SYNTAX",
+    "SQL_UNSUPPORTED",
+    "SQL_FUNCTION",
+    "SQL_RELATION",
+    "SQL_COLUMN",
+    "SQL_WRITE",
+    "SQL_SHAPE",
+    "SQL_TYPE",
+    // Reserved for consumer-authored test diagnostics.
+    "FIXTURE_SCHEMA_VIOLATION",
+    // Cross-phase (validate / boot / runtime as applicable).
+    "HANDLER_NOT_REGISTERED",
+    "HANDLER_NOT_DECLARED",
+    "PLAN_FINGERPRINT_MISMATCH",
+    "SCHEDULE_NOT_WIRED",
+    "STORAGE_CHANGE_BLOCKED",
+    "STORAGE_TABLE_NOT_OWNED",
+    "INVOCATION_DEPTH_EXCEEDED",
+    "TRIGGER_TARGET_PROCEDURE_UNKNOWN",
+    "SCHEDULE_INPUT_INVALID",
+    "SCHEDULE_AUTH_INVALID",
+    "TRIGGER_PATH_COLLISION",
+    "TRIGGER_PATH_INVALID",
+    "MCP_TOOL_NAME_COLLISION",
+    "MCP_TOOL_DESCRIPTION_MISSING",
+    "MCP_TOOL_INPUT_UNION_AMBIGUOUS",
+    "MCP_TOOL_INPUT_UNBOUNDED",
+    "MANTLE_REF_INVALID",
+    "PROCEDURE_TARGET_INVALID",
+    "PROCEDURE_NOT_FOUND",
+    "NOT_FOUND",
+    "METHOD_NOT_ALLOWED",
+    // Lifecycle hooks: validate / boot.
+    "LIFECYCLE_SCHEMA_UNKNOWN",
+    "LIFECYCLE_HOOK_REJECTED",
+    "LIFECYCLE_TARGET_NOT_REF",
+    // Locale + translates: validate / boot.
+    "SCHEMA_LOCALIZED_REQUIRES_SITE_LOCALES",
+    "TRANSLATES_PARENT_UNKNOWN",
+    "TRANSLATES_REQUIRES_LOCALIZED",
+    "TRANSLATES_REQUIRES_CONTENT_FIELD",
+    "TRANSLATES_FIELD_NOT_IN_PARENT",
+    "TRANSLATES_FIELD_NOT_IN_CHILD",
+    "TRANSLATES_PARENT_IS_LOCALIZED",
+    "SCHEMA_TTL_TRANSLATION_UNSUPPORTED",
+    // Runtime-only. Consumer tests may preserve or restamp the phase.
+    "INPUT_VALIDATION_FAILED",
+    "UNAUTHENTICATED",
+    "AUTH_DENIED",
+    "ENTITLEMENT_REQUIRED",
+    "CONFLICT",
+    "DISPATCHER_NOT_BUILT",
+    "INTERNAL_ERROR",
+    "OUTPUT_VALIDATION_FAILED",
+    // Locale-data invariants: boot + runtime.
+    "INVALID_LOCALE",
+    // Media uploads (runtime-only). Adapter signs presigned PUTs; commit
+    // verifies metadata. Codes surface from Create / Commit use cases.
+    "MEDIA_NOT_CONFIGURED",
+    "SITE_NOT_CONFIGURED",
+    "MEDIA_UPLOAD_EXPIRED",
+    "MEDIA_OBJECT_NOT_FOUND",
+    "MEDIA_MIME_REJECTED",
+    "MEDIA_SIZE_EXCEEDED",
+    "MEDIA_SVG_REJECTED",
+    "MEDIA_CHECKSUM_MISMATCH",
+    "MEDIA_PURPOSE_REJECTED",
+    "MEDIA_VARIANTS_INCOMPLETE",
+    "MEDIA_VARIANT_SIZE_EXCEEDED",
+    "MEDIA_VARIANTS_SUSPICIOUS_SIZE",
+    "MEDIA_ASSET_NOT_FOUND",
+];
+export const HTTP_STATUS_BY_CODE = {
+    RESOURCE_EXHAUSTED: 507,
+    RESOURCE_UNAVAILABLE: 503,
+    RATE_LIMITED: 429,
+    OUTCOME_UNKNOWN: 503,
+    PARTIAL_FAILURE: 503,
+    PRECONDITION_FAILED: 412,
+    INPUT_VALIDATION_FAILED: 400,
+    INVALID_LOCALE: 400,
+    UNAUTHENTICATED: 401,
+    AUTH_DENIED: 403,
+    ENTITLEMENT_REQUIRED: 402,
+    NOT_FOUND: 404,
+    METHOD_NOT_ALLOWED: 405,
+    CONFLICT: 409,
+    TRANSLATES_PARENT_UNKNOWN: 409,
+    HANDLER_NOT_REGISTERED: 500,
+    DISPATCHER_NOT_BUILT: 501,
+    INTERNAL_ERROR: 500,
+    OUTPUT_VALIDATION_FAILED: 500,
+    // Lifecycle before_* hook explicitly aborted the mutation. 409 is
+    // the right fit (the hook rejected based on resource state — bot
+    // check failed, rate limit hit, etc.); the structured diagnostic
+    // includes the failing hook's name for surfacing to the caller.
+    LIFECYCLE_HOOK_REJECTED: 409,
+    MEDIA_NOT_CONFIGURED: 501,
+    SITE_NOT_CONFIGURED: 501,
+    MEDIA_UPLOAD_EXPIRED: 410,
+    MEDIA_OBJECT_NOT_FOUND: 409,
+    MEDIA_MIME_REJECTED: 400,
+    MEDIA_SIZE_EXCEEDED: 400,
+    MEDIA_SVG_REJECTED: 400,
+    MEDIA_CHECKSUM_MISMATCH: 409,
+    MEDIA_PURPOSE_REJECTED: 400,
+    MEDIA_VARIANTS_INCOMPLETE: 400,
+    MEDIA_VARIANT_SIZE_EXCEEDED: 400,
+    MEDIA_VARIANTS_SUSPICIOUS_SIZE: 400,
+    MEDIA_ASSET_NOT_FOUND: 404,
+};
+/** Resolve a Diagnostic's HTTP status for wire egress; unknown codes
+ *  default to 500. Lives in the kernel so every adapter shares one
+ *  mapping. */
+export function httpStatusFor(d) {
+    return HTTP_STATUS_BY_CODE[d.code] ?? 500;
+}
+/**
+ * Build a Diagnostic with a derived default `message`. Call sites may supply
+ * contextual prose, but the structured fields remain authoritative.
+ */
+export function makeDiagnostic(input) {
+    const { code, phase, severity, path, source, value, expected, candidates, suggestion } = input;
+    let msg = input.message;
+    if (!msg) {
+        const parts = [`[${phase}/${code}] at ${path}`];
+        if (expected)
+            parts.push(`expected ${expected}`);
+        if (value !== undefined)
+            parts.push(`got ${formatValue(value)}`);
+        if (suggestion)
+            parts.push(`(did you mean ${suggestion}?)`);
+        msg = parts.join("; ");
+    }
+    return {
+        code,
+        phase,
+        severity,
+        path,
+        ...(source ? { source } : {}),
+        value,
+        expected,
+        candidates,
+        suggestion,
+        message: msg,
+        ...(input.failure ? { failure: input.failure } : {}),
+        ...(input.conflict ? { conflict: input.conflict } : {}),
+    };
+}
+/** Phase-stamping helpers — equivalent to `makeDiagnostic({...input, phase})`
+ *  but read cleaner at call sites. `phase: "test"` has no Core helper because
+ *  the shipped performance harnesses emit purpose-shaped reports; the phase
+ *  remains part of the public Diagnostic contract for consumer tests. */
+export const validateDiagnostic = (input) => makeDiagnostic({ ...input, phase: "validate" });
+export const bootDiagnostic = (input) => makeDiagnostic({ ...input, phase: "boot" });
+export const runtimeDiagnostic = (input) => makeDiagnostic({ ...input, phase: "runtime" });
+function formatValue(v) {
+    if (v === null)
+        return "null";
+    if (v === undefined)
+        return "undefined";
+    if (typeof v === "string")
+        return JSON.stringify(v);
+    if (typeof v === "number" || typeof v === "boolean")
+        return String(v);
+    try {
+        const s = JSON.stringify(v);
+        return s.length > 100 ? s.slice(0, 97) + "..." : s;
+    }
+    catch {
+        return "[unserializable]";
+    }
+}
+const BRAND = Symbol.for("net.aotter.mantle.DiagnosticError");
+/**
+ * Throwable carrier for one or more Diagnostics. Layers that surface
+ * an error across a transport boundary (HTTP handler, MCP tool call,
+ * render pipeline) throw this so the boundary catch can detect a
+ * structured payload and emit it on the wire instead of falling back
+ * to the INTERNAL_ERROR envelope reserved for genuinely unexpected
+ * throws.
+ */
+export class DiagnosticError extends Error {
+    /**
+     * A handler bundled with its own copy of this class (a closed-module artifact) still throws a DiagnosticError: `instanceof`
+     * matches the brand, not the class identity, so the runtime keeps its code instead of reporting INTERNAL_ERROR.
+     */
+    static [Symbol.hasInstance](value) {
+        if (this !== DiagnosticError)
+            return Function.prototype[Symbol.hasInstance].call(this, value);
+        return typeof value === "object" && value !== null && value[BRAND] === true;
+    }
+    [BRAND] = true;
+    diagnostics;
+    constructor(diagnostic, options) {
+        const list = Array.isArray(diagnostic) ? diagnostic : [diagnostic];
+        const head = list[0];
+        super(head ? head.message : "DiagnosticError", options);
+        this.name = "DiagnosticError";
+        this.diagnostics = list;
+    }
+    /** First diagnostic — convenience for single-diagnostic call sites. */
+    get diagnostic() {
+        const d = this.diagnostics[0];
+        if (!d)
+            throw new Error("DiagnosticError carries no diagnostics");
+        return d;
+    }
+}
+/**
+ * Strip security-sensitive fields for wire egress. Per ADR-0008:
+ * never expose `candidates` to untrusted callers — that leaks
+ * schema information. Internal phases (validate / test / boot)
+ * skip this redaction.
+ */
+export function redactForWire(d) {
+    if (d.candidates === undefined)
+        return d;
+    const { candidates: _omit, ...rest } = d;
+    return rest;
+}
+/**
+ * Walk a JSON Pointer (RFC 6901) on a value. Returns `undefined` for
+ * any miss. Best-effort — used to surface the offending value inside
+ * a diagnostic, not for strict pointer dereferencing.
+ */
+export function readJsonPointer(root, jsonPointer) {
+    if (!jsonPointer || jsonPointer === "/")
+        return root;
+    const parts = jsonPointer.split("/").slice(1).map(unescapePointer);
+    let cur = root;
+    for (const part of parts) {
+        if (cur && typeof cur === "object") {
+            cur = cur[part];
+        }
+        else {
+            return undefined;
+        }
+    }
+    return cur;
+}
+function unescapePointer(s) {
+    return s.replace(/~1/g, "/").replace(/~0/g, "~");
+}
+//# sourceMappingURL=diagnostic.js.map

package/dist/spec/kernel/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../../src/spec/kernel/diagnostic.ts"],"names":[],"mappings":"AAgBA;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,oBAAoB;IACpB,sBAAsB;IACtB,cAAc;IACd,iBAAiB;IACjB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,2BAA2B;IAC3B,gBAAgB;IAChB,0BAA0B;IAC1B,0BAA0B;IAC1B,oBAAoB;IACpB,iBAAiB;IACjB,wBAAwB;IACxB,iBAAiB;IACjB,yBAAyB;IACzB,yBAAyB;IACzB,4BAA4B;IAC5B,4BAA4B;IAC5B,yBAAyB;IACzB,sBAAsB;IACtB,yBAAyB;IACzB,yBAAyB;IACzB,sBAAsB;IACtB,4BAA4B;IAC5B,4BAA4B;IAC5B,uBAAuB;IACvB,6BAA6B;IAC7B,oBAAoB;IACpB,mBAAmB;IACnB,4BAA4B;IAC5B,2BAA2B;IAC3B,yBAAyB;IACzB,sBAAsB;IACtB,oHAAoH;IACpH,qCAAqC;IACrC,wEAAwE;IACxE,sDAAsD;IACtD,YAAY;IACZ,iBAAiB;IACjB,cAAc;IACd,cAAc;IACd,YAAY;IACZ,WAAW;IACX,WAAW;IACX,UAAU;IACV,mDAAmD;IACnD,0BAA0B;IAC1B,yDAAyD;IACzD,wBAAwB;IACxB,sBAAsB;IACtB,2BAA2B;IAC3B,oBAAoB;IACpB,wBAAwB;IACxB,yBAAyB;IACzB,2BAA2B;IAC3B,kCAAkC;IAClC,wBAAwB;IACxB,uBAAuB;IACvB,wBAAwB;IACxB,sBAAsB;IACtB,yBAAyB;IACzB,8BAA8B;IAC9B,gCAAgC;IAChC,0BAA0B;IAC1B,oBAAoB;IACpB,0BAA0B;IAC1B,qBAAqB;IACrB,WAAW;IACX,oBAAoB;IACpB,oCAAoC;IACpC,0BAA0B;IAC1B,yBAAyB;IACzB,0BAA0B;IAC1B,wCAAwC;IACxC,wCAAwC;IACxC,2BAA2B;IAC3B,+BAA+B;IAC/B,mCAAmC;IACnC,gCAAgC;IAChC,+BAA+B;IAC/B,gCAAgC;IAChC,oCAAoC;IACpC,kEAAkE;IAClE,yBAAyB;IACzB,iBAAiB;IACjB,aAAa;IACb,sBAAsB;IACtB,UAAU;IACV,sBAAsB;IACtB,gBAAgB;IAChB,0BAA0B;IAC1B,0CAA0C;IAC1C,gBAAgB;IAChB,qEAAqE;IACrE,mEAAmE;IACnE,sBAAsB;IACtB,qBAAqB;IACrB,sBAAsB;IACtB,wBAAwB;IACxB,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,yBAAyB;IACzB,wBAAwB;IACxB,2BAA2B;IAC3B,6BAA6B;IAC7B,gCAAgC;IAChC,uBAAuB;CACf,CAAC;AA2DX,MAAM,CAAC,MAAM,mBAAmB,GAAiE;IAC/F,kBAAkB,EAAE,GAAG;IACvB,oBAAoB,EAAE,GAAG;IACzB,YAAY,EAAE,GAAG;IACjB,eAAe,EAAE,GAAG;IACpB,eAAe,EAAE,GAAG;IACpB,mBAAmB,EAAE,GAAG;IACxB,uBAAuB,EAAE,GAAG;IAC5B,cAAc,EAAE,GAAG;IACnB,eAAe,EAAE,GAAG;IACpB,WAAW,EAAE,GAAG;IAChB,oBAAoB,EAAE,GAAG;IACzB,SAAS,EAAE,GAAG;IACd,kBAAkB,EAAE,GAAG;IACvB,QAAQ,EAAE,GAAG;IACb,yBAAyB,EAAE,GAAG;IAC9B,sBAAsB,EAAE,GAAG;IAC3B,oBAAoB,EAAE,GAAG;IACzB,cAAc,EAAE,GAAG;IACnB,wBAAwB,EAAE,GAAG;IAC7B,kEAAkE;IAClE,iEAAiE;IACjE,iEAAiE;IACjE,gEAAgE;IAChE,uBAAuB,EAAE,GAAG;IAC5B,oBAAoB,EAAE,GAAG;IACzB,mBAAmB,EAAE,GAAG;IACxB,oBAAoB,EAAE,GAAG;IACzB,sBAAsB,EAAE,GAAG;IAC3B,mBAAmB,EAAE,GAAG;IACxB,mBAAmB,EAAE,GAAG;IACxB,kBAAkB,EAAE,GAAG;IACvB,uBAAuB,EAAE,GAAG;IAC5B,sBAAsB,EAAE,GAAG;IAC3B,yBAAyB,EAAE,GAAG;IAC9B,2BAA2B,EAAE,GAAG;IAChC,8BAA8B,EAAE,GAAG;IACnC,qBAAqB,EAAE,GAAG;CAC3B,CAAC;AAEF;;eAEe;AACf,MAAM,UAAU,aAAa,CAAC,CAAa;IACzC,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAyD;IAEzD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC/F,IAAI,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,KAAK,GAAa,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,IAAI,EAAE,CAAC,CAAC;QAC1D,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjE,IAAI,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,UAAU,IAAI,CAAC,CAAC;QAC5D,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO;QACL,IAAI;QACJ,KAAK;QACL,QAAQ;QACR,IAAI;QACJ,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,KAAK;QACL,QAAQ;QACR,UAAU;QACV,UAAU;QACV,OAAO,EAAE,GAAG;QACZ,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED;;;yEAGyE;AACzE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAqB,EAAc,EAAE,CAAC,cAAc,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AACzH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAqB,EAAc,EAAE,CAAC,cAAc,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AACjH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAqB,EAAc,EAAE,CAAC,cAAc,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAIvH,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;AAE9D;;;;;;;GAOG;AACH,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC;;;OAGG;IACH,MAAM,CAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,KAAc;QACjD,IAAI,IAAI,KAAK,eAAe;YAAE,OAAO,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9F,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAK,KAAiC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;IAC3G,CAAC;IACQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IACf,WAAW,CAAwB;IAC5C,YAAY,UAA8C,EAAE,OAAsB;QAChF,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAwB,CAAC,CAAC;QACjF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACxD,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;QAC9B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,uEAAuE;IACvE,IAAI,UAAU;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAClE,OAAO,CAAC,CAAC;IACX,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,CAAa;IACzC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACzC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAa,EAAE,WAAmB;IAChE,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACnE,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACnC,GAAG,GAAI,GAA+B,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,CAAS;IAChC,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACnD,CAAC"}

package/dist/spec/kernel/index.d.ts

@@ -0,0 +1,8 @@
+/**
+ * `kernel/` — cross-cutting helpers that have no domain dependencies.
+ *
+ * Per the clean-architecture rules: kernel imports nothing else from
+ * this package. Domain / usecase / infrastructure all import here.
+ */
+export * from "./diagnostic.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/spec/kernel/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/spec/kernel/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,iBAAiB,CAAC"}

package/dist/spec/kernel/index.js

@@ -0,0 +1,8 @@
+/**
+ * `kernel/` — cross-cutting helpers that have no domain dependencies.
+ *
+ * Per the clean-architecture rules: kernel imports nothing else from
+ * this package. Domain / usecase / infrastructure all import here.
+ */
+export * from "./diagnostic.js";
+//# sourceMappingURL=index.js.map

package/dist/spec/kernel/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/spec/kernel/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,iBAAiB,CAAC"}

package/dist/spec/usecase/EmitTypes.d.ts

@@ -0,0 +1,22 @@
+import { type ProcedureManifest, type SchemaManifest, type ViewManifest } from "../domain/model/ManifestGrammar.js";
+/**
+ * TypeScript declarations from manifests, for the generated `mantle.ts`:
+ *   - Schema → Entry_<name> data shape
+ *   - Procedure → ProcInput_<name> / ProcOutput_<name>
+ *   - View → ViewInput_<name> / ViewRow_<name>
+ *
+ * Covers Mantle's supported JSON Schema subset, including local `$defs`
+ * refs, recursive definitions, `oneOf`, `const`, and dictionaries. Pure: no I/O.
+ */
+export declare function emitTypesFromManifests(request: {
+    readonly schemas: readonly SchemaManifest[];
+    readonly procedures: readonly ProcedureManifest[];
+    readonly views: readonly ViewManifest[];
+    readonly namespace: string;
+    /** View name -> row type, where the caller derived one from the compiled plan (`mantle generate`); otherwise `unknown`. */
+    readonly rows?: Readonly<Record<string, string>>;
+}): {
+    readonly source: string;
+};
+export declare function manifestTypeIdentifier(name: string): string;
+//# sourceMappingURL=EmitTypes.d.ts.map

package/dist/spec/usecase/EmitTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EmitTypes.d.ts","sourceRoot":"","sources":["../../../src/spec/usecase/EmitTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,YAAY,EAClB,MAAM,oCAAoC,CAAC;AAE5C;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,2HAA2H;IAC3H,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAClD,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAwC9B;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAM3D"}

package/dist/spec/usecase/EmitTypes.js

@@ -0,0 +1,182 @@
+/**
+ * TypeScript declarations from manifests, for the generated `mantle.ts`:
+ *   - Schema → Entry_<name> data shape
+ *   - Procedure → ProcInput_<name> / ProcOutput_<name>
+ *   - View → ViewInput_<name> / ViewRow_<name>
+ *
+ * Covers Mantle's supported JSON Schema subset, including local `$defs`
+ * refs, recursive definitions, `oneOf`, `const`, and dictionaries. Pure: no I/O.
+ */
+export function emitTypesFromManifests(request) {
+    const { schemas, procedures, views } = request;
+    const out = [];
+    out.push(`// Generated by \`mantle generate\`. Do not edit by hand.`);
+    out.push("");
+    out.push(`export namespace ${request.namespace} {`);
+    out.push("");
+    for (const s of schemas) {
+        out.push(`  /** Entry data for Schema '${docText(s.metadata.name)}' */`);
+        out.push(...declarationLines(`Entry_${manifestTypeIdentifier(s.metadata.name)}`, s.spec.schema));
+        out.push("");
+    }
+    for (const p of procedures) {
+        out.push(`  /** Procedure '${docText(p.metadata.name)}' input */`);
+        out.push(...declarationLines(`ProcInput_${manifestTypeIdentifier(p.metadata.name)}`, p.spec.input));
+        out.push("");
+        out.push(`  /** Procedure '${docText(p.metadata.name)}' output */`);
+        out.push(...declarationLines(`ProcOutput_${manifestTypeIdentifier(p.metadata.name)}`, p.spec.output));
+        out.push("");
+    }
+    for (const v of views) {
+        if (v.spec.input) {
+            out.push(`  /** Input accepted by View '${docText(v.metadata.name)}' */`);
+            out.push(...declarationLines(`ViewInput_${manifestTypeIdentifier(v.metadata.name)}`, v.spec.input, false));
+            out.push("");
+        }
+        // The row shape is the SELECT's own output, known only to the SQL compiler.
+        out.push(`  /** Row shape returned by View '${docText(v.metadata.name)}' */`);
+        out.push(`  export type ViewRow_${manifestTypeIdentifier(v.metadata.name)} = ${request.rows && Object.hasOwn(request.rows, v.metadata.name) ? request.rows[v.metadata.name] : "unknown"};`);
+        out.push("");
+    }
+    out.push(`}`);
+    return { source: out.join("\n") + "\n" };
+}
+export function manifestTypeIdentifier(name) {
+    // Keep wire names injective: `open-orders` and `open.orders` must have
+    // distinct TypeScript names now that generated bindings use string keys.
+    const identifier = [...name].map((char) => /[A-Za-z0-9]/.test(char)
+        ? char : `_u${char.codePointAt(0).toString(16).padStart(4, "0")}_`).join("");
+    return /^[A-Za-z]/.test(identifier) ? identifier : `_${identifier}`;
+}
+function docText(value) {
+    return value.replaceAll("*/", "*\\/").replace(/[\r\n]+/g, " ");
+}
+function renderContext(name, schema) {
+    return {
+        root: schema,
+        definitionNames: new Map(Object.keys(schema.$defs ?? {}).map((definition) => [
+            definition,
+            `${name}_${manifestTypeIdentifier(definition)}`,
+        ])),
+    };
+}
+/**
+ * Emit a top-level declaration. Object schemas become an `interface`
+ * (with a brace body); any non-object top-level (array / primitive /
+ * union / enum) becomes a `type` alias — `interface X string[]` is a
+ * TypeScript syntax error that would silently break the consumer's
+ * generated .d.ts. (#394)
+ */
+function declarationLines(name, schema, preferInterface = true) {
+    const context = renderContext(name, schema);
+    const lines = Object.entries(schema.$defs ?? {}).map(([definition, child]) => declLine(context.definitionNames.get(definition), child, context));
+    lines.push(declLine(name, schema, context, preferInterface));
+    return lines;
+}
+function declLine(name, schema, context, preferInterface = true) {
+    if (preferInterface && schema.type === "object" && typeof schema.additionalProperties !== "object") {
+        return `  export interface ${name} ${renderType(schema, "  ", context)}`;
+    }
+    return `  export type ${name} = ${renderTypeInline(schema, context)};`;
+}
+function renderType(schema, indent, context) {
+    if (schema.type === "object") {
+        const props = (schema.properties ?? {});
+        if (Object.keys(props).length === 0 && typeof schema.additionalProperties === "object") {
+            return `Record<string, ${renderTypeInline(schema.additionalProperties, context)}>`;
+        }
+        const required = new Set(schema.required ?? []);
+        const lines = ["{"];
+        for (const [name, sub] of Object.entries(props)) {
+            const optional = required.has(name) ? "" : "?";
+            lines.push(`${indent}  ${tsKey(name)}${optional}: ${renderTypeInline(sub, context)};`);
+        }
+        if (schema.additionalProperties !== false) {
+            if (typeof schema.additionalProperties === "object") {
+                const values = Object.values(props).map((sub) => renderTypeInline(sub, context));
+                if (Object.keys(props).some((name) => !required.has(name)))
+                    values.push("undefined");
+                values.push(renderTypeInline(schema.additionalProperties, context));
+                lines.push(`${indent}  [key: string]: ${[...new Set(values)].join(" | ")};`);
+            }
+            else {
+                lines.push(`${indent}  [key: string]: unknown;`);
+            }
+        }
+        lines.push(`${indent}}`);
+        return lines.join("\n");
+    }
+    return renderTypeInline(schema, context);
+}
+function renderTypeInline(schema, context) {
+    if (schema.$ref)
+        return withNullable(renderRef(schema.$ref, context), schema);
+    if (schema.oneOf?.length) {
+        return withNullable(schema.oneOf.map((variant) => renderTypeInline(variant, context)).join(" | "), schema);
+    }
+    if ("const" in schema)
+        return withNullable(JSON.stringify(schema.const), schema);
+    const t = schema.type;
+    if (Array.isArray(schema.enum) && schema.enum.length > 0) {
+        return withNullable(schema.enum.map((value) => JSON.stringify(value)).join(" | "), schema);
+    }
+    if (Array.isArray(t)) {
+        return withNullable(t.map((kind) => primitiveType(kind)).join(" | "), schema);
+    }
+    if (t === "object") {
+        return withNullable(renderType(schema, "", context), schema);
+    }
+    if (t === "array") {
+        const items = schema.items ? renderTypeInline(schema.items, context) : "unknown";
+        return withNullable(`${items.includes(" | ") ? `(${items})` : items}[]`, schema);
+    }
+    return withNullable(primitiveType(typeof t === "string" ? t : "unknown"), schema);
+}
+function primitiveType(t) {
+    switch (t) {
+        case "string":
+            return "string";
+        case "integer":
+        case "number":
+            return "number";
+        case "boolean":
+            return "boolean";
+        case "null":
+            return "null";
+        default:
+            return "unknown";
+    }
+}
+function withNullable(rendered, schema) {
+    return schema.nullable === true && !rendered.split(" | ").includes("null")
+        ? `${rendered} | null`
+        : rendered;
+}
+function renderRef(ref, context) {
+    let tokens;
+    try {
+        tokens = decodeURIComponent(ref.slice(2)).split("/")
+            .map((token) => token.replace(/~1/g, "/").replace(/~0/g, "~"));
+    }
+    catch {
+        return "never";
+    }
+    const directDefinition = tokens.length === 2 && tokens[0] === "$defs"
+        ? context.definitionNames.get(tokens[1])
+        : undefined;
+    if (directDefinition)
+        return directDefinition;
+    let current = context.root;
+    for (const token of tokens) {
+        current = current && typeof current === "object" && Object.prototype.hasOwnProperty.call(current, token)
+            ? current[token]
+            : undefined;
+    }
+    return current && typeof current === "object" && !Array.isArray(current)
+        ? renderTypeInline(current, context)
+        : "never";
+}
+function tsKey(name) {
+    return /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name) ? name : JSON.stringify(name);
+}
+//# sourceMappingURL=EmitTypes.js.map

package/dist/spec/usecase/EmitTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EmitTypes.js","sourceRoot":"","sources":["../../../src/spec/usecase/EmitTypes.ts"],"names":[],"mappings":"AAOA;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAOtC;IACG,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAE/C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,GAAG,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACtE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CAAC,oBAAoB,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;IACpD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEb,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,GAAG,CAAC,IAAI,CAAC,gCAAgC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzE,GAAG,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,SAAS,sBAAsB,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACjG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,oBAAoB,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnE,GAAG,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,aAAa,sBAAsB,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACpG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,oBAAoB,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACpE,GAAG,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,cAAc,sBAAsB,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACtG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YACjB,GAAG,CAAC,IAAI,CAAC,iCAAiC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1E,GAAG,CAAC,IAAI,CACN,GAAG,gBAAgB,CAAC,aAAa,sBAAsB,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CACjG,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,CAAC;QACD,4EAA4E;QAC5E,GAAG,CAAC,IAAI,CAAC,qCAAqC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,yBAAyB,sBAAsB,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QAC5L,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,uEAAuE;IACvE,yEAAyE;IACzE,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC;AACtE,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;AACjE,CAAC;AAOD,SAAS,aAAa,CAAC,IAAY,EAAE,MAAkB;IACrD,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,eAAe,EAAE,IAAI,GAAG,CACtB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;YAClD,UAAU;YACV,GAAG,IAAI,IAAI,sBAAsB,CAAC,UAAU,CAAC,EAAE;SAChD,CAAC,CACH;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,IAAY,EAAE,MAAkB,EAAE,eAAe,GAAG,IAAI;IAChF,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,CAC3E,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CACnE,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAkB,EAAE,OAAsB,EAAE,eAAe,GAAG,IAAI;IAChG,IAAI,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,oBAAoB,KAAK,QAAQ,EAAE,CAAC;QACnG,OAAO,sBAAsB,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,OAAO,iBAAiB,IAAI,MAAM,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;AACzE,CAAC;AAED,SAAS,UAAU,CAAC,MAAkB,EAAE,MAAc,EAAE,OAAsB;IAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAA+B,CAAC;QACtE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,MAAM,CAAC,oBAAoB,KAAK,QAAQ,EAAE,CAAC;YACvF,OAAO,kBAAkB,gBAAgB,CAAC,MAAM,CAAC,oBAAoB,EAAE,OAAO,CAAC,GAAG,CAAC;QACrF,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,KAAK,GAAa,CAAC,GAAG,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,KAAK,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK,EAAE,CAAC;YAC1C,IAAI,OAAO,MAAM,CAAC,oBAAoB,KAAK,QAAQ,EAAE,CAAC;gBACpD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;gBACjF,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACrF,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC,CAAC;gBACpE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC/E,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,2BAA2B,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAkB,EAAE,OAAsB;IAClE,IAAI,MAAM,CAAC,IAAI;QAAE,OAAO,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QACzB,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,OAAO,IAAI,MAAM;QAAE,OAAO,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IACjF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;IACtB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnB,OAAO,YAAY,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjF,OAAO,YAAY,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,MAAM,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,YAAY,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB,EAAE,MAAkB;IACxD,OAAO,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QACxE,CAAC,CAAC,GAAG,QAAQ,SAAS;QACtB,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,GAAW,EAAE,OAAsB;IACpD,IAAI,MAAgB,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;aACjD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO;QACnE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QACzC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,gBAAgB;QAAE,OAAO,gBAAgB,CAAC;IAC9C,IAAI,OAAO,GAAY,OAAO,CAAC,IAAI,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,GAAG,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;YACtG,CAAC,CAAE,OAAmC,CAAC,KAAK,CAAC;YAC7C,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,OAAO,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACtE,CAAC,CAAC,gBAAgB,CAAC,OAAqB,EAAE,OAAO,CAAC;QAClD,CAAC,CAAC,OAAO,CAAC;AACd,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC"}

package/dist/spec/usecase/ValidateManifestsUseCase.d.ts

@@ -0,0 +1,8 @@
+import type { ValidateManifestsRequest } from "./dto/ValidateManifestsRequest.js";
+import type { ValidateManifestsResponse } from "./dto/ValidateManifestsResponse.js";
+/** Link one parser-owned value and apply optional authoring checks. */
+export declare class ValidateManifestsUseCase {
+    execute(request: ValidateManifestsRequest): ValidateManifestsResponse;
+    static run(request: ValidateManifestsRequest): ValidateManifestsResponse;
+}
+//# sourceMappingURL=ValidateManifestsUseCase.d.ts.map

package/dist/spec/usecase/ValidateManifestsUseCase.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateManifestsUseCase.d.ts","sourceRoot":"","sources":["../../../src/spec/usecase/ValidateManifestsUseCase.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAwB,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAExG,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAEpF,uEAAuE;AACvE,qBAAa,wBAAwB;IACnC,OAAO,CAAC,OAAO,EAAE,wBAAwB,GAAG,yBAAyB;IAsBrE,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,wBAAwB,GAAG,yBAAyB;CAGzE"}