@ifc-lite/ids 3.1.0 → 3.3.2

package/dist/constraints/match-family.js

@@ -3,8 +3,8 @@
  * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
 import { compareBoolean, compareNumeric, compareString, isStrictNumericLiteral, isBooleanLiteral, } from './comparators.js';
 import { isNumericXsdBase, isBooleanXsdBase } from './xsd-cast.js';
-import { translateXsdRegex, SUBTRACTION_UNSUPPORTED_REASON } from './xsd-regex.js';
-import { matchDigitFacets } from './digit-facets.js';
+import { translateXsdRegex } from './xsd-regex.js';
+import { matchBounds } from './match-bounds.js';
 import { assertGuardedRegexPattern, UnsafeRegexPatternError } from '@ifc-lite/regex-guard';
 /** Tolerance for the bounds matcher's exclusive comparators. */
 export const NUMERIC_TOLERANCE = 1e-6;
@@ -67,7 +67,7 @@ function matchSimpleValue(constraint, actualValue, caseInsensitive, stringOnly =
     // equality — skip the comparators that would return undefined anyway.
     if (!isCoercibleSimpleValue(constraint))
         return false;
-    const numericResult = compareNumeric(expected, actualValue);
+    const numericResult = compareNumeric(expected, actualValue, constraint.toleranceRule);
     if (numericResult !== undefined)
         return numericResult;
     const booleanResult = compareBoolean(expected, actualValue);
@@ -115,6 +115,7 @@ function matchPattern(constraint, actualValue, caseInsensitive = false) {
  * constraint object is stable per parsed document.
  */
 const PATTERN_REGEX_CACHE = new WeakMap();
+/** The cached whole-value `RegExp` for `constraint`, or null if it cannot compile. */
 function compilePatternRegex(constraint, caseInsensitive) {
     let entry = PATTERN_REGEX_CACHE.get(constraint);
     if (!entry) {
@@ -129,6 +130,7 @@ function compilePatternRegex(constraint, caseInsensitive) {
     }
     return regex;
 }
+/** Compile one XSD pattern for whole-value matching; throws when it cannot be evaluated. */
 function buildPatternRegex(xsdPattern, caseInsensitive) {
     // Reject a catastrophic-backtracking or over-long pattern BEFORE any
     // translation/compilation is attempted. This throws (rather than
@@ -139,21 +141,19 @@ function buildPatternRegex(xsdPattern, caseInsensitive) {
     // `validateSpecification`, which turns the thrown error into a
     // failed specification result.
     assertGuardedRegexPattern(xsdPattern);
-    // Shared XSD → JS translation: `\i`/`\c`/`\d`/`\w` (and their
-    // negations) map to Unicode property escapes, and verbatim `\p{…}`
-    // classes pass through — both require the `u` flag for full fidelity.
-    // XSD character-class subtraction (`[a-z-[aeiou]]`) is translated
-    // exactly (a negative lookahead, see `translateSubtraction`). One that
-    // cannot be delimited is refused rather than approximated: dropping the
-    // exclusion would make the pattern accept exactly the values it was
-    // written to exclude (#5183). `UnsafeRegexPatternError` becomes a failed
-    // specification result in `validateSpecification`, never a silent pass.
-    // Other unsupported constructs (an unrepresentable `\p{…}` block escape,
-    // a negated class escape inside `[ … ]`) keep their permissive
-    // any-character placeholder: they over-match rather than invert intent,
-    // and the coherence auditor flags them.
+    // Shared XSD → JS translation (XML Schema Part 2 Appendix F, see
+    // `xsd-regex.ts`): multi-char escapes, `\p{Is…}` blocks, class
+    // subtraction and negated escapes inside classes are translated exactly,
+    // and `^` / `$` are literals. The result requires the `u` flag.
+    // A construct with no exact translation (an unknown block or property
+    // name, an escape XSD does not define, an undelimitable subtraction) is
+    // refused rather than approximated: an any-character placeholder passed
+    // every value silently (#7400), and dropping a subtraction's exclusion
+    // accepted exactly the values it was written to exclude (#5183).
+    // `UnsafeRegexPatternError` becomes a failed specification result in
+    // `validateSpecification`, never a silent pass.
     const { pattern, supported, reason } = translateXsdRegex(xsdPattern);
-    if (!supported && reason === SUBTRACTION_UNSUPPORTED_REASON) {
+    if (!supported) {
         throw new UnsafeRegexPatternError(xsdPattern, reason);
     }
     // IDS patterns must match the entire lexical value. Wrapping in a
@@ -167,8 +167,13 @@ function buildPatternRegex(xsdPattern, caseInsensitive) {
     }
     catch {
         // Some patterns are valid under JS's lenient (Annex-B) dialect but
-        // rejected under `u`. Retry without it so plain patterns keep
-        // matching; this loses `\p{…}` fidelity for that one pattern only.
+        // rejected under `u` (a lone `{` or `]`). Retry without it so plain
+        // patterns keep matching — but only when the translation emitted no
+        // `\p{…}` / `\P{…}` / `\u{…}`: without `u` those silently mean the
+        // literal text `p{L}` or a repeated `u`, which made e.g. `\p{L}+…`
+        // fail every value instead of reporting the bad pattern (#7400).
+        if (/\\[pPu]\{/.test(pattern))
+            return null;
         try {
             return new RegExp(anchored, caseInsensitive ? 'i' : '');
         }
@@ -228,7 +233,7 @@ function matchEnumeration(constraint, actualValue, caseInsensitive, stringOnly =
         const stringResult = compareString(v, actualValue, caseInsensitive);
         if (stringResult !== undefined)
             return stringResult;
-        const numericResult = compareNumeric(v, actualValue);
+        const numericResult = compareNumeric(v, actualValue, constraint.toleranceRule);
         if (numericResult !== undefined)
             return numericResult;
         const booleanResult = compareBoolean(v, actualValue);
@@ -237,74 +242,4 @@ function matchEnumeration(constraint, actualValue, caseInsensitive, stringOnly =
         return false;
     });
 }
-/**
- * Match against numeric bounds
- */
-function matchBounds(constraint, actualValue) {
-    // A facet element was present in the source `<xs:restriction>` but
-    // its `@value` could not be parsed (typo, wrong decimal separator, a
-    // negative digit-count facet, …). `parseRestriction` dropped it to
-    // `undefined` the same as a facet that was never present at all —
-    // which would otherwise make this an unconditional pass (an
-    // all-`undefined` bounds constraint satisfies every numeric value).
-    // Fail closed instead: we cannot verify compliance against a
-    // restriction we could not fully parse, so no value passes until the
-    // IDS is corrected. See `getBoundsMismatchReason` for the
-    // author-facing explanation and `audit/coherence` for the
-    // corresponding lint diagnostic.
-    if (constraint.unparseableFacets !== undefined && constraint.unparseableFacets.length > 0) {
-        return false;
-    }
-    // String-length facets (xs:length / xs:minLength / xs:maxLength)
-    // operate on the textual length, not on numeric magnitude. When any
-    // of them are present, evaluate the length constraints first.
-    if (constraint.length !== undefined ||
-        constraint.minLength !== undefined ||
-        constraint.maxLength !== undefined) {
-        const str = String(actualValue);
-        if (constraint.length !== undefined && str.length !== constraint.length) {
-            return false;
-        }
-        if (constraint.minLength !== undefined && str.length < constraint.minLength) {
-            return false;
-        }
-        if (constraint.maxLength !== undefined && str.length > constraint.maxLength) {
-            return false;
-        }
-        // Length-only restrictions don't impose numeric bounds; if the
-        // constraint also carries min/max/totalDigits/fractionDigits we
-        // fall through to the numeric check below (rare in practice).
-        if (constraint.minInclusive === undefined &&
-            constraint.maxInclusive === undefined &&
-            constraint.minExclusive === undefined &&
-            constraint.maxExclusive === undefined &&
-            constraint.totalDigits === undefined &&
-            constraint.fractionDigits === undefined) {
-            return true;
-        }
-    }
-    const num = typeof actualValue === 'number'
-        ? actualValue
-        : parseFloat(String(actualValue));
-    if (isNaN(num))
-        return false;
-    if (constraint.minInclusive !== undefined &&
-        num < constraint.minInclusive) {
-        return false;
-    }
-    if (constraint.maxInclusive !== undefined &&
-        num > constraint.maxInclusive) {
-        return false;
-    }
-    if (constraint.minExclusive !== undefined && num <= constraint.minExclusive) {
-        return false;
-    }
-    if (constraint.maxExclusive !== undefined && num >= constraint.maxExclusive) {
-        return false;
-    }
-    const digitsOk = matchDigitFacets(constraint, actualValue);
-    if (digitsOk === false)
-        return false;
-    return true;
-}
 //# sourceMappingURL=match-family.js.map

package/dist/constraints/match-family.js.map

@@ -1 +1 @@
-{"version":3,"file":"match-family.js","sourceRoot":"","sources":["../../src/constraints/match-family.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA0B/D,OAAO,EACL,cAAc,EACd,cAAc,EACd,aAAa,EACb,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,8BAA8B,EAAE,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAE3F,gEAAgE;AAChE,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAyB;IAEzB,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,UAAyB,EACzB,WAAsC,EACtC,EAAW,EACX,UAAU,GAAG,KAAK;IAElB,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACnE,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;QACnD,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC9C;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,sBAAsB,GAAG,IAAI,OAAO,EAA2B,CAAC;AAEtE,SAAS,sBAAsB,CAAC,UAA0B;IACxD,IAAI,SAAS,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,SAAS;YACP,sBAAsB,CAAC,UAAU,CAAC,KAAK,CAAC;gBACxC,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,sBAAsB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,UAA0B,EAC1B,WAAsC,EACtC,eAAwB,EACxB,UAAU,GAAG,KAAK;IAElB,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC;IAClC,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;IAC3E,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IACpD,yEAAyE;IACzE,IAAI,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7B,mEAAmE;IACnE,sEAAsE;IACtE,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,aAAa,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC5D,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IACtD,MAAM,aAAa,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC5D,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IACtD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CACnB,UAAgC,EAChC,WAAsC,EACtC,eAAe,GAAG,KAAK;IAEvB,uEAAuE;IACvE,wEAAwE;IACxE,iEAAiE;IACjE,yDAAyD;IACzD,iEAAiE;IACjE,qEAAqE;IACrE,qDAAqD;IACrD,EAAE;IACF,wEAAwE;IACxE,kEAAkE;IAClE,qEAAqE;IACrE,4DAA4D;IAC5D,wEAAwE;IACxE,+DAA+D;IAC/D,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;SAAM,IAAI,OAAO,WAAW,KAAK,SAAS,EAAE,CAAC;QAC5C,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAEtC,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAC/D,oEAAoE;IACpE,sDAAsD;IACtD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC/C,CAAC;AAED;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,IAAI,OAAO,EAGpC,CAAC;AAEJ,SAAS,mBAAmB,CAC1B,UAAgC,EAChC,eAAwB;IAExB,IAAI,KAAK,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,EAAE,CAAC;QACX,mBAAmB,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3C,IAAI,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG,iBAAiB,CAAC,UAAU,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAkB,EAClB,eAAwB;IAExB,qEAAqE;IACrE,iEAAiE;IACjE,kEAAkE;IAClE,mEAAmE;IACnE,qDAAqD;IACrD,2DAA2D;IAC3D,+DAA+D;IAC/D,+BAA+B;IAC/B,yBAAyB,CAAC,UAAU,CAAC,CAAC;IACtC,8DAA8D;IAC9D,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,wEAAwE;IACxE,yEAAyE;IACzE,+DAA+D;IAC/D,wEAAwE;IACxE,wCAAwC;IACxC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,CAAC,SAAS,IAAI,MAAM,KAAK,8BAA8B,EAAE,CAAC;QAC5D,MAAM,IAAI,uBAAuB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACxD,CAAC;IACD,kEAAkE;IAClE,8DAA8D;IAC9D,mEAAmE;IACnE,mEAAmE;IACnE,yCAAyC;IACzC,MAAM,QAAQ,GAAG,OAAO,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;QACnE,8DAA8D;QAC9D,mEAAmE;QACnE,IAAI,CAAC;YACH,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,eAAe,GAAG,IAAI,OAAO,EAGhC,CAAC;AAEJ,SAAS,gBAAgB,CAAC,UAAoC;IAK5D,IAAI,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAC3B,IAAI,sBAAsB,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC;gBAAE,YAAY,GAAG,IAAI,CAAC;QAC5E,CAAC;QACD,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QACtC,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,UAAoC,EACpC,WAAsC,EACtC,eAAwB,EACxB,UAAU,GAAG,KAAK;IAElB,iEAAiE;IACjE,mEAAmE;IACnE,8DAA8D;IAC9D,mDAAmD;IACnD,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,eAAe,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,uDAAuD;IACvD,IAAI,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7B,kEAAkE;IAClE,kEAAkE;IAClE,IAAI,CAAC,IAAI,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAErC,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,YAAY,GAAG,aAAa,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QACpE,IAAI,YAAY,KAAK,SAAS;YAAE,OAAO,YAAY,CAAC;QACpD,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QACrD,IAAI,aAAa,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC;QACtD,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QACrD,IAAI,aAAa,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAClB,UAA+B,EAC/B,WAAsC;IAEtC,mEAAmE;IACnE,qEAAqE;IACrE,mEAAmE;IACnE,kEAAkE;IAClE,4DAA4D;IAC5D,oEAAoE;IACpE,6DAA6D;IAC7D,qEAAqE;IACrE,0DAA0D;IAC1D,0DAA0D;IAC1D,iCAAiC;IACjC,IAAI,UAAU,CAAC,iBAAiB,KAAK,SAAS,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1F,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iEAAiE;IACjE,oEAAoE;IACpE,8DAA8D;IAC9D,IACE,UAAU,CAAC,MAAM,KAAK,SAAS;QAC/B,UAAU,CAAC,SAAS,KAAK,SAAS;QAClC,UAAU,CAAC,SAAS,KAAK,SAAS,EAClC,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAChC,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;YACxE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;YAC5E,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;YAC5E,OAAO,KAAK,CAAC;QACf,CAAC;QACD,+DAA+D;QAC/D,gEAAgE;QAChE,8DAA8D;QAC9D,IACE,UAAU,CAAC,YAAY,KAAK,SAAS;YACrC,UAAU,CAAC,YAAY,KAAK,SAAS;YACrC,UAAU,CAAC,YAAY,KAAK,SAAS;YACrC,UAAU,CAAC,YAAY,KAAK,SAAS;YACrC,UAAU,CAAC,WAAW,KAAK,SAAS;YACpC,UAAU,CAAC,cAAc,KAAK,SAAS,EACvC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GACP,OAAO,WAAW,KAAK,QAAQ;QAC7B,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IAEtC,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAE7B,IACE,UAAU,CAAC,YAAY,KAAK,SAAS;QACrC,GAAG,GAAG,UAAU,CAAC,YAAY,EAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,UAAU,CAAC,YAAY,KAAK,SAAS;QACrC,GAAG,GAAG,UAAU,CAAC,YAAY,EAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,UAAU,CAAC,YAAY,KAAK,SAAS,IAAI,GAAG,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,UAAU,CAAC,YAAY,KAAK,SAAS,IAAI,GAAG,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAC3D,IAAI,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAErC,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"match-family.js","sourceRoot":"","sources":["../../src/constraints/match-family.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAyB/D,OAAO,EACL,cAAc,EACd,cAAc,EACd,aAAa,EACb,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAE3F,gEAAgE;AAChE,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAyB;IAEzB,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,UAAyB,EACzB,WAAsC,EACtC,EAAW,EACX,UAAU,GAAG,KAAK;IAElB,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACnE,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;QACnD,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC9C;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,sBAAsB,GAAG,IAAI,OAAO,EAA2B,CAAC;AAEtE,SAAS,sBAAsB,CAAC,UAA0B;IACxD,IAAI,SAAS,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,SAAS;YACP,sBAAsB,CAAC,UAAU,CAAC,KAAK,CAAC;gBACxC,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,sBAAsB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,UAA0B,EAC1B,WAAsC,EACtC,eAAwB,EACxB,UAAU,GAAG,KAAK;IAElB,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC;IAClC,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;IAC3E,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IACpD,yEAAyE;IACzE,IAAI,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7B,mEAAmE;IACnE,sEAAsE;IACtE,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,aAAa,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;IACtF,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IACtD,MAAM,aAAa,GAAG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC5D,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IACtD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CACnB,UAAgC,EAChC,WAAsC,EACtC,eAAe,GAAG,KAAK;IAEvB,uEAAuE;IACvE,wEAAwE;IACxE,iEAAiE;IACjE,yDAAyD;IACzD,iEAAiE;IACjE,qEAAqE;IACrE,qDAAqD;IACrD,EAAE;IACF,wEAAwE;IACxE,kEAAkE;IAClE,qEAAqE;IACrE,4DAA4D;IAC5D,wEAAwE;IACxE,+DAA+D;IAC/D,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;SAAM,IAAI,OAAO,WAAW,KAAK,SAAS,EAAE,CAAC;QAC5C,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAEtC,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAC/D,oEAAoE;IACpE,sDAAsD;IACtD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC/C,CAAC;AAED;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,IAAI,OAAO,EAGpC,CAAC;AAEJ,sFAAsF;AACtF,SAAS,mBAAmB,CAC1B,UAAgC,EAChC,eAAwB;IAExB,IAAI,KAAK,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,EAAE,CAAC;QACX,mBAAmB,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3C,IAAI,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG,iBAAiB,CAAC,UAAU,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4FAA4F;AAC5F,SAAS,iBAAiB,CACxB,UAAkB,EAClB,eAAwB;IAExB,qEAAqE;IACrE,iEAAiE;IACjE,kEAAkE;IAClE,mEAAmE;IACnE,qDAAqD;IACrD,2DAA2D;IAC3D,+DAA+D;IAC/D,+BAA+B;IAC/B,yBAAyB,CAAC,UAAU,CAAC,CAAC;IACtC,iEAAiE;IACjE,+DAA+D;IAC/D,yEAAyE;IACzE,gEAAgE;IAChE,sEAAsE;IACtE,wEAAwE;IACxE,wEAAwE;IACxE,uEAAuE;IACvE,iEAAiE;IACjE,qEAAqE;IACrE,gDAAgD;IAChD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,uBAAuB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACxD,CAAC;IACD,kEAAkE;IAClE,8DAA8D;IAC9D,mEAAmE;IACnE,mEAAmE;IACnE,yCAAyC;IACzC,MAAM,QAAQ,GAAG,OAAO,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;QACnE,oEAAoE;QACpE,oEAAoE;QACpE,mEAAmE;QACnE,mEAAmE;QACnE,iEAAiE;QACjE,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3C,IAAI,CAAC;YACH,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,eAAe,GAAG,IAAI,OAAO,EAGhC,CAAC;AAEJ,SAAS,gBAAgB,CAAC,UAAoC;IAK5D,IAAI,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAC3B,IAAI,sBAAsB,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC;gBAAE,YAAY,GAAG,IAAI,CAAC;QAC5E,CAAC;QACD,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QACtC,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,UAAoC,EACpC,WAAsC,EACtC,eAAwB,EACxB,UAAU,GAAG,KAAK;IAElB,iEAAiE;IACjE,mEAAmE;IACnE,8DAA8D;IAC9D,mDAAmD;IACnD,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,eAAe,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,uDAAuD;IACvD,IAAI,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7B,kEAAkE;IAClE,kEAAkE;IAClE,IAAI,CAAC,IAAI,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAErC,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,YAAY,GAAG,aAAa,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QACpE,IAAI,YAAY,KAAK,SAAS;YAAE,OAAO,YAAY,CAAC;QACpD,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;QAC/E,IAAI,aAAa,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC;QACtD,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QACrD,IAAI,aAAa,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/constraints/xsd-datetime.js

@@ -13,12 +13,12 @@
  * for these types encodes every one of those bounds except day-in-month, which
  * it states as an assertion because no regex can express it.
  *
- * Three places decide the same question — the coherence audit's
- * `xs:restriction @base` check, the facets' strict-cast gate, and (through the
- * first) the `info/date` conformance check in `audit/xsd/index.ts` — so the
- * calendar lives here once instead of in a regex table per caller. Two files
- * import this module; the third consumer arrives through
- * `isValidLexicalForXsType`, which is why the count is not the import count.
+ * Several places decide the same question — the coherence audit's
+ * `xs:restriction @base` check and the `info/date` conformance check in
+ * `audit/xsd/index.ts` (both through `isValidLexicalForXsType` in
+ * `xsd-lexical.ts`), the facets' strict-cast gate, and the bound reader in
+ * `xsd-order.ts` (#7399) — so the calendar lives here once instead of in a
+ * regex table per caller.
  */
 /** Hour 24 is end-of-day, so any fractional seconds on it must be zero. */
 const ALL_ZERO_FRACTION = /^0+$/;

package/dist/constraints/xsd-examples.d.ts

@@ -0,0 +1,20 @@
+export interface PatternExampleOptions {
+    /** How many examples of each kind to return at most (default 5). */
+    count?: number;
+    /** Seed of the deterministic random walk (default 1). */
+    seed?: number;
+    /** Extra repetitions beyond a quantifier's minimum (default 3). */
+    maxRepeat?: number;
+}
+export interface PatternExamples {
+    pattern: string;
+    /** Simplest first: the first entry uses every quantifier's minimum where possible. */
+    matching: string[];
+    /** Near misses first (one edit away from a matching example). */
+    nonMatching: string[];
+    /** False when the pattern cannot be checked (parse error, ReDoS guard). */
+    supported: boolean;
+    reason: string;
+}
+export declare function generatePatternExamples(pattern: string, options?: PatternExampleOptions): PatternExamples;
+//# sourceMappingURL=xsd-examples.d.ts.map

package/dist/constraints/xsd-examples.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-examples.d.ts","sourceRoot":"","sources":["../../src/constraints/xsd-examples.ts"],"names":[],"mappings":"AAyBA,MAAM,WAAW,qBAAqB;IACpC,oEAAoE;IACpE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yDAAyD;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iEAAiE;IACjE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,2EAA2E;IAC3E,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAsHD,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,qBAA0B,GAAG,eAAe,CAqC7G"}

package/dist/constraints/xsd-examples.js

@@ -0,0 +1,187 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * Example strings for an XSD pattern: values that match it and values that
+ * do not. Used to explain a pattern to an author ("matches: EI30, EI60;
+ * does not match: E30") and to build synthetic IFC test fixtures
+ * (`@ifc-lite/ids-testgen`).
+ *
+ * Candidates come from a random walk over the parsed pattern
+ * (`xsd-regex-ast.ts`); every candidate is then checked with
+ * `matchConstraint`, the exact function validation uses. So an example is
+ * never wrong about the checker: a "matching" example matches, a
+ * "non-matching" one does not. What the generator can miss is coverage (a
+ * satisfiable pattern for which no candidate was found); the property
+ * tests measure that.
+ */
+import { UnsafeRegexPatternError } from '@ifc-lite/regex-guard';
+import { matchConstraint } from './index.js';
+import { parseXsdRegex, XsdParseError } from './xsd-regex-ast.js';
+import { translateXsdRegex } from './xsd-regex.js';
+/**
+ * Characters tried for every class: printable ASCII plus a few letters,
+ * digits and symbols from other scripts, so `\d`, `\w`, `\i`, `\p{Lu}` and
+ * negated classes have members to pick from.
+ */
+const ALPHABET = [
+    ...Array.from({ length: 95 }, (_, k) => String.fromCharCode(32 + k)),
+    '\t',
+    ...'ÄäÖöÜüßéèçñÅø怰²µ·×÷αβΩЖж中日٣३١',
+];
+function mulberry32(seed) {
+    let a = seed >>> 0;
+    return () => {
+        a = (a + 0x6d2b79f5) >>> 0;
+        let t = a;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+/** Characters a class source mentions, plus range midpoints. */
+function mentioned(source) {
+    const out = [];
+    const chars = [...source];
+    chars.forEach((c, k) => {
+        if (c === '-' && k > 0 && k + 1 < chars.length) {
+            const lo = chars[k - 1].codePointAt(0) ?? 0;
+            const hi = chars[k + 1].codePointAt(0) ?? 0;
+            if (hi > lo)
+                out.push(String.fromCodePoint(lo + Math.floor((hi - lo) / 2)), String.fromCodePoint(hi));
+        }
+        out.push(c);
+    });
+    return out;
+}
+class Sampler {
+    rng;
+    maxRepeat;
+    members = new Map();
+    constructor(rng, maxRepeat) {
+        this.rng = rng;
+        this.maxRepeat = maxRepeat;
+    }
+    /** Members of a class (by its XSD source), per the shared translator. */
+    membersOf(source) {
+        let list = this.members.get(source);
+        if (list)
+            return list;
+        const { pattern } = translateXsdRegex(source);
+        // Compiled as the checker compiles it: under `u`, else without it.
+        let re = /(?!)/;
+        for (const flags of ['u', '']) {
+            try {
+                re = new RegExp(`^(?:${pattern})$`, flags);
+                break;
+            }
+            catch (err) {
+                if (!(err instanceof SyntaxError))
+                    throw err;
+            }
+        }
+        list = [...new Set([...ALPHABET, ...mentioned(source)])].filter((c) => re.test(c));
+        this.members.set(source, list);
+        return list;
+    }
+    /** One candidate for `node`; `minimal` takes each quantifier's minimum and the first branch. */
+    walk(node, minimal) {
+        switch (node.type) {
+            case 'char':
+                return node.value;
+            case 'class': {
+                const list = this.membersOf(node.source);
+                if (!list.length)
+                    return undefined;
+                return minimal ? list[0] : list[Math.floor(this.rng() * list.length)];
+            }
+            case 'group':
+                return this.walk(node.body, minimal);
+            case 'alt': {
+                const branch = minimal ? node.branches[0] : node.branches[Math.floor(this.rng() * node.branches.length)];
+                let out = '';
+                for (const item of branch) {
+                    const part = this.walk(item, minimal);
+                    if (part === undefined)
+                        return undefined;
+                    out += part;
+                }
+                return out;
+            }
+            case 'repeat': {
+                const top = Math.min(node.max, node.min + this.maxRepeat);
+                const n = minimal ? node.min : node.min + Math.floor(this.rng() * (top - node.min + 1));
+                let out = '';
+                for (let k = 0; k < n; k++) {
+                    const part = this.walk(node.node, minimal);
+                    if (part === undefined)
+                        return undefined;
+                    out += part;
+                }
+                return out;
+            }
+        }
+    }
+}
+/** One-edit variations of `s`, near misses first. */
+function variations(s, rng) {
+    const chars = [...s];
+    const out = [];
+    const pick = () => ALPHABET[Math.floor(rng() * ALPHABET.length)];
+    for (let k = 0; k < Math.min(chars.length, 6); k++) {
+        out.push([...chars.slice(0, k), pick(), ...chars.slice(k + 1)].join(''));
+        out.push([...chars.slice(0, k), ...chars.slice(k + 1)].join(''));
+    }
+    out.push(`${s}${pick()}`, `${pick()}${s}`, `${s}${s}`, s.toLowerCase(), s.toUpperCase(), `${s} `);
+    return out;
+}
+export function generatePatternExamples(pattern, options = {}) {
+    const count = options.count ?? 5;
+    const rng = mulberry32(options.seed ?? 1);
+    const result = { pattern, matching: [], nonMatching: [], supported: true, reason: '' };
+    let tree;
+    try {
+        tree = parseXsdRegex(pattern);
+    }
+    catch (err) {
+        if (!(err instanceof XsdParseError))
+            throw err;
+        return { ...result, supported: false, reason: err.message };
+    }
+    const constraint = { type: 'pattern', pattern };
+    const matches = (s) => matchConstraint(constraint, s);
+    try {
+        matches('');
+    }
+    catch (err) {
+        if (!(err instanceof UnsafeRegexPatternError))
+            throw err;
+        return { ...result, supported: false, reason: err.message };
+    }
+    const sampler = new Sampler(rng, options.maxRepeat ?? 3);
+    const seen = { true: new Set(), false: new Set() };
+    const keep = (list, s, want) => {
+        if (s === undefined || list.length >= count)
+            return;
+        const tried = seen[`${want}`];
+        if (tried.has(s))
+            return;
+        tried.add(s);
+        if (matches(s) === want)
+            list.push(s);
+    };
+    keep(result.matching, sampler.walk(tree, true), true);
+    for (let tries = 0; tries < count * 40 && result.matching.length < count; tries++)
+        keep(result.matching, sampler.walk(tree, false), true);
+    for (const m of result.matching)
+        for (const v of variations(m, rng))
+            keep(result.nonMatching, v, false);
+    for (const s of ['', '\n', 'x', '0', ' '])
+        keep(result.nonMatching, s, false);
+    for (let tries = 0; tries < count * 40 && result.nonMatching.length < count; tries++) {
+        const len = 1 + Math.floor(rng() * 8);
+        keep(result.nonMatching, Array.from({ length: len }, () => ALPHABET[Math.floor(rng() * ALPHABET.length)]).join(''), false);
+    }
+    return result;
+}
+//# sourceMappingURL=xsd-examples.js.map

package/dist/constraints/xsd-examples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-examples.js","sourceRoot":"","sources":["../../src/constraints/xsd-examples.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAgB,MAAM,oBAAoB,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAsBnD;;;;GAIG;AACH,MAAM,QAAQ,GAAa;IACzB,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACpE,IAAI;IACJ,GAAG,iCAAiC;CACrC,CAAC;AAIF,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC/C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,EAAE,GAAG,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;QACxG,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,OAAO;IAGQ;IACA;IAHF,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IACvD,YACmB,GAAQ,EACR,SAAiB;QADjB,QAAG,GAAH,GAAG,CAAK;QACR,cAAS,GAAT,SAAS,CAAQ;IACjC,CAAC;IAEJ,yEAAyE;IACzE,SAAS,CAAC,MAAc;QACtB,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC9C,mEAAmE;QACnE,IAAI,EAAE,GAAW,MAAM,CAAC;QACxB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,EAAE,GAAG,IAAI,MAAM,CAAC,OAAO,OAAO,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC3C,MAAM;YACR,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC,CAAC,GAAG,YAAY,WAAW,CAAC;oBAAE,MAAM,GAAG,CAAC;YAC/C,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gGAAgG;IAChG,IAAI,CAAC,IAAa,EAAE,OAAgB;QAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,KAAK,CAAC;YACpB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzC,IAAI,CAAC,IAAI,CAAC,MAAM;oBAAE,OAAO,SAAS,CAAC;gBACnC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACxE,CAAC;YACD,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;gBACzG,IAAI,GAAG,GAAG,EAAE,CAAC;gBACb,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;oBAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBACtC,IAAI,IAAI,KAAK,SAAS;wBAAE,OAAO,SAAS,CAAC;oBACzC,GAAG,IAAI,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC1D,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBACxF,IAAI,GAAG,GAAG,EAAE,CAAC;gBACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC3C,IAAI,IAAI,KAAK,SAAS;wBAAE,OAAO,SAAS,CAAC;oBACzC,GAAG,IAAI,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,qDAAqD;AACrD,SAAS,UAAU,CAAC,CAAS,EAAE,GAAQ;IACrC,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAClG,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAe,EAAE,UAAiC,EAAE;IAC1F,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAoB,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxG,IAAI,IAAa,CAAC;IAClB,IAAI,CAAC;QACH,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,GAAG,YAAY,aAAa,CAAC;YAAE,MAAM,GAAG,CAAC;QAC/C,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC;IACD,MAAM,UAAU,GAAyB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IACtE,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC;QACH,OAAO,CAAC,EAAE,CAAC,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,GAAG,YAAY,uBAAuB,CAAC;YAAE,MAAM,GAAG,CAAC;QACzD,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,EAAU,EAAE,KAAK,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,IAAc,EAAE,CAAqB,EAAE,IAAa,EAAE,EAAE;QACpE,IAAI,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,IAAI,KAAK;YAAE,OAAO;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACzB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACb,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,EAAE,KAAK,EAAE;QAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IAC1I,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;QAAE,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACxG,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;QAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,EAAE,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;QACrF,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7H,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/constraints/xsd-lexical.d.ts

@@ -0,0 +1,2 @@
+export declare function isValidLexicalForXsType(value: string, base: string): boolean;
+//# sourceMappingURL=xsd-lexical.d.ts.map

package/dist/constraints/xsd-lexical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-lexical.d.ts","sourceRoot":"","sources":["../../src/constraints/xsd-lexical.ts"],"names":[],"mappings":"AAoCA,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAY5E"}

package/dist/constraints/xsd-lexical.js

@@ -0,0 +1,49 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * Whether a literal is in the lexical space of an `xs:restriction @base`.
+ *
+ * Moved here from `audit/coherence` so the restriction PARSER can ask the
+ * same question the auditor asks (#7399): a bound is read under its base, and
+ * the parser may not import from `audit/`. One answer, two callers, so an
+ * enumeration value and a bound under the same base cannot disagree.
+ */
+import { XSD_NUMERIC_SPECIALS } from './xsd-cast.js';
+import { isValidXsdDateTimeLiteral, isXsdDateTimeBase } from './xsd-datetime.js';
+/**
+ * Validate that `value` matches the lexical space of the supplied XSD
+ * primitive base. Mirrors upstream `XsTypes.IsValid` (see the table, and the
+ * date family it hands off); flags `<xs:enumeration value="12,0"/>` under
+ * `<xs:restriction base="xs:double">`.
+ */
+const XS_VALUE_REGEX = {
+    // Upstream `XmlRegex.cs`, except the mantissa: `[0-9]*(?:\.[0-9]*)?` not
+    // `[0-9]*\.?[0-9]*`, whose two adjacent digit runs make a failing lexeme
+    // retry every split (quadratic, #3113). Same language, one parse/prefix.
+    'xs:integer': /^[+-]?(\d+)$/,
+    'xs:double': /^([-+]?[0-9]*(?:\.[0-9]*)?([eE][-+]?[0-9]+)?|NaN|\+INF|-INF)$/,
+    'xs:float': /^([-+]?[0-9]*(?:\.[0-9]*)?([eE][-+]?[0-9]+)?|NaN|\+INF|-INF)$/,
+    'xs:decimal': /^([-+]?[0-9]*(?:\.[0-9]*)?([eE][-+]?[0-9]+)?|NaN|\+INF|-INF)$/,
+    'xs:boolean': /^(true|false|0|1)$/,
+    // The date family is absent on purpose: its value space is a calendar, not a
+    // digit-run shape, so it goes through `isValidXsdDateTimeLiteral` (#3721).
+    'xs:duration': /^[-+]?P(\d+Y)?(\d+M)?(\d+D)?(T(\d+H)?(\d+M)?(\d+S)?)?$/,
+};
+export function isValidLexicalForXsType(value, base) {
+    if (isXsdDateTimeBase(base))
+        return isValidXsdDateTimeLiteral(value, base);
+    const rx = XS_VALUE_REGEX[base];
+    if (!rx)
+        return true; // base we don't recognise → don't fabricate errors
+    if (base === 'xs:double' || base === 'xs:float' || base === 'xs:decimal') {
+        // Digit required in the MANTISSA, specials exempt (#3336). Testing the
+        // whole lexeme accepted 'e5' on the exponent's digit and rejected the
+        // digitless specials, which is how this and `literalCastsUnder` disagreed.
+        const bare = !XSD_NUMERIC_SPECIALS.has(value);
+        if (bare && !/[0-9]/.test(value.split(/[eE]/)[0]))
+            return false;
+    }
+    return rx.test(value);
+}
+//# sourceMappingURL=xsd-lexical.js.map

package/dist/constraints/xsd-lexical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-lexical.js","sourceRoot":"","sources":["../../src/constraints/xsd-lexical.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;GAOG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,yBAAyB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEjF;;;;;GAKG;AACH,MAAM,cAAc,GAA2B;IAC7C,yEAAyE;IACzE,yEAAyE;IACzE,yEAAyE;IACzE,YAAY,EAAE,cAAc;IAC5B,WAAW,EAAE,+DAA+D;IAC5E,UAAU,EAAE,+DAA+D;IAC3E,YAAY,EAAE,+DAA+D;IAC7E,YAAY,EAAE,oBAAoB;IAClC,6EAA6E;IAC7E,2EAA2E;IAC3E,aAAa,EAAE,wDAAwD;CACxE,CAAC;AAEF,MAAM,UAAU,uBAAuB,CAAC,KAAa,EAAE,IAAY;IACjE,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC,CAAC,mDAAmD;IACzE,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QACzE,uEAAuE;QACvE,sEAAsE;QACtE,2EAA2E;QAC3E,MAAM,IAAI,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC"}

package/dist/constraints/xsd-order.d.ts

@@ -0,0 +1,33 @@
+/** How a base orders its bounds. */
+export type BoundOrder = 'numeric' | 'temporal' | 'duration';
+/**
+ * The order a restriction's bounds live in. A base that orders by neither
+ * the time line nor duration (numeric, `xs:string`, absent) keeps the numeric
+ * reading bounds have always had, now strict.
+ */
+export declare function boundOrderOf(base: string | undefined): BoundOrder;
+/**
+ * A bound or value under a numeric base: the number its WHOLE text denotes,
+ * or `undefined`. `xs:integer` and its derivations reject a fraction; every
+ * other base takes the `xs:double` lexical space, except that only
+ * `xs:double` and `xs:float` have infinities — `+INF` under `xs:decimal`,
+ * `xs:string` or no base is not a number (PR #7411 review). `NaN` is a
+ * lexeme of `xs:double` but orders nothing, so it is not a usable bound
+ * either. Surrounding whitespace is collapsed, as XSD does for every
+ * numeric type.
+ */
+export declare function readNumeric(raw: string, base: string | undefined): number | undefined;
+/**
+ * A bound under a temporal or duration base, as its validated, trimmed
+ * lexeme; `undefined` when it is not in the base's value space.
+ */
+export declare function readOrderedLexeme(raw: string, base: string | undefined): string | undefined;
+/** Whether `value` is in the value space of a temporal or duration `base`. */
+export declare function isOrderedValue(value: string, base: string | undefined): boolean;
+/**
+ * Order `value` against `bound` under a temporal or duration `base`: -1, 0 or
+ * 1, or `undefined` when `value` is not in the base's value space or XSD
+ * leaves the pair unordered. Callers fail closed on `undefined`.
+ */
+export declare function compareOrdered(value: string | number | boolean, bound: string, base: string | undefined): -1 | 0 | 1 | undefined;
+//# sourceMappingURL=xsd-order.d.ts.map

package/dist/constraints/xsd-order.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-order.d.ts","sourceRoot":"","sources":["../../src/constraints/xsd-order.ts"],"names":[],"mappings":"AA8BA,oCAAoC;AACpC,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;AAoB7D;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAGjE;AAKD;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAYrF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAG3F;AAED,8EAA8E;AAC9E,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAE/E;AAuID;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,GAAG,SAAS,GACvB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAQxB"}