@metaobjectsdev/metadata 0.9.0 → 0.10.0

package/dist/registry-manifest.d.ts

@@ -0,0 +1,117 @@
+import type { TypeRegistry } from "./registry.js";
+import { ExclusionReason } from "./registry-manifest-exclusions.js";
+/** One attribute in the manifest — the logical, cross-port-identical facet. */
+interface ManifestAttr {
+    name: string;
+    /** The attr's SCALAR value-type subtype, or null for a polymorphic/untyped attr (e.g. @default). */
+    valueType: string | null;
+    /** True for an array-valued attr (a list of the scalar `valueType`); the orthogonal array axis. */
+    isArray: boolean;
+    required: boolean;
+    /** FR-033 — human/AI-facing description of the attribute (required, non-empty). */
+    description: string;
+    /** FR-033 — prose documenting the complex rules enforced in code. Emitted only when present. */
+    rules?: string;
+    /** FR-033 — an example value. Emitted only when present. */
+    example?: string;
+    /** FR-033 — guidance on when to reach for this attribute. Emitted only when present. */
+    whenToUse?: string;
+}
+/** One structural child rule of a type (FR-033 constraint graph). */
+interface ManifestChild {
+    /** The admitted child `type` (`"*"` = any). */
+    childType: string;
+    /** The admitted child subType — a single subtype, `"*"` (any), or a list of admitted subtypes. */
+    childSubType: string | readonly string[];
+    /** The admitted child name (`"*"` = any). */
+    childName: string;
+    /** Cardinality lower bound — emitted only when defined on the rule. */
+    min?: number;
+    /** Cardinality upper bound (`null` = unbounded) — emitted only when defined on the rule. */
+    max?: number | null;
+    /** Whether the child must carry an explicit name — emitted only when defined on the rule. */
+    named?: boolean;
+}
+/** One registered (type, subType) in the manifest, with its docs + attrs + constraint graph. */
+interface ManifestType {
+    type: string;
+    subType: string;
+    /** FR-033 — human/AI-facing description of the type/subType (required, non-empty). */
+    description: string;
+    /** FR-033 — prose documenting the complex rules enforced in code. Emitted only when present. */
+    rules?: string;
+    /** FR-033 — an example. Emitted only when present. */
+    example?: string;
+    /** FR-033 — guidance on when to reach for this type/subType. Emitted only when present. */
+    whenToUse?: string;
+    attrs: ManifestAttr[];
+    /** FR-033 — the type's structural child rules (sorted), the constraint graph. */
+    children: ManifestChild[];
+    /** FR-033 — the child-side placement claim (sorted). Emitted only when present + non-empty. */
+    parents?: string[];
+}
+/** The full canonical manifest. All collections are sorted for byte-stability. */
+interface RegistryManifest {
+    types: ManifestType[];
+    commonAttrs: ManifestAttr[];
+    defaultSubTypes: Record<string, string>;
+}
+/**
+ * The boundary classifier (Wave 3b). For every per-type attr the emitter
+ * encounters, the in/out decision is an EXPLICIT classification — never a silent
+ * default. Returns either an `ExclusionReason` (carved out, with a documented
+ * category) or `INCLUDED` (logical cross-port vocabulary). It is TOTAL: there is
+ * no "unclassified" third state, so a port can never silently let an unreasoned
+ * facet through — the self-documenting property the conformance test asserts.
+ *
+ * This replaces the prior tautology — a bare `EXCLUDED.has(name)` whose negative
+ * branch silently meant "logical". The decision is now centralized and reasoned;
+ * the cross-port byte-canonical + ADR-0023 (sealed agreed-vocabulary registry)
+ * together guarantee that an `INCLUDED` attr really is agreed vocabulary rather
+ * than an accidental registration, so inclusion-by-classification is sound.
+ *
+ * NOTE on liveness: a per-type attr exclusion (e.g. `extends`, `object`) is a
+ * CROSS-PORT carve-out that only the OO ports (Java/Kotlin) physically register;
+ * TS/C#/Python never register those names, so a single port's emitter cannot
+ * judge a carve-out "dead" — that is a cross-port property, asserted by the
+ * shared byte-canonical, not here.
+ */
+declare const INCLUDED: "included";
+export type AttrClassification = ExclusionReason | typeof INCLUDED;
+export declare function classifyPerTypeAttr(name: string): AttrClassification;
+/**
+ * Build the canonical registry manifest object from an assembled registry.
+ *
+ * The registry must already be composed (e.g. `composeRegistry(coreProviders)`)
+ * so all providers — core types, db-domain attrs, common doc attrs — have run.
+ */
+export declare function buildRegistryManifest(registry: TypeRegistry): RegistryManifest;
+/**
+ * Emit the canonical registry manifest as a byte-stable JSON string.
+ *
+ * Serialization contract — every port MUST match this exactly:
+ *  - 2-space indentation (JSON.stringify(_, _, 2)).
+ *  - Object keys in a fixed order (JSON.stringify preserves insertion order):
+ *    the manifest is built with `types`, `commonAttrs`, `defaultSubTypes`.
+ *    - Each attr: `name`, `valueType`, `isArray`, `required`, `description`,
+ *      then optional `rules`, `example`, `whenToUse` (each omitted when absent).
+ *    - Each type: `type`, `subType`, `description`, then optional `rules`,
+ *      `example`, `whenToUse` (omitted when absent), then `attrs`, `children`,
+ *      then optional `parents` (omitted when absent/empty).
+ *    - Each child (FR-033 constraint graph): `childType`, `childSubType`,
+ *      `childName`, then optional `min`, `max`, `named` (each emitted ONLY when
+ *      defined on the rule — legacy wildcard rules omit all three; `max: null`
+ *      is emitted when the rule sets it null, omitted when undefined).
+ *  - All arrays sorted: `types` by "type.subType"; each `attrs` by name;
+ *    each type's `children` by the tuple (childType, childSubTypeKey, childName)
+ *    where childSubTypeKey is the string or the comma-joined list; `parents`
+ *    ascending; `commonAttrs` by name; `defaultSubTypes` keys sorted.
+ *  - `valueType: null` literal for polymorphic/untyped attrs.
+ *  - `childSubType` is a string OR a string[] (a list of admitted subtypes).
+ *  - `description` is required + non-empty on every type and attr (gated by the
+ *    coverage assertion in registry-conformance.test.ts — mirrors ADR-0023).
+ *  - A single trailing newline (matches the repo's committed-canonical style).
+ */
+export declare function emitRegistryManifest(registry: TypeRegistry): string;
+export {};
+//# sourceMappingURL=registry-manifest.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"registry-manifest.d.ts","sourceRoot":"","sources":["../src/registry-manifest.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAyC,YAAY,EAAE,MAAM,eAAe,CAAC;AAEzF,OAAO,EAEL,eAAe,EAGhB,MAAM,mCAAmC,CAAC;AAE3C,+EAA+E;AAC/E,UAAU,YAAY;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,oGAAoG;IACpG,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,mGAAmG;IACnG,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,mFAAmF;IACnF,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wFAAwF;IACxF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,qEAAqE;AACrE,UAAU,aAAa;IACrB,+CAA+C;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,kGAAkG;IAClG,YAAY,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IACzC,6CAA6C;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,uEAAuE;IACvE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,4FAA4F;IAC5F,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,6FAA6F;IAC7F,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,gGAAgG;AAChG,UAAU,YAAY;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2FAA2F;IAC3F,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,iFAAiF;IACjF,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,+FAA+F;IAC/F,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,kFAAkF;AAClF,UAAU,gBAAgB;IACxB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,WAAW,EAAE,YAAY,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzC;AAgHD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,QAAA,MAAM,QAAQ,EAAG,UAAmB,CAAC;AACrC,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG,OAAO,QAAQ,CAAC;AAEnE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,CAEpE;AA6BD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,YAAY,GAAG,gBAAgB,CAqC9E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,CAGnE"}

package/dist/registry-manifest.js

@@ -0,0 +1,242 @@
+// SP-G Registry Conformance — the TS reference emitter.
+//
+// Walks an assembled core TypeRegistry and serializes the LOGICAL metamodel
+// vocabulary as a canonical, fully-sorted, byte-stable JSON manifest. This is
+// the single-source contract the other four ports (C#, Java, Kotlin, Python)
+// must byte-match — a structural gate against the SP-C class of silent
+// vocabulary drift (a port's registry diverging — wrong attr names, missing
+// subtypes, different required-ness — with every behavioral corpus still green).
+//
+// The IN/OUT boundary is documented in fixtures/registry-conformance/README.md.
+// In short, the manifest emits: type.subType + per-type/per-attr `description`
+// (FR-033) + attrs[{name, valueType, isArray, required, description, rules?,
+// example?, whenToUse?}] + the structural constraint graph (children / parents /
+// cardinality, FR-033) + commonAttrs + defaultSubTypes. EXCLUDED (per-port-
+// physical or not-universally-tracked-on-the-registry): factories/native
+// bindings; AttrSchema.default and allowedValues (Java's attr model —
+// ChildRequirement — carries neither).
+//
+// FR-033 Task 5 GREW the manifest: it now also emits the documentation surface
+// (every type/attr carries a required, non-empty `description`; optional `rules`/
+// `example`/`whenToUse`) AND the full structural constraint graph (each type's
+// `children` from childRules — childType/childSubType/childName + optional
+// cardinality min/max/named — and optional `parents`). Growing the canonical
+// RED-flags the other four ports' registry-conformance until they reconcile
+// (the intended intermediate state, same as the FR-032 sweep).
+import { ATTR_SUBTYPE_STRING, ATTR_SUBTYPE_STRINGARRAY } from "./core/attr/attr-constants.js";
+import { EXCLUDED_PER_TYPE_ATTRS, ExclusionReason, isExcludedTypeSubType, manifestRequiredOverride, } from "./registry-manifest-exclusions.js";
+/** ASCII-string compare so the sort is locale-independent and byte-stable across ports. */
+function compareStrings(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+/**
+ * Normalize one AttrSchema to the manifest's logical attr shape — decomposing
+ * array-ness into a scalar `valueType` + an orthogonal `isArray` flag.
+ *
+ * An attr is array-valued when its schema sets `isArray: true` (the cross-port
+ * model). For resilience, a legacy `valueType: "stringarray"` token is also
+ * decomposed to `{ valueType: "string", isArray: true }` — so no `stringarray`
+ * token ever reaches the manifest. A polymorphic attr (no valueType) is `null` +
+ * non-array.
+ */
+function toManifestAttr(attr) {
+    const isLegacyStringArray = attr.valueType === ATTR_SUBTYPE_STRINGARRAY;
+    const isArray = attr.isArray === true || isLegacyStringArray;
+    // The scalar value-type: a legacy stringarray token collapses to "string";
+    // otherwise the declared valueType (omitted → null for polymorphic attrs).
+    const valueType = isLegacyStringArray
+        ? ATTR_SUBTYPE_STRING
+        : (attr.valueType ?? null);
+    // FR-033: the documentation surface (`description` required + non-empty;
+    // `rules`/`example`/`whenToUse` emitted ONLY when present) follows the
+    // existing facets, preserving key order for byte-stability.
+    const out = {
+        name: attr.name,
+        valueType,
+        isArray,
+        required: attr.required,
+        description: attr.description,
+    };
+    if (attr.rules !== undefined)
+        out.rules = attr.rules;
+    if (attr.example !== undefined)
+        out.example = attr.example;
+    if (attr.whenToUse !== undefined)
+        out.whenToUse = attr.whenToUse;
+    return out;
+}
+/** The canonical sort key for a child rule: childType, then the childSubType
+ *  string (or comma-joined list), then childName — ASCII codepoint compare. */
+function childSubTypeKey(childSubType) {
+    return Array.isArray(childSubType) ? childSubType.join(",") : childSubType;
+}
+/**
+ * Normalize one structural ChildRule to the manifest's child shape (FR-033).
+ * Cardinality (`min`/`max`/`named`) is emitted ONLY when defined on the rule —
+ * legacy wildcard rules leave them undefined and must NOT fabricate cardinality.
+ * `max` may legitimately be `null` (unbounded); `null` is emitted, `undefined`
+ * is omitted.
+ */
+function toManifestChild(rule) {
+    const out = {
+        childType: rule.childType,
+        childSubType: rule.childSubType,
+        childName: rule.childName,
+    };
+    if (rule.min !== undefined)
+        out.min = rule.min;
+    if (rule.max !== undefined)
+        out.max = rule.max;
+    if (rule.named !== undefined)
+        out.named = rule.named;
+    return out;
+}
+/** Sort the constraint graph by (childType, childSubTypeKey, childName) — ASCII. */
+function sortedChildren(rules) {
+    return rules
+        .map(toManifestChild)
+        .sort((a, b) => compareStrings(a.childType, b.childType) ||
+        compareStrings(childSubTypeKey(a.childSubType), childSubTypeKey(b.childSubType)) ||
+        compareStrings(a.childName, b.childName));
+}
+/** Sort attrs by name (ascending, ASCII). */
+function sortedAttrs(attrs) {
+    return attrs
+        .map(toManifestAttr)
+        .sort((a, b) => compareStrings(a.name, b.name));
+}
+/**
+ * Sort PER-TYPE attrs, keeping only those the explicit classification marks
+ * INCLUDED (logical cross-port vocabulary). A per-type attr classified with any
+ * `ExclusionReason` (structural keyword, native binding, per-type `description`
+ * commonAttr dup) is carved out — for a documented reason, never a silent
+ * name-match. The filter is a no-op for TS (which never registers the carved-out
+ * names as per-type attrs); it is applied uniformly so the cross-port contract
+ * is explicit. NOTE: `description` is filtered ONLY here — it remains in the
+ * `commonAttrs` block (built via `sortedAttrs`, unfiltered).
+ */
+function sortedPerTypeAttrs(attrs, type, subType) {
+    return sortedAttrs(attrs.filter((a) => classifyPerTypeAttr(a.name) === INCLUDED)).map((attr) => {
+        // FR-024-pending requiredness override (the attr-level analogue of the
+        // Fr024Pending row carve-out): the TS registry already registers the
+        // FR-024 requiredness, but the manifest keeps emitting the pre-FR-024
+        // agreed value until the Phase-E atomic all-ports flip.
+        const required = manifestRequiredOverride(type, subType, attr.name);
+        return required === undefined ? attr : { ...attr, required };
+    });
+}
+/**
+ * The boundary classifier (Wave 3b). For every per-type attr the emitter
+ * encounters, the in/out decision is an EXPLICIT classification — never a silent
+ * default. Returns either an `ExclusionReason` (carved out, with a documented
+ * category) or `INCLUDED` (logical cross-port vocabulary). It is TOTAL: there is
+ * no "unclassified" third state, so a port can never silently let an unreasoned
+ * facet through — the self-documenting property the conformance test asserts.
+ *
+ * This replaces the prior tautology — a bare `EXCLUDED.has(name)` whose negative
+ * branch silently meant "logical". The decision is now centralized and reasoned;
+ * the cross-port byte-canonical + ADR-0023 (sealed agreed-vocabulary registry)
+ * together guarantee that an `INCLUDED` attr really is agreed vocabulary rather
+ * than an accidental registration, so inclusion-by-classification is sound.
+ *
+ * NOTE on liveness: a per-type attr exclusion (e.g. `extends`, `object`) is a
+ * CROSS-PORT carve-out that only the OO ports (Java/Kotlin) physically register;
+ * TS/C#/Python never register those names, so a single port's emitter cannot
+ * judge a carve-out "dead" — that is a cross-port property, asserted by the
+ * shared byte-canonical, not here.
+ */
+const INCLUDED = "included";
+export function classifyPerTypeAttr(name) {
+    return EXCLUDED_PER_TYPE_ATTRS.get(name) ?? INCLUDED;
+}
+/**
+ * Build one manifest type entry from its full TypeDefinition (FR-033). Key order
+ * is fixed for byte-stability: `type`, `subType`, `description`, then optional
+ * `rules`/`example`/`whenToUse` (emitted only when present), then `attrs`,
+ * `children` (the sorted constraint graph), and optional `parents` (emitted only
+ * when present + non-empty, sorted ASCII).
+ */
+function toManifestType(def) {
+    // Build in fixed key order. Optional docs facets (rules/example/whenToUse) sit
+    // between `description` and `attrs`, so they are spread into the literal (when
+    // present) to preserve insertion order — `attrs`/`children`/`parents` follow.
+    const out = {
+        type: def.typeId.type,
+        subType: def.typeId.subType,
+        description: def.description,
+        ...(def.rules !== undefined ? { rules: def.rules } : {}),
+        ...(def.example !== undefined ? { example: def.example } : {}),
+        ...(def.whenToUse !== undefined ? { whenToUse: def.whenToUse } : {}),
+        attrs: sortedPerTypeAttrs(def.attributes, def.typeId.type, def.typeId.subType),
+        children: sortedChildren(def.childRules),
+    };
+    if (def.parents !== undefined && def.parents.length > 0) {
+        out.parents = [...def.parents].sort(compareStrings);
+    }
+    return out;
+}
+/**
+ * Build the canonical registry manifest object from an assembled registry.
+ *
+ * The registry must already be composed (e.g. `composeRegistry(coreProviders)`)
+ * so all providers — core types, db-domain attrs, common doc attrs — have run.
+ */
+export function buildRegistryManifest(registry) {
+    // Walk every registered (type, subType). `allTypes()` returns the TypeIds;
+    // `find` gives each one's full TypeDefinition (description / attributes /
+    // childRules / parents / rules / example / whenToUse) in a single lookup.
+    const types = registry
+        .allTypes()
+        // Skip excluded (type, subType) rows: the `metadata.base` inheritance
+        // anchor (C-5) + the generic TS-presentation `view.*` controls (B-2).
+        .filter((typeId) => !isExcludedTypeSubType(typeId.type, typeId.subType))
+        .map((typeId) => toManifestType(
+    // The type IS registered (it came from allTypes()), so find() is defined.
+    registry.find(typeId.type, typeId.subType)))
+        // Sort by the full "type.subType" key for a stable, port-independent order.
+        .sort((a, b) => compareStrings(`${a.type}.${a.subType}`, `${b.type}.${b.subType}`));
+    const commonAttrs = sortedAttrs(registry.getCommonAttrs());
+    // defaultSubTypes: rebuild with sorted keys so JSON.stringify emits a stable
+    // key order. There is no public "all default subTypes" accessor, so derive
+    // the candidate type names from the registered types and probe each.
+    const typeNames = Array.from(new Set(types.map((t) => t.type))).sort(compareStrings);
+    const defaultSubTypes = {};
+    for (const typeName of typeNames) {
+        const defaultSub = registry.defaultSubTypeOf(typeName);
+        if (defaultSub !== undefined) {
+            defaultSubTypes[typeName] = defaultSub;
+        }
+    }
+    return { types, commonAttrs, defaultSubTypes };
+}
+/**
+ * Emit the canonical registry manifest as a byte-stable JSON string.
+ *
+ * Serialization contract — every port MUST match this exactly:
+ *  - 2-space indentation (JSON.stringify(_, _, 2)).
+ *  - Object keys in a fixed order (JSON.stringify preserves insertion order):
+ *    the manifest is built with `types`, `commonAttrs`, `defaultSubTypes`.
+ *    - Each attr: `name`, `valueType`, `isArray`, `required`, `description`,
+ *      then optional `rules`, `example`, `whenToUse` (each omitted when absent).
+ *    - Each type: `type`, `subType`, `description`, then optional `rules`,
+ *      `example`, `whenToUse` (omitted when absent), then `attrs`, `children`,
+ *      then optional `parents` (omitted when absent/empty).
+ *    - Each child (FR-033 constraint graph): `childType`, `childSubType`,
+ *      `childName`, then optional `min`, `max`, `named` (each emitted ONLY when
+ *      defined on the rule — legacy wildcard rules omit all three; `max: null`
+ *      is emitted when the rule sets it null, omitted when undefined).
+ *  - All arrays sorted: `types` by "type.subType"; each `attrs` by name;
+ *    each type's `children` by the tuple (childType, childSubTypeKey, childName)
+ *    where childSubTypeKey is the string or the comma-joined list; `parents`
+ *    ascending; `commonAttrs` by name; `defaultSubTypes` keys sorted.
+ *  - `valueType: null` literal for polymorphic/untyped attrs.
+ *  - `childSubType` is a string OR a string[] (a list of admitted subtypes).
+ *  - `description` is required + non-empty on every type and attr (gated by the
+ *    coverage assertion in registry-conformance.test.ts — mirrors ADR-0023).
+ *  - A single trailing newline (matches the repo's committed-canonical style).
+ */
+export function emitRegistryManifest(registry) {
+    const manifest = buildRegistryManifest(registry);
+    return `${JSON.stringify(manifest, null, 2)}\n`;
+}
+//# sourceMappingURL=registry-manifest.js.map

package/dist/registry-manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-manifest.js","sourceRoot":"","sources":["../src/registry-manifest.ts"],"names":[],"mappings":"AAAA,wDAAwD;AACxD,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,uEAAuE;AACvE,4EAA4E;AAC5E,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,+EAA+E;AAC/E,6EAA6E;AAC7E,iFAAiF;AACjF,4EAA4E;AAC5E,yEAAyE;AACzE,sEAAsE;AACtE,uCAAuC;AACvC,EAAE;AACF,+EAA+E;AAC/E,kFAAkF;AAClF,+EAA+E;AAC/E,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,+DAA+D;AAG/D,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9F,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,mCAAmC,CAAC;AA8D3C,2FAA2F;AAC3F,SAAS,cAAc,CAAC,CAAS,EAAE,CAAS;IAC1C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,cAAc,CAAC,IAAgB;IACtC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,KAAK,wBAAwB,CAAC;IACxE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,mBAAmB,CAAC;IAC7D,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,SAAS,GAAG,mBAAmB;QACnC,CAAC,CAAC,mBAAmB;QACrB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;IAC7B,yEAAyE;IACzE,uEAAuE;IACvE,4DAA4D;IAC5D,MAAM,GAAG,GAAiB;QACxB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS;QACT,OAAO;QACP,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,WAAW,EAAE,IAAI,CAAC,WAAW;KAC9B,CAAC;IACF,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC3D,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjE,OAAO,GAAG,CAAC;AACb,CAAC;AAED;+EAC+E;AAC/E,SAAS,eAAe,CAAC,YAAwC;IAC/D,OAAO,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,YAAuB,CAAC;AACzF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,IAAe;IACtC,MAAM,GAAG,GAAkB;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;IACF,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IAC/C,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IAC/C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oFAAoF;AACpF,SAAS,cAAc,CAAC,KAA2B;IACjD,OAAO,KAAK;SACT,GAAG,CAAC,eAAe,CAAC;SACpB,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;QACxC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAChF,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAC3C,CAAC;AACN,CAAC;AAED,6CAA6C;AAC7C,SAAS,WAAW,CAAC,KAA4B;IAC/C,OAAO,KAAK;SACT,GAAG,CAAC,cAAc,CAAC;SACnB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CACzB,KAA4B,EAC5B,IAAY,EACZ,OAAe;IAEf,OAAO,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CACnF,CAAC,IAAI,EAAE,EAAE;QACP,uEAAuE;QACvE,qEAAqE;QACrE,sEAAsE;QACtE,wDAAwD;QACxD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/D,CAAC,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,QAAQ,GAAG,UAAmB,CAAC;AAGrC,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;AACvD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,GAAmB;IACzC,+EAA+E;IAC/E,+EAA+E;IAC/E,8EAA8E;IAC9E,MAAM,GAAG,GAAiB;QACxB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;QACrB,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO;QAC3B,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;QAC9E,QAAQ,EAAE,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC;KACzC,CAAC;IACF,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAsB;IAC1D,2EAA2E;IAC3E,0EAA0E;IAC1E,0EAA0E;IAC1E,MAAM,KAAK,GAAmB,QAAQ;SACnC,QAAQ,EAAE;QACX,sEAAsE;QACtE,sEAAsE;SACrE,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;SACvE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACd,cAAc;IACZ,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAmB,CAC7D,CACF;QACD,4EAA4E;SAC3E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CACnE,CAAC;IAEJ,MAAM,WAAW,GAAG,WAAW,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC;IAE3D,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAClE,cAAc,CACf,CAAC;IACF,MAAM,eAAe,GAA2B,EAAE,CAAC;IACnD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,eAAe,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC;AACjD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAsB;IACzD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IACjD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC"}

package/dist/registry.d.ts

@@ -11,10 +11,25 @@ export declare class TypeId {
 export interface ChildRule {
     /** `"*"` matches any type. */
     childType: string;
-    /** `"*"` matches any subtype. */
-    childSubType: string;
+    /**
+     * `"*"` matches any subtype. A list (FR-033) admits any one of several
+     * subtypes (e.g. a `source` child may be `["rdb", "view"]`).
+     */
+    childSubType: string | readonly string[];
     /** `"*"` matches any name. */
     childName: string;
+    /**
+     * FR-033 — cardinality lower bound. A required child has `min >= 1`. Optional
+     * on the interface for back-compat with rules authored before FR-033.
+     */
+    min?: number;
+    /**
+     * FR-033 — cardinality upper bound; `null` means unbounded (0..∞). Optional
+     * for back-compat.
+     */
+    max?: number | null;
+    /** FR-033 — whether the child must carry an explicit name. */
+    named?: boolean;
 }
 export interface AttrSchema {
     /** Attribute name WITHOUT the "@" prefix (e.g. "dbColumn", "currency"). */
@@ -32,6 +47,16 @@ export interface AttrSchema {
      * attrs. Attempting to register an AttrSchema with `valueType: "base"` throws.
      */
     valueType?: AttrSubType;
+    /**
+     * Whether this attribute is array-valued (a list of the scalar `valueType`).
+     *
+     * Array-ness is a single orthogonal axis — a `string` attr with `isArray: true`
+     * is what was formerly the `stringarray` subtype. The loader coerces an
+     * array-flagged attr through the array string-attr coercion (bare-string →
+     * one-element array). Mirrors Java's `StringAttribute + @isArray` model.
+     * Absent/false = scalar.
+     */
+    isArray?: boolean;
     /** Whether this attribute must be present on the node. */
     required: boolean;
     /** Default value applied when the attribute is absent. Optional. */
@@ -40,6 +65,12 @@ export interface AttrSchema {
     allowedValues?: readonly AttrValue[];
     /** Human/AI-facing description of what the attribute means. */
     description: string;
+    /** FR-033 — prose documenting the complex rules enforced in code. Optional. */
+    rules?: string;
+    /** FR-033 — an example value, shown only in the provider detail page. Optional. */
+    example?: string;
+    /** FR-033 — guidance on when to reach for this attribute. Optional. */
+    whenToUse?: string;
 }
 export interface TypeDefinition {
     typeId: TypeId;
@@ -50,6 +81,18 @@ export interface TypeDefinition {
     /** 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;
+    /**
+     * FR-033 — the child-side placement claim: the `type.subType`s under which a
+     * node of this type is allowed. Additive (an extension provider names a parent
+     * without editing the parent's definition). Optional.
+     */
+    parents?: readonly string[];
+    /** FR-033 — prose documenting the complex rules enforced in code. Optional. */
+    rules?: string;
+    /** FR-033 — an example, shown only in the provider detail page. Optional. */
+    example?: string;
+    /** FR-033 — guidance on when to reach for this type/subType. Optional. */
+    whenToUse?: string;
 }
 export declare class TypeRegistry {
     /** Keyed by `"type.subType"`. */
@@ -60,6 +103,21 @@ export declare class TypeRegistry {
     private readonly _defaultSubTypes;
     /** Attrs accepted on every metatype (declared by providers). */
     private readonly _commonAttrs;
+    /**
+     * ADR-0023 Decision 2 — sealed state. Once sealed, every mutating registration
+     * method (`register`/`setDefaultSubType`/`registerCommonAttrs`/`extend`) throws
+     * `ERR_REGISTRY_SEALED`. The library seals its composed registry after the agreed
+     * metamodel providers bootstrap, so nothing can register made-up metamodel
+     * attributes post-bootstrap. A downstream app composes its own (unsealed) registry.
+     */
+    private _sealed;
+    /** Seal the registry: every subsequent mutating registration throws
+     *  `ERR_REGISTRY_SEALED`. Idempotent. Reads are unaffected. */
+    seal(): void;
+    /** Whether this registry has been sealed (ADR-0023). */
+    isSealed(): boolean;
+    /** Guard at the top of every mutating registration method. */
+    private checkNotSealed;
     register(def: TypeDefinition): void;
     find(type: string, subType: string): TypeDefinition | undefined;
     has(type: string, subType: string): boolean;

package/dist/registry.d.ts.map

@@ -1 +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,gEAAgE;IAChE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAoB;IAEjD,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,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI;IAe9C;;yEAEqE;IACrE,cAAc,IAAI,SAAS,UAAU,EAAE;IAIvC;;;;;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"}
+{"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;;;OAGG;IACH,YAAY,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IACzC,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,8DAA8D;IAC9D,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,2EAA2E;IAC3E,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;;;;;OAWG;IACH,SAAS,CAAC,EAAE,WAAW,CAAC;IACxB;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,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;IACpB,+EAA+E;IAC/E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mFAAmF;IACnF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;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;IACpB;;;;OAIG;IACH,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,+EAA+E;IAC/E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;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,gEAAgE;IAChE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAoB;IAEjD;;;;;;OAMG;IACH,OAAO,CAAC,OAAO,CAAS;IAExB;mEAC+D;IAC/D,IAAI,IAAI,IAAI;IAIZ,wDAAwD;IACxD,QAAQ,IAAI,OAAO;IAInB,8DAA8D;IAC9D,OAAO,CAAC,cAAc;IAYtB,QAAQ,CAAC,GAAG,EAAE,cAAc,GAAG,IAAI;IAiCnC,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;IAKtD,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,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI;IAgB9C;;yEAEqE;IACrE,cAAc,IAAI,SAAS,UAAU,EAAE;IAIvC;;;;;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;CA2BR;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,CAaT"}

package/dist/registry.js

@@ -25,7 +25,34 @@ export class TypeRegistry {
     _defaultSubTypes = new Map();
     /** Attrs accepted on every metatype (declared by providers). */
     _commonAttrs = [];
+    /**
+     * ADR-0023 Decision 2 — sealed state. Once sealed, every mutating registration
+     * method (`register`/`setDefaultSubType`/`registerCommonAttrs`/`extend`) throws
+     * `ERR_REGISTRY_SEALED`. The library seals its composed registry after the agreed
+     * metamodel providers bootstrap, so nothing can register made-up metamodel
+     * attributes post-bootstrap. A downstream app composes its own (unsealed) registry.
+     */
+    _sealed = false;
+    /** Seal the registry: every subsequent mutating registration throws
+     *  `ERR_REGISTRY_SEALED`. Idempotent. Reads are unaffected. */
+    seal() {
+        this._sealed = true;
+    }
+    /** Whether this registry has been sealed (ADR-0023). */
+    isSealed() {
+        return this._sealed;
+    }
+    /** Guard at the top of every mutating registration method. */
+    checkNotSealed(operation) {
+        if (this._sealed) {
+            throw new MetaModelError(`TypeRegistry is sealed (ADR-0023): ${operation} is not permitted after metamodel ` +
+                `bootstrap. Made-up metamodel attributes/types are structurally disallowed — a new ` +
+                `metamodel attribute requires a registered provider + human agreement. Downstream apps ` +
+                `that need extra vocabulary must compose their own (unsealed) registry.`, { code: "ERR_REGISTRY_SEALED" });
+        }
+    }
     register(def) {
+        this.checkNotSealed(`register("${def.typeId.toString()}")`);
         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}")`);
@@ -64,6 +91,7 @@ export class TypeRegistry {
     }
     /** Designate the default subType for a bare `type` key (used by YAML authoring sugar). */
     setDefaultSubType(type, subType) {
+        this.checkNotSealed(`setDefaultSubType("${type}")`);
         this._defaultSubTypes.set(type, subType);
     }
     /** The designated default subType for a type, or undefined if none was designated. */
@@ -82,6 +110,7 @@ export class TypeRegistry {
      * per-type attrs are resolved at validation time (Task 1.3).
      */
     registerCommonAttrs(attrs) {
+        this.checkNotSealed("registerCommonAttrs");
         for (const attr of attrs) {
             if (attr.valueType === SUBTYPE_BASE) {
                 throw new Error(`TypeRegistry.registerCommonAttrs: attr "${attr.name}" declares valueType "${SUBTYPE_BASE}", ` +
@@ -106,6 +135,7 @@ export class TypeRegistry {
      * providers to extend types another provider defined.
      */
     extend(type, subType, ext) {
+        this.checkNotSealed(`extend("${type}.${subType}")`);
         const def = this.find(type, subType);
         if (def === undefined) {
             throw new Error(`TypeRegistry.extend: no registered type "${type}.${subType}" to extend`);
@@ -126,8 +156,14 @@ export class TypeRegistry {
     }
 }
 export function childRuleMatches(rule, child) {
+    // FR-033 — childSubType may be a wildcard, a single subtype, or a list of
+    // admitted subtypes.
+    const subTypeMatches = rule.childSubType === CHILD_RULE_WILDCARD ||
+        (Array.isArray(rule.childSubType)
+            ? rule.childSubType.includes(child.subType)
+            : rule.childSubType === child.subType);
     return ((rule.childType === CHILD_RULE_WILDCARD || rule.childType === child.type) &&
-        (rule.childSubType === CHILD_RULE_WILDCARD || rule.childSubType === child.subType) &&
+        subTypeMatches &&
         (rule.childName === CHILD_RULE_WILDCARD || rule.childName === child.name));
 }
 //# sourceMappingURL=registry.js.map

package/dist/registry.js.map

@@ -1 +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,gEAAgE;IAC/C,YAAY,GAAiB,EAAE,CAAC;IAEjD,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,mBAAmB,CAAC,KAAmB;QACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACb,2CAA2C,IAAI,CAAC,IAAI,yBAAyB,YAAY,KAAK;oBAC9F,iGAAiG,CAClG,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtE,SAAS,CAAC,8FAA8F;YAC1G,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED;;yEAEqE;IACrE,cAAc;QACZ,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,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"}
+{"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;AA2FD,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,gEAAgE;IAC/C,YAAY,GAAiB,EAAE,CAAC;IAEjD;;;;;;OAMG;IACK,OAAO,GAAG,KAAK,CAAC;IAExB;mEAC+D;IAC/D,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,wDAAwD;IACxD,QAAQ;QACN,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,8DAA8D;IACtD,cAAc,CAAC,SAAiB;QACtC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,IAAI,cAAc,CACtB,sCAAsC,SAAS,oCAAoC;gBACnF,oFAAoF;gBACpF,wFAAwF;gBACxF,wEAAwE,EACxE,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAChC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,GAAmB;QAC1B,IAAI,CAAC,cAAc,CAAC,aAAa,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5D,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,cAAc,CAAC,sBAAsB,IAAI,IAAI,CAAC,CAAC;QACpD,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,mBAAmB,CAAC,KAAmB;QACrC,IAAI,CAAC,cAAc,CAAC,qBAAqB,CAAC,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACb,2CAA2C,IAAI,CAAC,IAAI,yBAAyB,YAAY,KAAK;oBAC9F,iGAAiG,CAClG,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtE,SAAS,CAAC,8FAA8F;YAC1G,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED;;yEAEqE;IACrE,cAAc;QACZ,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IAED;;;;;OAKG;IACH,MAAM,CACJ,IAAY,EACZ,OAAe,EACf,GAA4D;QAE5D,IAAI,CAAC,cAAc,CAAC,WAAW,IAAI,IAAI,OAAO,IAAI,CAAC,CAAC;QACpD,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,0EAA0E;IAC1E,qBAAqB;IACrB,MAAM,cAAc,GAClB,IAAI,CAAC,YAAY,KAAK,mBAAmB;QACzC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC;YAC/B,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;YAC3C,CAAC,CAAC,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,CACL,CAAC,IAAI,CAAC,SAAS,KAAK,mBAAmB,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC;QACzE,cAAc;QACd,CAAC,IAAI,CAAC,SAAS,KAAK,mBAAmB,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC,CAC1E,CAAC;AACJ,CAAC"}

package/dist/shared/structural.d.ts

@@ -14,6 +14,13 @@ export declare const ATTR_PREFIX = "@";
 export declare const TYPE_SUBTYPE_SEPARATOR = ".";
 /** Separator between package segments and between package and name. */
 export declare const PACKAGE_SEPARATOR = "::";
+/**
+ * FR-024 (ADR-0029): separator between an owner object and a nested child in a
+ * dotted `extends` reference (`Customer.id`, `acme::sales::Customer.id`).
+ * Names cannot contain `.`, so a `.` in the final `::`-segment of a ref
+ * unambiguously marks a child-targeting reference.
+ */
+export declare const CHILD_REF_SEPARATOR = ".";
 /** Relative-reference "go up one level" marker. */
 export declare const PACKAGE_PARENT = "..";
 export declare const CHILD_RULE_WILDCARD = "*";

package/dist/shared/structural.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../src/shared/structural.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,iBAAiB,SAAS,CAAC;AACxC,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,qBAAqB,YAAY,CAAC;AAC/C,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAEhD,yDAAyD;AACzD,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAE1C,eAAO,MAAM,aAAa,aASxB,CAAC;AAMH,eAAO,MAAM,eAAe,YAAY,CAAC;AAMzC,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,mFAAmF;AACnF,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAM1C,uEAAuE;AACvE,eAAO,MAAM,iBAAiB,OAAO,CAAC;AAEtC,mDAAmD;AACnD,eAAO,MAAM,cAAc,OAAO,CAAC;AAMnC,eAAO,MAAM,mBAAmB,MAAM,CAAC"}
+{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../src/shared/structural.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,iBAAiB,SAAS,CAAC;AACxC,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,qBAAqB,YAAY,CAAC;AAC/C,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAEhD,yDAAyD;AACzD,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAE1C,eAAO,MAAM,aAAa,aASxB,CAAC;AAMH,eAAO,MAAM,eAAe,YAAY,CAAC;AAMzC,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,mFAAmF;AACnF,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAM1C,uEAAuE;AACvE,eAAO,MAAM,iBAAiB,OAAO,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,MAAM,CAAC;AAEvC,mDAAmD;AACnD,eAAO,MAAM,cAAc,OAAO,CAAC;AAMnC,eAAO,MAAM,mBAAmB,MAAM,CAAC"}

package/dist/shared/structural.js

@@ -40,6 +40,13 @@ export const TYPE_SUBTYPE_SEPARATOR = ".";
 // ---------------------------------------------------------------------------
 /** Separator between package segments and between package and name. */
 export const PACKAGE_SEPARATOR = "::";
+/**
+ * FR-024 (ADR-0029): separator between an owner object and a nested child in a
+ * dotted `extends` reference (`Customer.id`, `acme::sales::Customer.id`).
+ * Names cannot contain `.`, so a `.` in the final `::`-segment of a ref
+ * unambiguously marks a child-targeting reference.
+ */
+export const CHILD_REF_SEPARATOR = ".";
 /** Relative-reference "go up one level" marker. */
 export const PACKAGE_PARENT = "..";
 // ---------------------------------------------------------------------------

package/dist/shared/structural.js.map

@@ -1 +1 @@
-{"version":3,"file":"structural.js","sourceRoot":"","sources":["../../src/shared/structural.ts"],"names":[],"mappings":"AAAA,uGAAuG;AAEvG,8EAA8E;AAC9E,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,6CAA6C;AAC7C,8EAA8E;AAE9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACxC,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC;AAC9C,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC,CAAG,0BAA0B;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC,CAAC,8BAA8B;AAC/E,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC,CAAG,8CAA8C;AAC/F,MAAM,CAAC,MAAM,qBAAqB,GAAG,SAAS,CAAC,CAAE,8BAA8B;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;AAEhD,yDAAyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAE1C,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;IAC3C,iBAAiB;IACjB,oBAAoB;IACpB,oBAAoB;IACpB,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,qBAAqB;IACrB,kBAAkB;CACnB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,SAAS,CAAC;AAEzC,8EAA8E;AAC9E,6DAA6D;AAC7D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAE/B,mFAAmF;AACnF,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,uEAAuE;AACvE,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAEtC,mDAAmD;AACnD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AAEnC,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAG,CAAC"}
+{"version":3,"file":"structural.js","sourceRoot":"","sources":["../../src/shared/structural.ts"],"names":[],"mappings":"AAAA,uGAAuG;AAEvG,8EAA8E;AAC9E,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,6CAA6C;AAC7C,8EAA8E;AAE9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACxC,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC;AAC9C,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC,CAAG,0BAA0B;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC,CAAC,8BAA8B;AAC/E,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC,CAAG,8CAA8C;AAC/F,MAAM,CAAC,MAAM,qBAAqB,GAAG,SAAS,CAAC,CAAE,8BAA8B;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;AAEhD,yDAAyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAE1C,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;IAC3C,iBAAiB;IACjB,oBAAoB;IACpB,oBAAoB;IACpB,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,qBAAqB;IACrB,kBAAkB;CACnB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,SAAS,CAAC;AAEzC,8EAA8E;AAC9E,6DAA6D;AAC7D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAE/B,mFAAmF;AACnF,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,uEAAuE;AACvE,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAEvC,mDAAmD;AACnD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AAEnC,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAG,CAAC"}

package/dist/subtype-rules.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subtype-rules.d.ts","sourceRoot":"","sources":["../src/subtype-rules.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,CAKtE"}
+{"version":3,"file":"subtype-rules.d.ts","sourceRoot":"","sources":["../src/subtype-rules.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAezC,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,CAKtE"}