@metaobjectsdev/metadata 0.5.0-rc.1

package/dist/presentation/layout/meta-layout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-layout.js","sourceRoot":"","sources":["../../../src/presentation/layout/meta-layout.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,+EAA+E;AAC/E,4DAA4D;AAC5D,EAAE;AACF,wEAAwE;AAExE,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EACL,+BAA+B,EAC/B,wCAAwC,EACxC,wCAAwC,EACxC,gCAAgC,EAChC,4BAA4B,EAC5B,6BAA6B,GAC9B,MAAM,uBAAuB,CAAC;AAG/B,MAAM,OAAO,UAAW,SAAQ,QAAQ;IACtC,2DAA2D;IAC3D,IAAI,QAAQ;QACV,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;QACxD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED,gEAAgE;IAChE,IAAI,gBAAgB;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;QACjE,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED;;;OAGG;IACH,IAAI,gBAAgB;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;QACjE,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAoB,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,CAAC;IAED;;;OAGG;IACH,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC,KAAK,IAAI,CAAC;IACjE,CAAC;IAED,gFAAgF;IAChF,IAAI,MAAM;QACR,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;QACrD,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7D,CAAC,CAAE,CAA6B;YAChC,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,oFAAoF;IACpF,IAAI,OAAO;QACT,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACtD,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;CACF"}

package/dist/presentation/view/meta-view.d.ts

@@ -0,0 +1,4 @@
+import { MetaData } from "../../shared/meta-data.js";
+export declare class MetaView extends MetaData {
+}
+//# sourceMappingURL=meta-view.d.ts.map

package/dist/presentation/view/meta-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-view.d.ts","sourceRoot":"","sources":["../../../src/presentation/view/meta-view.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAErD,qBAAa,QAAS,SAAQ,QAAQ;CAAG"}

package/dist/presentation/view/meta-view.js

@@ -0,0 +1,8 @@
+// MetaView — concrete node class for type=view nodes.
+//
+// Extends MetaData directly: no model wrapper, no metaOf() indirection.
+// Currently minimal — placeholder for v0.3+ view-level accessors.
+import { MetaData } from "../../shared/meta-data.js";
+export class MetaView extends MetaData {
+}
+//# sourceMappingURL=meta-view.js.map

package/dist/presentation/view/meta-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-view.js","sourceRoot":"","sources":["../../../src/presentation/view/meta-view.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,EAAE;AACF,wEAAwE;AACxE,kEAAkE;AAElE,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAErD,MAAM,OAAO,QAAS,SAAQ,QAAQ;CAAG"}

package/dist/presentation/view/view-constants.d.ts

@@ -0,0 +1,20 @@
+export declare const VIEW_SUBTYPE_TEXT = "text";
+export declare const VIEW_SUBTYPE_TEXTAREA = "textarea";
+export declare const VIEW_SUBTYPE_DATE = "date";
+export declare const VIEW_SUBTYPE_MONTH = "month";
+export declare const VIEW_SUBTYPE_HOTLINK = "hotlink";
+export declare const VIEW_SUBTYPE_DROPDOWN = "dropdown";
+export declare const VIEW_SUBTYPE_RADIO = "radio";
+export declare const VIEW_SUBTYPE_CHECKBOX = "checkbox";
+export declare const VIEW_SUBTYPE_NUMBER = "number";
+export declare const VIEW_SUBTYPE_PASSWORD = "password";
+export declare const VIEW_SUBTYPE_HIDDEN = "hidden";
+export declare const VIEW_SUBTYPE_WEB = "web";
+export declare const VIEW_SUBTYPE_CURRENCY = "currency";
+export declare const VIEW_SUBTYPES: readonly ["base", "text", "textarea", "date", "month", "hotlink", "dropdown", "radio", "checkbox", "number", "password", "hidden", "web", "currency"];
+export type ViewSubType = (typeof VIEW_SUBTYPES)[number];
+/** BCP 47 locale code on a view[currency]. Defaults to "en-US" when omitted. */
+export declare const VIEW_CURRENCY_ATTR_LOCALE = "locale";
+/** Default BCP 47 locale code when @locale is omitted on a view[currency]. */
+export declare const VIEW_CURRENCY_ATTR_LOCALE_DEFAULT = "en-US";
+//# sourceMappingURL=view-constants.d.ts.map

package/dist/presentation/view/view-constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-constants.d.ts","sourceRoot":"","sources":["../../../src/presentation/view/view-constants.ts"],"names":[],"mappings":"AAaA,eAAO,MAAM,iBAAiB,SAAS,CAAC;AACxC,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,iBAAiB,SAAS,CAAC;AACxC,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAC1C,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAC1C,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,gBAAgB,QAAQ,CAAC;AACtC,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAEhD,eAAO,MAAM,aAAa,uJAehB,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAMzD,gFAAgF;AAChF,eAAO,MAAM,yBAAyB,WAAW,CAAC;AAClD,8EAA8E;AAC9E,eAAO,MAAM,iCAAiC,UAAU,CAAC"}

package/dist/presentation/view/view-constants.js

@@ -0,0 +1,47 @@
+// View concern constants — subtypes and attr keys for the view.* type family.
+import { SUBTYPE_BASE } from "../../shared/base-types.js";
+// ---------------------------------------------------------------------------
+// View subtypes (13)
+//
+// The view's subType IS the UI control type. Each control kind has its own
+// expected attrs (placeholder, maxLength, options, etc.) — runtime-ts
+// surfaces them as opaque Record<string, unknown>; UI layers interpret.
+// Mirrors metaobjects-dynamic/web/.../html/*View.java naming.
+// ---------------------------------------------------------------------------
+export const VIEW_SUBTYPE_TEXT = "text";
+export const VIEW_SUBTYPE_TEXTAREA = "textarea";
+export const VIEW_SUBTYPE_DATE = "date";
+export const VIEW_SUBTYPE_MONTH = "month";
+export const VIEW_SUBTYPE_HOTLINK = "hotlink";
+export const VIEW_SUBTYPE_DROPDOWN = "dropdown";
+export const VIEW_SUBTYPE_RADIO = "radio";
+export const VIEW_SUBTYPE_CHECKBOX = "checkbox";
+export const VIEW_SUBTYPE_NUMBER = "number";
+export const VIEW_SUBTYPE_PASSWORD = "password";
+export const VIEW_SUBTYPE_HIDDEN = "hidden";
+export const VIEW_SUBTYPE_WEB = "web"; // abstract base for web-rendered views
+export const VIEW_SUBTYPE_CURRENCY = "currency";
+export const VIEW_SUBTYPES = [
+    SUBTYPE_BASE,
+    VIEW_SUBTYPE_TEXT,
+    VIEW_SUBTYPE_TEXTAREA,
+    VIEW_SUBTYPE_DATE,
+    VIEW_SUBTYPE_MONTH,
+    VIEW_SUBTYPE_HOTLINK,
+    VIEW_SUBTYPE_DROPDOWN,
+    VIEW_SUBTYPE_RADIO,
+    VIEW_SUBTYPE_CHECKBOX,
+    VIEW_SUBTYPE_NUMBER,
+    VIEW_SUBTYPE_PASSWORD,
+    VIEW_SUBTYPE_HIDDEN,
+    VIEW_SUBTYPE_WEB,
+    VIEW_SUBTYPE_CURRENCY,
+];
+// ---------------------------------------------------------------------------
+// View attrs (on currency views)
+// ---------------------------------------------------------------------------
+/** BCP 47 locale code on a view[currency]. Defaults to "en-US" when omitted. */
+export const VIEW_CURRENCY_ATTR_LOCALE = "locale";
+/** Default BCP 47 locale code when @locale is omitted on a view[currency]. */
+export const VIEW_CURRENCY_ATTR_LOCALE_DEFAULT = "en-US";
+//# sourceMappingURL=view-constants.js.map

package/dist/presentation/view/view-constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-constants.js","sourceRoot":"","sources":["../../../src/presentation/view/view-constants.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAE9E,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,8EAA8E;AAC9E,qBAAqB;AACrB,EAAE;AACF,2EAA2E;AAC3E,sEAAsE;AACtE,wEAAwE;AACxE,8DAA8D;AAC9D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACxC,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;AAChD,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACxC,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAC1C,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC;AAC9C,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;AAChD,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAC1C,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;AAChD,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;AAChD,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAC5C,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAU,uCAAuC;AACvF,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;AAEhD,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,YAAY;IACZ,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,kBAAkB;IAClB,oBAAoB;IACpB,qBAAqB;IACrB,kBAAkB;IAClB,qBAAqB;IACrB,mBAAmB;IACnB,qBAAqB;IACrB,mBAAmB;IACnB,gBAAgB;IAChB,qBAAqB;CACb,CAAC;AAGX,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E,gFAAgF;AAChF,MAAM,CAAC,MAAM,yBAAyB,GAAG,QAAQ,CAAC;AAClD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,iCAAiC,GAAG,OAAO,CAAC"}

package/dist/presentation/view/view-schema.d.ts

@@ -0,0 +1,4 @@
+import type { AttrSchema } from "../../registry.js";
+/** Attrs on view.currency. */
+export declare const currencyViewAttrs: AttrSchema[];
+//# sourceMappingURL=view-schema.d.ts.map

package/dist/presentation/view/view-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-schema.d.ts","sourceRoot":"","sources":["../../../src/presentation/view/view-schema.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAOpD,8BAA8B;AAC9B,eAAO,MAAM,iBAAiB,EAAE,UAAU,EASzC,CAAC"}

package/dist/presentation/view/view-schema.js

@@ -0,0 +1,15 @@
+// View attribute schemas — per-subtype attr inventories for view types.
+// Consumed by registerCoreTypes().
+import { ATTR_SUBTYPE_STRING } from "../../core/attr/attr-constants.js";
+import { VIEW_CURRENCY_ATTR_LOCALE, VIEW_CURRENCY_ATTR_LOCALE_DEFAULT, } from "./view-constants.js";
+/** Attrs on view.currency. */
+export const currencyViewAttrs = [
+    {
+        name: VIEW_CURRENCY_ATTR_LOCALE,
+        valueType: ATTR_SUBTYPE_STRING,
+        required: false,
+        default: VIEW_CURRENCY_ATTR_LOCALE_DEFAULT,
+        description: "BCP 47 locale code controlling currency display formatting. Defaults to 'en-US' when omitted.",
+    },
+];
+//# sourceMappingURL=view-schema.js.map

package/dist/presentation/view/view-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-schema.js","sourceRoot":"","sources":["../../../src/presentation/view/view-schema.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,mCAAmC;AAGnC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EACL,yBAAyB,EACzB,iCAAiC,GAClC,MAAM,qBAAqB,CAAC;AAE7B,8BAA8B;AAC9B,MAAM,CAAC,MAAM,iBAAiB,GAAiB;IAC7C;QACE,IAAI,EAAE,yBAAyB;QAC/B,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,iCAAiC;QAC1C,WAAW,EACT,+FAA+F;KAClG;CACF,CAAC"}

package/dist/provider.d.ts

@@ -0,0 +1,20 @@
+import { TypeRegistry } from "./registry.js";
+/** A unit of metamodel registration. One provider per package. */
+export interface MetaDataTypeProvider {
+    /** Stable id; other providers reference it in `dependencies`. */
+    readonly id: string;
+    /** Ids of providers that must register before this one. Default: none. */
+    readonly dependencies?: readonly string[];
+    /** Human/AI-facing description of what this provider contributes. */
+    readonly description?: string;
+    /** Register new types and/or extend existing ones. */
+    registerTypes(registry: TypeRegistry): void;
+}
+/**
+ * Build a TypeRegistry by composing providers. Providers are topologically
+ * sorted by their `dependencies`; the sort is stable — providers with no
+ * ordering constraint between them keep input order. Throws on a duplicate
+ * provider id, a missing dependency, or a dependency cycle.
+ */
+export declare function composeRegistry(providers: readonly MetaDataTypeProvider[]): TypeRegistry;
+//# sourceMappingURL=provider.d.ts.map

package/dist/provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.d.ts","sourceRoot":"","sources":["../src/provider.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG7C,kEAAkE;AAClE,MAAM,WAAW,oBAAoB;IACnC,iEAAiE;IACjE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,qEAAqE;IACrE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,sDAAsD;IACtD,aAAa,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;CAC7C;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,YAAY,CAOd"}

package/dist/provider.js

@@ -0,0 +1,58 @@
+// Type provider model — provider-based, extensible metamodel registration.
+//
+// A MetaDataTypeProvider contributes (and/or extends) registered types. The
+// contract is cross-language identical (Java MetaDataTypeProvider parity);
+// discovery is per-language — for TS it is explicit composition via
+// composeRegistry. See docs/superpowers/specs/2026-05-17-type-provider-model-design.md.
+import { TypeRegistry } from "./registry.js";
+import { MetaModelError } from "./errors.js";
+/**
+ * Build a TypeRegistry by composing providers. Providers are topologically
+ * sorted by their `dependencies`; the sort is stable — providers with no
+ * ordering constraint between them keep input order. Throws on a duplicate
+ * provider id, a missing dependency, or a dependency cycle.
+ */
+export function composeRegistry(providers) {
+    const ordered = topoSortProviders(providers);
+    const registry = new TypeRegistry();
+    for (const provider of ordered) {
+        provider.registerTypes(registry);
+    }
+    return registry;
+}
+function topoSortProviders(providers) {
+    // Duplicate-id check.
+    const ids = new Set();
+    for (const p of providers) {
+        if (ids.has(p.id)) {
+            throw new MetaModelError(`composeRegistry: duplicate provider id "${p.id}"`, { code: "ERR_PROVIDER_DUPLICATE_ID" });
+        }
+        ids.add(p.id);
+    }
+    // Missing-dependency check.
+    for (const p of providers) {
+        for (const dep of p.dependencies ?? []) {
+            if (!ids.has(dep)) {
+                throw new MetaModelError(`composeRegistry: provider "${p.id}" depends on "${dep}", which is not in the provider set`, { code: "ERR_PROVIDER_MISSING_DEPENDENCY" });
+            }
+        }
+    }
+    // Stable topological sort: repeatedly emit the first (input-order) provider
+    // whose dependencies are all already emitted. O(n^2) — n is a handful.
+    const result = [];
+    const emitted = new Set();
+    while (result.length < providers.length) {
+        const next = providers.find((p) => !emitted.has(p.id) &&
+            (p.dependencies ?? []).every((d) => emitted.has(d)));
+        if (next === undefined) {
+            const stuck = providers
+                .filter((p) => !emitted.has(p.id))
+                .map((p) => p.id);
+            throw new MetaModelError(`composeRegistry: dependency cycle among providers [${stuck.join(", ")}]`, { code: "ERR_PROVIDER_DEPENDENCY_CYCLE" });
+        }
+        result.push(next);
+        emitted.add(next.id);
+    }
+    return result;
+}
+//# sourceMappingURL=provider.js.map

package/dist/provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.js","sourceRoot":"","sources":["../src/provider.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,EAAE;AACF,4EAA4E;AAC5E,2EAA2E;AAC3E,oEAAoE;AACpE,wFAAwF;AAExF,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAc7C;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,SAA0C;IAE1C,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,YAAY,EAAE,CAAC;IACpC,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;QAC/B,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CACxB,SAA0C;IAE1C,sBAAsB;IACtB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,cAAc,CAAC,2CAA2C,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,2BAA2B,EAAE,CAAC,CAAC;QACtH,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IACD,4BAA4B;IAC5B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,MAAM,IAAI,cAAc,CACtB,8BAA8B,CAAC,CAAC,EAAE,iBAAiB,GAAG,qCAAqC,EAC3F,EAAE,IAAI,EAAE,iCAAiC,EAAE,CAC5C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,MAAM,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACtD,CAAC;QACF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,SAAS;iBACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;iBACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,IAAI,cAAc,CACtB,sDAAsD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACzE,EAAE,IAAI,EAAE,+BAA+B,EAAE,CAC1C,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/registry.d.ts

@@ -0,0 +1,89 @@
+import type { AttrValue, MetaData } from "./shared/meta-data.js";
+import { type AttrSubType } from "./core/attr/attr-constants.js";
+import type { DataType } from "./data-type.js";
+export declare class TypeId {
+    readonly type: string;
+    readonly subType: string;
+    constructor(type: string, subType: string);
+    toString(): string;
+    equals(other: TypeId): boolean;
+}
+export interface ChildRule {
+    /** `"*"` matches any type. */
+    childType: string;
+    /** `"*"` matches any subtype. */
+    childSubType: string;
+    /** `"*"` matches any name. */
+    childName: string;
+}
+export interface AttrSchema {
+    /** Attribute name WITHOUT the "@" prefix (e.g. "dbColumn", "currency"). */
+    name: string;
+    /**
+     * The attribute's value type — one of the registered attr subtypes.
+     *
+     * Optional: when absent, the attr is declared-but-untyped (no parse-time
+     * coercion; value stored raw via `toAttrValue`). Use this for polymorphic
+     * attrs whose value type is determined by the owning node at consumption
+     * time (e.g. `@default`, which is typed by its owning field's subtype).
+     *
+     * `SUBTYPE_BASE` ("base") MUST NOT be used here — it is the universal root
+     * subtype for object/field/etc. nodes and carries no "untyped" semantics for
+     * attrs. Attempting to register an AttrSchema with `valueType: "base"` throws.
+     */
+    valueType?: AttrSubType;
+    /** Whether this attribute must be present on the node. */
+    required: boolean;
+    /** Default value applied when the attribute is absent. Optional. */
+    default?: AttrValue;
+    /** When set, the attribute's value must be one of these (a closed enum). Optional. */
+    allowedValues?: readonly AttrValue[];
+    /** Human/AI-facing description of what the attribute means. */
+    description: string;
+}
+export interface TypeDefinition {
+    typeId: TypeId;
+    description: string;
+    factory: (typeId: TypeId, name: string) => MetaData;
+    childRules: ChildRule[];
+    attributes: AttrSchema[];
+    /** The coarse value-type classification, for (type, subType)s whose nodes
+     *  carry a typed value (field, attr). Absent for non-value-bearing types. */
+    dataType?: DataType;
+}
+export declare class TypeRegistry {
+    /** Keyed by `"type.subType"`. */
+    private readonly _defs;
+    /** Per-type insertion-ordered subtype lists. */
+    private readonly _subTypes;
+    /** Per-type designated default subType (queried by the YAML desugar). */
+    private readonly _defaultSubTypes;
+    register(def: TypeDefinition): void;
+    find(type: string, subType: string): TypeDefinition | undefined;
+    has(type: string, subType: string): boolean;
+    allTypes(): TypeId[];
+    allSubTypesOf(type: string): string[];
+    /** Designate the default subType for a bare `type` key (used by YAML authoring sugar). */
+    setDefaultSubType(type: string, subType: string): void;
+    /** The designated default subType for a type, or undefined if none was designated. */
+    defaultSubTypeOf(type: string): string | undefined;
+    /** The declared attribute schema for a (type, subType), or [] if the
+     *  pair is unregistered or declares no attributes. */
+    attrsOf(type: string, subType: string): AttrSchema[];
+    /**
+     * Additively enrich an already-registered (type, subType): append attributes
+     * and/or child rules. Does NOT touch factory / typeId / dataType / default
+     * subType — a type's identity belongs to whoever registered it. Used by
+     * providers to extend types another provider defined.
+     */
+    extend(type: string, subType: string, ext: {
+        attributes?: AttrSchema[];
+        childRules?: ChildRule[];
+    }): void;
+}
+export declare function childRuleMatches(rule: ChildRule, child: {
+    type: string;
+    subType: string;
+    name: string;
+}): boolean;
+//# sourceMappingURL=registry.d.ts.map

package/dist/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAGjE,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,qBAAa,MAAM;aAEC,IAAI,EAAE,MAAM;aACZ,OAAO,EAAE,MAAM;gBADf,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM;IAGjC,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;CAG/B;AAED,MAAM,WAAW,SAAS;IACxB,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,iCAAiC;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,UAAU;IACzB,2EAA2E;IAC3E,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;;;;;OAWG;IACH,SAAS,CAAC,EAAE,WAAW,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,CAAC;IAClB,oEAAoE;IACpE,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,sFAAsF;IACtF,aAAa,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,QAAQ,CAAC;IACpD,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,UAAU,EAAE,UAAU,EAAE,CAAC;IACzB;iFAC6E;IAC7E,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,qBAAa,YAAY;IACvB,iCAAiC;IACjC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAqC;IAE3D,gDAAgD;IAChD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA+B;IAEzD,yEAAyE;IACzE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA6B;IAE9D,QAAQ,CAAC,GAAG,EAAE,cAAc,GAAG,IAAI;IAgCnC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAI/D,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO;IAI3C,QAAQ,IAAI,MAAM,EAAE;IAIpB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAIrC,0FAA0F;IAC1F,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAItD,sFAAsF;IACtF,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIlD;0DACsD;IACtD,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU,EAAE;IAIpD;;;;;OAKG;IACH,MAAM,CACJ,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,GAAG,EAAE;QAAE,UAAU,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,SAAS,EAAE,CAAA;KAAE,GAC3D,IAAI;CA0BR;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,SAAS,EACf,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACrD,OAAO,CAMT"}

package/dist/registry.js

@@ -0,0 +1,107 @@
+import { SUBTYPE_BASE, TYPE_ATTR } from "./shared/base-types.js";
+import { CHILD_RULE_WILDCARD } from "./shared/structural.js";
+import {} from "./core/attr/attr-constants.js";
+import { MetaModelError } from "./errors.js";
+export class TypeId {
+    type;
+    subType;
+    constructor(type, subType) {
+        this.type = type;
+        this.subType = subType;
+    }
+    toString() {
+        return `${this.type}.${this.subType}`;
+    }
+    equals(other) {
+        return this.type === other.type && this.subType === other.subType;
+    }
+}
+export class TypeRegistry {
+    /** Keyed by `"type.subType"`. */
+    _defs = new Map();
+    /** Per-type insertion-ordered subtype lists. */
+    _subTypes = new Map();
+    /** Per-type designated default subType (queried by the YAML desugar). */
+    _defaultSubTypes = new Map();
+    register(def) {
+        const key = def.typeId.toString();
+        if (this._defs.has(key)) {
+            throw new Error(`TypeRegistry: duplicate registration for "${key}" (type="${def.typeId.type}", subType="${def.typeId.subType}")`);
+        }
+        // Reject SUBTYPE_BASE as an attr valueType. "base" is the universal root
+        // subtype for object/field/etc. nodes; it must NOT be used as an attr value
+        // type because it carries no meaningful type semantics for attrs (its DataType
+        // resolves to DATA_TYPE_STRING, silently coercing boolean/number defaults to
+        // strings). Polymorphic attrs (e.g. @default) must omit valueType instead.
+        for (const attr of def.attributes) {
+            if (attr.valueType === SUBTYPE_BASE) {
+                throw new Error(`TypeRegistry.register: attr "${attr.name}" on "${key}" declares valueType "${SUBTYPE_BASE}", ` +
+                    `which is not valid for attrs. Use no valueType (omit the field) for a polymorphic/untyped attr.`);
+            }
+        }
+        this._defs.set(key, def);
+        const list = this._subTypes.get(def.typeId.type);
+        if (list !== undefined) {
+            list.push(def.typeId.subType);
+        }
+        else {
+            this._subTypes.set(def.typeId.type, [def.typeId.subType]);
+        }
+    }
+    find(type, subType) {
+        return this._defs.get(`${type}.${subType}`);
+    }
+    has(type, subType) {
+        return this.find(type, subType) !== undefined;
+    }
+    allTypes() {
+        return Array.from(this._defs.values()).map((def) => def.typeId);
+    }
+    allSubTypesOf(type) {
+        return [...(this._subTypes.get(type) ?? [])];
+    }
+    /** Designate the default subType for a bare `type` key (used by YAML authoring sugar). */
+    setDefaultSubType(type, subType) {
+        this._defaultSubTypes.set(type, subType);
+    }
+    /** The designated default subType for a type, or undefined if none was designated. */
+    defaultSubTypeOf(type) {
+        return this._defaultSubTypes.get(type);
+    }
+    /** The declared attribute schema for a (type, subType), or [] if the
+     *  pair is unregistered or declares no attributes. */
+    attrsOf(type, subType) {
+        return [...(this.find(type, subType)?.attributes ?? [])];
+    }
+    /**
+     * Additively enrich an already-registered (type, subType): append attributes
+     * and/or child rules. Does NOT touch factory / typeId / dataType / default
+     * subType — a type's identity belongs to whoever registered it. Used by
+     * providers to extend types another provider defined.
+     */
+    extend(type, subType, ext) {
+        const def = this.find(type, subType);
+        if (def === undefined) {
+            throw new Error(`TypeRegistry.extend: no registered type "${type}.${subType}" to extend`);
+        }
+        for (const attr of ext.attributes ?? []) {
+            if (attr.valueType === SUBTYPE_BASE) {
+                throw new Error(`TypeRegistry.extend: attr "${attr.name}" being added to "${type}.${subType}" declares valueType "${SUBTYPE_BASE}", ` +
+                    `which is not valid for attrs. Use no valueType (omit the field) for a polymorphic/untyped attr.`);
+            }
+            if (def.attributes.some((a) => a.name === attr.name)) {
+                throw new MetaModelError(`TypeRegistry.extend: attribute "${attr.name}" is already declared on "${type}.${subType}"`, { code: "ERR_PROVIDER_ATTR_CONFLICT" });
+            }
+            def.attributes.push(attr);
+        }
+        for (const rule of ext.childRules ?? []) {
+            def.childRules.push(rule);
+        }
+    }
+}
+export function childRuleMatches(rule, child) {
+    return ((rule.childType === CHILD_RULE_WILDCARD || rule.childType === child.type) &&
+        (rule.childSubType === CHILD_RULE_WILDCARD || rule.childSubType === child.subType) &&
+        (rule.childName === CHILD_RULE_WILDCARD || rule.childName === child.name));
+}
+//# sourceMappingURL=registry.js.map

package/dist/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAoB,MAAM,+BAA+B,CAAC;AAEjE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,MAAM,OAAO,MAAM;IAEC;IACA;IAFlB,YACkB,IAAY,EACZ,OAAe;QADf,SAAI,GAAJ,IAAI,CAAQ;QACZ,YAAO,GAAP,OAAO,CAAQ;IAC9B,CAAC;IAEJ,QAAQ;QACN,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,KAAa;QAClB,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC;IACpE,CAAC;CACF;AAgDD,MAAM,OAAO,YAAY;IACvB,iCAAiC;IAChB,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAE3D,gDAAgD;IAC/B,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEzD,yEAAyE;IACxD,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE9D,QAAQ,CAAC,GAAmB;QAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,6CAA6C,GAAG,YAAY,GAAG,CAAC,MAAM,CAAC,IAAI,eAAe,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,CACjH,CAAC;QACJ,CAAC;QAED,yEAAyE;QACzE,4EAA4E;QAC5E,+EAA+E;QAC/E,6EAA6E;QAC7E,2EAA2E;QAC3E,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,IAAI,SAAS,GAAG,yBAAyB,YAAY,KAAK;oBAC/F,iGAAiG,CAClG,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,OAAe;QAChC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,GAAG,CAAC,IAAY,EAAE,OAAe;QAC/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;IAChD,CAAC;IAED,QAAQ;QACN,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,aAAa,CAAC,IAAY;QACxB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,0FAA0F;IAC1F,iBAAiB,CAAC,IAAY,EAAE,OAAe;QAC7C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,sFAAsF;IACtF,gBAAgB,CAAC,IAAY;QAC3B,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAED;0DACsD;IACtD,OAAO,CAAC,IAAY,EAAE,OAAe;QACnC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED;;;;;OAKG;IACH,MAAM,CACJ,IAAY,EACZ,OAAe,EACf,GAA4D;QAE5D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CACb,4CAA4C,IAAI,IAAI,OAAO,aAAa,CACzE,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACb,8BAA8B,IAAI,CAAC,IAAI,qBAAqB,IAAI,IAAI,OAAO,yBAAyB,YAAY,KAAK;oBACrH,iGAAiG,CAClG,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrD,MAAM,IAAI,cAAc,CACtB,mCAAmC,IAAI,CAAC,IAAI,6BAA6B,IAAI,IAAI,OAAO,GAAG,EAC3F,EAAE,IAAI,EAAE,4BAA4B,EAAE,CACvC,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACxC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAe,EACf,KAAsD;IAEtD,OAAO,CACL,CAAC,IAAI,CAAC,SAAS,KAAK,mBAAmB,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC;QACzE,CAAC,IAAI,CAAC,YAAY,KAAK,mBAAmB,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,OAAO,CAAC;QAClF,CAAC,IAAI,CAAC,SAAS,KAAK,mBAAmB,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC,CAC1E,CAAC;AACJ,CAAC"}

package/dist/serializer-json.d.ts

@@ -0,0 +1,16 @@
+import type { MetaData, AttrValue } from "./shared/meta-data.js";
+export interface SerializeOptions {
+    /** Pretty-print indent. 0 = no whitespace. Default 2. */
+    indent?: number;
+}
+export declare function serializeJson(model: MetaData, opts?: SerializeOptions): string;
+export declare function inferAttrSubType(value: AttrValue): string;
+export declare function canonicalSerialize(model: MetaData): string;
+/**
+ * Like canonicalSerialize, but emits the EFFECTIVE tree — children() and
+ * attrs() at every node (own + inherited via the super chain), so the
+ * super-chain merge is materialized in the output.
+ * Used by the conformance harness's expected-effective fixtures.
+ */
+export declare function canonicalSerializeEffective(model: MetaData): string;
+//# sourceMappingURL=serializer-json.d.ts.map

package/dist/serializer-json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer-json.d.ts","sourceRoot":"","sources":["../src/serializer-json.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAwBjE,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAK9E;AAUD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAUzD;AAyFD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,CAQ1D;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,CASnE"}

package/dist/serializer-json.js

@@ -0,0 +1,154 @@
+// Canonical JSON serializer — redesigned (post-v0.3) format.
+//
+// Every node serializes to a single-key map { "<type>.<subType>": <body> }.
+// The wrapper key fuses type and subType. The body emits keys in the canonical
+// order, each included only when non-default:
+//   1. name      2. package   3. extends   4. abstract
+//   5. overlay   6. isArray   7. @-attrs (alphabetical)   8. children
+import { ATTR_PREFIX, TYPE_SUBTYPE_SEPARATOR, RESERVED_KEY_NAME, RESERVED_KEY_PACKAGE, RESERVED_KEY_EXTENDS, RESERVED_KEY_ABSTRACT, RESERVED_KEY_IS_ARRAY, RESERVED_KEY_CHILDREN, } from "./shared/structural.js";
+import { ATTR_SUBTYPE_STRING, ATTR_SUBTYPE_INT, ATTR_SUBTYPE_LONG, ATTR_SUBTYPE_DOUBLE, ATTR_SUBTYPE_BOOLEAN, ATTR_SUBTYPE_STRINGARRAY, } from "./core/attr/attr-constants.js";
+export function serializeJson(model, opts) {
+    const indent = opts?.indent ?? 2;
+    const nodeObj = serializeNode(model, false);
+    return JSON.stringify(nodeObj, null, indent === 0 ? undefined : indent);
+}
+// ---------------------------------------------------------------------------
+// Infer attr subType from a JS value (for child-node form when subType isn't known)
+// ---------------------------------------------------------------------------
+// Java int range — used for distinguishing int vs long subtypes.
+const JAVA_INT_MAX = 2 ** 31 - 1;
+const JAVA_INT_MIN = -(2 ** 31);
+export function inferAttrSubType(value) {
+    if (Array.isArray(value))
+        return ATTR_SUBTYPE_STRINGARRAY;
+    if (typeof value === "boolean")
+        return ATTR_SUBTYPE_BOOLEAN;
+    if (typeof value === "number") {
+        if (!Number.isInteger(value))
+            return ATTR_SUBTYPE_DOUBLE;
+        return value >= JAVA_INT_MIN && value <= JAVA_INT_MAX
+            ? ATTR_SUBTYPE_INT
+            : ATTR_SUBTYPE_LONG;
+    }
+    return ATTR_SUBTYPE_STRING;
+}
+/** Build a fused `type.subType` wrapper key. */
+function fusedKey(type, subType) {
+    return `${type}${TYPE_SUBTYPE_SEPARATOR}${subType}`;
+}
+// ---------------------------------------------------------------------------
+// Serialize a single node — returns { "<type>.<subType>": { ...body } }
+// ---------------------------------------------------------------------------
+function serializeNode(model, effective) {
+    const inner = serializeNodeInner(model, effective);
+    return { [fusedKey(model.type, model.subType)]: inner };
+}
+function serializeNodeInner(model, effective) {
+    // Canonical body-key order:
+    //   1. name  2. package  3. extends  4. abstract
+    //   5. overlay  6. isArray  7. inline @-attrs  8. children
+    const obj = {};
+    if (model.name !== "") {
+        obj[RESERVED_KEY_NAME] = model.name;
+    }
+    if (model.package !== undefined && model.package !== "") {
+        obj[RESERVED_KEY_PACKAGE] = model.package;
+    }
+    if (model.superRef !== undefined) {
+        obj[RESERVED_KEY_EXTENDS] = model.superRef;
+    }
+    if (model.isAbstract === true) {
+        obj[RESERVED_KEY_ABSTRACT] = true;
+    }
+    // NOTE: `overlay` is an authoring-time parser directive, not a property of
+    // the resolved tree. After a merge, the merged node is a normal node — the
+    // canonical serialization is the merged RESULT, which carries no overlay
+    // semantics. Re-emitting `overlay: true` would break round-trip stability
+    // (re-parsing would seek a non-existent node to merge into). So it is
+    // deliberately NOT serialized.
+    if (model.isArray === true) {
+        obj[RESERVED_KEY_IS_ARRAY] = true;
+    }
+    // In effective mode use children()/attrs() (own + inherited via super chain);
+    // in own mode use ownChildren()/ownAttrs() (declared on this node only).
+    const childList = effective ? model.children() : model.ownChildren();
+    const attrMap = effective ? model.attrs() : model.ownAttrs();
+    const serializedChildren = [];
+    for (const child of childList) {
+        // Attrs never appear in children(); only structural nodes recurse.
+        serializedChildren.push(serializeNode(child, effective));
+    }
+    // Attrs ALWAYS emit inline @name (D5 — attrs have no children, one canonical form).
+    for (const [attrName, attrValue] of attrMap) {
+        obj[`${ATTR_PREFIX}${attrName}`] = attrValue;
+    }
+    if (serializedChildren.length > 0) {
+        obj[RESERVED_KEY_CHILDREN] = serializedChildren;
+    }
+    return obj;
+}
+// ---------------------------------------------------------------------------
+// canonicalSerialize — deterministic serializer for cross-language conformance
+//
+// Wraps serializeJson with two extra guarantees:
+//   1. Inline @-attrs are emitted in alphabetical order (not Map iteration order).
+//   2. Output ends with exactly one trailing newline.
+//
+// Both behaviors are required so Java/Python/C# implementations can produce
+// byte-identical output from the same input metamodel.
+// ---------------------------------------------------------------------------
+export function canonicalSerialize(model) {
+    const raw = serializeJson(model, { indent: 2 });
+    const parsed = JSON.parse(raw);
+    const sorted = sortAttrKeys(parsed);
+    const out = JSON.stringify(sorted, null, 2);
+    return out + "\n";
+}
+/**
+ * Like canonicalSerialize, but emits the EFFECTIVE tree — children() and
+ * attrs() at every node (own + inherited via the super chain), so the
+ * super-chain merge is materialized in the output.
+ * Used by the conformance harness's expected-effective fixtures.
+ */
+export function canonicalSerializeEffective(model) {
+    const nodeObj = serializeNode(model, true);
+    const raw = JSON.stringify(nodeObj, null, 2);
+    const parsed = JSON.parse(raw);
+    const sorted = sortAttrKeys(parsed);
+    const out = JSON.stringify(sorted, null, 2);
+    return out + "\n";
+}
+function sortAttrKeys(value) {
+    if (Array.isArray(value)) {
+        return value.map(sortAttrKeys);
+    }
+    if (value !== null && typeof value === "object") {
+        const obj = value;
+        const keys = Object.keys(obj);
+        const structuralKeys = [];
+        const attrKeys = [];
+        for (const k of keys) {
+            if (k.startsWith(ATTR_PREFIX))
+                attrKeys.push(k);
+            else
+                structuralKeys.push(k);
+        }
+        attrKeys.sort();
+        const result = {};
+        const hasChildren = structuralKeys.includes(RESERVED_KEY_CHILDREN);
+        for (const k of structuralKeys) {
+            if (k === RESERVED_KEY_CHILDREN)
+                continue;
+            result[k] = sortAttrKeys(obj[k]);
+        }
+        for (const k of attrKeys) {
+            result[k] = sortAttrKeys(obj[k]);
+        }
+        if (hasChildren) {
+            result[RESERVED_KEY_CHILDREN] = sortAttrKeys(obj[RESERVED_KEY_CHILDREN]);
+        }
+        return result;
+    }
+    return value;
+}
+//# sourceMappingURL=serializer-json.js.map

package/dist/serializer-json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer-json.js","sourceRoot":"","sources":["../src/serializer-json.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,EAAE;AACF,4EAA4E;AAC5E,+EAA+E;AAC/E,8CAA8C;AAC9C,uDAAuD;AACvD,sEAAsE;AAGtE,OAAO,EACL,WAAW,EACX,sBAAsB,EACtB,iBAAiB,EACjB,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC;AAWvC,MAAM,UAAU,aAAa,CAAC,KAAe,EAAE,IAAuB;IACpE,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC;IAEjC,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1E,CAAC;AAED,8EAA8E;AAC9E,oFAAoF;AACpF,8EAA8E;AAE9E,iEAAiE;AACjE,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACjC,MAAM,YAAY,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAEhC,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,wBAAwB,CAAC;IAC1D,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,oBAAoB,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,mBAAmB,CAAC;QACzD,OAAO,KAAK,IAAI,YAAY,IAAI,KAAK,IAAI,YAAY;YACnD,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,iBAAiB,CAAC;IACxB,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC;AAED,gDAAgD;AAChD,SAAS,QAAQ,CAAC,IAAY,EAAE,OAAe;IAC7C,OAAO,GAAG,IAAI,GAAG,sBAAsB,GAAG,OAAO,EAAE,CAAC;AACtD,CAAC;AAED,8EAA8E;AAC9E,wEAAwE;AACxE,8EAA8E;AAE9E,SAAS,aAAa,CACpB,KAAe,EACf,SAAkB;IAElB,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnD,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAe,EACf,SAAkB;IAElB,4BAA4B;IAC5B,iDAAiD;IACjD,2DAA2D;IAE3D,MAAM,GAAG,GAA4B,EAAE,CAAC;IAExC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;QACtB,GAAG,CAAC,iBAAiB,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IACtC,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;QACxD,GAAG,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IAC5C,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjC,GAAG,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC7C,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC9B,GAAG,CAAC,qBAAqB,CAAC,GAAG,IAAI,CAAC;IACpC,CAAC;IAED,2EAA2E;IAC3E,2EAA2E;IAC3E,yEAAyE;IACzE,0EAA0E;IAC1E,sEAAsE;IACtE,+BAA+B;IAE/B,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC3B,GAAG,CAAC,qBAAqB,CAAC,GAAG,IAAI,CAAC;IACpC,CAAC;IAED,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;IACrE,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IAE7D,MAAM,kBAAkB,GAA8B,EAAE,CAAC;IACzD,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,mEAAmE;QACnE,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,oFAAoF;IACpF,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;QAC5C,GAAG,CAAC,GAAG,WAAW,GAAG,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC;IAC/C,CAAC;IAED,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,GAAG,CAAC,qBAAqB,CAAC,GAAG,kBAAkB,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,+EAA+E;AAC/E,EAAE;AACF,iDAAiD;AACjD,mFAAmF;AACnF,sDAAsD;AACtD,EAAE;AACF,4EAA4E;AAC5E,uDAAuD;AACvD,8EAA8E;AAE9E,MAAM,UAAU,kBAAkB,CAAC,KAAe;IAChD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAEhD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;IAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAE5C,OAAO,GAAG,GAAG,IAAI,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAe;IACzD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;IAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAE5C,OAAO,GAAG,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,KAAgC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE9B,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;gBAC3C,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QACD,QAAQ,CAAC,IAAI,EAAE,CAAC;QAEhB,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,qBAAqB;gBAAE,SAAS;YAC1C,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,qBAAqB,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}