@metaobjectsdev/metadata 0.9.0 → 0.11.0-rc.1

package/dist/attr-schema-validate.d.ts

@@ -5,5 +5,5 @@ export interface AttrSchemaValidationResult {
     errors: ParseError[];
     warnings: string[];
 }
-export declare function validateAttrSchema(root: MetaData, registry: TypeRegistry): AttrSchemaValidationResult;
+export declare function validateAttrSchema(root: MetaData, registry: TypeRegistry, strict?: boolean): AttrSchemaValidationResult;
 //# sourceMappingURL=attr-schema-validate.d.ts.map

package/dist/attr-schema-validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"attr-schema-validate.d.ts","sourceRoot":"","sources":["../src/attr-schema-validate.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAc,YAAY,EAAE,MAAM,eAAe,CAAC;AAgB9D,MAAM,WAAW,0BAA0B;IACzC,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAMD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,QAAQ,EACd,QAAQ,EAAE,YAAY,GACrB,0BAA0B,CAQ5B"}
+{"version":3,"file":"attr-schema-validate.d.ts","sourceRoot":"","sources":["../src/attr-schema-validate.ts"],"names":[],"mappings":"AA2CA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAc,YAAY,EAAE,MAAM,eAAe,CAAC;AAkB9D,MAAM,WAAW,0BAA0B;IACzC,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAMD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,QAAQ,EACd,QAAQ,EAAE,YAAY,EAKtB,MAAM,UAAQ,GACb,0BAA0B,CAQ5B"}

package/dist/attr-schema-validate.js

@@ -12,7 +12,21 @@
 //                                      MetaAttr instance's own validateValue.
 //   3. allowedValues honored        — declared attrs with a non-empty
 //                                      allowedValues set must hold a member value.
-//   4. Undeclared attrs             — NOT an error, NOT a warning (open policy).
+//   4. Undeclared attrs             — under strict load (ADR-0023) an own
+//                                      @-attr that matches NO per-type attr
+//                                      schema AND NO commonAttr is an
+//                                      ERR_UNKNOWN_ATTR. In lax mode (strict
+//                                      false) it stays the legacy open policy:
+//                                      NOT an error, NOT a warning. Own-only,
+//                                      so an inherited/overlaid declared attr
+//                                      (validated on its declaring node) is fine.
+//   5. Structural-child placement    — FR-033: under strict load a STRUCTURAL
+//      (Check 0b)                       child (field/identity/source/… — not an
+//                                      attr) not admitted by the parent's
+//                                      registered childRules is ERR_CHILD_NOT_
+//                                      ALLOWED (the structural analogue of #4). A
+//                                      no-op under today's wildcard childRules —
+//                                      the rail strict per-subtype rules use in S1.
 //
 // `default` values are NOT auto-applied — A3 is pure validation, not mutation.
 //
@@ -27,25 +41,32 @@
 // Modeled on src/subtype-rules.ts: a recursive walk producing an
 // { errors, warnings } result. All A3 findings are ERRORS; warnings stays [].
 import { ParseError } from "./errors.js";
+import { childRuleMatches } from "./registry.js";
 import { TYPE_FIELD } from "./shared/base-types.js";
+import { ATTR_SUBTYPE_PROPERTIES } from "./core/attr/attr-constants.js";
 import { FIELD_SUBTYPE_ENUM, FIELD_ATTR_VALUES, FIELD_ATTR_COERCE_DEFAULT, FIELD_ATTR_DEFAULT, ENUM_MEMBER_PATTERN, } from "./core/field/field-constants.js";
 import { FIELD_ATTR_DB_COLUMN_TYPE, DB_COLUMN_TYPE_VALUES, DB_COLUMN_TYPE_LEGAL_SUBTYPES, } from "./persistence/db/db-constants.js";
 // ---------------------------------------------------------------------------
 // Public entry point
 // ---------------------------------------------------------------------------
-export function validateAttrSchema(root, registry) {
+export function validateAttrSchema(root, registry, 
+// ADR-0023 — strict load closes the open-attr policy: an own @-attr matching
+// no per-type schema and no commonAttr → ERR_UNKNOWN_ATTR. Defaults false so
+// existing lax callers keep the legacy open policy; the library's own loader
+// (and the conformance runner) load strict.
+strict = false) {
     const errors = [];
     // Tracks (type.subType) pairs for which ERR_PROVIDER_ATTR_CONFLICT has already
     // been emitted. The conflict is a registry-state condition, not a per-node
     // condition — emit it once per (type, subType), not once per node instance.
     const reportedConflicts = new Set();
-    walk(root, registry, errors, reportedConflicts);
+    walk(root, registry, errors, reportedConflicts, strict);
     return { errors, warnings: [] };
 }
-function walk(node, registry, errors, reportedConflicts) {
-    validateNode(node, registry, errors, reportedConflicts);
+function walk(node, registry, errors, reportedConflicts, strict) {
+    validateNode(node, registry, errors, reportedConflicts, strict);
     for (const child of node.ownChildren()) {
-        walk(child, registry, errors, reportedConflicts);
+        walk(child, registry, errors, reportedConflicts, strict);
     }
 }
 /** A node label for error messages, e.g. `origin.aggregate 'weekCount'`. */
@@ -53,7 +74,7 @@ function nodeLabel(node) {
     const head = `${node.type}.${node.subType}`;
     return node.name !== "" ? `${head} '${node.name}'` : head;
 }
-function validateNode(node, registry, errors, reportedConflicts) {
+function validateNode(node, registry, errors, reportedConflicts, strict) {
     // Build the effective schema in a single pass: per-type attrs win on name
     // collision; common attrs fill in for unclaimed names. Surface common-vs-per-type
     // collisions in the same pass — a name in both lists means a provider tried to
@@ -75,6 +96,62 @@ function validateNode(node, registry, errors, reportedConflicts) {
         }
         byName.set(ca.name, ca);
     }
+    // --- Check 0 (ADR-0023): strict-load undeclared-attr rejection ---
+    //
+    // Runs BEFORE the byName.size early-return: a node type with no per-type
+    // schema and no common attrs (byName empty) must still reject an authored
+    // @-attr under strict. Own-attrs only — an inherited/overlaid declared attr
+    // was validated on its declaring node and never appears in ownMetaAttrs().
+    // An own attr matching neither a per-type schema entry nor a commonAttr is
+    // a made-up attribute → ERR_UNKNOWN_ATTR (closing the open policy). In lax
+    // mode this stays a no-op (legacy open-attr behavior).
+    if (strict) {
+        for (const inst of node.ownMetaAttrs()) {
+            // attr.properties is a first-class, registered, canonical attr subtype
+            // whose designed purpose is an arbitrary-named structural property bag
+            // (its NAME is intentionally not declared by any per-type schema). It is
+            // sanctioned vocabulary, not a made-up attribute, so strict-attr exempts
+            // a materialized properties-attr from ERR_UNKNOWN_ATTR. (A typo'd plain
+            // @-attr still fails — only the `properties` subtype is exempt.)
+            if (inst.subType === ATTR_SUBTYPE_PROPERTIES)
+                continue;
+            if (!byName.has(inst.name)) {
+                errors.push(new ParseError(`Unknown attribute '@${inst.name}' on ${nodeLabel(node)} — ` +
+                    `not declared by any registered provider for ${typeKey}`, { code: "ERR_UNKNOWN_ATTR", source: node.source }));
+            }
+        }
+    }
+    // --- Check 0b (FR-033): strict-load structural-child placement ---
+    //
+    // The structural analogue of Check 0. A STRUCTURAL child (field/identity/
+    // source/validator/… — attrs never appear in ownChildren()) must be admitted
+    // by the parent's registered childRules under the same wildcard match
+    // semantics used everywhere (childType/childSubType/childName may be "*", and
+    // childSubType may be a list). A child the rules do not admit → ERR_CHILD_NOT_
+    // ALLOWED. A NO-OP today: every parent carries wildcard structural childRules
+    // (e.g. field.* / validator.*) that admit everything — the rail strict
+    // per-subtype rules will use in S1. Lax mode keeps the legacy open policy.
+    //
+    // An UNREGISTERED parent (no def) cannot be judged here (ERR_UNKNOWN_TYPE /
+    // ERR_UNKNOWN_SUBTYPE is reported elsewhere); skip so we never double-report.
+    if (strict) {
+        const parentDef = registry.find(node.type, node.subType);
+        if (parentDef !== undefined) {
+            const rules = parentDef.childRules;
+            for (const child of node.ownChildren()) {
+                const admitted = rules.some((r) => childRuleMatches(r, {
+                    type: child.type,
+                    subType: child.subType,
+                    name: child.name,
+                }));
+                if (!admitted) {
+                    errors.push(new ParseError(`Child ${nodeLabel(child)} is not allowed under ${nodeLabel(node)} — ` +
+                        `no registered child rule for ${typeKey} admits ` +
+                        `(type='${child.type}', subType='${child.subType}', name='${child.name}')`, { code: "ERR_CHILD_NOT_ALLOWED", source: node.source }));
+                }
+            }
+        }
+    }
     if (byName.size === 0)
         return;
     // --- Check 1: required attrs present ---
@@ -110,12 +187,20 @@ function validateNode(node, registry, errors, reportedConflicts) {
                 continue; // type wrong → skip allowedValues
             }
         }
-        // Check 3: allowedValues membership (unchanged).
+        // Check 3: allowedValues membership. For an isArray attr the value is an array,
+        // so each ELEMENT must be a member (not the array as a whole); a scalar attr
+        // checks the value directly.
         if (spec.allowedValues !== undefined && spec.allowedValues.length > 0) {
-            if (!spec.allowedValues.includes(value)) {
+            const allowed = spec.allowedValues;
+            const offenders = Array.isArray(value)
+                ? value.filter((v) => !allowed.includes(v))
+                : allowed.includes(value)
+                    ? []
+                    : [value];
+            for (const bad of offenders) {
                 errors.push(new ParseError(`${nodeLabel(node)} attribute '@${inst.name}' has value ` +
-                    `'${String(value)}' which is not one of the allowed values: ` +
-                    `${spec.allowedValues.map((v) => String(v)).join(", ")}`, { code: "ERR_BAD_ATTR_VALUE", source: node.source }));
+                    `'${String(bad)}' which is not one of the allowed values: ` +
+                    `${allowed.map((v) => String(v)).join(", ")}`, { code: "ERR_BAD_ATTR_VALUE", source: node.source }));
             }
         }
     }

package/dist/attr-schema-validate.js.map

@@ -1 +1 @@
-{"version":3,"file":"attr-schema-validate.js","sourceRoot":"","sources":["../src/attr-schema-validate.ts"],"names":[],"mappings":"AAAA,+CAA+C;AAC/C,EAAE;AACF,+EAA+E;AAC/E,+DAA+D;AAC/D,sEAAsE;AACtE,oCAAoC;AACpC,EAAE;AACF,+EAA+E;AAC/E,yEAAyE;AACzE,iFAAiF;AACjF,0EAA0E;AAC1E,8EAA8E;AAC9E,sEAAsE;AACtE,mFAAmF;AACnF,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,EAAE;AACF,4EAA4E;AAC5E,yEAAyE;AACzE,4EAA4E;AAC5E,yEAAyE;AACzE,0EAA0E;AAC1E,wEAAwE;AACxE,uBAAuB;AACvB,EAAE;AACF,iEAAiE;AACjE,8EAA8E;AAG9E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,6BAA6B,GAE9B,MAAM,kCAAkC,CAAC;AAO1C,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,UAAU,kBAAkB,CAChC,IAAc,EACd,QAAsB;IAEtB,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,+EAA+E;IAC/E,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAChD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,IAAI,CACX,IAAc,EACd,QAAsB,EACtB,MAAoB,EACpB,iBAA8B;IAE9B,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACxD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,SAAS,CAAC,IAAc;IAC/B,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,YAAY,CACnB,IAAc,EACd,QAAsB,EACtB,MAAoB,EACpB,iBAA8B;IAE9B,0EAA0E;IAC1E,kFAAkF;IAClF,+EAA+E;IAC/E,8EAA8E;IAC9E,uEAAuE;IACvE,6EAA6E;IAC7E,uFAAuF;IACvF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAE1F,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,gBAAgB,EAAE,CAAC,IAAI,qCAAqC,OAAO,EAAE,EACrE,EAAE,IAAI,EAAE,4BAA4B,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAC5D,CACF,CAAC;gBACF,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjC,CAAC;YACD,SAAS,CAAC,gBAAgB;QAC5B,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAE9B,0CAA0C;IAC1C,EAAE;IACF,oEAAoE;IACpE,+EAA+E;IAC/E,+EAA+E;IAC/E,gFAAgF;IAChF,8EAA8E;IAC9E,8EAA8E;IAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,oCAAoC,IAAI,CAAC,IAAI,GAAG,EAClE,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAC3D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,yCAAyC;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAElC,yEAAyE;QACzE,sEAAsE;QACtE,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;oBAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBACvH,CAAC;gBACD,SAAS,CAAC,kCAAkC;YAC9C,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,cAAc;oBACvD,IAAI,MAAM,CAAC,KAAK,CAAC,4CAA4C;oBAC7D,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC1D,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,2EAA2E;IAC3E,4EAA4E;IAC5E,4EAA4E;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,kBAAkB,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACzD,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,yCAAyC,iBAAiB,IAAI,EAChF,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,wEAAwE;gBACxE,qEAAqE;gBACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;gBAC/B,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;oBAC/B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;wBACtC,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,iBAAiB,aAAa,MAAM,IAAI;4BACxE,yCAAyC,mBAAmB,CAAC,MAAM,KAAK;4BACxE,+EAA+E,EACjF,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;oBACJ,CAAC;yBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5B,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,iBAAiB,2BAA2B,MAAM,IAAI,EACxF,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,EAAE;QACF,iFAAiF;QACjF,2EAA2E;QAC3E,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,4DAA4D;QAC5D,EAAE;QACF,2EAA2E;QAC3E,gFAAgF;QAChF,6EAA6E;QAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,kBAAkB,EAAE,CAAC;YACpE,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;YAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;YAEtE,KAAK,MAAM,QAAQ,IAAI,CAAC,yBAAyB,EAAE,kBAAkB,CAAC,EAAE,CAAC;gBACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC/C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChE,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,QAAQ,UAAU;wBAClD,IAAI,QAAQ,qBAAqB,iBAAiB,KAAK;wBACvD,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC1B,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,EAAE;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,8EAA8E;IAC9E,gFAAgF;IAChF,6EAA6E;IAC7E,6EAA6E;IAC7E,qEAAqE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAChE,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,MAAM,aAAa,GAAI,qBAA2C,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACnF,CAAC,CAAC,6BAA6B,CAAC,QAA6B,CAAC;gBAC9D,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzE,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,yBAAyB,UAAU;oBACnE,IAAI,QAAQ,2BAA2B,IAAI,CAAC,OAAO,IAAI;oBACvD,UAAU,yBAAyB,aAAa;oBAChD,GAAG,qBAAqB,CAAC,GAAG,CAC1B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,6BAA6B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAC1E,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACjB,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"attr-schema-validate.js","sourceRoot":"","sources":["../src/attr-schema-validate.ts"],"names":[],"mappings":"AAAA,+CAA+C;AAC/C,EAAE;AACF,+EAA+E;AAC/E,+DAA+D;AAC/D,sEAAsE;AACtE,oCAAoC;AACpC,EAAE;AACF,+EAA+E;AAC/E,yEAAyE;AACzE,iFAAiF;AACjF,0EAA0E;AAC1E,8EAA8E;AAC9E,sEAAsE;AACtE,mFAAmF;AACnF,0EAA0E;AAC1E,4EAA4E;AAC5E,sEAAsE;AACtE,6EAA6E;AAC7E,+EAA+E;AAC/E,8EAA8E;AAC9E,8EAA8E;AAC9E,kFAAkF;AAClF,8EAA8E;AAC9E,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,kFAAkF;AAClF,iFAAiF;AACjF,oFAAoF;AACpF,EAAE;AACF,+EAA+E;AAC/E,EAAE;AACF,4EAA4E;AAC5E,yEAAyE;AACzE,4EAA4E;AAC5E,yEAAyE;AACzE,0EAA0E;AAC1E,wEAAwE;AACxE,uBAAuB;AACvB,EAAE;AACF,iEAAiE;AACjE,8EAA8E;AAG9E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,6BAA6B,GAE9B,MAAM,kCAAkC,CAAC;AAO1C,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,UAAU,kBAAkB,CAChC,IAAc,EACd,QAAsB;AACtB,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,4CAA4C;AAC5C,MAAM,GAAG,KAAK;IAEd,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,+EAA+E;IAC/E,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;IACxD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,IAAI,CACX,IAAc,EACd,QAAsB,EACtB,MAAoB,EACpB,iBAA8B,EAC9B,MAAe;IAEf,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAChE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,SAAS,CAAC,IAAc;IAC/B,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,YAAY,CACnB,IAAc,EACd,QAAsB,EACtB,MAAoB,EACpB,iBAA8B,EAC9B,MAAe;IAEf,0EAA0E;IAC1E,kFAAkF;IAClF,+EAA+E;IAC/E,8EAA8E;IAC9E,uEAAuE;IACvE,6EAA6E;IAC7E,uFAAuF;IACvF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAE1F,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,gBAAgB,EAAE,CAAC,IAAI,qCAAqC,OAAO,EAAE,EACrE,EAAE,IAAI,EAAE,4BAA4B,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAC5D,CACF,CAAC;gBACF,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjC,CAAC;YACD,SAAS,CAAC,gBAAgB;QAC5B,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED,oEAAoE;IACpE,EAAE;IACF,yEAAyE;IACzE,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,2EAA2E;IAC3E,uDAAuD;IACvD,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACvC,uEAAuE;YACvE,uEAAuE;YACvE,yEAAyE;YACzE,yEAAyE;YACzE,wEAAwE;YACxE,iEAAiE;YACjE,IAAI,IAAI,CAAC,OAAO,KAAK,uBAAuB;gBAAE,SAAS;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,uBAAuB,IAAI,CAAC,IAAI,QAAQ,SAAS,CAAC,IAAI,CAAC,KAAK;oBAC1D,+CAA+C,OAAO,EAAE,EAC1D,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAClD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,EAAE;IACF,0EAA0E;IAC1E,6EAA6E;IAC7E,sEAAsE;IACtE,8EAA8E;IAC9E,+EAA+E;IAC/E,8EAA8E;IAC9E,uEAAuE;IACvE,2EAA2E;IAC3E,EAAE;IACF,4EAA4E;IAC5E,8EAA8E;IAC9E,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,gBAAgB,CAAC,CAAC,EAAE;oBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CACH,CAAC;gBACF,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,SAAS,SAAS,CAAC,KAAK,CAAC,yBAAyB,SAAS,CAAC,IAAI,CAAC,KAAK;wBACpE,gCAAgC,OAAO,UAAU;wBACjD,UAAU,KAAK,CAAC,IAAI,eAAe,KAAK,CAAC,OAAO,YAAY,KAAK,CAAC,IAAI,IAAI,EAC5E,EAAE,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACvD,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAE9B,0CAA0C;IAC1C,EAAE;IACF,oEAAoE;IACpE,+EAA+E;IAC/E,+EAA+E;IAC/E,gFAAgF;IAChF,8EAA8E;IAC9E,8EAA8E;IAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,oCAAoC,IAAI,CAAC,IAAI,GAAG,EAClE,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAC3D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,yCAAyC;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAElC,yEAAyE;QACzE,sEAAsE;QACtE,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;oBAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBACvH,CAAC;gBACD,SAAS,CAAC,kCAAkC;YAC9C,CAAC;QACH,CAAC;QAED,gFAAgF;QAChF,6EAA6E;QAC7E,6BAA6B;QAC7B,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC;YACnC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACpC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC3C,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;oBACvB,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACd,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,cAAc;oBACvD,IAAI,MAAM,CAAC,GAAG,CAAC,4CAA4C;oBAC3D,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC/C,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,2EAA2E;IAC3E,4EAA4E;IAC5E,4EAA4E;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,kBAAkB,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACzD,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,yCAAyC,iBAAiB,IAAI,EAChF,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,wEAAwE;gBACxE,qEAAqE;gBACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;gBAC/B,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;oBAC/B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;wBACtC,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,iBAAiB,aAAa,MAAM,IAAI;4BACxE,yCAAyC,mBAAmB,CAAC,MAAM,KAAK;4BACxE,+EAA+E,EACjF,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;oBACJ,CAAC;yBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5B,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,iBAAiB,2BAA2B,MAAM,IAAI,EACxF,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,EAAE;QACF,iFAAiF;QACjF,2EAA2E;QAC3E,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,4DAA4D;QAC5D,EAAE;QACF,2EAA2E;QAC3E,gFAAgF;QAChF,6EAA6E;QAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,kBAAkB,EAAE,CAAC;YACpE,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;YAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;YAEtE,KAAK,MAAM,QAAQ,IAAI,CAAC,yBAAyB,EAAE,kBAAkB,CAAC,EAAE,CAAC;gBACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC/C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChE,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,QAAQ,UAAU;wBAClD,IAAI,QAAQ,qBAAqB,iBAAiB,KAAK;wBACvD,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC1B,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,EAAE;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,8EAA8E;IAC9E,gFAAgF;IAChF,6EAA6E;IAC7E,6EAA6E;IAC7E,qEAAqE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAChE,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,MAAM,aAAa,GAAI,qBAA2C,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACnF,CAAC,CAAC,6BAA6B,CAAC,QAA6B,CAAC;gBAC9D,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzE,MAAM,CAAC,IAAI,CACT,IAAI,UAAU,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,yBAAyB,UAAU;oBACnE,IAAI,QAAQ,2BAA2B,IAAI,CAAC,OAAO,IAAI;oBACvD,UAAU,yBAAyB,aAAa;oBAChD,GAAG,qBAAqB,CAAC,GAAG,CAC1B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,6BAA6B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAC1E,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACjB,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/constraint-merge.d.ts

@@ -0,0 +1,18 @@
+import type { AttrSchema, ChildRule, TypeRegistry } from "./registry.js";
+/** The merged, effective constraints for one `type.subType`. */
+export interface EffectiveConstraints {
+    /** Effective structural children (own ∪ inherited ∪ child-side `parents` claims). */
+    children: ChildRule[];
+    /** Effective parents (own `parents` ∪ inherited). */
+    parents: string[];
+    /** Effective attributes (own ∪ inherited). */
+    attributes: AttrSchema[];
+}
+/**
+ * Compute the effective constraint set for every registered `type.subType`.
+ *
+ * Returns a Map keyed by `"type.subType"`, with keys in sorted order (Map
+ * preserves insertion order; we insert sorted) so the result is deterministic.
+ */
+export declare function mergeConstraints(registry: TypeRegistry): Map<string, EffectiveConstraints>;
+//# sourceMappingURL=constraint-merge.d.ts.map

package/dist/constraint-merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-merge.d.ts","sourceRoot":"","sources":["../src/constraint-merge.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAGzE,gEAAgE;AAChE,MAAM,WAAW,oBAAoB;IACnC,qFAAqF;IACrF,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,qDAAqD;IACrD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,8CAA8C;IAC9C,UAAU,EAAE,UAAU,EAAE,CAAC;CAC1B;AAyDD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,YAAY,GACrB,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CA6EnC"}

package/dist/constraint-merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-merge.js","sourceRoot":"","sources":["../src/constraint-merge.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,EAAE;AACF,kFAAkF;AAClF,mFAAmF;AACnF,gGAAgG;AAChG,EAAE;AACF,iFAAiF;AACjF,8EAA8E;AAC9E,wFAAwF;AACxF,gFAAgF;AAChF,yFAAyF;AACzF,EAAE;AACF,8EAA8E;AAC9E,oFAAoF;AACpF,gFAAgF;AAChF,mFAAmF;AACnF,kFAAkF;AAClF,8EAA8E;AAC9E,sFAAsF;AACtF,yDAAyD;AACzD,EAAE;AACF,mFAAmF;AACnF,mFAAmF;AAGnF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAYtD,gEAAgE;AAChE,SAAS,GAAG,CAAC,IAAY,EAAE,OAAe;IACxC,OAAO,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CACjB,IAAY,EACZ,OAAe,EACf,UAA+B;IAE/B,IAAI,OAAO,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACxC,OAAO,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,yEAAyE;AACzE,SAAS,WAAW,CAAC,IAAe;IAClC,MAAM,GAAG,GACP,OAAO,IAAI,CAAC,YAAY,KAAK,QAAQ;QACnC,CAAC,CAAC,IAAI,CAAC,YAAY;QACnB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,OAAO;QACL,IAAI,CAAC,SAAS;QACd,GAAG;QACH,IAAI,CAAC,SAAS;QACd,IAAI,CAAC,GAAG,IAAI,EAAE;QACd,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;QAC7C,IAAI,CAAC,KAAK,IAAI,EAAE;KACjB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACd,CAAC;AAED,2EAA2E;AAC3E,SAAS,cAAc,CAAC,IAAiB,EAAE,IAAiB,EAAE,IAAe;IAC3E,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO;IACzB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACb,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC;AAED,oFAAoF;AACpF,SAAS,cAAc,CAAC,IAAkB,EAAE,IAAiB,EAAE,IAAgB;IAC7E,iFAAiF;IACjF,oFAAoF;IACpF,mFAAmF;IACnF,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO;IAChC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAsB;IAEtB,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;IAE1C,kFAAkF;IAClF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEhD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QAChE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3B,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAE/B,iBAAiB;QACjB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU;gBAAE,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC7E,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU;gBAAE,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/E,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBAClC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QAED,8EAA8E;QAC9E,IAAI,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B;QAC9D,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClB,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACxC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;oBAAE,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC9E,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;oBAAE,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;gBAChF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;oBACnC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;wBAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YACD,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,gFAAgF;IAChF,iFAAiF;IACjF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;YACzC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,SAAS,KAAK,SAAS;gBAAE,SAAS,CAAC,qCAAqC;YAC5E,cAAc,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,EAAE;gBACxD,SAAS,EAAE,KAAK;gBAChB,YAAY,EAAE,IAAI;gBAClB,SAAS,EAAE,GAAG;gBACd,GAAG,EAAE,CAAC;gBACN,GAAG,EAAE,IAAI;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,qFAAqF;AACrF,SAAS,QAAQ,CAAC,CAAS;IACzB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC"}

package/dist/constraint-validate.d.ts

@@ -0,0 +1,6 @@
+import type { TypeRegistry } from "./registry.js";
+import { MetaModelError } from "./errors.js";
+import type { EffectiveConstraints } from "./constraint-merge.js";
+/** Run the six contradiction checks; one MetaModelError per contradiction. */
+export declare function validateConstraints(effective: Map<string, EffectiveConstraints>, registry: TypeRegistry): MetaModelError[];
+//# sourceMappingURL=constraint-validate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-validate.d.ts","sourceRoot":"","sources":["../src/constraint-validate.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAGV,YAAY,EAEb,MAAM,eAAe,CAAC;AAIvB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAIlE,8EAA8E;AAC9E,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,EAC5C,QAAQ,EAAE,YAAY,GACrB,cAAc,EAAE,CAkDlB"}

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"}