@aotter/mantle 0.2.0-alpha.6 → 0.2.0-alpha.7

package/dist/spec/infrastructure/sql/compileSql.d.ts

@@ -1,35 +0,0 @@
-/**
- * The shared front end (ADR-0035 decision 4): SQL text to IR. The parser reads the text and every relation is tagged;
- * the dialect's `accepts` runs on the raw AST (so a refusal has a source offset); then locations are stripped.
- * The dialect is D1 unless the caller passes another (`mantle.config.json`'s `dialect`, ADR-0035 decision 5). Nothing in a Worker imports this module.
- */
-import type { SqlContext, SqlDiagnostic, SqlNode, SqlPlan } from "../../domain/model/SqlIr.js";
-/** A dialect's compile side, as `<dialect>/compile` exports it (ADR-0035 decision 3). */
-export interface SqlDialect {
-    readonly name: string;
-    readonly version: string;
-    /** Throws the first refusal as a `SqlRefusal` with its source offset. */
-    accepts(stmts: SqlNode[], context: SqlContext & {
-        source: string;
-    }, locations: (number | undefined)[]): void;
-}
-/**
- * The relation names a source reads, less every name it defines as a CTE, or none when it does not parse: the compiler
- * orders Views by them. ponytail: a CTE named like a View hides that View for the whole source, not only in the CTE's scope.
- */
-export declare function relationNames(sql: string): Promise<Set<string>>;
-export type CompileSqlResult = {
-    readonly ok: true;
-    readonly plan: SqlPlan;
-} | {
-    readonly ok: false;
-    readonly diagnostic: SqlDiagnostic;
-};
-/** UTF-8 byte offset (what libpg-query reports) to offset, 1-based line and column, and the token there. */
-export declare function locate(source: string, byteOffset: number): Pick<SqlDiagnostic, "offset" | "line" | "column" | "token">;
-/**
- * Compile one SQL source (a View's `sql`, or a Procedure's statements) to a plan, or say why not.
- * The first refusal is returned: the compiler stops at the first thing it cannot accept.
- */
-export declare function compileSql(sql: string, ctx: SqlContext, dialect?: SqlDialect): Promise<CompileSqlResult>;
-//# sourceMappingURL=compileSql.d.ts.map

package/dist/spec/infrastructure/sql/compileSql.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"compileSql.d.ts","sourceRoot":"","sources":["../../../../src/spec/infrastructure/sql/compileSql.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAO/F,yFAAyF;AACzF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yEAAyE;IACzE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,UAAU,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,SAAS,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,IAAI,CAAC;CAC9G;AAED;;;GAGG;AACH,wBAAsB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAWrE;AAED,MAAM,MAAM,gBAAgB,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAA;CAAE,CAAC;AAE1I,4GAA4G;AAC5G,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,CAMtH;AAkCD;;;GAGG;AACH,wBAAsB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,GAAE,UAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAYlH"}

package/dist/spec/infrastructure/sql/compileSql.js

@@ -1,92 +0,0 @@
-import { PG_GRAMMAR } from "../../domain/model/SqlIr.js";
-import { SqlRefusal } from "../../domain/service/SqlRefusal.js";
-import * as d1 from "../../../d1/compile/index.js";
-import { parsePgSql } from "./PgQueryParser.js";
-import { refuseForEveryDialect } from "./frontEnd.js";
-/**
- * The relation names a source reads, less every name it defines as a CTE, or none when it does not parse: the compiler
- * orders Views by them. ponytail: a CTE named like a View hides that View for the whole source, not only in the CTE's scope.
- */
-export async function relationNames(sql) {
-    const names = new Set(), ctes = new Set();
-    const walk = (v) => {
-        if (Array.isArray(v))
-            return v.forEach(walk);
-        if (!v || typeof v !== "object")
-            return;
-        if (typeof v.relname === "string")
-            names.add(v.relname);
-        if (typeof v.ctename === "string")
-            ctes.add(v.ctename);
-        Object.values(v).forEach(walk);
-    };
-    try {
-        walk((await parsePgSql(sql)).stmts);
-    }
-    catch { /* compileSql reports it */ }
-    return new Set([...names].filter((n) => !ctes.has(n)));
-}
-/** UTF-8 byte offset (what libpg-query reports) to offset, 1-based line and column, and the token there. */
-export function locate(source, byteOffset) {
-    const prefix = new TextDecoder("utf-8", { ignoreBOM: true, fatal: false }).decode(new TextEncoder().encode(source).subarray(0, byteOffset));
-    const lines = prefix.split("\n");
-    const rest = source.slice(prefix.length);
-    const token = /^("[^"]*"|'[^']*'|[\w.$]+|\S)/.exec(rest)?.[0];
-    return { offset: prefix.length, line: lines.length, column: lines[lines.length - 1].length + 1, ...(token ? { token } : {}) };
-}
-function toDiagnostic(e, source) {
-    // a clause the AST gives no position: point at its keyword, never at a quoted string or identifier
-    // that spells it (literals are blanked to the same length, so indexes still match the source)
-    const at = e.keyword?.exec(source.replace(/'(?:[^']|'')*'|"(?:[^"]|"")*"/g, (m) => " ".repeat(m.length)));
-    if (at)
-        return { code: e.code, message: e.message, ...locate(source, new TextEncoder().encode(source.slice(0, at.index)).byteLength), token: at[0] };
-    return { code: e.code, message: e.message, ...(e.offset === undefined ? {} : locate(source, e.offset)) };
-}
-/** Tag every RangeVar a table; the front end retags a CTE in scope `cte` and a View `view`. */
-function tagRelations(v) {
-    if (Array.isArray(v))
-        return v.map(tagRelations);
-    if (!v || typeof v !== "object")
-        return v;
-    const out = {};
-    for (const [k, c] of Object.entries(v))
-        out[k] = tagRelations(c);
-    if ("relname" in out && !("mantle" in out))
-        out.mantle = "table";
-    return out;
-}
-/** Every relation tagged `view` becomes its View's compiled SELECT, as a FROM subquery under the name it was read by. */
-function inlineViews(v, views) {
-    if (Array.isArray(v))
-        return v.map((x) => inlineViews(x, views));
-    if (!v || typeof v !== "object")
-        return v;
-    const rv = v.RangeVar;
-    if (rv?.mantle === "view")
-        return { RangeSubselect: { subquery: { SelectStmt: structuredClone(views[rv.relname].select) }, alias: { aliasname: rv.alias?.aliasname ?? rv.relname } } };
-    return Object.fromEntries(Object.entries(v).map(([k, c]) => [k, inlineViews(c, views)]));
-}
-/** Drop what only diagnostics need. */
-function stripLocations(v) {
-    return JSON.parse(JSON.stringify(v), (k, c) => (k === "location" || k === "rexpr_list_start" || k === "rexpr_list_end" ? undefined : c));
-}
-/**
- * Compile one SQL source (a View's `sql`, or a Procedure's statements) to a plan, or say why not.
- * The first refusal is returned: the compiler stops at the first thing it cannot accept.
- */
-export async function compileSql(sql, ctx, dialect = d1) {
-    try {
-        const parsed = await parsePgSql(sql);
-        const tagged = tagRelations(parsed.stmts);
-        refuseForEveryDialect(tagged, ctx, parsed.locations);
-        const stmts = ctx.views ? inlineViews(tagged, ctx.views) : tagged;
-        dialect.accepts(stmts, { ...ctx, source: sql }, parsed.locations);
-        return { ok: true, plan: { grammar: PG_GRAMMAR, stmts: stripLocations(stmts) } };
-    }
-    catch (e) {
-        if (e instanceof SqlRefusal)
-            return { ok: false, diagnostic: toDiagnostic(e, sql) };
-        throw e;
-    }
-}
-//# sourceMappingURL=compileSql.js.map

package/dist/spec/infrastructure/sql/compileSql.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"compileSql.js","sourceRoot":"","sources":["../../../../src/spec/infrastructure/sql/compileSql.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAUtD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAW;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,EAAE,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1D,MAAM,IAAI,GAAG,CAAC,CAAM,EAAQ,EAAE;QAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO;QACxC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,IAAI,CAAC;QAAC,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,2BAA2B,CAAC,CAAC;IAClF,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAID,4GAA4G;AAC5G,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,UAAkB;IACvD,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;IAC5I,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACjI,CAAC;AAED,SAAS,YAAY,CAAC,CAAa,EAAE,MAAc;IACjD,mGAAmG;IACnG,8FAA8F;IAC9F,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,gCAAgC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1G,IAAI,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrJ,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;AAC3G,CAAC;AAED,+FAA+F;AAC/F,SAAS,YAAY,CAAC,CAAM;IAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAY,EAAE,CAAC;IACxB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,SAAS,IAAI,GAAG,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAAE,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC;IACjE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yHAAyH;AACzH,SAAS,WAAW,CAAC,CAAM,EAAE,KAA0B;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACtB,IAAI,EAAE,EAAE,MAAM,KAAK,MAAM;QAAE,OAAO,EAAE,cAAc,EAAE,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,eAAe,CAAC,KAAM,CAAC,EAAE,CAAC,OAAO,CAAE,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IACzL,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,uCAAuC;AACvC,SAAS,cAAc,CAAC,CAAU;IAChC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,kBAAkB,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3I,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,GAAW,EAAE,GAAe,EAAE,UAAsB,EAAE;IACrF,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAc,CAAC;QACvD,qBAAqB,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAe,CAAC,CAAC,CAAC,MAAM,CAAC;QACjF,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAClE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IACnF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACpF,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}

package/dist/spec/infrastructure/sql/frontEnd.d.ts

@@ -1,8 +0,0 @@
-/**
- * What no dialect may run (ADR-0035 decision 4), refused before the dialect's `accepts` sees the tree. A dialect may refuse
- * more; it never has to refuse these itself. Runs on the raw AST, so every refusal has a source offset. A relation that
- * names a CTE in scope is tagged `cte`, so no dialect reads it as a table.
- */
-import type { SqlContext, SqlNode as N } from "../../domain/model/SqlIr.js";
-export declare function refuseForEveryDialect(stmts: readonly N[], ctx: SqlContext, locations: readonly (number | undefined)[]): void;
-//# sourceMappingURL=frontEnd.d.ts.map

package/dist/spec/infrastructure/sql/frontEnd.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"frontEnd.d.ts","sourceRoot":"","sources":["../../../../src/spec/infrastructure/sql/frontEnd.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,IAAI,CAAC,EAAE,MAAM,6BAA6B,CAAC;AAoB5E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,IAAI,CAO5H"}

package/dist/spec/infrastructure/sql/frontEnd.js

@@ -1,100 +0,0 @@
-import { SqlRefusal } from "../../domain/service/SqlRefusal.js";
-const STATEMENTS = new Set(["SelectStmt", "InsertStmt", "UpdateStmt", "DeleteStmt", "MergeStmt"]);
-const WRITES = new Set(["InsertStmt", "UpdateStmt", "DeleteStmt", "MergeStmt"]);
-/** The functions of decision 2: the only members of the `mantle` and `auth` schemas. */
-const MANTLE_FUNCTIONS = new Set(["mantle.search", "mantle.search_rank", "mantle.near", "mantle.distance", "auth.uid", "auth.role"]);
-/** Functions that change session or server state, reach outside the database, or run SQL text the front end cannot see. */
-const OUTSIDE = /^(pg_(try_)?advisory_|pg_read_(binary_)?file$|pg_ls_|pg_stat_file$|pg_file_|lo_|dblink|pg_(cancel|terminate|signal)_backend$|pg_reload_conf$|pg_rotate_logfile$|pg_notify$|(set|next)val$|(query|table|cursor|schema|database)_to_xml|ts_stat$|ts_rewrite$)/;
-const no = (code, message, at) => {
-    throw new SqlRefusal(code, message, at);
-};
-/** A function's name as PostgreSQL resolves it: a leading catalog (`db.schema.f`) and `pg_catalog.` dropped, case folded. */
-function functionName(n) {
-    const parts = n.funcname.map((x) => String(x.String?.sval).toLowerCase());
-    return parts.slice(-2).join(".").replace(/^pg_catalog\./, "");
-}
-export function refuseForEveryDialect(stmts, ctx, locations) {
-    if (ctx.kind === "view" && (stmts.length !== 1 || !stmts[0].SelectStmt))
-        no("SQL_SHAPE", "a View is exactly one SELECT", locations[1] ?? locations[0]);
-    stmts.forEach((stmt, i) => {
-        const type = Object.keys(stmt)[0];
-        if (!STATEMENTS.has(type))
-            no("SQL_UNSUPPORTED", `statement ${type} is refused`, locations[i]);
-        walk(stmt, new Set(), locations[i], ctx);
-    });
-}
-/** Walk a subtree with the CTE names in scope. PostgreSQL's rule: a CTE sees earlier siblings (every sibling when RECURSIVE). */
-function walk(v, ctes, at, ctx) {
-    if (Array.isArray(v))
-        return v.forEach((x) => walk(x, ctes, at, ctx));
-    if (!v || typeof v !== "object")
-        return;
-    for (const [k, c] of Object.entries(v)) {
-        if (!c || typeof c !== "object" || Array.isArray(c)) {
-            walk(c, ctes, at, ctx);
-            continue;
-        }
-        const n = c;
-        const here = typeof n.location === "number" ? n.location : at;
-        // a write's target is a RangeVar without its type key
-        if (k === "RangeVar" || k === "relation")
-            relation(n, ctes, here, ctx, k === "relation");
-        // a set operation's branches are SELECT bodies without their type key, each with its own WITH
-        else if (STATEMENTS.has(k) || ((k === "larg" || k === "rarg") && "op" in n)) {
-            if (ctx.kind === "view" && WRITES.has(k))
-                no("SQL_SHAPE", "a View reads only: no write in a WITH", here);
-            if (n.intoClause)
-                no("SQL_UNSUPPORTED", "SELECT ... INTO creates a table and is refused", here);
-            const w = n.withClause;
-            const names = (w?.ctes ?? []).map((x) => String(x.CommonTableExpr.ctename));
-            (w?.ctes ?? []).forEach((x, j) => walk(x.CommonTableExpr.ctequery, new Set([...ctes, ...(w.recursive ? names : names.slice(0, j))]), here, ctx));
-            const inner = new Set([...ctes, ...names]);
-            for (const [key, body] of Object.entries(n))
-                if (key !== "withClause")
-                    walk({ [key]: body }, inner, here, ctx);
-            continue;
-        }
-        else if (k === "ColumnRef") {
-            const f = n.fields.map((x) => x.String?.sval);
-            if (f.length === 2 && f[0] === "input" && !Object.hasOwn(ctx.inputs, String(f[1])))
-                no("SQL_COLUMN", `input.${f[1]} is not a declared input`, here);
-        }
-        else if (k === "FuncCall") {
-            const f = functionName(n);
-            if (/^(mantle|auth)\./.test(f) && !MANTLE_FUNCTIONS.has(f))
-                no("SQL_FUNCTION", `${f} is not one of Mantle's functions`, here);
-            if (OUTSIDE.test(f))
-                no("SQL_FUNCTION", `${f} changes session or server state, or reaches outside the database`, here);
-            const setting = n.args?.[0]?.A_Const?.sval?.sval;
-            // a caller setting could be forged from SQL: a name that is not a literal outside mantle.* is refused (setting names ignore case)
-            if ((f === "set_config" || f === "current_setting") && (typeof setting !== "string" || setting.toLowerCase().startsWith("mantle.")))
-                no("SQL_FUNCTION", `${f} of a mantle.* setting is refused`, here);
-        }
-        walk(n, ctes, here, ctx);
-    }
-}
-/**
- * A relation is a CTE in scope, a declared Schema, or an internal View (ADR-0037 decision 3), by PostgreSQL's name rules
- * (unquoted names are already folded). A View is tagged `view`; the compiler inlines it before any dialect sees the tree.
- */
-function relation(n, ctes, at, ctx, written) {
-    const name = String(n.relname);
-    if (n.schemaname || n.catalogname)
-        no("SQL_RELATION", `${n.schemaname ?? n.catalogname}.${name}: a relation is a declared Schema, never schema-qualified`, at);
-    if (ctes.has(name)) {
-        n.mantle = "cte";
-        return;
-    }
-    const view = Object.hasOwn(ctx.schemas, name) ? undefined : ctx.views?.[name];
-    if (view) {
-        if (written)
-            no("SQL_WRITE", `${name} is a View: a View is read, never written`, at);
-        if (view.refusal)
-            no("SQL_RELATION", view.refusal, at);
-        n.mantle = "view";
-        return;
-    }
-    if (!Object.hasOwn(ctx.schemas, name))
-        no("SQL_RELATION", `${name} is not a declared Schema`, at);
-}
-//# sourceMappingURL=frontEnd.js.map

package/dist/spec/infrastructure/sql/frontEnd.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"frontEnd.js","sourceRoot":"","sources":["../../../../src/spec/infrastructure/sql/frontEnd.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAEhE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;AAClG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;AAChF,wFAAwF;AACxF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,oBAAoB,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AACrI,2HAA2H;AAC3H,MAAM,OAAO,GAAG,6PAA6P,CAAC;AAE9Q,MAAM,EAAE,GAAG,CAAC,IAAiD,EAAE,OAAe,EAAE,EAAsB,EAAS,EAAE;IAC/G,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,6HAA6H;AAC7H,SAAS,YAAY,CAAC,CAAI;IACxB,MAAM,KAAK,GAAI,CAAC,CAAC,QAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAmB,EAAE,GAAe,EAAE,SAA0C;IACpH,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;QAAE,EAAE,CAAC,WAAW,EAAE,8BAA8B,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACxJ,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,EAAE,CAAC,iBAAiB,EAAE,aAAa,IAAI,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,iIAAiI;AACjI,SAAS,IAAI,CAAC,CAAU,EAAE,IAAyB,EAAE,EAAsB,EAAE,GAAe;IAC1F,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC1F,MAAM,CAAC,GAAG,CAAM,CAAC;QACjB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,sDAAsD;QACtD,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,UAAU;YAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC;QACzF,8FAA8F;aACzF,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC;YAC5E,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,EAAE,CAAC,WAAW,EAAE,uCAAuC,EAAE,IAAI,CAAC,CAAC;YACzG,IAAI,CAAC,CAAC,UAAU;gBAAE,EAAE,CAAC,iBAAiB,EAAE,gDAAgD,EAAE,IAAI,CAAC,CAAC;YAChG,MAAM,CAAC,GAAG,CAAC,CAAC,UAA2B,CAAC;YACxC,MAAM,KAAK,GAAI,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;YACpF,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3J,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;YAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,IAAI,GAAG,KAAK,YAAY;oBAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAC/G,SAAS;QACX,CAAC;aAAM,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAI,CAAC,CAAC,MAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,0BAA0B,EAAE,IAAI,CAAC,CAAC;QACtJ,CAAC;aAAM,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,mCAAmC,EAAE,IAAI,CAAC,CAAC;YAC9H,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,mEAAmE,EAAE,IAAI,CAAC,CAAC;YACvH,MAAM,OAAO,GAAI,CAAC,CAAC,IAAwB,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC;YACtE,kIAAkI;YAClI,IAAI,CAAC,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBAAE,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,mCAAmC,EAAE,IAAI,CAAC,CAAC;QACzM,CAAC;QACD,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,QAAQ,CAAC,CAAI,EAAE,IAAyB,EAAE,EAAsB,EAAE,GAAe,EAAE,OAAgB;IAC1G,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW;QAAE,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,IAAI,IAAI,2DAA2D,EAAE,EAAE,CAAC,CAAC;IAC/J,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAAC,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC;QAAC,OAAO;IAAC,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9E,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,OAAO;YAAE,EAAE,CAAC,WAAW,EAAE,GAAG,IAAI,2CAA2C,EAAE,EAAE,CAAC,CAAC;QACrF,IAAI,IAAI,CAAC,OAAO;YAAE,EAAE,CAAC,cAAc,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACvD,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;QAClB,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,EAAE,CAAC,cAAc,EAAE,GAAG,IAAI,2BAA2B,EAAE,EAAE,CAAC,CAAC;AACpG,CAAC"}

package/dist/spec/infrastructure/sql/index.d.ts

@@ -1,4 +0,0 @@
-/** `sql/` — the CLI-side Store SQL compiler (ADR-0034). The runtime never imports this folder. */
-export * from "./compileSql.js";
-export * from "./compilePlan.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/spec/infrastructure/sql/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/spec/infrastructure/sql/index.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}

package/dist/spec/infrastructure/sql/index.js

@@ -1,4 +0,0 @@
-/** `sql/` — the CLI-side Store SQL compiler (ADR-0034). The runtime never imports this folder. */
-export * from "./compileSql.js";
-export * from "./compilePlan.js";
-//# sourceMappingURL=index.js.map

package/dist/spec/infrastructure/sql/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/spec/infrastructure/sql/index.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../../src/spec/kernel/diagnostic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,o/EAmHnB,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;CAC9B;AAED,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,OAAO,EAAE,aAAa,GAAG,SAAS,GAAG,SAAS,CAAC;QACxD,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,GAAG,MAAM,GAAG,WAAW,CAAC;QAChE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,kHAAkH;IAClH,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAAC;KAC/C,CAAC;CACH;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,iBAAiB,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAElH,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC,CAsC5F,CAAC;AAEF;;eAEe;AACf,wBAAgB,aAAa,CAAC,CAAC,EAAE,UAAU,GAAG,iBAAiB,CAE9D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG;IAAE,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GACxD,UAAU,CAwBZ;AAED;;;yEAGyE;AACzE,eAAO,MAAM,kBAAkB,GAAI,OAAO,cAAc,KAAG,UAA6D,CAAC;AACzH,eAAO,MAAM,cAAc,GAAI,OAAO,cAAc,KAAG,UAAyD,CAAC;AACjH,eAAO,MAAM,iBAAiB,GAAI,OAAO,cAAc,KAAG,UAA4D,CAAC;AAEvH,KAAK,cAAc,GAAG,IAAI,CAAC,UAAU,EAAE,OAAO,GAAG,SAAS,CAAC,GAAG;IAAE,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAenF,QAAA,MAAM,KAAK,eAAkD,CAAC;AAE9D;;;;;;;GAOG;AACH,qBAAa,eAAgB,SAAQ,KAAK;IACxC;;;OAGG;WACa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO;IAI7D,QAAQ,CAAC,CAAC,KAAK,CAAC,QAAQ;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;gBAChC,UAAU,EAAE,UAAU,GAAG,SAAS,UAAU,EAAE,EAAE,OAAO,CAAC,EAAE,YAAY;IAQlF,uEAAuE;IACvE,IAAI,UAAU,IAAI,UAAU,CAI3B;CACF;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,UAAU,GAAG,UAAU,CAIvD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAY3E"}

package/dist/spec/kernel/diagnostic.js

@@ -1,301 +0,0 @@
-/**
- * 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",
-    // Admin extensions (ADR-lite 1376): a bad declaration, and a uiSchema name that is missing, of the wrong target or given bad options.
-    "UI_EXTENSION_INVALID",
-    "UI_EXTENSION_UNKNOWN",
-    "UI_EXTENSION_TARGET",
-    "UI_EXTENSION_OPTIONS",
-    "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

@@ -1 +0,0 @@
-{"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,sIAAsI;IACtI,sBAAsB;IACtB,sBAAsB;IACtB,qBAAqB;IACrB,sBAAsB;IACtB,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

@@ -1,8 +0,0 @@
-/**
- * `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

@@ -1 +0,0 @@
-{"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

@@ -1,8 +0,0 @@
-/**
- * `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

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