@ifc-lite/rules 0.2.0

package/dist/filter/filter-evaluate-mutations.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Live-edit overlay for `filter-evaluate.ts`'s property/quantity/attribute
+ * readers (#4946 review finding on PR #4984): split out of the evaluator
+ * itself so it stays inside its module-size budget.
+ *
+ * `evaluatorModelsFromState` (`lib/model-tags/evaluator-models.ts`) is the
+ * ONE place a model's live `MutablePropertyView` reaches the evaluator; this
+ * is the ONE place that overlay gets applied to what a rule reads, so a
+ * selector run right after an edit matches the edited value, not the file —
+ * on the occurrence AND on its defining TYPE object (`typePropertySetsFor`).
+ * A `type=` rule's own type-Name lookup and DELETE-suppression on a
+ * TYPE-inherited property (`mergeInheritedPropertySets` has no delete
+ * concept) remain base-store-only; both are follow-up scope.
+ */
+import { extractPropertiesOnDemand, extractQuantitiesOnDemand, type IfcDataStore } from '@ifc-lite/parser';
+import type { MutablePropertyView } from '@ifc-lite/mutations';
+import type { AttrRows } from './filter-match.js';
+type PsetSets = ReturnType<typeof extractPropertiesOnDemand>;
+/** The occurrence's own property sets, WITH mutations applied when a
+ *  `mutationView` is present — the same call `element-field-reader.ts`'s
+ *  `setsFor` makes for the Elements chart's own field column. */
+export declare function ownPropertySetsFor(store: IfcDataStore, expressId: number, mutationView: MutablePropertyView | undefined): PsetSets;
+/** `typeBasePsets` (the defining TYPE object's own property sets, as
+ *  `getInheritedTypePsets` in filter-evaluate.ts already resolves them —
+ *  the type-specific on-demand path, not `ownPropertySetsFor`, since a
+ *  type object walks a different relation than an occurrence) topped up
+ *  with the mutation view's edit of that TYPE, when it has one — an
+ *  edited pset replaces its base counterpart by name, an untouched one
+ *  passes through. Same overlay `element-field-reader.ts`'s `typeSetsFor`
+ *  applies for the Elements chart's own field column (#4946 review). */
+export declare function typePropertySetsFor(typeBasePsets: PsetSets, typeId: number, mutationView: MutablePropertyView | undefined): PsetSets;
+type QtySets = ReturnType<typeof extractQuantitiesOnDemand>;
+/** The occurrence's quantity sets, WITH mutations applied when present. A
+ *  `mutationView` built for a server-hydrated store (no quantity extractor,
+ *  `!hasQuantityBase()`) answers `getQuantitiesForEntity` from its overlay
+ *  ALONE, which would otherwise make an edited quantity's siblings — or an
+ *  untouched quantity set — vanish from a selector's reads; merge the base
+ *  back in for that case instead of trusting the overlay as the whole set. */
+export declare function quantitySetsFor(store: IfcDataStore, expressId: number, mutationView: MutablePropertyView | undefined): QtySets;
+/** The occurrence's root attributes, an edited one overriding its base value
+ *  by name (order otherwise kept) — same merge `element-field-reader.ts`'s
+ *  `attrsFor` does. */
+export declare function attributesFor(store: IfcDataStore, expressId: number, mutationView: MutablePropertyView | undefined): AttrRows;
+/** An edited value for ONE root attribute (#4946 review), for the two rule
+ *  kinds that read a dedicated fast-path column instead of `attributesFor`'s
+ *  full merge: `name` (`ctx.table.getNameOrUndefined`) and `predefinedType`
+ *  (`resolveEntityPredefinedType`). `undefined` means "no edit" — the caller
+ *  falls through to its base read, same as an unedited `attributesFor` row. */
+export declare function mutatedAttributeValue(mutationView: MutablePropertyView | undefined, expressId: number, attrName: string): string | undefined;
+export {};
+//# sourceMappingURL=filter-evaluate-mutations.d.ts.map

package/dist/filter/filter-evaluate-mutations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-evaluate-mutations.d.ts","sourceRoot":"","sources":["../../src/filter/filter-evaluate-mutations.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAA8B,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACvI,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAGlD,KAAK,QAAQ,GAAG,UAAU,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE7D;;iEAEiE;AACjE,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAElI;AAED;;;;;;;wEAOwE;AACxE,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAMpI;AAED,KAAK,OAAO,GAAG,UAAU,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAqB5D;;;;;8EAK8E;AAC9E,wBAAgB,eAAe,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,mBAAmB,GAAG,SAAS,GAAG,OAAO,CAM9H;AAED;;uBAEuB;AACvB,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAgB7H;AAED;;;;+EAI+E;AAC/E,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,mBAAmB,GAAG,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE5I"}

package/dist/filter/filter-evaluate-mutations.js

@@ -0,0 +1,111 @@
+/* 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/. */
+/**
+ * Live-edit overlay for `filter-evaluate.ts`'s property/quantity/attribute
+ * readers (#4946 review finding on PR #4984): split out of the evaluator
+ * itself so it stays inside its module-size budget.
+ *
+ * `evaluatorModelsFromState` (`lib/model-tags/evaluator-models.ts`) is the
+ * ONE place a model's live `MutablePropertyView` reaches the evaluator; this
+ * is the ONE place that overlay gets applied to what a rule reads, so a
+ * selector run right after an edit matches the edited value, not the file —
+ * on the occurrence AND on its defining TYPE object (`typePropertySetsFor`).
+ * A `type=` rule's own type-Name lookup and DELETE-suppression on a
+ * TYPE-inherited property (`mergeInheritedPropertySets` has no delete
+ * concept) remain base-store-only; both are follow-up scope.
+ */
+import { extractPropertiesOnDemand, extractQuantitiesOnDemand, extractAllEntityAttributes } from '@ifc-lite/parser';
+import { createdFilterRecord } from './effective-filter-fields.js';
+/** The occurrence's own property sets, WITH mutations applied when a
+ *  `mutationView` is present — the same call `element-field-reader.ts`'s
+ *  `setsFor` makes for the Elements chart's own field column. */
+export function ownPropertySetsFor(store, expressId, mutationView) {
+    return mutationView ? mutationView.getForEntity(expressId) : extractPropertiesOnDemand(store, expressId);
+}
+/** `typeBasePsets` (the defining TYPE object's own property sets, as
+ *  `getInheritedTypePsets` in filter-evaluate.ts already resolves them —
+ *  the type-specific on-demand path, not `ownPropertySetsFor`, since a
+ *  type object walks a different relation than an occurrence) topped up
+ *  with the mutation view's edit of that TYPE, when it has one — an
+ *  edited pset replaces its base counterpart by name, an untouched one
+ *  passes through. Same overlay `element-field-reader.ts`'s `typeSetsFor`
+ *  applies for the Elements chart's own field column (#4946 review). */
+export function typePropertySetsFor(typeBasePsets, typeId, mutationView) {
+    if (!mutationView?.hasChanges(typeId))
+        return typeBasePsets;
+    const overlay = mutationView.getForEntity(typeId);
+    const overlayNames = new Set(overlay.map((set) => set.name));
+    const visibleBase = typeBasePsets.filter((set) => !mutationView.isPropertySetDeleted(typeId, set.name));
+    return [...overlay, ...visibleBase.filter((set) => !overlayNames.has(set.name))];
+}
+/** Overlay sets first, each topped up with any base quantity of the same set
+ *  name it does not itself name; untouched base sets pass through as-is —
+ *  same merge `element-field-families.ts`'s `qsetsFor` uses for the same
+ *  reason: editing one quantity must not hide its siblings or an unrelated
+ *  quantity set (issue #2487). */
+function overlayFirstQtySets(overlay, base) {
+    const byName = new Map(overlay.map((set) => [set.name, set]));
+    const merged = overlay.map((set) => {
+        const named = new Set(set.quantities.map((q) => q.name));
+        const inherited = [];
+        for (const baseSet of base) {
+            if (baseSet.name !== set.name)
+                continue;
+            for (const q of baseSet.quantities)
+                if (!named.has(q.name)) {
+                    named.add(q.name);
+                    inherited.push(q);
+                }
+        }
+        return inherited.length > 0 ? { ...set, quantities: [...set.quantities, ...inherited] } : set;
+    });
+    return [...merged, ...base.filter((set) => !byName.has(set.name))];
+}
+/** The occurrence's quantity sets, WITH mutations applied when present. A
+ *  `mutationView` built for a server-hydrated store (no quantity extractor,
+ *  `!hasQuantityBase()`) answers `getQuantitiesForEntity` from its overlay
+ *  ALONE, which would otherwise make an edited quantity's siblings — or an
+ *  untouched quantity set — vanish from a selector's reads; merge the base
+ *  back in for that case instead of trusting the overlay as the whole set. */
+export function quantitySetsFor(store, expressId, mutationView) {
+    if (!mutationView)
+        return extractQuantitiesOnDemand(store, expressId);
+    const overlay = mutationView.getQuantitiesForEntity(expressId);
+    if (mutationView.hasQuantityBase())
+        return overlay;
+    const base = extractQuantitiesOnDemand(store, expressId).filter((set) => !mutationView.isQuantitySetDeleted(expressId, set.name));
+    return overlayFirstQtySets(overlay, base);
+}
+/** The occurrence's root attributes, an edited one overriding its base value
+ *  by name (order otherwise kept) — same merge `element-field-reader.ts`'s
+ *  `attrsFor` does. */
+export function attributesFor(store, expressId, mutationView) {
+    const created = createdFilterRecord(store, mutationView, expressId);
+    if (created) {
+        return created.names.flatMap((name, index) => {
+            const value = created.attributes[index];
+            return (typeof value === 'string' && value !== '$') || typeof value === 'number' || typeof value === 'boolean'
+                ? [{ name, value }] : [];
+        });
+    }
+    const base = extractAllEntityAttributes(store, expressId);
+    const edits = mutationView?.getAttributeMutationsForEntity(expressId);
+    if (!edits || edits.length === 0)
+        return base;
+    const merged = new Map();
+    for (const a of base)
+        merged.set(a.name, a);
+    for (const e of edits)
+        merged.set(e.name, e);
+    return [...merged.values()];
+}
+/** An edited value for ONE root attribute (#4946 review), for the two rule
+ *  kinds that read a dedicated fast-path column instead of `attributesFor`'s
+ *  full merge: `name` (`ctx.table.getNameOrUndefined`) and `predefinedType`
+ *  (`resolveEntityPredefinedType`). `undefined` means "no edit" — the caller
+ *  falls through to its base read, same as an unedited `attributesFor` row. */
+export function mutatedAttributeValue(mutationView, expressId, attrName) {
+    return mutationView?.getAttributeMutationsForEntity(expressId).find((e) => e.name === attrName)?.value;
+}
+//# sourceMappingURL=filter-evaluate-mutations.js.map

package/dist/filter/filter-evaluate-mutations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-evaluate-mutations.js","sourceRoot":"","sources":["../../src/filter/filter-evaluate-mutations.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,0BAA0B,EAAqB,MAAM,kBAAkB,CAAC;AAGvI,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAInE;;iEAEiE;AACjE,MAAM,UAAU,kBAAkB,CAAC,KAAmB,EAAE,SAAiB,EAAE,YAA6C;IACtH,OAAO,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3G,CAAC;AAED;;;;;;;wEAOwE;AACxE,MAAM,UAAU,mBAAmB,CAAC,aAAuB,EAAE,MAAc,EAAE,YAA6C;IACxH,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,aAAa,CAAC;IAC5D,MAAM,OAAO,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,oBAAoB,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACxG,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACnF,CAAC;AAID;;;;kCAIkC;AAClC,SAAS,mBAAmB,CAAC,OAAgB,EAAE,IAAa;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,SAAS,GAAkC,EAAE,CAAC;QACpD,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;YAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;gBAAE,SAAS;YACxC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,UAAU;gBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAC,CAAC;QACvG,CAAC;QACD,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAChG,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;;;;;8EAK8E;AAC9E,MAAM,UAAU,eAAe,CAAC,KAAmB,EAAE,SAAiB,EAAE,YAA6C;IACnH,IAAI,CAAC,YAAY;QAAE,OAAO,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,YAAY,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAC/D,IAAI,YAAY,CAAC,eAAe,EAAE;QAAE,OAAO,OAAO,CAAC;IACnD,MAAM,IAAI,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,oBAAoB,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClI,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED;;uBAEuB;AACvB,MAAM,UAAU,aAAa,CAAC,KAAmB,EAAE,SAAiB,EAAE,YAA6C;IACjH,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACpE,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACxC,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,GAAG,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;gBAC5G,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAG,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,YAAY,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED;;;;+EAI+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,YAA6C,EAAE,SAAiB,EAAE,QAAgB;IACtH,OAAO,YAAY,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK,CAAC;AACzG,CAAC"}

package/dist/filter/filter-evaluate-yield.d.ts

@@ -0,0 +1,9 @@
+/** Event-loop plumbing for the chunked federated evaluator (`filter-evaluate.ts`). */
+export declare function throwAbort(signal: AbortSignal): never;
+/** Yield control to the event loop. Mirrors `tier1-index.ts` so we
+ *  don't pin the Node test runner — `scheduler.yield` (browsers /
+ *  Node 22+) and `setImmediate` (Node fallback) are preferred over
+ *  the MessageChannel trick because the latter requires explicit
+ *  port closure to release the loop reference. */
+export declare function yieldToEventLoop(): Promise<void>;
+//# sourceMappingURL=filter-evaluate-yield.d.ts.map

package/dist/filter/filter-evaluate-yield.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-evaluate-yield.d.ts","sourceRoot":"","sources":["../../src/filter/filter-evaluate-yield.ts"],"names":[],"mappings":"AAIA,sFAAsF;AAEtF,wBAAgB,UAAU,CAAC,MAAM,EAAE,WAAW,GAAG,KAAK,CAOrD;AAED;;;;kDAIkD;AAClD,wBAAgB,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,CAiBhD"}

package/dist/filter/filter-evaluate-yield.js

@@ -0,0 +1,32 @@
+/* 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/. */
+/** Event-loop plumbing for the chunked federated evaluator (`filter-evaluate.ts`). */
+export function throwAbort(signal) {
+    // Match the shape DOM throws on AbortController.signal.aborted reads —
+    // callers can `instanceof DOMException && err.name === 'AbortError'`.
+    throw new DOMException(signal.reason instanceof Error ? signal.reason.message : 'evaluateFilterRules aborted', 'AbortError');
+}
+/** Yield control to the event loop. Mirrors `tier1-index.ts` so we
+ *  don't pin the Node test runner — `scheduler.yield` (browsers /
+ *  Node 22+) and `setImmediate` (Node fallback) are preferred over
+ *  the MessageChannel trick because the latter requires explicit
+ *  port closure to release the loop reference. */
+export function yieldToEventLoop() {
+    const maybeScheduler = globalThis.scheduler;
+    if (typeof maybeScheduler?.yield === 'function')
+        return maybeScheduler.yield();
+    if (typeof setImmediate === 'function') {
+        return new Promise((resolve) => { setImmediate(() => resolve()); });
+    }
+    return new Promise((resolve) => {
+        const channel = new MessageChannel();
+        channel.port1.onmessage = () => {
+            channel.port1.close();
+            channel.port2.close();
+            resolve();
+        };
+        channel.port2.postMessage(null);
+    });
+}
+//# sourceMappingURL=filter-evaluate-yield.js.map

package/dist/filter/filter-evaluate-yield.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-evaluate-yield.js","sourceRoot":"","sources":["../../src/filter/filter-evaluate-yield.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,sFAAsF;AAEtF,MAAM,UAAU,UAAU,CAAC,MAAmB;IAC5C,uEAAuE;IACvE,sEAAsE;IACtE,MAAM,IAAI,YAAY,CACpB,MAAM,CAAC,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,6BAA6B,EACtF,YAAY,CACb,CAAC;AACJ,CAAC;AAED;;;;kDAIkD;AAClD,MAAM,UAAU,gBAAgB;IAC9B,MAAM,cAAc,GAAI,UAEtB,CAAC,SAAS,CAAC;IACb,IAAI,OAAO,cAAc,EAAE,KAAK,KAAK,UAAU;QAAE,OAAO,cAAc,CAAC,KAAK,EAAE,CAAC;IAC/E,IAAI,OAAO,YAAY,KAAK,UAAU,EAAE,CAAC;QACvC,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QACnC,MAAM,OAAO,GAAG,IAAI,cAAc,EAAE,CAAC;QACrC,OAAO,CAAC,KAAK,CAAC,SAAS,GAAG,GAAG,EAAE;YAC7B,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACtB,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACtB,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/filter/filter-evaluate.d.ts

@@ -0,0 +1,120 @@
+/**
+ * Path-B runtime evaluator.
+ *
+ * Applies a list of `FilterRule`s to one or more `IfcDataStore`s without
+ * touching DuckDB. Three optimisations make this safe on huge (4M-entity)
+ * models without a Worker:
+ *
+ *  1. **Index prefilter (AND + op:in only).** When the rule list contains
+ *     any `ifcType` or `storey` `op:'in'` rule under an AND combinator,
+ *     the iteration source is derived from `entityIndex.byType` /
+ *     `spatialHierarchy.byStorey` — typically 100× narrowing. Per-entity
+ *     rule evaluation still re-checks every rule for correctness, so
+ *     picking one prefilter (the smallest bucket) is enough; we don't
+ *     need to intersect. `notIn` and `OR` skip the prefilter and fall
+ *     back to the full column scan.
+ *
+ *  2. **Cheap-first per-entity ordering.** Rules are sorted by cost at
+ *     evaluation time so column-only checks (`ifcType`, `name`, `storey`,
+ *     `predefinedType`) run before `property` / `quantity` rules that
+ *     trigger on-demand source-buffer parses. Combined with AND/OR
+ *     short-circuit, this avoids the AGENTS.md §2 "never call
+ *     extractPropertiesOnDemand in a large loop" trap — a single
+ *     ifcType rule excluding 99% of entities skips 99% of the parses.
+ *
+ *  3. **Async chunked yielding (federated entry).** The federated entry
+ *     is async and yields to the event loop every `chunkSize` rows
+ *     (default 20_000, same as `buildTier1Index`). `AbortSignal` is
+ *     honoured at chunk boundaries; an `onProgress(scanned, total)`
+ *     callback fires once per chunk. The synchronous single-model
+ *     entry remains for tests and small candidate sets.
+ */
+import { type IfcDataStore } from '@ifc-lite/parser';
+import type { MutablePropertyView } from '@ifc-lite/mutations';
+import { type Combinator, type FilterRule } from './filter-rules.js';
+import { selectIterationSource, orderRulesByCost } from './filter-iteration-source.js';
+import { flattenPsets, flattenQtys, stringifyValue, matchPropertyRule, matchQuantityRule, matchAttributeRule, materialNamesOf, matchClassificationRule, elevationOf } from './filter-match.js';
+/** A single matched element. Mirrors the Rust `FilteredElement` shape. */
+export interface FilteredElement {
+    modelId: string;
+    expressId: number;
+    ifcType: string;
+    name: string;
+    globalId: string;
+}
+export interface EvaluateOptions {
+    /**
+     * Restrict evaluation to these expressIds (e.g. the result list from
+     * Tier-1). Omit to scan every populated entity in the store, with
+     * index prefilters applied where possible.
+     */
+    candidateExpressIds?: Iterable<number>;
+    /** Cap. Default 5_000 — enough for downstream batch ops, cheap to bump. */
+    limit?: number;
+    /** Optional storey-name resolver. Falls back to spatial-hierarchy lookup. */
+    storeyNameOf?: (expressId: number) => string;
+    /** Optional predefined-type resolver. Falls back to "" when omitted. */
+    predefinedTypeOf?: (expressId: number) => string;
+    /** Stable identity used by persisted model rules; defaults to `modelId`. */
+    modelFilterIdentity?: string;
+    /** This model's tag ids (`modelTag` rules, #4215); absent = untagged. */
+    modelTagIds?: ReadonlySet<string>;
+    /** Every tag id that exists. A `modelTag` rule naming any other id is
+     *  UNRESOLVED and matches nothing — absent means "no tags exist", so every
+     *  rule naming a tag is unresolved, never silently broad. */
+    definedModelTagIds?: ReadonlySet<string>;
+}
+/**
+ * Evaluate `rules` against one model synchronously. Suitable for tests
+ * and small candidate sets where the chunked async path's overhead
+ * isn't justified. For real UI flows (huge models, cancellable runs),
+ * use `evaluateFilterRulesFederated` (async).
+ */
+export declare function evaluateFilterRules(modelId: string, store: IfcDataStore, rules: readonly FilterRule[], combinator: Combinator, options?: EvaluateOptions): FilteredElement[];
+export interface FederatedEvaluateOptions extends Omit<EvaluateOptions, 'candidateExpressIds'> {
+    /**
+     * Optional per-model candidate set. When supplied for a model, only
+     * those expressIds are evaluated (the typical use is "narrow with
+     * Tier-1 first, then verify structured rules"). Models absent from
+     * the map fall back to a full scan with index prefilters applied.
+     * Pass an empty iterable to skip a model entirely.
+     */
+    candidateExpressIdsByModel?: ReadonlyMap<string, Iterable<number>>;
+    /** Rows per yield boundary. Default 20_000. */
+    chunkSize?: number;
+    /** Aborts the run between chunks. Throws DOMException("…", "AbortError"). */
+    signal?: AbortSignal;
+    /** Progress callback fired after each chunk: (scanned, total). When
+     *  `total` is unknown (Tier-1 candidate iterables without `.size`),
+     *  it's reported as -1. */
+    onProgress?: (scanned: number, total: number) => void;
+}
+/**
+ * Evaluate `rules` across multiple federated models, producing a single
+ * sorted result list. Async chunked + cancellable + progress-reporting.
+ */
+/** One federated model as the evaluator sees it. `tagIds` is the model's tag
+ *  set at call time — a SNAPSHOT: re-tagging while a run is in flight does not
+ *  change what the run matches (the clash resolver relies on this, #4215). */
+export interface EvaluatorModel {
+    id: string;
+    filterIdentity?: string;
+    tagIds?: ReadonlySet<string>;
+    store: IfcDataStore | null;
+    mutationView?: MutablePropertyView;
+}
+export declare function evaluateFilterRulesFederated(models: ReadonlyArray<EvaluatorModel>, rules: readonly FilterRule[], combinator: Combinator, options?: FederatedEvaluateOptions): Promise<FilteredElement[]>;
+export declare const __internal: {
+    flattenPsets: typeof flattenPsets;
+    flattenQtys: typeof flattenQtys;
+    stringifyValue: typeof stringifyValue;
+    matchPropertyRule: typeof matchPropertyRule;
+    matchQuantityRule: typeof matchQuantityRule;
+    matchAttributeRule: typeof matchAttributeRule;
+    materialNamesOf: typeof materialNamesOf;
+    matchClassificationRule: typeof matchClassificationRule;
+    elevationOf: typeof elevationOf;
+    orderRulesByCost: typeof orderRulesByCost;
+    selectIterationSource: typeof selectIterationSource;
+};
+//# sourceMappingURL=filter-evaluate.d.ts.map

package/dist/filter/filter-evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-evaluate.d.ts","sourceRoot":"","sources":["../../src/filter/filter-evaluate.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAML,KAAK,YAAY,EAElB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,UAAU,EAChB,MAAM,mBAAmB,CAAC;AAa3B,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAWvF,OAAO,EACL,YAAY,EACZ,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAGlB,eAAe,EACf,uBAAuB,EACvB,WAAW,EAIZ,MAAM,mBAAmB,CAAC;AAM3B,0EAA0E;AAC1E,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvC,2EAA2E;IAC3E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,YAAY,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC;IAC7C,wEAAwE;IACxE,gBAAgB,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC;IACjD,4EAA4E;IAC5E,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,yEAAyE;IACzE,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC;;iEAE6D;IAC7D,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C;AAOD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,UAAU,EAAE,UAAU,EACtB,OAAO,GAAE,eAAoB,GAC5B,eAAe,EAAE,CAsCnB;AAID,MAAM,WAAW,wBAAyB,SAAQ,IAAI,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAC5F;;;;;;OAMG;IACH,0BAA0B,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACnE,+CAA+C;IAC/C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6EAA6E;IAC7E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB;;+BAE2B;IAC3B,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;CACvD;AAED;;;GAGG;AACH;;8EAE8E;AAC9E,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC;IAAC,YAAY,CAAC,EAAE,mBAAmB,CAAC;CAChE;AAED,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,EACrC,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,UAAU,EAAE,UAAU,EACtB,OAAO,GAAE,wBAA6B,GACrC,OAAO,CAAC,eAAe,EAAE,CAAC,CA8G5B;AAqOD,eAAO,MAAM,UAAU;;;;;;;;;;;;CAYtB,CAAC"}