@ifc-lite/rules 0.2.0

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

@@ -0,0 +1,293 @@
+/* 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 { combineRuleResults, } from '../filter/filter-rules.js';
+import { readSubject } from '../filter/read-subject.js';
+import { toSiValues } from '../filter/subject-match.js';
+import { matchStringAnyNone, numericOpMatches, setOpMatches, stringOpMatches, valueOpMatches, } from '../filter/filter-ops.js';
+/** Shared with `rule-engine-sets.ts` (compare/aggregate render the same
+ *  `op` vocabulary). */
+export const OP_LABEL = {
+    eq: '=', ne: '!=', gt: '>', gte: '>=', lt: '<', lte: '<=',
+    contains: 'contains', notContains: 'not contains', startsWith: 'starts with',
+    matches: 'matches', notMatches: 'not matches',
+};
+function actualOf(subject) {
+    // `present === false` covers BOTH a genuinely empty `values` array and one
+    // whose only entries are `''`/whitespace (plan §4.2's "empty string is
+    // absent" — an explicitly empty `IFCLABEL` renders the same `'""'` an
+    // outright-missing property does, not a blank string).
+    if (!subject.present)
+        return '""';
+    const joined = subject.values.map(String).join('; ');
+    return subject.unit ? `${joined} ${subject.unit}` : joined;
+}
+function subjectLabel(rule) {
+    switch (rule.kind) {
+        case 'property': return `${rule.setName}.${rule.propertyName}`;
+        case 'quantity': return `${rule.setName}.${rule.quantityName}`;
+        case 'attribute': return rule.name;
+        case 'name': return 'Name';
+        case 'type': return 'Type';
+        case 'parent': return 'Parent';
+        case 'material': return 'Material';
+        case 'classification': return rule.system ? `Classification[${rule.system}]` : 'Classification';
+        case 'group': return rule.groupClass ? `Group[${rule.groupClass}]` : 'Group';
+        case 'ifcType': return 'IfcType';
+        case 'predefinedType': return 'PredefinedType';
+        default: return rule.kind;
+    }
+}
+/** Maps a `FilterRule` kind onto the closed `CheckKind` reporting vocabulary
+ *  (plan §5). Several kinds have no dedicated IDS facet type; the closest
+ *  fit is used and documented here rather than invented silently:
+ *  `attribute`/`name`/`type`/`globalId` → `attribute` (all read an IFC
+ *  attribute), `parent` → `partOf` (bSI's containment/aggregation facet),
+ *  `ifcType`/`predefinedType` → `entity` (bSI's entity facet covers both),
+ *  `storey` → `spatial` (a `CheckKind`-only addition with no facet analogue). */
+function checkKindOf(kind) {
+    switch (kind) {
+        case 'property': return 'property';
+        case 'quantity': return 'quantity';
+        case 'attribute':
+        case 'name':
+        case 'type':
+        case 'globalId':
+            return 'attribute';
+        case 'material': return 'material';
+        case 'classification': return 'classification';
+        case 'parent':
+        case 'group':
+            return 'partOf';
+        case 'ifcType':
+        case 'predefinedType':
+            return 'entity';
+        case 'storey': return 'spatial';
+        default: return 'attribute';
+    }
+}
+function renderExpected(rule) {
+    switch (rule.kind) {
+        case 'quantity':
+            return `${OP_LABEL[rule.op]} ${rule.value}`;
+        case 'property':
+        case 'attribute':
+        case 'name':
+        case 'type':
+        case 'parent':
+        case 'material':
+        case 'classification':
+        case 'group':
+            return `${OP_LABEL[rule.op] ?? rule.op} ${'value' in rule ? rule.value : ''}`;
+        case 'ifcType':
+        case 'predefinedType':
+            return `${rule.op === 'in' ? 'in' : 'not in'} [${rule.values.join(', ')}]`;
+        default:
+            return 'op' in rule ? String(rule.op) : '';
+    }
+}
+function isElementRule(rule) {
+    switch (rule.kind) {
+        case 'property':
+        case 'quantity':
+        case 'attribute':
+        case 'name':
+        case 'type':
+        case 'parent':
+        case 'material':
+        case 'classification':
+        case 'ifcType':
+        case 'predefinedType':
+        case 'group':
+            return true;
+        default:
+            return false;
+    }
+}
+function checkFilterRule(rule, ctx, opts) {
+    // `valueUnit: 'si'` (#5225): compare SI values, the same reading search uses.
+    const subject = (rule.kind === 'property' || rule.kind === 'quantity') && rule.valueUnit === 'si'
+        ? toSiValues(readSubject(rule, ctx))
+        : readSubject(rule, ctx);
+    const facetType = checkKindOf(rule.kind);
+    const label = subjectLabel(rule);
+    const actual = actualOf(subject);
+    if (rule.op === 'isSet' || rule.op === 'isNotSet') {
+        const passed = rule.op === 'isSet' ? subject.present : !subject.present;
+        const expected = rule.op === 'isSet' ? 'is set' : 'is not set';
+        return { passed, reason: passed ? undefined : 'absent', actual, expected, facetType, checkedDescription: `${label} ${expected}` };
+    }
+    const expected = renderExpected(rule);
+    const checkedDescription = `${label} ${expected}`;
+    if (!subject.present) {
+        return { passed: false, reason: 'absent', actual, expected, facetType, checkedDescription };
+    }
+    switch (rule.kind) {
+        case 'quantity': {
+            const nums = subject.values.map(Number).filter(Number.isFinite);
+            if (nums.length === 0)
+                return { passed: false, reason: 'notNumeric', actual, expected, facetType, checkedDescription };
+            const passed = nums.some((v) => numericOpMatches(rule.op, v, rule.value, opts));
+            return { passed, reason: passed ? undefined : 'mismatch', actual, expected, facetType, checkedDescription };
+        }
+        case 'property':
+        case 'attribute':
+            return checkValueOp(rule, subject, opts, facetType, actual, expected, checkedDescription);
+        case 'ifcType':
+        case 'predefinedType': {
+            const candidate = String(subject.values[0] ?? '');
+            const passed = setOpMatches(rule.op, candidate, rule.values, opts);
+            return { passed, reason: passed ? undefined : 'mismatch', actual, expected, facetType, checkedDescription };
+        }
+        default: {
+            // name | type | parent | material | classification | group — StringOp (or the
+            // StringOp-compatible subset of ClassificationOp); multi-valued
+            // subjects (parent/material) match ANY for a positive op, NONE for a
+            // negative one, via the same convention search already uses.
+            const candidates = subject.values.map(String);
+            const passed = matchStringAnyNone(rule.op, candidates, rule.value, rule.valueKind, opts);
+            return { passed, reason: passed ? undefined : 'mismatch', actual, expected, facetType, checkedDescription };
+        }
+    }
+}
+function checkValueOp(rule, subject, opts, facetType, actual, expected, checkedDescription) {
+    const strVals = subject.values.map(String);
+    const op = rule.op;
+    if (op === 'gt' || op === 'gte' || op === 'lt' || op === 'lte') {
+        // Strict `Number(...)`, not `Number.parseFloat` — plan §4 item 4 requires
+        // a "finite f64", and `parseFloat('2HR')` (== 2) would silently accept a
+        // fire-rating STRING as a number instead of reporting `notNumeric`.
+        const rv = Number(rule.value);
+        const nums = strVals.map((v) => Number(v)).filter(Number.isFinite);
+        if (!Number.isFinite(rv) || nums.length === 0) {
+            return { passed: false, reason: 'notNumeric', actual, expected, facetType, checkedDescription };
+        }
+        const passed = nums.some((cv) => numericOpMatches(op, cv, rv, opts));
+        return { passed, reason: passed ? undefined : 'mismatch', actual, expected, facetType, checkedDescription };
+    }
+    if (op === 'eq' || op === 'ne') {
+        const rv = Number(rule.value);
+        const nums = strVals.map((v) => Number(v));
+        const allFinite = Number.isFinite(rv) && nums.length > 0 && nums.every(Number.isFinite);
+        const matchAny = allFinite
+            ? nums.some((cv) => numericOpMatches('eq', cv, rv, opts))
+            : strVals.some((v) => stringOpMatches('eq', v, rule.value, undefined, opts));
+        const passed = op === 'eq' ? matchAny : !matchAny;
+        return { passed, reason: passed ? undefined : 'mismatch', actual, expected, facetType, checkedDescription };
+    }
+    // contains / notContains / matches / notMatches
+    const posOp = op === 'notContains' ? 'contains' : op === 'notMatches' ? 'matches' : op;
+    const anyPositive = strVals.some((v) => valueOpMatches(posOp, v, rule.value, rule.valueKind, opts));
+    const passed = posOp === op ? anyPositive : !anyPositive;
+    return { passed, reason: passed ? undefined : 'mismatch', actual, expected, facetType, checkedDescription };
+}
+function subjectKey(rule) {
+    switch (rule.kind) {
+        case 'quantity': return `quantity:${rule.setName}:${rule.quantityName}`;
+        case 'property': return `property:${rule.setName}:${rule.propertyName}`;
+        case 'attribute': return `attribute:${rule.name}`;
+        default: return null;
+    }
+}
+function foldBetweenPairs(rules) {
+    const used = new Set();
+    const out = [];
+    for (let i = 0; i < rules.length; i++) {
+        if (used.has(i))
+            continue;
+        const a = rules[i];
+        const keyA = subjectKey(a);
+        const opA = 'op' in a ? a.op : undefined;
+        if (keyA && (opA === 'gte' || opA === 'lte')) {
+            for (let j = i + 1; j < rules.length; j++) {
+                if (used.has(j))
+                    continue;
+                const b = rules[j];
+                if (subjectKey(b) !== keyA)
+                    continue;
+                const opB = 'op' in b ? b.op : undefined;
+                if ((opA === 'gte' && opB === 'lte') || (opA === 'lte' && opB === 'gte')) {
+                    used.add(i);
+                    used.add(j);
+                    out.push({ kind: 'between', low: opA === 'gte' ? a : b, high: opA === 'lte' ? a : b });
+                    break;
+                }
+            }
+        }
+    }
+    for (let i = 0; i < rules.length; i++)
+        if (!used.has(i))
+            out.push(rules[i]);
+    return out;
+}
+function evaluateBetween(pair, ctx, opts) {
+    const low = checkFilterRule(pair.low, ctx, opts);
+    const high = checkFilterRule(pair.high, ctx, opts);
+    const passed = low.passed && high.passed;
+    const label = subjectLabel(pair.low);
+    const lowVal = 'value' in pair.low ? pair.low.value : '';
+    const highVal = 'value' in pair.high ? pair.high.value : '';
+    const expected = `>= ${lowVal} and <= ${highVal}`;
+    return {
+        passed,
+        reason: passed ? undefined : (low.reason ?? high.reason),
+        actual: low.actual,
+        expected,
+        facetType: low.facetType,
+        checkedDescription: `${label} ${expected}`,
+    };
+}
+function evaluateGroup(group, ctx, opts) {
+    const elementRules = group.rules.filter(isElementRule);
+    if (elementRules.length !== group.rules.length) {
+        throw new Error(`rule-engine: applicability-only rule kind used in an element requirement (group has ${group.rules.length - elementRules.length} such rule(s))`);
+    }
+    // `between` is a gte+lte pair AND'd on the identical subject (plan §5's
+    // operator table) — only a shorthand within an AND group. In an OR group
+    // the two rules are independent alternatives (`Width >= 0.25` OR `Width
+    // <= 0.35` — 0.20 satisfies the second on its own), so folding them would
+    // silently require BOTH, changing what the group matches (review finding).
+    const items = group.combinator === 'AND' ? foldBetweenPairs(elementRules) : elementRules;
+    const outcomes = items.map((item) => 'kind' in item && item.kind === 'between' ? evaluateBetween(item, ctx, opts) : checkFilterRule(item, ctx, opts));
+    if (outcomes.length === 0)
+        return { passed: false, failingCount: 0, representative: { passed: false, actual: '', expected: '', facetType: 'attribute', checkedDescription: 'empty group' } };
+    const passed = combineRuleResults(group.combinator, outcomes.map((o) => o.passed));
+    const failingCount = outcomes.filter((o) => !o.passed).length;
+    const representative = outcomes.find((o) => !o.passed) ?? outcomes[0];
+    return { passed, failingCount, representative };
+}
+/**
+ * Check one applicable element against `block` (plan §4.4). `requirementId`/
+ * `requirementLabel` seed the singular `requirementResults[0]` every entity
+ * row carries — the rule's own id/name, since one `InformationRule`'s
+ * `element` requirement is ONE requirement, not one per underlying
+ * `FilterRule` (a `between` pair, or several AND'd rules in a group, are
+ * still a single pass/fail question).
+ */
+export function checkElementForEntity(requirementId, block, el, store, opts) {
+    const ctx = { store, expressId: el.expressId };
+    const groupOutcomes = block.groups.map((g) => evaluateGroup(g, ctx, opts));
+    const passedGroup = groupOutcomes.find((g) => g.passed);
+    const chosen = passedGroup
+        ?? groupOutcomes.reduce((best, g) => (g.failingCount < best.failingCount ? g : best), groupOutcomes[0]);
+    const passed = !!passedGroup;
+    const requirementResult = {
+        requirement: { id: requirementId, label: chosen.representative.checkedDescription, optionality: 'required' },
+        status: passed ? 'pass' : 'fail',
+        facetType: chosen.representative.facetType,
+        checkedDescription: chosen.representative.checkedDescription,
+        failureReason: passed ? undefined : chosen.representative.reason,
+        actualValue: chosen.representative.actual,
+        expectedValue: chosen.representative.expected,
+    };
+    return {
+        expressId: el.expressId,
+        modelId: el.modelId,
+        entityType: el.ifcType,
+        entityName: el.name || undefined,
+        globalId: el.globalId,
+        passed,
+        requirementResults: [requirementResult],
+    };
+}
+//# sourceMappingURL=rule-engine-requirements.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine-requirements.js","sourceRoot":"","sources":["../../src/engine/rule-engine-requirements.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAsB/D,OAAO,EACL,kBAAkB,GAenB,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EAAE,WAAW,EAA8C,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,cAAc,GAEf,MAAM,yBAAyB,CAAC;AAejC;wBACwB;AACxB,MAAM,CAAC,MAAM,QAAQ,GAA2B;IAC9C,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI;IACzD,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa;IAC5E,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa;CAC9C,CAAC;AAEF,SAAS,QAAQ,CAAC,OAAqB;IACrC,2EAA2E;IAC3E,uEAAuE;IACvE,sEAAsE;IACtE,uDAAuD;IACvD,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAC7D,CAAC;AAED,SAAS,YAAY,CAAC,IAAgB;IACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/D,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/D,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC;QACnC,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC;QAC/B,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC;QACnC,KAAK,gBAAgB,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC;QAChG,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;QAC7E,KAAK,SAAS,CAAC,CAAC,OAAO,SAAS,CAAC;QACjC,KAAK,gBAAgB,CAAC,CAAC,OAAO,gBAAgB,CAAC;QAC/C,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;;;;;iFAMiF;AACjF,SAAS,WAAW,CAAC,IAAwB;IAC3C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC;QACnC,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC;QACnC,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,WAAW,CAAC;QACrB,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC;QACnC,KAAK,gBAAgB,CAAC,CAAC,OAAO,gBAAgB,CAAC;QAC/C,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,gBAAgB;YACnB,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,SAAS,CAAC;QAChC,OAAO,CAAC,CAAC,OAAO,WAAW,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAgB;IACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9C,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,OAAO;YACV,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAChF,KAAK,SAAS,CAAC;QACf,KAAK,gBAAgB;YACnB,OAAO,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7E;YACE,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAE,IAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,CAAC;AACH,CAAC;AAWD,SAAS,aAAa,CAAC,IAAgB;IACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,WAAW,CAAC;QAAC,KAAK,MAAM,CAAC;QAAC,KAAK,MAAM,CAAC;QAC7E,KAAK,QAAQ,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,gBAAgB,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,gBAAgB,CAAC;QAC7F,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,IAAiB,EAAE,GAAuB,EAAE,IAAoB;IACvF,8EAA8E;IAC9E,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI;QAC/F,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3B,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAEjC,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;QAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,GAAG,KAAK,IAAI,QAAQ,EAAE,EAAE,CAAC;IACpI,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,kBAAkB,GAAG,GAAG,KAAK,IAAI,QAAQ,EAAE,CAAC;IAClD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAC9F,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAChE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;YACvH,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAChF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;QAC9G,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QAC5F,KAAK,SAAS,CAAC;QACf,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACnE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;QAC9G,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,8EAA8E;YAC9E,gEAAgE;YAChE,qEAAqE;YACrE,6DAA6D;YAC7D,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACzF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;QAC9G,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,IAAkC,EAClC,OAAqB,EACrB,IAAoB,EACpB,SAAoB,EACpB,MAAc,EACd,QAAgB,EAChB,kBAA0B;IAE1B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,EAA4C,CAAC;IAE7D,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAC/D,0EAA0E;QAC1E,yEAAyE;QACzE,oEAAoE;QACpE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;QAClG,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAC9G,CAAC;IACD,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxF,MAAM,QAAQ,GAAG,SAAS;YACxB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YACzD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAC9G,CAAC;IACD,gDAAgD;IAChD,MAAM,KAAK,GAAY,EAAE,KAAK,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IACpG,MAAM,MAAM,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IACzD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;AAC9G,CAAC;AAOD,SAAS,UAAU,CAAC,IAAgB;IAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,CAAC,OAAO,YAAY,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACxE,KAAK,UAAU,CAAC,CAAC,OAAO,YAAY,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACxE,KAAK,WAAW,CAAC,CAAC,OAAO,aAAa,IAAI,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA6B;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzC,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,CAAC,EAAE,CAAC;YAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,SAAS;gBACrC,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBACzC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,CAAC,EAAE,CAAC;oBACzE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACzB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAiB,CAAC,CAAC;oBACtG,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,IAAiB,EAAE,GAAuB,EAAE,IAAoB;IACvF,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;IACzC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,MAAM,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAAG,MAAM,MAAM,WAAW,OAAO,EAAE,CAAC;IAClD,OAAO;QACL,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;QACxD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ;QACR,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,kBAAkB,EAAE,GAAG,KAAK,IAAI,QAAQ,EAAE;KAC3C,CAAC;AACJ,CAAC;AAID,SAAS,aAAa,CAAC,KAAkB,EAAE,GAAuB,EAAE,IAAoB;IACtF,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACvD,IAAI,YAAY,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,uFAAuF,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,gBAAgB,CAAC,CAAC;IACnK,CAAC;IACD,wEAAwE;IACxE,yEAAyE;IACzE,wEAAwE;IACxE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IACzF,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAChH,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,kBAAkB,EAAE,aAAa,EAAE,EAAE,CAAC;IAC7L,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,aAAqB,EACrB,KAAgB,EAChB,EAAmB,EACnB,KAAmB,EACnB,IAAoB;IAEpB,MAAM,GAAG,GAAuB,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC;IACnE,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3E,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,WAAW;WACrB,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC;IAC7B,MAAM,iBAAiB,GAAsB;QAC3C,WAAW,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,EAAE,WAAW,EAAE,UAAU,EAAE;QAC5G,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAChC,SAAS,EAAE,MAAM,CAAC,cAAc,CAAC,SAAS;QAC1C,kBAAkB,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB;QAC5D,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM;QAChE,WAAW,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;QACzC,aAAa,EAAE,MAAM,CAAC,cAAc,CAAC,QAAQ;KAC9C,CAAC;IACF,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,iBAAiB,CAAC;KACxC,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,46 @@
+/**
+ * Set-level requirement checking (#5138 PR 3) — `unique` (plan §4.5) and
+ * `aggregate` (§4.6). Unlike `element` (per-entity, `rule-engine-
+ * requirements.ts`), these produce `SetResult`s describing a GROUP of
+ * entities. `compare` (§4.7) is per-entity like `element`, not a set kind —
+ * it lives in `rule-engine-compare.ts` (split out once this file crossed the
+ * module-size budget), reusing `describeSubject`/`baseRow` from here.
+ */
+import type { IfcDataStore } from '@ifc-lite/parser';
+import type { EntityResult, RequirementResult, SetResult } from '@ifc-lite/ids';
+import type { FilteredElement, EvaluatorModel } from '../filter/filter-evaluate.js';
+import type { Subject, UniqueRequirement, AggregateRequirement } from '../rule-set/rule-set.js';
+import { type ValidationOpts } from './rule-engine-requirements.js';
+import { type RuleEngineProgress } from './rule-engine-chunk.js';
+/** Shared with `rule-engine-compare.ts` (same `Subject` label rendering). */
+export declare function describeSubject(subject: Subject): string;
+/** Shared with `rule-engine-compare.ts`. */
+export declare function baseRow(el: FilteredElement, passed: boolean, result: RequirementResult): EntityResult;
+/** The shape every requirement-kind checker returns, folded by
+ *  `rule-engine.ts`'s `finalizeSpecification`. `setResults`/
+ *  `setResultsTruncated` are optional — `element`/`compare` never populate
+ *  them (they are per-entity kinds, not set kinds). */
+export interface SetCheckOutcome {
+    entityResults: EntityResult[];
+    setResults?: SetResult[];
+    setResultsTruncated?: boolean;
+    /**
+     * `aggregate` only (#5177): the number of DISTINCT applicable elements that
+     * fail the rule, i.e. every element excluded for an absent/non-numeric
+     * subject plus every member of a group whose aggregate fails — the same
+     * attribution `checkUnique` makes by giving every duplicate member a
+     * failing row. `checkAggregate` does not emit a row per failing-group
+     * member (a whole federation's worth of rows for no reporting value), so
+     * `entityResults` alone under-counts; this is the count it would have had.
+     * Taken on the full, pre-cap `setResults`, so it stays exact when
+     * `setResultsTruncated` is true.
+     */
+    failedElementCount?: number;
+}
+export declare function checkUnique(requirementId: string, requirement: UniqueRequirement, applicable: readonly FilteredElement[], storesById: ReadonlyMap<string, IfcDataStore>, opts: ValidationOpts, ruleIndex: number, signal: AbortSignal | undefined, onProgress: ((p: RuleEngineProgress) => void) | undefined): Promise<SetCheckOutcome>;
+export declare function checkAggregate(requirementId: string, requirement: AggregateRequirement, applicable: readonly FilteredElement[], storesById: ReadonlyMap<string, IfcDataStore>, models: ReadonlyArray<EvaluatorModel>, opts: ValidationOpts, ruleIndex: number, signal: AbortSignal | undefined, onProgress: ((p: RuleEngineProgress) => void) | undefined): Promise<SetCheckOutcome>;
+/** 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 declare function orderSetResultsForCap(results: SetResult[]): void;
+//# sourceMappingURL=rule-engine-sets.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine-sets.d.ts","sourceRoot":"","sources":["../../src/engine/rule-engine-sets.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAqB,iBAAiB,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAInG,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAEpF,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAChG,OAAO,EAAY,KAAK,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAAkC,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAIjG,6EAA6E;AAC7E,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CASxD;AAeD,4CAA4C;AAC5C,wBAAgB,OAAO,CAAC,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,GAAG,YAAY,CAUrG;AAID;;;uDAGuD;AACvD,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;;;;;;;;;OAUG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAsB,WAAW,CAC/B,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,iBAAiB,EAC9B,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EAC7C,IAAI,EAAE,cAAc,EACpB,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,eAAe,CAAC,CAmE1B;AAiGD,wBAAsB,cAAc,CAClC,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,oBAAoB,EACjC,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EAC7C,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,EACrC,IAAI,EAAE,cAAc,EACpB,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,eAAe,CAAC,CAqF1B;AAED;;8EAE8E;AAC9E,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI,CAEhE"}