@ifc-lite/rules 0.2.0

package/dist/filter/model-tag.d.ts

@@ -0,0 +1,65 @@
+/**
+ * User-facing MODEL tags (issue #4215): free-form labels a coordinator puts on
+ * the models of a federation ("Building A", "Structure", "Tender") so the same
+ * set of models can be picked out again in the hierarchy, the advanced filter,
+ * clash set filters and list scope.
+ *
+ * Not to be confused with:
+ *  - the IFC `Tag` attribute on an element (`IfcElement.Tag`, and
+ *    `ClashElement.tag` which is the element's IFC class) — these labels never
+ *    touch IFC data and manufacture no property set;
+ *  - the plugin API's `SourceTag`, which is cloud-source PROVENANCE
+ *    (provider / project / file / revision), written by the loader and never
+ *    by the user.
+ *
+ * Identity is the `id`, never the name: a saved rule stores tag ids, so
+ * renaming a tag changes what the chip says and nothing about what matches.
+ * Assignments are keyed by the runtime model id in the store and by the
+ * model's content fingerprint in the portable federation setup file.
+ */
+export interface ModelTag {
+    /** Stable identity (UUID). Saved rules and setup files reference this. */
+    id: string;
+    /** Display name. Unique per federation, compared case-insensitively. */
+    name: string;
+    /** Optional CSS colour for the chip. */
+    color?: string;
+}
+/**
+ * The four membership predicates every consumer (search, clash, lists) reads
+ * the same way:
+ *  - `hasAny`  — the model carries at least one of `tagIds`
+ *  - `hasAll`  — the model carries every one of `tagIds`
+ *  - `hasNone` — the model carries none of `tagIds`
+ *  - `untagged` — the model carries no tag at all (`tagIds` is ignored)
+ */
+export type ModelTagOp = 'hasAny' | 'hasAll' | 'hasNone' | 'untagged';
+export declare const MODEL_TAG_OPS: readonly ModelTagOp[];
+export declare function isModelTagOp(value: unknown): value is ModelTagOp;
+/**
+ * The name key two tags are compared by: trimmed, case-folded. Locale-
+ * independent on purpose: the key decides identity across machines (a setup
+ * file's "Structure" must land on this machine's "structure"), and
+ * `toLocaleLowerCase` folds "I" differently under a Turkish host locale.
+ */
+export declare function normalizeModelTagName(name: string): string;
+/**
+ * Does a model carrying `memberTagIds` satisfy `op` over `ruleTagIds`?
+ *
+ * `definedTagIds` is the set of tags that currently EXIST. A rule naming a tag
+ * that no longer exists is UNRESOLVED and matches nothing, whatever the op:
+ * `hasNone [deleted]` would otherwise be true of every model — the silent
+ * broadening the issue forbids — and `hasAny [deleted]` false of every model,
+ * which happens to be the same answer but for the wrong reason. Callers
+ * surface the unresolved ids through {@link unresolvedModelTagIds} rather than
+ * inferring them from an empty result.
+ *
+ * `untagged` names no tag and so can never be unresolved.
+ */
+export declare function modelTagRuleMatches(op: ModelTagOp, ruleTagIds: readonly string[], memberTagIds: ReadonlySet<string> | undefined, definedTagIds: ReadonlySet<string>): boolean;
+/** The tag ids `rule` names that are not in `definedTagIds`, in rule order, deduped. */
+export declare function unresolvedModelTagIds(rule: {
+    op: ModelTagOp;
+    tagIds: readonly string[];
+}, definedTagIds: ReadonlySet<string>): string[];
+//# sourceMappingURL=model-tag.d.ts.map

package/dist/filter/model-tag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-tag.d.ts","sourceRoot":"","sources":["../../src/filter/model-tag.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,MAAM,WAAW,QAAQ;IACvB,0EAA0E;IAC1E,EAAE,EAAE,MAAM,CAAC;IACX,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,wCAAwC;IACxC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;AAEtE,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAAgD,CAAC;AAEhG,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAEhE;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,UAAU,EACd,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,EAC7C,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,GACjC,OAAO,CAUT;AAED,wFAAwF;AACxF,wBAAgB,qBAAqB,CACnC,IAAI,EAAE;IAAE,EAAE,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EACnD,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,GACjC,MAAM,EAAE,CAOV"}

package/dist/filter/model-tag.js

@@ -0,0 +1,57 @@
+/* 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/. */
+export const MODEL_TAG_OPS = ['hasAny', 'hasAll', 'hasNone', 'untagged'];
+export function isModelTagOp(value) {
+    return typeof value === 'string' && MODEL_TAG_OPS.includes(value);
+}
+/**
+ * The name key two tags are compared by: trimmed, case-folded. Locale-
+ * independent on purpose: the key decides identity across machines (a setup
+ * file's "Structure" must land on this machine's "structure"), and
+ * `toLocaleLowerCase` folds "I" differently under a Turkish host locale.
+ */
+export function normalizeModelTagName(name) {
+    return name.trim().toLowerCase();
+}
+/**
+ * Does a model carrying `memberTagIds` satisfy `op` over `ruleTagIds`?
+ *
+ * `definedTagIds` is the set of tags that currently EXIST. A rule naming a tag
+ * that no longer exists is UNRESOLVED and matches nothing, whatever the op:
+ * `hasNone [deleted]` would otherwise be true of every model — the silent
+ * broadening the issue forbids — and `hasAny [deleted]` false of every model,
+ * which happens to be the same answer but for the wrong reason. Callers
+ * surface the unresolved ids through {@link unresolvedModelTagIds} rather than
+ * inferring them from an empty result.
+ *
+ * `untagged` names no tag and so can never be unresolved.
+ */
+export function modelTagRuleMatches(op, ruleTagIds, memberTagIds, definedTagIds) {
+    const members = memberTagIds ?? EMPTY;
+    if (op === 'untagged')
+        return members.size === 0;
+    if (ruleTagIds.length === 0)
+        return false;
+    for (const id of ruleTagIds)
+        if (!definedTagIds.has(id))
+            return false;
+    switch (op) {
+        case 'hasAny': return ruleTagIds.some((id) => members.has(id));
+        case 'hasAll': return ruleTagIds.every((id) => members.has(id));
+        case 'hasNone': return !ruleTagIds.some((id) => members.has(id));
+    }
+}
+/** The tag ids `rule` names that are not in `definedTagIds`, in rule order, deduped. */
+export function unresolvedModelTagIds(rule, definedTagIds) {
+    if (rule.op === 'untagged')
+        return [];
+    const out = [];
+    for (const id of rule.tagIds) {
+        if (!definedTagIds.has(id) && !out.includes(id))
+            out.push(id);
+    }
+    return out;
+}
+const EMPTY = new Set();
+//# sourceMappingURL=model-tag.js.map

package/dist/filter/model-tag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-tag.js","sourceRoot":"","sources":["../../src/filter/model-tag.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAyC/D,MAAM,CAAC,MAAM,aAAa,GAA0B,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;AAEhG,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,aAAmC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,EAAc,EACd,UAA6B,EAC7B,YAA6C,EAC7C,aAAkC;IAElC,MAAM,OAAO,GAAG,YAAY,IAAI,KAAK,CAAC;IACtC,IAAI,EAAE,KAAK,UAAU;QAAE,OAAO,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC;IACjD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IACtE,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,KAAK,QAAQ,CAAC,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAChE,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,qBAAqB,CACnC,IAAmD,EACnD,aAAkC;IAElC,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,KAAK,GAAwB,IAAI,GAAG,EAAE,CAAC"}

package/dist/filter/read-measure-subject.d.ts

@@ -0,0 +1,28 @@
+/**
+ * `property` and `quantity` subjects for `readSubject`: the values, the
+ * unit each is recorded in (#5300), its SI factor (#5225), and the
+ * `inherit` option (#5433). Split out of `read-subject.ts` for size.
+ *
+ * `inherit` (`SubjectReadOptions`):
+ * - absent: the element's own values; a property also reads its type's
+ *   property sets, per IFC's own inheritance (as it always has).
+ * - `'type'`: a quantity also reads its type's quantity sets (properties
+ *   already do, so for them it changes nothing).
+ * - `'aggregation'`: when the element has no value of its own (type values
+ *   included, quantities too), the nearest `IfcRelAggregates` ancestor
+ *   that has one supplies it. The walk is iterative with a visited set (AGENTS.md
+ *   "Bounding walks"), so a cyclic aggregation in a broken file ends.
+ */
+import { type IfcDataStore } from '@ifc-lite/parser';
+import type { PropertyRule, QuantityRule } from './filter-rules.js';
+type MeasureSubject = Omit<PropertyRule, 'op' | 'value' | 'valueKind'> | Omit<QuantityRule, 'op' | 'value'>;
+export interface MeasureValue {
+    present: boolean;
+    values: ReadonlyArray<string | number>;
+    unit?: string;
+    valueUnits: ReadonlyArray<string | undefined>;
+    valueSiScales: ReadonlyArray<number | undefined>;
+}
+export declare function readMeasureSubject(subject: MeasureSubject, store: IfcDataStore, expressId: number): MeasureValue;
+export {};
+//# sourceMappingURL=read-measure-subject.d.ts.map

package/dist/filter/read-measure-subject.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-measure-subject.d.ts","sourceRoot":"","sources":["../../src/filter/read-measure-subject.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAOL,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAIpE,KAAK,cAAc,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,OAAO,GAAG,WAAW,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,OAAO,CAAC,CAAC;AAE5G,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,aAAa,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC9C,aAAa,EAAE,aAAa,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CAClD;AAwED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,GAAG,YAAY,CAiBhH"}

package/dist/filter/read-measure-subject.js

@@ -0,0 +1,116 @@
+/* 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/. */
+/**
+ * `property` and `quantity` subjects for `readSubject`: the values, the
+ * unit each is recorded in (#5300), its SI factor (#5225), and the
+ * `inherit` option (#5433). Split out of `read-subject.ts` for size.
+ *
+ * `inherit` (`SubjectReadOptions`):
+ * - absent: the element's own values; a property also reads its type's
+ *   property sets, per IFC's own inheritance (as it always has).
+ * - `'type'`: a quantity also reads its type's quantity sets (properties
+ *   already do, so for them it changes nothing).
+ * - `'aggregation'`: when the element has no value of its own (type values
+ *   included, quantities too), the nearest `IfcRelAggregates` ancestor
+ *   that has one supplies it. The walk is iterative with a visited set (AGENTS.md
+ *   "Bounding walks"), so a cyclic aggregation in a broken file ends.
+ */
+import { extractPropertiesOnDemand, extractQuantitiesOnDemand, extractTypePropertiesOnDemand, extractTypeQuantitiesOnDemand, mergeInheritedPropertySets, mergeInheritedQuantitySets, } from '@ifc-lite/parser';
+import { RelationshipType } from '@ifc-lite/data';
+import { nameMatches, stringifyValue } from './filter-match.js';
+import { projectSiScale, projectUnitSymbol, quantityValueSiScale, QUANTITY_MEASURE_TYPE } from './measure-units.js';
+/** `expressId`'s type-level property sets via `IfcRelDefinesByType`. */
+function inheritedTypePsets(store, expressId) {
+    if (!store.relationships)
+        return [];
+    const typeIds = store.relationships.getRelated(expressId, RelationshipType.DefinesByType, 'inverse');
+    if (typeIds.length === 0)
+        return [];
+    if (store.source && store.source.length > 0) {
+        return extractTypePropertiesOnDemand(store, expressId)?.properties ?? [];
+    }
+    return (store.properties?.getForEntity?.(typeIds[0]) ?? []);
+}
+function readProperty(subject, store, expressId) {
+    const merged = mergeInheritedPropertySets(extractPropertiesOnDemand(store, expressId), inheritedTypePsets(store, expressId));
+    const values = [];
+    const valueUnits = [];
+    const valueSiScales = [];
+    for (const set of merged) {
+        if (!nameMatches(subject.setName, set.name, subject.setNameKind))
+            continue;
+        for (const p of set.properties) {
+            if (!nameMatches(subject.propertyName, p.name, subject.propertyNameKind))
+                continue;
+            values.push(stringifyValue(p.value));
+            // Own and type-level rows alike carry the property's explicit `Unit`
+            // when it has one (both come from `extractPsetsFromIds`).
+            valueUnits.push(p.unit ?? projectUnitSymbol(store, p.dataType));
+            valueSiScales.push(p.unit !== undefined ? p.unitSiScale : projectSiScale(store, p.dataType));
+        }
+    }
+    return { present: values.some((v) => v.trim().length > 0), values, valueUnits, valueSiScales };
+}
+/**
+ * `expressId`'s type-level quantity sets: parsed from the source, or for a
+ * table-backed (server-parsed) store with no source, the type's rows in
+ * `store.quantities`, the same branch `inheritedTypePsets` takes (review, #5440).
+ */
+function inheritedTypeQsets(store, expressId) {
+    if (store.source && store.source.length > 0)
+        return extractTypeQuantitiesOnDemand(store, expressId)?.quantities ?? [];
+    const typeIds = store.relationships?.getRelated(expressId, RelationshipType.DefinesByType, 'inverse') ?? [];
+    return typeIds.length > 0 ? (store.quantities?.getForEntity?.(typeIds[0]) ?? []) : [];
+}
+function readQuantity(subject, store, expressId) {
+    const own = extractQuantitiesOnDemand(store, expressId);
+    // Both options read the type's quantities: 'aggregation' falls back to
+    // the aggregate parent only when neither the element nor its type has
+    // the value, the same "own (type included) first" rule as properties.
+    const sets = subject.inherit === 'type' || subject.inherit === 'aggregation'
+        ? mergeInheritedQuantitySets(own, inheritedTypeQsets(store, expressId))
+        : own;
+    const values = [];
+    const valueUnits = [];
+    const valueSiScales = [];
+    for (const qset of sets) {
+        if (!nameMatches(subject.setName, qset.name, subject.setNameKind))
+            continue;
+        for (const q of qset.quantities) {
+            if (!nameMatches(subject.quantityName, q.name, subject.quantityNameKind))
+                continue;
+            values.push(q.value);
+            // An explicit `IfcPhysicalSimpleQuantity.Unit` overrides the project
+            // assignment, for display as much as for the check.
+            valueUnits.push(q.explicitUnit ?? projectUnitSymbol(store, QUANTITY_MEASURE_TYPE[q.type]));
+            valueSiScales.push(quantityValueSiScale(store, q));
+        }
+    }
+    return { present: values.length > 0, values, unit: valueUnits.find((u) => u !== undefined), valueUnits, valueSiScales };
+}
+function readOwn(subject, store, expressId) {
+    return subject.kind === 'property' ? readProperty(subject, store, expressId) : readQuantity(subject, store, expressId);
+}
+export function readMeasureSubject(subject, store, expressId) {
+    const own = readOwn(subject, store, expressId);
+    if (own.present || subject.inherit !== 'aggregation' || !store.relationships)
+        return own;
+    const visited = new Set([expressId]);
+    let frontier = store.relationships.getRelated(expressId, RelationshipType.Aggregates, 'inverse');
+    while (frontier.length > 0) {
+        const next = [];
+        for (const parent of frontier) {
+            if (visited.has(parent))
+                continue;
+            visited.add(parent);
+            const value = readOwn(subject, store, parent);
+            if (value.present)
+                return value;
+            next.push(...store.relationships.getRelated(parent, RelationshipType.Aggregates, 'inverse'));
+        }
+        frontier = next;
+    }
+    return own;
+}
+//# sourceMappingURL=read-measure-subject.js.map

package/dist/filter/read-measure-subject.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-measure-subject.js","sourceRoot":"","sources":["../../src/filter/read-measure-subject.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,yBAAyB,EACzB,yBAAyB,EACzB,6BAA6B,EAC7B,6BAA6B,EAC7B,0BAA0B,EAC1B,0BAA0B,GAE3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAgB,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEhE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAYpH,wEAAwE;AACxE,SAAS,kBAAkB,CAAC,KAAmB,EAAE,SAAiB;IAChE,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IACrG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,6BAA6B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC;IAC3E,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAiD,CAAC;AAC9G,CAAC;AAED,SAAS,YAAY,CAAC,OAAsD,EAAE,KAAmB,EAAE,SAAiB;IAClH,MAAM,MAAM,GAAG,0BAA0B,CAAC,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IAC7H,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,UAAU,GAA8B,EAAE,CAAC;IACjD,MAAM,aAAa,GAA8B,EAAE,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC;YAAE,SAAS;QAC3E,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC;gBAAE,SAAS;YACnF,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACrC,qEAAqE;YACrE,0DAA0D;YAC1D,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAChE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;AACjG,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,KAAmB,EAAE,SAAiB;IAChE,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,6BAA6B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC;IACtH,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,aAAa,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;IAC5G,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,SAAS,YAAY,CAAC,OAAsD,EAAE,KAAmB,EAAE,SAAiB;IAClH,MAAM,GAAG,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACxD,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,KAAK,aAAa;QAC1E,CAAC,CAAC,0BAA0B,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvE,CAAC,CAAC,GAAG,CAAC;IACR,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,UAAU,GAA8B,EAAE,CAAC;IACjD,MAAM,aAAa,GAA8B,EAAE,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC;YAAE,SAAS;QAC5E,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC;gBAAE,SAAS;YACnF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACrB,qEAAqE;YACrE,oDAAoD;YACpD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,iBAAiB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,IAAoB,CAAC,CAAC,CAAC,CAAC;YAC3G,aAAa,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;AAC1H,CAAC;AAED,SAAS,OAAO,CAAC,OAAuB,EAAE,KAAmB,EAAE,SAAiB;IAC9E,OAAO,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AACzH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAuB,EAAE,KAAmB,EAAE,SAAiB;IAChG,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,GAAG,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,aAAa,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,GAAG,CAAC;IACzF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACjG,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9C,IAAI,KAAK,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;QAC/F,CAAC;QACD,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/filter/read-subject.d.ts

@@ -0,0 +1,72 @@
+/**
+ * `readSubject` — the ONE reader the information-validation engine (#5138 PR
+ * 3, `lib/validation/rule-engine*.ts`) uses to pull a `Subject`'s raw values
+ * off one element, before any operator is applied. New file rather than
+ * grown into `filter-match.ts` (already 353 lines; the plan's own size
+ * budget note applies) — and, more importantly, a NEW function rather than a
+ * literal `matchXRule → op(readSubject(...))` refactor of the existing
+ * search matchers there.
+ *
+ * Why not the refactor the plan describes as the default: every existing
+ * matcher's absent-handling is tuned to SEARCH's own convention, and that
+ * convention is not uniform across rule kinds — `stringOpMatches` (used by
+ * `name`/`type`/`parent` inline in `filter-evaluate.ts`) matches `ne` /
+ * `notContains` / `notMatches` TRUE on an absent candidate (a missing Name
+ * satisfies "Name != Foo"), while `matchAttributeRule` / `matchPropertyRule`
+ * already fail every op but `isNotSet` on absent. Validation needs the
+ * SECOND convention for every subject, uniformly (plan §4 item 2: "every
+ * operator except isNotSet fails on present === false with absent" — so
+ * `ne`/`notContains`/`notMatches` become proper negations, not "vacuously
+ * true on absent"). Reusing `stringOpMatches`'s existing undefined branch
+ * for `name`/`type`/`parent` would import the WRONG convention; changing
+ * that branch would change search's own `ne`/`notContains` results
+ * (`filter-evaluate-absent-name.test.ts` pins the current behaviour). So
+ * `readSubject` reads values only — presence and per-op pass/fail rules are
+ * the validation engine's own concern (`rule-engine-requirements.ts`),
+ * applied via `matchStringAnyNone`/`valueOpMatches`/`numericOpMatches`
+ * (`filter-ops.ts`) with an empty candidate list standing in for "absent",
+ * which already fails every op (`matchStringAnyNone`'s own `candidates.
+ * length === 0` branch — see that engine module for how this is used).
+ *
+ * `filter-match.ts` is UNCHANGED by this file (0-line diff) — every matcher
+ * it exports keeps meaning exactly what it means today.
+ */
+import { type IfcDataStore } from '@ifc-lite/parser';
+import type { Subject } from '../rule-set/rule-set.js';
+/** What `readSubject` needs about the element it reads. No `mutationView` —
+ *  the engine reads the model as loaded, not with live in-session edits
+ *  applied (those are a follow-up; noted in the PR body). */
+export interface ReadSubjectContext {
+    store: IfcDataStore;
+    expressId: number;
+}
+/** The result `readSubject` returns for every `Subject` kind. */
+export interface SubjectValue {
+    /** At least one value, after `String(v).trim()`, is non-empty (plan §4.2). */
+    present: boolean;
+    values: ReadonlyArray<string | number>;
+    /** Quantity subjects only — the stored unit label, when known. */
+    unit?: string;
+    /**
+     * Property and quantity subjects only: the unit each entry of `values` is
+     * recorded in, index for index (#5300). The value's own explicit `Unit`
+     * when the file declares one, otherwise the project unit for its measure
+     * type; `undefined` for a value that has no unit (a label, a count, an
+     * untyped property).
+     */
+    valueUnits?: ReadonlyArray<string | undefined>;
+    /**
+     * Property and quantity subjects only, aligned with `values`: the factor
+     * that turns each value into SI base units, from the same unit as
+     * `valueUnits`; `undefined` for a value with no unit (#5225).
+     */
+    valueSiScales?: ReadonlyArray<number | undefined>;
+}
+/**
+ * Read one `Subject`'s raw values off `ctx.expressId`. Callers may pass a
+ * full `FilterRule` in place of a `Subject` — every rule kind's shape is a
+ * structural superset of its `Subject` (`SubjectOf<R>` in `rule-set.ts`), so
+ * the extra `op`/`value`/`values` fields are simply ignored here.
+ */
+export declare function readSubject(subject: Subject, ctx: ReadSubjectContext): SubjectValue;
+//# sourceMappingURL=read-subject.d.ts.map

package/dist/filter/read-subject.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-subject.d.ts","sourceRoot":"","sources":["../../src/filter/read-subject.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAIL,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAMvD;;6DAE6D;AAC7D,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,iEAAiE;AACjE,MAAM,WAAW,YAAY;IAC3B,8EAA8E;IAC9E,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACvC,kEAAkE;IAClE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,aAAa,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC/C;;;;OAIG;IACH,aAAa,CAAC,EAAE,aAAa,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CACnD;AAiBD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,kBAAkB,GAAG,YAAY,CA+DnF"}

package/dist/filter/read-subject.js

@@ -0,0 +1,128 @@
+/* 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/. */
+/**
+ * `readSubject` — the ONE reader the information-validation engine (#5138 PR
+ * 3, `lib/validation/rule-engine*.ts`) uses to pull a `Subject`'s raw values
+ * off one element, before any operator is applied. New file rather than
+ * grown into `filter-match.ts` (already 353 lines; the plan's own size
+ * budget note applies) — and, more importantly, a NEW function rather than a
+ * literal `matchXRule → op(readSubject(...))` refactor of the existing
+ * search matchers there.
+ *
+ * Why not the refactor the plan describes as the default: every existing
+ * matcher's absent-handling is tuned to SEARCH's own convention, and that
+ * convention is not uniform across rule kinds — `stringOpMatches` (used by
+ * `name`/`type`/`parent` inline in `filter-evaluate.ts`) matches `ne` /
+ * `notContains` / `notMatches` TRUE on an absent candidate (a missing Name
+ * satisfies "Name != Foo"), while `matchAttributeRule` / `matchPropertyRule`
+ * already fail every op but `isNotSet` on absent. Validation needs the
+ * SECOND convention for every subject, uniformly (plan §4 item 2: "every
+ * operator except isNotSet fails on present === false with absent" — so
+ * `ne`/`notContains`/`notMatches` become proper negations, not "vacuously
+ * true on absent"). Reusing `stringOpMatches`'s existing undefined branch
+ * for `name`/`type`/`parent` would import the WRONG convention; changing
+ * that branch would change search's own `ne`/`notContains` results
+ * (`filter-evaluate-absent-name.test.ts` pins the current behaviour). So
+ * `readSubject` reads values only — presence and per-op pass/fail rules are
+ * the validation engine's own concern (`rule-engine-requirements.ts`),
+ * applied via `matchStringAnyNone`/`valueOpMatches`/`numericOpMatches`
+ * (`filter-ops.ts`) with an empty candidate list standing in for "absent",
+ * which already fails every op (`matchStringAnyNone`'s own `candidates.
+ * length === 0` branch — see that engine module for how this is used).
+ *
+ * `filter-match.ts` is UNCHANGED by this file (0-line diff) — every matcher
+ * it exports keeps meaning exactly what it means today.
+ */
+import { extractAllEntityAttributes, extractAllMaterialsOnDemand, extractClassificationsOnDemand, } from '@ifc-lite/parser';
+import { RelationshipType, collectSpatialAncestors } from '@ifc-lite/data';
+import { stringifyValue, defaultStoreyName, materialNamesOf } from './filter-match.js';
+import { resolveEntityPredefinedType } from './entity-predefined-type.js';
+import { readMeasureSubject } from './read-measure-subject.js';
+import { assignedGroupNames } from './filter-group-rule.js';
+function fromStrings(values) {
+    const defined = values.filter((v) => v !== undefined);
+    return { present: defined.some((v) => v.trim().length > 0), values: defined };
+}
+/** `expressId`'s relating TYPE object's Name, via `IfcRelDefinesByType` — the
+ *  read-only twin of `filter-evaluate.ts`'s `relatingTypeNameOf`. */
+function relatingTypeName(store, expressId) {
+    if (!store.relationships)
+        return undefined;
+    const typeIds = store.relationships.getRelated(expressId, RelationshipType.DefinesByType, 'inverse');
+    if (typeIds.length === 0)
+        return undefined;
+    return store.entities.getNameOrUndefined(typeIds[0]);
+}
+/**
+ * Read one `Subject`'s raw values off `ctx.expressId`. Callers may pass a
+ * full `FilterRule` in place of a `Subject` — every rule kind's shape is a
+ * structural superset of its `Subject` (`SubjectOf<R>` in `rule-set.ts`), so
+ * the extra `op`/`value`/`values` fields are simply ignored here.
+ */
+export function readSubject(subject, ctx) {
+    const { store, expressId } = ctx;
+    switch (subject.kind) {
+        case 'attribute': {
+            const wanted = subject.name.toLowerCase();
+            const found = extractAllEntityAttributes(store, expressId).find((a) => a.name.toLowerCase() === wanted);
+            return fromStrings([found === undefined ? undefined : stringifyValue(found.value)]);
+        }
+        case 'property':
+        case 'quantity':
+            return readMeasureSubject(subject, store, expressId);
+        case 'classification': {
+            const sys = subject.system?.trim().toLowerCase();
+            const refs = extractClassificationsOnDemand(store, expressId).filter((r) => !r.unresolved && (!sys || (r.system ?? '').toLowerCase() === sys));
+            // BOTH the code AND the name per ref, not one-or-the-other — review
+            // finding: classification matching is code OR name
+            // (`matchClassificationRule`, filter-match.ts), so a rule matching
+            // either value must see it here too. A ref with `{identification:
+            // '123', name:'Fire rating'}` contributes TWO values; deduped so a
+            // ref whose code and name happen to be identical doesn't double-count.
+            const values = new Set();
+            for (const r of refs) {
+                if (r.identification)
+                    values.add(r.identification);
+                if (r.name)
+                    values.add(r.name);
+            }
+            return fromStrings([...values]);
+        }
+        case 'material': {
+            const names = new Set();
+            for (const info of extractAllMaterialsOnDemand(store, expressId)) {
+                for (const n of materialNamesOf(info))
+                    names.add(n);
+            }
+            return fromStrings([...names]);
+        }
+        case 'name':
+            return fromStrings([store.entities.getNameOrUndefined(expressId)]);
+        case 'type':
+            return fromStrings([relatingTypeName(store, expressId)]);
+        case 'ifcType':
+            return fromStrings([store.entities.getTypeName(expressId)]);
+        case 'predefinedType':
+            return fromStrings([resolveEntityPredefinedType(store, expressId)]);
+        case 'globalId':
+            return fromStrings([store.entities.getGlobalId(expressId)]);
+        case 'storey': {
+            const name = defaultStoreyName(store, expressId);
+            return fromStrings([name.length > 0 ? name : undefined]);
+        }
+        case 'group': {
+            // Present = assigned to at least one such group, named or not (#5226):
+            // membership is the fact, a group's Name is only what value ops read.
+            const names = assignedGroupNames(store, expressId, subject.groupClass);
+            return { present: names.length > 0, values: names.filter((n) => n !== undefined) };
+        }
+        case 'parent': {
+            const names = store.relationships
+                ? collectSpatialAncestors(store.relationships, expressId).map((id) => store.entities.getNameOrUndefined(id))
+                : [];
+            return fromStrings(names);
+        }
+    }
+}
+//# sourceMappingURL=read-subject.js.map

package/dist/filter/read-subject.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-subject.js","sourceRoot":"","sources":["../../src/filter/read-subject.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,EAC3B,8BAA8B,GAE/B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAE3E,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACvF,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAiC5D,SAAS,WAAW,CAAC,MAAyC;IAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACnE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAChF,CAAC;AAGD;qEACqE;AACrE,SAAS,gBAAgB,CAAC,KAAmB,EAAE,SAAiB;IAC9D,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IACrG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,GAAuB;IACnE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC;IACjC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;YACxG,OAAO,WAAW,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,8BAA8B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,MAAM,CAClE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CACzE,CAAC;YACF,oEAAoE;YACpE,mDAAmD;YACnD,mEAAmE;YACnE,kEAAkE;YAClE,mEAAmE;YACnE,uEAAuE;YACvE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,cAAc;oBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;gBACnD,IAAI,CAAC,CAAC,IAAI;oBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,WAAW,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,2BAA2B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;gBACjE,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,WAAW,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACrE,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3D,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9D,KAAK,gBAAgB;YACnB,OAAO,WAAW,CAAC,CAAC,2BAA2B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,UAAU;YACb,OAAO,WAAW,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9D,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACjD,OAAO,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YACvE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;QAClG,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa;gBAC/B,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;gBAC5G,CAAC,CAAC,EAAE,CAAC;YACP,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/filter/subject-match.d.ts

@@ -0,0 +1,27 @@
+/**
+ * `property` / `quantity` rules that set a {@link SubjectReadOptions} field
+ * are read through `readSubject`, the reader validation already uses, so
+ * the option means one thing in search, applicability and validation.
+ *
+ * `readSubject` reads the model as loaded. A live in-session edit is
+ * applied to plain property rules through the mutation overlay
+ * (`filter-evaluate-mutations.ts`), but not to a rule that sets one of these
+ * options. Validation has the same limitation today (see `read-subject.ts`).
+ */
+import type { IfcDataStore } from '@ifc-lite/parser';
+import type { PropertyRule, QuantityRule } from './filter-rules.js';
+import { type SubjectValue } from './read-subject.js';
+/**
+ * `subject` with every value that has a unit converted to SI base units.
+ * A value with no SI factor (a label, a count) is left as it is.
+ */
+export declare function toSiValues(subject: SubjectValue): SubjectValue;
+/** The subject's values as the rule compares them. */
+export declare function readRuleSubject(rule: PropertyRule | QuantityRule, store: IfcDataStore, expressId: number): SubjectValue;
+/**
+ * Search semantics (`matchPropertyRule` / `matchQuantityRule`), read through
+ * `readSubject`: presence ops ask whether any value exists, every other op
+ * passes when ANY value satisfies it.
+ */
+export declare function matchRuleThroughSubject(rule: PropertyRule | QuantityRule, store: IfcDataStore, expressId: number): boolean;
+//# sourceMappingURL=subject-match.d.ts.map

package/dist/filter/subject-match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"subject-match.d.ts","sourceRoot":"","sources":["../../src/filter/subject-match.ts"],"names":[],"mappings":"AAIA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEpE,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEnE;;;GAGG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,YAAY,GAAG,YAAY,CAgB9D;AAED,sDAAsD;AACtD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,YAAY,GAAG,YAAY,EACjC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,GAChB,YAAY,CAGd;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,YAAY,GAAG,YAAY,EACjC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,GAChB,OAAO,CAQT"}

package/dist/filter/subject-match.js

@@ -0,0 +1,52 @@
+/* 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 { numericOpMatches, valueOpMatches } from './filter-ops.js';
+import { readSubject } from './read-subject.js';
+/**
+ * `subject` with every value that has a unit converted to SI base units.
+ * A value with no SI factor (a label, a count) is left as it is.
+ */
+export function toSiValues(subject) {
+    const scales = subject.valueSiScales;
+    if (!scales)
+        return subject;
+    let converted = false;
+    const values = subject.values.map((value, i) => {
+        const scale = scales[i];
+        if (scale === undefined)
+            return value;
+        const n = typeof value === 'number' ? value : Number(value);
+        if (typeof value === 'string' && value.trim() === '')
+            return value;
+        if (!Number.isFinite(n))
+            return value;
+        converted = true;
+        const si = n * scale;
+        return typeof value === 'number' ? si : String(si);
+    });
+    // The stored unit label no longer describes the values; say they are SI.
+    return converted ? { ...subject, values, unit: 'SI' } : subject;
+}
+/** The subject's values as the rule compares them. */
+export function readRuleSubject(rule, store, expressId) {
+    const subject = readSubject(rule, { store, expressId });
+    return rule.valueUnit === 'si' ? toSiValues(subject) : subject;
+}
+/**
+ * Search semantics (`matchPropertyRule` / `matchQuantityRule`), read through
+ * `readSubject`: presence ops ask whether any value exists, every other op
+ * passes when ANY value satisfies it.
+ */
+export function matchRuleThroughSubject(rule, store, expressId) {
+    const subject = readRuleSubject(rule, store, expressId);
+    if (rule.kind === 'quantity') {
+        return subject.values.some((v) => numericOpMatches(rule.op, Number(v), rule.value));
+    }
+    if (rule.op === 'isSet')
+        return subject.present;
+    if (rule.op === 'isNotSet')
+        return !subject.present;
+    return subject.values.some((v) => valueOpMatches(rule.op, String(v), rule.value, rule.valueKind));
+}
+//# sourceMappingURL=subject-match.js.map

package/dist/filter/subject-match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subject-match.js","sourceRoot":"","sources":["../../src/filter/subject-match.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAe/D,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,WAAW,EAAqB,MAAM,mBAAmB,CAAC;AAEnE;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,OAAqB;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC;IACrC,IAAI,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC;IAC5B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,CAAC,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QACnE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,SAAS,GAAG,IAAI,CAAC;QACjB,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;QACrB,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,yEAAyE;IACzE,OAAO,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAClE,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,eAAe,CAC7B,IAAiC,EACjC,KAAmB,EACnB,SAAiB;IAEjB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAiC,EACjC,KAAmB,EACnB,SAAiB;IAEjB,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC;IAChD,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;QAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;IACpD,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;AACpG,CAAC"}

package/dist/filter/subject-read-options.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Options on `property` and `quantity` rules that change HOW the value is
+ * read, not what it is compared with. Their own module because
+ * `filter-rules.ts` sits at the module-size cap; `PropertyRule` and
+ * `QuantityRule` extend this interface.
+ *
+ * A rule that sets any of these is matched through `readSubject` (see
+ * `subject-match.ts`) in search and applicability as well as in validation,
+ * so the option means the same thing in every context.
+ */
+export interface SubjectReadOptions {
+    /**
+     * `'si'`: the rule's numeric operand is in SI base units (metres, square
+     * metres, cubic metres), the way IDS states measure values. Each value is
+     * converted to SI with its own unit (an explicit `Unit` on the property or
+     * quantity, else the project unit for its measure type) before comparing.
+     * Values with no unit (labels, counts) are compared as stored. Absent:
+     * the operand is in the model's own units (#5225).
+     */
+    valueUnit?: 'si';
+    /**
+     * Where a missing value may come from (#5433). `'type'`: a quantity also
+     * reads its type's quantity sets (properties always read their type's
+     * property sets). `'aggregation'`: an element with no value of its own
+     * (its type's included, for quantities too) takes the nearest
+     * `IfcRelAggregates` ancestor's. Never implicit: absent
+     * means the element's own (and, for properties, its type's) values only.
+     */
+    inherit?: 'type' | 'aggregation';
+}
+/** Whether `rule` has to be matched through the subject reader. */
+export declare function readsThroughSubject(rule: SubjectReadOptions): boolean;
+//# sourceMappingURL=subject-read-options.d.ts.map

package/dist/filter/subject-read-options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"subject-read-options.d.ts","sourceRoot":"","sources":["../../src/filter/subject-read-options.ts"],"names":[],"mappings":"AAIA;;;;;;;;;GASG;AAEH,MAAM,WAAW,kBAAkB;IACjC;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,IAAI,CAAC;IACjB;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC;CAClC;AAED,mEAAmE;AACnE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAErE"}