@techspokes/typescript-wsdl-client 1.1.4 → 1.1.5

package/dist/compiler/schemaPattern.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaPattern.d.ts","sourceRoot":"","sources":["../../src/compiler/schemaPattern.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,OAAO,KAAK,EAAuB,oBAAoB,EAAC,MAAM,yBAAyB,CAAC;AAIxF,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAC,GACxE;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAC,GAAG;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAC,GAC/F;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,GAAG,WAAW,CAAA;CAAC,CAAC,CAAC;AAC3E,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,QAAQ,EAAE,oBAAoB,CAAC;IAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAC5E,OAAO,EAAE,aAAa,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;CAC9C,CAAC,CAAC;AAMH,wBAAgB,cAAc,CAAC,KAAK,EAAE,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC;;;;;;;;;;;;;;;;;;;;;;kBARxD,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;;kBADlC,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;eA+TW,MAAM,mBAAiB,OAAO;;kBAhU3E,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;cA6JnC,gBAAgB;eAAS,SAAS,CAAC,MAAM,CAAC;;cAAW,kBAAkB;;;kBA9JtE,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;6BA8NyB,MAAM,KAAG,SAAS,CAAC,MAAM,CAAC;;kBA/NrF,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOgE;AAC9G,sFAAsF;AACtF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC;;;;;;;;;;;;;;;;;;;;;;kBAV1D,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;;kBADlC,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;eA+TW,MAAM,mBAAiB,OAAO;;kBAhU3E,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;cA6JnC,gBAAgB;eAAS,SAAS,CAAC,MAAM,CAAC;;cAAW,kBAAkB;;;kBA9JtE,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;6BA8NyB,MAAM,KAAG,SAAS,CAAC,MAAM,CAAC;;kBA/NrF,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASiE;AAC/G,6FAA6F;AAC7F,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC;;;;;;;;;;;;;;;;;;;;;;kBAZlE,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;;kBADlC,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;eA+TW,MAAM,mBAAiB,OAAO;;kBAhU3E,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;cA6JnC,gBAAgB;eAAS,SAAS,CAAC,MAAM,CAAC;;cAAW,kBAAkB;;;kBA9JtE,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;6BA8NyB,MAAM,KAAG,SAAS,CAAC,MAAM,CAAC;;kBA/NrF,oBAAoB;eAAS,SAAS,WAAW,EAAE;cAAQ,MAAM;iBAClE,aAAa;sBAAgB,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW+E"}

package/dist/compiler/schemaPattern.js

@@ -0,0 +1,581 @@
+import { XML_NAME_RANGES } from '../loader/orderedSyntax.js';
+import { schemaRegularLanguages } from './schemaRegularLanguage.js';
+export function schemaPatterns(c) { return createSchemaPatterns(c, false); }
+/** Closed assessment-schema consumer; this does not widen the application profile. */
+export function fixedS4SPatterns(c) { return createSchemaPatterns(c, true); }
+/** Private original builtin facet-component consumer; caller patterns keep their profile. */
+export function intrinsicBuiltinPatterns(c) { return createSchemaPatterns(c, true, true); }
+function createSchemaPatterns(c, fixedSchemaNames, intrinsicNames = false) {
+    // Separate privately captured records: mutating an exposed plan cannot
+    // manufacture literal-language authority or alter these compiled facts.
+    const literalPrograms = new WeakMap();
+    const regular = schemaRegularLanguages(c), regularPrograms = new WeakMap();
+    const compile = (lexical, owner) => {
+        c.text(lexical.value, owner);
+        const source = lexical.value, atoms = [], literals = [];
+        const add = (atom, literal, explicitClass = false) => {
+            c.step(owner, 3 + (atom.kind === 'sequence' || atom.kind === 'choice' ? atom.children.length : 0));
+            atoms.push(atom);
+            literals.push(atom.kind === 'character' ? literal === undefined
+                ? explicitClass ? { kind: 'class', expression: atom.expression } : { kind: 'outside' }
+                : { kind: 'literal', value: literal }
+                : atom.kind === 'repeat' ? { ...atom } : { kind: atom.kind, children: [...atom.children] });
+            return atoms.length - 1;
+        };
+        const invalid = () => c.fail(owner, "pattern-valid-restriction", "Malformed XSD regular expression", lexical.context.source);
+        const unsupported = () => c.unsupported(owner, "pattern-subset", "XSD regex construct requires a separately evidenced equivalent implementation", lexical.context.source);
+        let i = 0, escapedLiteral;
+        const escaped = (inClass = false) => {
+            escapedLiteral = undefined;
+            i++;
+            const char = source[i++];
+            if (char === undefined)
+                return invalid();
+            if (char === "n") {
+                escapedLiteral = '\n';
+                return "\\n";
+            }
+            if (char === "r") {
+                escapedLiteral = '\r';
+                return "\\r";
+            }
+            if (char === "t") {
+                escapedLiteral = '\t';
+                return "\\t";
+            }
+            if ("\\|.-^?*+{}()[]".includes(char)) {
+                escapedLiteral = char;
+                return char === '-' && !inClass ? '-' : `\\${char}`;
+            }
+            if (char === "s")
+                return "[ \\t\\n\\r]";
+            if (char === "S")
+                return "[^ \\t\\n\\r]";
+            if (char === "d")
+                return "\\p{Nd}";
+            if (char === "D")
+                return "\\P{Nd}";
+            if (char === "p" || char === "P") {
+                if (source[i++] !== "{")
+                    return invalid();
+                const start = i;
+                while (i < source.length && source[i] !== "}") {
+                    c.step(owner);
+                    i++;
+                }
+                if (source[i++] !== "}")
+                    return invalid();
+                const category = source.slice(start, i - 1);
+                if (category.startsWith("Is"))
+                    return unsupported();
+                if (!/^(?:L[ultmo]?|M[nce]?|N[dlo]?|P[cdseifo]?|Z[slp]?|S[mcko]?|C[cfon]?)$/.test(category))
+                    return invalid();
+                return `\\${char}{${category}}`;
+            }
+            if ("iIcC".includes(char)) {
+                if (!fixedSchemaNames)
+                    return unsupported();
+                const range = char === 'i' || char === 'I' ? XML_NAME_RANGES.start : XML_NAME_RANGES.character;
+                c.step(owner, range.length + 3);
+                return `[${char === 'I' || char === 'C' ? '^' : ''}${range}]`;
+            }
+            if ("wW".includes(char))
+                return unsupported();
+            return invalid();
+        };
+        const characterClass = () => {
+            if (intrinsicNames) {
+                c.step(owner, 20);
+                const start = source.startsWith("[\\i-[:]]", i), character = source.startsWith("[\\c-[:]]", i);
+                if (start || character) {
+                    const range = start ? XML_NAME_RANGES.start : XML_NAME_RANGES.character;
+                    c.step(owner, range.length + 12);
+                    i += 8;
+                    return `(?!:)[${range}]`;
+                }
+            }
+            i++;
+            let body = "", negative = false;
+            if (source[i] === "^") {
+                negative = true;
+                i++;
+            }
+            let count = 0, canEndRange = false, rangeEnd = false;
+            while (i < source.length && source[i] !== "]") {
+                c.step(owner);
+                const char = source[i];
+                if (char === "[" || char === "-" && source[i + 1] === "[")
+                    return unsupported();
+                if (char === "-") {
+                    if (count === 0 || source[i + 1] === "]") {
+                        body += "\\-";
+                        i++;
+                        count++;
+                        canEndRange = false;
+                        continue;
+                    }
+                    if (!canEndRange || rangeEnd)
+                        return invalid();
+                    body += "-";
+                    i++;
+                    canEndRange = false;
+                    rangeEnd = true;
+                    continue;
+                }
+                if (char === "\\") {
+                    const escape = escaped(true);
+                    // Nested character-class escapes need set algebra. Do not copy a
+                    // non-equivalent ECMAScript class into a verified plan.
+                    if (escape.startsWith("["))
+                        return unsupported();
+                    if (rangeEnd && /\\[pP]\{/.test(escape))
+                        return invalid();
+                    body += escape;
+                    canEndRange = !/\\[pP]\{/.test(escape) && !rangeEnd;
+                }
+                else {
+                    const point = source.codePointAt(i), literal = String.fromCodePoint(point);
+                    body += literal === "^" ? "\\^" : literal;
+                    i += point > 0xffff ? 2 : 1;
+                    canEndRange = !rangeEnd;
+                }
+                if (rangeEnd) {
+                    rangeEnd = false;
+                    canEndRange = false;
+                }
+                count++;
+            }
+            if (!count || source[i++] !== "]")
+                return invalid();
+            const result = `[${negative ? "^" : ""}${body}]`;
+            c.text(result, owner);
+            try {
+                new RegExp(result, "u");
+            }
+            catch {
+                return invalid();
+            }
+            return result;
+        };
+        const frames = [{ branches: [], pieces: [] }];
+        const closeBranch = (frame) => { c.step(owner, frame.pieces.length); frame.branches.push(add({ kind: "sequence", children: frame.pieces })); frame.pieces = []; };
+        const quantified = (atom) => {
+            const char = source[i];
+            let min = "1", max = "1";
+            if (char === "?" || char === "*" || char === "+") {
+                i++;
+                min = char === "+" ? "1" : "0";
+                max = char === "?" ? "1" : "unbounded";
+            }
+            else if (char === "{") {
+                i++;
+                const start = i;
+                while (/\d/.test(source[i] ?? "") && i < source.length) {
+                    c.step(owner);
+                    i++;
+                }
+                if (i === start)
+                    return invalid();
+                min = source.slice(start, i).replace(/^0+(?=\d)/, "");
+                max = min;
+                if (source[i] === ",") {
+                    i++;
+                    const next = i;
+                    while (/\d/.test(source[i] ?? "") && i < source.length) {
+                        c.step(owner);
+                        i++;
+                    }
+                    max = next === i ? "unbounded" : source.slice(next, i).replace(/^0+(?=\d)/, "");
+                }
+                if (source[i++] !== "}")
+                    return invalid();
+                if (c.algebra.compare(min, max) > 0)
+                    return invalid();
+            }
+            return min === "1" && max === "1" ? atom : add({ kind: "repeat", child: atom, min, max });
+        };
+        while (i < source.length) {
+            c.step(owner);
+            const frame = frames.at(-1), char = source[i];
+            if (char === "(") {
+                i++;
+                c.step(owner);
+                frames.push({ branches: [], pieces: [] });
+                continue;
+            }
+            if (char === "|") {
+                i++;
+                closeBranch(frame);
+                continue;
+            }
+            if (char === ")") {
+                if (frames.length === 1)
+                    return invalid();
+                i++;
+                closeBranch(frame);
+                c.step(owner, frame.branches.length);
+                const atom = add({ kind: "choice", children: frame.branches });
+                frames.pop();
+                frames.at(-1).pieces.push(quantified(atom));
+                continue;
+            }
+            if ("?*+{}]".includes(char))
+                return invalid();
+            let expression, literal;
+            if (char === "[")
+                expression = characterClass();
+            else if (char === "\\") {
+                expression = escaped();
+                literal = escapedLiteral;
+            }
+            else if (char === ".") {
+                i++;
+                expression = "[^\\r\\n]";
+            }
+            else {
+                const point = source.codePointAt(i);
+                i += point > 0xffff ? 2 : 1;
+                literal = String.fromCodePoint(point);
+                expression = literal.replace(/[\\^$.*+?()[\]{}|]/g, "\\$&");
+            }
+            c.text(expression, owner);
+            frame.pieces.push(quantified(add({ kind: "character", expression }, literal, char === '[')));
+        }
+        if (frames.length !== 1)
+            return invalid();
+        closeBranch(frames[0]);
+        c.step(owner, frames[0].branches.length);
+        const root = add({ kind: "choice", children: frames[0].branches });
+        c.step(owner, 3);
+        const pattern = { language: "xsd10-whole-string", atoms, root, unicode: "code-points", runtimeOwner: "#184" };
+        literalPrograms.set(pattern, { atoms: literals, root, sourceLength: source.length });
+        c.step(owner, atoms.length * 4 + 2);
+        const privateAtoms = atoms.map(atom => {
+            if (atom.kind === 'choice' || atom.kind === 'sequence') {
+                c.step(owner, atom.children.length + 3);
+                return { ...atom, children: [...atom.children] };
+            }
+            return { ...atom };
+        });
+        regularPrograms.set(pattern, { atoms: privateAtoms, root });
+        return pattern;
+    };
+    /** Exact finite literal fragment, used only to propose concretely checked operands. */
+    const literalLanguage = (pattern, owner) => {
+        c.step(owner);
+        const program = literalPrograms.get(pattern);
+        if (!program)
+            throw new TypeError('Literal language requires a pattern issued by this factory');
+        c.step(owner, program.atoms.length * 2 + 2);
+        const finite = [], emptyOnly = [];
+        for (const atom of program.atoms) {
+            c.step(owner, 3);
+            let known = false, empty = false;
+            if (atom.kind === 'literal')
+                known = true;
+            else if (atom.kind === 'sequence' || atom.kind === 'choice') {
+                c.step(owner, atom.children.length * 2);
+                known = atom.children.every(child => finite[child]);
+                empty = atom.children.every(child => emptyOnly[child]);
+            }
+            else if (atom.kind === 'repeat') {
+                c.text(atom.max, owner);
+                empty = atom.max === '0' || emptyOnly[atom.child];
+                known = empty || atom.max !== 'unbounded' && finite[atom.child];
+            }
+            finite.push(known);
+            emptyOnly.push(empty);
+        }
+        if (!finite[program.root])
+            return { kind: 'outside-fragment' };
+        function* words() {
+            c.step(owner, 4);
+            const states = [{ pending: [{ kind: 'node', node: program.root }], word: '' }];
+            while (states.length) {
+                c.step(owner);
+                const state = states.pop();
+                while (state.pending.length) {
+                    c.step(owner);
+                    const task = state.pending.pop();
+                    if (task.kind === 'repeat') {
+                        c.step(owner, task.digits * 4 + 6);
+                        if (task.max === 0n)
+                            continue;
+                        const next = { ...task, min: task.min > 0n ? task.min - 1n : 0n, max: task.max - 1n };
+                        if (task.min > 0n)
+                            state.pending.push(next, { kind: 'node', node: task.child });
+                        else {
+                            c.step(owner, state.pending.length + 4);
+                            states.push({ word: state.word, pending: [...state.pending, next, { kind: 'node', node: task.child }] });
+                        }
+                        continue;
+                    }
+                    if (emptyOnly[task.node])
+                        continue;
+                    const atom = program.atoms[task.node];
+                    if (atom.kind === 'literal') {
+                        c.step(owner, state.word.length + atom.value.length + 1);
+                        state.word += atom.value;
+                    }
+                    else if (atom.kind === 'sequence') {
+                        c.step(owner, atom.children.length * 2);
+                        for (let index = atom.children.length - 1; index >= 0; index--)
+                            state.pending.push({ kind: 'node', node: atom.children[index] });
+                    }
+                    else if (atom.kind === 'choice') {
+                        for (let index = atom.children.length - 1; index > 0; index--) {
+                            c.step(owner, state.pending.length + 4);
+                            states.push({ word: state.word, pending: [...state.pending, { kind: 'node', node: atom.children[index] }] });
+                        }
+                        c.step(owner);
+                        state.pending.push({ kind: 'node', node: atom.children[0] });
+                    }
+                    else if (atom.kind === 'repeat') {
+                        c.text(atom.min, owner);
+                        c.text(atom.max, owner);
+                        c.step(owner, atom.min.length * atom.min.length + atom.max.length * atom.max.length + 3);
+                        state.pending.push({ kind: 'repeat', child: atom.child, min: BigInt(atom.min), max: BigInt(atom.max), digits: atom.max.length });
+                    }
+                    else
+                        throw new TypeError('Private finite literal program contains an outside-fragment atom');
+                }
+                c.text(state.word, owner);
+                yield state.word;
+            }
+        }
+        c.step(owner);
+        return { kind: 'finite-literal', words: words() };
+    };
+    /** Sound proposals for the private literal/class grammar; no exhaustion claim. */
+    function* positiveWords(pattern, owner, hints) {
+        c.step(owner);
+        const program = literalPrograms.get(pattern);
+        if (!program)
+            throw new TypeError('Positive words require a pattern issued by this factory');
+        c.step(owner, 12);
+        let states = [{ pending: [{ kind: 'node', node: program.root }], word: '' }];
+        const deferred = [];
+        const classChoices = new Map();
+        const classRegexes = new Map();
+        const scannedClasses = new Set();
+        let cursor = 0, exploringClasses = false;
+        const enqueue = (state, tasks = [], suffix = '') => {
+            c.step(owner, state.pending.length + tasks.length + state.word.length + suffix.length + 8);
+            states.push({ pending: [...state.pending, ...tasks], word: state.word + suffix });
+        };
+        while (cursor < states.length || (!exploringClasses && deferred.length)) {
+            if (cursor === states.length) {
+                c.step(owner);
+                states = deferred;
+                cursor = 0;
+                exploringClasses = true;
+            }
+            c.step(owner);
+            const state = states[cursor];
+            states[cursor++] = undefined;
+            const task = state.pending.pop();
+            if (!task) {
+                c.text(state.word, owner);
+                yield state.word;
+                continue;
+            }
+            if (task.kind === 'repeat') {
+                c.step(owner, task.digits * 4 + 6);
+                if (task.min === 0n)
+                    enqueue(state);
+                if (task.max !== 0n) {
+                    const next = { kind: 'repeat', child: task.child,
+                        min: task.min > 0n ? task.min - 1n : 0n, max: task.max - 1n, digits: task.digits };
+                    enqueue(state, [next, { kind: 'node', node: task.child }]);
+                }
+                continue;
+            }
+            const atom = program.atoms[task.node];
+            if (atom.kind === 'literal') {
+                enqueue(state, [], atom.value);
+                continue;
+            }
+            if (atom.kind === 'class') {
+                let choices = classChoices.get(task.node);
+                if (!choices) {
+                    c.text(atom.expression, owner);
+                    c.step(owner, atom.expression.length + 8);
+                    const regex = new RegExp(`^(?:${atom.expression})(?![\\s\\S])`, 'u');
+                    classRegexes.set(task.node, regex);
+                    c.step(owner, 4);
+                    const found = [], seen = new Set();
+                    for (let index = 0; index < hints.length;) {
+                        c.step(owner, 4);
+                        const point = hints.codePointAt(index), char = String.fromCodePoint(point);
+                        index += char.length;
+                        if (regex.test(char) && !seen.has(char)) {
+                            c.step(owner, 3);
+                            seen.add(char);
+                            found.push(char);
+                        }
+                    }
+                    // Common single-character witnesses are cheap enough to try before
+                    // a class-free branch, even when that branch has many words.
+                    if (!found.length)
+                        for (let point = 0x20; point <= 0x7e; point++) {
+                            c.step(owner, 3);
+                            const char = String.fromCodePoint(point);
+                            if (regex.test(char)) {
+                                c.step(owner, 2);
+                                found.push(char);
+                                break;
+                            }
+                        }
+                    choices = found;
+                    c.step(owner, choices.length + 2);
+                    classChoices.set(task.node, choices);
+                }
+                // A full Unicode scan can consume the allowance before a finite
+                // alternative is reached. Keep the charged state for a later pass.
+                if (!choices.length && !exploringClasses) {
+                    c.step(owner, state.pending.length + state.word.length + 8);
+                    state.pending.push(task);
+                    deferred.push(state);
+                    continue;
+                }
+                if (!choices.length && !scannedClasses.has(task.node)) {
+                    const regex = classRegexes.get(task.node);
+                    for (let point = 0x7f; point <= 0x10ffff; point++) {
+                        c.step(owner, 3);
+                        const char = String.fromCodePoint(point);
+                        if (regex.test(char)) {
+                            c.step(owner, 2);
+                            choices = [char];
+                            break;
+                        }
+                    }
+                    scannedClasses.add(task.node);
+                    classChoices.set(task.node, choices);
+                }
+                for (const char of choices)
+                    enqueue(state, [], char);
+                continue;
+            }
+            if (atom.kind === 'sequence') {
+                c.step(owner, atom.children.length * 2 + 2);
+                const tasks = [];
+                for (let index = atom.children.length - 1; index >= 0; index--)
+                    tasks.push({ kind: 'node', node: atom.children[index] });
+                enqueue(state, tasks);
+            }
+            else if (atom.kind === 'choice') {
+                c.step(owner, atom.children.length * 2 + 2);
+                for (const node of atom.children)
+                    enqueue(state, [{ kind: 'node', node }]);
+            }
+            else if (atom.kind === 'repeat') {
+                c.text(atom.min, owner);
+                c.text(atom.max, owner);
+                c.step(owner, atom.min.length * atom.min.length + atom.max.length * atom.max.length + 3);
+                // This input-derived prefix is proposal scope, never a negative
+                // language bound. The exact assessor checks every emitted spelling.
+                const max = atom.max === 'unbounded'
+                    ? BigInt(atom.min) + BigInt(program.sourceLength) + BigInt(hints.length)
+                    : BigInt(atom.max);
+                enqueue(state, [{ kind: 'repeat', child: atom.child, min: BigInt(atom.min), max,
+                        digits: Math.max(atom.min.length, atom.max.length, String(program.sourceLength).length, String(hints.length).length) + 1 }]);
+            }
+            // Other admitted characters have no producer here. Their absence is
+            // unresolved by the caller, never a proof that the language is empty.
+        }
+    }
+    // Bounded relation evaluation only for schema-declared operand literals.
+    // It never expands a finite repetition or runs an unbounded JS regex.
+    const acceptsOperand = (pattern, value, owner) => {
+        c.text(value, owner);
+        const chars = [];
+        for (const char of value) {
+            c.step(owner);
+            chars.push(char);
+        }
+        const relations = [];
+        const identity = () => {
+            const result = [];
+            for (let i = 0; i <= chars.length; i++) {
+                c.step(owner);
+                result.push(new Set([i]));
+            }
+            return result;
+        };
+        const compose = (a, b) => {
+            const result = [];
+            for (let i = 0; i < a.length; i++) {
+                c.step(owner);
+                const row = new Set();
+                for (const middle of a[i])
+                    for (const end of b[middle]) {
+                        c.step(owner);
+                        row.add(end);
+                    }
+                result.push(row);
+            }
+            return result;
+        };
+        const union = (target, source) => {
+            for (let i = 0; i < target.length; i++)
+                for (const end of source[i]) {
+                    c.step(owner);
+                    target[i].add(end);
+                }
+        };
+        for (const atom of pattern.atoms) {
+            c.step(owner);
+            let result;
+            if (atom.kind === "character") {
+                c.text(atom.expression, owner);
+                const character = new RegExp(`^(?:${atom.expression})(?![\\s\\S])`, "u");
+                result = [];
+                for (let i = 0; i <= chars.length; i++) {
+                    c.step(owner);
+                    result.push(new Set(i < chars.length && character.test(chars[i]) ? [i + 1] : []));
+                }
+            }
+            else if (atom.kind === "sequence") {
+                result = identity();
+                for (const child of atom.children)
+                    result = compose(result, relations[child]);
+            }
+            else if (atom.kind === "choice") {
+                result = [];
+                for (let i = 0; i <= chars.length; i++) {
+                    c.step(owner);
+                    result.push(new Set());
+                }
+                for (const child of atom.children)
+                    union(result, relations[child]);
+            }
+            else {
+                const child = relations[atom.child], nullable = child[0].has(0);
+                result = [];
+                for (let i = 0; i <= chars.length; i++) {
+                    c.step(owner);
+                    result.push(new Set());
+                }
+                let repeated = identity();
+                const cap = c.algebra.compare(atom.max, chars.length.toString()) < 0 ? Number(atom.max) : chars.length;
+                for (let count = 0; count <= cap; count++) {
+                    c.step(owner);
+                    if (nullable || c.algebra.compare(count.toString(), atom.min) >= 0)
+                        union(result, repeated);
+                    if (count !== cap)
+                        repeated = compose(repeated, child);
+                }
+            }
+            relations.push(result);
+        }
+        return relations[pattern.root][0].has(chars.length);
+    };
+    const language = (pattern, owner, authority = regular) => {
+        c.step(owner);
+        const program = regularPrograms.get(pattern);
+        if (!program)
+            throw new TypeError('Regular language requires a pattern issued by this factory');
+        return authority.fromPattern(program.atoms, program.root, owner);
+    };
+    return { compile, acceptsOperand, literalLanguage, positiveWords, language, regular };
+}

package/dist/compiler/schemaRegularLanguage.d.ts

@@ -0,0 +1,67 @@
+/** Finite automata over XML code points. Empty search is a complete language result. */
+import type { PatternAtom } from './schemaPattern.js';
+import type { SchemaPatternContext } from './schemaValueContext.js';
+type Range = readonly [number, number];
+export type RegularLanguage = Readonly<{
+    kind: 'private-regular-language';
+}>;
+export type RegularAutomaton = Readonly<{
+    states: readonly Readonly<{
+        accepting: boolean;
+        transitions: readonly Readonly<{
+            to: number;
+            lo: number;
+            hi: number;
+        }>[];
+    }>[];
+    start: number;
+}>;
+export declare function schemaRegularLanguages<Owner>(c: SchemaPatternContext<Owner>): {
+    fromPattern: (atoms: readonly PatternAtom[], root: number, owner: Owner) => RegularLanguage;
+    intersect: (languages: readonly RegularLanguage[], owner: Owner) => Readonly<{
+        kind: "private-regular-language";
+    }>;
+    union: (languages: readonly RegularLanguage[], owner: Owner) => Readonly<{
+        kind: "private-regular-language";
+    }>;
+    negate: (language: RegularLanguage, owner: Owner) => RegularLanguage;
+    witness: (language: RegularLanguage, owner: Owner) => string | undefined;
+    finiteWords: (language: RegularLanguage, owner: Owner) => {
+        kind: "infinite";
+    } | {
+        kind: "finite";
+        words: Generator<string>;
+    };
+    automaton: (language: RegularLanguage, owner: Owner) => RegularAutomaton;
+    fromAutomaton: (program: RegularAutomaton, owner: Owner) => RegularLanguage;
+    fromNfa: (program: Readonly<{
+        edges: readonly (readonly Readonly<{
+            to: number;
+            ranges?: readonly Range[];
+        }>[])[];
+        start: number;
+        end: number;
+    }>, owner: Owner) => RegularLanguage;
+    substitutionGraph: (count: number, start: number, end: number, labels: readonly {
+        from: number;
+        to: number;
+        language: RegularLanguage;
+    }[], owner: Owner) => RegularLanguage;
+    jsonStringImage: (language: RegularLanguage, owner: Owner) => RegularLanguage;
+    paths: (program: RegularAutomaton, starts: readonly number[], ends: ReadonlySet<number>, owner: Owner) => RegularLanguage;
+    quotient: (source: RegularLanguage, prefix: RegularLanguage, suffix: RegularLanguage, owner: Owner) => RegularLanguage;
+    reverse: (language: RegularLanguage, owner: Owner) => RegularLanguage;
+    concatenate: (languages: readonly RegularLanguage[], owner: Owner) => RegularLanguage;
+    repeat: (language: RegularLanguage, min: number, max: number | "unbounded", owner: Owner) => RegularLanguage;
+    whitespacePreimage: (language: RegularLanguage, mode: "preserve" | "replace" | "collapse", owner: Owner) => RegularLanguage;
+    whitespaceImage: (language: RegularLanguage, mode: "preserve" | "replace" | "collapse", owner: Owner) => RegularLanguage;
+    characterImage: (language: RegularLanguage, changes: readonly {
+        lo: number;
+        hi: number;
+        shift?: number;
+        remove?: boolean;
+    }[], owner: Owner) => RegularLanguage;
+    words: (language: RegularLanguage, owner: Owner) => Generator<string>;
+};
+export {};
+//# sourceMappingURL=schemaRegularLanguage.d.ts.map

package/dist/compiler/schemaRegularLanguage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaRegularLanguage.d.ts","sourceRoot":"","sources":["../../src/compiler/schemaRegularLanguage.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,OAAO,KAAK,EAAC,WAAW,EAAC,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAC,oBAAoB,EAAC,MAAM,yBAAyB,CAAC;AAElE,KAAK,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAGvC,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,0BAA0B,CAAA;CAAC,CAAC,CAAC;AAC3E,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IAAC,MAAM,EAAE,SAAS,QAAQ,CAAC;QAAC,SAAS,EAAE,OAAO,CAAC;QACrF,WAAW,EAAE,SAAS,QAAQ,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAC,CAAC,EAAE,CAAA;KAAC,CAAC,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,CAAC,CAAC;AAK9F,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC;yBAuG9C,SAAS,WAAW,EAAE,QAAQ,MAAM,SAAS,KAAK,KAAG,eAAe;2BAijBpD,SAAS,eAAe,EAAE,SAAS,KAAK;cA/pBxC,0BAA0B;;uBAgqBjD,SAAS,eAAe,EAAE,SAAS,KAAK;cAhqBjB,0BAA0B;;uBAyK5C,eAAe,SAAS,KAAK,KAAG,eAAe;wBAiJ9C,eAAe,SAAS,KAAK,KAAG,MAAM,GAAG,SAAS;4BA2R9C,eAAe,SAAS,KAAK,KAAG;QAAC,IAAI,EAAE,UAAU,CAAA;KAAC,GAAG;QAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;KAAC;0BAtPjG,eAAe,SAAS,KAAK,KAAG,gBAAgB;6BAiC7C,gBAAgB,SAAS,KAAK,KAAG,eAAe;uBA0KtD,QAAQ,CAAC;QAAC,KAAK,EAAE,SAAS,CAAC,SAAS,QAAQ,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,CAAC,EAAE,SAAS,KAAK,EAAE,CAAA;SAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAC,CAAC,SAAS,KAAK,KAAG,eAAe;+BAShJ,MAAM,SAAS,MAAM,OAAO,MAAM,UAAU,SAAS;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,eAAe,CAAA;KAAC,EAAE,SAAS,KAAK,KAAG,eAAe;gCAW3I,eAAe,SAAS,KAAK,KAAG,eAAe;qBApL1D,gBAAgB,UAAU,SAAS,MAAM,EAAE,QAAQ,WAAW,CAAC,MAAM,CAAC,SAAS,KAAK,KAAG,eAAe;uBAWpG,eAAe,UAAU,eAAe,UAAU,eAAe,SAAS,KAAK,KAAG,eAAe;wBA6IhG,eAAe,SAAS,KAAK,KAAG,eAAe;6BA5G1C,SAAS,eAAe,EAAE,SAAS,KAAK,KAAG,eAAe;uBAYhE,eAAe,OAAO,MAAM,OAAO,MAAM,GAAG,WAAW,SAAS,KAAK,KAAG,eAAe;mCAiB3E,eAAe,QAAQ,UAAU,GAAG,SAAS,GAAG,UAAU,SAAS,KAAK,KAAG,eAAe;gCAkC7F,eAAe,QAAQ,UAAU,GAAG,SAAS,GAAG,UAAU,SAAS,KAAK,KAAG,eAAe;+BA0B3F,eAAe,WAAW,SAAS;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAC,EAAE,SAAS,KAAK,KAAG,eAAe;sBAoHxI,eAAe,SAAS,KAAK,KAAG,SAAS,CAAC,MAAM,CAAC;EA+B3E"}