@blockml/framework 0.9.1 → 0.9.2

package/dist/validate/validate-parse-values.js

@@ -0,0 +1,181 @@
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+import { evaluateParseValue } from "./evaluate-parse-value.js";
+import { namedTypeFqn, TYPE_REFERENCE } from "./reference-kinds.js";
+function diag(code, message, file, loc) {
+    const source = {
+        file: loc?.file ?? file,
+        line: loc?.line ?? 1,
+        column: loc?.column ?? 1,
+    };
+    if (loc?.endLine !== undefined) {
+        source.endLine = loc.endLine;
+    }
+    if (loc?.endColumn !== undefined) {
+        source.endColumn = loc.endColumn;
+    }
+    return { severity: "error", code, message, source };
+}
+function isUnion(expr) {
+    if (!expr) {
+        return false;
+    }
+    if (expr.kind === "union") {
+        return true;
+    }
+    if (expr.kind === "grouped") {
+        return isUnion(expr.expression);
+    }
+    return false;
+}
+function hasMultiplicity(expr, fallbackFqn) {
+    if (expr) {
+        if (expr.kind === "named" || expr.kind === "grouped") {
+            if (expr.multiplicity !== undefined) {
+                return true;
+            }
+        }
+    }
+    return fallbackFqn?.includes("[") === true;
+}
+function rawFromUnknown(value) {
+    if (typeof value === "string") {
+        return value;
+    }
+    if (typeof value === "number" || typeof value === "boolean") {
+        return String(value);
+    }
+    return undefined;
+}
+function checkRaw(typeFqn, raw, ctx, loc) {
+    const result = evaluateParseValue(typeFqn, raw, ctx.registry);
+    if (!result.ok) {
+        ctx.diagnostics.push(diag("BML_INVALID_VALUE", result.message, ctx.file, loc));
+    }
+}
+function checkLiteral(val, type, typeFqn, ctx, loc) {
+    if (!val || val.kind !== "literal") {
+        return;
+    }
+    if (isUnion(type) || type?.kind === "anonymousStruct") {
+        return;
+    }
+    const named = namedTypeFqn(type, typeFqn);
+    if (!named) {
+        return;
+    }
+    const list = hasMultiplicity(type, typeFqn);
+    if (list) {
+        if (Array.isArray(val.value)) {
+            for (const item of val.value) {
+                const raw = rawFromUnknown(item);
+                if (raw !== undefined) {
+                    checkRaw(named, raw, ctx, loc);
+                }
+            }
+        }
+        return;
+    }
+    const raw = rawFromUnknown(val.value);
+    if (raw !== undefined) {
+        checkRaw(named, raw, ctx, loc);
+    }
+}
+function checkTreValue(inst, ctx, loc) {
+    checkRaw(TYPE_REFERENCE, inst.value, ctx, loc);
+}
+function checkMember(member, ctx) {
+    const loc = member.typeSource ?? member.source;
+    if (member.kind === "property") {
+        checkLiteral(member.value, member.type, member.typeFqn, ctx, loc);
+        for (const entry of member.values ?? []) {
+            // Prefixed values (scad:value, …) are target-language facets, not BML
+            // literals — skip parseValue against the property type. TODO: a matching
+            // prefixed type (scad:type for scad:value) so each facet can be validated
+            // in its own language. Today prefixed values are not validated.
+            if (entry.namespace) {
+                continue;
+            }
+            if (member.value) {
+                continue;
+            }
+            checkLiteral(entry.value, member.type, member.typeFqn, ctx, loc);
+        }
+        for (const suggestion of member.suggestions ?? []) {
+            walkInstance(suggestion, ctx);
+        }
+        for (const group of member.groups ?? []) {
+            checkTreValue(group, ctx, loc);
+        }
+    }
+    else if (member.kind === "aggregation") {
+        for (const group of member.groups ?? []) {
+            checkTreValue(group, ctx, loc);
+        }
+    }
+    else if (member.kind === "capability") {
+        for (const thrown of member.throws ?? []) {
+            checkTreValue(thrown, ctx, loc);
+        }
+    }
+    for (const instance of member.constraints ?? []) {
+        walkInstance(instance, ctx);
+    }
+}
+function walkInstance(instance, ctx) {
+    const typeBlock = ctx.registry.get(instance.typeFqn)?.block;
+    const members = typeBlock ? resolveEffectiveMembers(typeBlock, ctx.registry) : [];
+    for (const [name, val] of Object.entries(instance.memberValues)) {
+        const member = members.find((m) => m.name === name);
+        if (!member) {
+            continue;
+        }
+        const type = member.kind === "property" || member.kind === "aggregation" || member.kind === "association"
+            ? member.type
+            : undefined;
+        const typeFqn = member.kind === "property" || member.kind === "capability" ? member.typeFqn : undefined;
+        checkLiteral(val, type, typeFqn, ctx, instance.source);
+    }
+    for (const agg of instance.aggregationCompositions ?? []) {
+        walkCompositionNodes(agg.composition.children, ctx);
+    }
+}
+function walkCompositionNodes(nodes, ctx) {
+    for (const child of nodes) {
+        if (child.kind === "blockInstance") {
+            walkInstance(child.instance, ctx);
+        }
+        else {
+            walkCompositionNodes(child.children, ctx);
+        }
+    }
+}
+function walkBlockDefinition(block, ctx) {
+    for (const ref of block.contracts ?? []) {
+        checkTreValue(ref, ctx, block.source);
+    }
+    if (block.language) {
+        checkTreValue(block.language, ctx, block.source);
+    }
+    for (const instance of block.constraints ?? []) {
+        walkInstance(instance, ctx);
+    }
+    for (const member of block.members) {
+        checkMember(member, ctx);
+    }
+    for (const template of block.compositions) {
+        walkCompositionNodes(template.children, ctx);
+    }
+    for (const sub of block.subBlocks) {
+        walkBlockDefinition(sub, ctx);
+    }
+    for (const embedded of block.embeddedBlocks) {
+        walkBlockDefinition(embedded, ctx);
+    }
+}
+export function validateParseValues(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    walkBlockDefinition(document.block, { registry, file, diagnostics });
+    return diagnostics;
+}
+//# sourceMappingURL=validate-parse-values.js.map

package/dist/validate/validate-parse-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-parse-values.js","sourceRoot":"","sources":["../../src/validate/validate-parse-values.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAQpE,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,GAAgF;IAEhF,MAAM,MAAM,GAAmB;QAC7B,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,IAAI;QACvB,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC;QACpB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC;KACzB,CAAC;IACF,IAAI,GAAG,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC/B,CAAC;IACD,IAAI,GAAG,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,OAAO,CAAC,IAAgC;IAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,IAAgC,EAAE,WAAoB;IAC7E,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrD,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;AAC7C,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CACf,OAAe,EACf,GAAW,EACX,GAAa,EACb,GAA+B;IAE/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,GAA4B,EAC5B,IAAgC,EAChC,OAA2B,EAC3B,GAAa,EACb,GAA+B;IAE/B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACtD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC7B,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,IAAiC,EACjC,GAAa,EACb,GAA+B;IAE/B,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,WAAW,CAAC,MAAwB,EAAE,GAAa;IAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACxC,sEAAsE;YACtE,yEAAyE;YACzE,0EAA0E;YAC1E,gEAAgE;YAChE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnE,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAClD,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACxC,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACxC,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACxC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACzC,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,QAAuB,EAAE,GAAa;IAC1D,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;IAC5D,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAElF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;YAC1F,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxG,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;QACzD,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAwB,EAAE,GAAa;IACnE,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACnC,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAsB,EAAE,GAAa;IAChE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACxC,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5C,mBAAmB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAAqB,EAAE,QAAsB;IAC/E,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IACrE,OAAO,WAAW,CAAC;AACrB,CAAC"}

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

@@ -0,0 +1,5 @@
+import type { BomDocument, Diagnostic, TypeExpression } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export declare function walkNamedTypes(expr: TypeExpression | undefined, visit: (fqn: string) => void): void;
+export declare function validateReferences(document: BomDocument, registry: TypeRegistry): Diagnostic[];
+//# sourceMappingURL=validate-references.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-references.d.ts","sourceRoot":"","sources":["../../src/validate/validate-references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAEX,UAAU,EAMV,cAAc,EAEf,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AA4DjE,wBAAgB,cAAc,CAAC,IAAI,EAAE,cAAc,GAAG,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,GAAG,IAAI,CA2BnG;AA8bD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,GAAG,UAAU,EAAE,CAM9F"}

package/dist/validate/validate-references.js

@@ -0,0 +1,392 @@
+import { isWellKnownTypeFqn, parseTypeExpression } from "@blockml/parser";
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+import { satisfiesTypeBound } from "../resolve/satisfies-type-bound.js";
+import { collectDocumentInstanceIds, resolveInstanceRef, } from "./instance-ids.js";
+import { classifyDeclaredType, namedTypeFqn, TYPE_REFERENCE_ENTITY, } from "./reference-kinds.js";
+const CORE_EXCEPTION = "org.blockml.bml.core.Exception";
+const CORE_BLOCK = "org.blockml.bml.core.Block";
+const MEMBER_KIND_BY_REFERENCE = {
+    property: "property",
+    aggregation: "aggregation",
+    association: "association",
+    capability: "capability",
+};
+function diag(code, message, file, loc) {
+    const source = {
+        file: loc?.file ?? file,
+        line: loc?.line ?? 1,
+        column: loc?.column ?? 1,
+    };
+    if (loc?.endLine !== undefined) {
+        source.endLine = loc.endLine;
+    }
+    if (loc?.endColumn !== undefined) {
+        source.endColumn = loc.endColumn;
+    }
+    return { severity: "error", code, message, source };
+}
+function typeIsKnown(fqn, registry) {
+    return registry.has(fqn) || isWellKnownTypeFqn(fqn);
+}
+export function walkNamedTypes(expr, visit) {
+    if (!expr) {
+        return;
+    }
+    switch (expr.kind) {
+        case "named":
+            visit(expr.fqn);
+            for (const arg of expr.typeArguments ?? []) {
+                walkNamedTypes(arg, visit);
+            }
+            break;
+        case "union":
+            for (const alt of expr.alternatives) {
+                walkNamedTypes(alt, visit);
+            }
+            break;
+        case "grouped":
+            walkNamedTypes(expr.expression, visit);
+            break;
+        case "anonymousStruct":
+            for (const field of expr.fields) {
+                walkNamedTypes(field.type, visit);
+            }
+            break;
+        default:
+            break;
+    }
+}
+function typeExpressionFromRaw(raw) {
+    const trimmed = raw.trim();
+    if (!trimmed) {
+        return undefined;
+    }
+    if (/^[a-z][a-z0-9]*(\.[A-Za-z0-9]+)+$/.test(trimmed)) {
+        return { kind: "named", fqn: trimmed };
+    }
+    try {
+        return parseTypeExpression(trimmed, {});
+    }
+    catch {
+        return { kind: "named", fqn: trimmed };
+    }
+}
+function literalText(val) {
+    if (!val || val.kind !== "literal") {
+        return undefined;
+    }
+    if (typeof val.value === "string") {
+        return val.value;
+    }
+    return undefined;
+}
+function memberValueSource(val) {
+    if (!val) {
+        return undefined;
+    }
+    if (val.kind === "expression" || val.kind === "interpolated") {
+        return val.source;
+    }
+    return undefined;
+}
+function packageIsKnown(pkg, registry) {
+    const prefix = `${pkg}.`;
+    return registry.keys().some((fqn) => fqn.startsWith(prefix));
+}
+function reportUnknownType(fqn, ctx, loc, code, message) {
+    if (typeIsKnown(fqn, ctx.registry)) {
+        return true;
+    }
+    ctx.diagnostics.push(diag(code, message, ctx.file, loc));
+    return false;
+}
+function checkTypeExpression(expr, ctx, loc, code = "BML_UNKNOWN_TYPE", messagePrefix = "Unknown type") {
+    walkNamedTypes(expr, (fqn) => {
+        reportUnknownType(fqn, ctx, loc, code, `${messagePrefix}: ${fqn}`);
+    });
+}
+function checkTypeFqn(raw, ctx, loc, code = "BML_UNKNOWN_TYPE", messagePrefix = "Unknown type", boundFqn) {
+    const expr = typeExpressionFromRaw(raw);
+    if (!expr) {
+        return;
+    }
+    checkTypeExpression(expr, ctx, loc, code, messagePrefix);
+    if (!boundFqn) {
+        return;
+    }
+    const named = expr.kind === "named" ? expr.fqn : namedTypeFqn(expr);
+    if (!named || !ctx.registry.has(named) || !ctx.registry.has(boundFqn)) {
+        return;
+    }
+    if (!satisfiesTypeBound(named, boundFqn, ctx.registry)) {
+        ctx.diagnostics.push(diag("BML_TYPE_BOUND_NOT_SATISFIED", `Type ${named} does not satisfy bound ${boundFqn}`, ctx.file, loc));
+    }
+}
+function parseMemberPath(raw) {
+    const sectioned = /^(.*)\.(properties|aggregations|associations|capabilities)\.([A-Za-z_][A-Za-z0-9_]*)$/.exec(raw.trim());
+    if (sectioned) {
+        const ownerFqn = sectioned[1];
+        const name = sectioned[3];
+        return ownerFqn ? { ownerFqn, name } : { name };
+    }
+    const trimmed = raw.trim();
+    const lastDot = trimmed.lastIndexOf(".");
+    if (lastDot > 0) {
+        return { ownerFqn: trimmed.slice(0, lastDot), name: trimmed.slice(lastDot + 1) };
+    }
+    return { name: trimmed };
+}
+function checkMemberPath(raw, kind, ctx, loc, ownerFqn) {
+    const parsed = parseMemberPath(raw);
+    const owner = parsed.ownerFqn ?? ownerFqn;
+    if (!owner) {
+        ctx.diagnostics.push(diag("BML_UNKNOWN_PROPERTY", `Unknown ${kind}: ${raw}`, ctx.file, loc));
+        return;
+    }
+    const typeDoc = ctx.registry.get(owner);
+    if (!typeDoc) {
+        if (!typeIsKnown(owner, ctx.registry)) {
+            ctx.diagnostics.push(diag("BML_UNKNOWN_TYPE", `Unknown type: ${owner}`, ctx.file, loc));
+        }
+        else {
+            ctx.diagnostics.push(diag("BML_UNKNOWN_PROPERTY", `Unknown ${kind}: ${parsed.name} on ${owner}`, ctx.file, loc));
+        }
+        return;
+    }
+    const expected = MEMBER_KIND_BY_REFERENCE[kind];
+    const found = resolveEffectiveMembers(typeDoc.block, ctx.registry).some((member) => member.name === parsed.name && member.kind === expected);
+    if (!found) {
+        ctx.diagnostics.push(diag("BML_UNKNOWN_PROPERTY", `Unknown ${kind}: ${parsed.name} on ${owner}`, ctx.file, loc));
+    }
+}
+function checkReferenceValue(classified, raw, ctx, loc, options) {
+    if (classified.role === "identifier") {
+        return;
+    }
+    const bound = options?.boundFqn ?? classified.boundFqn;
+    switch (classified.kind) {
+        case "type":
+            checkTypeFqn(raw, ctx, loc, options?.typeCode ?? "BML_UNKNOWN_TYPE", options?.typeMessage ?? "Unknown type", bound);
+            break;
+        case "package":
+            if (!packageIsKnown(raw.trim(), ctx.registry)) {
+                ctx.diagnostics.push(diag("BML_UNKNOWN_TYPE", `Unknown package: ${raw.trim()}`, ctx.file, loc));
+            }
+            break;
+        case "instance":
+            if (!resolveInstanceRef(raw.trim(), ctx.ids)) {
+                ctx.diagnostics.push(diag("BML_UNRESOLVABLE_INSTANCE_REF", `Unresolved instance reference: ${raw.trim()}`, ctx.file, loc));
+            }
+            break;
+        case "property":
+        case "aggregation":
+        case "association":
+        case "capability":
+            checkMemberPath(raw, classified.kind, ctx, loc, options?.ownerFqn ?? bound);
+            break;
+    }
+}
+function checkTypeReferenceEntity(inst, ctx, loc, options) {
+    checkTypeFqn(inst.value, ctx, loc, options?.typeCode ?? "BML_UNKNOWN_TYPE", options?.typeMessage ?? "Unknown type", options?.boundFqn ?? inst.boundB);
+}
+function checkDocumentationReference(ref, ctx) {
+    const loc = ref.source;
+    if (ref.type) {
+        checkTypeFqn(ref.type, ctx, loc);
+    }
+    const pkg = ref.package;
+    if (pkg && !packageIsKnown(pkg, ctx.registry)) {
+        ctx.diagnostics.push(diag("BML_UNKNOWN_TYPE", `Unknown package: ${pkg}`, ctx.file, loc));
+    }
+    if (ref.instance) {
+        checkReferenceValue({ role: "reference", kind: "instance", isEntity: false }, ref.instance, ctx, loc);
+    }
+    if (ref.property) {
+        checkMemberPath(ref.property, "property", ctx, loc, ref.type);
+    }
+    if (ref.aggregation) {
+        checkMemberPath(ref.aggregation, "aggregation", ctx, loc, ref.type);
+    }
+    if (ref.association) {
+        checkMemberPath(ref.association, "association", ctx, loc, ref.type);
+    }
+    if (ref.capability) {
+        checkMemberPath(ref.capability, "capability", ctx, loc, ref.type);
+    }
+    if (ref.relationFqn) {
+        checkTypeFqn(ref.relationFqn, ctx, loc);
+    }
+    if (ref.languageFqn) {
+        checkTypeFqn(ref.languageFqn, ctx, loc);
+    }
+}
+function checkMemberValue(val, classified, ctx, loc) {
+    if (!classified || classified.role !== "reference") {
+        return;
+    }
+    const text = literalText(val);
+    if (text === undefined) {
+        return;
+    }
+    checkReferenceValue(classified, text, ctx, loc ?? memberValueSource(val));
+}
+function checkMemberTypes(member, ctx) {
+    const loc = member.typeSource ?? member.source;
+    if (member.kind === "property") {
+        if (member.type) {
+            checkTypeExpression(member.type, ctx, loc);
+        }
+        else if (member.typeFqn) {
+            checkTypeFqn(member.typeFqn, ctx, loc);
+        }
+        for (const group of member.groups ?? []) {
+            checkTypeReferenceEntity(group, ctx, loc);
+        }
+        const classified = classifyDeclaredType(member.type, ctx.registry, member.typeFqn);
+        checkMemberValue(member.value, classified, ctx, memberValueSource(member.value) ?? loc);
+        for (const entry of member.values ?? []) {
+            checkMemberValue(entry.value, classified, ctx, memberValueSource(entry.value) ?? loc);
+        }
+        for (const suggestion of member.suggestions ?? []) {
+            walkInstance(suggestion, ctx);
+        }
+    }
+    else if (member.kind === "aggregation") {
+        checkTypeExpression(member.type, ctx, loc);
+        for (const group of member.groups ?? []) {
+            checkTypeReferenceEntity(group, ctx, loc);
+        }
+    }
+    else if (member.kind === "association") {
+        checkTypeExpression(member.type, ctx, loc);
+    }
+    else if (member.kind === "capability") {
+        if (member.typeFqn) {
+            checkTypeFqn(member.typeFqn, ctx, loc);
+        }
+        checkTypeExpression(member.inputType, ctx, member.inputTypeSource ?? loc);
+        checkTypeExpression(member.outputType, ctx, member.outputTypeSource ?? loc);
+        if (member.implementation?.languageFqn) {
+            checkTypeFqn(member.implementation.languageFqn, ctx, loc);
+        }
+        for (const thrown of member.throws ?? []) {
+            checkTypeReferenceEntity(thrown, ctx, loc, { boundFqn: thrown.boundB ?? CORE_EXCEPTION });
+        }
+    }
+    for (const ref of member.references ?? []) {
+        checkDocumentationReference(ref, ctx);
+    }
+    for (const instance of member.constraints ?? []) {
+        walkInstance(instance, ctx);
+    }
+}
+function walkInstance(instance, ctx) {
+    const typeBlock = ctx.registry.get(instance.typeFqn)?.block;
+    const members = typeBlock ? resolveEffectiveMembers(typeBlock, ctx.registry) : [];
+    if (instance.typeFqn === TYPE_REFERENCE_ENTITY) {
+        const value = literalText(instance.memberValues.value);
+        if (value) {
+            checkTypeFqn(value, ctx, instance.source);
+        }
+    }
+    for (const [name, val] of Object.entries(instance.memberValues)) {
+        const member = members.find((m) => m.name === name);
+        if (!member) {
+            continue;
+        }
+        const type = member.kind === "property" || member.kind === "aggregation" || member.kind === "association"
+            ? member.type
+            : undefined;
+        const typeFqn = member.kind === "property" || member.kind === "capability" ? member.typeFqn : undefined;
+        const classified = classifyDeclaredType(type, ctx.registry, typeFqn);
+        checkMemberValue(val, classified, ctx, memberValueSource(val) ?? instance.source);
+    }
+    for (const agg of instance.aggregationCompositions ?? []) {
+        const member = members.find((m) => m.kind === "aggregation" && m.name === agg.aggregationName);
+        const classified = member && member.kind === "aggregation"
+            ? classifyDeclaredType(member.type, ctx.registry)
+            : undefined;
+        walkCompositionNodes(agg.composition.children, ctx, classified);
+    }
+}
+function walkCompositionNodes(nodes, ctx, aggregationDeclared) {
+    for (const child of nodes) {
+        if (child.kind === "blockInstance") {
+            if (aggregationDeclared?.role === "reference" && aggregationDeclared.isEntity) {
+                if (aggregationDeclared.kind === "type") {
+                    checkTypeFqn(child.instance.typeFqn, ctx, child.instance.source ?? child.source, "BML_UNKNOWN_TYPE", "Unknown type", aggregationDeclared.boundFqn);
+                }
+                else {
+                    const value = literalText(child.instance.memberValues.value) ?? child.instance.typeFqn;
+                    checkReferenceValue(aggregationDeclared, value, ctx, child.instance.source ?? child.source);
+                }
+            }
+            walkInstance(child.instance, ctx);
+        }
+        else {
+            walkCompositionNodes(child.children, ctx, aggregationDeclared);
+        }
+    }
+}
+function isGenericParamName(name, block) {
+    return (block.genericTypes ?? []).some((g) => g.name === name);
+}
+function walkBlockDefinition(block, ctx) {
+    if (block.baseType) {
+        reportUnknownType(block.baseType, ctx, block.baseTypeSource ?? block.source, "BML_UNKNOWN_BASE_TYPE", `Unknown baseType: ${block.baseType}`);
+    }
+    if (block.baseTypeExpression) {
+        const root = namedTypeFqn(block.baseTypeExpression);
+        walkNamedTypes(block.baseTypeExpression, (fqn) => {
+            if (fqn === root || fqn === block.baseType) {
+                return;
+            }
+            reportUnknownType(fqn, ctx, block.baseTypeSource ?? block.source, "BML_UNKNOWN_TYPE", `Unknown type: ${fqn}`);
+        });
+    }
+    for (const ref of block.contracts ?? []) {
+        checkTypeReferenceEntity(ref, ctx, block.source, {
+            typeCode: "BML_UNKNOWN_CONTRACT",
+            typeMessage: "Unknown contract",
+            boundFqn: ref.boundB ?? CORE_BLOCK,
+        });
+    }
+    if (block.language) {
+        checkTypeReferenceEntity(block.language, ctx, block.source);
+    }
+    else if (block.languageFqn) {
+        checkTypeFqn(block.languageFqn, ctx, block.source);
+    }
+    for (const generic of block.genericTypes ?? []) {
+        checkTypeFqn(generic.baseType, ctx, block.source);
+        if (generic.defaultType && !isGenericParamName(generic.defaultType, block)) {
+            checkTypeFqn(generic.defaultType, ctx, block.source);
+        }
+    }
+    for (const ref of block.references ?? []) {
+        checkDocumentationReference(ref, ctx);
+    }
+    for (const instance of block.constraints ?? []) {
+        walkInstance(instance, ctx);
+    }
+    for (const member of block.members) {
+        checkMemberTypes(member, ctx);
+    }
+    for (const template of block.compositions) {
+        walkCompositionNodes(template.children, ctx);
+    }
+    for (const sub of block.subBlocks) {
+        walkBlockDefinition(sub, ctx);
+    }
+    for (const embedded of block.embeddedBlocks) {
+        walkBlockDefinition(embedded, ctx);
+    }
+}
+export function validateReferences(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    const ids = collectDocumentInstanceIds(document.block, file);
+    walkBlockDefinition(document.block, { registry, file, diagnostics, ids });
+    return diagnostics;
+}
+//# sourceMappingURL=validate-references.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-references.js","sourceRoot":"","sources":["../../src/validate/validate-references.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAE1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,EACL,0BAA0B,EAC1B,kBAAkB,GAEnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,oBAAoB,EACpB,YAAY,EACZ,qBAAqB,GAGtB,MAAM,sBAAsB,CAAC;AAE9B,MAAM,cAAc,GAAG,gCAAgC,CAAC;AACxD,MAAM,UAAU,GAAG,4BAA4B,CAAC;AAEhD,MAAM,wBAAwB,GAG1B;IACF,QAAQ,EAAE,UAAU;IACpB,WAAW,EAAE,aAAa;IAC1B,WAAW,EAAE,aAAa;IAC1B,UAAU,EAAE,YAAY;CACzB,CAAC;AASF,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,GAAgF;IAEhF,MAAM,MAAM,GAAmB;QAC7B,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,IAAI;QACvB,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC;QACpB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC;KACzB,CAAC;IACF,IAAI,GAAG,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC/B,CAAC;IACD,IAAI,GAAG,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,QAAsB;IACtD,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAgC,EAAE,KAA4B;IAC3F,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;gBAC3C,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC;YACD,MAAM;QACR,KAAK,OAAO;YACV,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACpC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC;YACD,MAAM;QACR,KAAK,SAAS;YACZ,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACvC,MAAM;QACR,KAAK,iBAAiB;YACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,MAAM;QACR;YACE,MAAM;IACV,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAW;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,mCAAmC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,GAA4B;IAC/C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,GAAG,CAAC,KAAK,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,GAA4B;IACrD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC7D,OAAO,GAAG,CAAC,MAAM,CAAC;IACpB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,GAAW,EAAE,QAAsB;IACzD,MAAM,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC;IACzB,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,iBAAiB,CACxB,GAAW,EACX,GAAa,EACb,GAA+B,EAC/B,IAAY,EACZ,OAAe;IAEf,IAAI,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAgC,EAChC,GAAa,EACb,GAA+B,EAC/B,IAAI,GAAG,kBAAkB,EACzB,aAAa,GAAG,cAAc;IAE9B,cAAc,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE;QAC3B,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,aAAa,KAAK,GAAG,EAAE,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,GAAW,EACX,GAAa,EACb,GAA+B,EAC/B,IAAI,GAAG,kBAAkB,EACzB,aAAa,GAAG,cAAc,EAC9B,QAAiB;IAEjB,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtE,OAAO;IACT,CAAC;IACD,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,IAAI,CACF,8BAA8B,EAC9B,QAAQ,KAAK,2BAA2B,QAAQ,EAAE,EAClD,GAAG,CAAC,IAAI,EACR,GAAG,CACJ,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,SAAS,GACb,uFAAuF,CAAC,IAAI,CAC1F,GAAG,CAAC,IAAI,EAAE,CACX,CAAC;IACJ,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CACtB,GAAW,EACX,IAAuF,EACvF,GAAa,EACb,GAA+B,EAC/B,QAAiB;IAEjB,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;IAC1C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,IAAI,CAAC,sBAAsB,EAAE,WAAW,IAAI,KAAK,GAAG,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CACvE,CAAC;QACF,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,iBAAiB,KAAK,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1F,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,IAAI,CAAC,sBAAsB,EAAE,WAAW,IAAI,KAAK,MAAM,CAAC,IAAI,OAAO,KAAK,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAC3F,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,uBAAuB,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CACrE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CACpE,CAAC;IACF,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,IAAI,CAAC,sBAAsB,EAAE,WAAW,IAAI,KAAK,MAAM,CAAC,IAAI,OAAO,KAAK,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAC3F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAkC,EAClC,GAAW,EACX,GAAa,EACb,GAA+B,EAC/B,OAA2F;IAE3F,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,EAAE,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC;IACvD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM;YACT,YAAY,CACV,GAAG,EACH,GAAG,EACH,GAAG,EACH,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EACvC,OAAO,EAAE,WAAW,IAAI,cAAc,EACtC,KAAK,CACN,CAAC;YACF,MAAM;QACR,KAAK,SAAS;YACZ,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9C,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,oBAAoB,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAClG,CAAC;YACD,MAAM;QACR,KAAK,UAAU;YACb,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,IAAI,CAAC,+BAA+B,EAAE,kCAAkC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CACrG,CAAC;YACJ,CAAC;YACD,MAAM;QACR,KAAK,UAAU,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY;YACf,eAAe,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,IAAI,KAAK,CAAC,CAAC;YAC5E,MAAM;IACV,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAiC,EACjC,GAAa,EACb,GAA+B,EAC/B,OAAwE;IAExE,YAAY,CACV,IAAI,CAAC,KAAK,EACV,GAAG,EACH,GAAG,EACH,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EACvC,OAAO,EAAE,WAAW,IAAI,cAAc,EACtC,OAAO,EAAE,QAAQ,IAAI,IAAI,CAAC,MAAM,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,GAA2B,EAAE,GAAa;IAC7E,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IACvB,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QACb,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,GAAG,GAAI,GAAqD,CAAC,OAAO,CAAC;IAC3E,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,oBAAoB,GAAG,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjB,mBAAmB,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjB,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACpB,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACpB,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACpB,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACpB,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,GAA4B,EAC5B,UAA8C,EAC9C,GAAa,EACb,GAA+B;IAE/B,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IACD,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAwB,EAAE,GAAa;IAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAChB,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC1B,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACxC,wBAAwB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QACnF,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACxF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACxC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAClD,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACzC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACxC,wBAAwB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACzC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;QACD,mBAAmB,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,eAAe,IAAI,GAAG,CAAC,CAAC;QAC1E,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,IAAI,GAAG,CAAC,CAAC;QAC5E,IAAI,MAAM,CAAC,cAAc,EAAE,WAAW,EAAE,CAAC;YACvC,YAAY,CAAC,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACzC,wBAAwB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QAC1C,2BAA2B,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,QAAuB,EAAE,GAAa;IAC1D,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;IAC5D,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,IAAI,QAAQ,CAAC,OAAO,KAAK,qBAAqB,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACvD,IAAI,KAAK,EAAE,CAAC;YACV,YAAY,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;YAC1F,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxG,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrE,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;IACpF,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,eAAe,CAAC,CAAC;QAC/F,MAAM,UAAU,GAAG,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;YACxD,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC;YACjD,CAAC,CAAC,SAAS,CAAC;QACd,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAwB,EACxB,GAAa,EACb,mBAA4C;IAE5C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACnC,IAAI,mBAAmB,EAAE,IAAI,KAAK,WAAW,IAAI,mBAAmB,CAAC,QAAQ,EAAE,CAAC;gBAC9E,IAAI,mBAAmB,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACxC,YAAY,CACV,KAAK,CAAC,QAAQ,CAAC,OAAO,EACtB,GAAG,EACH,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EACrC,kBAAkB,EAClB,cAAc,EACd,mBAAmB,CAAC,QAAQ,CAC7B,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;oBACvF,mBAAmB,CACjB,mBAAmB,EACnB,KAAK,EACL,GAAG,EACH,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CACtC,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,mBAAmB,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,KAAsB;IAC9D,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAsB,EAAE,GAAa;IAChE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,iBAAiB,CACf,KAAK,CAAC,QAAQ,EACd,GAAG,EACH,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,MAAM,EACpC,uBAAuB,EACvB,qBAAqB,KAAK,CAAC,QAAQ,EAAE,CACtC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACpD,cAAc,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,GAAG,EAAE,EAAE;YAC/C,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC3C,OAAO;YACT,CAAC;YACD,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,MAAM,EAAE,kBAAkB,EAAE,iBAAiB,GAAG,EAAE,CAAC,CAAC;QAChH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACxC,wBAAwB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE;YAC/C,QAAQ,EAAE,sBAAsB;YAChC,WAAW,EAAE,kBAAkB;YAC/B,QAAQ,EAAE,GAAG,CAAC,MAAM,IAAI,UAAU;SACnC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,wBAAwB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAC7B,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAC/C,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,OAAO,CAAC,WAAW,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;YAC3E,YAAY,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QACzC,2BAA2B,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5C,mBAAmB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAqB,EAAE,QAAsB;IAC9E,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,MAAM,GAAG,GAAG,0BAA0B,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7D,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1E,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,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"}
+{"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,EACZ,WAAW,EACX,kBAAkB,EAGnB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAwTjE,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAcd;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"}