@ifc-lite/rules 0.2.0

package/dist/engine/rule-engine-sets.js

@@ -0,0 +1,298 @@
+/* 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 { collectSpatialAncestors } from '@ifc-lite/data';
+import { numericOpMatches } from '../filter/filter-ops.js';
+import { evaluateFilterGroupsFederated } from '../filter/filter-evaluate-groups.js';
+import { readSubject } from '../filter/read-subject.js';
+import { OP_LABEL } from './rule-engine-requirements.js';
+import { maybeYieldChunk, finalProgress } from './rule-engine-chunk.js';
+const SET_RESULT_CAP = 1_000;
+/** Shared with `rule-engine-compare.ts` (same `Subject` label rendering). */
+export function describeSubject(subject) {
+    switch (subject.kind) {
+        case 'property': return `${subject.setName}.${subject.propertyName}`;
+        case 'quantity': return `${subject.setName}.${subject.quantityName}`;
+        case 'attribute': return subject.name;
+        case 'classification': return subject.system ? `Classification[${subject.system}]` : 'Classification';
+        case 'group': return subject.groupClass ? `Group[${subject.groupClass}]` : 'Group';
+        default: return subject.kind;
+    }
+}
+/**
+ * Fold a raw subject value into a bucket/group key. `globalId` is NEVER
+ * case-folded, `caseSensitive` or not — review finding: same rule
+ * `filter-ops.ts`'s `globalIdOpMatches` already applies (a GlobalId is a
+ * 22-char base64 GUID where case IS the identity; folding it would merge
+ * two genuinely different elements' ids, e.g. `abc`/`ABC`, into one
+ * "duplicate").
+ */
+function foldKey(value, subjectKind, caseSensitive) {
+    if (subjectKind === 'globalId')
+        return value;
+    return caseSensitive ? value : value.toLowerCase();
+}
+/** Shared with `rule-engine-compare.ts`. */
+export function baseRow(el, passed, result) {
+    return {
+        expressId: el.expressId,
+        modelId: el.modelId,
+        entityType: el.ifcType,
+        entityName: el.name || undefined,
+        globalId: el.globalId,
+        passed,
+        requirementResults: [result],
+    };
+}
+export async function checkUnique(requirementId, requirement, applicable, storesById, opts, ruleIndex, signal, onProgress) {
+    const label = `unique(${describeSubject(requirement.subject)})`;
+    const perModel = requirement.scope === 'perModel';
+    const entityResults = [];
+    // scope key ('' for federation, else modelId) -> folded value -> members.
+    const buckets = new Map();
+    for (let i = 0; i < applicable.length; i++) {
+        const el = applicable[i];
+        const store = storesById.get(el.modelId);
+        if (store) {
+            const subject = readSubject(requirement.subject, { store, expressId: el.expressId });
+            if (!subject.present) {
+                entityResults.push(baseRow(el, false, {
+                    requirement: { id: requirementId, label, optionality: 'required' },
+                    status: 'fail', facetType: 'unique', checkedDescription: label,
+                    failureReason: 'absent', actualValue: '""', expectedValue: 'unique',
+                }));
+            }
+            else {
+                const scopeKey = perModel ? el.modelId : '';
+                let scoped = buckets.get(scopeKey);
+                if (!scoped)
+                    buckets.set(scopeKey, (scoped = new Map()));
+                for (const raw of subject.values) {
+                    const s = String(raw);
+                    if (s.trim().length === 0)
+                        continue;
+                    const key = foldKey(s, requirement.subject.kind, opts.caseSensitive);
+                    let bucket = scoped.get(key);
+                    if (!bucket)
+                        scoped.set(key, (bucket = []));
+                    bucket.push({ el, value: s });
+                }
+            }
+        }
+        await maybeYieldChunk(i + 1, applicable.length, ruleIndex, signal, onProgress);
+    }
+    finalProgress(applicable.length, ruleIndex, signal, onProgress);
+    const dupGroups = [];
+    for (const scoped of buckets.values()) {
+        for (const members of scoped.values()) {
+            if (members.length > 1)
+                dupGroups.push({ value: members[0].value, members });
+        }
+    }
+    dupGroups.sort((a, b) => b.members.length - a.members.length);
+    for (const g of dupGroups) {
+        const actual = `${g.value} (${g.members.length}×)`;
+        for (const m of g.members) {
+            entityResults.push(baseRow(m.el, false, {
+                requirement: { id: requirementId, label, optionality: 'required' },
+                status: 'fail', facetType: 'unique', checkedDescription: label,
+                failureReason: 'duplicate', actualValue: actual, expectedValue: 'unique',
+            }));
+        }
+    }
+    const setResultsTruncated = dupGroups.length > SET_RESULT_CAP;
+    const setResults = dupGroups.slice(0, SET_RESULT_CAP).map((g) => ({
+        kind: 'duplicate',
+        label: g.value,
+        actual: `${g.value} (${g.members.length}×)`,
+        expected: 'unique',
+        passed: false,
+        failureReason: 'duplicate',
+        members: g.members.map((m) => ({ modelId: m.el.modelId, expressId: m.el.expressId })),
+    }));
+    return { setResults, setResultsTruncated, entityResults };
+}
+function newAccumulator(keyLabel) {
+    return { count: 0, sum: 0, min: Infinity, max: -Infinity, units: new Set(), skipped: 0, keyLabel, members: [] };
+}
+/** The DIRECT (nearest) spatial parent — `collectSpatialAncestors`'s BFS
+ *  walk yields nearest-first, so its first entry is exactly that; plan
+ *  §4.6 asks for the direct parent's identity, not the whole ancestor
+ *  chain `parent=` (search) matches against. */
+function directParentOf(store, expressId) {
+    if (!store.relationships)
+        return undefined;
+    return collectSpatialAncestors(store.relationships, expressId)[0];
+}
+/**
+ * Every group key `el` contributes to — plural, per plan §3: "an element
+ * contributes to every key it carries", so a multi-valued `groupBy` subject
+ * (`material`, `classification`) lands the same element in EVERY matching
+ * group, not just its first value. `parent` stays single-valued (an element
+ * has exactly one direct spatial parent); everything else de-dupes an
+ * element's own repeated values so one element can't double-count itself
+ * into the SAME group twice.
+ */
+function groupKeysOf(requirement, el, store, caseSensitive) {
+    if (!requirement.groupBy)
+        return [{ key: '*', label: '' }];
+    if (requirement.groupBy.subject.kind === 'parent') {
+        const parentId = directParentOf(store, el.expressId);
+        if (parentId === undefined)
+            return [];
+        return [{ key: `${el.modelId}:${parentId}`, label: store.entities.getName(parentId) }];
+    }
+    const subject = readSubject(requirement.groupBy.subject, { store, expressId: el.expressId });
+    if (!subject.present)
+        return [];
+    const out = [];
+    const seen = new Set();
+    for (const raw of subject.values) {
+        const s = String(raw);
+        if (s.trim().length === 0)
+            continue;
+        const key = foldKey(s, requirement.groupBy.subject.kind, caseSensitive);
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push({ key, label: s });
+    }
+    return out;
+}
+/** Seed every group the `universe` block defines with an EMPTY accumulator,
+ *  so a group with zero contributing members (e.g. an `IfcElementAssembly`
+ *  with no `IfcPlate`) still produces a `count 0` set result that can fail —
+ *  without this, that key never appears at all (plan §4.6, §11 risk). */
+async function seedUniverse(requirement, models, storesById, caseSensitive, groups) {
+    const universe = requirement.groupBy?.universe;
+    if (!universe)
+        return;
+    const universeEls = await evaluateFilterGroupsFederated(models, universe.groups, { limit: Number.MAX_SAFE_INTEGER });
+    for (const uel of universeEls) {
+        const store = storesById.get(uel.modelId);
+        if (!store)
+            continue;
+        if (requirement.groupBy?.subject.kind === 'parent') {
+            const key = `${uel.modelId}:${uel.expressId}`;
+            if (!groups.has(key))
+                groups.set(key, newAccumulator(store.entities.getName(uel.expressId)));
+            continue;
+        }
+        if (!requirement.groupBy)
+            continue;
+        const subject = readSubject(requirement.groupBy.subject, { store, expressId: uel.expressId });
+        for (const raw of subject.values) {
+            const s = String(raw);
+            if (s.trim().length === 0)
+                continue;
+            const key = foldKey(s, requirement.groupBy.subject.kind, caseSensitive);
+            if (!groups.has(key))
+                groups.set(key, newAccumulator(s));
+        }
+    }
+}
+export async function checkAggregate(requirementId, requirement, applicable, storesById, models, opts, ruleIndex, signal, onProgress) {
+    const label = `${requirement.fn}(${requirement.subject ? describeSubject(requirement.subject) : ''})`;
+    const groups = new Map();
+    await seedUniverse(requirement, models, storesById, opts.caseSensitive, groups);
+    const entityResults = [];
+    const excludedRow = (el, reason) => baseRow(el, false, {
+        requirement: { id: requirementId, label, optionality: 'required' },
+        status: 'fail', facetType: 'aggregate', checkedDescription: label,
+        failureReason: reason, actualValue: reason === 'absent' ? '""' : '(non-numeric)', expectedValue: 'numeric',
+    });
+    const accFor = (key, groupLabel) => {
+        let acc = groups.get(key);
+        if (!acc)
+            groups.set(key, (acc = newAccumulator(groupLabel)));
+        return acc;
+    };
+    for (let i = 0; i < applicable.length; i++) {
+        const el = applicable[i];
+        const store = storesById.get(el.modelId);
+        if (store) {
+            const groupKeys = groupKeysOf(requirement, el, store, opts.caseSensitive);
+            if (groupKeys.length > 0) {
+                if (requirement.fn === 'count') {
+                    for (const gk of groupKeys) {
+                        const acc = accFor(gk.key, gk.label);
+                        acc.members.push({ modelId: el.modelId, expressId: el.expressId });
+                        acc.count++;
+                    }
+                }
+                else {
+                    const subject = readSubject(requirement.subject, { store, expressId: el.expressId });
+                    const nums = subject.present ? subject.values.map(Number).filter(Number.isFinite) : [];
+                    const reason = !subject.present ? 'absent' : nums.length === 0 ? 'notNumeric' : undefined;
+                    for (const gk of groupKeys) {
+                        const acc = accFor(gk.key, gk.label);
+                        acc.members.push({ modelId: el.modelId, expressId: el.expressId });
+                        if (reason) {
+                            acc.skipped++;
+                            continue;
+                        }
+                        acc.count++;
+                        for (const n of nums) {
+                            acc.sum += n;
+                            if (n < acc.min)
+                                acc.min = n;
+                            if (n > acc.max)
+                                acc.max = n;
+                        }
+                        if (subject.unit)
+                            acc.units.add(subject.unit);
+                    }
+                    // One entity row per excluded ELEMENT (not per group it belongs to).
+                    if (reason)
+                        entityResults.push(excludedRow(el, reason));
+                }
+            }
+        }
+        await maybeYieldChunk(i + 1, applicable.length, ruleIndex, signal, onProgress);
+    }
+    finalProgress(applicable.length, ruleIndex, signal, onProgress);
+    const setResults = [];
+    for (const acc of groups.values()) {
+        const value = requirement.fn === 'count' ? acc.count
+            : requirement.fn === 'sum' ? acc.sum
+                : requirement.fn === 'min' ? (acc.count > 0 ? acc.min : 0)
+                    : requirement.fn === 'max' ? (acc.count > 0 ? acc.max : 0)
+                        : (acc.count > 0 ? acc.sum / acc.count : 0); // avg
+        const unitMismatch = acc.units.size > 1;
+        const unitSuffix = acc.units.size === 1 ? ` ${[...acc.units][0]}` : '';
+        const passed = !unitMismatch && numericOpMatches(requirement.op, value, requirement.value, opts);
+        setResults.push({
+            kind: 'aggregate',
+            label,
+            groupKey: requirement.groupBy ? acc.keyLabel : undefined,
+            actual: unitMismatch ? `mixed units: ${[...acc.units].join(', ')}` : `${value}${unitSuffix}`,
+            expected: `${OP_LABEL[requirement.op]} ${requirement.value}`,
+            passed,
+            failureReason: passed ? undefined : (unitMismatch ? 'mismatch' : 'aggregate'),
+            skipped: acc.skipped > 0 ? acc.skipped : undefined,
+            members: acc.members,
+        });
+    }
+    // Counted on the FULL (pre-cap) list — see `failedElementCount`'s doc. A
+    // key set, because an element can sit in several groups (groupBy material).
+    const failedElements = new Set(entityResults.map((r) => `${r.modelId}:${r.expressId}`));
+    for (const set of setResults) {
+        if (set.passed)
+            continue;
+        for (const m of set.members)
+            failedElements.add(`${m.modelId}:${m.expressId}`);
+    }
+    orderSetResultsForCap(setResults);
+    const setResultsTruncated = setResults.length > SET_RESULT_CAP;
+    return {
+        setResults: setResults.slice(0, SET_RESULT_CAP), setResultsTruncated, entityResults,
+        failedElementCount: failedElements.size,
+    };
+}
+/** Failing groups first, then largest first. The cap slices from the front,
+ *  so a failing group must never sit behind 1 000 passing ones — otherwise the
+ *  truncated list is all-pass and the rule reads `pass` (review on #5160). */
+export function orderSetResultsForCap(results) {
+    results.sort((a, b) => Number(a.passed) - Number(b.passed) || b.members.length - a.members.length);
+}
+//# sourceMappingURL=rule-engine-sets.js.map

package/dist/engine/rule-engine-sets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine-sets.js","sourceRoot":"","sources":["../../src/engine/rule-engine-sets.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAa/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,6BAA6B,EAAE,MAAM,qCAAqC,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,QAAQ,EAAuB,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,aAAa,EAA2B,MAAM,wBAAwB,CAAC;AAEjG,MAAM,cAAc,GAAG,KAAK,CAAC;AAE7B,6EAA6E;AAC7E,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACrE,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACrE,KAAK,WAAW,CAAC,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC;QACtC,KAAK,gBAAgB,CAAC,CAAC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC;QACtG,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;QACnF,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC;IAC/B,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,OAAO,CAAC,KAAa,EAAE,WAA4B,EAAE,aAAsB;IAClF,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,OAAO,CAAC,EAAmB,EAAE,MAAe,EAAE,MAAyB;IACrF,OAAO;QACL,SAAS,EAAE,EAAE,CAAC,SAAS;QACvB,OAAO,EAAE,EAAE,CAAC,OAAO;QACnB,UAAU,EAAE,EAAE,CAAC,OAAO;QACtB,UAAU,EAAE,EAAE,CAAC,IAAI,IAAI,SAAS;QAChC,QAAQ,EAAE,EAAE,CAAC,QAAQ;QACrB,MAAM;QACN,kBAAkB,EAAE,CAAC,MAAM,CAAC;KAC7B,CAAC;AACJ,CAAC;AA0BD,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,aAAqB,EACrB,WAA8B,EAC9B,UAAsC,EACtC,UAA6C,EAC7C,IAAoB,EACpB,SAAiB,EACjB,MAA+B,EAC/B,UAAyD;IAEzD,MAAM,KAAK,GAAG,UAAU,eAAe,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC;IAChE,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,KAAK,UAAU,CAAC;IAClD,MAAM,aAAa,GAAmB,EAAE,CAAC;IACzC,0EAA0E;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiE,CAAC;IAEzF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;YACrF,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrB,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE;oBACpC,WAAW,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE;oBAClE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK;oBAC9D,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ;iBACpE,CAAC,CAAC,CAAC;YACN,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5C,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACnC,IAAI,CAAC,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBACzD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACjC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;oBACtB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBACpC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;oBACrE,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC7B,IAAI,CAAC,MAAM;wBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;oBAC5C,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACjF,CAAC;IACD,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAEhE,MAAM,SAAS,GAA2E,EAAE,CAAC;IAC7F,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAE9D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC;QACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE;gBACtC,WAAW,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE;gBAClE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK;gBAC9D,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ;aACzE,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IAED,MAAM,mBAAmB,GAAG,SAAS,CAAC,MAAM,GAAG,cAAc,CAAC;IAC9D,MAAM,UAAU,GAAgB,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI;QAC3C,QAAQ,EAAE,QAAQ;QAClB,MAAM,EAAE,KAAK;QACb,aAAa,EAAE,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;KACtF,CAAC,CAAC,CAAC;IAEJ,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,aAAa,EAAE,CAAC;AAC5D,CAAC;AAeD,SAAS,cAAc,CAAC,QAAgB;IACtC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAClH,CAAC;AAED;;;gDAGgD;AAChD,SAAS,cAAc,CAAC,KAAmB,EAAE,SAAiB;IAC5D,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,uBAAuB,CAAC,KAAK,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAClB,WAAiC,EACjC,EAAmB,EACnB,KAAmB,EACnB,aAAsB;IAEtB,IAAI,CAAC,WAAW,CAAC,OAAO;QAAE,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3D,IAAI,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACtC,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,IAAI,QAAQ,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IAC7F,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,GAAG,GAAqC,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACxE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;yEAGyE;AACzE,KAAK,UAAU,YAAY,CACzB,WAAiC,EACjC,MAAqC,EACrC,UAA6C,EAC7C,aAAsB,EACtB,MAAgC;IAEhC,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC/C,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,MAAM,WAAW,GAAG,MAAM,6BAA6B,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACrH,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7F,SAAS;QACX,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,OAAO;YAAE,SAAS;QACnC,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9F,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YACtB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACpC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YACxE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,aAAqB,EACrB,WAAiC,EACjC,UAAsC,EACtC,UAA6C,EAC7C,MAAqC,EACrC,IAAoB,EACpB,SAAiB,EACjB,MAA+B,EAC/B,UAAyD;IAEzD,MAAM,KAAK,GAAG,GAAG,WAAW,CAAC,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;IACtG,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,MAAM,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAEhF,MAAM,aAAa,GAAmB,EAAE,CAAC;IACzC,MAAM,WAAW,GAAG,CAAC,EAAmB,EAAE,MAAyB,EAAgB,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE;QACvG,WAAW,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE;QAClE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,kBAAkB,EAAE,KAAK;QACjE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,aAAa,EAAE,SAAS;KAC3G,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,UAAkB,EAAe,EAAE;QAC9D,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAG;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9D,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;YAC1E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,IAAI,WAAW,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;oBAC/B,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;wBAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;wBACrC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;wBACnE,GAAG,CAAC,KAAK,EAAE,CAAC;oBACd,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,OAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;oBACtF,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvF,MAAM,MAAM,GAAkC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;oBACzH,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;wBAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;wBACrC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;wBACnE,IAAI,MAAM,EAAE,CAAC;4BAAC,GAAG,CAAC,OAAO,EAAE,CAAC;4BAAC,SAAS;wBAAC,CAAC;wBACxC,GAAG,CAAC,KAAK,EAAE,CAAC;wBACZ,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;4BAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;4BAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG;gCAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;4BAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG;gCAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;wBAAC,CAAC;wBACnG,IAAI,OAAO,CAAC,IAAI;4BAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAChD,CAAC;oBACD,qEAAqE;oBACrE,IAAI,MAAM;wBAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACjF,CAAC;IACD,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAEhE,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK;YAClD,CAAC,CAAC,WAAW,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG;gBACpC,CAAC,CAAC,WAAW,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC1D,CAAC,CAAC,WAAW,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC1D,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;QACrD,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,CAAC,YAAY,IAAI,gBAAgB,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACjG,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YACxD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,UAAU,EAAE;YAC5F,QAAQ,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE;YAC5D,MAAM;YACN,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;YAC7E,OAAO,EAAE,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YAClD,OAAO,EAAE,GAAG,CAAC,OAAO;SACrB,CAAC,CAAC;IACL,CAAC;IACD,yEAAyE;IACzE,4EAA4E;IAC5E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACxF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,MAAM;YAAE,SAAS;QACzB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;YAAE,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,qBAAqB,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,mBAAmB,GAAG,UAAU,CAAC,MAAM,GAAG,cAAc,CAAC;IAC/D,OAAO;QACL,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,mBAAmB,EAAE,aAAa;QACnF,kBAAkB,EAAE,cAAc,CAAC,IAAI;KACxC,CAAC;AACJ,CAAC;AAED;;8EAE8E;AAC9E,MAAM,UAAU,qBAAqB,CAAC,OAAoB;IACxD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AACrG,CAAC"}

package/dist/engine/rule-engine-unit.d.ts

@@ -0,0 +1,23 @@
+/**
+ * `unit` requirement checking (#5300): "Width is recorded in mm". Per
+ * element, like `compare`. `readSubject` reports the unit every value of a
+ * property/quantity subject is recorded in (its explicit `Unit`, else the
+ * project unit for its measure type); an element passes when the subject
+ * is present and EVERY value is recorded in the required unit.
+ *
+ * Units compare by display symbol, the one spelling the viewer shows for a
+ * unit (`mm`, `m²`), after folding the ASCII exponent spellings a person
+ * types (`m2`, `m^2`) onto the superscripts the resolver emits. Nothing
+ * else is folded: `mm` and `Mm` are different units.
+ */
+import type { IfcDataStore } from '@ifc-lite/parser';
+import type { EntityResult } from '@ifc-lite/ids';
+import type { FilteredElement } from '../filter/filter-evaluate.js';
+import type { UnitRequirement } from '../rule-set/rule-set.js';
+import { type RuleEngineProgress } from './rule-engine-chunk.js';
+/** `m2` / `m^2` / `m²` all read as `m²`; everything else is compared as typed. */
+export declare function normalizeUnitSymbol(symbol: string): string;
+export declare function checkUnit(requirementId: string, requirement: UnitRequirement, applicable: readonly FilteredElement[], storesById: ReadonlyMap<string, IfcDataStore>, ruleIndex: number, signal: AbortSignal | undefined, onProgress: ((p: RuleEngineProgress) => void) | undefined): Promise<{
+    entityResults: EntityResult[];
+}>;
+//# sourceMappingURL=rule-engine-unit.d.ts.map

package/dist/engine/rule-engine-unit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine-unit.d.ts","sourceRoot":"","sources":["../../src/engine/rule-engine-unit.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAqB,MAAM,eAAe,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EAAkC,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAIjG,kFAAkF;AAClF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAOD,wBAAsB,SAAS,CAC7B,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,eAAe,EAC5B,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EAC7C,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,KAAK,IAAI,CAAC,GAAG,SAAS,GACxD,OAAO,CAAC;IAAE,aAAa,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC,CA6C5C"}

package/dist/engine/rule-engine-unit.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/. */
+import { readSubject } from '../filter/read-subject.js';
+import { baseRow, describeSubject } from './rule-engine-sets.js';
+import { maybeYieldChunk, finalProgress } from './rule-engine-chunk.js';
+const SUPERSCRIPT = { '2': '²', '3': '³' };
+/** `m2` / `m^2` / `m²` all read as `m²`; everything else is compared as typed. */
+export function normalizeUnitSymbol(symbol) {
+    return symbol.trim().replace(/([A-Za-zµ])\^?([23])(?![0-9])/g, (_, base, exp) => `${base}${SUPERSCRIPT[exp]}`);
+}
+/** What a value's unit reads as in a failure message. */
+function unitLabel(unit) {
+    return unit ?? 'no unit';
+}
+export async function checkUnit(requirementId, requirement, applicable, storesById, ruleIndex, signal, onProgress) {
+    const wanted = normalizeUnitSymbol(requirement.unit);
+    // A blank unit is an unfinished rule, not a check every element fails:
+    // report it as the rule's error (`rule-engine.ts`'s per-rule guard).
+    if (wanted.length === 0)
+        throw new Error('the unit requirement names no unit');
+    const label = `${describeSubject(requirement.subject)} recorded in ${wanted}`;
+    const facetType = requirement.subject.kind;
+    const entityResults = [];
+    for (let i = 0; i < applicable.length; i++) {
+        const el = applicable[i];
+        const store = storesById.get(el.modelId);
+        if (!store) {
+            await maybeYieldChunk(i + 1, applicable.length, ruleIndex, signal, onProgress);
+            continue;
+        }
+        const subject = readSubject(requirement.subject, { store, expressId: el.expressId });
+        let passed = false;
+        let reason;
+        let actual = '""';
+        if (subject.present) {
+            // Only the values that are actually there: an explicitly empty label
+            // next to a real one is not a second, unit-less recording.
+            const recorded = subject.values
+                .map((value, index) => ({ value: String(value), unit: subject.valueUnits?.[index] }))
+                .filter((v) => v.value.trim().length > 0);
+            actual = recorded.map((v) => `${v.value} ${unitLabel(v.unit)}`).join('; ');
+            passed = recorded.length > 0
+                && recorded.every((v) => v.unit !== undefined && normalizeUnitSymbol(v.unit) === wanted);
+            reason = passed ? undefined : 'mismatch';
+        }
+        else {
+            reason = 'absent';
+        }
+        entityResults.push(baseRow(el, passed, {
+            requirement: { id: requirementId, label, optionality: 'required' },
+            status: passed ? 'pass' : 'fail',
+            facetType,
+            checkedDescription: label,
+            failureReason: reason,
+            actualValue: actual,
+            expectedValue: wanted,
+        }));
+        await maybeYieldChunk(i + 1, applicable.length, ruleIndex, signal, onProgress);
+    }
+    finalProgress(applicable.length, ruleIndex, signal, onProgress);
+    return { entityResults };
+}
+//# sourceMappingURL=rule-engine-unit.js.map

package/dist/engine/rule-engine-unit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine-unit.js","sourceRoot":"","sources":["../../src/engine/rule-engine-unit.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAkB/D,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,aAAa,EAA2B,MAAM,wBAAwB,CAAC;AAEjG,MAAM,WAAW,GAAqC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAE7E,kFAAkF;AAClF,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,gCAAgC,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,GAAW,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACjI,CAAC;AAED,yDAAyD;AACzD,SAAS,SAAS,CAAC,IAAwB;IACzC,OAAO,IAAI,IAAI,SAAS,CAAC;AAC3B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,aAAqB,EACrB,WAA4B,EAC5B,UAAsC,EACtC,UAA6C,EAC7C,SAAiB,EACjB,MAA+B,EAC/B,UAAyD;IAEzD,MAAM,MAAM,GAAG,mBAAmB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACrD,uEAAuE;IACvE,qEAAqE;IACrE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,GAAG,eAAe,CAAC,WAAW,CAAC,OAAO,CAAC,gBAAgB,MAAM,EAAE,CAAC;IAC9E,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3C,MAAM,aAAa,GAAmB,EAAE,CAAC;IAEzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE,CAAC;YAAC,MAAM,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACzG,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;QAErF,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,MAAqC,CAAC;QAC1C,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,qEAAqE;YACrE,2DAA2D;YAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM;iBAC5B,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;iBACpF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC5C,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3E,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC;mBACvB,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC;YAC3F,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,QAAQ,CAAC;QACpB,CAAC;QAED,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE;YACrC,WAAW,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE;YAClE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAChC,SAAS;YACT,kBAAkB,EAAE,KAAK;YACzB,aAAa,EAAE,MAAM;YACrB,WAAW,EAAE,MAAM;YACnB,aAAa,EAAE,MAAM;SACtB,CAAC,CAAC,CAAC;QACJ,MAAM,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACjF,CAAC;IACD,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAChE,OAAO,EAAE,aAAa,EAAE,CAAC;AAC3B,CAAC"}

package/dist/engine/rule-engine.d.ts

@@ -0,0 +1,29 @@
+import { type ValidationReport } from '@ifc-lite/ids';
+import type { EvaluatorModel } from '../filter/filter-evaluate.js';
+import type { RuleSetFile, RuleSetTargets } from '../rule-set/rule-set.js';
+import { type RuleEngineProgress } from './rule-engine-chunk.js';
+export type { RuleEngineProgress };
+export interface RunRuleSetOptions {
+    ruleSet: RuleSetFile;
+    /** Every currently-loaded model as the evaluator sees it (#5138 PR 7a: the
+     *  caller — the viewer's `evaluatorModelsFromState` or the CLI's
+     *  `loadModelForDelivery` — builds this list; the engine no longer knows
+     *  about a "model tag state" shape). */
+    models: ReadonlyArray<EvaluatorModel>;
+    /** Every tag id that currently exists, for `modelTag` rule resolution
+     *  (plan: a rule naming a since-deleted tag is UNRESOLVED, never silently
+     *  broad). Omit when the caller has no tag concept (e.g. the CLI). */
+    definedModelTagIds?: ReadonlySet<string>;
+    signal?: AbortSignal;
+    onProgress?: (progress: RuleEngineProgress) => void;
+}
+/** `targets` narrows the loaded-model list to the rule set's declared
+ *  default targets (plan §3: never a local model id; both lists OR'd;
+ *  empty/absent = every loaded model). */
+export declare function resolveTargetModels(models: ReadonlyArray<EvaluatorModel>, targets: RuleSetTargets | undefined): EvaluatorModel[];
+/** Run every rule in `ruleSet` against the targeted models and return one
+ *  `ValidationReport`. Rejects with `AbortError` on cancellation; the report
+ *  object is constructed only after the loop completes, so a caller can
+ *  never observe a partial one. */
+export declare function runRuleSet(options: RunRuleSetOptions): Promise<ValidationReport>;
+//# sourceMappingURL=rule-engine.d.ts.map

package/dist/engine/rule-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine.d.ts","sourceRoot":"","sources":["../../src/engine/rule-engine.ts"],"names":[],"mappings":"AAkBA,OAAO,EAML,KAAK,gBAAgB,EACtB,MAAM,eAAe,CAAC;AAKvB,OAAO,KAAK,EAAE,cAAc,EAAmB,MAAM,8BAA8B,CAAC;AAGpF,OAAO,KAAK,EAA8B,WAAW,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAKvG,OAAO,EAAkC,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjG,YAAY,EAAE,kBAAkB,EAAE,CAAC;AAEnC,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,WAAW,CAAC;IACrB;;;4CAGwC;IACxC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IACtC;;0EAEsE;IACtE,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,KAAK,IAAI,CAAC;CACrD;AAED;;0CAE0C;AAC1C,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,EAAE,CAWhI;AA2JD;;;mCAGmC;AACnC,wBAAsB,UAAU,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAuFtF"}