@blockml/framework 0.1.0

package/dist/registry/library-bootstrap.js

@@ -0,0 +1,231 @@
+import { existsSync, readdirSync, readFileSync, statSync } from "node:fs";
+import { dirname, join, resolve } from "node:path";
+import { parse } from "@blockml/parser";
+import { TypeRegistry } from "./type-registry.js";
+function collectBmlFiles(dir, out = []) {
+    let entries;
+    try {
+        entries = readdirSync(dir);
+    }
+    catch {
+        return out;
+    }
+    for (const entry of entries) {
+        const full = join(dir, entry);
+        try {
+            const st = statSync(full);
+            if (st.isDirectory()) {
+                collectBmlFiles(full, out);
+            }
+            else if (entry.endsWith(".bml")) {
+                out.push(full);
+            }
+        }
+        catch {
+            continue;
+        }
+    }
+    return out;
+}
+function blocksRootFromLibraryPath(libraryPath) {
+    const normalized = libraryPath.replace(/\\/g, "/");
+    const marker = "/blocks/";
+    const idx = normalized.indexOf(marker);
+    if (idx >= 0) {
+        return normalized.slice(0, idx + "/blocks".length);
+    }
+    return dirname(dirname(libraryPath));
+}
+function aggregationInstances(block, name) {
+    const agg = block.members.find((m) => m.kind === "aggregation" && m.name === name);
+    if (!agg || agg.kind !== "aggregation" || !agg.composition) {
+        return [];
+    }
+    return agg.composition.children
+        .filter((child) => child.kind === "blockInstance")
+        .map((child) => child.instance);
+}
+function indexLibraryFiles(searchRoots) {
+    const index = new Map();
+    for (const root of searchRoots) {
+        for (const file of collectBmlFiles(root)) {
+            if (!file.endsWith("Library.bml")) {
+                continue;
+            }
+            try {
+                const source = readFileSync(file, "utf8");
+                const parsed = parse(source, { filePath: file, continueOnError: true });
+                const type = parsed.document?.block.type;
+                if (type) {
+                    index.set(type, file);
+                }
+            }
+            catch {
+                continue;
+            }
+        }
+    }
+    return index;
+}
+function exportedBlockFqns(libraryBlock) {
+    const fqns = new Set();
+    for (const inst of aggregationInstances(libraryBlock, "blocks")) {
+        fqns.add(inst.typeFqn);
+    }
+    return fqns;
+}
+function resolveLibraryGraph(seedPaths, searchRoots, rootDir, diagnostics) {
+    const libraryIndex = indexLibraryFiles(searchRoots);
+    const ordered = [];
+    const visited = new Set();
+    const exportsByLibrary = new Map();
+    const visit = (libraryPath) => {
+        const abs = resolve(rootDir, libraryPath);
+        if (visited.has(abs)) {
+            return;
+        }
+        visited.add(abs);
+        if (!existsSync(abs)) {
+            diagnostics.push({
+                severity: "error",
+                code: "BML_LIBRARY_RESOLVE_ERROR",
+                message: `Library not found: ${abs}`,
+                source: { file: abs, line: 1, column: 1 },
+            });
+            return;
+        }
+        let source;
+        try {
+            source = readFileSync(abs, "utf8");
+        }
+        catch (e) {
+            diagnostics.push({
+                severity: "error",
+                code: "BML_LIBRARY_RESOLVE_ERROR",
+                message: e instanceof Error ? e.message : String(e),
+                source: { file: abs, line: 1, column: 1 },
+            });
+            return;
+        }
+        const parsed = parse(source, { filePath: abs, continueOnError: true });
+        for (const d of parsed.diagnostics) {
+            diagnostics.push(d);
+        }
+        if (!parsed.document?.block.type) {
+            diagnostics.push({
+                severity: "error",
+                code: "BML_LIBRARY_RESOLVE_ERROR",
+                message: `Invalid Library.bml (no root type): ${abs}`,
+                source: { file: abs, line: 1, column: 1 },
+            });
+            return;
+        }
+        const libType = parsed.document.block.type;
+        libraryIndex.set(libType, abs);
+        exportsByLibrary.set(abs, exportedBlockFqns(parsed.document.block));
+        for (const dep of [
+            ...aggregationInstances(parsed.document.block, "dependencies"),
+            ...aggregationInstances(parsed.document.block, "subLibraries"),
+        ]) {
+            const depPath = libraryIndex.get(dep.typeFqn);
+            if (!depPath) {
+                diagnostics.push({
+                    severity: "error",
+                    code: "BML_LIBRARY_RESOLVE_ERROR",
+                    message: `Unresolved library dependency: ${dep.typeFqn}`,
+                    source: { file: abs, line: dep.source?.line ?? 1, column: dep.source?.column ?? 1 },
+                });
+                continue;
+            }
+            visit(depPath);
+        }
+        ordered.push(abs);
+    };
+    for (const seed of seedPaths) {
+        visit(seed);
+    }
+    return { orderedPaths: ordered, exportsByLibrary };
+}
+function checkNestingViolations(exportsByLibrary, diagnostics) {
+    const paths = [...exportsByLibrary.keys()];
+    for (let i = 0; i < paths.length; i++) {
+        const outerPath = paths[i];
+        const outerExports = exportsByLibrary.get(outerPath);
+        for (let j = i + 1; j < paths.length; j++) {
+            const innerPath = paths[j];
+            const innerExports = exportsByLibrary.get(innerPath);
+            for (const fqn of outerExports) {
+                if (innerExports.has(fqn)) {
+                    diagnostics.push({
+                        severity: "error",
+                        code: "BML_LIBRARY_NESTING_VIOLATION",
+                        message: `Library ${outerPath} re-exports block ${fqn} also exported by nested library ${innerPath}`,
+                        source: { file: outerPath, line: 1, column: 1 },
+                    });
+                }
+            }
+        }
+    }
+}
+function registerFiles(registry, files, diagnostics) {
+    for (const filePath of files) {
+        let source;
+        try {
+            source = readFileSync(filePath, "utf8");
+        }
+        catch (e) {
+            diagnostics.push({
+                severity: "warning",
+                code: "BML_BOOTSTRAP_READ_ERROR",
+                message: e instanceof Error ? e.message : String(e),
+                source: { file: filePath, line: 1, column: 1 },
+            });
+            continue;
+        }
+        const result = parse(source, { filePath, continueOnError: true });
+        for (const d of result.diagnostics) {
+            diagnostics.push(d);
+        }
+        if (result.document?.block.type) {
+            registry.register(result.document);
+        }
+    }
+}
+export function bootstrapFromLibraryPaths(libraryPaths, searchRoots, rootDir) {
+    const registry = new TypeRegistry();
+    const diagnostics = [];
+    const { orderedPaths, exportsByLibrary } = resolveLibraryGraph(libraryPaths, searchRoots, rootDir, diagnostics);
+    checkNestingViolations(exportsByLibrary, diagnostics);
+    const seenFiles = new Set();
+    for (const libraryPath of orderedPaths) {
+        const blocksRoot = blocksRootFromLibraryPath(libraryPath);
+        for (const file of collectBmlFiles(blocksRoot)) {
+            seenFiles.add(file);
+        }
+    }
+    registerFiles(registry, [...seenFiles], diagnostics);
+    return { registry, diagnostics, exportsByLibrary };
+}
+export function bootstrapFromCorpusPaths(paths, rootDir) {
+    const registry = new TypeRegistry();
+    const diagnostics = [];
+    const files = new Set();
+    const resolvedPaths = paths.length > 0 ? paths : [];
+    for (const base of resolvedPaths) {
+        const resolved = resolve(rootDir, base);
+        for (const file of collectBmlFiles(resolved)) {
+            files.add(file);
+        }
+    }
+    registerFiles(registry, [...files], diagnostics);
+    return { registry, diagnostics };
+}
+export function findLibraryFileForType(typeFqn, searchRoots) {
+    return indexLibraryFiles(searchRoots).get(typeFqn);
+}
+export function parseLibraryDocument(libraryPath) {
+    const source = readFileSync(libraryPath, "utf8");
+    const parsed = parse(source, { filePath: libraryPath, continueOnError: true });
+    return parsed.document;
+}
+//# sourceMappingURL=library-bootstrap.js.map

package/dist/registry/library-bootstrap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"library-bootstrap.js","sourceRoot":"","sources":["../../src/registry/library-bootstrap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEnD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,SAAS,eAAe,CAAC,GAAW,EAAE,MAAgB,EAAE;IACtD,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAC;IACb,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;gBACrB,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,yBAAyB,CAAC,WAAmB;IACpD,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,UAAU,CAAC;IAC1B,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACb,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAsB,EAAE,IAAY;IAChE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACnF,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;QAC3D,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,CAAC,QAAQ;SAC5B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC;SACjD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAqB;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;gBAClC,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;gBACxE,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;gBACzC,IAAI,IAAI,EAAE,CAAC;oBACT,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,YAA6B;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,oBAAoB,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAC1B,SAAmB,EACnB,WAAqB,EACrB,OAAe,EACf,WAAyB;IAEzB,MAAM,YAAY,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAExD,MAAM,KAAK,GAAG,CAAC,WAAmB,EAAE,EAAE;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO;QACT,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEjB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,sBAAsB,GAAG,EAAE;gBACpC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC1C,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;gBACnD,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC1C,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,uCAAuC,GAAG,EAAE;gBACrD,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC1C,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3C,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/B,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAEpE,KAAK,MAAM,GAAG,IAAI;YAChB,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;YAC9D,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;SAC/D,EAAE,CAAC;YACF,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,WAAW,CAAC,IAAI,CAAC;oBACf,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,kCAAkC,GAAG,CAAC,OAAO,EAAE;oBACxD,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE;iBACpF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,CAAC;QACjB,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,sBAAsB,CAC7B,gBAA0C,EAC1C,WAAyB;IAEzB,MAAM,KAAK,GAAG,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC;QACtD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YAC5B,MAAM,YAAY,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC;YACtD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;gBAC/B,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC;wBACf,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,+BAA+B;wBACrC,OAAO,EAAE,WAAW,SAAS,qBAAqB,GAAG,oCAAoC,SAAS,EAAE;wBACpG,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;qBAChD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,QAAsB,EACtB,KAAe,EACf,WAAyB;IAEzB,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC7B,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;gBACnD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC/C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YAChC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,YAAsB,EACtB,WAAqB,EACrB,OAAe;IAMf,MAAM,QAAQ,GAAG,IAAI,YAAY,EAAE,CAAC;IACpC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,EAAE,YAAY,EAAE,gBAAgB,EAAE,GAAG,mBAAmB,CAC5D,YAAY,EACZ,WAAW,EACX,OAAO,EACP,WAAW,CACZ,CAAC;IACF,sBAAsB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;IAEtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;QAC1D,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/C,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,aAAa,CAAC,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IACrD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAe,EACf,OAAe;IAEf,MAAM,QAAQ,GAAG,IAAI,YAAY,EAAE,CAAC;IACpC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAEpD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,aAAa,CAAC,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC;IACjD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAe,EACf,WAAqB;IAErB,OAAO,iBAAiB,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,WAAmB;IACtD,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,QAAQ,CAAC;AACzB,CAAC"}

package/dist/registry/library-exports.d.ts

@@ -0,0 +1,4 @@
+import type { BootstrapResult } from "./bootstrap.js";
+/** Exported block FQNs for a library path from a library-mode bootstrap. */
+export declare function getExportedFqns(libraryPath: string, bootstrap: BootstrapResult, rootDir?: string): Set<string> | undefined;
+//# sourceMappingURL=library-exports.d.ts.map

package/dist/registry/library-exports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"library-exports.d.ts","sourceRoot":"","sources":["../../src/registry/library-exports.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEtD,4EAA4E;AAC5E,wBAAgB,eAAe,CAC7B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,eAAe,EAC1B,OAAO,SAAgB,GACtB,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS,CAMzB"}

package/dist/registry/library-exports.js

@@ -0,0 +1,10 @@
+import { resolve } from "node:path";
+/** Exported block FQNs for a library path from a library-mode bootstrap. */
+export function getExportedFqns(libraryPath, bootstrap, rootDir = process.cwd()) {
+    if (!bootstrap.exportsByLibrary) {
+        return undefined;
+    }
+    const abs = resolve(rootDir, libraryPath);
+    return bootstrap.exportsByLibrary.get(abs);
+}
+//# sourceMappingURL=library-exports.js.map

package/dist/registry/library-exports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"library-exports.js","sourceRoot":"","sources":["../../src/registry/library-exports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpC,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,SAA0B,EAC1B,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE;IAEvB,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1C,OAAO,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC7C,CAAC"}

package/dist/registry/root-fqn.d.ts

@@ -0,0 +1,5 @@
+import type { TypeRegistry } from "./type-registry.js";
+/** Root FQN per file: registry key not prefixed by another key from the same file. */
+export declare function rootFqnByFilePath(registry: TypeRegistry): Map<string, string>;
+export declare function rootFqns(registry: TypeRegistry): string[];
+//# sourceMappingURL=root-fqn.d.ts.map

package/dist/registry/root-fqn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"root-fqn.d.ts","sourceRoot":"","sources":["../../src/registry/root-fqn.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,sFAAsF;AACtF,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,YAAY,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA2B7E;AAED,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,EAAE,CAEzD"}

package/dist/registry/root-fqn.js

@@ -0,0 +1,26 @@
+/** Root FQN per file: registry key not prefixed by another key from the same file. */
+export function rootFqnByFilePath(registry) {
+    const byFile = new Map();
+    for (const fqn of registry.keys()) {
+        const doc = registry.get(fqn);
+        const filePath = doc?.source?.filePath;
+        if (!filePath || filePath.startsWith("<")) {
+            continue;
+        }
+        const list = byFile.get(filePath) ?? [];
+        list.push(fqn);
+        byFile.set(filePath, list);
+    }
+    const roots = new Map();
+    for (const [filePath, fqns] of byFile) {
+        const root = fqns.find((candidate) => !fqns.some((other) => other !== candidate && candidate.startsWith(`${other}.`)));
+        if (root) {
+            roots.set(filePath, root);
+        }
+    }
+    return roots;
+}
+export function rootFqns(registry) {
+    return [...rootFqnByFilePath(registry).values()].sort();
+}
+//# sourceMappingURL=root-fqn.js.map

package/dist/registry/root-fqn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"root-fqn.js","sourceRoot":"","sources":["../../src/registry/root-fqn.ts"],"names":[],"mappings":"AAEA,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,QAAsB;IACtD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE3C,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC;QACvC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CACpB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,IAAI,CAAC,IAAI,CACR,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC,CACpE,CACJ,CAAC;QACF,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,QAAsB;IAC7C,OAAO,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1D,CAAC"}

package/dist/registry/type-registry.d.ts

@@ -0,0 +1,11 @@
+import type { BomDocument } from "@blockml/bom";
+export declare class TypeRegistry {
+    private readonly byFqn;
+    register(document: BomDocument): void;
+    private registerBlock;
+    get(fqn: string): BomDocument | undefined;
+    has(fqn: string): boolean;
+    keys(): string[];
+    size(): number;
+}
+//# sourceMappingURL=type-registry.d.ts.map

package/dist/registry/type-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-registry.d.ts","sourceRoot":"","sources":["../../src/registry/type-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAmB,MAAM,cAAc,CAAC;AAEjE,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkC;IAExD,QAAQ,CAAC,QAAQ,EAAE,WAAW,GAAG,IAAI;IAIrC,OAAO,CAAC,aAAa;IASrB,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIzC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAIzB,IAAI,IAAI,MAAM,EAAE;IAIhB,IAAI,IAAI,MAAM;CAGf"}

package/dist/registry/type-registry.js

@@ -0,0 +1,27 @@
+export class TypeRegistry {
+    byFqn = new Map();
+    register(document) {
+        this.registerBlock(document, document.block);
+    }
+    registerBlock(document, block) {
+        if (block.type) {
+            this.byFqn.set(block.type, { ...document, block });
+        }
+        for (const sub of block.subBlocks) {
+            this.registerBlock(document, sub);
+        }
+    }
+    get(fqn) {
+        return this.byFqn.get(fqn);
+    }
+    has(fqn) {
+        return this.byFqn.has(fqn);
+    }
+    keys() {
+        return [...this.byFqn.keys()];
+    }
+    size() {
+        return this.byFqn.size;
+    }
+}
+//# sourceMappingURL=type-registry.js.map

package/dist/registry/type-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-registry.js","sourceRoot":"","sources":["../../src/registry/type-registry.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,YAAY;IACN,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAExD,QAAQ,CAAC,QAAqB;QAC5B,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC;IAEO,aAAa,CAAC,QAAqB,EAAE,KAAsB;QACjE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,GAAG,CAAC,GAAW;QACb,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,GAAG,CAAC,GAAW;QACb,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI;QACF,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;CACF"}

package/dist/resolve/resolve-effective-members.d.ts

@@ -0,0 +1,16 @@
+import type { BlockDefinition, MemberDefinition, PropertyDefinition } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export declare function memberIdentityKey(member: MemberDefinition): string;
+export declare function collectBaseTypeChain(block: BlockDefinition, registry: TypeRegistry): BlockDefinition[];
+/**
+ * Merge members from block.contracts[] in declaration order.
+ * Contract subBlocks/compositions/embeddedBlocks are ignored.
+ */
+export declare function resolveContracts(block: BlockDefinition, registry: TypeRegistry): MemberDefinition[];
+/**
+ * Merge members: baseType chain (ancestors) → contracts[] → local members.
+ */
+export declare function resolveEffectiveMembers(block: BlockDefinition, registry: TypeRegistry): MemberDefinition[];
+export declare function findLocalMember(block: BlockDefinition, member: MemberDefinition): MemberDefinition | undefined;
+export declare function propertyForConstraintCheck(effective: PropertyDefinition, local: PropertyDefinition | undefined): PropertyDefinition;
+//# sourceMappingURL=resolve-effective-members.d.ts.map

package/dist/resolve/resolve-effective-members.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-effective-members.d.ts","sourceRoot":"","sources":["../../src/resolve/resolve-effective-members.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAC1F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjE,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAGlE;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,eAAe,EACtB,QAAQ,EAAE,YAAY,GACrB,eAAe,EAAE,CAoBnB;AA8CD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,eAAe,EACtB,QAAQ,EAAE,YAAY,GACrB,gBAAgB,EAAE,CAapB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,eAAe,EACtB,QAAQ,EAAE,YAAY,GACrB,gBAAgB,EAAE,CAapB;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,eAAe,EACtB,MAAM,EAAE,gBAAgB,GACvB,gBAAgB,GAAG,SAAS,CAG9B;AAED,wBAAgB,0BAA0B,CACxC,SAAS,EAAE,kBAAkB,EAC7B,KAAK,EAAE,kBAAkB,GAAG,SAAS,GACpC,kBAAkB,CAYpB"}

package/dist/resolve/resolve-effective-members.js

@@ -0,0 +1,104 @@
+export function memberIdentityKey(member) {
+    const ns = member.namespace ?? "";
+    return `${ns}:${member.name}`;
+}
+export function collectBaseTypeChain(block, registry) {
+    const chain = [];
+    const visited = new Set();
+    let current = block;
+    while (current) {
+        chain.unshift(current);
+        const base = current.baseType;
+        if (!base || visited.has(base)) {
+            break;
+        }
+        visited.add(base);
+        const parent = registry.get(base)?.block;
+        if (!parent) {
+            break;
+        }
+        current = parent;
+    }
+    return chain;
+}
+function mergeMemberPartial(existing, incoming) {
+    const merged = { ...existing, ...incoming, name: incoming.name };
+    if (existing.kind === "property" && incoming.kind === "property") {
+        const existingConstraints = existing.constraints ?? [];
+        const incomingConstraints = incoming.constraints ?? [];
+        if (incomingConstraints.length > 0) {
+            merged.constraints = [
+                ...existingConstraints,
+                ...incomingConstraints,
+            ];
+        }
+        if (incoming.value !== undefined) {
+            merged.value = incoming.value;
+        }
+        if (incoming.values !== undefined && incoming.values.length > 0) {
+            merged.values = incoming.values;
+        }
+    }
+    return merged;
+}
+function mergeMemberLayer(effective, members, treatAsOverride) {
+    for (const member of members) {
+        const key = memberIdentityKey(member);
+        const existing = effective.get(key);
+        if (!existing) {
+            effective.set(key, member);
+            continue;
+        }
+        if (member.override || treatAsOverride) {
+            effective.set(key, mergeMemberPartial(existing, member));
+        }
+    }
+}
+/**
+ * Merge members from block.contracts[] in declaration order.
+ * Contract subBlocks/compositions/embeddedBlocks are ignored.
+ */
+export function resolveContracts(block, registry) {
+    const effective = new Map();
+    for (const ref of block.contracts ?? []) {
+        const contractFqn = ref.value;
+        const contractDoc = registry.get(contractFqn);
+        if (!contractDoc) {
+            continue;
+        }
+        mergeMemberLayer(effective, contractDoc.block.members, true);
+    }
+    return [...effective.values()];
+}
+/**
+ * Merge members: baseType chain (ancestors) → contracts[] → local members.
+ */
+export function resolveEffectiveMembers(block, registry) {
+    const chain = collectBaseTypeChain(block, registry);
+    const ancestors = chain.slice(0, -1);
+    const effective = new Map();
+    for (const layer of ancestors) {
+        mergeMemberLayer(effective, layer.members, false);
+    }
+    mergeMemberLayer(effective, resolveContracts(block, registry), true);
+    mergeMemberLayer(effective, block.members, true);
+    return [...effective.values()];
+}
+export function findLocalMember(block, member) {
+    const key = memberIdentityKey(member);
+    return block.members.find((m) => memberIdentityKey(m) === key);
+}
+export function propertyForConstraintCheck(effective, local) {
+    if (!local) {
+        return effective;
+    }
+    const merged = { ...effective };
+    if (local.value !== undefined) {
+        merged.value = local.value;
+    }
+    if (local.values !== undefined && local.values.length > 0) {
+        merged.values = local.values;
+    }
+    return merged;
+}
+//# sourceMappingURL=resolve-effective-members.js.map

package/dist/resolve/resolve-effective-members.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-effective-members.js","sourceRoot":"","sources":["../../src/resolve/resolve-effective-members.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAAC,MAAwB;IACxD,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,OAAO,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAsB,EACtB,QAAsB;IAEtB,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,OAAO,GAAgC,KAAK,CAAC;IAEjD,OAAO,OAAO,EAAE,CAAC;QACf,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvB,MAAM,IAAI,GAAuB,OAAO,CAAC,QAAQ,CAAC;QAClD,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM;QACR,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,MAAM,GAAgC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;QACtE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM;QACR,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA0B,EAC1B,QAA0B;IAE1B,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAsB,CAAC;IAErF,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjE,MAAM,mBAAmB,GAAG,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;QACvD,MAAM,mBAAmB,GAAG,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;QACvD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAA6B,CAAC,WAAW,GAAG;gBAC3C,GAAG,mBAAmB;gBACtB,GAAG,mBAAmB;aACvB,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAChC,MAA6B,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QACxD,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,MAA6B,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAwC,EACxC,OAA2B,EAC3B,eAAwB;IAExB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,IAAI,eAAe,EAAE,CAAC;YACvC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAsB,EACtB,QAAsB;IAEtB,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IAEtD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC;QAC9B,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC9C,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,SAAS;QACX,CAAC;QACD,gBAAgB,CAAC,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAsB,EACtB,QAAsB;IAEtB,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IAEtD,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;IACrE,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAEjD,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAsB,EACtB,MAAwB;IAExB,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,SAA6B,EAC7B,KAAqC;IAErC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAuB,EAAE,GAAG,SAAS,EAAE,CAAC;IACpD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC7B,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

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

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

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