@ifc-lite/ids 3.2.0 → 3.3.2

package/dist/constraints/xsd-order.js

@@ -0,0 +1,211 @@
+/* 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/. */
+/**
+ * Reading and ordering `xs:restriction` bound facets by the restriction's
+ * `@base` (#7399).
+ *
+ * `parseFloat` read every bound, and every value it bounded, whatever the
+ * base: `2024-03-31` became 2024 and `6,5` became 6, so a date range collapsed
+ * to one year and a malformed bound silently truncated. Here a bound is read
+ * only when its whole text is in the base's lexical space, and compared in the
+ * base's own order:
+ *
+ *  - numeric bases: a number, accepted only as a whole lexeme of the base
+ *    (`xs:integer` and its derivations take no fraction);
+ *  - `xs:date` / `xs:dateTime` / `xs:time`: a point on the time line,
+ *    normalised to UTC, with XSD's ±14:00 rule for a zone-less value against a
+ *    zoned one (Part 2 §3.2.7.4);
+ *  - `xs:duration`: XSD's partial order, decided at the four reference
+ *    instants the spec names (§3.2.6.2).
+ *
+ * Where XSD calls an order indeterminate, `compareOrdered` returns
+ * `undefined`, and the matcher fails closed.
+ */
+import { isWhollyNumeric } from '@ifc-lite/encoding';
+import { isValidXsdDateTimeLiteral } from './xsd-datetime.js';
+import { isValidLexicalForXsType } from './xsd-lexical.js';
+const INTEGER_LOCALS = new Set([
+    'integer', 'long', 'int', 'short', 'byte',
+    'nonNegativeInteger', 'positiveInteger', 'nonPositiveInteger', 'negativeInteger',
+    'unsignedLong', 'unsignedInt', 'unsignedShort', 'unsignedByte',
+]);
+/** `xs:date`, `xsd:date` and `date` all name the same base. */
+function localName(base) {
+    if (!base)
+        return '';
+    const colon = base.lastIndexOf(':');
+    return colon >= 0 ? base.slice(colon + 1) : base;
+}
+function dateTimeBaseOf(base) {
+    const local = localName(base);
+    return local === 'date' || local === 'dateTime' || local === 'time' ? `xs:${local}` : undefined;
+}
+/**
+ * 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 function boundOrderOf(base) {
+    if (dateTimeBaseOf(base) !== undefined)
+        return 'temporal';
+    return localName(base) === 'duration' ? 'duration' : 'numeric';
+}
+/** The bases whose value space includes the infinities (`+INF`, `-INF`). */
+const INFINITE_LOCALS = new Set(['double', 'float']);
+/**
+ * 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 function readNumeric(raw, base) {
+    const text = raw.trim();
+    const local = localName(base);
+    const integer = INTEGER_LOCALS.has(local);
+    if (!isValidLexicalForXsType(text, integer ? 'xs:integer' : 'xs:double'))
+        return undefined;
+    if (text === '+INF' || text === '-INF') {
+        if (!INFINITE_LOCALS.has(local))
+            return undefined;
+        return text === '+INF' ? Infinity : -Infinity;
+    }
+    if (!isWhollyNumeric(text))
+        return undefined;
+    const n = Number(text);
+    return Number.isFinite(n) ? n : 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 function readOrderedLexeme(raw, base) {
+    const text = raw.trim();
+    return parseKey(text, base) === undefined ? undefined : text;
+}
+/** Whether `value` is in the value space of a temporal or duration `base`. */
+export function isOrderedValue(value, base) {
+    return parseKey(value.trim(), base) !== undefined;
+}
+/** Days since 1970-01-01 in the proleptic Gregorian calendar (Hinnant). */
+function daysFromCivil(year, month, day) {
+    const y = month <= 2 ? year - 1 : year;
+    const era = Math.floor(y / 400);
+    const yoe = y - era * 400;
+    const doy = Math.floor((153 * ((month + 9) % 12) + 2) / 5) + day - 1;
+    const doe = yoe * 365 + Math.floor(yoe / 4) - Math.floor(yoe / 100) + doy;
+    return era * 146097 + doe - 719468;
+}
+const DATE_TIME_PARTS = /^(\d{4})-(\d{2})-(\d{2})(?:T(\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?)?(Z|[+-]\d{2}:\d{2})?$/;
+/** XSD 1.0 maps an `xs:time` onto this date to order it (§3.2.8). */
+const TIME_REFERENCE_DATE = '1972-12-31T';
+function toInstant(text, base) {
+    if (!isValidXsdDateTimeLiteral(text, base))
+        return undefined;
+    const m = DATE_TIME_PARTS.exec(base === 'xs:time' ? TIME_REFERENCE_DATE + text : text);
+    if (!m)
+        return undefined;
+    const [, y, mo, d, h = '0', mi = '0', s = '0', frac = '', tz] = m;
+    let seconds = daysFromCivil(Number(y), Number(mo), Number(d)) * 86400 +
+        Number(h) * 3600 + Number(mi) * 60 + Number(s);
+    if (tz !== undefined && tz !== 'Z') {
+        const offset = (Number(tz.slice(1, 3)) * 60 + Number(tz.slice(4, 6))) * 60;
+        seconds -= tz[0] === '+' ? offset : -offset;
+    }
+    return { seconds, fraction: frac.replace(/0+$/, ''), zoned: tz !== undefined };
+}
+function sign(n) {
+    return n < 0 ? -1 : n > 0 ? 1 : 0;
+}
+function compareAt(aSeconds, aFraction, bSeconds, bFraction) {
+    if (aSeconds !== bSeconds)
+        return sign(aSeconds - bSeconds);
+    const width = Math.max(aFraction.length, bFraction.length);
+    const fa = aFraction.padEnd(width, '0');
+    const fb = bFraction.padEnd(width, '0');
+    return fa === fb ? 0 : fa < fb ? -1 : 1;
+}
+/** XSD's widest zone offset, in seconds: a zone-less value spans ±14:00. */
+const ZONE_SPAN = 14 * 3600;
+function compareInstants(a, b) {
+    if (a.zoned === b.zoned)
+        return compareAt(a.seconds, a.fraction, b.seconds, b.fraction);
+    // One side has no zone, so it stands for every instant within ±14:00 of
+    // its clock reading; the order is decided only if it holds for all of them.
+    const [zoned, local, flip] = a.zoned ? [a, b, 1] : [b, a, -1];
+    if (compareAt(zoned.seconds, zoned.fraction, local.seconds - ZONE_SPAN, local.fraction) < 0) {
+        return flip === 1 ? -1 : 1;
+    }
+    if (compareAt(zoned.seconds, zoned.fraction, local.seconds + ZONE_SPAN, local.fraction) > 0) {
+        return flip === 1 ? 1 : -1;
+    }
+    return undefined;
+}
+const DURATION_PARTS = /^(-)?P(?:(\d+)Y)?(?:(\d+)M)?(?:(\d+)D)?(?:T(?:(\d+)H)?(?:(\d+)M)?(?:(\d+(?:\.\d+)?)S)?)?$/;
+function toDuration(text) {
+    const m = DURATION_PARTS.exec(text);
+    if (!m)
+        return undefined;
+    const [, neg, y, mo, d, h, mi, s] = m;
+    // `P` alone, or a `T` with nothing after it, is not a duration.
+    if ([y, mo, d, h, mi, s].every((part) => part === undefined))
+        return undefined;
+    if (text.includes('T') && [h, mi, s].every((part) => part === undefined))
+        return undefined;
+    const k = neg ? -1 : 1;
+    return {
+        months: k * (Number(y ?? 0) * 12 + Number(mo ?? 0)),
+        seconds: k * (Number(d ?? 0) * 86400 + Number(h ?? 0) * 3600 + Number(mi ?? 0) * 60 + Number(s ?? 0)),
+    };
+}
+/** The four starting instants XSD orders durations from (§3.2.6.2). */
+const DURATION_REFERENCES = [
+    [1696, 9], [1697, 2], [1903, 3], [1903, 7],
+];
+function endFrom([year, month], d) {
+    // Every reference is the first of its month, so adding months never needs
+    // the end-of-month pinning XSD's addition algorithm otherwise applies.
+    const index = month - 1 + d.months;
+    const y = year + Math.floor(index / 12);
+    const m = index - Math.floor(index / 12) * 12 + 1;
+    return daysFromCivil(y, m, 1) * 86400 + d.seconds;
+}
+function compareDurations(a, b) {
+    const signs = DURATION_REFERENCES.map((ref) => sign(endFrom(ref, a) - endFrom(ref, b)));
+    return signs.every((s) => s === signs[0]) ? signs[0] : undefined;
+}
+function parseKey(text, base) {
+    const dateTimeBase = dateTimeBaseOf(base);
+    if (dateTimeBase !== undefined) {
+        const instant = toInstant(text, dateTimeBase);
+        return instant && { kind: 'instant', instant };
+    }
+    if (localName(base) === 'duration') {
+        const duration = toDuration(text);
+        return duration && { kind: 'duration', duration };
+    }
+    return undefined;
+}
+/**
+ * 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 function compareOrdered(value, bound, base) {
+    if (typeof value !== 'string')
+        return undefined;
+    const a = parseKey(value.trim(), base);
+    const b = parseKey(bound, base);
+    if (a === undefined || b === undefined)
+        return undefined;
+    if (a.kind === 'instant' && b.kind === 'instant')
+        return compareInstants(a.instant, b.instant);
+    if (a.kind === 'duration' && b.kind === 'duration')
+        return compareDurations(a.duration, b.duration);
+    return undefined;
+}
+//# sourceMappingURL=xsd-order.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-order.js","sourceRoot":"","sources":["../../src/constraints/xsd-order.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,yBAAyB,EAAwB,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAK3D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM;IACzC,oBAAoB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,iBAAiB;IAChF,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc;CAC/D,CAAC,CAAC;AAEH,+DAA+D;AAC/D,SAAS,SAAS,CAAC,IAAwB;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,SAAS,cAAc,CAAC,IAAwB;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAClG,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAwB;IACnD,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAC1D,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AACjE,CAAC;AAED,4EAA4E;AAC5E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAErD;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,GAAW,EAAE,IAAwB;IAC/D,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3F,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAClD,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChD,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW,EAAE,IAAwB;IACrE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACxB,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,cAAc,CAAC,KAAa,EAAE,IAAwB;IACpE,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,KAAK,SAAS,CAAC;AACpD,CAAC;AAaD,2EAA2E;AAC3E,SAAS,aAAa,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IAC7D,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IAC1E,OAAO,GAAG,GAAG,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC;AACrC,CAAC;AAED,MAAM,eAAe,GACnB,wFAAwF,CAAC;AAE3F,qEAAqE;AACrE,MAAM,mBAAmB,GAAG,aAAa,CAAC;AAE1C,SAAS,SAAS,CAAC,IAAY,EAAE,IAAqB;IACpD,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvF,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IAClE,IAAI,OAAO,GACT,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;QACvD,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC3E,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,SAAS,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,SAAiB,EAAE,QAAgB,EAAE,SAAiB;IACzF,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,4EAA4E;AAC5E,MAAM,SAAS,GAAG,EAAE,GAAG,IAAI,CAAC;AAE5B,SAAS,eAAe,CAAC,CAAU,EAAE,CAAU;IAC7C,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IACxF,wEAAwE;IACxE,4EAA4E;IAC5E,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,GAAG,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5F,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,GAAG,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5F,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAWD,MAAM,cAAc,GAClB,2FAA2F,CAAC;AAE9F,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACtC,gEAAgE;IAChE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/E,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3F,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,OAAO;QACL,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;KACtG,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,mBAAmB,GAA6C;IACpE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;CAC3C,CAAC;AAEF,SAAS,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,CAA4B,EAAE,CAAW;IACpE,0EAA0E;IAC1E,uEAAuE;IACvE,MAAM,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClD,OAAO,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC;AACpD,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAW,EAAE,CAAW;IAChD,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC;AAMD,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAwB;IACtD,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC9C,OAAO,OAAO,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,QAAQ,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgC,EAChC,KAAa,EACb,IAAwB;IAExB,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAC/F,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IACpG,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/constraints/xsd-regex-ast.d.ts

@@ -0,0 +1,37 @@
+/**
+ * A small parser for XSD regular expressions (XML Schema Part 2,
+ * Appendix F), producing the tree the example generator walks. It does
+ * not decide what a pattern MEANS: every character class keeps its source
+ * text, and membership is answered by the same translator the checker
+ * uses (`translateXsdRegex`), so the generator can never disagree with
+ * validation about a class.
+ *
+ * Grammar: regExp ::= branch ('|' branch)*; branch ::= piece*;
+ * piece ::= atom quantifier?; atom ::= char | charClass | '(' regExp ')'.
+ * XSD has no anchors, lookaround or back-references.
+ */
+export type XsdNode = {
+    type: 'alt';
+    branches: XsdNode[][];
+} | {
+    type: 'char';
+    value: string;
+}
+/** A class (`[…]`, `\d`, `\p{Lu}`, `.`) by its XSD source text. */
+ | {
+    type: 'class';
+    source: string;
+} | {
+    type: 'group';
+    body: XsdNode;
+} | {
+    type: 'repeat';
+    node: XsdNode;
+    min: number;
+    max: number;
+};
+export declare class XsdParseError extends Error {
+    constructor(message: string);
+}
+export declare function parseXsdRegex(pattern: string): XsdNode;
+//# sourceMappingURL=xsd-regex-ast.d.ts.map

package/dist/constraints/xsd-regex-ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-regex-ast.d.ts","sourceRoot":"","sources":["../../src/constraints/xsd-regex-ast.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;GAWG;AAEH,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AACjC,mEAAmE;GACjE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhE,qBAAa,aAAc,SAAQ,KAAK;gBAC1B,OAAO,EAAE,MAAM;CAI5B;AAMD,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAgHtD"}

package/dist/constraints/xsd-regex-ast.js

@@ -0,0 +1,137 @@
+/* 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/. */
+export class XsdParseError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'XsdParseError';
+    }
+}
+const SINGLE_ESCAPES = { n: '\n', r: '\r', t: '\t' };
+const CLASS_ESCAPES = new Set(['s', 'S', 'i', 'I', 'c', 'C', 'd', 'D', 'w', 'W']);
+const META = new Set(['\\', '|', '.', '-', '^', '?', '*', '+', '{', '}', '(', ')', '[', ']']);
+export function parseXsdRegex(pattern) {
+    let i = 0;
+    const classEnd = (start) => {
+        // `start` holds `[`; returns the index just past the matching `]`
+        // (nested `-[…]` subtraction included).
+        let j = start + 1;
+        if (pattern[j] === '^')
+            j++;
+        let first = true;
+        while (j < pattern.length) {
+            const c = pattern[j];
+            if (c === '\\') {
+                const prop = /^\\[pP]\{[^}]*\}/.exec(pattern.slice(j));
+                j += prop ? prop[0].length : 2;
+            }
+            else if (c === '-' && pattern[j + 1] === '[') {
+                j = classEnd(j + 1);
+                if (pattern[j] !== ']')
+                    throw new XsdParseError(`a subtraction must end its class at ${j}`);
+                return j + 1;
+            }
+            else if (c === ']' && !first) {
+                return j + 1;
+            }
+            else {
+                j++;
+            }
+            first = false;
+        }
+        throw new XsdParseError(`unterminated character class at ${start}`);
+    };
+    const atom = () => {
+        const c = pattern[i];
+        if (c === '(') {
+            i++;
+            // `(?:…)` is not XSD, but checkers (and ours) read it as a plain group (IDSL-REGEX-003).
+            if (pattern.startsWith('?:', i))
+                i += 2;
+            const body = alt();
+            if (pattern[i] !== ')')
+                throw new XsdParseError(`missing ) at ${i}`);
+            i++;
+            return { type: 'group', body };
+        }
+        if (c === '[') {
+            const end = classEnd(i);
+            const source = pattern.slice(i, end);
+            i = end;
+            return { type: 'class', source };
+        }
+        if (c === '.') {
+            i++;
+            return { type: 'class', source: '.' };
+        }
+        if (c === '\\') {
+            const n = pattern[i + 1];
+            if (n === undefined)
+                throw new XsdParseError('dangling \\ at the end');
+            if (n === 'p' || n === 'P') {
+                const m = /^\\[pP]\{[^}]*\}/.exec(pattern.slice(i));
+                if (!m)
+                    throw new XsdParseError(`malformed \\${n}{…} at ${i}`);
+                i += m[0].length;
+                return { type: 'class', source: m[0] };
+            }
+            i += 2;
+            if (CLASS_ESCAPES.has(n))
+                return { type: 'class', source: `\\${n}` };
+            if (n in SINGLE_ESCAPES)
+                return { type: 'char', value: SINGLE_ESCAPES[n] };
+            if (META.has(n))
+                return { type: 'char', value: n };
+            // Not a valid XSD escape, but checkers (and ours) read an escaped
+            // punctuation character as itself (`\/` occurs in real IDS files).
+            if (!/[\p{L}\p{N}]/u.test(n))
+                return { type: 'char', value: n };
+            throw new XsdParseError(`unknown escape \\${n}`);
+        }
+        if (c === ')' || c === '|' || c === '?' || c === '*' || c === '+' || c === '{') {
+            throw new XsdParseError(`unexpected ${c} at ${i}`);
+        }
+        const cp = pattern.codePointAt(i);
+        const value = String.fromCodePoint(cp);
+        i += value.length;
+        return { type: 'char', value };
+    };
+    const quantified = (node) => {
+        const c = pattern[i];
+        if (c === '?' || c === '*' || c === '+') {
+            i++;
+            return { type: 'repeat', node, min: c === '+' ? 1 : 0, max: c === '?' ? 1 : Infinity };
+        }
+        if (c === '{') {
+            const m = /^\{(\d+)(,(\d*))?\}/.exec(pattern.slice(i));
+            if (!m)
+                throw new XsdParseError(`malformed quantifier at ${i}`);
+            i += m[0].length;
+            const min = Number(m[1]);
+            const max = m[2] === undefined ? min : m[3] === '' ? Infinity : Number(m[3]);
+            if (max < min)
+                throw new XsdParseError(`quantifier {${min},${max}} has max < min`);
+            return { type: 'repeat', node, min, max };
+        }
+        return node;
+    };
+    const branch = () => {
+        const items = [];
+        while (i < pattern.length && pattern[i] !== '|' && pattern[i] !== ')')
+            items.push(quantified(atom()));
+        return items;
+    };
+    const alt = () => {
+        const branches = [branch()];
+        while (pattern[i] === '|') {
+            i++;
+            branches.push(branch());
+        }
+        return { type: 'alt', branches };
+    };
+    const root = alt();
+    if (i !== pattern.length)
+        throw new XsdParseError(`unexpected ${pattern[i]} at ${i}`);
+    return root;
+}
+//# sourceMappingURL=xsd-regex-ast.js.map

package/dist/constraints/xsd-regex-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-regex-ast.js","sourceRoot":"","sources":["../../src/constraints/xsd-regex-ast.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAuB/D,MAAM,OAAO,aAAc,SAAQ,KAAK;IACtC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED,MAAM,cAAc,GAAqC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;AACvF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAClF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9F,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAU,EAAE;QACzC,kEAAkE;QAClE,wCAAwC;QACxC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAClB,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,CAAC,EAAE,CAAC;QAC5B,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,CAAC;iBAAM,IAAI,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC/C,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpB,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,MAAM,IAAI,aAAa,CAAC,uCAAuC,CAAC,EAAE,CAAC,CAAC;gBAC5F,OAAO,CAAC,GAAG,CAAC,CAAC;YACf,CAAC;iBAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC/B,OAAO,CAAC,GAAG,CAAC,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,CAAC,EAAE,CAAC;YACN,CAAC;YACD,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;QACD,MAAM,IAAI,aAAa,CAAC,mCAAmC,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,GAAY,EAAE;QACzB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,CAAC,EAAE,CAAC;YACJ,yFAAyF;YACzF,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAE,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC;YACnB,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;YACrE,CAAC,EAAE,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACjC,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACrC,CAAC,GAAG,GAAG,CAAC;YACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,CAAC,EAAE,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,aAAa,CAAC,wBAAwB,CAAC,CAAC;YACvE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,IAAI,CAAC,CAAC;oBAAE,MAAM,IAAI,aAAa,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;gBAC/D,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACjB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,CAAC;YACD,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;YACrE,IAAI,CAAC,IAAI,cAAc;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACnD,kEAAkE;YAClE,mEAAmE;YACnE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,aAAa,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAC/E,MAAM,IAAI,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAW,CAAC;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC;QAClB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,CAAC,IAAa,EAAW,EAAE;QAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACxC,CAAC,EAAE,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzF,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;YAChE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACjB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,IAAI,GAAG,GAAG,GAAG;gBAAE,MAAM,IAAI,aAAa,CAAC,eAAe,GAAG,IAAI,GAAG,iBAAiB,CAAC,CAAC;YACnF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,GAAc,EAAE;QAC7B,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACtG,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,GAAG,GAAG,GAAY,EAAE;QACxB,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5B,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC1B,CAAC,EAAE,CAAC;YACJ,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACnC,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC;IACnB,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM;QAAE,MAAM,IAAI,aAAa,CAAC,cAAc,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/constraints/xsd-regex-blocks.d.ts

@@ -0,0 +1,7 @@
+/**
+ * The class members (`\u0000-\u007F`, ready to splice inside `[ … ]`) for
+ * an XSD block name without its `Is` prefix, or `undefined` when XSD
+ * defines no such block.
+ */
+export declare function xsdBlockClassMembers(name: string): string | undefined;
+//# sourceMappingURL=xsd-regex-blocks.d.ts.map

package/dist/constraints/xsd-regex-blocks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-regex-blocks.d.ts","sourceRoot":"","sources":["../../src/constraints/xsd-regex-blocks.ts"],"names":[],"mappings":"AAuDA;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAUrE"}

package/dist/constraints/xsd-regex-blocks.js

@@ -0,0 +1,68 @@
+/* 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/. */
+/**
+ * The Unicode blocks an XSD `\p{IsName}` / `\P{IsName}` block escape may
+ * name: XML Schema Part 2, Appendix F.1.1 (the Unicode 3.1 `Blocks.txt`
+ * list, with its ranges). JS regex has no block escapes, so the translator
+ * replaces each with the code-point range(s) below.
+ *
+ * Packed as `Name start end` triples (hex code points). `PrivateUse` and
+ * `Specials` appear more than once in the spec's table; every range listed
+ * for a name belongs to that name's block escape.
+ */
+const PACKED = `
+BasicLatin 0 7F|Latin-1Supplement 80 FF|LatinExtended-A 100 17F|LatinExtended-B 180 24F
+IPAExtensions 250 2AF|SpacingModifierLetters 2B0 2FF|CombiningDiacriticalMarks 300 36F
+Greek 370 3FF|Cyrillic 400 4FF|Armenian 530 58F|Hebrew 590 5FF|Arabic 600 6FF|Syriac 700 74F
+Thaana 780 7BF|Devanagari 900 97F|Bengali 980 9FF|Gurmukhi A00 A7F|Gujarati A80 AFF
+Oriya B00 B7F|Tamil B80 BFF|Telugu C00 C7F|Kannada C80 CFF|Malayalam D00 D7F|Sinhala D80 DFF
+Thai E00 E7F|Lao E80 EFF|Tibetan F00 FFF|Myanmar 1000 109F|Georgian 10A0 10FF
+HangulJamo 1100 11FF|Ethiopic 1200 137F|Cherokee 13A0 13FF
+UnifiedCanadianAboriginalSyllabics 1400 167F|Ogham 1680 169F|Runic 16A0 16FF|Khmer 1780 17FF
+Mongolian 1800 18AF|LatinExtendedAdditional 1E00 1EFF|GreekExtended 1F00 1FFF
+GeneralPunctuation 2000 206F|SuperscriptsandSubscripts 2070 209F|CurrencySymbols 20A0 20CF
+CombiningMarksforSymbols 20D0 20FF|LetterlikeSymbols 2100 214F|NumberForms 2150 218F
+Arrows 2190 21FF|MathematicalOperators 2200 22FF|MiscellaneousTechnical 2300 23FF
+ControlPictures 2400 243F|OpticalCharacterRecognition 2440 245F
+EnclosedAlphanumerics 2460 24FF|BoxDrawing 2500 257F|BlockElements 2580 259F
+GeometricShapes 25A0 25FF|MiscellaneousSymbols 2600 26FF|Dingbats 2700 27BF
+BraillePatterns 2800 28FF|CJKRadicalsSupplement 2E80 2EFF|KangxiRadicals 2F00 2FDF
+IdeographicDescriptionCharacters 2FF0 2FFF|CJKSymbolsandPunctuation 3000 303F
+Hiragana 3040 309F|Katakana 30A0 30FF|Bopomofo 3100 312F|HangulCompatibilityJamo 3130 318F
+Kanbun 3190 319F|BopomofoExtended 31A0 31BF|EnclosedCJKLettersandMonths 3200 32FF
+CJKCompatibility 3300 33FF|CJKUnifiedIdeographsExtensionA 3400 4DB5
+CJKUnifiedIdeographs 4E00 9FFF|YiSyllables A000 A48F|YiRadicals A490 A4CF
+HangulSyllables AC00 D7A3|HighSurrogates D800 DB7F|HighPrivateUseSurrogates DB80 DBFF
+LowSurrogates DC00 DFFF|PrivateUse E000 F8FF|CJKCompatibilityIdeographs F900 FAFF
+AlphabeticPresentationForms FB00 FB4F|ArabicPresentationForms-A FB50 FDFF
+CombiningHalfMarks FE20 FE2F|CJKCompatibilityForms FE30 FE4F|SmallFormVariants FE50 FE6F
+ArabicPresentationForms-B FE70 FEFE|Specials FEFF FEFF|HalfwidthandFullwidthForms FF00 FFEF
+Specials FFF0 FFFD|OldItalic 10300 1032F|Gothic 10330 1034F|Deseret 10400 1044F
+ByzantineMusicalSymbols 1D000 1D0FF|MusicalSymbols 1D100 1D1FF
+MathematicalAlphanumericSymbols 1D400 1D7FF|CJKUnifiedIdeographsExtensionB 20000 2A6D6
+CJKCompatibilityIdeographsSupplement 2F800 2FA1F|Tags E0000 E007F
+PrivateUse F0000 FFFFD|PrivateUse 100000 10FFFD`;
+/** JS class-escape spelling of one code point, valid under the `u` flag. */
+function codePointEscape(cp) {
+    const hex = cp.toString(16).toUpperCase();
+    return cp <= 0xffff ? `\\u${hex.padStart(4, '0')}` : `\\u{${hex}}`;
+}
+let blockMembers;
+/**
+ * The class members (`\u0000-\u007F`, ready to splice inside `[ … ]`) for
+ * an XSD block name without its `Is` prefix, or `undefined` when XSD
+ * defines no such block.
+ */
+export function xsdBlockClassMembers(name) {
+    if (!blockMembers) {
+        blockMembers = new Map();
+        for (const entry of PACKED.trim().split(/[|\n]/)) {
+            const [block, start, end] = entry.split(' ');
+            const range = `${codePointEscape(parseInt(start, 16))}-${codePointEscape(parseInt(end, 16))}`;
+            blockMembers.set(block, (blockMembers.get(block) ?? '') + range);
+        }
+    }
+    return blockMembers.get(name);
+}
+//# sourceMappingURL=xsd-regex-blocks.js.map

package/dist/constraints/xsd-regex-blocks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-regex-blocks.js","sourceRoot":"","sources":["../../src/constraints/xsd-regex-blocks.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;GASG;AACH,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gDA+BiC,CAAC;AAEjD,4EAA4E;AAC5E,SAAS,eAAe,CAAC,EAAU;IACjC,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1C,OAAO,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC;AACrE,CAAC;AAED,IAAI,YAA6C,CAAC;AAElD;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,GAAG,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9F,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC"}

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

@@ -1,37 +1,3 @@
-/**
- * Canonical XSD-regex → JavaScript-regex translator shared by the
- * constraint matcher (`matchPattern`) and the document auditor
- * (`audit/coherence`). Keeping a single implementation avoids the two
- * dialects drifting apart.
- *
- * Ported from `IdsLib/IdsSchema/XsNodes/XmlRegex.cs` (MIT) which itself
- * mirrors Microsoft's reference XSD facet checker. XSD regex extends
- * the JS dialect with:
- *
- *  - `\i`  — XML name start char (letter, `_`, `:` plus a swathe of
- *            Unicode letters)
- *  - `\c`  — XML name char (`\i` plus digits, `.`, `-`, U+00B7, etc.)
- *  - `\d`  — Unicode digit (broader than JS `[0-9]`)
- *  - `\w`  — Unicode word char (letters + digits, no `_`)
- *  - `\D`, `\C`, `\I`, `\W` — negations
- *  - `\p{IsBasicLatin}`-style Unicode *block* escapes — .NET supports
- *    these but JS does not, so they are approximated.
- *  - char-class subtraction `[a-z-[aeiou]]` — no JS class syntax under
- *    `u`, translated exactly to a negative lookahead (`translateSubtraction`).
- *
- * The translation maps to JS Unicode property escapes, so the compiled
- * `RegExp` MUST use the `u` flag. Verbatim `\p{…}` / `\P{…}` *category*
- * classes pass through unchanged — they too require `u`.
- *
- * Translation is character-class aware: a multi-character escape like
- * `\w` expands to a bracketed class `[\p{L}\p{Nd}]` at top level but to
- * its bare members `\p{L}\p{Nd}` when it already sits inside `[ … ]`, so
- * `[\w]` does not become the invalid nested class `[[\p{L}\p{Nd}]]`.
- * Constructs with no faithful JS form (block escapes, a negated class
- * escape inside `[ … ]`) are replaced with an any-character placeholder
- * and `supported` is set to `false` so callers can warn instead of
- * trusting the (approximate) result.
- */
 export interface TranslateResult {
     /** The pattern usable with the JS `RegExp` constructor (under `u`). */
     pattern: string;
@@ -43,19 +9,10 @@ export interface TranslateResult {
      */
     reason: string;
 }
-/**
- * `TranslateResult.reason` when the pattern uses XSD character-class
- * subtraction (`[a-z-[aeiou]]`). Exported so a caller that needs to
- * distinguish this specific construct — rather than "some construct is
- * unsupported" in general — doesn't have to duplicate the message
- * string (see `matchPattern`'s fail-closed check, which refuses only
- * a subtraction pattern rather than every approximated construct).
- */
-export declare const SUBTRACTION_UNSUPPORTED_REASON = "XSD character-class subtraction is not supported in JS regex";
 /**
  * Translate the XSD pattern. Returns the JS-compatible pattern plus a
- * `supported` flag — when `false`, callers should warn / treat the
- * result leniently (an untranslatable construct was approximated).
+ * `supported` flag — when `false`, `reason` names the construct that has
+ * no exact JS form and the pattern must not be trusted.
  */
 export declare function translateXsdRegex(pattern: string): TranslateResult;
 //# sourceMappingURL=xsd-regex.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"xsd-regex.d.ts","sourceRoot":"","sources":["../../src/constraints/xsd-regex.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,SAAS,EAAE,OAAO,CAAC;IACnB;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC;CAChB;AAMD;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,iEACqB,CAAC;AAEjE;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,eAAe,CAmFlE"}
+{"version":3,"file":"xsd-regex.d.ts","sourceRoot":"","sources":["../../src/constraints/xsd-regex.ts"],"names":[],"mappings":"AAwDA,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,SAAS,EAAE,OAAO,CAAC;IACnB;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC;CAChB;AAwDD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,eAAe,CA0DlE"}