@longsightgroup/qti3-core 0.10.6 → 0.11.0

package/dist/xml-schema-regex-parser.js

@@ -0,0 +1,245 @@
+import { xmlNameCharacters, xmlNameInitial, xmlSchemaBlocks } from "./xml-schema-regex-data.js";
+export const XML_REGEX_MAX_PATTERN_LENGTH = 16_384;
+export const XML_REGEX_MAX_DEPTH = 64;
+const categories = /^(?:L[ultmo]?|M[nce]?|N[dlo]?|P[cdseifo]?|Z[slp]?|S[mcko]?|C[cfon]?)$/;
+const singleEscapes = { n: "\n", r: "\r", t: "\t" };
+const multiEscapes = {
+    s: "[ \\t\\n\\r]",
+    S: "[^ \\t\\n\\r]",
+    d: "\\p{Nd}",
+    D: "\\P{Nd}",
+    w: "[^\\p{P}\\p{Z}\\p{C}]",
+    W: "[\\p{P}\\p{Z}\\p{C}]",
+    i: `[${xmlNameInitial}]`,
+    I: `[^${xmlNameInitial}]`,
+    c: `[${xmlNameCharacters}]`,
+    C: `[^${xmlNameCharacters}]`,
+};
+/** Parses Appendix F syntax; native regexes only classify one code point at a time. */
+export function parseXmlSchemaRegex(pattern) {
+    if (pattern.length > XML_REGEX_MAX_PATTERN_LENGTH)
+        return {
+            ok: false,
+            problem: { code: "limit", message: "Pattern exceeds 16384 UTF-16 code units." },
+        };
+    let offset = 0;
+    let problem;
+    const peek = () => pattern[offset];
+    const hasProblem = () => problem !== undefined;
+    const fail = (message, code = "syntax") => {
+        problem ??= { code, message: `${message} At pattern offset ${offset}.` };
+        return undefined;
+    };
+    function literal(character) {
+        if (!isXmlRegexCharacter(character))
+            return fail("Pattern contains a non-XML character.");
+        const point = character.codePointAt(0) ?? 0;
+        return { source: `\\u{${point.toString(16)}}`, point };
+    }
+    function escape() {
+        offset += 1;
+        const character = peek();
+        if (character === undefined)
+            return fail("Incomplete escape.");
+        offset += 1;
+        if (Object.hasOwn(singleEscapes, character))
+            return literal(singleEscapes[character] ?? "");
+        if ("\\|.?*+(){}-[]^".includes(character))
+            return literal(character);
+        if (Object.hasOwn(multiEscapes, character))
+            return { source: multiEscapes[character] ?? "" };
+        if (character !== "p" && character !== "P")
+            return fail("Unknown XML Schema escape.");
+        if (peek() !== "{")
+            return fail("Expected a Unicode property in braces.");
+        offset += 1;
+        const end = pattern.indexOf("}", offset);
+        if (end < 0)
+            return fail("Unclosed Unicode property.");
+        const property = pattern.slice(offset, end);
+        offset = end + 1;
+        if (categories.test(property))
+            return { source: `\\${character}{${property}}` };
+        const block = property.startsWith("Is") ? property.slice(2) : "";
+        if (!Object.hasOwn(xmlSchemaBlocks, block))
+            return fail("Unknown XML Schema Unicode property.");
+        const ranges = xmlSchemaBlocks[block];
+        // Preserve the Appendix F Specials block's legacy BOM member as well.
+        return {
+            source: `[${character === "P" ? "^" : ""}${ranges}${block === "Specials" ? "\\u{FEFF}" : ""}]`,
+        };
+    }
+    function classToken() {
+        const character = peek();
+        if (character === "\\")
+            return escape();
+        if (character === undefined || character === "[" || character === "]")
+            return fail("Expected a character in the class.");
+        const code = pattern.codePointAt(offset);
+        if (code === undefined)
+            return fail("Expected a character.");
+        const value = String.fromCodePoint(code);
+        offset += value.length;
+        return literal(value);
+    }
+    function characterClass(depth) {
+        if (depth > XML_REGEX_MAX_DEPTH)
+            return fail("Character-class nesting exceeds 64.", "limit");
+        offset += 1;
+        const negative = peek() === "^";
+        if (negative)
+            offset += 1;
+        const members = [];
+        let subtraction;
+        while (!hasProblem() && peek() !== "]") {
+            if (members.length > 0 && pattern.slice(offset, offset + 2) === "-[") {
+                offset += 1;
+                subtraction = characterClass(depth + 1);
+                if (peek() !== "]")
+                    return fail("Subtraction must end the character class.");
+                break;
+            }
+            const wasDash = peek() === "-";
+            if (wasDash && members.length > 0 && pattern[offset + 1] !== "]")
+                return fail("An unescaped dash must begin or end a class.");
+            const first = classToken();
+            if (!first)
+                return undefined;
+            if (!wasDash &&
+                peek() === "-" &&
+                pattern[offset + 1] !== "[" &&
+                pattern[offset + 1] !== "]") {
+                offset += 1;
+                if (peek() === "-")
+                    return fail("Escape a dash used as a range endpoint.");
+                const last = classToken();
+                if (!last)
+                    return undefined;
+                if (first.point === undefined || last.point === undefined || first.point > last.point)
+                    return fail("Invalid character range.");
+                members.push(`[${first.source}-${last.source}]`);
+            }
+            else
+                members.push(first.source);
+        }
+        if (problem)
+            return undefined;
+        if (peek() !== "]" || members.length === 0)
+            return fail("Unclosed or empty character class.");
+        offset += 1;
+        const union = `(?:${members.join("|")})`;
+        const base = negative ? `(?!${union})[\\s\\S]` : union;
+        return subtraction === undefined ? base : `(?!${subtraction})${base}`;
+    }
+    function characterNode(source) {
+        try {
+            return { type: "character", matcher: new RegExp(`^(?:${source})$`, "u") };
+        }
+        catch {
+            return fail("Unable to compile the character class.");
+        }
+    }
+    function atom(depth) {
+        if (depth > XML_REGEX_MAX_DEPTH)
+            return fail("Group nesting exceeds 64.", "limit");
+        const token = peek();
+        if (token === "(") {
+            offset += 1;
+            const expression = expressionAt(depth + 1);
+            if (peek() !== ")")
+                return fail("Unclosed group.");
+            offset += 1;
+            return expression;
+        }
+        if (token === "[") {
+            const source = characterClass(depth + 1);
+            return source === undefined ? undefined : characterNode(source);
+        }
+        if (token === ".") {
+            offset += 1;
+            return characterNode("[^\\n\\r]");
+        }
+        if (token === "\\") {
+            const escaped = escape();
+            return escaped ? characterNode(escaped.source) : undefined;
+        }
+        if (token === undefined || "?*+{}]|)".includes(token))
+            return fail("Unexpected metacharacter.");
+        const value = classToken();
+        return value ? characterNode(value.source) : undefined;
+    }
+    function piece(depth) {
+        const child = atom(depth);
+        if (!child)
+            return undefined;
+        const quantifier = peek();
+        if (quantifier === "?" || quantifier === "*" || quantifier === "+") {
+            offset += 1;
+            return {
+                type: "repeat",
+                child,
+                minimum: quantifier === "+" ? 1 : 0,
+                maximum: quantifier === "?" ? 1 : Infinity,
+            };
+        }
+        if (quantifier !== "{")
+            return child;
+        const match = /^\{([0-9]+)(?:,([0-9]*))?\}/.exec(pattern.slice(offset));
+        if (!match || match[1] === undefined)
+            return fail("Malformed quantifier.");
+        offset += match[0].length;
+        const minimum = Number(match[1]);
+        const maximum = match[2] === undefined ? minimum : match[2] === "" ? Infinity : Number(match[2]);
+        if (!Number.isSafeInteger(minimum) || (maximum !== Infinity && !Number.isSafeInteger(maximum)))
+            return fail("Quantifier exceeds the safe integer range.", "limit");
+        if (maximum < minimum)
+            return fail("Quantifier maximum is smaller than its minimum.");
+        return { type: "repeat", child, minimum, maximum };
+    }
+    function expressionAt(depth) {
+        const branches = [];
+        while (!hasProblem()) {
+            const children = [];
+            while (peek() !== undefined && peek() !== "|" && peek() !== ")" && !hasProblem()) {
+                const node = piece(depth);
+                if (!node)
+                    return undefined;
+                children.push(node);
+            }
+            branches.push({ type: "sequence", children });
+            if (peek() !== "|")
+                break;
+            offset += 1;
+        }
+        return { type: "choice", children: branches };
+    }
+    const expression = expressionAt(0);
+    if (!problem && offset !== pattern.length)
+        fail("Unexpected closing delimiter.");
+    if (problem)
+        return { ok: false, problem };
+    return expression
+        ? { ok: true, expression }
+        : { ok: false, problem: { code: "syntax", message: "Invalid pattern." } };
+}
+/** QTI StringOrVariableRef uses braces, so bare identifiers remain literal patterns. */
+export function patternVariableIdentifier(pattern) {
+    if (!pattern.startsWith("{") || !pattern.endsWith("}"))
+        return undefined;
+    const identifier = pattern.slice(1, -1);
+    const initial = `[${xmlNameInitial}]`;
+    const rest = `[${xmlNameCharacters}]`;
+    return !identifier.includes(":") && new RegExp(`^${initial}${rest}*$`, "u").test(identifier)
+        ? identifier
+        : undefined;
+}
+export function isXmlRegexCharacter(value) {
+    const point = value.codePointAt(0) ?? 0;
+    return (point === 9 ||
+        point === 10 ||
+        point === 13 ||
+        (point >= 0x20 && point <= 0xd7ff) ||
+        (point >= 0xe000 && point <= 0xfffd) ||
+        (point >= 0x10000 && point <= 0x10ffff));
+}
+//# sourceMappingURL=xml-schema-regex-parser.js.map

package/dist/xml-schema-regex-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xml-schema-regex-parser.js","sourceRoot":"","sources":["../src/xml-schema-regex-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAkBhG,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC;AACnD,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AACtC,MAAM,UAAU,GAAG,uEAAuE,CAAC;AAC3F,MAAM,aAAa,GAAqC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;AACtF,MAAM,YAAY,GAAqC;IACrD,CAAC,EAAE,cAAc;IACjB,CAAC,EAAE,eAAe;IAClB,CAAC,EAAE,SAAS;IACZ,CAAC,EAAE,SAAS;IACZ,CAAC,EAAE,uBAAuB;IAC1B,CAAC,EAAE,sBAAsB;IACzB,CAAC,EAAE,IAAI,cAAc,GAAG;IACxB,CAAC,EAAE,KAAK,cAAc,GAAG;IACzB,CAAC,EAAE,IAAI,iBAAiB,GAAG;IAC3B,CAAC,EAAE,KAAK,iBAAiB,GAAG;CAC7B,CAAC;AAEF,uFAAuF;AACvF,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,IAAI,OAAO,CAAC,MAAM,GAAG,4BAA4B;QAC/C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,0CAA0C,EAAE;SAChF,CAAC;IACJ,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,OAAoC,CAAC;IACzC,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,OAAgC,QAAQ,EAAa,EAAE;QACpF,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,sBAAsB,MAAM,GAAG,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,SAAS,OAAO,CAAC,SAAiB;QAChC,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC,uCAAuC,CAAC,CAAC;QAC1F,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5C,OAAO,EAAE,MAAM,EAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,SAAS,MAAM;QACb,MAAM,IAAI,CAAC,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,EAAE,CAAC;QACzB,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/D,MAAM,IAAI,CAAC,CAAC;QACZ,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,CAAC;YAAE,OAAO,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5F,IAAI,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;QACrE,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7F,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACtF,IAAI,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,wCAAwC,CAAC,CAAC;QAC1E,MAAM,IAAI,CAAC,CAAC;QACZ,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzC,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC;QACjB,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,SAAS,IAAI,QAAQ,GAAG,EAAE,CAAC;QAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACtC,sEAAsE;QACtE,OAAO;YACL,MAAM,EAAE,IAAI,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,GAAG,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG;SAC/F,CAAC;IACJ,CAAC;IACD,SAAS,UAAU;QACjB,MAAM,SAAS,GAAG,IAAI,EAAE,CAAC;QACzB,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,MAAM,EAAE,CAAC;QACxC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG;YACnE,OAAO,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC;QACvB,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,SAAS,cAAc,CAAC,KAAa;QACnC,IAAI,KAAK,GAAG,mBAAmB;YAAE,OAAO,IAAI,CAAC,qCAAqC,EAAE,OAAO,CAAC,CAAC;QAC7F,MAAM,IAAI,CAAC,CAAC;QACZ,MAAM,QAAQ,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC;QAChC,IAAI,QAAQ;YAAE,MAAM,IAAI,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,WAA+B,CAAC;QACpC,OAAO,CAAC,UAAU,EAAE,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACrE,MAAM,IAAI,CAAC,CAAC;gBACZ,WAAW,GAAG,cAAc,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBACxC,IAAI,IAAI,EAAE,KAAK,GAAG;oBAAE,OAAO,IAAI,CAAC,2CAA2C,CAAC,CAAC;gBAC7E,MAAM;YACR,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC;YAC/B,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG;gBAC9D,OAAO,IAAI,CAAC,8CAA8C,CAAC,CAAC;YAC9D,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IACE,CAAC,OAAO;gBACR,IAAI,EAAE,KAAK,GAAG;gBACd,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG;gBAC3B,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG,EAC3B,CAAC;gBACD,MAAM,IAAI,CAAC,CAAC;gBACZ,IAAI,IAAI,EAAE,KAAK,GAAG;oBAAE,OAAO,IAAI,CAAC,yCAAyC,CAAC,CAAC;gBAC3E,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;oBACnF,OAAO,IAAI,CAAC,0BAA0B,CAAC,CAAC;gBAC1C,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;YACnD,CAAC;;gBAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,OAAO;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,oCAAoC,CAAC,CAAC;QAC9F,MAAM,IAAI,CAAC,CAAC;QACZ,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC;QACvD,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,WAAW,IAAI,IAAI,EAAE,CAAC;IACxE,CAAC;IACD,SAAS,aAAa,CAAC,MAAc;QACnC,IAAI,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,MAAM,CAAC,OAAO,MAAM,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,wCAAwC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,SAAS,IAAI,CAAC,KAAa;QACzB,IAAI,KAAK,GAAG,mBAAmB;YAAE,OAAO,IAAI,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;QACrB,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,MAAM,IAAI,CAAC,CAAC;YACZ,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC3C,IAAI,IAAI,EAAE,KAAK,GAAG;gBAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC;YACnD,MAAM,IAAI,CAAC,CAAC;YACZ,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,MAAM,IAAI,CAAC,CAAC;YACZ,OAAO,aAAa,CAAC,WAAW,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAChG,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,CAAC;IACD,SAAS,KAAK,CAAC,KAAa;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,MAAM,UAAU,GAAG,IAAI,EAAE,CAAC;QAC1B,IAAI,UAAU,KAAK,GAAG,IAAI,UAAU,KAAK,GAAG,IAAI,UAAU,KAAK,GAAG,EAAE,CAAC;YACnE,MAAM,IAAI,CAAC,CAAC;YACZ,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,KAAK;gBACL,OAAO,EAAE,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnC,OAAO,EAAE,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;aAC3C,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GACX,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAC5F,OAAO,IAAI,CAAC,4CAA4C,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,OAAO,GAAG,OAAO;YAAE,OAAO,IAAI,CAAC,iDAAiD,CAAC,CAAC;QACtF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACrD,CAAC;IACD,SAAS,YAAY,CAAC,KAAa;QACjC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;YACrB,MAAM,QAAQ,GAAmB,EAAE,CAAC;YACpC,OAAO,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;gBACjF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC1B,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC9C,IAAI,IAAI,EAAE,KAAK,GAAG;gBAAE,MAAM;YAC1B,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAChD,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,OAAO,IAAI,MAAM,KAAK,OAAO,CAAC,MAAM;QAAE,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACjF,IAAI,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC3C,OAAO,UAAU;QACf,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;QAC1B,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,EAAE,EAAE,CAAC;AAC9E,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,yBAAyB,CAAC,OAAe;IACvD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACzE,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,cAAc,GAAG,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,iBAAiB,GAAG,CAAC;IACtC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,OAAO,GAAG,IAAI,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1F,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,CACL,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,EAAE;QACZ,KAAK,KAAK,EAAE;QACZ,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,MAAM,CAAC;QAClC,CAAC,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,CAAC;QACpC,CAAC,KAAK,IAAI,OAAO,IAAI,KAAK,IAAI,QAAQ,CAAC,CACxC,CAAC;AACJ,CAAC"}

package/dist/xml-schema-regex.d.ts

@@ -0,0 +1,14 @@
+import { type XmlRegexProblem } from "./xml-schema-regex-parser.js";
+export { parseXmlSchemaRegex, patternVariableIdentifier } from "./xml-schema-regex-parser.js";
+export declare const XML_REGEX_MAX_INPUT_LENGTH = 100000;
+export declare const XML_REGEX_MAX_STEPS = 1000000;
+export type XmlRegexMatchResult = {
+    ok: true;
+    matches: boolean;
+} | {
+    ok: false;
+    problem: XmlRegexProblem;
+};
+/** Whole-string Appendix F matching using memoized position sets, never backtracking. */
+export declare function matchXmlSchemaRegex(pattern: string, input: string): XmlRegexMatchResult;
+//# sourceMappingURL=xml-schema-regex.d.ts.map

package/dist/xml-schema-regex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xml-schema-regex.d.ts","sourceRoot":"","sources":["../src/xml-schema-regex.ts"],"names":[],"mappings":"AACA,OAAO,EAIL,KAAK,eAAe,EACrB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAC9F,eAAO,MAAM,0BAA0B,SAAU,CAAC;AAClD,eAAO,MAAM,mBAAmB,UAAY,CAAC;AAC7C,MAAM,MAAM,mBAAmB,GAC3B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,eAAe,CAAA;CAAE,CAAC;AAE5C,yFAAyF;AACzF,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,mBAAmB,CAkGvF"}

package/dist/xml-schema-regex.js

@@ -0,0 +1,114 @@
+import { assertNever } from "./assert-never.js";
+import { isXmlRegexCharacter, parseXmlSchemaRegex, } from "./xml-schema-regex-parser.js";
+export { parseXmlSchemaRegex, patternVariableIdentifier } from "./xml-schema-regex-parser.js";
+export const XML_REGEX_MAX_INPUT_LENGTH = 100_000;
+export const XML_REGEX_MAX_STEPS = 1_000_000;
+/** Whole-string Appendix F matching using memoized position sets, never backtracking. */
+export function matchXmlSchemaRegex(pattern, input) {
+    const parsed = parseXmlSchemaRegex(pattern);
+    if (!parsed.ok)
+        return parsed;
+    if (input.length > XML_REGEX_MAX_INPUT_LENGTH)
+        return {
+            ok: false,
+            problem: { code: "limit", message: "Input exceeds 100000 UTF-16 code units." },
+        };
+    // XML Schema operates on Unicode code points, not grapheme clusters.
+    const characters = Array.from(input);
+    let remainingSteps = XML_REGEX_MAX_STEPS;
+    const memo = new Map();
+    const empty = new Set();
+    const spend = () => {
+        remainingSteps -= 1;
+        return remainingSteps >= 0;
+    };
+    function append(target, source) {
+        for (const position of source) {
+            if (!spend())
+                return;
+            target.add(position);
+        }
+    }
+    function advance(node, positions) {
+        const next = new Set();
+        for (const position of positions) {
+            if (!spend())
+                break;
+            append(next, match(node, position));
+        }
+        return next;
+    }
+    function match(node, start) {
+        if (!spend())
+            return empty;
+        const cached = memo.get(node)?.get(start);
+        if (cached)
+            return cached;
+        const result = evaluate(node, start);
+        let byPosition = memo.get(node);
+        if (!byPosition) {
+            byPosition = new Map();
+            memo.set(node, byPosition);
+        }
+        byPosition.set(start, result);
+        return result;
+    }
+    function evaluate(node, start) {
+        switch (node.type) {
+            case "character": {
+                const value = characters[start];
+                return value !== undefined && isXmlRegexCharacter(value) && node.matcher.test(value)
+                    ? new Set([start + 1])
+                    : empty;
+            }
+            case "choice": {
+                const result = new Set();
+                for (const child of node.children) {
+                    if (!spend())
+                        break;
+                    append(result, match(child, start));
+                }
+                return result;
+            }
+            case "sequence": {
+                let positions = new Set([start]);
+                for (const child of node.children) {
+                    if (positions.size === 0 || !spend())
+                        break;
+                    positions = advance(child, positions);
+                }
+                return positions;
+            }
+            case "repeat": {
+                const result = new Set(node.minimum === 0 ? [start] : []);
+                let positions = new Set([start]);
+                for (let count = 1; count <= node.maximum && spend(); count += 1) {
+                    const next = advance(node.child, positions);
+                    if (next.size === 0)
+                        break;
+                    if (count >= node.minimum)
+                        append(result, next);
+                    // Nullable operands can reach a fixed point before a large minimum count.
+                    if (next.size === positions.size &&
+                        [...next].every((position) => positions.has(position))) {
+                        if (count < node.minimum)
+                            append(result, next);
+                        break;
+                    }
+                    positions = next;
+                }
+                return result;
+            }
+            default:
+                return assertNever(node);
+        }
+    }
+    const matches = match(parsed.expression, 0).has(characters.length);
+    return remainingSteps < 0
+        ? {
+            ok: false,
+            problem: { code: "limit", message: "Pattern matching exceeded 1000000 evaluation steps." },
+        }
+        : { ok: true, matches };
+}
+//# sourceMappingURL=xml-schema-regex.js.map

package/dist/xml-schema-regex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xml-schema-regex.js","sourceRoot":"","sources":["../src/xml-schema-regex.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,mBAAmB,EACnB,mBAAmB,GAGpB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAC9F,MAAM,CAAC,MAAM,0BAA0B,GAAG,OAAO,CAAC;AAClD,MAAM,CAAC,MAAM,mBAAmB,GAAG,SAAS,CAAC;AAK7C,yFAAyF;AACzF,MAAM,UAAU,mBAAmB,CAAC,OAAe,EAAE,KAAa;IAChE,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,GAAG,0BAA0B;QAC3C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,yCAAyC,EAAE;SAC/E,CAAC;IACJ,qEAAqE;IACrE,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,cAAc,GAAG,mBAAmB,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkD,CAAC;IACvE,MAAM,KAAK,GAAwB,IAAI,GAAG,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,cAAc,IAAI,CAAC,CAAC;QACpB,OAAO,cAAc,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,SAAS,MAAM,CAAC,MAAmB,EAAE,MAA2B;QAC9D,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,EAAE;gBAAE,OAAO;YACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,SAAS,OAAO,CAAC,IAAkB,EAAE,SAA8B;QACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,EAAE;gBAAE,MAAM;YACpB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,SAAS,KAAK,CAAC,IAAkB,EAAE,KAAa;QAC9C,IAAI,CAAC,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,IAAI,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7B,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,SAAS,QAAQ,CAAC,IAAkB,EAAE,KAAa;QACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBAChC,OAAO,KAAK,KAAK,SAAS,IAAI,mBAAmB,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;oBAClF,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;oBACtB,CAAC,CAAC,KAAK,CAAC;YACZ,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;gBACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClC,IAAI,CAAC,KAAK,EAAE;wBAAE,MAAM;oBACpB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;gBACtC,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClC,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE;wBAAE,MAAM;oBAC5C,SAAS,GAAG,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBACxC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAClE,IAAI,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,OAAO,IAAI,KAAK,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;oBACjE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;oBAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;wBAAE,MAAM;oBAC3B,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO;wBAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBAChD,0EAA0E;oBAC1E,IACE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;wBAC5B,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EACtD,CAAC;wBACD,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO;4BAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;wBAC/C,MAAM;oBACR,CAAC;oBACD,SAAS,GAAG,IAAI,CAAC;gBACnB,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC;YACD;gBACE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnE,OAAO,cAAc,GAAG,CAAC;QACvB,CAAC,CAAC;YACE,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,qDAAqD,EAAE;SAC3F;QACH,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@longsightgroup/qti3-core",
-  "version": "0.10.6",
+  "version": "0.11.0",
   "description": "Framework-neutral TypeScript core for parsing, validating, scoring, and serializing QTI 3 assessment items.",
   "keywords": [
     "assessment",

package/src/adaptive-turn-materializer.ts

@@ -53,14 +53,15 @@ export function materializeAdaptiveCandidateView(
 }
 
 function shouldPreserveFeedback(node: XmlNode, outcomes: Record<string, QtiValue>): boolean {
-  if (node.attributes["show-hide"] === "hide") return false;
   const identifier = node.attributes.identifier;
   const outcomeIdentifier = node.attributes["outcome-identifier"];
   if (!identifier || !outcomeIdentifier) return false;
 
   const outcome = outcomes[outcomeIdentifier] ?? null;
-  if (Array.isArray(outcome)) return outcome.includes(identifier);
-  return qtiValueToString(outcome) === identifier;
+  const matches = Array.isArray(outcome)
+    ? outcome.includes(identifier)
+    : qtiValueToString(outcome) === identifier;
+  return node.attributes["show-hide"] === "hide" ? !matches : matches;
 }
 
 function isFeedbackElement(normalizedName: string): boolean {

package/src/adaptive-turn.ts

@@ -59,6 +59,7 @@ export function runTrustedAdaptiveItemTurn(
     parsedItem: input.parsedItem,
     diagnosticPrefix,
     allowedUndeclaredResponseIdentifiers: input.allowedUndeclaredResponseIdentifiers,
+    sessionEnvironment: input.sessionEnvironment,
     priorState: priorStateResult.state,
     submission: {
       trustedResponses: input.trustedResponses,

package/src/attempt-state.ts

@@ -16,9 +16,10 @@ import {
   COMPLETION_UNKNOWN,
 } from "./attempt-state-constants.js";
 import { isQtiPortableCustomStateValue, isQtiValue, qtiValueToString } from "./value-format.js";
-import { isRecordValue } from "./processing-values.js";
+import { isRecordValue } from "./value-guards.js";
 import { parseQtiSliderDefinition, parseQtiSliderValue } from "./slider-definition.js";
 import { qtiScalarMatchesBaseType } from "./validation-primitives.js";
+import { validateQtiResponseVariables } from "./response-validation.js";
 
 export function isQtiAttemptStateV1(value: unknown): value is QtiAttemptStateV1 {
   return attemptStateErrors(value).length === 0;
@@ -72,6 +73,7 @@ export function assertCompatiblePriorState(
     assertRestoredValueMatchesDeclaration("response", declaration, priorState.responses);
   }
   assertRestoredSliderResponses(document, priorState.responses);
+  assertRestoredGraphicGapResponses(document, priorState.responses);
   for (const declaration of document.item.outcomeDeclarations) {
     assertRestoredValueMatchesDeclaration("outcome", declaration, priorState.outcomes);
   }
@@ -92,6 +94,32 @@ export function assertCompatiblePriorState(
   }
 }
 
+function assertRestoredGraphicGapResponses(
+  document: QtiDocument,
+  responses: Record<string, QtiValue>,
+): void {
+  const responseIdentifiers = document.item.interactions.flatMap((interaction) =>
+    interaction.type === "graphicGapMatch" && interaction.responseIdentifier
+      ? [interaction.responseIdentifier]
+      : [],
+  );
+  if (responseIdentifiers.length === 0) return;
+  // Restore may resume an incomplete attempt, but cannot invent placements outside
+  // the authored domain or silently discard pairs to fit the interaction limits.
+  const result = validateQtiResponseVariables({
+    item: document.item,
+    responses,
+    responseIdentifiers,
+    allowIncompleteResponses: true,
+  });
+  const failure = result.diagnostics.find((diagnostic) => diagnostic.severity === "error");
+  if (failure) {
+    // Preserve the existing session-constructor assertion contract; player and
+    // trusted delivery boundaries translate this failure into typed diagnostics.
+    throw new Error(`Cannot restore response ${failure.identifier}: ${failure.message}`);
+  }
+}
+
 function assertRestoredSliderResponses(
   document: QtiDocument,
   responses: Record<string, QtiValue>,
@@ -200,6 +228,31 @@ function attemptStateErrors(value: unknown): string[] {
   if (!isQtiValueRecord(value.outcomes)) {
     errors.push("QTI attempt state outcomes must be a record of QTI values.");
   }
+  if (value.builtInVariables !== undefined) {
+    const builtIns = value.builtInVariables;
+    if (
+      !isRecord(builtIns) ||
+      typeof builtIns.numAttempts !== "number" ||
+      !Number.isSafeInteger(builtIns.numAttempts) ||
+      builtIns.numAttempts < 0 ||
+      typeof builtIns.attemptInProgress !== "boolean" ||
+      (builtIns.attemptInProgress && builtIns.numAttempts === 0) ||
+      !(
+        builtIns.duration === null ||
+        (typeof builtIns.duration === "number" &&
+          Number.isFinite(builtIns.duration) &&
+          builtIns.duration >= 0)
+      ) ||
+      !isRecord(builtIns.context) ||
+      !["candidateIdentifier", "testIdentifier", "environmentIdentifier"].every(
+        (key) => isRecord(builtIns.context) && typeof builtIns.context[key] === "string",
+      )
+    ) {
+      errors.push(
+        "QTI attempt state builtInVariables requires a non-negative integer attempt count, attempt flag, finite non-negative duration or null, and three string context fields.",
+      );
+    }
+  }
   if (value.templateValues !== undefined && !isQtiValueRecord(value.templateValues)) {
     errors.push("QTI attempt state templateValues must be a record of QTI values.");
   }

package/src/diagnostics.ts

@@ -0,0 +1,29 @@
+import type { QtiDiagnostic } from "./types.js";
+
+/**
+ * Return a new array containing the first diagnostic for each diagnosticKey, in input order.
+ * Source locations do not distinguish duplicates; the first object's metadata is retained.
+ * The input array and diagnostic objects are not modified or cloned.
+ */
+export function uniqueDiagnostics(diagnostics: readonly QtiDiagnostic[]): QtiDiagnostic[] {
+  const seen = new Set<string>();
+  return diagnostics.filter((diagnostic) => {
+    const key = diagnosticKey(diagnostic);
+    if (seen.has(key)) return false;
+    seen.add(key);
+    return true;
+  });
+}
+
+/**
+ * Identify a diagnostic by code, severity, message, and path, excluding source location.
+ * Absent and empty paths are equivalent. Treat the returned string as an opaque key.
+ */
+export function diagnosticKey(diagnostic: QtiDiagnostic): string {
+  return JSON.stringify([
+    diagnostic.code,
+    diagnostic.severity,
+    diagnostic.message,
+    diagnostic.path ?? "",
+  ]);
+}

package/src/index.ts

@@ -5,6 +5,7 @@ export {
   type QtiAdaptiveTurnResult,
 } from "./adaptive-turn.js";
 export { assertNever } from "./assert-never.js";
+export { diagnosticKey, uniqueDiagnostics } from "./diagnostics.js";
 export {
   createCatalogSupportResolution,
   type QtiCatalogSupportResolution,
@@ -57,9 +58,13 @@ export {
   discoverQtiPackageContentAssets,
   normalizePackagePath,
   QTI_ITEM_RESOURCE_TYPE,
+  isQtiItemResource,
   QTI_PACKAGE_MANIFEST_PATH,
   parseQtiPackage,
+  parseQtiPackageFromEntries,
   readQtiPackageZipEntries,
+  readQtiPackageZipEntriesAsync,
+  scopeDiagnosticToPackagePath,
   type QtiAssessmentSectionPackageModel,
   type QtiAssessmentTestItemRef,
   type QtiAssessmentTestPackageModel,
@@ -71,11 +76,14 @@ export {
   type QtiPackageEntry,
   type QtiPackageInflateContext,
   type QtiPackageInflateRaw,
+  type QtiPackageInflateRawAsync,
+  type QtiPackageZipAsyncOptions,
   type QtiItemSessionControl,
   type QtiPackageItem,
   type QtiPackageItemSource,
   type QtiPackageParseOptions,
   type QtiPackageParseResult,
+  type QtiPackageXmlFileSummary,
   type QtiPackageResourceLimits,
   type QtiPackageShape,
   type QtiStandardAlignment,
@@ -184,6 +192,7 @@ export {
   type QtiCustomOperatorRegistry,
   type QtiItemSession,
   type QtiItemSessionOptions,
+  type QtiSessionEnvironment,
 } from "./session.js";
 export {
   deprecatedInteractionSupport,

package/src/item-submission-materialization.ts

@@ -65,6 +65,7 @@ export function materializeQtiItemSubmission(
     parsedItem: parsedResult.parsed,
     diagnosticPrefix: "itemSubmission",
     allowedUndeclaredResponseIdentifiers: input.allowedUndeclaredResponseIdentifiers,
+    sessionEnvironment: input.sessionEnvironment,
     priorState: priorState.state,
     submission: {
       trustedResponses: input.trustedResponses,
@@ -98,6 +99,7 @@ function materializeAdaptiveSubmission(
     parsedItem,
     diagnosticPrefix: "itemSubmission",
     allowedUndeclaredResponseIdentifiers: input.allowedUndeclaredResponseIdentifiers,
+    sessionEnvironment: input.sessionEnvironment,
     priorState: input.existingState,
     trustedResponses: input.trustedResponses,
     trustedInteractionStates: input.trustedInteractionStates,