@ifc-lite/export 4.7.2 → 4.8.0

package/dist/merged-inverse-claims.js

@@ -0,0 +1,306 @@
+/* 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 { filterHiddenRefsFromRelationshipLine } from './reference-collector.js';
+import { readStepSlots, replaceStepArgument } from './step-argument-parser.js';
+/** Shorthand for a row: `inverse` on attribute `claimed`, related to attribute `partner`. */
+const rule = (inverse, claimed, partner, extra = {}) => ({ inverse, claimed, partner, ...extra });
+/**
+ * Rows every schema shares (#5923): containment, voids and fills, coverings,
+ * flow control, ports, services and structural activity. Each is `SET [0:1]`
+ * (or exactly one) on the claimed side in IFC2X3, IFC4 and IFC4X3.
+ */
+const SHARED_ROWS = [
+    ['IFCRELCONTAINEDINSPATIALSTRUCTURE', [rule('ContainedInStructure', 4, 5)]],
+    ['IFCRELVOIDSELEMENT', [rule('VoidsElements', 5, 4)]],
+    ['IFCRELFILLSELEMENT', [rule('FillsVoids', 5, 4)]],
+    ['IFCRELPROJECTSELEMENT', [rule('ProjectsElements', 5, 4)]],
+    ['IFCRELCOVERSSPACES', [rule('CoversSpaces', 5, 4)]],
+    ['IFCRELFLOWCONTROLELEMENTS', [rule('AssignedToFlowElement', 4, 5), rule('HasControlElements', 5, 4)]],
+    ['IFCRELCONNECTSPORTS', [rule('ConnectedTo', 4, 5), rule('ConnectedFrom', 5, 4)]],
+    ['IFCRELSERVICESBUILDINGS', [rule('ServicesBuildings', 4, 5)]],
+];
+/**
+ * Relationship type (uppercase) → its single-valued inverses, per OUTPUT
+ * schema, list-side rules first. Every row is checked against the EXPRESS
+ * schemas in `merged-inverse-claims.test.ts`, which also lists the one
+ * single-valued relationship inverse left out and why.
+ *
+ * IFC2X3: `IfcObjectDefinition.Decomposes : SET [0:1] OF IfcRelDecomposes`,
+ * and IfcRelAggregates and IfcRelNests are both IfcRelDecomposes, so one
+ * nesting and one aggregation parent together are already two (#5726).
+ * `IfcPropertySetDefinition.PropertyDefinitionOf : SET [0:1] OF
+ * IfcRelDefinesByProperties` (#5774). A type has one IfcRelDefinesByType
+ * (`ObjectTypeOf`), and `IfcObject.WR1` (a WHERE rule, not an inverse bound)
+ * allows an object one. IFC4 and later split `Nests : SET [0:1] OF IfcRelNests`
+ * off `Decomposes : SET [0:1] OF IfcRelAggregates`, name the typing inverses
+ * `IsTypedBy`/`Types`, and relax the property-set side to
+ * `DefinesOccurrence : SET [0:?]`, so a property set may be shared by several
+ * IfcRelDefinesByProperties there.
+ */
+const PROPERTY_DEFINITION_OF = rule('PropertyDefinitionOf', 5, 4);
+const IFC2X3_RULES = new Map([
+    ...SHARED_ROWS,
+    ['IFCRELAGGREGATES', [rule('Decomposes', 5, 4)]],
+    ['IFCRELNESTS', [rule('Decomposes', 5, 4)]],
+    ['IFCRELDEFINESBYPROPERTIES', [PROPERTY_DEFINITION_OF]],
+    // `IfcRelOverridesProperties.WR1`: `SIZEOF(RelatedObjects) = 1`.
+    ['IFCRELOVERRIDESPROPERTIES', [{ ...PROPERTY_DEFINITION_OF, onePartner: true }]],
+    ['IFCRELDEFINESBYTYPE', [rule('IsDefinedBy', 4, 5, { where: 'IfcObject.WR1' }), rule('ObjectTypeOf', 5, 4)]],
+    ['IFCRELCOVERSBLDGELEMENTS', [rule('Covers', 5, 4)]],
+    ['IFCRELCONNECTSPORTTOELEMENT', [rule('ContainedIn', 4, 5)]],
+    ['IFCRELCONNECTSSTRUCTURALACTIVITY', [rule('AssignedToStructuralItem', 5, 4)]],
+    ['IFCRELASSIGNSTOGROUP', [rule('IsGroupedBy', 6, 4)]],
+    ['IFCRELASSIGNSTASKS', [rule('ScheduleTimeControlAssigned', 7, 6)]],
+]);
+const IFC4_ROWS = [
+    ...SHARED_ROWS,
+    ['IFCRELAGGREGATES', [rule('Decomposes', 5, 4)]],
+    ['IFCRELNESTS', [rule('Nests', 5, 4)]],
+    ['IFCRELDEFINESBYTYPE', [rule('IsTypedBy', 4, 5), rule('Types', 5, 4)]],
+    ['IFCRELDEFINESBYOBJECT', [rule('IsDeclaredBy', 4, 5)]],
+    ['IFCRELDECLARES', [rule('HasContext', 5, 4)]],
+    ['IFCRELCOVERSBLDGELEMENTS', [rule('CoversElements', 5, 4)]],
+    ['IFCRELCONNECTSPORTTOELEMENT', [rule('ContainedIn', 4, 5)]],
+    ['IFCRELCONNECTSSTRUCTURALACTIVITY', [rule('AssignedToStructuralItem', 5, 4)]],
+];
+const IFC4_RULES = new Map(IFC4_ROWS);
+const IFC4X3_RULES = new Map([...IFC4_ROWS, ['IFCRELADHERESTOELEMENT', [rule('AdheresToElement', 5, 4)]]]);
+/** The rule table of an output schema (IFC5 falls back to IFC4X3's). */
+export function inverseRules(outputSchema) {
+    return outputSchema === 'IFC2X3' ? IFC2X3_RULES : outputSchema === 'IFC4' ? IFC4_RULES : IFC4X3_RULES;
+}
+/**
+ * Which final ids already fill each single-valued inverse in the merge output.
+ * One instance per merge, grown model by model in merge order.
+ */
+export class InverseClaims {
+    /** Relationship type (uppercase) → the rules it is claimed under. */
+    rules;
+    /** Claimed through a list side (RelatedObjects, RelatedElements): the ids alone. */
+    members = new Map();
+    /** Claimed through a single side (RelatingPropertyDefinition): the rel that owns each. */
+    owners = new Map();
+    /** Final rel id → partner ids a later, folded rel adds to its partner list. */
+    folds = new Map();
+    /** Later rels withheld with partners no owner could take: final rel id → how many. */
+    unfolded = new Map();
+    /** `only` narrows the claimed relationship types (the #5725 drop planner's view). */
+    constructor(outputSchema, only = () => true) {
+        this.rules = new Map([...inverseRules(outputSchema)].filter(([relType]) => only(relType)));
+    }
+    membersOf(inverse) {
+        let ids = this.members.get(inverse);
+        if (ids === undefined)
+            this.members.set(inverse, (ids = new Set()));
+        return ids;
+    }
+    ownersOf(inverse) {
+        let owners = this.owners.get(inverse);
+        if (owners === undefined)
+            this.owners.set(inverse, (owners = new Map()));
+        return owners;
+    }
+    /** Move `ids` onto `owner`'s partner list, in place of a rel that would have been a second one. */
+    fold(owner, ids) {
+        for (const id of ids)
+            owner.partners.add(id);
+        const fold = this.folds.get(owner.rel);
+        if (fold === undefined)
+            this.folds.set(owner.rel, { partnerIndex: owner.partnerIndex, ids: [...ids] });
+        else
+            fold.ids.push(...ids);
+    }
+}
+/**
+ * Keep one written rel per entity and single-valued inverse across a merge
+ * (#5471, #5726, #5774).
+ *
+ * Called once per model in merge order, after all of that model's unification
+ * and container drops. `claims` holds what the output already says: every rel
+ * the model will write records its claims. A rel that will not be written
+ * (skipped, outside the visibility closure, or with a hidden or dropped
+ * single-valued side) claims nothing, and neither does a member narrowed out
+ * of it, so a later model's rel stays in place for an entity whose primary rel
+ * is not in the output.
+ *
+ * With `dedupe`, a later rel naming an already-claimed entity is resolved by
+ * the claimed side's shape:
+ * - a LIST side (an object's parent, #5471): the claimed members are stripped
+ *   into `relMemberStrip` for {@link applyRelMemberStrip}, and a rel left with
+ *   none is skipped. The first parent wins. A unified member with no parent yet
+ *   is kept, since that rel is then its only parentage statement (#3550).
+ * - a SINGLE side (a property set's one definer, #5774): the rel is skipped.
+ *   If its partner side is a list naming objects the owning rel does not, those
+ *   are folded into the owning rel ({@link InverseClaims.fold}, written by
+ *   {@link applyInverseFolds}), so the entity keeps one rel and loses no member.
+ *   Where no fold is possible (a single partner, an owner of another rel type,
+ *   or a partner list a WHERE rule bounds to one) the first rel wins, and
+ *   {@link applyInverseFolds} reports the objects that lost the relationship.
+ */
+export function claimInverses(input, claims, findEntitiesByType, extractStepAttribute) {
+    const { dataStore, sharedRemap, idOffset, skipEntityIds, relMemberStrip, isEmitted, isIncluded, dedupe } = input;
+    const finalId = (ref) => sharedRemap.get(ref) ?? ref + idOffset;
+    for (const [relType, rules] of claims.rules) {
+        const indices = [...new Set(rules.flatMap(rule => [rule.claimed, rule.partner]))];
+        for (const relId of findEntitiesByType(dataStore, relType)) {
+            if (skipEntityIds.has(relId) || !isIncluded(relId))
+                continue;
+            const sides = new Map();
+            let written = true;
+            for (const index of indices) {
+                const side = readSide(extractStepAttribute(relId, dataStore, index), isEmitted);
+                if (side === 'withheld')
+                    written = false;
+                else if (side !== null)
+                    sides.set(index, side);
+            }
+            if (!written)
+                continue;
+            const strip = new Set();
+            const live = (index) => (sides.get(index)?.refs ?? []).filter(ref => !strip.has(ref));
+            let skip = false;
+            let fold;
+            const newOwners = [];
+            // List sides first: what they strip is no longer a partner a single side can fold.
+            for (const rule of [...rules].sort((a, b) => Number(!sides.get(a.claimed)?.list) - Number(!sides.get(b.claimed)?.list))) {
+                const claimed = sides.get(rule.claimed);
+                if (claimed === undefined)
+                    continue;
+                if (claimed.list) {
+                    const members = live(rule.claimed);
+                    const claimedIds = claims.membersOf(rule.inverse);
+                    const redundant = dedupe ? members.filter(ref => claimedIds.has(finalId(ref))) : [];
+                    for (const ref of redundant)
+                        strip.add(ref);
+                    if (redundant.length > 0 && redundant.length === members.length)
+                        skip = true;
+                }
+                else {
+                    const owners = claims.ownersOf(rule.inverse);
+                    const owner = owners.get(finalId(claimed.refs[0]));
+                    if (owner === undefined)
+                        newOwners.push([owners, claimed.refs[0], rule]);
+                    else if (dedupe) {
+                        skip = true;
+                        const fresh = [...new Set(live(rule.partner).map(finalId))].filter(id => !owner.partners.has(id));
+                        const foldable = sides.get(rule.partner)?.list && owner.relType === relType && !rule.onePartner;
+                        if (fresh.length > 0 && foldable)
+                            fold = { owner, ids: fresh };
+                        else if (fresh.length > 0)
+                            claims.unfolded.set(finalId(relId), fresh.length);
+                    }
+                }
+                if (skip)
+                    break;
+            }
+            if (fold !== undefined)
+                claims.fold(fold.owner, fold.ids);
+            if (skip && fold === undefined) {
+                skipEntityIds.add(relId);
+                continue;
+            }
+            // Kept, or folded into its owner: either way its surviving members are now written.
+            for (const rule of rules) {
+                if (sides.get(rule.claimed)?.list)
+                    for (const ref of live(rule.claimed))
+                        claims.membersOf(rule.inverse).add(finalId(ref));
+            }
+            if (skip) {
+                skipEntityIds.add(relId);
+                continue;
+            }
+            if (strip.size > 0)
+                relMemberStrip.set(relId, strip);
+            for (const [owners, ref, rule] of newOwners) {
+                owners.set(finalId(ref), { rel: finalId(relId), relType, partnerIndex: rule.partner, partners: new Set(live(rule.partner).map(finalId)) });
+            }
+        }
+    }
+}
+/**
+ * One rel attribute as the output will carry it: `null` when it names nothing
+ * (`$`, a value), `'withheld'` when the line is not written because of it (a
+ * single ref, or every member of a list, that is not emitted).
+ */
+function readSide(attr, isEmitted) {
+    if (!attr)
+        return null;
+    const trimmed = attr.trim();
+    const list = trimmed.startsWith('(');
+    // A single side is claimable only as a bare ref: an IFC4 IfcPropertySetDefinitionSet(...) is not one entity.
+    if (!list && !/^#\d+$/.test(trimmed))
+        return null;
+    const all = listRefs(trimmed);
+    if (all.length === 0)
+        return null;
+    const refs = all.filter(isEmitted);
+    return refs.length === 0 ? 'withheld' : { list, refs };
+}
+/** The `#id`s in one STEP attribute, in order; `[]` for a missing one. */
+function listRefs(attr) {
+    const refs = [];
+    const refRegex = /#(\d+)/g;
+    let match;
+    while ((match = refRegex.exec(attr)) !== null)
+        refs.push(parseInt(match[1], 10));
+    return refs;
+}
+/**
+ * Render-time counterpart of {@link claimInverses}: drop the claimed members
+ * of a partially redundant rel that already fill that inverse in the output.
+ * Reuses the same list/scalar-aware ref filter the `visibleOnly`/deletion
+ * dangling-ref path uses. Must run in LOCAL id space, before any id
+ * offset/remap — `localId` and the ids inside `relMemberStrip` are both local
+ * to the model being rendered.
+ *
+ * Returns `entityText` unchanged when `localId` has no strip entry, and
+ * `null` when the filter would withhold the whole line — a strip set built
+ * by {@link claimInverses} is a strict subset of the claimed list, so for
+ * well-formed input the filter only narrows, but a degenerate file (a
+ * stripped member id that also appears as a single-valued ref, e.g.
+ * self-aggregation) can null the line. The caller must withhold it, like
+ * every other user of the filter: every edge the line declared is already
+ * declared by the primary model, and emitting the unfiltered bytes instead
+ * would reintroduce the duplicate membership this module exists to remove.
+ */
+export function applyRelMemberStrip(entityText, localId, relMemberStrip) {
+    const toStrip = relMemberStrip.get(localId);
+    if (toStrip === undefined)
+        return entityText;
+    return filterHiddenRefsFromRelationshipLine(entityText, id => toStrip.has(id));
+}
+/**
+ * Write the folds of {@link claimInverses} into the rendered output: each
+ * owning rel's partner list gains the members of the later rels folded into
+ * it. Runs once, on the final lines (final id space), after every model is
+ * rendered, since an owner may be written before the rel that folds into it.
+ * Returns a warning per later rel whose objects lost the relationship: one
+ * no owner could take (a different rel type, or a partner list bounded to
+ * one), and one folded into an owner that did not reach the output as a line
+ * with a partner list.
+ */
+export function applyInverseFolds(lines, claims) {
+    const lost = [...claims.unfolded].map(([rel, count]) => `A later model's relationship (merged id #${rel}) was not written: an earlier model already wrote one for the same merged entity, and it could not take the ${count} other object(s) the later one named, so those objects lost that relationship.`);
+    if (claims.folds.size === 0)
+        return lost;
+    const pending = new Map(claims.folds);
+    for (let i = 0; i < lines.length && pending.size > 0; i++) {
+        const rel = Number(/^#(\d+)=/.exec(lines[i])?.[1]);
+        const fold = pending.get(rel);
+        if (fold === undefined)
+            continue;
+        const list = readStepSlots(lines[i])?.slots[fold.partnerIndex]?.trim();
+        if (list === undefined || !list.startsWith('(') || !list.endsWith(')'))
+            continue;
+        const inner = list.slice(1, -1).trim();
+        const added = fold.ids.map(ref => `#${ref}`).join(',');
+        const next = replaceStepArgument(lines[i], fold.partnerIndex, `(${inner === '' ? added : `${inner},${added}`})`);
+        if (next === null)
+            continue;
+        lines[i] = next;
+        pending.delete(rel);
+    }
+    return [...lost, ...[...pending].map(([rel, { ids }]) => `Could not add ${ids.length} object(s) to relationship #${rel}, which a later model's duplicate relationship was merged into; those objects lost that relationship.`)];
+}
+//# sourceMappingURL=merged-inverse-claims.js.map

package/dist/merged-inverse-claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-inverse-claims.js","sourceRoot":"","sources":["../src/merged-inverse-claims.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAmB/D,OAAO,EAAE,oCAAoC,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAqB/E,6FAA6F;AAC7F,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,OAAe,EAAE,OAAe,EAAE,QAA8B,EAAE,EAAe,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAG7J;;;;GAIG;AACH,MAAM,WAAW,GAAmC;IAClD,CAAC,mCAAmC,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,uBAAuB,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,2BAA2B,EAAE,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC,qBAAqB,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC,yBAAyB,EAAE,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,sBAAsB,GAAG,IAAI,CAAC,sBAAsB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClE,MAAM,YAAY,GAAc,IAAI,GAAG,CAAC;IACtC,GAAG,WAAW;IACd,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,2BAA2B,EAAE,CAAC,sBAAsB,CAAC,CAAC;IACvD,iEAAiE;IACjE,CAAC,2BAA2B,EAAE,CAAC,EAAE,GAAG,sBAAsB,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC,qBAAqB,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5G,CAAC,0BAA0B,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,6BAA6B,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,kCAAkC,EAAE,CAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC,sBAAsB,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,6BAA6B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACpE,CAAC,CAAC;AACH,MAAM,SAAS,GAAmC;IAChD,GAAG,WAAW;IACd,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,qBAAqB,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,uBAAuB,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,0BAA0B,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,6BAA6B,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,kCAAkC,EAAE,CAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAC/E,CAAC;AACF,MAAM,UAAU,GAAc,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;AACjD,MAAM,YAAY,GAAc,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,CAAC,wBAAwB,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtH,wEAAwE;AACxE,MAAM,UAAU,YAAY,CAAC,YAA8B;IACzD,OAAO,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;AACxG,CAAC;AAcD;;;GAGG;AACH,MAAM,OAAO,aAAa;IACxB,qEAAqE;IAC5D,KAAK,CAA8C;IAC5D,oFAAoF;IACnE,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1D,0FAA0F;IACzE,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;IAChE,+EAA+E;IACtE,KAAK,GAAG,IAAI,GAAG,EAAmD,CAAC;IAC5E,sFAAsF;IAC7E,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE9C,qFAAqF;IACrF,YAAY,YAA8B,EAAE,OAAqC,GAAG,EAAE,CAAC,IAAI;QACzF,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,SAAS,CAAC,OAAe;QACvB,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QACpE,OAAO,GAAG,CAAC;IACb,CAAC;IAED,QAAQ,CAAC,OAAe;QACtB,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,mGAAmG;IACnG,IAAI,CAAC,KAAY,EAAE,GAAa;QAC9B,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;;YAClG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;IAC7B,CAAC;CACF;AA+BD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAwB,EACxB,MAAqB,EACrB,kBAA4E,EAC5E,oBAAsG;IAEtG,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjH,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,QAAQ,CAAC;IACxE,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,KAAK,MAAM,KAAK,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YAC3D,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC7D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;YACtC,IAAI,OAAO,GAAG,IAAI,CAAC;YACnB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;gBAChF,IAAI,IAAI,KAAK,UAAU;oBAAE,OAAO,GAAG,KAAK,CAAC;qBACpC,IAAI,IAAI,KAAK,IAAI;oBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACjD,CAAC;YACD,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9F,IAAI,IAAI,GAAG,KAAK,CAAC;YACjB,IAAI,IAAiD,CAAC;YACtD,MAAM,SAAS,GAAqD,EAAE,CAAC;YACvE,mFAAmF;YACnF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;gBACxH,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxC,IAAI,OAAO,KAAK,SAAS;oBAAE,SAAS;gBACpC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;oBACjB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACnC,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAClD,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpF,KAAK,MAAM,GAAG,IAAI,SAAS;wBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC5C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;wBAAE,IAAI,GAAG,IAAI,CAAC;gBAC/E,CAAC;qBAAM,CAAC;oBACN,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,IAAI,KAAK,KAAK,SAAS;wBAAE,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;yBACpE,IAAI,MAAM,EAAE,CAAC;wBAChB,IAAI,GAAG,IAAI,CAAC;wBACZ,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;wBAClG,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;wBAChG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ;4BAAE,IAAI,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;6BAC1D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;4BAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;oBAC/E,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI;oBAAE,MAAM;YAClB,CAAC;YACD,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1D,IAAI,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/B,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,oFAAoF;YACpF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI;oBAAE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;wBAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5H,CAAC;YACD,IAAI,IAAI,EAAE,CAAC;gBACT,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACrD,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC5C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7I,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAAC,IAAmB,EAAE,SAAkC;IACvE,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACrC,6GAA6G;IAC7G,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACzD,CAAC;AAED,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,SAAS,CAAC;IAC3B,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACjF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,OAAe,EACf,cAAwD;IAExD,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAC7C,OAAO,oCAAoC,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAe,EAAE,MAAqB;IACtE,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACrD,4CAA4C,GAAG,+GAA+G,KAAK,gFAAgF,CAAC,CAAC;IACvP,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC;QACvE,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QACjF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC;QACjH,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;QAChB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CACtD,iBAAiB,GAAG,CAAC,MAAM,+BAA+B,GAAG,uGAAuG,CAAC,CAAC,CAAC;AAC3K,CAAC"}

package/dist/merged-planner-guids.d.ts

@@ -0,0 +1,32 @@
+/** One model as {@link PlannerGuids.plan} sees it, in merge order. */
+export interface PlannerGuidModel {
+    /** Rooted entities in emit order: local id → GlobalId (`planModel`'s `localGuids`, `readLocalGuids`). */
+    guids: ReadonlyMap<number, string>;
+    /** Uppercase STEP type of a local id. */
+    typeOf: (localId: number) => string;
+    isFirst: boolean;
+    compatible: boolean;
+    offset: number;
+    /** Unit scale the model's entities are recorded with (`ModelMode.effectiveScale`). */
+    effectiveScale: number;
+    /** Written with its source GlobalId unchanged: false when exported across schemas. */
+    keepsGuids: boolean;
+    /** Left out before GlobalId reconciliation: the unified IfcProject, a spatially unified container. */
+    unifiedEarlier: (localId: number) => boolean;
+    /** In the output at all (visibility closure). */
+    isIncluded: (localId: number) => boolean;
+}
+/** The emit pass's GlobalId records, replayed conservatively across one merge. */
+export declare class PlannerGuids {
+    private readonly isPrimaryUnit;
+    private readonly isContainer;
+    private readonly records;
+    constructor(isPrimaryUnit: (scale: number) => boolean, isContainer: (typeUpper: string) => boolean);
+    /**
+     * `planModel`'s GlobalId step for one model, then the records its writes
+     * leave. Returns local id → final id for the entities the emit pass is sure
+     * to unify by GlobalId. Call once per model, in merge order.
+     */
+    plan(model: PlannerGuidModel): Map<number, number>;
+}
+//# sourceMappingURL=merged-planner-guids.d.ts.map

package/dist/merged-planner-guids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-planner-guids.d.ts","sourceRoot":"","sources":["../src/merged-planner-guids.ts"],"names":[],"mappings":"AA2CA,sEAAsE;AACtE,MAAM,WAAW,gBAAgB;IAC/B,yGAAyG;IACzG,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,yCAAyC;IACzC,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,sFAAsF;IACtF,cAAc,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,UAAU,EAAE,OAAO,CAAC;IACpB,sGAAsG;IACtG,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IAC7C,iDAAiD;IACjD,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;CAC1C;AAED,kFAAkF;AAClF,qBAAa,YAAY;IAIrB,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAJ9B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiC;gBAGtC,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,EACzC,WAAW,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO;IAG9D;;;;OAIG;IACH,IAAI,CAAC,KAAK,EAAE,gBAAgB,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;CAsBnD"}

package/dist/merged-planner-guids.js

@@ -0,0 +1,79 @@
+/* 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/. */
+/**
+ * The GlobalId half of the `dropEmptyContainers` planner's claim pass (#5937).
+ *
+ * The planner has to know, before anything is written, which aggregation edges
+ * the emit pass's one-parent claim pass (#5471, #5725) will withhold. That
+ * pass resolves ids through GlobalId reconciliation (`planModel`): a later
+ * model's entity that repeats a GlobalId an earlier model WROTE is unified
+ * onto it. The planner used to resolve through spatial unification only, so an
+ * edge withheld because its child unified by GlobalId still counted, and its
+ * container was written empty.
+ *
+ * {@link PlannerGuids} replays that reconciliation from what the planner can
+ * know up front. It must never unify two entities the emit pass keeps apart:
+ * then the planner would withhold an edge the emit pass writes, and could drop
+ * the parent of a full container (the WR41 invariant). So wherever the emit
+ * pass's verdict depends on something the planner cannot see, the GlobalId is
+ * marked UNKNOWN and nothing resolves through it afterwards. Missing a
+ * unification only keeps a container, which is #3643's behaviour before #5725.
+ * UNKNOWN covers:
+ * - a model exported across schemas: conversion may replace an entity with an
+ *   IFCPROXY that carries a fresh GlobalId, so the source one is not recorded;
+ * - a relationship: the claim pass itself may withhold it;
+ * - an entity whose own GlobalId was already UNKNOWN.
+ * A GlobalId one model writes twice is recorded as the emit pass records it:
+ * the last copy in index order.
+ *
+ * Containers are the one thing written or not by the plan being made. A
+ * container unifies here only onto a container (and anything else only onto
+ * anything else), and only where `canonicalContainers` in
+ * `merged-empty-containers.ts` puts both on one node, so a container this pass
+ * treats as written but the plan drops takes every copy it was unified with
+ * along: the edges to them are withheld by the drop either way.
+ */
+import { isRelationshipType } from './merged-guid.js';
+/** The emit pass's GlobalId records, replayed conservatively across one merge. */
+export class PlannerGuids {
+    isPrimaryUnit;
+    isContainer;
+    records = new Map();
+    constructor(isPrimaryUnit, isContainer) {
+        this.isPrimaryUnit = isPrimaryUnit;
+        this.isContainer = isContainer;
+    }
+    /**
+     * `planModel`'s GlobalId step for one model, then the records its writes
+     * leave. Returns local id → final id for the entities the emit pass is sure
+     * to unify by GlobalId. Call once per model, in merge order.
+     */
+    plan(model) {
+        const unified = new Map();
+        const settled = new Set();
+        for (const [id, guid] of model.guids) {
+            if (model.unifiedEarlier(id) || !this.records.has(guid))
+                continue;
+            const type = model.typeOf(id);
+            // An earlier record exists: the emit pass unifies or re-stamps, and never records this GlobalId again.
+            settled.add(id);
+            const prior = this.records.get(guid);
+            const canUnify = !model.isFirst && model.compatible && prior !== null && this.isPrimaryUnit(prior.scale) && !isRelationshipType(type);
+            if (canUnify && prior.container === this.isContainer(type))
+                unified.set(id, prior.finalId);
+        }
+        const written = new Map();
+        for (const [id, guid] of model.guids) {
+            if (settled.has(id) || model.unifiedEarlier(id) || !model.isIncluded(id))
+                continue;
+            const type = model.typeOf(id);
+            const known = model.keepsGuids && !isRelationshipType(type);
+            written.set(guid, known ? { finalId: id + model.offset, scale: model.effectiveScale, container: this.isContainer(type) } : null);
+        }
+        for (const [guid, record] of written)
+            this.records.set(guid, record);
+        return unified;
+    }
+}
+//# sourceMappingURL=merged-planner-guids.js.map

package/dist/merged-planner-guids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-planner-guids.js","sourceRoot":"","sources":["../src/merged-planner-guids.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAwBtD,kFAAkF;AAClF,MAAM,OAAO,YAAY;IAIJ;IACA;IAJF,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAEzD,YACmB,aAAyC,EACzC,WAA2C;QAD3C,kBAAa,GAAb,aAAa,CAA4B;QACzC,gBAAW,GAAX,WAAW,CAAgC;IAC3D,CAAC;IAEJ;;;;OAIG;IACH,IAAI,CAAC,KAAuB;QAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAClE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC9B,uGAAuG;YACvG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACtI,IAAI,QAAQ,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC9C,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;gBAAE,SAAS;YACnF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,cAAc,EAAE,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnI,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACrE,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/merged-subcontext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"merged-subcontext.d.ts","sourceRoot":"","sources":["../src/merged-subcontext.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAgFrD,+EAA+E;AAC/E,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAQ5G;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,YAAY,EACvB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,0BAA0B,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EACzD,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,IAAI,CAYN"}
+{"version":3,"file":"merged-subcontext.d.ts","sourceRoot":"","sources":["../src/merged-subcontext.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAiFrD,+EAA+E;AAC/E,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAQ5G;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,YAAY,EACvB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,0BAA0B,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EACzD,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,IAAI,CAYN"}

package/dist/merged-subcontext.js

@@ -21,6 +21,7 @@ function decodeEntity(dataStore, expressId) {
     const source = dataStore.source;
     if (!source)
         return null;
+    // @raw-entity-enumeration-ok decode one source subcontext's STEP byte span during an overlay-free merge
     const ref = dataStore.entityIndex.byId.get(expressId);
     if (!ref)
         return null;

package/dist/merged-subcontext.js.map

@@ -1 +1 @@
-{"version":3,"file":"merged-subcontext.js","sourceRoot":"","sources":["../src/merged-subcontext.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA+B/D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE;;;;;;GAMG;AACH,MAAM,SAAS,GAAG,IAAI,MAAM,CAAC,sBAAsB,WAAW,8BAA8B,CAAC,CAAC;AAE9F,2FAA2F;AAC3F,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAClC,oFAAoF;AACpF,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAC3B,+FAA+F;AAC/F,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAExC,SAAS,YAAY,CAAC,SAAuB,EAAE,SAAiB;IAC9D,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,WAAW,CAAC,SAAuB,EAAE,SAAiB,EAAE,KAAa;IAC5E,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;IAC1B,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED,yFAAyF;AACzF,SAAS,cAAc,CAAC,GAAkB;IACxC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IAClD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACvC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AACvD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CAAC,SAAuB,EAAE,SAAiB;IAC/D,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAC9F,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACvF,MAAM,qBAAqB,GAAG,UAAU,KAAK,aAAa;QACxD,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,6BAA6B,CAAC,CAAC;QAClF,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,GAAG,UAAU,SAAS,UAAU,SAAS,qBAAqB,EAAE,CAAC;AAC1E,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,SAAuB,EAAE,GAAsB;IACnF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,aAAa,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;YAAM,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,SAAuB,EACvB,OAA0B,EAC1B,0BAAyD,EACzD,gBAAwB,EACxB,WAAgC,EAChC,aAA0B;IAE1B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,aAAa,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,0BAA0B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACzC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,iDAAiD;QACnF,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;QAC5B,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAClD,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;AACH,CAAC"}
+{"version":3,"file":"merged-subcontext.js","sourceRoot":"","sources":["../src/merged-subcontext.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA+B/D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE;;;;;;GAMG;AACH,MAAM,SAAS,GAAG,IAAI,MAAM,CAAC,sBAAsB,WAAW,8BAA8B,CAAC,CAAC;AAE9F,2FAA2F;AAC3F,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAClC,oFAAoF;AACpF,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAC3B,+FAA+F;AAC/F,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAExC,SAAS,YAAY,CAAC,SAAuB,EAAE,SAAiB;IAC9D,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,wGAAwG;IACxG,MAAM,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,WAAW,CAAC,SAAuB,EAAE,SAAiB,EAAE,KAAa;IAC5E,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;IAC1B,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED,yFAAyF;AACzF,SAAS,cAAc,CAAC,GAAkB;IACxC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IAClD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACvC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AACvD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CAAC,SAAuB,EAAE,SAAiB;IAC/D,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAC9F,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACvF,MAAM,qBAAqB,GAAG,UAAU,KAAK,aAAa;QACxD,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,6BAA6B,CAAC,CAAC;QAClF,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,GAAG,UAAU,SAAS,UAAU,SAAS,qBAAqB,EAAE,CAAC;AAC1E,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,SAAuB,EAAE,GAAsB;IACnF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,aAAa,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;YAAM,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,SAAuB,EACvB,OAA0B,EAC1B,0BAAyD,EACzD,gBAAwB,EACxB,WAAgC,EAChC,aAA0B;IAE1B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,aAAa,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,0BAA0B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACzC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,iDAAiD;QACnF,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;QAC5B,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAClD,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;AACH,CAAC"}

package/dist/parquet-exporter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parquet-exporter.d.ts","sourceRoot":"","sources":["../src/parquet-exporter.ts"],"names":[],"mappings":"AAIA,uDAAuD;AAEvD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAU/D,MAAM,WAAW,oBAAoB;IACjC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;;GAGG;AACH,qBAAa,eAAe;IACxB,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,cAAc,CAAC,CAAiB;IACxC,OAAO,CAAC,YAAY,CAA6B;IAEjD;;;;;;;;;;OAUG;gBACS,KAAK,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,EAAE,mBAAmB;IAMpG;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAWpB;;OAEG;IACG,SAAS,CAAC,OAAO,GAAE,oBAAyB,GAAG,OAAO,CAAC,UAAU,CAAC;IA8BxE;;OAEG;IACG,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;YAkB3C,aAAa;YAoDb,eAAe;YAkDf,eAAe;YAmCf,kBAAkB;YAIlB,YAAY;YAkBZ,iBAAiB;YA+DjB,gBAAgB;YA6BhB,WAAW;YAyCX,qBAAqB;IAuFnC,OAAO,CAAC,aAAa;YA6BP,SAAS;YAIT,gBAAgB;CAUjC;AA8BD,OAAO,EAAE,oBAAoB,IAAI,oBAAoB,EAAE,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"parquet-exporter.d.ts","sourceRoot":"","sources":["../src/parquet-exporter.ts"],"names":[],"mappings":"AAIA,uDAAuD;AAEvD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAW/D,MAAM,WAAW,oBAAoB;IACjC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;;GAGG;AACH,qBAAa,eAAe;IACxB,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,cAAc,CAAC,CAAiB;IACxC,OAAO,CAAC,YAAY,CAA6B;IAEjD;;;;;;;;;;OAUG;gBACS,KAAK,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,EAAE,mBAAmB;IAMpG;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAWpB;;OAEG;IACG,SAAS,CAAC,OAAO,GAAE,oBAAyB,GAAG,OAAO,CAAC,UAAU,CAAC;IA+BxE;;OAEG;IACG,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;YAkB3C,aAAa;YAoDb,eAAe;YAkDf,eAAe;YAmCf,kBAAkB;YAIlB,YAAY;YAkBZ,iBAAiB;YA+DjB,gBAAgB;YA6BhB,WAAW;YAyCX,qBAAqB;IA0FnC,OAAO,CAAC,aAAa;YA6BP,SAAS;YAMT,gBAAgB;CAOjC;AA8BD,OAAO,EAAE,oBAAoB,IAAI,oBAAoB,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/parquet-exporter.js

@@ -3,6 +3,7 @@
  * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
 import { IfcTypeEnum, EntityFlags, IFC_ENTITY_NAMES, exactTypeName } from '@ifc-lite/data';
 import { getEffectiveEntityIndex } from './effective-index.js';
+import { parquetSpatialRows } from './parquet-spatial-rows.js';
 import { columnsToParquet } from './columns-to-parquet.js';
 import { PARQUET_UINT32_COLUMNS } from './parquet-uint32-columns.js';
 import { writePropertiesOnDemand, writeQuantitiesOnDemand } from './parquet-exporter-ondemand.js';
@@ -60,7 +61,8 @@ export class ParquetExporter {
         let propertyCount = 0;
         files.set('Properties.parquet', await this.writeProperties(count => { propertyCount = count; }));
         files.set('Quantities.parquet', await this.writeQuantities());
-        const relationshipRows = parquetRelationshipRows(this.store, this.mutationView, this.getEffective());
+        const effective = this.getEffective();
+        const relationshipRows = parquetRelationshipRows(this.store, this.mutationView, effective);
         files.set('Relationships.parquet', await this.toParquet(relationshipRows));
         files.set('Strings.parquet', await this.writeStrings());
         // Geometry files (if available)
@@ -70,8 +72,8 @@ export class ParquetExporter {
             files.set('Meshes.parquet', await this.writeMeshes());
         }
         // Spatial hierarchy
-        if (this.store.spatialHierarchy) {
-            files.set('SpatialHierarchy.parquet', await this.writeSpatialHierarchy());
+        if (this.store.spatialHierarchy || effective) {
+            files.set('SpatialHierarchy.parquet', await this.writeSpatialHierarchy(relationshipRows, effective));
         }
         // Metadata
         files.set('Metadata.json', this.writeMetadata(new Set(relationshipRows.RelId).size, propertyCount));
@@ -345,13 +347,22 @@ export class ParquetExporter {
             IndexCount: indexCounts,
         });
     }
-    async writeSpatialHierarchy() {
+    async writeSpatialHierarchy(relationships, effective) {
+        if (effective) {
+            const rows = parquetSpatialRows(relationships, effective);
+            return this.toParquet({
+                ElementId: rows.map(r => r.ElementId),
+                StoreyId: rows.map(r => r.StoreyId),
+                BuildingId: rows.map(r => r.BuildingId),
+                SiteId: rows.map(r => r.SiteId),
+                SpaceId: rows.map(r => r.SpaceId),
+            });
+        }
         if (!this.store.spatialHierarchy) {
             throw new Error('Spatial hierarchy not available');
         }
         const rows = [];
         const { spatialHierarchy } = this.store;
-        const effective = this.getEffective();
         // Build lookup maps for fast parent access
         const storeyToBuilding = new Map();
         const buildingToSite = new Map();
@@ -376,24 +387,14 @@ export class ParquetExporter {
             }
         };
         traverse(spatialHierarchy.project);
+        // @raw-entity-enumeration-ok source-only branch: a supplied mutationView takes the effective relationship-row path above
         for (const [storeyId, elementIds] of spatialHierarchy.byStorey) {
             const buildingId = storeyToBuilding.get(storeyId) ?? -1;
             const siteId = buildingId >= 0 ? (buildingToSite.get(buildingId) ?? -1) : -1;
             for (const elementId of elementIds) {
-                // A tombstoned element is not a row in Entities.parquet either
-                // (see writeEntities) — leaving it here would point
-                // SpatialHierarchy.parquet at an id no other table has.
-                //
-                // Deletion-only, and only for the element itself: a deleted
-                // STOREY/BUILDING/SITE still surfaces as StoreyId/BuildingId/
-                // SiteId on a surviving element's row (spatialHierarchy is a
-                // source-parse snapshot with no overlay-aware re-parenting —
-                // the same class of problem Ifc5Exporter's re-parenting pass
-                // solves, #2047 — not addressed here).
-                if (effective?.isDeleted(elementId))
-                    continue;
                 // Check if element is in a space by iterating bySpace
                 let spaceId = -1;
+                // @raw-entity-enumeration-ok source-only branch: live sessions return before this parsed hierarchy walk
                 for (const [sid, spaceElementIds] of spatialHierarchy.bySpace) {
                     if (spaceElementIds.includes(elementId)) {
                         spaceId = sid;
@@ -446,13 +447,14 @@ export class ParquetExporter {
     async toParquet(columns, floatColumns) {
         return columnsToParquet(columns, floatColumns, PARQUET_UINT32_COLUMNS);
     }
+    // fflate, not JSZip: JSZip writes "version needed to extract" 1.0 on
+    // DEFLATE entries, where the ZIP APPNOTE requires 2.0 (#3612).
     async createZipArchive(files) {
-        const JSZip = (await import('jszip')).default;
-        const zip = new JSZip();
-        for (const [name, data] of files) {
-            zip.file(name, data);
-        }
-        return zip.generateAsync({ type: 'uint8array', compression: 'DEFLATE' });
+        const { zipSync } = await import('fflate');
+        // Entry names are file names with an extension, never integer-like
+        // keys, so the object keeps the Map's insertion order. zipSync rather
+        // than async `zip`, which starts uncapped workers (see bcf writer-archive).
+        return zipSync(Object.fromEntries(files), { level: 6 });
     }
 }
 // Helper functions