@ifc-lite/rules 0.2.0

package/dist/filter/filter-evaluate.js

@@ -0,0 +1,408 @@
+/* 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/. */
+/**
+ * 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 { extractTypePropertiesOnDemand, extractAllMaterialsOnDemand, extractClassificationsOnDemand, mergeInheritedPropertySets, } from '@ifc-lite/parser';
+import { ownPropertySetsFor, typePropertySetsFor, quantitySetsFor, attributesFor, mutatedAttributeValue } from './filter-evaluate-mutations.js';
+import { RelationshipType } from '@ifc-lite/data';
+import { combineRuleResults, } from './filter-rules.js';
+import { setOpMatches, globalIdOpMatches, stringOpMatches, matchStringAnyNone, numericOpMatches, } from './filter-ops.js';
+import { isNumericArrayLike, materialiseNumericIterable, toNumericIterable, } from './filter-iteration.js';
+import { selectIterationSource, orderRulesByCost } from './filter-iteration-source.js';
+import { buildFilterResult, effectiveFilterFields } from './effective-filter-fields.js';
+import { throwAbort, yieldToEventLoop } from './filter-evaluate-yield.js';
+import { modelPrunedUnderAnd, modelScopedRuleMatches, isModelScopedRule, NO_MODEL_TAGS, } from './filter-evaluate-model-tag.js';
+import { flattenPsets, flattenQtys, stringifyValue, matchPropertyRule, matchQuantityRule, matchAttributeRule, defaultStoreyName, storeyMatchesRefs, materialNamesOf, materialMatchCandidates, matchClassificationRule, matchParentRule, elevationOf, } from './filter-match.js';
+import { resolveEntityPredefinedType } from './entity-predefined-type.js';
+import { matchGroupRule } from './filter-group-rule.js';
+import { readsThroughSubject } from './subject-read-options.js';
+import { matchRuleThroughSubject } from './subject-match.js';
+const DEFAULT_LIMIT = 5_000;
+const DEFAULT_CHUNK_SIZE = 20_000;
+// ── Sync entry (small candidate sets, tests) ─────────────────────────────────
+/**
+ * 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 function evaluateFilterRules(modelId, store, rules, combinator, options = {}) {
+    if (rules.length === 0)
+        return [];
+    const limit = options.limit ?? DEFAULT_LIMIT;
+    const orderedRules = orderRulesByCost(rules);
+    const iterIds = toNumericIterable(selectIterationSource(store, rules, combinator, options.candidateExpressIds, modelId));
+    const out = [];
+    const ctx = {
+        store,
+        modelId,
+        scope: {
+            filterIdentity: options.modelFilterIdentity ?? modelId,
+            tagIds: options.modelTagIds,
+            definedModelTagIds: options.definedModelTagIds ?? NO_MODEL_TAGS,
+        },
+        table: store.entities,
+        options,
+        hasPropertyRule: orderedRules.some((r) => r.kind === 'property'),
+        hasQuantityRule: orderedRules.some((r) => r.kind === 'quantity'),
+        hasMaterialRule: orderedRules.some((r) => r.kind === 'material'),
+        hasClassificationRule: orderedRules.some((r) => r.kind === 'classification'),
+        hasAttributeRule: orderedRules.some((r) => r.kind === 'attribute'),
+        typePsetCache: new Map(),
+    };
+    for (const expressId of iterIds) {
+        if (out.length >= limit)
+            break;
+        // Skip empty rows from the raw expressId column. ArrayLike sources
+        // (the full-table fast-path) include zero-padded slots; bucket
+        // sources (byType / byStorey) never do, so this is a no-op there.
+        if (!expressId)
+            continue;
+        const fields = evaluateOneEntity(ctx, expressId, orderedRules, combinator);
+        if (!fields)
+            continue;
+        out.push(buildFilterResult(modelId, expressId, fields));
+    }
+    return out;
+}
+export async function evaluateFilterRulesFederated(models, rules, combinator, options = {}) {
+    if (rules.length === 0)
+        return [];
+    const limit = options.limit ?? DEFAULT_LIMIT;
+    const chunkSize = options.chunkSize ?? DEFAULT_CHUNK_SIZE;
+    const signal = options.signal;
+    const orderedRules = orderRulesByCost(rules);
+    const out = [];
+    // Pre-compute per-model iteration plans + a global total so the
+    // progress callback can render a single bar across the federation.
+    const definedModelTagIds = options.definedModelTagIds ?? NO_MODEL_TAGS;
+    const plans = [];
+    let grandTotal = 0;
+    let totalKnown = true;
+    for (const m of models) {
+        if (!m.store)
+            continue;
+        const scope = { filterIdentity: m.filterIdentity ?? m.id, tagIds: m.tagIds, definedModelTagIds };
+        // Whole-model prune, AND only: under OR a model failing its model-scoped
+        // rules still contributes entities the other rules admit (#4215).
+        if (combinator === 'AND' && modelPrunedUnderAnd(orderedRules, scope))
+            continue;
+        const candidates = options.candidateExpressIdsByModel?.get(m.id);
+        const source = candidates ?? selectIterationSource(m.store, rules, combinator, undefined, m.id, m.mutationView);
+        const arr = materialiseNumericIterable(source);
+        if (arr === null) {
+            totalKnown = false;
+        }
+        else {
+            grandTotal += arr.length;
+        }
+        plans.push({
+            modelId: m.id,
+            scope,
+            store: m.store, mutationView: m.mutationView,
+            iter: arr ?? source,
+            total: arr ? arr.length : -1,
+        });
+    }
+    let scanned = 0;
+    options.onProgress?.(0, totalKnown ? grandTotal : -1);
+    for (const plan of plans) {
+        if (out.length >= limit)
+            break;
+        if (signal?.aborted)
+            throwAbort(signal);
+        const ctx = {
+            store: plan.store,
+            modelId: plan.modelId,
+            scope: plan.scope, mutationView: plan.mutationView,
+            table: plan.store.entities,
+            options,
+            hasPropertyRule: orderedRules.some((r) => r.kind === 'property'),
+            hasQuantityRule: orderedRules.some((r) => r.kind === 'quantity'),
+            hasMaterialRule: orderedRules.some((r) => r.kind === 'material'),
+            hasClassificationRule: orderedRules.some((r) => r.kind === 'classification'),
+            hasAttributeRule: orderedRules.some((r) => r.kind === 'attribute'),
+            typePsetCache: new Map(),
+        };
+        // Walk the per-model iter in chunkSize-sized strides, yielding the
+        // event loop between chunks. ArrayLike fast-path uses index access;
+        // the fallback path drains an iterator into chunks.
+        if (Array.isArray(plan.iter) || isNumericArrayLike(plan.iter)) {
+            const arr = plan.iter;
+            for (let i = 0; i < arr.length && out.length < limit; i += chunkSize) {
+                if (signal?.aborted)
+                    throwAbort(signal);
+                const end = Math.min(i + chunkSize, arr.length);
+                for (let j = i; j < end; j++) {
+                    const expressId = arr[j];
+                    if (!expressId)
+                        continue;
+                    const fields = evaluateOneEntity(ctx, expressId, orderedRules, combinator);
+                    if (!fields)
+                        continue;
+                    out.push(buildFilterResult(plan.modelId, expressId, fields));
+                    if (out.length >= limit)
+                        break;
+                }
+                scanned += end - i;
+                options.onProgress?.(scanned, totalKnown ? grandTotal : -1);
+                if (end < arr.length && out.length < limit)
+                    await yieldToEventLoop();
+            }
+        }
+        else {
+            let buffered = 0;
+            for (const expressId of plan.iter) {
+                if (out.length >= limit)
+                    break;
+                if (!expressId)
+                    continue;
+                const fields = evaluateOneEntity(ctx, expressId, orderedRules, combinator);
+                if (fields) {
+                    out.push(buildFilterResult(plan.modelId, expressId, fields));
+                }
+                buffered++;
+                scanned++;
+                if (buffered >= chunkSize) {
+                    buffered = 0;
+                    if (signal?.aborted)
+                        throwAbort(signal);
+                    options.onProgress?.(scanned, totalKnown ? grandTotal : -1);
+                    await yieldToEventLoop();
+                }
+            }
+            // Final progress tick for the residual.
+            options.onProgress?.(scanned, totalKnown ? grandTotal : -1);
+        }
+    }
+    return out;
+}
+function evaluateOneEntity(ctx, expressId, orderedRules, combinator) {
+    if (ctx.mutationView?.isDeleted(expressId))
+        return null;
+    const fields = effectiveFilterFields(ctx.store, ctx.mutationView, expressId);
+    // Lazy pset/qto reads — only invoked when an ordered rule for that
+    // family actually needs the data. Cheap-first ordering means cheap
+    // rules check first; AND short-circuit on a cheap miss skips the
+    // parse entirely.
+    let psetCache = null;
+    let qtyCache = null;
+    let matCache = null;
+    let classCache = null;
+    let attrCache = null;
+    const psetsFor = () => {
+        if (!psetCache) {
+            const ownSets = ownPropertySetsFor(ctx.store, expressId, ctx.mutationView); // #4946, mutation-aware
+            const typeSets = getInheritedTypePsets(ctx, expressId);
+            // IFC inheritance is per-PROPERTY, not per-set, and the occurrence's
+            // own value wins on a name collision — same rule the IDS bridge
+            // already applies (`mergeInheritedPropertySets`, packages/parser).
+            // A type-only pset (nothing on the instance) is appended as-is, so
+            // `isSet`/`isNotSet` now also see properties that exist ONLY on the
+            // type — a deliberate presence-semantics change (was instance-only).
+            psetCache = flattenPsets(mergeInheritedPropertySets(ownSets, typeSets));
+        }
+        return psetCache;
+    };
+    const qtysFor = () => {
+        if (!qtyCache)
+            qtyCache = flattenQtys(quantitySetsFor(ctx.store, expressId, ctx.mutationView));
+        return qtyCache;
+    };
+    const matNamesFor = () => {
+        if (!matCache) {
+            // Union across ALL associations so a material rule matches an element
+            // whose second IfcRelAssociatesMaterial carries the queried name.
+            const seen = new Set();
+            for (const info of extractAllMaterialsOnDemand(ctx.store, expressId)) {
+                for (const n of materialMatchCandidates(info))
+                    seen.add(n);
+            }
+            matCache = [...seen];
+        }
+        return matCache;
+    };
+    const classFor = () => {
+        if (!classCache)
+            classCache = extractClassificationsOnDemand(ctx.store, expressId);
+        return classCache;
+    };
+    const attrsFor = () => {
+        if (!attrCache)
+            attrCache = attributesFor(ctx.store, expressId, ctx.mutationView);
+        return attrCache;
+    };
+    const ruleResults = [];
+    for (const rule of orderedRules) {
+        const result = evaluateRule(rule, ctx, expressId, ctx.hasPropertyRule ? psetsFor : null, ctx.hasQuantityRule ? qtysFor : null, ctx.hasMaterialRule ? matNamesFor : null, ctx.hasClassificationRule ? classFor : null, ctx.hasAttributeRule ? attrsFor : null, fields);
+        ruleResults.push(result);
+        if (combinator === 'AND' && !result)
+            return null;
+        if (combinator === 'OR' && result)
+            return fields;
+    }
+    return combineRuleResults(combinator, ruleResults) ? fields : null;
+}
+/**
+ * Resolve `expressId`'s TYPE-level property sets (e.g. `IfcWallType`'s
+ * `Pset_WallCommon`) via `IfcRelDefinesByType`, caching the parse per
+ * TYPE (`ctx.typePsetCache`) rather than per instance. Many occurrences
+ * share one type, so this is O(distinct types) source-buffer parses per
+ * filter run, not O(entities) — see the AGENTS.md §2 warning this module
+ * already guards for instance psets.
+ *
+ * Mirrors `packages/ids/src/bridge/properties.ts`'s `inheritedPropertySets`
+ * / `typePropertySetsFromTable` split: `extractTypePropertiesOnDemand` only
+ * resolves from the source buffer, so on a server-parsed store (no
+ * `source`, e.g. after collab/session load) it always returns null — the
+ * type's psets there are keyed under the type's own expressId in the
+ * pre-built `PropertyTable` (`store.properties.getForEntity(typeId)`,
+ * issue #1787's server-path fallback).
+ */
+function getInheritedTypePsets(ctx, expressId) {
+    if (!ctx.store.relationships)
+        return [];
+    const typeIds = ctx.store.relationships.getRelated(expressId, RelationshipType.DefinesByType, 'inverse');
+    if (typeIds.length === 0)
+        return [];
+    const typeId = typeIds[0];
+    // Only the BASE read is cached per type (review finding: `mutationView` is
+    // live/mutable, edited possibly mid-run between chunk yields — caching the
+    // mutation-APPLIED result by typeId would keep answering pre-edit psets).
+    // The overlay is cheap and applied fresh on every call.
+    let base = ctx.typePsetCache.get(typeId);
+    if (base === undefined) {
+        base = ctx.store.source && ctx.store.source.length > 0
+            ? extractTypePropertiesOnDemand(ctx.store, expressId)?.properties ?? []
+            : (ctx.store.properties?.getForEntity?.(typeId) ?? []);
+        ctx.typePsetCache.set(typeId, base);
+    }
+    return typePropertySetsFor(base, typeId, ctx.mutationView); // #4946, mutation-aware
+}
+function evaluateRule(rule, ctx, expressId, psetsFor, qtysFor, matNamesFor, classFor, attrsFor, fields) {
+    if (isModelScopedRule(rule))
+        return modelScopedRuleMatches(rule, ctx.scope);
+    switch (rule.kind) {
+        case 'storey': {
+            // Exact-identity mode (refs present): Name isn't unique.
+            if (rule.refs) {
+                const isMatch = storeyMatchesRefs(ctx.store, expressId, ctx.modelId, rule);
+                return rule.op === 'in' ? isMatch : !isMatch;
+            }
+            const storeyName = ctx.options.storeyNameOf?.(expressId)
+                ?? defaultStoreyName(ctx.store, expressId);
+            return setOpMatches(rule.op, storeyName, rule.values);
+        }
+        case 'ifcType':
+            return setOpMatches(rule.op, fields.ifcType, rule.values);
+        case 'predefinedType': {
+            // No columnar accessor - resolve from the source buffer, per-store (#1462). A live edit (#4946) wins.
+            const pt = mutatedAttributeValue(ctx.mutationView, expressId, 'PredefinedType')
+                ?? ctx.options.predefinedTypeOf?.(expressId)
+                ?? resolveEntityPredefinedType(ctx.store, expressId)
+                ?? '';
+            return setOpMatches(rule.op, pt, rule.values);
+        }
+        case 'name': {
+            // getNameOrUndefined: absent must reach as undefined, not '' (#4930). A live edit (#4946) wins.
+            return stringOpMatches(rule.op, fields.name, rule.value, rule.valueKind);
+        }
+        case 'globalId':
+            return globalIdOpMatches(rule.op, fields.globalId, rule.values);
+        case 'attribute': {
+            if (!attrsFor)
+                return false;
+            return matchAttributeRule(rule, attrsFor());
+        }
+        case 'property':
+            if (readsThroughSubject(rule))
+                return matchRuleThroughSubject(rule, ctx.store, expressId);
+            return psetsFor ? matchPropertyRule(rule, psetsFor()) : false;
+        case 'quantity':
+            if (readsThroughSubject(rule))
+                return matchRuleThroughSubject(rule, ctx.store, expressId);
+            return qtysFor ? matchQuantityRule(rule, qtysFor()) : false;
+        case 'material': {
+            if (!matNamesFor)
+                return false;
+            return matchStringAnyNone(rule.op, matNamesFor(), rule.value, rule.valueKind);
+        }
+        case 'classification': {
+            if (!classFor)
+                return false;
+            return matchClassificationRule(rule, classFor());
+        }
+        case 'elevation': {
+            const elev = elevationOf(ctx.store, expressId);
+            if (elev === null)
+                return false;
+            return numericOpMatches(rule.op, elev, rule.value);
+        }
+        case 'type': {
+            const typeName = relatingTypeNameOf(ctx, expressId);
+            if (typeName === null)
+                return false;
+            return stringOpMatches(rule.op, typeName, rule.value, rule.valueKind);
+        }
+        case 'parent': return matchParentRule(rule, ctx.store, expressId);
+        case 'group': return matchGroupRule(rule, ctx.store, expressId);
+    }
+}
+/**
+ * The Name of `expressId`'s RELATING TYPE via `IfcRelDefinesByType` (#4094).
+ * `null` = no such relation (must never match). `undefined` = the related
+ * `IfcTypeObject` has no Name (#4930) — distinct from an empty one.
+ */
+function relatingTypeNameOf(ctx, expressId) {
+    if (!ctx.store.relationships)
+        return null;
+    const typeIds = ctx.store.relationships.getRelated(expressId, RelationshipType.DefinesByType, 'inverse');
+    if (typeIds.length === 0)
+        return null;
+    return ctx.table.getNameOrUndefined(typeIds[0]);
+}
+// ── Exposed for tests ────────────────────────────────────────────────────────
+export const __internal = {
+    flattenPsets,
+    flattenQtys,
+    stringifyValue,
+    matchPropertyRule,
+    matchQuantityRule,
+    matchAttributeRule,
+    materialNamesOf,
+    matchClassificationRule,
+    elevationOf,
+    orderRulesByCost,
+    selectIterationSource,
+};
+//# sourceMappingURL=filter-evaluate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"filter-evaluate.js","sourceRoot":"","sources":["../../src/filter/filter-evaluate.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAEL,6BAA6B,EAC7B,2BAA2B,EAC3B,8BAA8B,EAC9B,0BAA0B,GAG3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,eAAe,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAEhJ,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGlD,OAAO,EACL,kBAAkB,GAGnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAA8B,MAAM,8BAA8B,CAAC;AACpH,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,GAEd,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,EAAE,uBAAuB,EACxC,uBAAuB,EAAE,eAAe,EACxC,WAAW,GAIZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAkC7D,MAAM,aAAa,GAAG,KAAK,CAAC;AAC5B,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAElC,gFAAgF;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAe,EACf,KAAmB,EACnB,KAA4B,EAC5B,UAAsB,EACtB,UAA2B,EAAE;IAE7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,CAAC;IAC7C,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,iBAAiB,CAC/B,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,mBAAmB,EAAE,OAAO,CAAC,CACtF,CAAC;IACF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,MAAM,GAAG,GAAgB;QACvB,KAAK;QACL,OAAO;QACP,KAAK,EAAE;YACL,cAAc,EAAE,OAAO,CAAC,mBAAmB,IAAI,OAAO;YACtD,MAAM,EAAE,OAAO,CAAC,WAAW;YAC3B,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,IAAI,aAAa;SAChE;QACD,KAAK,EAAE,KAAK,CAAC,QAAQ;QACrB,OAAO;QACP,eAAe,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;QAChE,eAAe,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;QAChE,eAAe,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;QAChE,qBAAqB,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;QAC5E,gBAAgB,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;QAClE,aAAa,EAAE,IAAI,GAAG,EAAE;KACzB,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;YAAE,MAAM;QAC/B,mEAAmE;QACnE,+DAA+D;QAC/D,kEAAkE;QAClE,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;QAC3E,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAqCD,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,MAAqC,EACrC,KAA4B,EAC5B,UAAsB,EACtB,UAAoC,EAAE;IAEtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,kBAAkB,CAAC;IAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAsB,EAAE,CAAC;IAElC,gEAAgE;IAChE,mEAAmE;IACnE,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,aAAa,CAAC;IAQvE,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,KAAK;YAAE,SAAS;QACvB,MAAM,KAAK,GAAe,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC;QAC7G,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,UAAU,KAAK,KAAK,IAAI,mBAAmB,CAAC,YAAY,EAAE,KAAK,CAAC;YAAE,SAAS;QAC/E,MAAM,UAAU,GAAG,OAAO,CAAC,0BAA0B,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,UAAU,IAAI,qBAAqB,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;QAChH,MAAM,GAAG,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,UAAU,GAAG,KAAK,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC;QAC3B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,OAAO,EAAE,CAAC,CAAC,EAAE;YACb,KAAK;YACL,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5C,IAAI,EAAE,GAAG,IAAI,MAAM;YACnB,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;YAAE,MAAM;QAC/B,IAAI,MAAM,EAAE,OAAO;YAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAExC,MAAM,GAAG,GAAgB;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY;YAClD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;YAC1B,OAAO;YACP,eAAe,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAChE,eAAe,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAChE,eAAe,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAChE,qBAAqB,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;YAC5E,gBAAgB,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;YAClE,aAAa,EAAE,IAAI,GAAG,EAAE;SACzB,CAAC;QAEF,mEAAmE;QACnE,oEAAoE;QACpE,oDAAoD;QACpD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAyB,CAAC;YAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;gBACrE,IAAI,MAAM,EAAE,OAAO;oBAAE,UAAU,CAAC,MAAM,CAAC,CAAC;gBACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7B,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;oBACzB,IAAI,CAAC,SAAS;wBAAE,SAAS;oBACzB,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;oBAC3E,IAAI,CAAC,MAAM;wBAAE,SAAS;oBACtB,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;oBAC7D,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;wBAAE,MAAM;gBACjC,CAAC;gBACD,OAAO,IAAI,GAAG,GAAG,CAAC,CAAC;gBACnB,OAAO,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5D,IAAI,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK;oBAAE,MAAM,gBAAgB,EAAE,CAAC;YACvE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,IAAwB,EAAE,CAAC;gBACtD,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;oBAAE,MAAM;gBAC/B,IAAI,CAAC,SAAS;oBAAE,SAAS;gBACzB,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;gBAC3E,IAAI,MAAM,EAAE,CAAC;oBACX,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC/D,CAAC;gBACD,QAAQ,EAAE,CAAC;gBACX,OAAO,EAAE,CAAC;gBACV,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;oBAC1B,QAAQ,GAAG,CAAC,CAAC;oBACb,IAAI,MAAM,EAAE,OAAO;wBAAE,UAAU,CAAC,MAAM,CAAC,CAAC;oBACxC,OAAO,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC5D,MAAM,gBAAgB,EAAE,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,wCAAwC;YACxC,OAAO,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AA+BD,SAAS,iBAAiB,CACxB,GAAgB,EAChB,SAAiB,EACjB,YAAmC,EACnC,UAAsB;IAEtB,IAAI,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC7E,mEAAmE;IACnE,mEAAmE;IACnE,iEAAiE;IACjE,kBAAkB;IAClB,IAAI,SAAS,GAAoB,IAAI,CAAC;IACtC,IAAI,QAAQ,GAAmB,IAAI,CAAC;IACpC,IAAI,QAAQ,GAAoB,IAAI,CAAC;IACrC,IAAI,UAAU,GAAyC,IAAI,CAAC;IAC5D,IAAI,SAAS,GAAoB,IAAI,CAAC;IACtC,MAAM,QAAQ,GAAG,GAAa,EAAE;QAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,wBAAwB;YACpG,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YACvD,qEAAqE;YACrE,gEAAgE;YAChE,mEAAmE;YACnE,mEAAmE;YACnE,oEAAoE;YACpE,qEAAqE;YACrE,SAAS,GAAG,YAAY,CAAC,0BAA0B,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,GAAY,EAAE;QAC5B,IAAI,CAAC,QAAQ;YAAE,QAAQ,GAAG,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;QAC/F,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,GAAa,EAAE;QACjC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,sEAAsE;YACtE,kEAAkE;YAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,2BAA2B,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;gBACrE,KAAK,MAAM,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7D,CAAC;YACD,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,GAAkC,EAAE;QACnD,IAAI,CAAC,UAAU;YAAE,UAAU,GAAG,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACnF,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,GAAa,EAAE;QAC9B,IAAI,CAAC,SAAS;YAAE,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;QAClF,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAc,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,YAAY,CACzB,IAAI,EACJ,GAAG,EACH,SAAS,EACT,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EACrC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EACpC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EACxC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAC3C,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EACtC,MAAM,CACP,CAAC;QACF,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,UAAU,KAAK,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACjD,IAAI,UAAU,KAAK,IAAI,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IACnD,CAAC;IACD,OAAO,kBAAkB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,qBAAqB,CAAC,GAAgB,EAAE,SAAiB;IAChE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IACzG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAE1B,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,wDAAwD;IACxD,IAAI,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YACpD,CAAC,CAAC,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,UAAU,IAAI,EAAE;YACvE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAA4B,CAAC;QACpF,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,wBAAwB;AACtF,CAAC;AAED,SAAS,YAAY,CACnB,IAAgB,EAChB,GAAgB,EAChB,SAAiB,EACjB,QAAiC,EACjC,OAA+B,EAC/B,WAAoC,EACpC,QAAsD,EACtD,QAAiC,EACjC,MAA6B;IAE7B,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,yDAAyD;YACzD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC3E,OAAO,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/C,CAAC;YACD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC;mBACnD,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5D,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,sGAAsG;YACtG,MAAM,EAAE,GAAG,qBAAqB,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,EAAE,gBAAgB,CAAC;mBAC1E,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC,SAAS,CAAC;mBACzC,2BAA2B,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;mBACjD,EAAE,CAAC;YACR,OAAO,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,gGAAgG;YAChG,OAAO,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAClE,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC5B,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,UAAU;YACb,IAAI,mBAAmB,CAAC,IAAI,CAAC;gBAAE,OAAO,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1F,OAAO,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAChE,KAAK,UAAU;YACb,IAAI,mBAAmB,CAAC,IAAI,CAAC;gBAAE,OAAO,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1F,OAAO,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9D,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,CAAC,WAAW;gBAAE,OAAO,KAAK,CAAC;YAC/B,OAAO,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAChF,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC5B,OAAO,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC/C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACpC,OAAO,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,OAAO,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClE,KAAK,OAAO,CAAC,CAAC,OAAO,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,GAAgB,EAAE,SAAiB;IAC7D,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IACzG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,gFAAgF;AAEhF,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,YAAY;IACZ,WAAW;IACX,cAAc;IACd,iBAAiB;IACjB,iBAAiB;IACjB,kBAAkB;IAClB,eAAe;IACf,uBAAuB;IACvB,WAAW;IACX,gBAAgB;IAChB,qBAAqB;CACtB,CAAC"}

package/dist/filter/filter-group-rule.d.ts

@@ -0,0 +1,23 @@
+import { type IfcDataStore } from '@ifc-lite/parser';
+import type { ClassificationOp, TextKind } from './filter-rules.js';
+export interface GroupRule {
+    kind: 'group';
+    /** Only groups of this IFC class or a subclass, e.g. `IfcSystem`. Absent = any `IfcGroup`. */
+    groupClass?: string;
+    op: ClassificationOp;
+    /** Matched against each group's Name. Ignored for `isSet` / `isNotSet`. */
+    value: string;
+    /** How `value` reads. Only consulted by the `matches` / `notMatches` ops. */
+    valueKind?: TextKind;
+}
+export declare function groupRule(op: ClassificationOp, value: string, groupClass?: string, valueKind?: TextKind): GroupRule;
+/**
+ * The groups `expressId` is assigned to (inverse `IfcRelAssignsToGroup`),
+ * narrowed to `groupClass` when given. The exact declared class is read,
+ * not the coalesced one, so a subclass check is a real subclass check.
+ */
+export declare function assignedGroupIds(store: IfcDataStore, expressId: number, groupClass?: string): number[];
+/** The Names of those groups; `undefined` for a group with no Name. */
+export declare function assignedGroupNames(store: IfcDataStore, expressId: number, groupClass?: string): (string | undefined)[];
+export declare function matchGroupRule(rule: GroupRule, store: IfcDataStore, expressId: number): boolean;
+//# sourceMappingURL=filter-group-rule.d.ts.map

package/dist/filter/filter-group-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-group-rule.d.ts","sourceRoot":"","sources":["../../src/filter/filter-group-rule.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAGpE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,8FAA8F;IAC9F,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,gBAAgB,CAAC;IACrB,2EAA2E;IAC3E,KAAK,EAAE,MAAM,CAAC;IACd,6EAA6E;IAC7E,SAAS,CAAC,EAAE,QAAQ,CAAC;CACtB;AAED,wBAAgB,SAAS,CACvB,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,MAAM,EACb,UAAU,CAAC,EAAE,MAAM,EACnB,SAAS,CAAC,EAAE,QAAQ,GACnB,SAAS,CAQX;AAeD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAOtG;AAED,uEAAuE;AACvE,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAEtH;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAK/F"}

package/dist/filter/filter-group-rule.js

@@ -0,0 +1,69 @@
+/* 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/. */
+/**
+ * `group` — membership in an `IfcGroup` through `IfcRelAssignsToGroup`
+ * (#5226): "every AHU is assigned to a system". The one vocabulary entry
+ * both search/applicability and validation requirements read, like every
+ * other `FilterRule` kind. Own module because `filter-rules.ts` sits at the
+ * module-size cap.
+ *
+ * An element's candidates are the Names of every group it is assigned to,
+ * optionally only groups of one IFC class (`groupClass`, subclasses
+ * included: `IfcSystem` also takes `IfcDistributionSystem` and
+ * `IfcBuildingSystem`). `isSet` / `isNotSet` ask whether there is any such
+ * group at all, named or not. Value ops match ANY group Name for a positive
+ * op and NONE for a negative one, the convention `material` and `parent`
+ * already use.
+ */
+import { exactTypeName, RelationshipType } from '@ifc-lite/data';
+import { expandTypes } from '@ifc-lite/parser';
+import { matchStringAnyNone } from './filter-ops.js';
+export function groupRule(op, value, groupClass, valueKind) {
+    return {
+        kind: 'group',
+        ...(groupClass ? { groupClass } : {}),
+        op,
+        value,
+        ...(valueKind ? { valueKind } : {}),
+    };
+}
+const classSetCache = new Map();
+/** `groupClass` plus every subclass, upper-cased, for the store's schema. */
+function classSet(groupClass, schemaVersion) {
+    const key = `${schemaVersion ?? ''}|${groupClass.toUpperCase()}`;
+    let set = classSetCache.get(key);
+    if (!set) {
+        set = new Set(expandTypes([groupClass], schemaVersion).map((t) => t.toUpperCase()));
+        classSetCache.set(key, set);
+    }
+    return set;
+}
+/**
+ * The groups `expressId` is assigned to (inverse `IfcRelAssignsToGroup`),
+ * narrowed to `groupClass` when given. The exact declared class is read,
+ * not the coalesced one, so a subclass check is a real subclass check.
+ */
+export function assignedGroupIds(store, expressId, groupClass) {
+    if (!store.relationships)
+        return [];
+    const ids = store.relationships.getRelated(expressId, RelationshipType.AssignsToGroup, 'inverse');
+    const wanted = groupClass?.trim();
+    if (!wanted)
+        return ids;
+    const classes = classSet(wanted, store.schemaVersion);
+    return ids.filter((id) => classes.has(exactTypeName(store.entities, id).toUpperCase()));
+}
+/** The Names of those groups; `undefined` for a group with no Name. */
+export function assignedGroupNames(store, expressId, groupClass) {
+    return assignedGroupIds(store, expressId, groupClass).map((id) => store.entities.getNameOrUndefined(id));
+}
+export function matchGroupRule(rule, store, expressId) {
+    const names = assignedGroupNames(store, expressId, rule.groupClass);
+    if (rule.op === 'isSet')
+        return names.length > 0;
+    if (rule.op === 'isNotSet')
+        return names.length === 0;
+    return matchStringAnyNone(rule.op, names, rule.value, rule.valueKind);
+}
+//# sourceMappingURL=filter-group-rule.js.map

package/dist/filter/filter-group-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-group-rule.js","sourceRoot":"","sources":["../../src/filter/filter-group-rule.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAqB,MAAM,kBAAkB,CAAC;AAElE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAarD,MAAM,UAAU,SAAS,CACvB,EAAoB,EACpB,KAAa,EACb,UAAmB,EACnB,SAAoB;IAEpB,OAAO;QACL,IAAI,EAAE,OAAO;QACb,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,EAAE;QACF,KAAK;QACL,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;AAE7D,6EAA6E;AAC7E,SAAS,QAAQ,CAAC,UAAkB,EAAE,aAAiC;IACrE,MAAM,GAAG,GAAG,GAAG,aAAa,IAAI,EAAE,IAAI,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC;IACjE,IAAI,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,GAAG,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACpF,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAmB,EAAE,SAAiB,EAAE,UAAmB;IAC1F,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAClG,MAAM,MAAM,GAAG,UAAU,EAAE,IAAI,EAAE,CAAC;IAClC,IAAI,CAAC,MAAM;QAAE,OAAO,GAAG,CAAC;IACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACtD,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAAC,KAAmB,EAAE,SAAiB,EAAE,UAAmB;IAC5F,OAAO,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAe,EAAE,KAAmB,EAAE,SAAiB;IACpF,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACpE,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;IACtD,OAAO,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;AACxE,CAAC"}

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

@@ -0,0 +1,65 @@
+/**
+ * `FilterGroup` — one AND-combined (or OR-combined, per its own
+ * `combinator`) list of `FilterRule`s. A `SearchFilterStateValue` (and a
+ * saved filter, #4904) carries an ARRAY of these; groups themselves are
+ * always OR'd together, mirroring the selector grammar's `+` union
+ * (`IfcSlab, material=concrete + IfcDoor` → two groups).
+ *
+ * Kept in its own file (not folded into `filter-rules.ts`, already near the
+ * module-size cap) so both the evaluator and the serialization layer can
+ * import it without pulling in the whole rule taxonomy's JSON guards.
+ */
+import { type Combinator, type FilterRule } from './filter-rules.js';
+export interface FilterGroup {
+    rules: FilterRule[];
+    combinator: Combinator;
+}
+/** A fresh, empty AND group — what a brand-new filter (or a brand-new
+ *  group added in the builder) starts from. */
+export declare function emptyFilterGroup(): FilterGroup;
+export declare function isFilterGroup(value: unknown): value is FilterGroup;
+/**
+ * Render `groups` back as selector-ish text — NOT a full inverse of
+ * `parseSelector`/`selectorToFilterRules` (most rule kinds have no single
+ * canonical spelling; a regex `Name` rule and a typed-in `contains` rule
+ * both become `Rule.name`, and only one of those round-trips through text).
+ * What this DOES round-trip exactly is the shape the selector's own union
+ * syntax cares about: class names (`IfcWall`, `IfcDoor`, …) and GlobalIds,
+ * `+`-joined across groups. Used by the Selector field to echo back what
+ * the CURRENT filter state reads as, so adding a second group in the
+ * builder is visible as a second `+`-joined clause without leaving the
+ * builder (#4904).
+ *
+ * All-or-nothing: an empty group, or a group whose rules do not reduce to
+ * exactly ONE renderable clause, makes the WHOLE echo `''` rather than a
+ * partial rendering — review (PR #4987) caught that joining per-group
+ * fragments with `+` regardless produced text that read as a DIFFERENT
+ * query than what evaluation actually runs: an empty group left a
+ * dangling ` + `, and several `ifcType`/`globalId` rules AND'd within one
+ * group rendered as comma-separated union terms (selector-text unions use
+ * `,` to ADD classes, not narrow them), so a two-rule AND group echoed as
+ * something the evaluator would read as broader than what it actually
+ * matches. Silently showing a narrower or broader query back to the user
+ * is the same "matched nothing, said nothing" defect class #4091 exists to
+ * avoid, so this omits the echo entirely rather than guess.
+ */
+export declare function groupsToSelectorText(groups: readonly FilterGroup[]): string;
+/** The rules of `groups[activeIndex]`, clamped into range — what the
+ *  builder's active-group actions (`addFilterRule` etc., `searchSlice.
+ *  filterGroups.ts`) operate on. Callers outside the store (HierarchyPanel's
+ *  upsert-by-kind) read this instead of reimplementing the clamp. */
+export declare function activeGroupRules(groups: readonly FilterGroup[], activeIndex: number): FilterRule[];
+/** Total rule count across every group — what "empty filter" checks and rule
+ *  count badges read, since a `groups.length === 1` filter with zero rules
+ *  in that one group must still read as empty. */
+export declare function totalRuleCount(groups: readonly FilterGroup[]): number;
+/**
+ * Parse a persisted `groups` array, refusing (returning `null`) the WHOLE
+ * query rather than silently dropping a group this build cannot read. A
+ * saved filter with an unreadable group is exactly the "matched nothing,
+ * said nothing" defect class #4091 exists to avoid — narrowing it to the
+ * readable groups would change which elements a `+` union matches without
+ * telling anyone.
+ */
+export declare function parseFilterGroups(raw: unknown): FilterGroup[] | null;
+//# sourceMappingURL=filter-groups.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"filter-groups.d.ts","sourceRoot":"","sources":["../../src/filter/filter-groups.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,EAAgB,KAAK,UAAU,EAAE,KAAK,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEnF,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,UAAU,EAAE,UAAU,CAAC;CACxB;AAED;+CAC+C;AAC/C,wBAAgB,gBAAgB,IAAI,WAAW,CAE9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAQlE;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAU3E;AAiBD;;;qEAGqE;AACrE,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,UAAU,EAAE,CAIlG;AAED;;kDAEkD;AAClD,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAIrE;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,WAAW,EAAE,GAAG,IAAI,CAmBpE"}