@blockml/framework 0.1.0

package/dist/validate/validate-constraints.js

@@ -0,0 +1,388 @@
+import { findLocalMember, propertyForConstraintCheck, resolveEffectiveMembers, } from "../resolve/resolve-effective-members.js";
+import { getPropertyNumericValue, isLiteralValue, } from "./validate-types.js";
+function diag(code, message, file, line = 1, column = 1, severity = "error") {
+    return { severity, code, message, source: { file, line, column } };
+}
+function constraintBranch(typeFqn) {
+    if (typeFqn.includes(".constraint.MinItems") ||
+        typeFqn.includes(".constraint.MaxItems") ||
+        typeFqn.includes(".constraint.AllowedChildType")) {
+        return "AggregationConstraint";
+    }
+    if (typeFqn.includes(".constraint.Min") ||
+        typeFqn.includes(".constraint.Max") ||
+        typeFqn.includes(".constraint.MinLength") ||
+        typeFqn.includes(".constraint.MaxLength") ||
+        typeFqn.includes(".constraint.Pattern") ||
+        typeFqn.includes(".constraint.ValuePresent")) {
+        return "ValueConstraint";
+    }
+    if (typeFqn.includes(".constraint.RequiresMember")) {
+        return "BlockConstraint";
+    }
+    if (typeFqn.includes(".constraint.MustBeReadOnly")) {
+        return "PropertyConstraint";
+    }
+    if (typeFqn.includes(".constraint.AllowedChildType")) {
+        return "AggregationConstraint";
+    }
+    if (typeFqn.includes(".constraint.NoSelfReference")) {
+        return "AssociationConstraint";
+    }
+    if (typeFqn.includes(".constraint.RequiresImplementation")) {
+        return "CapabilityConstraint";
+    }
+    if (typeFqn.endsWith(".constraint.Constraint") || typeFqn.includes(".constraint.")) {
+        if (typeFqn.includes("ValueConstraint")) {
+            return "ValueConstraint";
+        }
+        if (typeFqn.includes("BlockConstraint")) {
+            return "BlockConstraint";
+        }
+        if (typeFqn.includes("MemberConstraint")) {
+            return "PropertyConstraint";
+        }
+    }
+    return "Unknown";
+}
+function allowedBranchForContext(context) {
+    switch (context) {
+        case "block":
+            return new Set(["BlockConstraint"]);
+        case "property":
+            return new Set(["ValueConstraint", "PropertyConstraint"]);
+        case "aggregation":
+            return new Set(["AggregationConstraint"]);
+        case "association":
+            return new Set(["AssociationConstraint"]);
+        case "capability":
+            return new Set(["CapabilityConstraint"]);
+    }
+}
+function hasValidation(instance) {
+    const v = instance.memberValues["validation"];
+    return v !== undefined;
+}
+function validationSeverity(instance) {
+    const v = instance.memberValues["validation"];
+    if (!v || v.kind !== "literal") {
+        return null;
+    }
+    const val = String(v.value);
+    if (val.includes("Error") || val.includes("error")) {
+        return "error";
+    }
+    if (val.includes("Warning") || val.includes("warning")) {
+        return "warning";
+    }
+    if (val.includes("Information") || val.includes("information")) {
+        return "info";
+    }
+    return null;
+}
+function validationIsEnforced(instance) {
+    return validationSeverity(instance) !== null;
+}
+function constraintViolationCode(severity) {
+    if (severity === "warning") {
+        return "BML_CONSTRAINT_WARNING";
+    }
+    if (severity === "info") {
+        return "BML_CONSTRAINT_INFORMATION";
+    }
+    return "BML_CONSTRAINT_VIOLATION";
+}
+function pushConstraintViolation(instance, message, file, diagnostics, source) {
+    const severity = validationSeverity(instance);
+    if (!severity) {
+        return;
+    }
+    diagnostics.push(diag(constraintViolationCode(severity), message, file, source?.line ?? instance.source?.line, source?.column ?? instance.source?.column, severity));
+}
+function getPropertyStringValue(prop) {
+    const fromLiteral = (val) => {
+        if (val?.kind === "literal" && typeof val.value === "string") {
+            return val.value;
+        }
+        return undefined;
+    };
+    const direct = fromLiteral(prop.value);
+    if (direct !== undefined) {
+        return direct;
+    }
+    for (const entry of prop.values ?? []) {
+        const s = fromLiteral(entry.value);
+        if (s !== undefined) {
+            return s;
+        }
+    }
+    return undefined;
+}
+function constraintTypeArg(instance) {
+    const typeVal = instance.memberValues["type"];
+    if (typeVal?.kind === "literal") {
+        return String(typeVal.value);
+    }
+    return undefined;
+}
+function evaluateBlockConstraint(instance, block, registry, file, diagnostics) {
+    if (!validationIsEnforced(instance)) {
+        return;
+    }
+    if (instance.typeFqn.includes(".RequiresMember")) {
+        const nameVal = instance.memberValues["name"];
+        const memberName = nameVal && isLiteralValue(nameVal) ? String(nameVal.value) : undefined;
+        if (!memberName) {
+            return;
+        }
+        const effective = resolveEffectiveMembers(block, registry);
+        const found = effective.some((m) => m.name === memberName);
+        if (!found) {
+            pushConstraintViolation(instance, `RequiresMember: missing member ${memberName}`, file, diagnostics);
+        }
+    }
+}
+function hasAuthoredPropertyValue(prop) {
+    if (prop.value !== undefined) {
+        if (prop.value.kind === "literal") {
+            const v = prop.value.value;
+            return v !== null && v !== "";
+        }
+        return true;
+    }
+    for (const entry of prop.values ?? []) {
+        if (entry.value !== undefined) {
+            return true;
+        }
+    }
+    return false;
+}
+function evaluateValueConstraint(instance, prop, file, diagnostics) {
+    if (!validationIsEnforced(instance)) {
+        return;
+    }
+    const typeFqn = instance.typeFqn;
+    const limitVal = instance.memberValues["value"];
+    const limit = limitVal && isLiteralValue(limitVal) && typeof limitVal.value === "number"
+        ? limitVal.value
+        : Number(limitVal && isLiteralValue(limitVal) ? limitVal.value : NaN);
+    if (typeFqn.includes(".Min") && !typeFqn.includes("MinItems") && !typeFqn.includes("MinLength")) {
+        const actual = prop ? getPropertyNumericValue(prop) : undefined;
+        if (actual !== undefined && !Number.isNaN(limit) && actual < limit) {
+            pushConstraintViolation(instance, `Value ${actual} is less than minimum ${limit}`, file, diagnostics, prop?.source);
+        }
+    }
+    if (typeFqn.includes(".Max") && !typeFqn.includes("MaxItems") && !typeFqn.includes("MaxLength")) {
+        const actual = prop ? getPropertyNumericValue(prop) : undefined;
+        if (actual !== undefined && !Number.isNaN(limit) && actual > limit) {
+            pushConstraintViolation(instance, `Value ${actual} is greater than maximum ${limit}`, file, diagnostics, prop?.source);
+        }
+    }
+    if (typeFqn.includes(".MinLength")) {
+        const actual = prop ? getPropertyStringValue(prop) : undefined;
+        if (actual !== undefined && !Number.isNaN(limit) && actual.length < limit) {
+            pushConstraintViolation(instance, `String length ${actual.length} is less than minimum ${limit}`, file, diagnostics, prop?.source);
+        }
+    }
+    if (typeFqn.includes(".MaxLength")) {
+        const actual = prop ? getPropertyStringValue(prop) : undefined;
+        if (actual !== undefined && !Number.isNaN(limit) && actual.length > limit) {
+            pushConstraintViolation(instance, `String length ${actual.length} is greater than maximum ${limit}`, file, diagnostics, prop?.source);
+        }
+    }
+    if (typeFqn.includes(".Pattern")) {
+        const patternVal = instance.memberValues["pattern"] ?? instance.memberValues["value"];
+        const pattern = patternVal && isLiteralValue(patternVal) ? String(patternVal.value) : undefined;
+        const actual = prop ? getPropertyStringValue(prop) : undefined;
+        if (pattern && actual !== undefined) {
+            try {
+                if (!new RegExp(pattern).test(actual)) {
+                    pushConstraintViolation(instance, `Value does not match pattern ${pattern}`, file, diagnostics, prop?.source);
+                }
+            }
+            catch {
+                // invalid pattern — skip runtime evaluation
+            }
+        }
+    }
+    if (typeFqn.includes(".ValuePresent")) {
+        if (prop && !hasAuthoredPropertyValue(prop)) {
+            pushConstraintViolation(instance, `ValuePresent constraint violated on ${prop.name}`, file, diagnostics, prop?.source);
+        }
+    }
+}
+function evaluatePropertyConstraint(instance, prop, file, diagnostics) {
+    if (!validationIsEnforced(instance) || !prop) {
+        return;
+    }
+    if (instance.typeFqn.includes(".MustBeReadOnly") && !prop.readOnly) {
+        pushConstraintViolation(instance, `Property ${prop.name} must be readOnly`, file, diagnostics, prop.source);
+    }
+}
+function evaluateAggregationConstraint(instance, member, file, diagnostics) {
+    if (!validationIsEnforced(instance) || member.kind !== "aggregation") {
+        return;
+    }
+    const children = member.composition?.children.filter((c) => c.kind === "blockInstance") ?? [];
+    const count = children.length;
+    if (instance.typeFqn.includes(".MinItems")) {
+        const minVal = instance.memberValues["value"];
+        const min = minVal && isLiteralValue(minVal) && typeof minVal.value === "number"
+            ? minVal.value
+            : Number(minVal && isLiteralValue(minVal) ? minVal.value : NaN);
+        if (!Number.isNaN(min) && count < min) {
+            pushConstraintViolation(instance, `Aggregation ${member.name} has ${count} children, minimum is ${min}`, file, diagnostics, member.source);
+        }
+    }
+    if (instance.typeFqn.includes(".MaxItems")) {
+        const maxVal = instance.memberValues["value"];
+        const max = maxVal && isLiteralValue(maxVal) && typeof maxVal.value === "number"
+            ? maxVal.value
+            : Number(maxVal && isLiteralValue(maxVal) ? maxVal.value : NaN);
+        if (!Number.isNaN(max) && count > max) {
+            pushConstraintViolation(instance, `Aggregation ${member.name} has ${count} children, maximum is ${max}`, file, diagnostics, member.source);
+        }
+    }
+    if (instance.typeFqn.includes(".AllowedChildType")) {
+        const allowed = constraintTypeArg(instance);
+        if (allowed) {
+            for (const child of children) {
+                if (child.kind !== "blockInstance") {
+                    continue;
+                }
+                const childType = child.instance.typeFqn;
+                if (childType !== allowed && !childType.startsWith(`${allowed}.`)) {
+                    pushConstraintViolation(instance, `Child type ${childType} is not allowed (expected ${allowed})`, file, diagnostics, child.instance.source);
+                }
+            }
+        }
+    }
+}
+function evaluateCapabilityConstraint(instance, member, file, diagnostics) {
+    if (!validationIsEnforced(instance) || member.kind !== "capability") {
+        return;
+    }
+    if (instance.typeFqn.includes(".RequiresImplementation")) {
+        const impl = member.implementation?.source?.trim();
+        if (!impl) {
+            pushConstraintViolation(instance, `Capability ${member.name} requires implementation`, file, diagnostics, member.source);
+        }
+    }
+}
+function validateConstraintInstances(instances, context, file, diagnostics, block, registry, prop, member) {
+    if (!instances?.length) {
+        return;
+    }
+    const allowed = allowedBranchForContext(context);
+    for (const inst of instances) {
+        const branch = constraintBranch(inst.typeFqn);
+        if (branch === "Unknown") {
+            diagnostics.push(diag("BML_CONSTRAINT_UNKNOWN", `Unknown constraint type: ${inst.typeFqn}`, file, inst.source?.line, inst.source?.column));
+            continue;
+        }
+        if (!allowed.has(branch)) {
+            diagnostics.push(diag("BML_CONSTRAINT_TARGET_MISMATCH", `${branch} not allowed on ${context}`, file, inst.source?.line, inst.source?.column));
+            continue;
+        }
+        if (branch === "ValueConstraint") {
+            evaluateValueConstraint(inst, prop, file, diagnostics);
+        }
+        if (branch === "PropertyConstraint") {
+            evaluatePropertyConstraint(inst, prop, file, diagnostics);
+        }
+        if (branch === "BlockConstraint" && block && registry) {
+            evaluateBlockConstraint(inst, block, registry, file, diagnostics);
+        }
+        if (branch === "AggregationConstraint" && member) {
+            evaluateAggregationConstraint(inst, member, file, diagnostics);
+        }
+        if (branch === "CapabilityConstraint" && member) {
+            evaluateCapabilityConstraint(inst, member, file, diagnostics);
+        }
+    }
+}
+function validateMemberConstraintPlacement(member, file, diagnostics) {
+    const context = member.kind === "property"
+        ? "property"
+        : member.kind === "aggregation"
+            ? "aggregation"
+            : member.kind === "association"
+                ? "association"
+                : "capability";
+    if (!member.constraints?.length) {
+        return;
+    }
+    const allowed = allowedBranchForContext(context);
+    for (const inst of member.constraints) {
+        const branch = constraintBranch(inst.typeFqn);
+        if (branch === "Unknown") {
+            diagnostics.push(diag("BML_CONSTRAINT_UNKNOWN", `Unknown constraint type: ${inst.typeFqn}`, file, inst.source?.line, inst.source?.column));
+            continue;
+        }
+        if (!allowed.has(branch)) {
+            diagnostics.push(diag("BML_CONSTRAINT_TARGET_MISMATCH", `${branch} not allowed on ${context}`, file, inst.source?.line, inst.source?.column));
+        }
+    }
+}
+function validateEffectiveMemberConstraints(block, registry, file, diagnostics) {
+    const effective = resolveEffectiveMembers(block, registry);
+    for (const member of effective) {
+        if (!member.constraints?.length) {
+            continue;
+        }
+        const local = findLocalMember(block, member);
+        if (member.kind === "property") {
+            const prop = propertyForConstraintCheck(member, local?.kind === "property" ? local : undefined);
+            for (const inst of member.constraints) {
+                const branch = constraintBranch(inst.typeFqn);
+                if (branch === "ValueConstraint") {
+                    evaluateValueConstraint(inst, prop, file, diagnostics);
+                }
+                if (branch === "PropertyConstraint") {
+                    evaluatePropertyConstraint(inst, prop, file, diagnostics);
+                }
+            }
+        }
+        if (member.kind === "aggregation") {
+            const agg = local?.kind === "aggregation" ? local : member;
+            for (const inst of member.constraints) {
+                evaluateAggregationConstraint(inst, agg, file, diagnostics);
+            }
+        }
+        if (member.kind === "capability") {
+            const cap = local?.kind === "capability" ? local : member;
+            for (const inst of member.constraints) {
+                evaluateCapabilityConstraint(inst, cap, file, diagnostics);
+            }
+        }
+    }
+}
+function validateMemberConstraints(member, file, diagnostics) {
+    validateMemberConstraintPlacement(member, file, diagnostics);
+    const context = member.kind === "property"
+        ? "property"
+        : member.kind === "aggregation"
+            ? "aggregation"
+            : member.kind === "association"
+                ? "association"
+                : "capability";
+    const prop = member.kind === "property" ? member : undefined;
+    validateConstraintInstances(member.constraints, context, file, diagnostics, undefined, undefined, prop, member);
+}
+function validateBlockConstraints(block, registry, file, diagnostics) {
+    validateConstraintInstances(block.constraints, "block", file, diagnostics, block, registry);
+    for (const member of block.members) {
+        validateMemberConstraints(member, file, diagnostics);
+    }
+    validateEffectiveMemberConstraints(block, registry, file, diagnostics);
+    for (const sub of block.subBlocks) {
+        validateBlockConstraints(sub, registry, file, diagnostics);
+    }
+}
+export function validateConstraints(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    validateBlockConstraints(document.block, registry, file, diagnostics);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-constraints.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-constraints.js","sourceRoot":"","sources":["../../src/validate/validate-constraints.ts"],"names":[],"mappings":"AASA,OAAO,EACL,eAAe,EACf,0BAA0B,EAC1B,uBAAuB,GACxB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EACL,uBAAuB,EACvB,cAAc,GACf,MAAM,qBAAqB,CAAC;AAkB7B,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,IAAI,GAAG,CAAC,EACR,MAAM,GAAG,CAAC,EACV,WAAmC,OAAO;IAE1C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAe;IACvC,IACE,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QACxC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QACxC,OAAO,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAChD,CAAC;QACD,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IACE,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACnC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACnC,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACzC,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACzC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QACvC,OAAO,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAC5C,CAAC;QACD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,EAAE,CAAC;QACnD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,EAAE,CAAC;QACnD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,CAAC;QACrD,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAC,EAAE,CAAC;QACpD,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,CAAC;QAC3D,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACnF,IAAI,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACxC,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACxC,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACzC,OAAO,oBAAoB,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAqB;IACpD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACtC,KAAK,UAAU;YACb,OAAO,IAAI,GAAG,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,CAAC,CAAC;QAC5D,KAAK,aAAa;YAChB,OAAO,IAAI,GAAG,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAC5C,KAAK,aAAa;YAChB,OAAO,IAAI,GAAG,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAC5C,KAAK,YAAY;YACf,OAAO,IAAI,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,QAAuB;IAC5C,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;IAC9C,OAAO,CAAC,KAAK,SAAS,CAAC;AACzB,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAuB;IACjD,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/D,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAuB;IACnD,OAAO,kBAAkB,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAgC;IAC/D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,wBAAwB,CAAC;IAClC,CAAC;IACD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,4BAA4B,CAAC;IACtC,CAAC;IACD,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAuB,EACvB,OAAe,EACf,IAAY,EACZ,WAAyB,EACzB,MAA2C;IAE3C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,uBAAuB,CAAC,QAAQ,CAAC,EACjC,OAAO,EACP,IAAI,EACJ,MAAM,EAAE,IAAI,IAAI,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrC,MAAM,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,MAAM,EACzC,QAAQ,CACT,CACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAwB;IACtD,MAAM,WAAW,GAAG,CAAC,GAAgC,EAAE,EAAE;QACvD,IAAI,GAAG,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC7D,OAAO,GAAG,CAAC,KAAK,CAAC;QACnB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAuB;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,OAAO,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAuB,EACvB,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,UAAU,GACd,OAAO,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO;QACT,CAAC;QACD,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,uBAAuB,CACrB,QAAQ,EACR,kCAAkC,UAAU,EAAE,EAC9C,IAAI,EACJ,WAAW,CACZ,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAwB;IACxD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAC3B,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAuB,EACvB,IAAoC,EACpC,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,KAAK,GACT,QAAQ,IAAI,cAAc,CAAC,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;QACxE,CAAC,CAAC,QAAQ,CAAC,KAAK;QAChB,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAE1E,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,GAAG,KAAK,EAAE,CAAC;YACnE,uBAAuB,CACrB,QAAQ,EACR,SAAS,MAAM,yBAAyB,KAAK,EAAE,EAC/C,IAAI,EACJ,WAAW,EACX,IAAI,EAAE,MAAM,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,GAAG,KAAK,EAAE,CAAC;YACnE,uBAAuB,CACrB,QAAQ,EACR,SAAS,MAAM,4BAA4B,KAAK,EAAE,EAClD,IAAI,EACJ,WAAW,EACX,IAAI,EAAE,MAAM,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;YAC1E,uBAAuB,CACrB,QAAQ,EACR,iBAAiB,MAAM,CAAC,MAAM,yBAAyB,KAAK,EAAE,EAC9D,IAAI,EACJ,WAAW,EACX,IAAI,EAAE,MAAM,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;YAC1E,uBAAuB,CACrB,QAAQ,EACR,iBAAiB,MAAM,CAAC,MAAM,4BAA4B,KAAK,EAAE,EACjE,IAAI,EACJ,WAAW,EACX,IAAI,EAAE,MAAM,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACtF,MAAM,OAAO,GACX,UAAU,IAAI,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,IAAI,OAAO,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACpC,IAAI,CAAC;gBACH,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACtC,uBAAuB,CACrB,QAAQ,EACR,gCAAgC,OAAO,EAAE,EACzC,IAAI,EACJ,WAAW,EACX,IAAI,EAAE,MAAM,CACb,CAAC;gBACJ,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,4CAA4C;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,IAAI,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,uBAAuB,CACrB,QAAQ,EACR,uCAAuC,IAAI,CAAC,IAAI,EAAE,EAClD,IAAI,EACJ,WAAW,EACX,IAAI,EAAE,MAAM,CACb,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,QAAuB,EACvB,IAAoC,EACpC,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnE,uBAAuB,CACrB,QAAQ,EACR,YAAY,IAAI,CAAC,IAAI,mBAAmB,EACxC,IAAI,EACJ,WAAW,EACX,IAAI,CAAC,MAAM,CACZ,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,QAAuB,EACvB,MAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrE,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GACZ,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,EAAE,CAAC;IAC/E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;IAE9B,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,GAAG,GACP,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;YAClE,CAAC,CAAC,MAAM,CAAC,KAAK;YACd,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;YACtC,uBAAuB,CACrB,QAAQ,EACR,eAAe,MAAM,CAAC,IAAI,QAAQ,KAAK,yBAAyB,GAAG,EAAE,EACrE,IAAI,EACJ,WAAW,EACX,MAAM,CAAC,MAAM,CACd,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,GAAG,GACP,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;YAClE,CAAC,CAAC,MAAM,CAAC,KAAK;YACd,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;YACtC,uBAAuB,CACrB,QAAQ,EACR,eAAe,MAAM,CAAC,IAAI,QAAQ,KAAK,yBAAyB,GAAG,EAAE,EACrE,IAAI,EACJ,WAAW,EACX,MAAM,CAAC,MAAM,CACd,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACnD,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBACnC,SAAS;gBACX,CAAC;gBACD,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;gBACzC,IAAI,SAAS,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,OAAO,GAAG,CAAC,EAAE,CAAC;oBAClE,uBAAuB,CACrB,QAAQ,EACR,cAAc,SAAS,6BAA6B,OAAO,GAAG,EAC9D,IAAI,EACJ,WAAW,EACX,KAAK,CAAC,QAAQ,CAAC,MAAM,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CACnC,QAAuB,EACvB,MAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpE,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACnD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,uBAAuB,CACrB,QAAQ,EACR,cAAc,MAAM,CAAC,IAAI,0BAA0B,EACnD,IAAI,EACJ,WAAW,EACX,MAAM,CAAC,MAAM,CACd,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,SAAsC,EACtC,OAAqB,EACrB,IAAY,EACZ,WAAyB,EACzB,KAAuB,EACvB,QAAuB,EACvB,IAAyB,EACzB,MAAyB;IAEzB,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,4BAA4B,IAAI,CAAC,OAAO,EAAE,EAC1C,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,GAAG,MAAM,mBAAmB,OAAO,EAAE,EACrC,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,KAAK,iBAAiB,EAAE,CAAC;YACjC,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;YACpC,0BAA0B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,MAAM,KAAK,iBAAiB,IAAI,KAAK,IAAI,QAAQ,EAAE,CAAC;YACtD,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,MAAM,KAAK,uBAAuB,IAAI,MAAM,EAAE,CAAC;YACjD,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,MAAM,KAAK,sBAAsB,IAAI,MAAM,EAAE,CAAC;YAChD,4BAA4B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iCAAiC,CACxC,MAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,MAAM,OAAO,GACX,MAAM,CAAC,IAAI,KAAK,UAAU;QACxB,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa;YAC7B,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa;gBAC7B,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,YAAY,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;QAChC,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,4BAA4B,IAAI,CAAC,OAAO,EAAE,EAC1C,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,GAAG,MAAM,mBAAmB,OAAO,EAAE,EACrC,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kCAAkC,CACzC,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3D,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,0BAA0B,CACrC,MAAM,EACN,KAAK,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAC/C,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC9C,IAAI,MAAM,KAAK,iBAAiB,EAAE,CAAC;oBACjC,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;gBACzD,CAAC;gBACD,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;oBACpC,0BAA0B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,KAAK,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YAC3D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACtC,6BAA6B,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,KAAK,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YAC1D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACtC,4BAA4B,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,MAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,iCAAiC,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7D,MAAM,OAAO,GACX,MAAM,CAAC,IAAI,KAAK,UAAU;QACxB,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa;YAC7B,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa;gBAC7B,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,YAAY,CAAC;IACvB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,2BAA2B,CACzB,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,IAAI,EACJ,WAAW,EACX,SAAS,EACT,SAAS,EACT,IAAI,EACJ,MAAM,CACP,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,2BAA2B,CACzB,KAAK,CAAC,WAAW,EACjB,OAAO,EACP,IAAI,EACJ,WAAW,EACX,KAAK,EACL,QAAQ,CACT,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,yBAAyB,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACvD,CAAC;IACD,kCAAkC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACvE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,wBAAwB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtE,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/validate/validate-embedded-blocks.d.ts

@@ -0,0 +1,3 @@
+import type { BomDocument, Diagnostic } from "@blockml/bom";
+export declare function validateEmbeddedBlocks(document: BomDocument): Diagnostic[];
+//# sourceMappingURL=validate-embedded-blocks.d.ts.map

package/dist/validate/validate-embedded-blocks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-embedded-blocks.d.ts","sourceRoot":"","sources":["../../src/validate/validate-embedded-blocks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,WAAW,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AA0F7E,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,WAAW,GAAG,UAAU,EAAE,CAS1E"}

package/dist/validate/validate-embedded-blocks.js

@@ -0,0 +1,44 @@
+function diag(code, message, file, line = 1, column = 1) {
+    return { severity: "error", code, message, source: { file, line, column } };
+}
+function expectedSubBlockType(parentType, subName) {
+    return `${parentType}.${subName}`;
+}
+function validateSubBlocks(block, file, diagnostics) {
+    for (const sub of block.subBlocks) {
+        if (sub.embeddedBlocks.length > 0) {
+            diagnostics.push(diag("BML_EMBEDDED_BLOCKS_ON_SUBBLOCK", `Sub-block ${sub.name} must not declare embeddedBlocks`, file, sub.source?.line, sub.source?.column));
+        }
+        const expected = expectedSubBlockType(block.type, sub.name);
+        if (sub.type && sub.type !== expected) {
+            diagnostics.push(diag("BML_SUBBLOCK_TYPE_MISMATCH", `Sub-block ${sub.name} type ${sub.type} does not match expected ${expected}`, file, sub.source?.line, sub.source?.column));
+        }
+        validateSubBlocks(sub, file, diagnostics);
+    }
+}
+function validateEmbeddedBlocksOnRoot(block, file, diagnostics) {
+    if (block.embeddedBlocks.length === 0) {
+        return;
+    }
+    const seen = new Set();
+    for (const embed of block.embeddedBlocks) {
+        if (embed.embeddedBlocks.length > 0) {
+            diagnostics.push(diag("BML_NESTED_EMBEDDED_BLOCKS", `Embedded block ${embed.type} must not declare nested embeddedBlocks`, file, embed.source?.line, embed.source?.column));
+        }
+        if (embed.type) {
+            if (seen.has(embed.type)) {
+                diagnostics.push(diag("BML_DUPLICATE_EMBEDDED_BLOCK", `Duplicate embedded block FQN: ${embed.type}`, file, embed.source?.line, embed.source?.column));
+            }
+            seen.add(embed.type);
+        }
+    }
+}
+export function validateEmbeddedBlocks(document) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    const root = document.block;
+    validateEmbeddedBlocksOnRoot(root, file, diagnostics);
+    validateSubBlocks(root, file, diagnostics);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-embedded-blocks.js.map

package/dist/validate/validate-embedded-blocks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-embedded-blocks.js","sourceRoot":"","sources":["../../src/validate/validate-embedded-blocks.ts"],"names":[],"mappings":"AAEA,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,IAAI,GAAG,CAAC,EACR,MAAM,GAAG,CAAC;IAEV,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAkB,EAAE,OAAe;IAC/D,OAAO,GAAG,UAAU,IAAI,OAAO,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,IAAI,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,iCAAiC,EACjC,aAAa,GAAG,CAAC,IAAI,kCAAkC,EACvD,IAAI,EACJ,GAAG,CAAC,MAAM,EAAE,IAAI,EAChB,GAAG,CAAC,MAAM,EAAE,MAAM,CACnB,CACF,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,4BAA4B,EAC5B,aAAa,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,4BAA4B,QAAQ,EAAE,EAC5E,IAAI,EACJ,GAAG,CAAC,MAAM,EAAE,IAAI,EAChB,GAAG,CAAC,MAAM,EAAE,MAAM,CACnB,CACF,CAAC;QACJ,CAAC;QAED,iBAAiB,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,4BAA4B,EAC5B,kBAAkB,KAAK,CAAC,IAAI,yCAAyC,EACrE,IAAI,EACJ,KAAK,CAAC,MAAM,EAAE,IAAI,EAClB,KAAK,CAAC,MAAM,EAAE,MAAM,CACrB,CACF,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,8BAA8B,EAC9B,iCAAiC,KAAK,CAAC,IAAI,EAAE,EAC7C,IAAI,EACJ,KAAK,CAAC,MAAM,EAAE,IAAI,EAClB,KAAK,CAAC,MAAM,EAAE,MAAM,CACrB,CACF,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAqB;IAC1D,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC;IAE5B,4BAA4B,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAE3C,OAAO,WAAW,CAAC;AACrB,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-instances.d.ts","sourceRoot":"","sources":["../../src/validate/validate-instances.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAGX,UAAU,EAEX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAqKjE,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,WAAW,EACrB,SAAS,EAAE,YAAY,GACtB,UAAU,EAAE,CAQd"}

package/dist/validate/validate-instances.js

@@ -0,0 +1,107 @@
+function diag(code, message, file, line = 1, column = 1) {
+    return { severity: "error", code, message, source: { file, line, column } };
+}
+function literalString(val) {
+    if (!val || val.kind !== "literal") {
+        return undefined;
+    }
+    return typeof val.value === "string" ? val.value : String(val.value);
+}
+function instanceId(instance) {
+    return literalString(instance.id);
+}
+function collectIdsInComposition(nodes, ids, file) {
+    for (const node of nodes) {
+        if (node.kind === "blockInstance") {
+            const id = instanceId(node.instance);
+            if (id) {
+                const loc = { file };
+                if (node.instance.source?.line !== undefined) {
+                    loc.line = node.instance.source.line;
+                }
+                if (node.instance.source?.column !== undefined) {
+                    loc.column = node.instance.source.column;
+                }
+                ids.set(id, loc);
+            }
+            for (const agg of node.instance.aggregationCompositions ?? []) {
+                collectIdsInComposition(agg.composition.children, ids, file);
+            }
+        }
+        else {
+            collectIdsInComposition(node.children, ids, file);
+        }
+    }
+}
+function collectDocumentInstanceIds(block, file) {
+    const ids = new Map();
+    for (const template of block.compositions) {
+        collectIdsInComposition(template.children, ids, file);
+    }
+    for (const sub of block.subBlocks) {
+        const subIds = collectDocumentInstanceIds(sub, file);
+        for (const [id, loc] of subIds) {
+            ids.set(id, loc);
+        }
+    }
+    return ids;
+}
+function resolveInstanceRef(token, ids) {
+    if (token.includes("::")) {
+        const id = token.split("::").pop();
+        return id !== undefined && ids.has(id);
+    }
+    return ids.has(token);
+}
+function validateInstanceRefs(instance, ids, file, diagnostics) {
+    if (instance.basePresets && !resolveInstanceRef(instance.basePresets, ids)) {
+        diagnostics.push(diag("BML_UNRESOLVABLE_INSTANCE_REF", `Unresolved basePresets reference: ${instance.basePresets}`, file, instance.source?.line, instance.source?.column));
+    }
+    for (const val of Object.values(instance.memberValues)) {
+        if (val.kind !== "literal") {
+            continue;
+        }
+        const text = typeof val.value === "string" ? val.value : undefined;
+        if (text && text.includes("::") && !resolveInstanceRef(text, ids)) {
+            diagnostics.push(diag("BML_UNRESOLVABLE_INSTANCE_REF", `Unresolved instance reference: ${text}`, file, instance.source?.line, instance.source?.column));
+        }
+    }
+    for (const agg of instance.aggregationCompositions ?? []) {
+        for (const child of agg.composition.children) {
+            if (child.kind === "blockInstance") {
+                validateInstanceRefs(child.instance, ids, file, diagnostics);
+            }
+        }
+    }
+}
+function validateCompositionNodes(nodes, ids, file, diagnostics) {
+    for (const node of nodes) {
+        if (node.kind === "blockInstance") {
+            const hasEach = node.directives?.some((d) => d.type === "each");
+            if (hasEach && !instanceId(node.instance)) {
+                diagnostics.push(diag("BML_MISSING_ID", "bml:each requires explicit bml:id on the block instance", file, node.source?.line ?? node.instance.source?.line, node.source?.column ?? node.instance.source?.column));
+            }
+            validateInstanceRefs(node.instance, ids, file, diagnostics);
+            for (const agg of node.instance.aggregationCompositions ?? []) {
+                validateCompositionNodes(agg.composition.children, ids, file, diagnostics);
+            }
+        }
+        else {
+            const hasEach = node.directives?.some((d) => d.type === "each");
+            if (hasEach) {
+                diagnostics.push(diag("BML_MISSING_ID", "bml:each requires explicit bml:id on the container element", file, node.source?.line, node.source?.column));
+            }
+            validateCompositionNodes(node.children, ids, file, diagnostics);
+        }
+    }
+}
+export function validateInstances(document, _registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    const ids = collectDocumentInstanceIds(document.block, file);
+    for (const template of document.block.compositions) {
+        validateCompositionNodes(template.children, ids, file, diagnostics);
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=validate-instances.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-instances.js","sourceRoot":"","sources":["../../src/validate/validate-instances.ts"],"names":[],"mappings":"AAWA,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,IAAI,GAAG,CAAC,EACR,MAAM,GAAG,CAAC;IAEV,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,GAA4B;IACjD,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,UAAU,CAAC,QAAuB;IACzC,OAAO,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAwB,EACxB,GAAkE,EAClE,IAAY;IAEZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,EAAE,EAAE,CAAC;gBACP,MAAM,GAAG,GAAqD,EAAE,IAAI,EAAE,CAAC;gBACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7C,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBACvC,CAAC;gBACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;oBAC/C,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC3C,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACnB,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,uBAAuB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,uBAAuB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAsB,EACtB,IAAY;IAEZ,MAAM,GAAG,GAAG,IAAI,GAAG,EAA4D,CAAC;IAChF,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,0BAA0B,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;YAC/B,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAa,EACb,GAAkE;IAElE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;QACnC,OAAO,EAAE,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAuB,EACvB,GAAkE,EAClE,IAAY,EACZ,WAAyB;IAEzB,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QAC3E,WAAW,CAAC,IAAI,CACd,IAAI,CACF,+BAA+B,EAC/B,qCAAqC,QAAQ,CAAC,WAAW,EAAE,EAC3D,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACvD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,IAAI,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAClE,WAAW,CAAC,IAAI,CACd,IAAI,CACF,+BAA+B,EAC/B,kCAAkC,IAAI,EAAE,EACxC,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACnC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAwB,EACxB,GAAkE,EAClE,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAChE,IAAI,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1C,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gBAAgB,EAChB,yDAAyD,EACzD,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAC/C,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CACpD,CACF,CAAC;YACJ,CAAC;YACD,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAChE,IAAI,OAAO,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gBAAgB,EAChB,4DAA4D,EAC5D,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;YACJ,CAAC;YACD,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,QAAqB,EACrB,SAAuB;IAEvB,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,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QACnD,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-presets.d.ts","sourceRoot":"","sources":["../../src/validate/validate-presets.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAEX,UAAU,EACX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAuHjE,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAcd"}