@metaobjectsdev/metadata 0.9.0 → 0.10.0

package/dist/constraint-validate.js

@@ -0,0 +1,274 @@
+// FR-033 — the metamodel contradiction validator (spec §3.1, the six checks).
+//
+// `validateConstraints(effective, registry)` runs the six contradiction checks over
+// the merged constraint graph and returns one MetaModelError per contradiction
+// (code ERR_INVALID_METAMODEL_CONSTRAINT). It is the cross-validation pass: the merge
+// (constraint-merge.ts) is purely additive, so this pass is the ONLY place a bad
+// provider set is rejected. Wired into composeRegistry's seal-time bootstrap so a
+// contradictory library provider set fails fast (mirrors ADR-0023 strictness).
+//
+// The six checks (spec §3.1):
+//   1. Dangling ref       — a parents/children rule references an unregistered type.subType.
+//   2. Unsatisfiable req.  — a required child (min>=1) whose concrete type.subType is
+//                            not admitted under that parent (after merge).
+//   3. Bad cardinality     — min>max (max non-null), max:0 with min>=1, or min<0.
+//   4. Closed-set clash    — child C claims parent P via `parents`, but P's OWN children
+//                            is a CLOSED set (no `*` wildcard) that does not admit C.
+//   5. Required-child cycle— following required (min>=1) child edges forms a cycle.
+//   6. Conflicting attr    — same attr name contributed twice (across providers or the
+//                            extends chain) with a conflicting valueType/required/default.
+import { childRuleMatches } from "./registry.js";
+import { CHILD_RULE_WILDCARD } from "./shared/structural.js";
+import { SUBTYPE_BASE } from "./shared/base-types.js";
+import { MetaModelError } from "./errors.js";
+const CODE = "ERR_INVALID_METAMODEL_CONSTRAINT";
+/** Run the six contradiction checks; one MetaModelError per contradiction. */
+export function validateConstraints(effective, registry) {
+    const errors = [];
+    const registered = new Set(registry.allTypes().map((id) => `${id.type}.${id.subType}`));
+    const sortedKeys = [...effective.keys()].sort();
+    for (const k of sortedKeys) {
+        const eff = effective.get(k);
+        // --- #1 dangling ref (children) + #3 bad cardinality.
+        for (const rule of eff.children) {
+            checkDangling(k, rule, registered, errors);
+            checkCardinality(k, rule, errors);
+        }
+        // --- #1 dangling ref (parents).
+        for (const parent of eff.parents) {
+            if (!registered.has(parent)) {
+                errors.push(err(`dangling: type "${k}" claims parent "${parent}", which is not registered.`));
+            }
+        }
+        // --- #2 unsatisfiable required child.
+        for (const rule of eff.children) {
+            checkUnsatisfiable(k, rule, registered, errors);
+        }
+    }
+    // --- #4 closed-set clash: a child's `parents` claim vs the parent's OWN children.
+    for (const id of registry.allTypes()) {
+        const childKey = `${id.type}.${id.subType}`;
+        const def = registry.find(id.type, id.subType);
+        for (const parent of def?.parents ?? []) {
+            checkClosedSetClash(childKey, id.type, id.subType, parent, registry, errors);
+        }
+    }
+    // --- #5 required-child cycle.
+    checkRequiredCycles(effective, sortedKeys, errors);
+    // --- #6 conflicting attr redefinition (across the extends chain + providers).
+    for (const id of registry.allTypes()) {
+        checkAttrConflicts(id.type, id.subType, registry, registered, errors);
+    }
+    return errors;
+}
+function err(detail) {
+    return new MetaModelError(`Invalid metamodel constraint — ${detail}`, { code: CODE });
+}
+/** #1 — a concrete (non-wildcard) child rule whose type.subType is unregistered. */
+function checkDangling(parentKey, rule, registered, errors) {
+    if (rule.childType === CHILD_RULE_WILDCARD)
+        return; // a wildcard names nothing
+    const subTypes = subTypesOf(rule);
+    for (const sub of subTypes) {
+        if (sub === CHILD_RULE_WILDCARD)
+            continue; // wildcard subtype names nothing
+        const refKey = `${rule.childType}.${sub}`;
+        if (!registered.has(refKey)) {
+            errors.push(err(`dangling: child rule on "${parentKey}" references "${refKey}", which is not registered.`));
+        }
+    }
+}
+/** #3 — min<0, min>max (max non-null), or max:0 with min>=1. */
+function checkCardinality(parentKey, rule, errors) {
+    const min = rule.min ?? 0;
+    const max = rule.max ?? null;
+    const label = describeRule(rule);
+    if (min < 0) {
+        errors.push(err(`bad cardinality on "${parentKey}" (${label}): min ${min} < 0.`));
+        return;
+    }
+    if (max !== null && max < min) {
+        errors.push(err(`bad cardinality on "${parentKey}" (${label}): min ${min} > max ${max}.`));
+        return;
+    }
+    if (max === 0 && min >= 1) {
+        errors.push(err(`bad cardinality on "${parentKey}" (${label}): max 0 with min ${min} >= 1.`));
+    }
+}
+/**
+ * #2 — a required child rule (min>=1) naming concrete subtype(s) where NONE of the
+ * named type.subTypes is admitted under this parent (after merge). A required rule
+ * with a wildcard type is always satisfiable; a required rule naming a concrete
+ * subtype that is registered AND covered by an admitting rule (the rule itself, or
+ * another rule) is satisfiable. Unsatisfiable iff the required child cannot be placed.
+ */
+function checkUnsatisfiable(parentKey, rule, registered, errors) {
+    const min = rule.min ?? 0;
+    if (min < 1)
+        return; // optional → nothing to satisfy
+    if (rule.childType === CHILD_RULE_WILDCARD)
+        return; // any child satisfies it
+    // A required rule must name at least one concrete, REGISTERED subtype that some
+    // rule (incl. itself) admits. If none of its named subtypes is registered, the
+    // required child can never be instantiated → unsatisfiable.
+    const subTypes = subTypesOf(rule);
+    const concrete = subTypes.filter((s) => s !== CHILD_RULE_WILDCARD);
+    if (concrete.length === 0)
+        return; // required of `type.*` — any registered subtype satisfies
+    const anyRegistered = concrete.some((s) => registered.has(`${rule.childType}.${s}`));
+    if (!anyRegistered) {
+        errors.push(err(`unsatisfiable required child on "${parentKey}" (${describeRule(rule)}): ` +
+            `min ${min} but no named subtype of "${rule.childType}" is registered.`));
+    }
+}
+/**
+ * #4 — child C declares parent P via `parents`, but P's OWN children is a CLOSED set
+ * (no `*` wildcard rule) that does not admit C. An OPEN parent (any `*` rule) admits
+ * anything → no clash.
+ */
+function checkClosedSetClash(childKey, childType, childSubType, parentKey, registry, errors) {
+    const parentDef = lookup(parentKey, registry);
+    if (parentDef === undefined)
+        return; // dangling parent — reported by #1
+    const ownRules = parentDef.childRules;
+    const isOpen = ownRules.some((r) => isWildcardRule(r));
+    if (isOpen)
+        return; // open parent admits anything
+    const admits = ownRules.some((r) => childRuleMatches(r, { type: childType, subType: childSubType, name: CHILD_RULE_WILDCARD }));
+    if (!admits) {
+        errors.push(err(`closed-set clash: child "${childKey}" claims parent "${parentKey}", but ` +
+            `"${parentKey}"'s children is a closed set (no wildcard) that does not admit it.`));
+    }
+}
+/**
+ * #5 — required-child cycle: following required (min>=1) child edges forms a cycle.
+ * An edge A→B exists when A has a required rule naming a concrete subtype B. A cycle
+ * with no non-required escape can never bottom out (A requires B requires A).
+ */
+function checkRequiredCycles(effective, sortedKeys, errors) {
+    // Build the required-edge adjacency: A → each concrete required child subtype.
+    const edges = new Map();
+    for (const k of sortedKeys) {
+        const targets = [];
+        for (const rule of effective.get(k).children) {
+            if ((rule.min ?? 0) < 1)
+                continue;
+            if (rule.childType === CHILD_RULE_WILDCARD)
+                continue;
+            for (const sub of subTypesOf(rule)) {
+                if (sub === CHILD_RULE_WILDCARD)
+                    continue;
+                targets.push(`${rule.childType}.${sub}`);
+            }
+        }
+        edges.set(k, targets);
+    }
+    // DFS for back-edges; report each distinct cycle once (keyed by its sorted node set).
+    const WHITE = 0, GRAY = 1, BLACK = 2;
+    const color = new Map();
+    const reported = new Set();
+    const stack = [];
+    const visit = (node) => {
+        color.set(node, GRAY);
+        stack.push(node);
+        for (const next of edges.get(node) ?? []) {
+            if (!edges.has(next))
+                continue; // unregistered target — #1/#2 handles it
+            const c = color.get(next) ?? WHITE;
+            if (c === GRAY) {
+                // Back-edge → cycle. Extract the cycle slice from the stack.
+                const idx = stack.indexOf(next);
+                const cycle = stack.slice(idx);
+                const sig = [...cycle].sort().join(",");
+                if (!reported.has(sig)) {
+                    reported.add(sig);
+                    errors.push(err(`required-child cycle that cannot bottom out: ${cycle.concat(next).join(" -> ")}.`));
+                }
+            }
+            else if (c === WHITE) {
+                visit(next);
+            }
+        }
+        stack.pop();
+        color.set(node, BLACK);
+    };
+    for (const k of sortedKeys) {
+        if ((color.get(k) ?? WHITE) === WHITE)
+            visit(k);
+    }
+}
+/**
+ * #6 — the same attr name contributed twice (across providers, or down the extends
+ * chain) with a CONFLICTING valueType / required / default. Walks each type's own
+ * attrs + its derived super (`<type>.base`) chain and compares same-name pairs.
+ */
+function checkAttrConflicts(type, subType, registry, registered, errors) {
+    // Collect (attr, source-key) along the own → super chain.
+    const seen = new Map();
+    const reported = new Set();
+    let curType = type;
+    let curSub = subType;
+    const guard = new Set();
+    while (curType !== undefined && curSub !== undefined) {
+        const k = `${curType}.${curSub}`;
+        if (guard.has(k))
+            break;
+        guard.add(k);
+        const def = registry.find(curType, curSub);
+        if (def !== undefined) {
+            for (const attr of def.attributes) {
+                const prior = seen.get(attr.name);
+                if (prior === undefined) {
+                    seen.set(attr.name, { attr, from: k });
+                }
+                else if (attrsConflict(prior.attr, attr)) {
+                    const sig = `${attr.name}|${prior.from}|${k}`;
+                    if (!reported.has(sig)) {
+                        reported.add(sig);
+                        errors.push(err(`conflicting attr redefinition: attr "${attr.name}" is declared on ` +
+                            `"${prior.from}" and "${k}" with a conflicting valueType/required/default.`));
+                    }
+                }
+            }
+        }
+        // Advance up the derived super chain (`<type>.base`).
+        if (curSub === SUBTYPE_BASE)
+            break;
+        const baseKey = `${curType}.${SUBTYPE_BASE}`;
+        if (!registered.has(baseKey))
+            break;
+        curSub = SUBTYPE_BASE;
+    }
+}
+/** Two same-name attrs conflict iff valueType, required, or default differ. */
+function attrsConflict(a, b) {
+    return (a.valueType !== b.valueType ||
+        a.required !== b.required ||
+        !Object.is(a.default, b.default));
+}
+// --- helpers ---------------------------------------------------------------
+function subTypesOf(rule) {
+    const s = rule.childSubType;
+    return typeof s === "string" ? [s] : [...s];
+}
+function isWildcardRule(rule) {
+    // An OPEN hook is a TYPE-wildcard rule (`*.*` / `*` of any subType) — it admits a
+    // child of any type, so a new type can land under this parent. A `field.*` rule is
+    // NOT open in this sense: it admits any field SUBTYPE but no other type, so a
+    // `policy` child still clashes. Per spec §3.1 #4, the open escape is a `*` (type)
+    // wildcard rule.
+    return rule.childType === CHILD_RULE_WILDCARD;
+}
+function describeRule(rule) {
+    const sub = Array.isArray(rule.childSubType)
+        ? `[${rule.childSubType.join(",")}]`
+        : rule.childSubType;
+    return `${rule.childType}.${sub} ${rule.childName}`;
+}
+function lookup(key, registry) {
+    const dot = key.indexOf(".");
+    if (dot < 0)
+        return undefined;
+    return registry.find(key.slice(0, dot), key.slice(dot + 1));
+}
+//# sourceMappingURL=constraint-validate.js.map

package/dist/constraint-validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-validate.js","sourceRoot":"","sources":["../src/constraint-validate.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,EAAE;AACF,oFAAoF;AACpF,+EAA+E;AAC/E,sFAAsF;AACtF,iFAAiF;AACjF,kFAAkF;AAClF,+EAA+E;AAC/E,EAAE;AACF,8BAA8B;AAC9B,6FAA6F;AAC7F,sFAAsF;AACtF,2EAA2E;AAC3E,kFAAkF;AAClF,yFAAyF;AACzF,sFAAsF;AACtF,oFAAoF;AACpF,uFAAuF;AACvF,2FAA2F;AAQ3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C,MAAM,IAAI,GAAG,kCAA2C,CAAC;AAEzD,8EAA8E;AAC9E,MAAM,UAAU,mBAAmB,CACjC,SAA4C,EAC5C,QAAsB;IAEtB,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,CAC5D,CAAC;IAEF,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEhD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAE9B,uDAAuD;QACvD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAChC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;YAC3C,gBAAgB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACpC,CAAC;QAED,iCAAiC;QACjC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CACT,GAAG,CAAC,mBAAmB,CAAC,oBAAoB,MAAM,6BAA6B,CAAC,CACjF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,uCAAuC;QACvC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAChC,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,mFAAmF;IACnF,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QAC/C,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;YACxC,mBAAmB,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,mBAAmB,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAEnD,+EAA+E;IAC/E,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;QACrC,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,GAAG,CAAC,MAAc;IACzB,OAAO,IAAI,cAAc,CAAC,kCAAkC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CACpB,SAAiB,EACjB,IAAe,EACf,UAA+B,EAC/B,MAAwB;IAExB,IAAI,IAAI,CAAC,SAAS,KAAK,mBAAmB;QAAE,OAAO,CAAC,2BAA2B;IAC/E,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,KAAK,mBAAmB;YAAE,SAAS,CAAC,iCAAiC;QAC5E,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC;QAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CACT,GAAG,CACD,4BAA4B,SAAS,iBAAiB,MAAM,6BAA6B,CAC1F,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,SAAS,gBAAgB,CACvB,SAAiB,EACjB,IAAe,EACf,MAAwB;IAExB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,SAAS,MAAM,KAAK,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC;QAClF,OAAO;IACT,CAAC;IACD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CACT,GAAG,CAAC,uBAAuB,SAAS,MAAM,KAAK,UAAU,GAAG,UAAU,GAAG,GAAG,CAAC,CAC9E,CAAC;QACF,OAAO;IACT,CAAC;IACD,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CACT,GAAG,CAAC,uBAAuB,SAAS,MAAM,KAAK,qBAAqB,GAAG,QAAQ,CAAC,CACjF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CACzB,SAAiB,EACjB,IAAe,EACf,UAA+B,EAC/B,MAAwB;IAExB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAC1B,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,gCAAgC;IACrD,IAAI,IAAI,CAAC,SAAS,KAAK,mBAAmB;QAAE,OAAO,CAAC,yBAAyB;IAE7E,gFAAgF;IAChF,+EAA+E;IAC/E,4DAA4D;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC;IACnE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,0DAA0D;IAE7F,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CACT,GAAG,CACD,oCAAoC,SAAS,MAAM,YAAY,CAAC,IAAI,CAAC,KAAK;YACxE,OAAO,GAAG,6BAA6B,IAAI,CAAC,SAAS,kBAAkB,CAC1E,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAC1B,QAAgB,EAChB,SAAiB,EACjB,YAAoB,EACpB,SAAiB,EACjB,QAAsB,EACtB,MAAwB;IAExB,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,CAAC,mCAAmC;IAExE,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,MAAM;QAAE,OAAO,CAAC,8BAA8B;IAElD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,gBAAgB,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAC3F,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CACT,GAAG,CACD,4BAA4B,QAAQ,oBAAoB,SAAS,SAAS;YACxE,IAAI,SAAS,oEAAoE,CACpF,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAC1B,SAA4C,EAC5C,UAAoB,EACpB,MAAwB;IAExB,+EAA+E;IAC/E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC;gBAAE,SAAS;YAClC,IAAI,IAAI,CAAC,SAAS,KAAK,mBAAmB;gBAAE,SAAS;YACrD,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,IAAI,GAAG,KAAK,mBAAmB;oBAAE,SAAS;gBAC1C,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACxB,CAAC;IAED,sFAAsF;IACtF,MAAM,KAAK,GAAG,CAAC,EACb,IAAI,GAAG,CAAC,EACR,KAAK,GAAG,CAAC,CAAC;IACZ,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACnC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,yCAAyC;YACzE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;YACnC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,6DAA6D;gBAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAClB,MAAM,CAAC,IAAI,CACT,GAAG,CACD,gDAAgD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CACnF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,CAAC;YACd,CAAC;QACH,CAAC;QACD,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,KAAK;YAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CACzB,IAAY,EACZ,OAAe,EACf,QAAsB,EACtB,UAA+B,EAC/B,MAAwB;IAExB,0DAA0D;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8C,CAAC;IACnE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,IAAI,OAAO,GAAuB,IAAI,CAAC;IACvC,IAAI,MAAM,GAAuB,OAAO,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,OAAO,OAAO,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACrD,MAAM,CAAC,GAAG,GAAG,OAAO,IAAI,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM;QACxB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACb,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACzC,CAAC;qBAAM,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC3C,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;oBAC9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACvB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAClB,MAAM,CAAC,IAAI,CACT,GAAG,CACD,wCAAwC,IAAI,CAAC,IAAI,mBAAmB;4BAClE,IAAI,KAAK,CAAC,IAAI,UAAU,CAAC,kDAAkD,CAC9E,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,sDAAsD;QACtD,IAAI,MAAM,KAAK,YAAY;YAAE,MAAM;QACnC,MAAM,OAAO,GAAG,GAAG,OAAO,IAAI,YAAY,EAAE,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,MAAM;QACpC,MAAM,GAAG,YAAY,CAAC;IACxB,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,aAAa,CAAC,CAAa,EAAE,CAAa;IACjD,OAAO,CACL,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS;QAC3B,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;QACzB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAE9E,SAAS,UAAU,CAAC,IAAe;IACjC,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;IAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,cAAc,CAAC,IAAe;IACrC,kFAAkF;IAClF,mFAAmF;IACnF,8EAA8E;IAC9E,kFAAkF;IAClF,iBAAiB;IACjB,OAAO,IAAI,CAAC,SAAS,KAAK,mBAAmB,CAAC;AAChD,CAAC;AAED,SAAS,YAAY,CAAC,IAAe;IACnC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC;QAC1C,CAAC,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;QACpC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;IACtB,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,MAAM,CAAC,GAAW,EAAE,QAAsB;IACjD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/core/attr/attr-constants.d.ts

@@ -5,8 +5,18 @@ export declare const ATTR_SUBTYPE_DOUBLE = "double";
 export declare const ATTR_SUBTYPE_BOOLEAN = "boolean";
 export declare const ATTR_SUBTYPE_CLASS = "class";
 export declare const ATTR_SUBTYPE_PROPERTIES = "properties";
-export declare const ATTR_SUBTYPE_STRINGARRAY = "stringarray";
 export declare const ATTR_SUBTYPE_FILTER = "filter";
-export declare const ATTR_SUBTYPES: readonly ["base", "string", "int", "long", "double", "boolean", "class", "properties", "stringarray", "filter"];
-export type AttrSubType = (typeof ATTR_SUBTYPES)[number];
+/**
+ * The retired `stringarray` array attr subtype. It is NO LONGER a registered
+ * `(attr, subType)` — array-ness is modeled as a `string` attr with the
+ * orthogonal `isArray` flag (matching Java's `StringAttribute + @isArray`), so
+ * `stringarray` never appears in the registry manifest. The constant survives
+ * ONLY as the key into the attr-class-map for the array-coercion class
+ * (`StringArrayAttr`, the bare-string → one-element-array coercion), which the
+ * loader resolves for any `isArray`-flagged attr. It is intentionally NOT in
+ * `ATTR_SUBTYPES`.
+ */
+export declare const ATTR_SUBTYPE_STRINGARRAY = "stringarray";
+export declare const ATTR_SUBTYPES: readonly ["base", "string", "int", "long", "double", "boolean", "class", "properties", "filter"];
+export type AttrSubType = (typeof ATTR_SUBTYPES)[number] | typeof ATTR_SUBTYPE_STRINGARRAY;
 //# sourceMappingURL=attr-constants.d.ts.map

package/dist/core/attr/attr-constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"attr-constants.d.ts","sourceRoot":"","sources":["../../../src/core/attr/attr-constants.ts"],"names":[],"mappings":"AAQA,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,gBAAgB,QAAQ,CAAC;AACtC,eAAO,MAAM,iBAAiB,SAAS,CAAC;AACxC,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAC1C,eAAO,MAAM,uBAAuB,eAAe,CAAC;AACpD,eAAO,MAAM,wBAAwB,gBAAgB,CAAC;AACtD,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAE5C,eAAO,MAAM,aAAa,iHAWhB,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC"}
+{"version":3,"file":"attr-constants.d.ts","sourceRoot":"","sources":["../../../src/core/attr/attr-constants.ts"],"names":[],"mappings":"AAQA,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,gBAAgB,QAAQ,CAAC;AACtC,eAAO,MAAM,iBAAiB,SAAS,CAAC;AACxC,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,oBAAoB,YAAY,CAAC;AAC9C,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAC1C,eAAO,MAAM,uBAAuB,eAAe,CAAC;AACpD,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAE5C;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,gBAAgB,CAAC;AAEtD,eAAO,MAAM,aAAa,kGAUhB,CAAC;AACX,MAAM,MAAM,WAAW,GACnB,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,GAC9B,OAAO,wBAAwB,CAAC"}

package/dist/core/attr/attr-constants.js

@@ -10,8 +10,18 @@ export const ATTR_SUBTYPE_DOUBLE = "double";
 export const ATTR_SUBTYPE_BOOLEAN = "boolean";
 export const ATTR_SUBTYPE_CLASS = "class";
 export const ATTR_SUBTYPE_PROPERTIES = "properties";
-export const ATTR_SUBTYPE_STRINGARRAY = "stringarray";
 export const ATTR_SUBTYPE_FILTER = "filter";
+/**
+ * The retired `stringarray` array attr subtype. It is NO LONGER a registered
+ * `(attr, subType)` — array-ness is modeled as a `string` attr with the
+ * orthogonal `isArray` flag (matching Java's `StringAttribute + @isArray`), so
+ * `stringarray` never appears in the registry manifest. The constant survives
+ * ONLY as the key into the attr-class-map for the array-coercion class
+ * (`StringArrayAttr`, the bare-string → one-element-array coercion), which the
+ * loader resolves for any `isArray`-flagged attr. It is intentionally NOT in
+ * `ATTR_SUBTYPES`.
+ */
+export const ATTR_SUBTYPE_STRINGARRAY = "stringarray";
 export const ATTR_SUBTYPES = [
     SUBTYPE_BASE,
     ATTR_SUBTYPE_STRING,
@@ -21,7 +31,6 @@ export const ATTR_SUBTYPES = [
     ATTR_SUBTYPE_BOOLEAN,
     ATTR_SUBTYPE_CLASS,
     ATTR_SUBTYPE_PROPERTIES,
-    ATTR_SUBTYPE_STRINGARRAY,
     ATTR_SUBTYPE_FILTER,
 ];
 //# sourceMappingURL=attr-constants.js.map

package/dist/core/attr/attr-constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"attr-constants.js","sourceRoot":"","sources":["../../../src/core/attr/attr-constants.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAEhE,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAC5C,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CAAC;AACtC,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACxC,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAC5C,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC;AAC9C,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAC1C,MAAM,CAAC,MAAM,uBAAuB,GAAG,YAAY,CAAC;AACpD,MAAM,CAAC,MAAM,wBAAwB,GAAG,aAAa,CAAC;AACtD,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAE5C,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,YAAY;IACZ,mBAAmB;IACnB,gBAAgB;IAChB,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;IACpB,kBAAkB;IAClB,uBAAuB;IACvB,wBAAwB;IACxB,mBAAmB;CACX,CAAC"}
+{"version":3,"file":"attr-constants.js","sourceRoot":"","sources":["../../../src/core/attr/attr-constants.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAEhE,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAC5C,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CAAC;AACtC,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACxC,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAC5C,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAS,CAAC;AAC9C,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAC1C,MAAM,CAAC,MAAM,uBAAuB,GAAG,YAAY,CAAC;AACpD,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAE5C;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,aAAa,CAAC;AAEtD,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,YAAY;IACZ,mBAAmB;IACnB,gBAAgB;IAChB,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;IACpB,kBAAkB;IAClB,uBAAuB;IACvB,mBAAmB;CACX,CAAC"}

package/dist/core/attr/attr-definition.embedded.d.ts

@@ -0,0 +1,3 @@
+import type { ProviderDefinition } from "../../provider-data.js";
+export declare const ATTR_DEFINITION: ProviderDefinition;
+//# sourceMappingURL=attr-definition.embedded.d.ts.map

package/dist/core/attr/attr-definition.embedded.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attr-definition.embedded.d.ts","sourceRoot":"","sources":["../../../src/core/attr/attr-definition.embedded.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,eAAO,MAAM,eAAe,EAAE,kBA0D7B,CAAC"}

package/dist/core/attr/attr-definition.embedded.js

@@ -0,0 +1,60 @@
+export const ATTR_DEFINITION = {
+    "provider": "metaobjects-core-types",
+    "types": [
+        {
+            "type": "attr",
+            "subType": "base",
+            "dataType": "string",
+            "description": "Abstract base attribute — the polymorphic/unconstrained value-type marker. Stores its value type-preserved (never stringified), accepting any type; used for an untyped attr (e.g. a field's @default, whose value-type follows the owning field's subtype)."
+        },
+        {
+            "type": "attr",
+            "subType": "string",
+            "dataType": "string",
+            "description": "A string-valued metadata attribute. Coerces to and validates as text; the default value-type for inline @-syntax attrs (array-of-string is the same subtype with isArray)."
+        },
+        {
+            "type": "attr",
+            "subType": "int",
+            "dataType": "int",
+            "description": "A 32-bit-integer-valued metadata attribute. Coerces to and validates as a number."
+        },
+        {
+            "type": "attr",
+            "subType": "long",
+            "dataType": "long",
+            "description": "A 64-bit-integer-valued metadata attribute. Coerces to and validates as a number."
+        },
+        {
+            "type": "attr",
+            "subType": "double",
+            "dataType": "double",
+            "description": "A double-precision floating-point-valued metadata attribute. Coerces to and validates as a number."
+        },
+        {
+            "type": "attr",
+            "subType": "boolean",
+            "dataType": "boolean",
+            "description": "A boolean-valued metadata attribute. Coerces to and validates as true/false."
+        },
+        {
+            "type": "attr",
+            "subType": "class",
+            "dataType": "string",
+            "description": "A class-/type-reference-valued metadata attribute. String-backed (a fully-qualified class or type name) used by binding facets."
+        },
+        {
+            "type": "attr",
+            "subType": "properties",
+            "dataType": "object",
+            "description": "A key/value map attribute (a bag of arbitrary author-supplied properties). Object-shaped value; the registered escape hatch for author-supplied properties (exempt from the strict-attr check, ADR-0023)."
+        },
+        {
+            "type": "attr",
+            "subType": "filter",
+            "dataType": "object",
+            "description": "A filter-expression-valued metadata attribute. Object-shaped value that desugars a preset filter to the canonical { field: { op: value } } form (scalar→eq, array→in, null→isNull; or/and recurse)."
+        }
+    ]
+};
+//# sourceMappingURL=attr-definition.embedded.js.map

package/dist/core/attr/attr-definition.embedded.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attr-definition.embedded.js","sourceRoot":"","sources":["../../../src/core/attr/attr-definition.embedded.ts"],"names":[],"mappings":"AAQA,MAAM,CAAC,MAAM,eAAe,GAAuB;IACjD,UAAU,EAAE,wBAAwB;IACpC,OAAO,EAAE;QACP;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,MAAM;YACjB,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,8PAA8P;SAC9Q;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,4KAA4K;SAC5L;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,KAAK;YAChB,UAAU,EAAE,KAAK;YACjB,aAAa,EAAE,mFAAmF;SACnG;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,MAAM;YACjB,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,mFAAmF;SACnG;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,oGAAoG;SACpH;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,SAAS;YACpB,UAAU,EAAE,SAAS;YACrB,aAAa,EAAE,8EAA8E;SAC9F;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,OAAO;YAClB,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,iIAAiI;SACjJ;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,YAAY;YACvB,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,2MAA2M;SAC3N;QACD;YACE,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,qMAAqM;SACrN;KACF;CACF,CAAC"}

package/dist/core/documentation/doc-constants.d.ts

@@ -1,11 +1,12 @@
 export declare const DOC_ATTR_DESCRIPTION = "description";
+export declare const DOC_ATTR_SUMMARY = "summary";
 export declare const DOC_ATTR_TITLE = "title";
 export declare const DOC_ATTR_NOTES = "notes";
 export declare const DOC_ATTR_DEPRECATED = "deprecated";
 export declare const DOC_ATTR_REPLACED_BY = "replacedBy";
 export declare const DOC_ATTR_SEE_ALSO = "seeAlso";
 export declare const DOC_ATTR_ALIASES = "aliases";
-/** All 7 documentation common-attr names in declaration order. */
-export declare const DOC_ATTR_NAMES: readonly ["description", "title", "notes", "deprecated", "replacedBy", "seeAlso", "aliases"];
+/** All 8 documentation common-attr names in declaration order. */
+export declare const DOC_ATTR_NAMES: readonly ["description", "summary", "title", "notes", "deprecated", "replacedBy", "seeAlso", "aliases"];
 export type DocAttrName = (typeof DOC_ATTR_NAMES)[number];
 //# sourceMappingURL=doc-constants.d.ts.map

package/dist/core/documentation/doc-constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"doc-constants.d.ts","sourceRoot":"","sources":["../../../src/core/documentation/doc-constants.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB,gBAAgB,CAAC;AAClD,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,mBAAmB,eAAe,CAAC;AAChD,eAAO,MAAM,oBAAoB,eAAe,CAAC;AACjD,eAAO,MAAM,iBAAiB,YAAY,CAAC;AAC3C,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAE1C,kEAAkE;AAClE,eAAO,MAAM,cAAc,8FAQjB,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC"}
+{"version":3,"file":"doc-constants.d.ts","sourceRoot":"","sources":["../../../src/core/documentation/doc-constants.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB,gBAAgB,CAAC;AAClD,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAC1C,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,mBAAmB,eAAe,CAAC;AAChD,eAAO,MAAM,oBAAoB,eAAe,CAAC;AACjD,eAAO,MAAM,iBAAiB,YAAY,CAAC;AAC3C,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAE1C,kEAAkE;AAClE,eAAO,MAAM,cAAc,yGASjB,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC"}

package/dist/core/documentation/doc-constants.js

@@ -1,15 +1,17 @@
 // Documentation common-attr constants. Bare names — the @-prefix is added by
 // the serializer per ADR-0006.
 export const DOC_ATTR_DESCRIPTION = "description";
+export const DOC_ATTR_SUMMARY = "summary";
 export const DOC_ATTR_TITLE = "title";
 export const DOC_ATTR_NOTES = "notes";
 export const DOC_ATTR_DEPRECATED = "deprecated";
 export const DOC_ATTR_REPLACED_BY = "replacedBy";
 export const DOC_ATTR_SEE_ALSO = "seeAlso";
 export const DOC_ATTR_ALIASES = "aliases";
-/** All 7 documentation common-attr names in declaration order. */
+/** All 8 documentation common-attr names in declaration order. */
 export const DOC_ATTR_NAMES = [
     DOC_ATTR_DESCRIPTION,
+    DOC_ATTR_SUMMARY,
     DOC_ATTR_TITLE,
     DOC_ATTR_NOTES,
     DOC_ATTR_DEPRECATED,

package/dist/core/documentation/doc-constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"doc-constants.js","sourceRoot":"","sources":["../../../src/core/documentation/doc-constants.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,+BAA+B;AAE/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,aAAa,CAAC;AAClD,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AACtC,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AACtC,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,YAAY,CAAC;AACjD,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAS,CAAC;AAC3C,MAAM,CAAC,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAE1C,kEAAkE;AAClE,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,oBAAoB;IACpB,cAAc;IACd,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC"}
+{"version":3,"file":"doc-constants.js","sourceRoot":"","sources":["../../../src/core/documentation/doc-constants.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,+BAA+B;AAE/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,aAAa,CAAC;AAClD,MAAM,CAAC,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAC1C,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AACtC,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AACtC,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,YAAY,CAAC;AACjD,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAS,CAAC;AAC3C,MAAM,CAAC,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAE1C,kEAAkE;AAClE,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,oBAAoB;IACpB,gBAAgB;IAChB,cAAc;IACd,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC"}

package/dist/core/documentation/doc-provider.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"doc-provider.d.ts","sourceRoot":"","sources":["../../../src/core/documentation/doc-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAI9D,eAAO,MAAM,WAAW,EAAE,oBAOzB,CAAC"}
+{"version":3,"file":"doc-provider.d.ts","sourceRoot":"","sources":["../../../src/core/documentation/doc-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAK9D,eAAO,MAAM,WAAW,EAAE,oBAUzB,CAAC"}

package/dist/core/documentation/doc-provider.js

@@ -1,10 +1,14 @@
-import { commonDocAttrs } from "./doc-schema.js";
+import { applyProviderDefinition } from "../../provider-data.js";
+import { DOCUMENTATION_DEFINITION } from "./documentation-definition.embedded.js";
 export const docProvider = {
     id: "metaobjects-documentation",
     dependencies: ["metaobjects-core-types"],
     description: "Universal documentation common attrs (description / title / notes / deprecated / replacedBy / seeAlso / aliases) accepted on every metatype.",
     registerTypes(registry) {
-        registry.registerCommonAttrs(commonDocAttrs);
+        // FR-033 — the unified apply path: documentation's universal `*.*` entry
+        // carries the doc attrs, which `applyProviderDefinition` routes to
+        // `registry.registerCommonAttrs(...)`. No documentation-specific helper.
+        applyProviderDefinition(registry, DOCUMENTATION_DEFINITION, {});
     },
 };
 //# sourceMappingURL=doc-provider.js.map

package/dist/core/documentation/doc-provider.js.map

@@ -1 +1 @@
-{"version":3,"file":"doc-provider.js","sourceRoot":"","sources":["../../../src/core/documentation/doc-provider.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,CAAC,MAAM,WAAW,GAAyB;IAC/C,EAAE,EAAE,2BAA2B;IAC/B,YAAY,EAAE,CAAC,wBAAwB,CAAC;IACxC,WAAW,EAAE,8IAA8I;IAC3J,aAAa,CAAC,QAAsB;QAClC,QAAQ,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;IAC/C,CAAC;CACF,CAAC"}
+{"version":3,"file":"doc-provider.js","sourceRoot":"","sources":["../../../src/core/documentation/doc-provider.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAElF,MAAM,CAAC,MAAM,WAAW,GAAyB;IAC/C,EAAE,EAAE,2BAA2B;IAC/B,YAAY,EAAE,CAAC,wBAAwB,CAAC;IACxC,WAAW,EAAE,8IAA8I;IAC3J,aAAa,CAAC,QAAsB;QAClC,yEAAyE;QACzE,mEAAmE;QACnE,yEAAyE;QACzE,uBAAuB,CAAC,QAAQ,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC;IAClE,CAAC;CACF,CAAC"}

package/dist/core/documentation/doc-schema.d.ts

@@ -1,6 +1,6 @@
 import { type AttrSchema } from "../../registry.js";
 /**
- * The 7 universal documentation common attrs. Registered via the
+ * The 8 universal documentation common attrs. Registered via the
  * registry.registerCommonAttrs() hook by the documentation provider.
  * Per ADR-0006, attr names are bare here; the serializer prefixes with @.
  */

package/dist/core/documentation/doc-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"doc-schema.d.ts","sourceRoot":"","sources":["../../../src/core/documentation/doc-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAepD;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,UAAU,EA2CtC,CAAC"}
+{"version":3,"file":"doc-schema.d.ts","sourceRoot":"","sources":["../../../src/core/documentation/doc-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAapD;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,UAAU,EAmDtC,CAAC"}

package/dist/core/documentation/doc-schema.js

@@ -1,8 +1,8 @@
 import {} from "../../registry.js";
-import { ATTR_SUBTYPE_STRING, ATTR_SUBTYPE_STRINGARRAY, } from "../attr/attr-constants.js";
-import { DOC_ATTR_ALIASES, DOC_ATTR_DEPRECATED, DOC_ATTR_DESCRIPTION, DOC_ATTR_NOTES, DOC_ATTR_REPLACED_BY, DOC_ATTR_SEE_ALSO, DOC_ATTR_TITLE, } from "./doc-constants.js";
+import { ATTR_SUBTYPE_STRING } from "../attr/attr-constants.js";
+import { DOC_ATTR_ALIASES, DOC_ATTR_DEPRECATED, DOC_ATTR_DESCRIPTION, DOC_ATTR_NOTES, DOC_ATTR_REPLACED_BY, DOC_ATTR_SEE_ALSO, DOC_ATTR_SUMMARY, DOC_ATTR_TITLE, } from "./doc-constants.js";
 /**
- * The 7 universal documentation common attrs. Registered via the
+ * The 8 universal documentation common attrs. Registered via the
  * registry.registerCommonAttrs() hook by the documentation provider.
  * Per ADR-0006, attr names are bare here; the serializer prefixes with @.
  */
@@ -13,6 +13,12 @@ export const commonDocAttrs = [
         required: false,
         description: "Free-form user-facing prose. Markdown allowed, multi-line via YAML '|' block scalar. Flows into doc-gen surfaces (JSDoc / XML-doc / Postgres COMMENT / Mermaid prose).",
     },
+    {
+        name: DOC_ATTR_SUMMARY,
+        valueType: ATTR_SUBTYPE_STRING,
+        required: false,
+        description: "Short single-line tagline (OpenAPI `summary` pattern) — used in index tables, sidebar previews, and AI prompts where the full @description is too long. Optional supplement to @description; when @summary is unset, doc surfaces typically fall back to the first sentence of @description.",
+    },
     {
         name: DOC_ATTR_TITLE,
         valueType: ATTR_SUBTYPE_STRING,
@@ -39,13 +45,15 @@ export const commonDocAttrs = [
     },
     {
         name: DOC_ATTR_SEE_ALSO,
-        valueType: ATTR_SUBTYPE_STRINGARRAY,
+        valueType: ATTR_SUBTYPE_STRING,
+        isArray: true,
         required: false,
         description: "External documentation URLs. Codegen emits @see / <seealso href=...>.",
     },
     {
         name: DOC_ATTR_ALIASES,
-        valueType: ATTR_SUBTYPE_STRINGARRAY,
+        valueType: ATTR_SUBTYPE_STRING,
+        isArray: true,
         required: false,
         description: "Alternate names for this element. Aids AI authoring disambiguation, search, migration.",
     },

package/dist/core/documentation/doc-schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"doc-schema.js","sourceRoot":"","sources":["../../../src/core/documentation/doc-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,cAAc,GACf,MAAM,oBAAoB,CAAC;AAE5B;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAiB;IAC1C;QACE,IAAI,EAAE,oBAAoB;QAC1B,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,wKAAwK;KACtL;IACD;QACE,IAAI,EAAE,cAAc;QACpB,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,8GAA8G;KAC5H;IACD;QACE,IAAI,EAAE,cAAc;QACpB,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,gFAAgF;KAC9F;IACD;QACE,IAAI,EAAE,mBAAmB;QACzB,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,8GAA8G;KAC5H;IACD;QACE,IAAI,EAAE,oBAAoB;QAC1B,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,2IAA2I;KACzJ;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,SAAS,EAAE,wBAAwB;QACnC,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,uEAAuE;KACrF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,wBAAwB;QACnC,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,wFAAwF;KACtG;CACF,CAAC"}
+{"version":3,"file":"doc-schema.js","sourceRoot":"","sources":["../../../src/core/documentation/doc-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,GACf,MAAM,oBAAoB,CAAC;AAE5B;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAiB;IAC1C;QACE,IAAI,EAAE,oBAAoB;QAC1B,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,wKAAwK;KACtL;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,8RAA8R;KAC5S;IACD;QACE,IAAI,EAAE,cAAc;QACpB,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,8GAA8G;KAC5H;IACD;QACE,IAAI,EAAE,cAAc;QACpB,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,gFAAgF;KAC9F;IACD;QACE,IAAI,EAAE,mBAAmB;QACzB,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,8GAA8G;KAC5H;IACD;QACE,IAAI,EAAE,oBAAoB;QAC1B,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,2IAA2I;KACzJ;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,SAAS,EAAE,mBAAmB;QAC9B,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,uEAAuE;KACrF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,mBAAmB;QAC9B,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,wFAAwF;KACtG;CACF,CAAC"}

package/dist/core/documentation/documentation-definition.embedded.d.ts

@@ -0,0 +1,3 @@
+import type { ProviderDefinition } from "../../provider-data.js";
+export declare const DOCUMENTATION_DEFINITION: ProviderDefinition;
+//# sourceMappingURL=documentation-definition.embedded.d.ts.map

package/dist/core/documentation/documentation-definition.embedded.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentation-definition.embedded.d.ts","sourceRoot":"","sources":["../../../src/core/documentation/documentation-definition.embedded.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,eAAO,MAAM,wBAAwB,EAAE,kBA6EtC,CAAC"}