@ifc-lite/rules 0.2.0

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

@@ -0,0 +1,291 @@
+/* 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 { escapeXsdLiteral, hasAstralCaveat, jsRegexOf, jsRegexToIdsPattern } from './ids-regex.js';
+const NEGATED_OPS = new Set(['ne', 'notContains', 'notMatches', 'isNotSet', 'notIn']);
+/** A `/body/flags` literal: how a name with no declared kind says "pattern". */
+const REGEX_LITERAL = /^\/(.+)\/([a-z]*)$/;
+function simpleOrEnumeration(values) {
+    return values.length === 1
+        ? { type: 'simpleValue', value: values[0] }
+        : { type: 'enumeration', values: [...values] };
+}
+/** A set/property/quantity NAME as the engine reads it (`nameMatches`). */
+function nameConstraint(name, kind) {
+    const isRegex = kind === 'regex' || (kind === undefined && REGEX_LITERAL.test(name));
+    if (!isRegex)
+        return { type: 'simpleValue', value: name };
+    const converted = jsRegexToIdsPattern(jsRegexOf(name, kind));
+    return converted.ok ? { type: 'pattern', pattern: converted.pattern } : `name pattern "${name}": ${converted.reason}`;
+}
+function boundsOf(op, value) {
+    switch (op) {
+        case 'gt': return { type: 'bounds', minExclusive: value };
+        case 'gte': return { type: 'bounds', minInclusive: value };
+        case 'lt': return { type: 'bounds', maxExclusive: value };
+        case 'lte': return { type: 'bounds', maxInclusive: value };
+        default: return { type: 'simpleValue', value: String(value) };
+    }
+}
+/**
+ * The value constraint for a rule operator, `null` for a bare presence
+ * check (`isSet`), or a refusal reason.
+ */
+function valueConstraint(op, value, valueKind) {
+    switch (op) {
+        case 'isSet':
+            return null;
+        case 'eq':
+            return { type: 'simpleValue', value };
+        case 'contains':
+            return { type: 'pattern', pattern: `.*${escapeXsdLiteral(value)}.*` };
+        case 'startsWith':
+            return { type: 'pattern', pattern: `${escapeXsdLiteral(value)}.*` };
+        case 'matches': {
+            const converted = jsRegexToIdsPattern(jsRegexOf(value, valueKind));
+            return converted.ok ? { type: 'pattern', pattern: converted.pattern } : `pattern "${value}": ${converted.reason}`;
+        }
+        case 'gt':
+        case 'gte':
+        case 'lt':
+        case 'lte': {
+            const n = Number(value);
+            if (value.trim() === '' || !Number.isFinite(n))
+                return `"${value}" is not a number, so "${op}" has no IDS bound`;
+            return boundsOf(op, n);
+        }
+        default:
+            return `operator "${op}" has no IDS equivalent`;
+    }
+}
+const NO_MODEL = () => ({
+    kind: 'unknown',
+    reason: 'the value is compared in model units, and converting it to the SI units IDS uses needs a loaded model',
+});
+/** `c` with every number multiplied by `scale`. */
+function scaleConstraint(c, scale) {
+    if (c.type === 'simpleValue')
+        return { ...c, value: String(Number(c.value) * scale) };
+    if (c.type !== 'bounds')
+        return c;
+    const out = { ...c };
+    for (const key of ['minInclusive', 'minExclusive', 'maxInclusive', 'maxExclusive']) {
+        if (out[key] !== undefined)
+            out[key] = out[key] * scale;
+    }
+    return out;
+}
+const ASTRAL_NOTE = 'A pattern without the "u" flag reads an emoji or other character outside the Basic Multilingual Plane as two ' +
+    'characters in the rule engine and as one in IDS, so ".", "[^…]" and "\\D" can disagree on such values';
+/** The astral-plane caveat, when the rule's value or set/property name is such a regex. */
+function regexNote(rule) {
+    const regexes = [];
+    if ('op' in rule && rule.op === 'matches' && 'value' in rule && typeof rule.value === 'string') {
+        regexes.push(jsRegexOf(rule.value, 'valueKind' in rule ? rule.valueKind : undefined));
+    }
+    if (rule.kind === 'property' || rule.kind === 'quantity') {
+        const baseName = rule.kind === 'property' ? rule.propertyName : rule.quantityName;
+        const baseKind = rule.kind === 'property' ? rule.propertyNameKind : rule.quantityNameKind;
+        const names = [[rule.setName, rule.setNameKind], [baseName, baseKind]];
+        for (const [name, kind] of names) {
+            if (kind === 'regex' || (kind === undefined && REGEX_LITERAL.test(name)))
+                regexes.push(jsRegexOf(name, kind));
+        }
+    }
+    return regexes.some(hasAstralCaveat) ? ASTRAL_NOTE : undefined;
+}
+function mapRule(rule, scaleOf) {
+    if ('op' in rule && NEGATED_OPS.has(rule.op)) {
+        return { reason: `a negated condition ("${rule.op}") cannot be expressed in IDS 1.0` };
+    }
+    switch (rule.kind) {
+        case 'model':
+        case 'modelTag':
+            return { reason: 'targeting a model or model tag has no IDS equivalent (an IDS is run against one model)' };
+        case 'storey':
+            return { reason: 'storey membership by name has no IDS facet' };
+        case 'elevation':
+            return { reason: 'storey elevation has no IDS facet' };
+        case 'type':
+            return { reason: 'the relating type name has no IDS facet' };
+        case 'parent':
+            return { reason: 'an ancestor matched by name has no IDS facet (partOf matches a class)' };
+        case 'group':
+            // IDS's partOf IfcRelAssignsToGroup names the group's exact class only:
+            // no Name match, and no subclass expansion of `groupClass`.
+            return { reason: 'group membership by name or by class-with-subclasses has no IDS facet (partOf matches one exact class)' };
+        case 'globalId':
+            return { facet: { type: 'attribute', name: { type: 'simpleValue', value: 'GlobalId' }, value: simpleOrEnumeration(rule.values) } };
+        case 'name':
+        case 'attribute': {
+            const attrName = rule.kind === 'name' ? 'Name' : rule.name;
+            const value = valueConstraint(rule.op, rule.value, rule.valueKind);
+            if (typeof value === 'string')
+                return { reason: value };
+            return {
+                facet: { type: 'attribute', name: { type: 'simpleValue', value: attrName }, ...(value ? { value } : {}) },
+                boundsKey: value?.type === 'bounds' ? `attribute:${attrName}` : undefined,
+            };
+        }
+        case 'property':
+        case 'quantity': {
+            const isQuantity = rule.kind === 'quantity';
+            const setName = nameConstraint(rule.setName, rule.setNameKind);
+            const baseName = isQuantity
+                ? nameConstraint(rule.quantityName, rule.quantityNameKind)
+                : nameConstraint(rule.propertyName, rule.propertyNameKind);
+            if (typeof setName === 'string')
+                return { reason: setName };
+            if (typeof baseName === 'string')
+                return { reason: baseName };
+            const value = isQuantity
+                ? boundsOf(rule.op, rule.value)
+                : valueConstraint(rule.op, rule.value, rule.valueKind);
+            if (typeof value === 'string')
+                return { reason: value };
+            const key = `${rule.kind}:${rule.setName}:${isQuantity ? rule.quantityName : rule.propertyName}`;
+            const numeric = value !== null && (isQuantity || value.type === 'bounds'
+                || (value.type === 'simpleValue' && value.value.trim() !== '' && Number.isFinite(Number(value.value))));
+            let exported = value;
+            if (numeric && value && rule.valueUnit !== 'si') {
+                const stored = scaleOf(rule);
+                if (stored.kind === 'unknown')
+                    return { reason: stored.reason };
+                if (stored.kind === 'scale')
+                    exported = scaleConstraint(value, stored.scale);
+            }
+            return {
+                facet: { type: 'property', propertySet: setName, baseName, ...(exported ? { value: exported } : {}) },
+                boundsKey: value?.type === 'bounds' ? key : undefined,
+            };
+        }
+        case 'material': {
+            // `matches .` (any non-empty name) is how the rule vocabulary, which
+            // has no material presence operator, spells "has a material"; the IDS
+            // spelling of the same check is a material facet without a value.
+            if (rule.op === 'matches' && rule.valueKind === 'regex' && rule.value === '.') {
+                return { facet: { type: 'material' } };
+            }
+            const value = valueConstraint(rule.op, rule.value, rule.valueKind);
+            if (typeof value === 'string')
+                return { reason: value };
+            return { facet: { type: 'material', ...(value ? { value } : {}) } };
+        }
+        case 'classification': {
+            if (rule.op !== 'isSet') {
+                return { reason: 'a classification value check matches a code OR a name; the IDS classification facet matches the code only' };
+            }
+            const system = rule.system?.trim();
+            return { facet: { type: 'classification', ...(system ? { system: { type: 'simpleValue', value: system } } : {}) } };
+        }
+        case 'ifcType':
+        case 'predefinedType':
+            // Folded into one entity facet by `entityFacetOf`.
+            return { reason: `${rule.kind} is handled as an entity facet` };
+        default: {
+            const exhaustive = rule;
+            return { reason: `unknown rule kind ${JSON.stringify(exhaustive)}` };
+        }
+    }
+}
+/** The group's `ifcType`/`predefinedType` rules as one entity facet. */
+function entityFacetOf(rules, role, reasons) {
+    const types = rules.filter((r) => r.kind === 'ifcType');
+    const predefined = rules.filter((r) => r.kind === 'predefinedType');
+    if (types.length === 0 && predefined.length === 0)
+        return null;
+    if (role === 'requirement') {
+        reasons.push('an IFC class requirement has no exact-class form in the rule engine, while an IDS entity facet is exact-class');
+        return null;
+    }
+    if (types.length !== 1) {
+        reasons.push(types.length === 0
+            ? 'a PredefinedType condition needs an IFC class condition in the same group (IDS keeps it inside the entity facet)'
+            : 'several IFC class conditions in one group have no single IDS entity facet');
+        return null;
+    }
+    const [type] = types;
+    if (type.kind !== 'ifcType')
+        return null;
+    if (type.op !== 'in')
+        return null; // negation already reported by `mapRule`'s caller
+    if (type.exactClass !== true) {
+        reasons.push('the IFC class condition includes subclasses (exactClass is off); an IDS entity facet matches the exact class only');
+        return null;
+    }
+    if (predefined.length > 1) {
+        reasons.push('several PredefinedType conditions in one group have no single IDS entity facet');
+        return null;
+    }
+    const pt = predefined[0];
+    if (pt && (pt.kind !== 'predefinedType' || pt.op !== 'in'))
+        return null;
+    return {
+        type: 'entity',
+        name: simpleOrEnumeration(type.values.map((v) => v.toUpperCase())),
+        ...(pt && pt.kind === 'predefinedType' ? { predefinedType: simpleOrEnumeration(pt.values) } : {}),
+    };
+}
+const BOUND_KEYS = ['minInclusive', 'minExclusive', 'maxInclusive', 'maxExclusive'];
+/** Merge `extra`'s bounds into `into`; a reason when both set the same side. */
+function mergeBounds(into, extra) {
+    for (const key of BOUND_KEYS) {
+        if (extra[key] === undefined)
+            continue;
+        const side = key.startsWith('min') ? ['minInclusive', 'minExclusive'] : ['maxInclusive', 'maxExclusive'];
+        if (side.some((k) => into[k] !== undefined))
+            return 'two bounds on the same side of one value have no single IDS restriction';
+        into[key] = extra[key];
+    }
+    return null;
+}
+function facetValue(facet) {
+    return facet.type === 'attribute' || facet.type === 'property' ? facet.value : undefined;
+}
+/** Map one group. Every reason is collected, not just the first. */
+export function groupToFacets(group, role, scaleOf = NO_MODEL) {
+    const reasons = [];
+    const notes = new Set();
+    if (group.rules.length === 0) {
+        return { ok: false, reasons: [role === 'applicability' ? 'the applicability is empty' : 'the requirement has no conditions'] };
+    }
+    if (group.combinator === 'OR' && group.rules.length > 1) {
+        reasons.push('conditions combined with OR cannot be expressed in IDS 1.0 (facets are always AND-ed)');
+    }
+    const facets = [];
+    for (const rule of group.rules) {
+        if ((rule.kind === 'ifcType' || rule.kind === 'predefinedType') && rule.op === 'notIn') {
+            reasons.push(`a negated condition ("notIn") cannot be expressed in IDS 1.0`);
+        }
+    }
+    const entity = entityFacetOf(group.rules, role, reasons);
+    if (entity)
+        facets.push(entity);
+    const byBoundsKey = new Map();
+    for (const rule of group.rules) {
+        if (rule.kind === 'ifcType' || rule.kind === 'predefinedType')
+            continue;
+        const mapped = mapRule(rule, scaleOf);
+        if ('reason' in mapped) {
+            reasons.push(mapped.reason);
+            continue;
+        }
+        const astral = regexNote(rule);
+        if (astral)
+            notes.add(astral);
+        const existing = mapped.boundsKey ? byBoundsKey.get(mapped.boundsKey) : undefined;
+        const existingValue = existing ? facetValue(existing) : undefined;
+        const newValue = facetValue(mapped.facet);
+        if (existingValue?.type === 'bounds' && newValue?.type === 'bounds') {
+            const clash = mergeBounds(existingValue, newValue);
+            if (clash)
+                reasons.push(clash);
+            continue;
+        }
+        if (mapped.boundsKey)
+            byBoundsKey.set(mapped.boundsKey, mapped.facet);
+        facets.push(mapped.facet);
+    }
+    return reasons.length > 0 ? { ok: false, reasons } : { ok: true, facets, notes: [...notes] };
+}
+//# sourceMappingURL=rule-to-ids-facets.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-to-ids-facets.js","sourceRoot":"","sources":["../../src/ids/rule-to-ids-facets.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA2B/D,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,SAAS,EAAE,mBAAmB,EAAgB,MAAM,gBAAgB,CAAC;AAQjH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAEtF,gFAAgF;AAChF,MAAM,aAAa,GAAG,oBAAoB,CAAC;AAI3C,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE;QAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,2EAA2E;AAC3E,SAAS,cAAc,CAAC,IAAY,EAAE,IAA0B;IAC9D,MAAM,OAAO,GAAG,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC1D,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7D,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,iBAAiB,IAAI,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC;AACxH,CAAC;AAED,SAAS,QAAQ,CAAC,EAAa,EAAE,KAAa;IAC5C,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC1D,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC3D,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC1D,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC3D,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAChE,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,EAAU,EAAE,KAAa,EAAE,SAA+B;IACjF,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;QACxC,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxE,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtE,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACnE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC;QACpH,CAAC;QACD,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACxB,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,KAAK,0BAA0B,EAAE,oBAAoB,CAAC;YACjH,OAAO,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACzB,CAAC;QACD;YACE,OAAO,aAAa,EAAE,yBAAyB,CAAC;IACpD,CAAC;AACH,CAAC;AAeD,MAAM,QAAQ,GAAsB,GAAG,EAAE,CAAC,CAAC;IACzC,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,uGAAuG;CAChH,CAAC,CAAC;AAEH,mDAAmD;AACnD,SAAS,eAAe,CAAC,CAAgB,EAAE,KAAa;IACtD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;IACtF,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,CAAU,EAAE,CAAC;QAC5F,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,GAAI,GAAG,CAAC,GAAG,CAAY,GAAG,KAAK,CAAC;IACtE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,WAAW,GACf,+GAA+G;IAC/G,uGAAuG,CAAC;AAE1G,2FAA2F;AAC3F,SAAS,SAAS,CAAC,IAAgB;IACjC,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/F,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;QAClF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAC1F,MAAM,KAAK,GAA0C,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9G,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACjC,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AACjE,CAAC;AAED,SAAS,OAAO,CAAC,IAAgB,EAAE,OAA0B;IAC3D,IAAI,IAAI,IAAI,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7C,OAAO,EAAE,MAAM,EAAE,yBAAyB,IAAI,CAAC,EAAE,mCAAmC,EAAE,CAAC;IACzF,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,EAAE,MAAM,EAAE,wFAAwF,EAAE,CAAC;QAC9G,KAAK,QAAQ;YACX,OAAO,EAAE,MAAM,EAAE,4CAA4C,EAAE,CAAC;QAClE,KAAK,WAAW;YACd,OAAO,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;QACzD,KAAK,MAAM;YACT,OAAO,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,EAAE,MAAM,EAAE,uEAAuE,EAAE,CAAC;QAC7F,KAAK,OAAO;YACV,wEAAwE;YACxE,4DAA4D;YAC5D,OAAO,EAAE,MAAM,EAAE,wGAAwG,EAAE,CAAC;QAC9H,KAAK,UAAU;YACb,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACrI,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3D,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACnE,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YACxD,OAAO;gBACL,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;gBACzG,SAAS,EAAE,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS;aAC1E,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;YAC5C,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,UAAU;gBACzB,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,gBAAgB,CAAC;gBAC1D,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC7D,IAAI,OAAO,OAAO,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YAC5D,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC9D,MAAM,KAAK,GAAG,UAAU;gBACtB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC;gBAC/B,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACjG,MAAM,OAAO,GAAG,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;mBACnE,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1G,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;gBAChD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;gBAChE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;oBAAE,QAAQ,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAC/E,CAAC;YACD,OAAO;gBACL,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;gBACrG,SAAS,EAAE,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;aACtD,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,qEAAqE;YACrE,sEAAsE;YACtE,kEAAkE;YAClE,IAAI,IAAI,CAAC,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC9E,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC;YACzC,CAAC;YACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACnE,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YACxD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;gBACxB,OAAO,EAAE,MAAM,EAAE,2GAA2G,EAAE,CAAC;YACjI,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACtH,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,gBAAgB;YACnB,mDAAmD;YACnD,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,gCAAgC,EAAE,CAAC;QAClE,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,OAAO,EAAE,MAAM,EAAE,qBAAqB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACvE,CAAC;IACH,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,SAAS,aAAa,CAAC,KAA4B,EAAE,IAAe,EAAE,OAAiB;IACrF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,+GAA+G,CAAC,CAAC;QAC9H,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAC7B,CAAC,CAAC,kHAAkH;YACpH,CAAC,CAAC,2EAA2E,CAAC,CAAC;QACjF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,kDAAkD;IACrF,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,mHAAmH,CAAC,CAAC;QAClI,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,gFAAgF,CAAC,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,gBAAgB,IAAI,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAClE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClG,CAAC;AACJ,CAAC;AAGD,MAAM,UAAU,GAAG,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,CAAU,CAAC;AAE7F,gFAAgF;AAChF,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,cAAc,CAAU,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,cAAc,CAAU,CAAC;QAC3H,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;YAAE,OAAO,yEAAyE,CAAC;QAC9H,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,KAAe;IACjC,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3F,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,aAAa,CAAC,KAAkB,EAAE,IAAe,EAAE,UAA6B,QAAQ;IACtG,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,mCAAmC,CAAC,EAAE,CAAC;IACjI,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,uFAAuF,CAAC,CAAC;IACxG,CAAC;IAED,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;YACvF,OAAO,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,MAAM;QAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,SAAS;QACxE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtC,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAClE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,MAAM,aAAa,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClE,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,aAAa,EAAE,IAAI,KAAK,QAAQ,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpE,MAAM,KAAK,GAAG,WAAW,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;YACnD,IAAI,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAC/F,CAAC"}

package/dist/ids/stored-unit-scale.d.ts

@@ -0,0 +1,15 @@
+/**
+ * What unit a property or quantity is stored in, across the loaded models,
+ * so the IDS export can state a model-unit bound in SI (#5225 decision).
+ *
+ * Every element carrying the subject, in every model, is found with the
+ * search evaluator and read with `readSubject`, the same reader the rule
+ * engine compares with. Every value must be recorded with the same SI factor
+ * (an explicit `Unit` on one element can differ from the project unit on
+ * another); mixed factors, or no element having the value at all, is
+ * `unknown` with the reason, and the export refuses that rule.
+ */
+import { type EvaluatorModel } from '../filter/filter-evaluate.js';
+import type { StoredUnitScaleOf } from './rule-to-ids-facets.js';
+export declare function storedUnitScaleOf(models: ReadonlyArray<EvaluatorModel>): StoredUnitScaleOf;
+//# sourceMappingURL=stored-unit-scale.d.ts.map

package/dist/ids/stored-unit-scale.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored-unit-scale.d.ts","sourceRoot":"","sources":["../../src/ids/stored-unit-scale.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,EAAuB,KAAK,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAGxF,OAAO,KAAK,EAAmB,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAclF,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,GAAG,iBAAiB,CA6B1F"}

package/dist/ids/stored-unit-scale.js

@@ -0,0 +1,64 @@
+/* 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/. */
+/**
+ * What unit a property or quantity is stored in, across the loaded models,
+ * so the IDS export can state a model-unit bound in SI (#5225 decision).
+ *
+ * Every element carrying the subject, in every model, is found with the
+ * search evaluator and read with `readSubject`, the same reader the rule
+ * engine compares with. Every value must be recorded with the same SI factor
+ * (an explicit `Unit` on one element can differ from the project unit on
+ * another); mixed factors, or no element having the value at all, is
+ * `unknown` with the reason, and the export refuses that rule.
+ */
+import { evaluateFilterRules } from '../filter/filter-evaluate.js';
+import { readSubject } from '../filter/read-subject.js';
+/** A rule that matches every element carrying `rule`'s subject. */
+function presenceProbe(rule) {
+    if (rule.kind === 'quantity') {
+        return { kind: 'quantity', setName: rule.setName, setNameKind: rule.setNameKind, quantityName: rule.quantityName, quantityNameKind: rule.quantityNameKind, op: 'gte', value: -Number.MAX_VALUE };
+    }
+    return { kind: 'property', setName: rule.setName, setNameKind: rule.setNameKind, propertyName: rule.propertyName, propertyNameKind: rule.propertyNameKind, op: 'isSet', value: '' };
+}
+function label(rule) {
+    return `${rule.setName}.${rule.kind === 'quantity' ? rule.quantityName : rule.propertyName}`;
+}
+export function storedUnitScaleOf(models) {
+    const cache = new Map();
+    return (rule) => {
+        const key = JSON.stringify(presenceProbe(rule));
+        const cached = cache.get(key);
+        if (cached)
+            return cached;
+        const scales = new Set();
+        for (const model of models) {
+            if (!model.store)
+                continue;
+            const carriers = evaluateFilterRules(model.id, model.store, [presenceProbe(rule)], 'AND', { limit: Number.MAX_SAFE_INTEGER });
+            for (const element of carriers) {
+                const subject = readSubject(rule, { store: model.store, expressId: element.expressId });
+                for (const scale of subject.valueSiScales ?? [])
+                    scales.add(scale ?? 'unitless');
+                if (scales.size > 1)
+                    break;
+            }
+            if (scales.size > 1)
+                break;
+        }
+        let result;
+        if (scales.size === 0) {
+            result = { kind: 'unknown', reason: `no loaded model has ${label(rule)}, so its unit (and the SI value IDS needs) is unknown` };
+        }
+        else if (scales.size > 1) {
+            result = { kind: 'unknown', reason: `${label(rule)} is recorded in different units across the loaded elements, so no single SI value matches all of them` };
+        }
+        else {
+            const [only] = scales;
+            result = only === 'unitless' ? { kind: 'unitless' } : { kind: 'scale', scale: only };
+        }
+        cache.set(key, result);
+        return result;
+    };
+}
+//# sourceMappingURL=stored-unit-scale.js.map

package/dist/ids/stored-unit-scale.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored-unit-scale.js","sourceRoot":"","sources":["../../src/ids/stored-unit-scale.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,mBAAmB,EAAuB,MAAM,8BAA8B,CAAC;AAExF,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAGxD,mEAAmE;AACnE,SAAS,aAAa,CAAC,IAAiC;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;IACnM,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACtL,CAAC;AAED,SAAS,KAAK,CAAC,IAAiC;IAC9C,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAqC;IACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,OAAO,CAAC,IAAI,EAAE,EAAE;QACd,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,SAAS;YAC3B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;YAC9H,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;gBACxF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE;oBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,UAAU,CAAC,CAAC;gBACjF,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;oBAAE,MAAM;YAC7B,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;gBAAE,MAAM;QAC7B,CAAC;QACD,IAAI,MAAuB,CAAC;QAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,uBAAuB,KAAK,CAAC,IAAI,CAAC,uDAAuD,EAAE,CAAC;QAClI,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,uGAAuG,EAAE,CAAC;QAC9J,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;YACtB,MAAM,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACvF,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,39 @@
+/**
+ * `@ifc-lite/rules` — the filter-rule vocabulary, the Path-B evaluator, and
+ * the `.rules.json` information-validation engine (#5138 PR 7a). Extracted
+ * from `apps/viewer/src/lib/{search,validation}` so `packages/cli` (PR 7b)
+ * can run the SAME evaluator the viewer runs — no second implementation,
+ * no parity fixture between "what the viewer says" and "what the CLI says".
+ *
+ * No React, no store, no DOM: every export here takes plain data in
+ * (`IfcDataStore`, `EvaluatorModel[]`) and returns plain data out. The
+ * viewer's `lib/model-tags/evaluator-models.ts` (turns live store state into
+ * `EvaluatorModel[]`) and `lib/validation/rule-set-io-browser.ts`
+ * (`exportRuleSet`/`importRuleSetFile`, DOM file I/O) stay in the viewer —
+ * not this package's concern.
+ */
+export * from './filter/filter-rules.js';
+export * from './filter/filter-groups.js';
+export * from './filter/filter-rule-guards.js';
+export * from './filter/filter-ops.js';
+export * from './filter/filter-match.js';
+export * from './filter/read-subject.js';
+export * from './filter/filter-evaluate.js';
+export * from './filter/filter-evaluate-groups.js';
+export * from './filter/filter-evaluate-yield.js';
+export * from './filter/filter-evaluate-mutations.js';
+export * from './filter/filter-evaluate-model-tag.js';
+export * from './filter/filter-iteration.js';
+export * from './filter/filter-iteration-source.js';
+export * from './filter/entity-predefined-type.js';
+export * from './filter/lens-material-names.js';
+export * from './filter/model-tag.js';
+export * from './rule-set/rule-set.js';
+export * from './rule-set/rule-set-io.js';
+export * from './rule-set/rule-set-io-requirement.js';
+export * from './rule-set/requirement-text.js';
+export * from './rule-set/between-chip.js';
+export * from './engine/rule-engine.js';
+export { ruleSetToIds, type RuleSetToIdsOptions, type RuleSetToIdsResult, type RefusedRule } from './ids/rule-set-to-ids.js';
+export { idsToRuleSet, type IdsToRuleSetOptions, type IdsToRuleSetResult, type RefusedSpecification } from './ids/ids-to-rule-set.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;GAaG;AAGH,cAAc,0BAA0B,CAAC;AACzC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,0BAA0B,CAAC;AACzC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,oCAAoC,CAAC;AACnD,cAAc,mCAAmC,CAAC;AAClD,cAAc,uCAAuC,CAAC;AACtD,cAAc,uCAAuC,CAAC;AACtD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,qCAAqC,CAAC;AACpD,cAAc,oCAAoC,CAAC;AACnD,cAAc,iCAAiC,CAAC;AAChD,cAAc,uBAAuB,CAAC;AAGtC,cAAc,wBAAwB,CAAC;AACvC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,uCAAuC,CAAC;AACtD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,4BAA4B,CAAC;AAG3C,cAAc,yBAAyB,CAAC;AAGxC,OAAO,EAAE,YAAY,EAAE,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC7H,OAAO,EAAE,YAAY,EAAE,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,KAAK,oBAAoB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/index.js

@@ -0,0 +1,46 @@
+/* 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/. */
+/**
+ * `@ifc-lite/rules` — the filter-rule vocabulary, the Path-B evaluator, and
+ * the `.rules.json` information-validation engine (#5138 PR 7a). Extracted
+ * from `apps/viewer/src/lib/{search,validation}` so `packages/cli` (PR 7b)
+ * can run the SAME evaluator the viewer runs — no second implementation,
+ * no parity fixture between "what the viewer says" and "what the CLI says".
+ *
+ * No React, no store, no DOM: every export here takes plain data in
+ * (`IfcDataStore`, `EvaluatorModel[]`) and returns plain data out. The
+ * viewer's `lib/model-tags/evaluator-models.ts` (turns live store state into
+ * `EvaluatorModel[]`) and `lib/validation/rule-set-io-browser.ts`
+ * (`exportRuleSet`/`importRuleSetFile`, DOM file I/O) stay in the viewer —
+ * not this package's concern.
+ */
+// ── Filter-rule vocabulary + evaluator ──────────────────────────────────────
+export * from './filter/filter-rules.js';
+export * from './filter/filter-groups.js';
+export * from './filter/filter-rule-guards.js';
+export * from './filter/filter-ops.js';
+export * from './filter/filter-match.js';
+export * from './filter/read-subject.js';
+export * from './filter/filter-evaluate.js';
+export * from './filter/filter-evaluate-groups.js';
+export * from './filter/filter-evaluate-yield.js';
+export * from './filter/filter-evaluate-mutations.js';
+export * from './filter/filter-evaluate-model-tag.js';
+export * from './filter/filter-iteration.js';
+export * from './filter/filter-iteration-source.js';
+export * from './filter/entity-predefined-type.js';
+export * from './filter/lens-material-names.js';
+export * from './filter/model-tag.js';
+// ── `.rules.json` shape + parse/serialize (Node/browser-portable half) ─────
+export * from './rule-set/rule-set.js';
+export * from './rule-set/rule-set-io.js';
+export * from './rule-set/rule-set-io-requirement.js';
+export * from './rule-set/requirement-text.js';
+export * from './rule-set/between-chip.js';
+// ── Validation engine: RuleSetFile + models -> ValidationReport ────────────
+export * from './engine/rule-engine.js';
+// ── IDS interchange: rule set -> IDS 1.0 export, simple IDS -> rule import (#5225)
+export { ruleSetToIds } from './ids/rule-set-to-ids.js';
+export { idsToRuleSet } from './ids/ids-to-rule-set.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;GAaG;AAEH,+EAA+E;AAC/E,cAAc,0BAA0B,CAAC;AACzC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,0BAA0B,CAAC;AACzC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,oCAAoC,CAAC;AACnD,cAAc,mCAAmC,CAAC;AAClD,cAAc,uCAAuC,CAAC;AACtD,cAAc,uCAAuC,CAAC;AACtD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,qCAAqC,CAAC;AACpD,cAAc,oCAAoC,CAAC;AACnD,cAAc,iCAAiC,CAAC;AAChD,cAAc,uBAAuB,CAAC;AAEtC,8EAA8E;AAC9E,cAAc,wBAAwB,CAAC;AACvC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,uCAAuC,CAAC;AACtD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,4BAA4B,CAAC;AAE3C,8EAA8E;AAC9E,cAAc,yBAAyB,CAAC;AAExC,oFAAoF;AACpF,OAAO,EAAE,YAAY,EAAuE,MAAM,0BAA0B,CAAC;AAC7H,OAAO,EAAE,YAAY,EAAgF,MAAM,0BAA0B,CAAC"}

package/dist/rule-set/between-chip.d.ts

@@ -0,0 +1,54 @@
+/**
+ * `between` display folding for the rule editor (#5138 plan §6's operator
+ * table): the persisted `RuleBlock.groups` never gains a `between` rule
+ * kind — it stays a plain `gte` rule plus a plain `lte` rule on the same
+ * subject, exactly the vocabulary `readSubject`/`filter-ops.ts` already
+ * understand (plan §3, §4). "Between" only exists here, as a pure display
+ * transform the editor applies on load (fold) and reverses on save
+ * (unfold), so `RuleBlockEditor` can show ONE range chip instead of two
+ * rows that happen to share a subject.
+ *
+ * Only `property` / `quantity` / `attribute` rules fold — the three
+ * element-requirement kinds whose op is `gte`/`lte` at all (ELEMENT_
+ * REQUIREMENT_KINDS in `rule-set-io-requirement.ts`; `name`/`type`/
+ * `parent`/`material`/`classification` use `StringOp`, `ifcType`/
+ * `predefinedType` use `SetOp` — none of those has a numeric bound to
+ * pair).
+ */
+import type { FilterRule } from '../filter/filter-rules.js';
+type Betweenable = Extract<FilterRule, {
+    kind: 'property' | 'quantity' | 'attribute';
+}>;
+export interface BetweenChip {
+    kind: 'between';
+    /** The `gte` rule — its `value` is the range minimum. */
+    min: Betweenable;
+    /** The `lte` rule on the identical subject — its `value` is the maximum. */
+    max: Betweenable;
+}
+export type FoldedRule = FilterRule | BetweenChip;
+export declare function isBetweenChip(row: FoldedRule): row is BetweenChip;
+/**
+ * Merge `gte`/`lte` pairs on the identical subject into one `BetweenChip`,
+ * regardless of which one appears first. A subject with only a `gte`, only
+ * a `lte`, or more than one of either, is left as plain rules — folding
+ * only ever removes exactly two entries and adds exactly one, never
+ * guesses which of several candidates pairs with which.
+ *
+ * Pairing happens in a PASS OF ITS OWN, before anything is written to
+ * `out`: a single combined pass that pushed a `lte` immediately (because
+ * it isn't itself a `gte`) and only later discovered, at its `gte`
+ * partner's index, that the two pair up, would leave that `lte` in `out`
+ * TWICE — once as the plain rule already pushed, once folded inside the
+ * chip — so `[lte(300), gte(100)]` (partner before the `gte` that finds
+ * it) silently produced three rules on unfold instead of two. Deciding
+ * every pair up front means the emitting pass never has to un-push
+ * something it already committed.
+ */
+export declare function foldBetweenPairs(rules: readonly FilterRule[]): FoldedRule[];
+/** Reverses `foldBetweenPairs`: every `BetweenChip` becomes its `min`
+ *  (`gte`) rule followed by its `max` (`lte`) rule — the exact shape
+ *  `rule-set-io.ts` persists. */
+export declare function unfoldBetweenChips(rows: readonly FoldedRule[]): FilterRule[];
+export {};
+//# sourceMappingURL=between-chip.d.ts.map

package/dist/rule-set/between-chip.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"between-chip.d.ts","sourceRoot":"","sources":["../../src/rule-set/between-chip.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,KAAK,WAAW,GAAG,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,UAAU,GAAG,UAAU,GAAG,WAAW,CAAA;CAAE,CAAC,CAAC;AAExF,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,yDAAyD;IACzD,GAAG,EAAE,WAAW,CAAC;IACjB,4EAA4E;IAC5E,GAAG,EAAE,WAAW,CAAC;CAClB;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAElD,wBAAgB,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,GAAG,IAAI,WAAW,CAEjE;AAiBD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,EAAE,CA0C3E;AAED;;iCAEiC;AACjC,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,EAAE,CAU5E"}