@blockml/framework 0.8.1 → 0.9.1

package/dist/expression/parse-interpolated-text.js

@@ -0,0 +1,80 @@
+import { parseExpression } from "./parse-expression.js";
+import { holeLooksLikeModelBinding, INTERPOLATION_NOT_ALLOWED, restrictedExpressionError, } from "./restricted.js";
+function findMatchingBrace(input, start) {
+    let depth = 1;
+    let quote = null;
+    for (let i = start; i < input.length; i++) {
+        const ch = input[i];
+        if (quote) {
+            if (ch === "\\" && i + 1 < input.length) {
+                i++;
+                continue;
+            }
+            if (ch === quote) {
+                quote = null;
+            }
+            continue;
+        }
+        if (ch === '"' || ch === "'") {
+            quote = ch;
+            continue;
+        }
+        if (ch === "{") {
+            depth++;
+        }
+        else if (ch === "}") {
+            depth--;
+            if (depth === 0) {
+                return i;
+            }
+        }
+    }
+    return -1;
+}
+export function parseInterpolatedText(raw) {
+    const parts = [];
+    let i = 0;
+    let literal = "";
+    while (i < raw.length) {
+        if (raw[i] === "\\" && raw.slice(i, i + 3) === "\\${") {
+            literal += "${";
+            i += 3;
+            continue;
+        }
+        if (raw[i] === "$" && raw[i + 1] === "{") {
+            if (literal) {
+                parts.push({ kind: "literal", value: literal });
+                literal = "";
+            }
+            const end = findMatchingBrace(raw, i + 2);
+            if (end < 0) {
+                return { ok: false, error: { message: "Unclosed interpolation", offset: i } };
+            }
+            const hole = raw.slice(i + 2, end);
+            if (holeLooksLikeModelBinding(hole)) {
+                return {
+                    ok: false,
+                    error: { message: INTERPOLATION_NOT_ALLOWED, offset: i },
+                };
+            }
+            const parsed = parseExpression(hole);
+            if (!parsed.ok) {
+                return parsed;
+            }
+            const restricted = restrictedExpressionError(parsed.result.ast);
+            if (restricted) {
+                return { ok: false, error: { message: restricted, offset: i } };
+            }
+            parts.push(parsed.result.ast);
+            i = end + 1;
+            continue;
+        }
+        literal += raw[i];
+        i++;
+    }
+    if (literal) {
+        parts.push({ kind: "literal", value: literal });
+    }
+    return { ok: true, result: { ast: { kind: "interpolated", parts } } };
+}
+//# sourceMappingURL=parse-interpolated-text.js.map

package/dist/expression/parse-interpolated-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-interpolated-text.js","sourceRoot":"","sources":["../../src/expression/parse-interpolated-text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EACL,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AAGzB,SAAS,iBAAiB,CAAC,KAAa,EAAE,KAAa;IACrD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;gBACxC,CAAC,EAAE,CAAC;gBACJ,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBACjB,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC7B,KAAK,GAAG,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACtB,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,OAAO,CAAC,CAAC;YACX,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YACtD,OAAO,IAAI,IAAI,CAAC;YAChB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACzC,IAAI,OAAO,EAAE,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBAChD,OAAO,GAAG,EAAE,CAAC;YACf,CAAC;YACD,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBACZ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChF,CAAC;YACD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACnC,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE,EAAE,OAAO,EAAE,yBAAyB,EAAE,MAAM,EAAE,CAAC,EAAE;iBACzD,CAAC;YACJ,CAAC;YACD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAChE,IAAI,UAAU,EAAE,CAAC;gBACf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClE,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;YACZ,SAAS;QACX,CAAC;QACD,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,EAAE,CAAC;IACN,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACxE,CAAC"}

package/dist/expression/restricted.d.ts

@@ -0,0 +1,5 @@
+import type { ExpressionNode } from "./types.js";
+export declare const INTERPOLATION_NOT_ALLOWED = "not allowed in interpolated text";
+export declare function restrictedExpressionError(node: ExpressionNode): string | undefined;
+export declare function holeLooksLikeModelBinding(raw: string): boolean;
+//# sourceMappingURL=restricted.d.ts.map

package/dist/expression/restricted.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"restricted.d.ts","sourceRoot":"","sources":["../../src/expression/restricted.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,eAAO,MAAM,yBAAyB,qCACF,CAAC;AAIrC,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAyDlF;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAE9D"}

package/dist/expression/restricted.js

@@ -0,0 +1,65 @@
+export const INTERPOLATION_NOT_ALLOWED = "not allowed in interpolated text";
+const ALLOWED_CALL = /^#(math|strings)\./;
+export function restrictedExpressionError(node) {
+    switch (node.kind) {
+        case "literal":
+            return undefined;
+        case "binary":
+            if (node.operator !== "+") {
+                return INTERPOLATION_NOT_ALLOWED;
+            }
+            return (restrictedExpressionError(node.left) ?? restrictedExpressionError(node.right));
+        case "property": {
+            const head = propertyPathHead(node.path);
+            if (head.startsWith("@")) {
+                return INTERPOLATION_NOT_ALLOWED;
+            }
+            return undefined;
+        }
+        case "call": {
+            if (!ALLOWED_CALL.test(node.callee)) {
+                return INTERPOLATION_NOT_ALLOWED;
+            }
+            for (const arg of node.args) {
+                const err = restrictedExpressionError(arg);
+                if (err) {
+                    return err;
+                }
+            }
+            return undefined;
+        }
+        case "array":
+            for (const el of node.elements) {
+                const err = restrictedExpressionError(el);
+                if (err) {
+                    return err;
+                }
+            }
+            return undefined;
+        case "object":
+            for (const el of Object.values(node.entries)) {
+                const err = restrictedExpressionError(el);
+                if (err) {
+                    return err;
+                }
+            }
+            return undefined;
+        case "interpolated":
+            for (const part of node.parts) {
+                const err = restrictedExpressionError(part);
+                if (err) {
+                    return err;
+                }
+            }
+            return undefined;
+        default:
+            return INTERPOLATION_NOT_ALLOWED;
+    }
+}
+export function holeLooksLikeModelBinding(raw) {
+    return /@[A-Za-z_]\w*\s*:/.test(raw);
+}
+function propertyPathHead(path) {
+    return path.flatMap((seg) => seg.split(".")).filter(Boolean)[0] ?? "";
+}
+//# sourceMappingURL=restricted.js.map

package/dist/expression/restricted.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"restricted.js","sourceRoot":"","sources":["../../src/expression/restricted.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,yBAAyB,GACpC,kCAAkC,CAAC;AAErC,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,UAAU,yBAAyB,CAAC,IAAoB;IAC5D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBAC1B,OAAO,yBAAyB,CAAC;YACnC,CAAC;YACD,OAAO,CACL,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAC9E,CAAC;QACJ,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,OAAO,yBAAyB,CAAC;YACnC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,OAAO,yBAAyB,CAAC;YACnC,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;gBAC3C,IAAI,GAAG,EAAE,CAAC;oBACR,OAAO,GAAG,CAAC;gBACb,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,OAAO;YACV,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;gBAC1C,IAAI,GAAG,EAAE,CAAC;oBACR,OAAO,GAAG,CAAC;gBACb,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7C,MAAM,GAAG,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;gBAC1C,IAAI,GAAG,EAAE,CAAC;oBACR,OAAO,GAAG,CAAC;gBACb,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,KAAK,cAAc;YACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;gBAC5C,IAAI,GAAG,EAAE,CAAC;oBACR,OAAO,GAAG,CAAC;gBACb,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,yBAAyB,CAAC;IACrC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,GAAW;IACnD,OAAO,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAc;IACtC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACxE,CAAC"}

package/dist/expression/types.d.ts

@@ -1,4 +1,4 @@
-export type ExpressionNode = LiteralExpressionNode | ArrayExpressionNode | ObjectExpressionNode | PropertyExpressionNode | CallExpressionNode | BinaryExpressionNode;
+export type ExpressionNode = LiteralExpressionNode | ArrayExpressionNode | ObjectExpressionNode | PropertyExpressionNode | CallExpressionNode | BinaryExpressionNode | InterpolatedStringNode;
 export interface BinaryExpressionNode {
     kind: "binary";
     operator: "+" | "-" | "*" | "/";
@@ -26,6 +26,10 @@ export interface CallExpressionNode {
     callee: string;
     args: ExpressionNode[];
 }
+export interface InterpolatedStringNode {
+    kind: "interpolated";
+    parts: ExpressionNode[];
+}
 export interface ParseExpressionResult {
     ast: ExpressionNode;
     resultTypeFqn?: string;

package/dist/expression/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/expression/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GACtB,qBAAqB,GACrB,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,kBAAkB,GAClB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAChC,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;CACzC;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,cAAc,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACpC,GAAG,EAAE,cAAc,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,sBAAsB,GAC9B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,GAC3C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,oBAAoB,CAAA;CAAE,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/expression/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GACtB,qBAAqB,GACrB,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,kBAAkB,GAClB,oBAAoB,GACpB,sBAAsB,CAAC;AAE3B,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAChC,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;CACzC;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,cAAc,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,qBAAqB;IACpC,GAAG,EAAE,cAAc,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,sBAAsB,GAC9B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,GAC3C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,oBAAoB,CAAA;CAAE,CAAC"}

package/dist/index.d.ts

@@ -5,14 +5,18 @@ export { rootFqnByFilePath, rootFqns } from "./registry/root-fqn.js";
 export { getExportedFqns } from "./registry/library-exports.js";
 export { peekLibraryTypeFqn } from "./registry/library-bootstrap.js";
 export { forkBom } from "./fork/fork-bom.js";
-export { resolveEffectiveMembers, resolveContracts, collectBaseTypeChain, memberIdentityKey, } from "./resolve/resolve-effective-members.js";
+export { resolveEffectiveMembers, resolveContracts, collectBaseTypeChain, memberIdentityKey, findLocalMember, } from "./resolve/resolve-effective-members.js";
 export { parseExpression } from "./expression/parse-expression.js";
-export type { ExpressionNode, ParseExpressionResult, ParseExpressionOutcome, } from "./expression/types.js";
+export { parseInterpolatedText } from "./expression/parse-interpolated-text.js";
+export { evaluateExpression, evaluateInterpolatedText, ExpressionEvaluationError, } from "./expression/evaluate-expression.js";
+export type { ExpressionScope } from "./expression/evaluate-expression.js";
+export type { ExpressionNode, InterpolatedStringNode, ParseExpressionResult, ParseExpressionOutcome, } from "./expression/types.js";
 export { validateTypes, getPropertyNumericValue, isLiteralValue, } from "./validate/validate-types.js";
 export { validateVersions } from "./validate/validate-versions.js";
 export { validateConstraints } from "./validate/validate-constraints.js";
 export { validateEmbeddedBlocks } from "./validate/validate-embedded-blocks.js";
 export { validateInstances } from "./validate/validate-instances.js";
+export { validateGenerics } from "./validate/validate-generics.js";
 export { validatePresets } from "./validate/validate-presets.js";
 export { validateVisibility } from "./validate/validate-visibility.js";
 export { validateReadOnly } from "./validate/validate-readonly.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,cAAc,GACpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,YAAY,EACV,cAAc,EACd,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,cAAc,GACpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,eAAe,GAChB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,qCAAqC,CAAC;AAC7C,YAAY,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAC3E,YAAY,EACV,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}

package/dist/index.js

@@ -5,13 +5,16 @@ export { rootFqnByFilePath, rootFqns } from "./registry/root-fqn.js";
 export { getExportedFqns } from "./registry/library-exports.js";
 export { peekLibraryTypeFqn } from "./registry/library-bootstrap.js";
 export { forkBom } from "./fork/fork-bom.js";
-export { resolveEffectiveMembers, resolveContracts, collectBaseTypeChain, memberIdentityKey, } from "./resolve/resolve-effective-members.js";
+export { resolveEffectiveMembers, resolveContracts, collectBaseTypeChain, memberIdentityKey, findLocalMember, } from "./resolve/resolve-effective-members.js";
 export { parseExpression } from "./expression/parse-expression.js";
+export { parseInterpolatedText } from "./expression/parse-interpolated-text.js";
+export { evaluateExpression, evaluateInterpolatedText, ExpressionEvaluationError, } from "./expression/evaluate-expression.js";
 export { validateTypes, getPropertyNumericValue, isLiteralValue, } from "./validate/validate-types.js";
 export { validateVersions } from "./validate/validate-versions.js";
 export { validateConstraints } from "./validate/validate-constraints.js";
 export { validateEmbeddedBlocks } from "./validate/validate-embedded-blocks.js";
 export { validateInstances } from "./validate/validate-instances.js";
+export { validateGenerics } from "./validate/validate-generics.js";
 export { validatePresets } from "./validate/validate-presets.js";
 export { validateVisibility } from "./validate/validate-visibility.js";
 export { validateReadOnly } from "./validate/validate-readonly.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,GAIpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAMnE,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,GAIpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,eAAe,GAChB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,qCAAqC,CAAC;AAQ7C,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}

package/dist/resolve/resolve-generic-application.d.ts

@@ -0,0 +1,18 @@
+import type { GenericType, TypeExpression } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export type GenericApplicationDiagnostic = {
+    code: "BML_GENERICS_ARGUMENT_MISMATCH" | "BML_MISSING_GENERIC_TYPE_ARGUMENT" | "BML_GENERIC_CONSTRAINT_VIOLATION";
+    message: string;
+};
+export type GenericApplicationResult = {
+    bindings: Map<string, TypeExpression>;
+    diagnostics: GenericApplicationDiagnostic[];
+};
+/**
+ * Bind authored type arguments to declared genericTypes.
+ * Authored args win; remaining parameters take defaultType in declaration order.
+ */
+export declare function resolveGenericApplication(params: GenericType[], authoredArgs: TypeExpression[], registry: TypeRegistry, namespaceBindings?: Record<string, string>): GenericApplicationResult;
+/** Parameters that do not ground from defaultType alone — the instance is open. */
+export declare function openGenericParameters(params: GenericType[], namespaceBindings?: Record<string, string>): GenericType[];
+//# sourceMappingURL=resolve-generic-application.d.ts.map

package/dist/resolve/resolve-generic-application.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-generic-application.d.ts","sourceRoot":"","sources":["../../src/resolve/resolve-generic-application.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEhE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAGjE,MAAM,MAAM,4BAA4B,GAAG;IACzC,IAAI,EACA,gCAAgC,GAChC,mCAAmC,GACnC,kCAAkC,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtC,WAAW,EAAE,4BAA4B,EAAE,CAAC;CAC7C,CAAC;AAoFF;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,EAAE,EACrB,YAAY,EAAE,cAAc,EAAE,EAC9B,QAAQ,EAAE,YAAY,EACtB,iBAAiB,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAC7C,wBAAwB,CAkD1B;AAED,mFAAmF;AACnF,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,WAAW,EAAE,EACrB,iBAAiB,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAC7C,WAAW,EAAE,CAkBf"}

package/dist/resolve/resolve-generic-application.js

@@ -0,0 +1,129 @@
+import { parseTypeExpression } from "@blockml/parser";
+import { satisfiesTypeBound } from "./satisfies-type-bound.js";
+function namedFqns(expr) {
+    switch (expr.kind) {
+        case "named":
+            return [expr.fqn];
+        case "union":
+            return expr.alternatives.flatMap(namedFqns);
+        case "grouped":
+            return namedFqns(expr.expression);
+        default:
+            return [];
+    }
+}
+function isConcreteType(expr) {
+    switch (expr.kind) {
+        case "named":
+            return true;
+        case "union":
+            return expr.alternatives.every(isConcreteType);
+        case "grouped":
+            return isConcreteType(expr.expression);
+        default:
+            return false;
+    }
+}
+function resolveDefaultType(param, params, resolved, bindings, visiting) {
+    const raw = param.defaultType?.trim();
+    if (!raw) {
+        return undefined;
+    }
+    if (visiting.has(param.name)) {
+        return undefined;
+    }
+    visiting.add(param.name);
+    let expr;
+    try {
+        expr = parseTypeExpression(raw, bindings, "type");
+    }
+    catch {
+        visiting.delete(param.name);
+        return undefined;
+    }
+    if (expr.kind === "genericParam") {
+        const sibling = resolved.get(expr.name);
+        if (sibling) {
+            visiting.delete(param.name);
+            return sibling;
+        }
+        const earlier = params.find((p) => p.name === expr.name);
+        if (!earlier || params.indexOf(earlier) >= params.indexOf(param)) {
+            visiting.delete(param.name);
+            return undefined;
+        }
+        const fromSibling = resolveDefaultType(earlier, params, resolved, bindings, visiting);
+        visiting.delete(param.name);
+        return fromSibling;
+    }
+    visiting.delete(param.name);
+    return isConcreteType(expr) ? expr : undefined;
+}
+function argumentSatisfiesBound(arg, boundFqn, registry) {
+    const fqns = namedFqns(arg);
+    if (fqns.length === 0) {
+        return false;
+    }
+    return fqns.every((fqn) => satisfiesTypeBound(fqn, boundFqn, registry));
+}
+/**
+ * Bind authored type arguments to declared genericTypes.
+ * Authored args win; remaining parameters take defaultType in declaration order.
+ */
+export function resolveGenericApplication(params, authoredArgs, registry, namespaceBindings = {}) {
+    const diagnostics = [];
+    const bindings = new Map();
+    if (authoredArgs.length > params.length) {
+        diagnostics.push({
+            code: "BML_GENERICS_ARGUMENT_MISMATCH",
+            message: `bml:generics has ${authoredArgs.length} argument(s); expected at most ${params.length}`,
+        });
+        return { bindings, diagnostics };
+    }
+    for (let i = 0; i < params.length; i++) {
+        const param = params[i];
+        const authored = authoredArgs[i];
+        if (authored) {
+            bindings.set(param.name, authored);
+            continue;
+        }
+        const fallback = resolveDefaultType(param, params, bindings, namespaceBindings, new Set());
+        if (fallback) {
+            bindings.set(param.name, fallback);
+            continue;
+        }
+        diagnostics.push({
+            code: "BML_MISSING_GENERIC_TYPE_ARGUMENT",
+            message: `Missing generic type argument for ${param.name}`,
+        });
+    }
+    for (const param of params) {
+        const bound = bindings.get(param.name);
+        if (!bound) {
+            continue;
+        }
+        if (!argumentSatisfiesBound(bound, param.baseType, registry)) {
+            diagnostics.push({
+                code: "BML_GENERIC_CONSTRAINT_VIOLATION",
+                message: `Type argument for ${param.name} does not satisfy bound ${param.baseType}`,
+            });
+        }
+    }
+    return { bindings, diagnostics };
+}
+/** Parameters that do not ground from defaultType alone — the instance is open. */
+export function openGenericParameters(params, namespaceBindings = {}) {
+    const resolved = new Map();
+    const open = [];
+    for (const param of params) {
+        const fallback = resolveDefaultType(param, params, resolved, namespaceBindings, new Set());
+        if (fallback) {
+            resolved.set(param.name, fallback);
+        }
+        else {
+            open.push(param);
+        }
+    }
+    return open;
+}
+//# sourceMappingURL=resolve-generic-application.js.map

package/dist/resolve/resolve-generic-application.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-generic-application.js","sourceRoot":"","sources":["../../src/resolve/resolve-generic-application.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAe/D,SAAS,SAAS,CAAC,IAAoB;IACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC9C,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAoB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACjD,KAAK,SAAS;YACZ,OAAO,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAkB,EAClB,MAAqB,EACrB,QAAqC,EACrC,QAAgC,EAChC,QAAqB;IAErB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAEzB,IAAI,IAAoB,CAAC;IACzB,IAAI,CAAC;QACH,IAAI,GAAG,mBAAmB,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACtF,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACjD,CAAC;AAED,SAAS,sBAAsB,CAC7B,GAAmB,EACnB,QAAgB,EAChB,QAAsB;IAEtB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAqB,EACrB,YAA8B,EAC9B,QAAsB,EACtB,oBAA4C,EAAE;IAE9C,MAAM,WAAW,GAAmC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEnD,IAAI,YAAY,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,gCAAgC;YACtC,OAAO,EAAE,oBAAoB,YAAY,CAAC,MAAM,kCAAkC,MAAM,CAAC,MAAM,EAAE;SAClG,CAAC,CAAC;QACH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACnC,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACnC,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,kBAAkB,CACjC,KAAK,EACL,MAAM,EACN,QAAQ,EACR,iBAAiB,EACjB,IAAI,GAAG,EAAE,CACV,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACnC,SAAS;QACX,CAAC;QACD,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,mCAAmC;YACzC,OAAO,EAAE,qCAAqC,KAAK,CAAC,IAAI,EAAE;SAC3D,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC7D,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,qBAAqB,KAAK,CAAC,IAAI,2BAA2B,KAAK,CAAC,QAAQ,EAAE;aACpF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,oBAA4C,EAAE;IAE9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,kBAAkB,CACjC,KAAK,EACL,MAAM,EACN,QAAQ,EACR,iBAAiB,EACjB,IAAI,GAAG,EAAE,CACV,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/resolve/satisfies-type-bound.d.ts

@@ -0,0 +1,4 @@
+import type { TypeRegistry } from "../registry/type-registry.js";
+/** G on T's baseType chain, or G ∈ T.contracts[] (direct only). */
+export declare function satisfiesTypeBound(typeFqn: string, boundFqn: string, registry: TypeRegistry): boolean;
+//# sourceMappingURL=satisfies-type-bound.d.ts.map

package/dist/resolve/satisfies-type-bound.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"satisfies-type-bound.d.ts","sourceRoot":"","sources":["../../src/resolve/satisfies-type-bound.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAGjE,mEAAmE;AACnE,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,YAAY,GACrB,OAAO,CAgBT"}

package/dist/resolve/satisfies-type-bound.js

@@ -0,0 +1,20 @@
+import { collectBaseTypeChain } from "./resolve-effective-members.js";
+/** G on T's baseType chain, or G ∈ T.contracts[] (direct only). */
+export function satisfiesTypeBound(typeFqn, boundFqn, registry) {
+    if (typeFqn === boundFqn) {
+        return true;
+    }
+    const start = registry.get(typeFqn)?.block;
+    if (!start) {
+        return false;
+    }
+    if ((start.contracts ?? []).some((c) => c.value === boundFqn)) {
+        return true;
+    }
+    const chain = collectBaseTypeChain(start, registry);
+    if (chain.some((b) => b.type === boundFqn)) {
+        return true;
+    }
+    return chain[0]?.baseType === boundFqn;
+}
+//# sourceMappingURL=satisfies-type-bound.js.map

package/dist/resolve/satisfies-type-bound.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"satisfies-type-bound.js","sourceRoot":"","sources":["../../src/resolve/satisfies-type-bound.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAEtE,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAChC,OAAe,EACf,QAAgB,EAChB,QAAsB;IAEtB,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,QAAQ,CAAC;AACzC,CAAC"}

package/dist/validate/validate-generics.d.ts

@@ -0,0 +1,4 @@
+import type { BomDocument, Diagnostic } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export declare function validateGenerics(document: BomDocument, registry: TypeRegistry): Diagnostic[];
+//# sourceMappingURL=validate-generics.d.ts.map

package/dist/validate/validate-generics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-generics.d.ts","sourceRoot":"","sources":["../../src/validate/validate-generics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAGX,UAAU,EAKX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAmQjE,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAKd"}

package/dist/validate/validate-generics.js

@@ -0,0 +1,141 @@
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+import { openGenericParameters, resolveGenericApplication, } from "../resolve/resolve-generic-application.js";
+const TYPE_REFERENCE_ENTITY = "org.blockml.bml.type.TypeReferenceEntity";
+function diag(code, message, file, loc) {
+    return {
+        severity: "error",
+        code,
+        message,
+        source: {
+            file: loc?.file ?? file,
+            line: loc?.line ?? 1,
+            column: loc?.column ?? 1,
+            ...(loc?.endLine !== undefined ? { endLine: loc.endLine } : {}),
+            ...(loc?.endColumn !== undefined ? { endColumn: loc.endColumn } : {}),
+        },
+    };
+}
+function reportNotAllowed(binding, file, diagnostics) {
+    diagnostics.push(diag("BML_GENERICS_DIRECTIVE_NOT_ALLOWED", "bml:generics is only allowed on Block instances", file, binding.source));
+}
+function isTypeReferenceEntityType(expr) {
+    if (!expr) {
+        return false;
+    }
+    if (expr.kind === "grouped") {
+        return isTypeReferenceEntityType(expr.expression);
+    }
+    return expr.kind === "named" && expr.fqn === TYPE_REFERENCE_ENTITY;
+}
+function aggregationIsTypeReferenceEntity(owner, aggregationName, registry) {
+    if (!owner) {
+        return false;
+    }
+    const member = resolveEffectiveMembers(owner, registry).find((m) => m.kind === "aggregation" && m.name === aggregationName);
+    return member?.kind === "aggregation" && isTypeReferenceEntityType(member.type);
+}
+function validateInstanceGenerics(instance, registry, file, diagnostics) {
+    const typeDoc = registry.get(instance.typeFqn);
+    const params = typeDoc?.block.genericTypes ?? [];
+    const typeBindings = typeDoc?.source.namespaceBindings ?? {};
+    const open = openGenericParameters(params, typeBindings);
+    const binding = instance.generics;
+    if (!binding) {
+        if (open.length > 0) {
+            diagnostics.push(diag("BML_OPEN_GENERIC_INSTANCE", `Instance of ${instance.typeFqn} has open genericTypes and requires bml:generics`, file, instance.source));
+        }
+        return;
+    }
+    if (params.length === 0) {
+        diagnostics.push(diag("BML_GENERICS_ARGUMENT_MISMATCH", `bml:generics is not applicable; ${instance.typeFqn} has no genericTypes`, file, binding.source));
+        return;
+    }
+    if (binding.arguments === undefined) {
+        const raw = binding.raw.trim();
+        if (raw.startsWith("(") && raw.endsWith(")")) {
+            return;
+        }
+        diagnostics.push(diag("BML_GENERICS_ARGUMENT_MISMATCH", "bml:generics must be a parenthesized TypeExpression list", file, binding.source));
+        return;
+    }
+    const resolved = resolveGenericApplication(params, binding.arguments, registry, typeBindings);
+    for (const item of resolved.diagnostics) {
+        diagnostics.push(diag(item.code, item.message, file, binding.source));
+    }
+}
+function walkCompositionNodes(nodes, registry, file, diagnostics, typeReferenceEntityAggregation) {
+    for (const node of nodes) {
+        if (node.kind === "virtualContainer") {
+            if (node.generics) {
+                reportNotAllowed(node.generics, file, diagnostics);
+            }
+            walkCompositionNodes(node.children, registry, file, diagnostics, typeReferenceEntityAggregation);
+            continue;
+        }
+        if (typeReferenceEntityAggregation) {
+            if (node.instance.generics) {
+                reportNotAllowed(node.instance.generics, file, diagnostics);
+            }
+            for (const agg of node.instance.aggregationCompositions ?? []) {
+                walkCompositionTemplate(agg.composition, registry, file, diagnostics, true, true);
+            }
+            continue;
+        }
+        validateInstanceGenerics(node.instance, registry, file, diagnostics);
+        const instanceType = registry.get(node.instance.typeFqn)?.block;
+        for (const agg of node.instance.aggregationCompositions ?? []) {
+            walkCompositionTemplate(agg.composition, registry, file, diagnostics, true, aggregationIsTypeReferenceEntity(instanceType, agg.aggregationName, registry));
+        }
+    }
+}
+function walkCompositionTemplate(template, registry, file, diagnostics, wrapperIsIllegalHost, typeReferenceEntityAggregation) {
+    if (wrapperIsIllegalHost && template.generics) {
+        reportNotAllowed(template.generics, file, diagnostics);
+    }
+    walkCompositionNodes(template.children, registry, file, diagnostics, typeReferenceEntityAggregation);
+}
+function walkConstraintInstance(instance, file, diagnostics) {
+    if (instance.generics) {
+        reportNotAllowed(instance.generics, file, diagnostics);
+    }
+}
+function walkMember(member, file, diagnostics) {
+    if (member.generics) {
+        reportNotAllowed(member.generics, file, diagnostics);
+    }
+    for (const instance of member.constraints ?? []) {
+        walkConstraintInstance(instance, file, diagnostics);
+    }
+    if (member.kind === "property") {
+        for (const instance of member.suggestions ?? []) {
+            walkConstraintInstance(instance, file, diagnostics);
+        }
+    }
+}
+function walkBlock(block, registry, file, diagnostics) {
+    if (block.generics) {
+        reportNotAllowed(block.generics, file, diagnostics);
+    }
+    for (const member of block.members) {
+        walkMember(member, file, diagnostics);
+    }
+    for (const template of block.compositions) {
+        walkCompositionTemplate(template, registry, file, diagnostics, true, aggregationIsTypeReferenceEntity(block, template.aggregationName, registry));
+    }
+    for (const instance of block.constraints ?? []) {
+        walkConstraintInstance(instance, file, diagnostics);
+    }
+    for (const sub of block.subBlocks) {
+        walkBlock(sub, registry, file, diagnostics);
+    }
+    for (const embedded of block.embeddedBlocks) {
+        walkBlock(embedded, registry, file, diagnostics);
+    }
+}
+export function validateGenerics(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    walkBlock(document.block, registry, file, diagnostics);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-generics.js.map

package/dist/validate/validate-generics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-generics.js","sourceRoot":"","sources":["../../src/validate/validate-generics.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,2CAA2C,CAAC;AAEnD,MAAM,qBAAqB,GAAG,0CAA0C,CAAC;AAEzE,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,GAAoB;IAEpB,OAAO;QACL,QAAQ,EAAE,OAAO;QACjB,IAAI;QACJ,OAAO;QACP,MAAM,EAAE;YACN,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,IAAI;YACvB,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC;YACpB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC;YACxB,GAAG,CAAC,GAAG,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,GAAG,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,oCAAoC,EACpC,iDAAiD,EACjD,IAAI,EACJ,OAAO,CAAC,MAAM,CACf,CACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAqB;IACtD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,GAAG,KAAK,qBAAqB,CAAC;AACrE,CAAC;AAED,SAAS,gCAAgC,CACvC,KAAkC,EAClC,eAAuB,EACvB,QAAsB;IAEtB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAC1D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,CAC9D,CAAC;IACF,OAAO,MAAM,EAAE,IAAI,KAAK,aAAa,IAAI,yBAAyB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAuB,EACvB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,OAAO,EAAE,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IACjD,MAAM,YAAY,GAAG,OAAO,EAAE,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC;IAC7D,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAElC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,2BAA2B,EAC3B,eAAe,QAAQ,CAAC,OAAO,kDAAkD,EACjF,IAAI,EACJ,QAAQ,CAAC,MAAM,CAChB,CACF,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,mCAAmC,QAAQ,CAAC,OAAO,sBAAsB,EACzE,IAAI,EACJ,OAAO,CAAC,MAAM,CACf,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,OAAO;QACT,CAAC;QACD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,0DAA0D,EAC1D,IAAI,EACJ,OAAO,CAAC,MAAM,CACf,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,yBAAyB,CACxC,MAAM,EACN,OAAO,CAAC,SAAS,EACjB,QAAQ,EACR,YAAY,CACb,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAwB,EACxB,QAAsB,EACtB,IAAY,EACZ,WAAyB,EACzB,8BAAuC;IAEvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACrD,CAAC;YACD,oBAAoB,CAClB,IAAI,CAAC,QAAQ,EACb,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,8BAA8B,CAC/B,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,8BAA8B,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3B,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC9D,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,uBAAuB,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACpF,CAAC;YACD,SAAS;QACX,CAAC;QACD,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;QAChE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;YAC9D,uBAAuB,CACrB,GAAG,CAAC,WAAW,EACf,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,IAAI,EACJ,gCAAgC,CAAC,YAAY,EAAE,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,CAC9E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAA6B,EAC7B,QAAsB,EACtB,IAAY,EACZ,WAAyB,EACzB,oBAA6B,EAC7B,8BAAuC;IAEvC,IAAI,oBAAoB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC9C,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC;IACD,oBAAoB,CAClB,QAAQ,CAAC,QAAQ,EACjB,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,8BAA8B,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAAuB,EACvB,IAAY,EACZ,WAAyB;IAEzB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,MAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAChD,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAChB,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,uBAAuB,CACrB,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,IAAI,EACJ,gCAAgC,CAAC,KAAK,EAAE,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,CAC5E,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5C,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACvD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/validate/validate-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-types.d.ts","sourceRoot":"","sources":["../../src/validate/validate-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EACX,UAAU,EAEV,YAAY,EAEZ,WAAW,EACX,kBAAkB,EAGnB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAqRjE,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAYd;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAEvF;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,GAAG,SAAS,CAYpF;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,GAAG,GAAG,IAAI,YAAY,CAEhF"}
+{"version":3,"file":"validate-types.d.ts","sourceRoot":"","sources":["../../src/validate/validate-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAEX,UAAU,EAGV,YAAY,EAEZ,WAAW,EACX,kBAAkB,EAGnB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AA+ajE,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAYd;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAEvF;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,GAAG,SAAS,CAYpF;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,GAAG,GAAG,IAAI,YAAY,CAEhF"}