@ifc-lite/rules 0.2.0

package/dist/ids/ids-regex.js

@@ -0,0 +1,334 @@
+/* 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/. */
+/**
+ * Regex translation between a rule's `matches` operand (a JavaScript regex,
+ * searched UNANCHORED, see `filter-ops.ts`'s `regexOpMatches`) and an IDS
+ * `xs:pattern` (an XSD regex, matched against the WHOLE value) (#5225).
+ *
+ * The two dialects share most syntax, so each direction walks the pattern
+ * and either rewrites a construct into its exact counterpart or refuses the
+ * pattern with the construct named. It never approximates: a pattern that
+ * means something different in the other dialect is a refusal, not a
+ * best-effort translation.
+ */
+import { translateXsdRegex } from '@ifc-lite/ids';
+/** Characters that must be escaped to stand for themselves in an XSD regex. */
+const XSD_META = new Set(['\\', '|', '.', '?', '*', '+', '(', ')', '{', '}', '[', ']', '^', '$', '-']);
+/** `text` as an XSD regex matching exactly that text. */
+export function escapeXsdLiteral(text) {
+    let out = '';
+    for (const ch of text)
+        out += XSD_META.has(ch) ? `\\${ch}` : ch;
+    return out;
+}
+/**
+ * The regex a `matches` operand stands for, following `regexOpMatches`:
+ * `valueKind: 'regex'` means the whole string is the source; no kind means
+ * a `/body/flags` literal is a pattern and anything else is a bare source.
+ */
+export function jsRegexOf(value, valueKind) {
+    if (valueKind === undefined) {
+        const literal = /^\/(.+)\/([a-z]*)$/.exec(value);
+        if (literal)
+            return { source: literal[1], flags: literal[2] };
+    }
+    return { source: value, flags: '' };
+}
+/**
+ * Whether `regex` can read a character outside the Basic Multilingual Plane
+ * (an emoji, rare CJK) differently from its IDS pattern. Without the `u`
+ * flag JavaScript sees such a character as two UTF-16 code units, so `.`,
+ * a negated class `[^…]` or `\D` can match half of it, while an XSD pattern
+ * always works on whole characters. Every other construct the translation
+ * accepts means the same in both dialects.
+ */
+export function hasAstralCaveat(regex) {
+    if (regex.flags.includes('u'))
+        return false;
+    let inClass = false;
+    for (let i = 0; i < regex.source.length; i++) {
+        const ch = regex.source[i];
+        if (ch === '\\') {
+            if (regex.source[i + 1] === 'D')
+                return true;
+            i++;
+            continue;
+        }
+        if (inClass) {
+            if (ch === ']')
+                inClass = false;
+            continue;
+        }
+        if (ch === '[') {
+            inClass = true;
+            if (regex.source[i + 1] === '^')
+                return true;
+            continue;
+        }
+        if (ch === '.')
+            return true;
+    }
+    return false;
+}
+/** Index of every `|` at nesting depth 0, outside character classes. */
+function hasTopLevelAlternation(source) {
+    let depth = 0;
+    let inClass = false;
+    for (let i = 0; i < source.length; i++) {
+        const ch = source[i];
+        if (ch === '\\') {
+            i++;
+            continue;
+        }
+        if (inClass) {
+            if (ch === ']')
+                inClass = false;
+            continue;
+        }
+        if (ch === '[')
+            inClass = true;
+        else if (ch === '(')
+            depth++;
+        else if (ch === ')')
+            depth--;
+        else if (ch === '|' && depth === 0)
+            return true;
+    }
+    return false;
+}
+/** `^(?:X)$` → `X`, when the group really spans the whole source. */
+function unwrapAnchoredGroup(source) {
+    if (!source.startsWith('^(?:') || !source.endsWith(')$'))
+        return null;
+    const inner = source.slice(4, -2);
+    // The `)` before `$` must close the `(?:` opened at index 1.
+    let depth = 0;
+    let inClass = false;
+    for (let i = 0; i < inner.length; i++) {
+        const ch = inner[i];
+        if (ch === '\\') {
+            i++;
+            continue;
+        }
+        if (inClass) {
+            if (ch === ']')
+                inClass = false;
+            continue;
+        }
+        if (ch === '[')
+            inClass = true;
+        else if (ch === '(')
+            depth++;
+        else if (ch === ')') {
+            depth--;
+            if (depth < 0)
+                return null;
+        }
+    }
+    return depth === 0 ? inner : null;
+}
+const QUANTIFIER_END = new Set(['*', '+', '?', '}']);
+/** Rewrite a JS regex body (no anchors) into XSD syntax, or say why not. */
+function jsBodyToXsd(body, unicode) {
+    let out = '';
+    let inClass = false;
+    let classStart = false;
+    let afterQuantifier = false;
+    for (let i = 0; i < body.length; i++) {
+        const ch = body[i];
+        const wasAfterQuantifier = afterQuantifier;
+        afterQuantifier = false;
+        if (ch === '\\') {
+            const next = body[i + 1];
+            if (next === undefined)
+                return { ok: false, reason: 'the pattern ends in a lone backslash' };
+            i++;
+            classStart = false;
+            if (next === 'd') {
+                out += inClass ? '0-9' : '[0-9]';
+                continue;
+            }
+            if (next === 'D') {
+                if (inClass)
+                    return { ok: false, reason: '\\D inside a character class has no XSD form' };
+                out += '[^0-9]';
+                continue;
+            }
+            if ('wWsSbB'.includes(next)) {
+                return { ok: false, reason: `\\${next} means something different in an IDS (XSD) pattern` };
+            }
+            if ((next === 'p' || next === 'P') && unicode) {
+                const m = /^\{([A-Z][a-z]?)\}/.exec(body.slice(i + 1));
+                if (!m)
+                    return { ok: false, reason: `the Unicode property escape at \\${next} has no XSD form` };
+                out += `\\${next}{${m[1]}}`;
+                i += m[0].length;
+                continue;
+            }
+            if (next === 'n' || next === 'r' || next === 't') {
+                out += `\\${next}`;
+                continue;
+            }
+            if (/[0-9]/.test(next))
+                return { ok: false, reason: 'back-references are not supported by IDS (XSD) patterns' };
+            if (/[a-zA-Z]/.test(next)) {
+                if (unicode)
+                    return { ok: false, reason: `the escape \\${next} has no XSD form` };
+                // Without the `u` flag an unknown letter escape is the letter itself.
+                if ('xucfvk'.includes(next))
+                    return { ok: false, reason: `the escape \\${next} has no XSD form` };
+                out += next;
+                continue;
+            }
+            out += XSD_META.has(next) ? `\\${next}` : next;
+            continue;
+        }
+        if (inClass) {
+            if (ch === ']' && !classStart) {
+                inClass = false;
+                out += ch;
+                continue;
+            }
+            if (ch === '[') {
+                out += '\\[';
+                classStart = false;
+                continue;
+            }
+            if (ch === '^' && classStart) {
+                out += ch;
+                continue;
+            }
+            classStart = false;
+            out += ch;
+            continue;
+        }
+        if (ch === '[') {
+            inClass = true;
+            classStart = true;
+            out += ch;
+            continue;
+        }
+        if (ch === '(' && body[i + 1] === '?') {
+            return { ok: false, reason: 'groups starting "(?" (lookaround, named or non-capturing) are not supported by IDS (XSD) patterns' };
+        }
+        if (ch === '^' || ch === '$') {
+            return { ok: false, reason: `"${ch}" is only supported at the very start or end of the pattern` };
+        }
+        if (ch === '?' && wasAfterQuantifier) {
+            return { ok: false, reason: 'lazy quantifiers are not supported by IDS (XSD) patterns' };
+        }
+        if (QUANTIFIER_END.has(ch))
+            afterQuantifier = true;
+        out += ch;
+    }
+    if (inClass)
+        return { ok: false, reason: 'the pattern has an unterminated character class' };
+    return { ok: true, pattern: out };
+}
+/** Whether `xsd` compiles, through the same translator the IDS checker uses. */
+function xsdCompiles(xsd) {
+    const translated = translateXsdRegex(xsd);
+    if (!translated.supported)
+        return false;
+    try {
+        new RegExp(`^(?:${translated.pattern})$`, 'u');
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Translate the engine's unanchored JS regex into an IDS pattern that
+ * accepts exactly the same values. `^…$` anchors (or the `^(?:…)$` wrapper
+ * `idsPatternToJsRegex` produces) become the XSD pattern's implicit whole-
+ * value match; an unanchored side becomes `.*`.
+ */
+export function jsRegexToIdsPattern(regex) {
+    // `g` and `y` are dropped because the engine drops them: `@ifc-lite/lists`'
+    // `parseRegexLiteral` compiles every operand without them (a cached,
+    // shared matcher must not carry `lastIndex` state), so `/a/y` already
+    // searches like `/a/`. `d` only adds match indices.
+    const flags = regex.flags.replace(/[gyd]/g, '');
+    for (const flag of flags) {
+        if (flag === 'i')
+            return { ok: false, reason: 'the "i" flag makes the pattern case-insensitive, which IDS patterns cannot be' };
+        if (flag !== 'u')
+            return { ok: false, reason: `the "${flag}" regex flag has no IDS (XSD) equivalent` };
+    }
+    const unicode = flags.includes('u');
+    const wrapped = unwrapAnchoredGroup(regex.source);
+    let body = wrapped ?? regex.source;
+    let anchoredStart = wrapped !== null;
+    let anchoredEnd = wrapped !== null;
+    if (wrapped === null) {
+        anchoredStart = body.startsWith('^');
+        // A trailing `$` is an anchor unless it is escaped (`\$`).
+        anchoredEnd = body.endsWith('$') && !/(^|[^\\])(\\\\)*\\\$$/.test(body);
+        if ((anchoredStart || anchoredEnd) && hasTopLevelAlternation(body)) {
+            return { ok: false, reason: 'anchors combined with a top-level "|" have no single IDS pattern' };
+        }
+        if (anchoredStart)
+            body = body.slice(1);
+        if (anchoredEnd)
+            body = body.slice(0, -1);
+    }
+    if (body.length === 0)
+        return { ok: false, reason: 'the pattern is empty' };
+    const converted = jsBodyToXsd(body, unicode);
+    if (!converted.ok)
+        return converted;
+    const needsGroup = !(anchoredStart && anchoredEnd) && hasTopLevelAlternation(converted.pattern);
+    const core = needsGroup ? `(${converted.pattern})` : converted.pattern;
+    const pattern = `${anchoredStart ? '' : '.*'}${core}${anchoredEnd ? '' : '.*'}`;
+    if (!xsdCompiles(pattern))
+        return { ok: false, reason: 'the translated pattern is not a valid IDS (XSD) pattern' };
+    return { ok: true, pattern };
+}
+/**
+ * Translate an IDS pattern into the rule operand that accepts the same
+ * values: a `/^(?:…)$/u` literal (the `u` flag because XSD's `\d`, `\i`,
+ * `\c` and `\w` translate to Unicode property escapes). XSD's `^` and `$`
+ * are ordinary characters, so they are escaped first.
+ */
+export function idsPatternToJsRegex(xsd) {
+    let literalAnchors = '';
+    let inClass = false;
+    let classStart = false;
+    for (let i = 0; i < xsd.length; i++) {
+        const ch = xsd[i];
+        if (ch === '\\') {
+            literalAnchors += ch + (xsd[i + 1] ?? '');
+            i++;
+            classStart = false;
+            continue;
+        }
+        if (inClass) {
+            if (ch === ']' && !classStart)
+                inClass = false;
+            classStart = false;
+            literalAnchors += ch;
+            continue;
+        }
+        if (ch === '[') {
+            inClass = true;
+            classStart = true;
+            literalAnchors += ch;
+            continue;
+        }
+        literalAnchors += ch === '^' || ch === '$' ? `\\${ch}` : ch;
+    }
+    const translated = translateXsdRegex(literalAnchors);
+    if (!translated.supported)
+        return { ok: false, reason: translated.reason };
+    const source = `^(?:${translated.pattern})$`;
+    try {
+        new RegExp(source, 'u');
+    }
+    catch (err) {
+        return { ok: false, reason: `the pattern does not compile: ${err.message}` };
+    }
+    return { ok: true, pattern: `/${source}/u` };
+}
+//# sourceMappingURL=ids-regex.js.map

package/dist/ids/ids-regex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids-regex.js","sourceRoot":"","sources":["../../src/ids/ids-regex.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAMlD,+EAA+E;AAC/E,MAAM,QAAQ,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,EAAE,GAAG,CAAC,CAAC,CAAC;AAEvG,yDAAyD;AACzD,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,EAAE,IAAI,IAAI;QAAE,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,OAAO,GAAG,CAAC;AACb,CAAC;AAQD;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,KAAa,EAAE,SAA0C;IACjF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,OAAO;YAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACtC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,IAAI,CAAC;YAC7C,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YAAC,IAAI,EAAE,KAAK,GAAG;gBAAE,OAAO,GAAG,KAAK,CAAC;YAAC,SAAS;QAAC,CAAC;QAC3D,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,GAAG,IAAI,CAAC;YACf,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,IAAI,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,SAAS,sBAAsB,CAAC,MAAc;IAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAAC,CAAC,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACnC,IAAI,OAAO,EAAE,CAAC;YAAC,IAAI,EAAE,KAAK,GAAG;gBAAE,OAAO,GAAG,KAAK,CAAC;YAAC,SAAS;QAAC,CAAC;QAC3D,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,GAAG,IAAI,CAAC;aAC1B,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACxB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACxB,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qEAAqE;AACrE,SAAS,mBAAmB,CAAC,MAAc;IACzC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,6DAA6D;IAC7D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAAC,CAAC,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACnC,IAAI,OAAO,EAAE,CAAC;YAAC,IAAI,EAAE,KAAK,GAAG;gBAAE,OAAO,GAAG,KAAK,CAAC;YAAC,SAAS;QAAC,CAAC;QAC3D,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,GAAG,IAAI,CAAC;aAC1B,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACxB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAAC,KAAK,EAAE,CAAC;YAAC,IAAI,KAAK,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QAAC,CAAC;IAC/D,CAAC;IACD,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACpC,CAAC;AAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAErD,4EAA4E;AAC5E,SAAS,WAAW,CAAC,IAAY,EAAE,OAAgB;IACjD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,kBAAkB,GAAG,eAAe,CAAC;QAC3C,eAAe,GAAG,KAAK,CAAC;QACxB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sCAAsC,EAAE,CAAC;YAC7F,CAAC,EAAE,CAAC;YACJ,UAAU,GAAG,KAAK,CAAC;YACnB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBAAC,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAC,SAAS;YAAC,CAAC;YACjE,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,IAAI,OAAO;oBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8CAA8C,EAAE,CAAC;gBAC1F,GAAG,IAAI,QAAQ,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,IAAI,oDAAoD,EAAE,CAAC;YAC9F,CAAC;YACD,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC9C,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvD,IAAI,CAAC,CAAC;oBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oCAAoC,IAAI,kBAAkB,EAAE,CAAC;gBACjG,GAAG,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC5B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBAAC,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACnF,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC;YAChH,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,OAAO;oBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,IAAI,kBAAkB,EAAE,CAAC;gBAClF,sEAAsE;gBACtE,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,IAAI,kBAAkB,EAAE,CAAC;gBAClG,GAAG,IAAI,IAAI,CAAC;gBACZ,SAAS;YACX,CAAC;YACD,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBAAC,OAAO,GAAG,KAAK,CAAC;gBAAC,GAAG,IAAI,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACxE,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAAC,GAAG,IAAI,KAAK,CAAC;gBAAC,UAAU,GAAG,KAAK,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC/D,IAAI,EAAE,KAAK,GAAG,IAAI,UAAU,EAAE,CAAC;gBAAC,GAAG,IAAI,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACtD,UAAU,GAAG,KAAK,CAAC;YACnB,GAAG,IAAI,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,GAAG,IAAI,CAAC;YACf,UAAU,GAAG,IAAI,CAAC;YAClB,GAAG,IAAI,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mGAAmG,EAAE,CAAC;QACpI,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,6DAA6D,EAAE,CAAC;QACpG,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,kBAAkB,EAAE,CAAC;YACrC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0DAA0D,EAAE,CAAC;QAC3F,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,eAAe,GAAG,IAAI,CAAC;QACnD,GAAG,IAAI,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;IAC7F,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACpC,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,CAAC;QACH,IAAI,MAAM,CAAC,OAAO,UAAU,CAAC,OAAO,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,4EAA4E;IAC5E,qEAAqE;IACrE,sEAAsE;IACtE,oDAAoD;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,+EAA+E,EAAE,CAAC;QAChI,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,IAAI,0CAA0C,EAAE,CAAC;IACzG,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAEpC,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,IAAI,GAAG,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC;IACnC,IAAI,aAAa,GAAG,OAAO,KAAK,IAAI,CAAC;IACrC,IAAI,WAAW,GAAG,OAAO,KAAK,IAAI,CAAC;IACnC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrC,2DAA2D;QAC3D,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAI,CAAC,aAAa,IAAI,WAAW,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kEAAkE,EAAE,CAAC;QACnG,CAAC;QACD,IAAI,aAAa;YAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,WAAW;YAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IAE5E,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,UAAU,GAAG,CAAC,CAAC,aAAa,IAAI,WAAW,CAAC,IAAI,sBAAsB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;IACvE,MAAM,OAAO,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChF,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC;IACnH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,IAAI,cAAc,GAAG,EAAE,CAAC;IACxB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAAC,cAAc,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,CAAC,EAAE,CAAC;YAAC,UAAU,GAAG,KAAK,CAAC;YAAC,SAAS;QAAC,CAAC;QAClG,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,UAAU;gBAAE,OAAO,GAAG,KAAK,CAAC;YAC/C,UAAU,GAAG,KAAK,CAAC;YACnB,cAAc,IAAI,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;YAAC,UAAU,GAAG,IAAI,CAAC;YAAC,cAAc,IAAI,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACtF,cAAc,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,CAAC,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IAC3E,MAAM,MAAM,GAAG,OAAO,UAAU,CAAC,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC;QACH,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iCAAkC,GAAa,CAAC,OAAO,EAAE,EAAE,CAAC;IAC1F,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,MAAM,IAAI,EAAE,CAAC;AAC/C,CAAC"}

package/dist/ids/ids-to-rule-set.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Import the simple specifications of an IDS document as rules (#5225), so
+ * an incoming deliverable can be extended with checks IDS cannot express.
+ *
+ * A specification imports when every facet has an exact rule equivalent:
+ * entity, attribute and property facets (and classification presence,
+ * material) whose constraints are simple values, patterns, enumerations or
+ * numeric bounds. Anything else blocks THAT specification with a named
+ * reason rather than being approximated: partOf, optional and prohibited
+ * facets, a pattern on an entity or attribute NAME,
+ * length/digit restrictions. The per-facet mapping is in
+ * `ids-facet-to-rules.ts`.
+ */
+import type { IDSDocument } from '@ifc-lite/ids';
+import type { RuleSetFile } from '../rule-set/rule-set.js';
+export interface IdsToRuleSetOptions {
+    /** Id for a rule whose specification has no usable `identifier`. Default: `crypto.randomUUID()`. */
+    newId?: () => string;
+}
+export interface RefusedSpecification {
+    specificationName: string;
+    reasons: string[];
+}
+export interface IdsToRuleSetResult {
+    /** `null` when no specification could be imported. */
+    file: RuleSetFile | null;
+    refused: RefusedSpecification[];
+    /** Caveats that apply to the imported rules as a whole. */
+    notes: string[];
+    /**
+     * Checks the IDS makes that the imported rules do not, one entry per
+     * dropped check as `"<rule name>: <what>"` (today: a property facet's
+     * `dataType`, which the rule vocabulary cannot check, #5225).
+     */
+    droppedChecks: string[];
+}
+/** Convert the simple specifications of `doc` to a rule set. Never throws. */
+export declare function idsToRuleSet(doc: IDSDocument, options?: IdsToRuleSetOptions): IdsToRuleSetResult;
+//# sourceMappingURL=ids-to-rule-set.d.ts.map

package/dist/ids/ids-to-rule-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids-to-rule-set.d.ts","sourceRoot":"","sources":["../../src/ids/ids-to-rule-set.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAoB,MAAM,eAAe,CAAC;AAEnE,OAAO,KAAK,EAAmB,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAI5E,MAAM,WAAW,mBAAmB;IAClC,oGAAoG;IACpG,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,sDAAsD;IACtD,IAAI,EAAE,WAAW,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,2DAA2D;IAC3D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB;;;;OAIG;IACH,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAyED,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,GAAE,mBAAwB,GAAG,kBAAkB,CAgCpG"}

package/dist/ids/ids-to-rule-set.js

@@ -0,0 +1,103 @@
+/* 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/. */
+import { RULE_SET_VERSION } from '../rule-set/rule-set.js';
+import { facetToRules } from './ids-facet-to-rules.js';
+const ALL_VERSIONS_NOTE = 'IDS specifications limited to some IFC versions were imported as rules that run on every model';
+function cardinalityOf(spec, reasons) {
+    const min = spec.minOccurs ?? 0;
+    const max = spec.maxOccurs ?? 'unbounded';
+    if (max === 'unbounded')
+        return min > 0 ? { minApplicable: min } : undefined;
+    if (max < min) {
+        reasons.push(`maxOccurs ${max} is below minOccurs ${min}`);
+        return undefined;
+    }
+    return { ...(min > 0 ? { minApplicable: min } : {}), maxApplicable: max };
+}
+function specificationToRule(spec, id) {
+    const reasons = [];
+    const dropped = [];
+    const cardinality = cardinalityOf(spec, reasons);
+    const applicability = [];
+    for (const facet of spec.applicability.facets) {
+        const mapped = facetToRules(facet, 'applicability');
+        if (mapped.ok) {
+            applicability.push(...mapped.rules);
+            dropped.push(...(mapped.dropped ?? []));
+        }
+        else
+            reasons.push(`applicability: ${mapped.reason}`);
+    }
+    if (spec.applicability.facets.length === 0)
+        reasons.push('the applicability has no facets');
+    const requirement = [];
+    for (const req of spec.requirements) {
+        if (req.optionality !== 'required') {
+            reasons.push(req.optionality === 'optional'
+                ? `requirements: an optional ${req.facet.type} facet ("if present, must match") has no rule equivalent`
+                : `requirements: a prohibited ${req.facet.type} facet has no rule equivalent`);
+            continue;
+        }
+        const mapped = facetToRules(req.facet, 'requirement');
+        if (mapped.ok) {
+            requirement.push(...mapped.rules);
+            dropped.push(...(mapped.dropped ?? []));
+        }
+        else
+            reasons.push(`requirements: ${mapped.reason}`);
+    }
+    if (spec.requirements.length === 0) {
+        reasons.push('a specification without requirements has no rule equivalent (a rule always checks something)');
+    }
+    if (reasons.length > 0)
+        return { ok: false, reasons };
+    const description = [spec.description, spec.instructions].filter((s) => !!s).join('\n\n');
+    return {
+        ok: true,
+        dropped,
+        rule: {
+            id,
+            name: spec.name || id,
+            ...(description ? { description } : {}),
+            applicability: { groups: [{ rules: applicability, combinator: 'AND' }], authoredAs: 'chips' },
+            requirement: { kind: 'element', block: { groups: [{ rules: requirement, combinator: 'AND' }], authoredAs: 'chips' } },
+            ...(cardinality ? { cardinality } : {}),
+        },
+    };
+}
+const ALL_VERSIONS = new Set(['IFC2X3', 'IFC4', 'IFC4X3', 'IFC4X3_ADD2']);
+/** Convert the simple specifications of `doc` to a rule set. Never throws. */
+export function idsToRuleSet(doc, options = {}) {
+    const newId = options.newId ?? (() => globalThis.crypto.randomUUID());
+    const usedIds = new Set();
+    const rules = [];
+    const refused = [];
+    const notes = new Set();
+    const droppedChecks = [];
+    doc.specifications.forEach((spec, index) => {
+        const identifier = spec.identifier?.trim();
+        const id = identifier && !usedIds.has(identifier) ? identifier : newId();
+        const outcome = specificationToRule(spec, id);
+        if (!outcome.ok) {
+            refused.push({ specificationName: spec.name || `Specification ${index + 1}`, reasons: outcome.reasons });
+            return;
+        }
+        usedIds.add(id);
+        rules.push(outcome.rule);
+        for (const loss of outcome.dropped)
+            droppedChecks.push(`${outcome.rule.name}: ${loss}`);
+        const versions = new Set(spec.ifcVersions);
+        if (![...ALL_VERSIONS].every((v) => versions.has(v) || (v === 'IFC4X3' && versions.has('IFC4X3_ADD2')) || (v === 'IFC4X3_ADD2' && versions.has('IFC4X3')))) {
+            notes.add(ALL_VERSIONS_NOTE);
+        }
+    });
+    const file = rules.length === 0 ? null : {
+        version: RULE_SET_VERSION,
+        name: doc.info.title || 'Imported IDS',
+        ...(doc.info.description ? { description: doc.info.description } : {}),
+        rules,
+    };
+    return { file, refused, notes: [...notes], droppedChecks };
+}
+//# sourceMappingURL=ids-to-rule-set.js.map

package/dist/ids/ids-to-rule-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids-to-rule-set.js","sourceRoot":"","sources":["../../src/ids/ids-to-rule-set.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAmB/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AA0BvD,MAAM,iBAAiB,GACrB,gGAAgG,CAAC;AAInG,SAAS,aAAa,CAAC,IAAsB,EAAE,OAAiB;IAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,WAAW,CAAC;IAC1C,IAAI,GAAG,KAAK,WAAW;QAAE,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,aAAa,GAAG,uBAAuB,GAAG,EAAE,CAAC,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC;AAC5E,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAsB,EAAE,EAAU;IAC7D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,MAAM,aAAa,GAAiB,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,aAAa,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC;;YACI,OAAO,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAE5F,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CACV,GAAG,CAAC,WAAW,KAAK,UAAU;gBAC5B,CAAC,CAAC,6BAA6B,GAAG,CAAC,KAAK,CAAC,IAAI,0DAA0D;gBACvG,CAAC,CAAC,8BAA8B,GAAG,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAChF,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACtD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC;;YACI,OAAO,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,8FAA8F,CAAC,CAAC;IAC/G,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACtD,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvG,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO;QACP,IAAI,EAAE;YACJ,EAAE;YACF,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;YACrB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,aAAa,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE;YAC7F,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE;YACrH,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AAE1E,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,GAAgB,EAAE,UAA+B,EAAE;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,aAAa,GAAa,EAAE,CAAC;IAEnC,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,UAAU,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACzE,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,IAAI,IAAI,iBAAiB,KAAK,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YACzG,OAAO;QACT,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;QACxF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,WAAW,CAAC,CAAC;QACnD,IAAI,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,aAAa,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3J,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAuB,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,OAAO,EAAE,gBAAgB;QACzB,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,cAAc;QACtC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,KAAK;KACN,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC;AAC7D,CAAC"}

package/dist/ids/ids-xml-writer.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Serialise an `IDSDocument` as IDS 1.0 XML (#5225). Covers the subset of
+ * the model `ruleSetToIds` produces: entity, attribute, property,
+ * classification and material facets, with simple-value, pattern,
+ * enumeration and numeric-bound constraints. Element order follows
+ * `ids.xsd`, so `parseIDS` and `auditIDSDocument` read the result back.
+ */
+import type { IDSDocument } from '@ifc-lite/ids';
+/** `doc` as an IDS 1.0 XML string. */
+export declare function writeIdsXml(doc: IDSDocument): string;
+//# sourceMappingURL=ids-xml-writer.d.ts.map

package/dist/ids/ids-xml-writer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids-xml-writer.d.ts","sourceRoot":"","sources":["../../src/ids/ids-xml-writer.ts"],"names":[],"mappings":"AAIA;;;;;;GAMG;AAEH,OAAO,KAAK,EAEV,WAAW,EAIZ,MAAM,eAAe,CAAC;AAuJvB,sCAAsC;AACtC,wBAAgB,WAAW,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,CAiBpD"}