@blockml/framework 0.1.0

package/dist/validate/validate-presets.js

@@ -0,0 +1,86 @@
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+function diag(code, message, file, line = 1, column = 1) {
+    return { severity: "error", code, message, source: { file, line, column } };
+}
+function walkCompositionInstances(nodes, visit) {
+    for (const node of nodes) {
+        if (node.kind === "blockInstance") {
+            visit(node.instance);
+            for (const agg of node.instance.aggregationCompositions ?? []) {
+                walkCompositionInstances(agg.composition.children, visit);
+            }
+        }
+        else {
+            walkCompositionInstances(node.children, visit);
+        }
+    }
+}
+function detectPresetCycleOnInstance(instance, chain, idsInDocument, file, diagnostics) {
+    if (!instance.basePresets) {
+        return;
+    }
+    const ref = instance.basePresets;
+    const id = ref.includes("::") ? ref.split("::").pop() : ref;
+    if (chain.includes(id)) {
+        diagnostics.push(diag("BML_PRESET_CYCLE", `Preset inheritance cycle: ${[...chain, id].join(" → ")}`, file, instance.source?.line, instance.source?.column));
+        return;
+    }
+    if (!idsInDocument.has(id)) {
+        return;
+    }
+    chain.push(id);
+}
+function collectPresetIds(block) {
+    const ids = new Set();
+    const visit = (instance) => {
+        const id = instance.id?.kind === "literal" && typeof instance.id.value === "string"
+            ? instance.id.value
+            : undefined;
+        if (id) {
+            ids.add(id);
+        }
+    };
+    for (const template of block.compositions) {
+        walkCompositionInstances(template.children, visit);
+    }
+    for (const sub of block.subBlocks) {
+        for (const id of collectPresetIds(sub)) {
+            ids.add(id);
+        }
+    }
+    return ids;
+}
+function validatePresetProperties(block, registry, file, diagnostics) {
+    const effective = resolveEffectiveMembers(block, registry);
+    const names = new Set(effective.map((m) => m.name));
+    for (const member of block.members) {
+        if (member.kind !== "property" || !member.suggestions?.length) {
+            continue;
+        }
+        for (const suggestion of member.suggestions) {
+            const propName = suggestion.memberValues["name"];
+            if (propName?.kind === "literal" &&
+                typeof propName.value === "string" &&
+                !names.has(propName.value)) {
+                diagnostics.push(diag("BML_UNKNOWN_PROPERTY", `Preset property ${propName.value} is not a member of ${block.type}`, file, suggestion.source?.line, suggestion.source?.column));
+            }
+        }
+    }
+    for (const sub of block.subBlocks) {
+        validatePresetProperties(sub, registry, file, diagnostics);
+    }
+}
+export function validatePresets(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    const presetIds = collectPresetIds(document.block);
+    const visit = (instance) => {
+        detectPresetCycleOnInstance(instance, [], presetIds, file, diagnostics);
+    };
+    for (const template of document.block.compositions) {
+        walkCompositionInstances(template.children, visit);
+    }
+    validatePresetProperties(document.block, registry, file, diagnostics);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-presets.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-presets.js","sourceRoot":"","sources":["../../src/validate/validate-presets.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAElF,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,wBAAwB,CAC/B,KAAwB,EACxB,KAAwC;IAExC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,QAAuB,EACvB,KAAe,EACf,aAA0B,EAC1B,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC;IACjC,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC7D,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,kBAAkB,EAClB,6BAA6B,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EACzD,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACF,OAAO;IACT,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3B,OAAO;IACT,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,QAAuB,EAAE,EAAE;QACxC,MAAM,EAAE,GACN,QAAQ,CAAC,EAAE,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,EAAE,CAAC,KAAK,KAAK,QAAQ;YACtE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK;YACnB,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,EAAE,EAAE,CAAC;YACP,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEpD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YACjD,IACE,QAAQ,EAAE,IAAI,KAAK,SAAS;gBAC5B,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;gBAClC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC1B,CAAC;gBACD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,mBAAmB,QAAQ,CAAC,KAAK,uBAAuB,KAAK,CAAC,IAAI,EAAE,EACpE,IAAI,EACJ,UAAU,CAAC,MAAM,EAAE,IAAI,EACvB,UAAU,CAAC,MAAM,EAAE,MAAM,CAC1B,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,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,eAAe,CAC7B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAEnD,MAAM,KAAK,GAAG,CAAC,QAAuB,EAAE,EAAE;QACxC,2BAA2B,CAAC,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC1E,CAAC,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QACnD,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC;IAED,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtE,OAAO,WAAW,CAAC;AACrB,CAAC"}

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

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

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

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

package/dist/validate/validate-readonly.js

@@ -0,0 +1,64 @@
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+function diag(code, message, file, line = 1, column = 1) {
+    return { severity: "error", code, message, source: { file, line, column } };
+}
+function readOnlyMemberNames(typeFqn, registry) {
+    const doc = registry.get(typeFqn);
+    if (!doc) {
+        return new Set();
+    }
+    return new Set(resolveEffectiveMembers(doc.block, registry)
+        .filter((m) => m.readOnly)
+        .map((m) => m.name));
+}
+function validateInstanceReadOnly(instance, registry, file, diagnostics) {
+    const readOnly = readOnlyMemberNames(instance.typeFqn, registry);
+    for (const name of Object.keys(instance.memberValues)) {
+        if (readOnly.has(name)) {
+            diagnostics.push(diag("BML_READONLY_MEMBER_WRITE", `readOnly member ${name} must not be set on block instance`, file, instance.source?.line, instance.source?.column));
+        }
+    }
+    for (const agg of instance.aggregationCompositions ?? []) {
+        for (const child of agg.composition.children) {
+            if (child.kind === "blockInstance") {
+                validateInstanceReadOnly(child.instance, registry, file, diagnostics);
+            }
+        }
+    }
+}
+function walkCompositionReadOnly(nodes, registry, file, diagnostics) {
+    for (const node of nodes) {
+        if (node.kind === "blockInstance") {
+            validateInstanceReadOnly(node.instance, registry, file, diagnostics);
+            for (const agg of node.instance.aggregationCompositions ?? []) {
+                walkCompositionReadOnly(agg.composition.children, registry, file, diagnostics);
+            }
+        }
+        else {
+            walkCompositionReadOnly(node.children, registry, file, diagnostics);
+        }
+    }
+}
+function validateBlockConstraintInstances(block, registry, file, diagnostics) {
+    for (const inst of block.constraints ?? []) {
+        validateInstanceReadOnly(inst, registry, file, diagnostics);
+    }
+    for (const member of block.members) {
+        for (const inst of member.constraints ?? []) {
+            validateInstanceReadOnly(inst, registry, file, diagnostics);
+        }
+    }
+    for (const sub of block.subBlocks) {
+        validateBlockConstraintInstances(sub, registry, file, diagnostics);
+    }
+}
+export function validateReadOnly(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    for (const template of document.block.compositions) {
+        walkCompositionReadOnly(template.children, registry, file, diagnostics);
+    }
+    validateBlockConstraintInstances(document.block, registry, file, diagnostics);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-readonly.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-readonly.js","sourceRoot":"","sources":["../../src/validate/validate-readonly.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAElF,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,mBAAmB,CAC1B,OAAe,EACf,QAAsB;IAEtB,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,GAAG,CACZ,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC;SACzC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;SACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAuB,EACvB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACtD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,2BAA2B,EAC3B,mBAAmB,IAAI,oCAAoC,EAC3D,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,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,wBAAwB,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAwB,EACxB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACrE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,uBAAuB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,uBAAuB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gCAAgC,CACvC,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC3C,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9D,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAC5C,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,gCAAgC,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QACnD,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC1E,CAAC;IACD,gCAAgC,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9E,OAAO,WAAW,CAAC;AACrB,CAAC"}

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

@@ -0,0 +1,7 @@
+import type { BomDocument, Diagnostic, LiteralValue, MemberValue, PropertyDefinition } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export declare function validateTypes(document: BomDocument, registry: TypeRegistry): Diagnostic[];
+export declare function getLiteralNumericValue(val: MemberValue | undefined): number | undefined;
+export declare function getPropertyNumericValue(prop: PropertyDefinition): number | undefined;
+export declare function isLiteralValue(val: MemberValue | undefined): val is LiteralValue;
+//# sourceMappingURL=validate-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-types.d.ts","sourceRoot":"","sources":["../../src/validate/validate-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EACX,UAAU,EAEV,YAAY,EAEZ,WAAW,EACX,kBAAkB,EACnB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAqMjE,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"}

package/dist/validate/validate-types.js

@@ -0,0 +1,130 @@
+import { parseExpression } from "../expression/parse-expression.js";
+import { memberIdentityKey, resolveEffectiveMembers, } from "../resolve/resolve-effective-members.js";
+function diag(code, message, file, line = 1, column = 1) {
+    return { severity: "error", code, message, source: { file, line, column } };
+}
+function literalNumber(val) {
+    if (!val || val.kind !== "literal") {
+        return undefined;
+    }
+    return typeof val.value === "number" ? val.value : undefined;
+}
+function validateBlockDefinition(block, registry, file, diagnostics) {
+    if (block.baseType && !registry.has(block.baseType)) {
+        diagnostics.push(diag("BML_UNKNOWN_BASE_TYPE", `Unknown baseType: ${block.baseType}`, file, block.source?.line, block.source?.column));
+    }
+    for (const ref of block.contracts ?? []) {
+        if (!registry.has(ref.value)) {
+            diagnostics.push(diag("BML_UNKNOWN_CONTRACT", `Unknown contract: ${ref.value}`, file, block.source?.line, block.source?.column));
+        }
+    }
+    const effective = resolveEffectiveMembers(block, registry);
+    const seen = new Set();
+    for (const member of effective) {
+        const key = memberIdentityKey(member);
+        if (seen.has(key)) {
+            diagnostics.push(diag("BML_MEMBER_COLLISION", `Duplicate effective member identity: ${key}`, file, member.source?.line, member.source?.column));
+        }
+        seen.add(key);
+    }
+    for (const member of block.members) {
+        const skipOverrideCheck = member.kind === "aggregation" &&
+            (member.composition !== undefined || member.default === true);
+        if (member.override) {
+            const parentBlock = block.baseType ? registry.get(block.baseType)?.block : undefined;
+            const parentMembers = parentBlock
+                ? resolveEffectiveMembers(parentBlock, registry)
+                : [];
+            const hasParent = parentMembers.some((m) => memberIdentityKey(m) === memberIdentityKey(member) && m.kind === member.kind);
+            if (block.baseType && registry.has(block.baseType) && !hasParent) {
+                diagnostics.push(diag("BML_OVERRIDE_WITHOUT_PARENT", `override without parent member: ${member.name}`, file, member.source?.line, member.source?.column));
+            }
+        }
+        else if (block.baseType && registry.has(block.baseType) && !skipOverrideCheck) {
+            const parentBlock = registry.get(block.baseType)?.block;
+            const parentDirect = parentBlock?.members ?? [];
+            const hasParent = parentDirect.some((m) => memberIdentityKey(m) === memberIdentityKey(member) && m.kind === member.kind);
+            if (hasParent && !member.override) {
+                diagnostics.push(diag("BML_OVERRIDE_REQUIRED", `override required for redeclared member: ${member.name}`, file, member.source?.line, member.source?.column));
+            }
+        }
+        if (member.kind === "property") {
+            validatePropertyExpressions(member, file, diagnostics);
+        }
+    }
+    for (const sub of block.subBlocks) {
+        validateBlockDefinition(sub, registry, file, diagnostics);
+    }
+}
+function validatePropertyExpressions(prop, file, diagnostics) {
+    const checkVal = (val, label) => {
+        if (!val || val.kind !== "expression") {
+            return;
+        }
+        const expr = val;
+        const parsed = parseExpression(expr.raw);
+        if (!parsed.ok) {
+            diagnostics.push(diag("BML_EXPRESSION_PARSE_ERROR", `${label}: ${parsed.error.message}`, file, expr.source?.line, expr.source?.column));
+        }
+    };
+    checkVal(prop.value, prop.name);
+    for (const entry of prop.values ?? []) {
+        checkVal(entry.value, prop.name);
+    }
+}
+function validateInstanceExpressions(instance, file, diagnostics) {
+    for (const [name, val] of Object.entries(instance.memberValues)) {
+        if (val.kind === "expression") {
+            const parsed = parseExpression(val.raw);
+            if (!parsed.ok) {
+                diagnostics.push(diag("BML_EXPRESSION_PARSE_ERROR", `${name}: ${parsed.error.message}`, file, val.source?.line, val.source?.column));
+            }
+        }
+    }
+}
+function walkCompositions(block, file, diagnostics) {
+    for (const template of block.compositions) {
+        for (const child of template.children) {
+            if (child.kind === "blockInstance") {
+                validateInstanceExpressions(child.instance, file, diagnostics);
+            }
+            else {
+                for (const nested of child.children) {
+                    if (nested.kind === "blockInstance") {
+                        validateInstanceExpressions(nested.instance, file, diagnostics);
+                    }
+                }
+            }
+        }
+    }
+}
+export function validateTypes(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    if (document.block.type && !registry.has(document.block.type)) {
+        registry.register(document);
+    }
+    validateBlockDefinition(document.block, registry, file, diagnostics);
+    walkCompositions(document.block, file, diagnostics);
+    return diagnostics;
+}
+export function getLiteralNumericValue(val) {
+    return literalNumber(val);
+}
+export function getPropertyNumericValue(prop) {
+    const fromValue = literalNumber(prop.value);
+    if (fromValue !== undefined) {
+        return fromValue;
+    }
+    for (const entry of prop.values ?? []) {
+        const n = literalNumber(entry.value);
+        if (n !== undefined) {
+            return n;
+        }
+    }
+    return undefined;
+}
+export function isLiteralValue(val) {
+    return val?.kind === "literal";
+}
+//# sourceMappingURL=validate-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-types.js","sourceRoot":"","sources":["../../src/validate/validate-types.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,yCAAyC,CAAC;AAEjD,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,SAAS,CAAC;AAC/D,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,uBAAuB,EACvB,qBAAqB,KAAK,CAAC,QAAQ,EAAE,EACrC,IAAI,EACJ,KAAK,CAAC,MAAM,EAAE,IAAI,EAClB,KAAK,CAAC,MAAM,EAAE,MAAM,CACrB,CACF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,qBAAqB,GAAG,CAAC,KAAK,EAAE,EAChC,IAAI,EACJ,KAAK,CAAC,MAAM,EAAE,IAAI,EAClB,KAAK,CAAC,MAAM,EAAE,MAAM,CACrB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,wCAAwC,GAAG,EAAE,EAC7C,IAAI,EACJ,MAAM,CAAC,MAAM,EAAE,IAAI,EACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CACtB,CACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,iBAAiB,GACrB,MAAM,CAAC,IAAI,KAAK,aAAa;YAC7B,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;QAEhE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACrF,MAAM,aAAa,GAAG,WAAW;gBAC/B,CAAC,CAAC,uBAAuB,CAAC,WAAW,EAAE,QAAQ,CAAC;gBAChD,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,iBAAiB,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAC/E,CAAC;YACF,IAAI,KAAK,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjE,WAAW,CAAC,IAAI,CACd,IAAI,CACF,6BAA6B,EAC7B,mCAAmC,MAAM,CAAC,IAAI,EAAE,EAChD,IAAI,EACJ,MAAM,CAAC,MAAM,EAAE,IAAI,EACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CACtB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAChF,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC;YACxD,MAAM,YAAY,GAAG,WAAW,EAAE,OAAO,IAAI,EAAE,CAAC;YAChD,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CACJ,iBAAiB,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAC/E,CAAC;YACF,IAAI,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAClC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,uBAAuB,EACvB,4CAA4C,MAAM,CAAC,IAAI,EAAE,EACzD,IAAI,EACJ,MAAM,CAAC,MAAM,EAAE,IAAI,EACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CACtB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,uBAAuB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,MAAM,QAAQ,GAAG,CAAC,GAA4B,EAAE,KAAa,EAAE,EAAE;QAC/D,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACtC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,GAAsB,CAAC;QACpC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CACd,IAAI,CACF,4BAA4B,EAC5B,GAAG,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EACnC,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,QAAuB,EACvB,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAChE,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,WAAW,CAAC,IAAI,CACd,IAAI,CACF,4BAA4B,EAC5B,GAAG,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAClC,IAAI,EACJ,GAAG,CAAC,MAAM,EAAE,IAAI,EAChB,GAAG,CAAC,MAAM,EAAE,MAAM,CACnB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB,EAAE,IAAY,EAAE,WAAyB;IACvF,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACnC,2BAA2B,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;oBACpC,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;wBACpC,2BAA2B,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;oBAClE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IAEpD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED,uBAAuB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACrE,gBAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAEpD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAA4B;IACjE,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAwB;IAC9D,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAA4B;IACzD,OAAO,GAAG,EAAE,IAAI,KAAK,SAAS,CAAC;AACjC,CAAC"}

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

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

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

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

package/dist/validate/validate-versions.js

@@ -0,0 +1,69 @@
+function diag(code, message, file, line = 1, column = 1) {
+    return { severity: "error", code, message, source: { file, line, column } };
+}
+function isFrameworkConventionBlock(typeFqn) {
+    return (typeFqn.startsWith("org.blockml.bml.") || typeFqn.startsWith("com.machineblocks.bml."));
+}
+function requiresExplicitVersion(block) {
+    if (!block.type || block.version) {
+        return false;
+    }
+    if (isFrameworkConventionBlock(block.type)) {
+        return false;
+    }
+    return true;
+}
+function literalString(val) {
+    if (!val || val.kind !== "literal") {
+        return undefined;
+    }
+    return String(val.value);
+}
+function checkVersionPin(instance, registry, file, diagnostics) {
+    const pin = literalString(instance.version);
+    if (!pin) {
+        return;
+    }
+    const doc = registry.get(instance.typeFqn);
+    if (!doc) {
+        diagnostics.push(diag("BML_UNKNOWN_VERSION", `Unknown type for version pin: ${instance.typeFqn}@${pin}`, file, instance.source?.line, instance.source?.column));
+        return;
+    }
+    if (doc.block.version && doc.block.version !== pin) {
+        diagnostics.push(diag("BML_UNKNOWN_VERSION", `Version pin ${pin} does not match ${instance.typeFqn} (${doc.block.version})`, file, instance.source?.line, instance.source?.column));
+    }
+}
+function walkCompositionInstances(block, registry, file, diagnostics) {
+    for (const template of block.compositions) {
+        const walkNodes = (nodes) => {
+            for (const node of nodes) {
+                if (node.kind === "blockInstance") {
+                    checkVersionPin(node.instance, registry, file, diagnostics);
+                }
+                else {
+                    walkNodes(node.children);
+                }
+            }
+        };
+        walkNodes(template.children);
+    }
+}
+function validateBlockVersions(block, registry, file, diagnostics, isDocumentRoot) {
+    if (isDocumentRoot && requiresExplicitVersion(block)) {
+        diagnostics.push(diag("BML_MISSING_VERSION", `Missing version on block ${block.type}`, file, block.source?.line, block.source?.column));
+    }
+    walkCompositionInstances(block, registry, file, diagnostics);
+    for (const sub of block.subBlocks) {
+        validateBlockVersions(sub, registry, file, diagnostics, false);
+    }
+}
+export function validateVersions(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    if (document.block.type && !registry.has(document.block.type)) {
+        registry.register(document);
+    }
+    validateBlockVersions(document.block, registry, file, diagnostics, true);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-versions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-versions.js","sourceRoot":"","sources":["../../src/validate/validate-versions.ts"],"names":[],"mappings":"AASA,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,0BAA0B,CAAC,OAAe;IACjD,OAAO,CACL,OAAO,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,wBAAwB,CAAC,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,0BAA0B,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,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,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CACtB,QAAuB,EACvB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,WAAW,CAAC,IAAI,CACd,IAAI,CACF,qBAAqB,EACrB,iCAAiC,QAAQ,CAAC,OAAO,IAAI,GAAG,EAAE,EAC1D,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACF,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,GAAG,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,qBAAqB,EACrB,eAAe,GAAG,mBAAmB,QAAQ,CAAC,OAAO,KAAK,GAAG,CAAC,KAAK,CAAC,OAAO,GAAG,EAC9E,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,CAAC,KAA+B,EAAE,EAAE;YACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAClC,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC9D,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QACF,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB,EACzB,cAAuB;IAEvB,IAAI,cAAc,IAAI,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,qBAAqB,EACrB,4BAA4B,KAAK,CAAC,IAAI,EAAE,EACxC,IAAI,EACJ,KAAK,CAAC,MAAM,EAAE,IAAI,EAClB,KAAK,CAAC,MAAM,EAAE,MAAM,CACrB,CACF,CAAC;IACJ,CAAC;IAED,wBAAwB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAE7D,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IAEpD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IACzE,OAAO,WAAW,CAAC;AACrB,CAAC"}

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

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

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

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

package/dist/validate/validate-visibility.js

@@ -0,0 +1,33 @@
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+function diag(code, message, file, line = 1, column = 1) {
+    return { severity: "error", code, message, source: { file, line, column } };
+}
+function visibilityKey(member) {
+    const vis = member.visibility ?? "public";
+    return `${member.name}:${vis}`;
+}
+function validateBlockVisibility(block, registry, file, diagnostics) {
+    const effective = resolveEffectiveMembers(block, registry);
+    const seen = new Map();
+    for (const member of effective) {
+        const key = visibilityKey(member);
+        if (seen.has(key)) {
+            diagnostics.push(diag("BML_DUPLICATE_MEMBER_VISIBILITY_VARIANT", `Duplicate member visibility variant: ${key}`, file, member.source?.line, member.source?.column));
+            continue;
+        }
+        seen.set(key, member);
+        if (member.visibility === "private" && member.override) {
+            diagnostics.push(diag("BML_VISIBILITY_PRIVATE_OVERRIDE", `Private member ${member.name} cannot override`, file, member.source?.line, member.source?.column));
+        }
+    }
+    for (const sub of block.subBlocks) {
+        validateBlockVisibility(sub, registry, file, diagnostics);
+    }
+}
+export function validateVisibility(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    validateBlockVisibility(document.block, registry, file, diagnostics);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-visibility.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate-visibility.js","sourceRoot":"","sources":["../../src/validate/validate-visibility.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAElF,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,MAAwB;IAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,IAAI,QAAQ,CAAC;IAC1C,OAAO,GAAG,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4B,CAAC;IACjD,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,yCAAyC,EACzC,wCAAwC,GAAG,EAAE,EAC7C,IAAI,EACJ,MAAM,CAAC,MAAM,EAAE,IAAI,EACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CACtB,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAEtB,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACvD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,iCAAiC,EACjC,kBAAkB,MAAM,CAAC,IAAI,kBAAkB,EAC/C,IAAI,EACJ,MAAM,CAAC,MAAM,EAAE,IAAI,EACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CACtB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,uBAAuB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,uBAAuB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACrE,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/package.json

@@ -0,0 +1,42 @@
+{
+  "name": "@blockml/framework",
+  "version": "0.1.0",
+  "description": "BlockML framework — TypeRegistry, fork/resolve, parseExpression, validateTypes",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/pks5/blockml-toolchain.git",
+    "directory": "packages/framework"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "type": "module",
+  "sideEffects": false,
+  "blockml": {
+    "library": "./blocks/org/blockml/bml/framework/Library.bml"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "blocks"
+  ],
+  "scripts": {
+    "build": "tsc --build",
+    "prepublishOnly": "npm run build",
+    "test": "vitest run packages/framework/test"
+  },
+  "dependencies": {
+    "@blockml/bom": "^0.1.0",
+    "@blockml/core": "^1.0.3",
+    "@blockml/parser": "^0.1.0"
+  },
+  "engines": {
+    "node": ">=20"
+  }
+}