@ifc-lite/export 3.1.0 → 4.0.1

package/dist/merged-context.js

@@ -0,0 +1,211 @@
+/* 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 { asSourceBytes, STEP_TRIVIA } from '@ifc-lite/parser';
+import { splitTopLevelStepArguments } from './step-argument-parser.js';
+import { groupSubContextsByKey, planSubContextUnify } from './merged-subcontext.js';
+/**
+ * `#N=TYPE(...)` record, with STEP trivia (whitespace and/or a
+ * `/* ... *​/` comment, #3789) tolerated between the type name and `(` —
+ * same adjacency fix as `entity-extractor.ts`'s `extractEntity`. Without it
+ * a wrapped record's attribute is silently unreadable here (`getStepAttr`
+ * returns `null`), which reads identically to a genuinely-absent attribute.
+ */
+const RECORD_RE = new RegExp(`^#\\d+\\s*=\\s*\\w+${STEP_TRIVIA}\\(([\\s\\S]*)\\)\\s*;?\\s*$`);
+/** Tolerance for WCS origins (metres) and normalized directions. */
+const WCS_TOLERANCE_M = 1e-6;
+/** 0-based attribute index of `IfcGeometricRepresentationSubContext.ParentContext`. */
+const SUBCONTEXT_PARENT_CONTEXT_ATTR = 6;
+function decodeEntity(dataStore, expressId) {
+    const source = dataStore.source;
+    if (!source)
+        return null;
+    const ref = dataStore.entityIndex.byId.get(expressId);
+    if (!ref)
+        return null;
+    return asSourceBytes(source).decodeUtf8(ref.byteOffset, ref.byteOffset + ref.byteLength);
+}
+/** Extract one 0-based STEP attribute of `expressId`'s entity, or null if unreadable. */
+function getStepAttr(dataStore, expressId, index) {
+    const text = decodeEntity(dataStore, expressId);
+    const match = text?.match(RECORD_RE);
+    if (!match)
+        return null;
+    const args = splitTopLevelStepArguments(match[1]);
+    const raw = args?.[index];
+    return raw === undefined ? null : raw.trim();
+}
+function refId(raw) {
+    const m = raw?.match(/^#(\d+)$/);
+    return m ? parseInt(m[1], 10) : null;
+}
+function parseCoord(raw) {
+    if (raw === undefined)
+        return null;
+    const n = Number(raw.trim());
+    return Number.isFinite(n) ? n : null;
+}
+function parseVector(dataStore, directionId, fallback) {
+    if (directionId === null)
+        return fallback;
+    const raw = getStepAttr(dataStore, directionId, 0);
+    const inner = raw?.replace(/^\(|\)$/g, '');
+    const parts = inner === undefined ? null : splitTopLevelStepArguments(inner);
+    if (!parts || parts.length < 2)
+        return null;
+    const x = parseCoord(parts[0]);
+    const y = parseCoord(parts[1]);
+    const z = parts.length > 2 ? parseCoord(parts[2]) : 0;
+    if (x === null || y === null || z === null)
+        return null;
+    const magnitude = Math.hypot(x, y, z);
+    if (magnitude === 0)
+        return null;
+    return [x / magnitude, y / magnitude, z / magnitude];
+}
+/**
+ * Resolve the WorldCoordinateSystem frame of `contextId` (an
+ * `IfcGeometricRepresentationContext`), in metres.
+ *
+ * Attr 4 is `WorldCoordinateSystem`, an `IfcAxis2Placement` (2D/3D) whose
+ * attr 0 is `Location` (an `IfcCartesianPoint`), attrs 1/2 are `Axis` and
+ * `RefDirection` — but tolerates a context
+ * pointing straight at a point (no placement wrapper), the shape this
+ * package's own test fixtures use. Returns null when any hop is
+ * unresolvable (missing entity, `$`, non-numeric): callers must treat null
+ * permissively (compatible), never as "known to differ", so an unusual but
+ * harmless context shape never blocks a merge that used to work.
+ */
+export function resolveContextWcsMetres(dataStore, contextId, lengthUnitScale) {
+    const wcsRef = refId(getStepAttr(dataStore, contextId, 4));
+    if (wcsRef === null)
+        return null;
+    const wcsType = (dataStore.entityIndex.byId.get(wcsRef)?.type ?? '').toUpperCase();
+    const pointId = wcsType.includes('CARTESIANPOINT') ? wcsRef : refId(getStepAttr(dataStore, wcsRef, 0));
+    if (pointId === null)
+        return null;
+    const coordsRaw = getStepAttr(dataStore, pointId, 0);
+    const inner = coordsRaw?.replace(/^\(|\)$/g, '');
+    const parts = inner === undefined ? null : splitTopLevelStepArguments(inner);
+    if (!parts || parts.length < 2)
+        return null;
+    const x = parseCoord(parts[0]);
+    const y = parseCoord(parts[1]);
+    const z = parts.length > 2 ? parseCoord(parts[2]) : 0;
+    if (x === null || y === null || z === null)
+        return null;
+    const scale = Number.isFinite(lengthUnitScale) && lengthUnitScale > 0 ? lengthUnitScale : 1;
+    // Axis2Placement defaults omitted Axis and RefDirection to +Z and +X.
+    // Treat omitted and explicit defaults identically, not as an unknown shape.
+    const isPoint = wcsType.includes('CARTESIANPOINT');
+    const is2dPlacement = wcsType.includes('AXIS2PLACEMENT2D');
+    // IFC2D places its sole RefDirection at attribute 1; treating that slot as
+    // a 3D Axis loses rotations in the XY frame and can wrongly unify contexts.
+    const axis = isPoint || is2dPlacement
+        ? [0, 0, 1]
+        : parseVector(dataStore, refId(getStepAttr(dataStore, wcsRef, 1)), [0, 0, 1]);
+    const refDirection = isPoint
+        ? [1, 0, 0]
+        : parseVector(dataStore, refId(getStepAttr(dataStore, wcsRef, is2dPlacement ? 1 : 2)), [1, 0, 0]);
+    if (axis === null || refDirection === null)
+        return null;
+    return { x: x * scale, y: y * scale, z: z * scale, axis, refDirection };
+}
+/** `resolveContextWcsMetres` for a model's first `IfcGeometricRepresentationContext`, or null if it has none. */
+export function resolveModelContextWcs(dataStore, lengthUnitScale) {
+    const contextId = (dataStore.entityIndex.byType.get('IFCGEOMETRICREPRESENTATIONCONTEXT') ?? [])[0];
+    return contextId === undefined ? null : resolveContextWcsMetres(dataStore, contextId, lengthUnitScale);
+}
+/** Build the {@link PrimaryContextState} for the primary model. */
+export function resolvePrimaryContextState(dataStore, subContextIds, primaryScale) {
+    return {
+        subContextsByKey: groupSubContextsByKey(dataStore, subContextIds),
+        contextWcs: resolveModelContextWcs(dataStore, primaryScale),
+    };
+}
+/**
+ * True when two resolved WCS frames are the same within tolerance, OR
+ * either is null (unresolvable — permissive: never block a merge on a
+ * context shape this reader couldn't fully parse).
+ */
+function wcsSignaturesCompatible(a, b) {
+    if (a === null || b === null)
+        return true;
+    return Math.abs(a.x - b.x) <= WCS_TOLERANCE_M
+        && Math.abs(a.y - b.y) <= WCS_TOLERANCE_M
+        && Math.abs(a.z - b.z) <= WCS_TOLERANCE_M
+        && a.axis.every((value, index) => Math.abs(value - b.axis[index]) <= WCS_TOLERANCE_M)
+        && a.refDirection.every((value, index) => Math.abs(value - b.refDirection[index]) <= WCS_TOLERANCE_M);
+}
+/**
+ * Plan the whole shared-infrastructure dedup for one model — `MergedExporter`
+ * delegates its entire "remap and skip duplicate infrastructure" step here.
+ *
+ * `IfcUnitAssignment` unifies by position unconditionally. The representation
+ * context (`IFCGEOMETRICREPRESENTATIONCONTEXT`) unifies only when its resolved
+ * WCS frame agrees with the primary model's (origin in metres AND
+ * axis/refDirection orientation, so a differing length unit or a rotated frame
+ * doesn't produce a false match); a mismatch leaves it un-remapped — kept as
+ * this model's own root — so its untouched coordinates are never
+ * re-interpreted against the wrong frame.
+ *
+ * Its subcontexts (`IFCGEOMETRICREPRESENTATIONSUBCONTEXT`) go through
+ * {@link planSubContextUnify} instead of positional matching — kind-matched by
+ * `ContextIdentifier`/`TargetView` so a 'Body' subcontext never unifies onto an
+ * 'Axis' one (merge invariant lens pass 3, item 1) — gated on the SAME
+ * `contextsCompatible` computed once up front: a subcontext inherits its WCS
+ * from `ParentContext`, so when the parent root's frame disagrees, retaining
+ * the parent means every child must be retained too, not just remapped in
+ * isolation. Mutates `sharedRemap`/`skipEntityIds`.
+ *
+ * `lengthUnitScale` is the scale THIS model's raw WCS coordinates resolve
+ * under. Under assume-shared the caller asserts raw coordinates are already
+ * in the primary's unit, and they are copied verbatim — so the caller must
+ * pass the PRIMARY scale (matching how {@link PrimaryContextState.contextWcs}
+ * was computed), not the model's own declared unit, or two frames that agree
+ * raw-value-for-raw-value can compare unequal (and vice versa: differing raw
+ * origins can collide once scaled). Under auto/normalize the caller passes
+ * the model's own declared scale, comparing true metric frames.
+ */
+export function planInfrastructureUnify(dataStore, modelInfra, firstModelInfraMap, firstModelContext, firstModelOffset, lengthUnitScale, sharedRemap, skipEntityIds) {
+    // Computed once, up front — not per type in the loop below — so its result
+    // does not depend on `IFCGEOMETRICREPRESENTATIONCONTEXT` iterating before
+    // `IFCGEOMETRICREPRESENTATIONSUBCONTEXT` in `firstModelInfraMap`.
+    const contextsCompatible = wcsSignaturesCompatible(firstModelContext.contextWcs, resolveModelContextWcs(dataStore, lengthUnitScale));
+    // Only the model's FIRST top-level context is (positionally) unified below;
+    // any later sibling context — a model with both a 'Model' and a 'Plan'
+    // context, say — is always retained. A subcontext may therefore unify ONLY
+    // when its own `ParentContext` is the context actually being remapped: a
+    // child of a retained sibling must stay with its parent, or its shape
+    // representations get re-anchored onto the primary's frame while the parent
+    // keeps its own.
+    const modelContextIds = modelInfra.get('IFCGEOMETRICREPRESENTATIONCONTEXT') ?? [];
+    const firstContextIds = firstModelInfraMap.get('IFCGEOMETRICREPRESENTATIONCONTEXT') ?? [];
+    const unifiedContextId = contextsCompatible && modelContextIds.length > 0 && firstContextIds.length > 0
+        ? modelContextIds[0]
+        : null;
+    for (const [type, firstIds] of firstModelInfraMap) {
+        const thisIds = modelInfra.get(type);
+        if (!thisIds || firstIds.length === 0 || thisIds.length === 0)
+            continue;
+        if (type === 'IFCGEOMETRICREPRESENTATIONSUBCONTEXT') {
+            if (unifiedContextId === null)
+                continue;
+            // An unreadable ParentContext stays permissive (treated as a child of
+            // the unified context), matching this file's null-handling doctrine.
+            const childIds = thisIds.filter((id) => {
+                const parentId = refId(getStepAttr(dataStore, id, SUBCONTEXT_PARENT_CONTEXT_ATTR));
+                return parentId === null || parentId === unifiedContextId;
+            });
+            if (childIds.length > 0) {
+                planSubContextUnify(dataStore, childIds, firstModelContext.subContextsByKey, firstModelOffset, sharedRemap, skipEntityIds);
+            }
+            continue;
+        }
+        if (type === 'IFCGEOMETRICREPRESENTATIONCONTEXT' && !contextsCompatible)
+            continue;
+        sharedRemap.set(thisIds[0], firstIds[0] + firstModelOffset);
+        skipEntityIds.add(thisIds[0]);
+    }
+}
+//# sourceMappingURL=merged-context.js.map

package/dist/merged-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-context.js","sourceRoot":"","sources":["../src/merged-context.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAkC/D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAEpF;;;;;;GAMG;AACH,MAAM,SAAS,GAAG,IAAI,MAAM,CAAC,sBAAsB,WAAW,8BAA8B,CAAC,CAAC;AAW9F,oEAAoE;AACpE,MAAM,eAAe,GAAG,IAAI,CAAC;AAE7B,uFAAuF;AACvF,MAAM,8BAA8B,GAAG,CAAC,CAAC;AAEzC,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,yFAAyF;AACzF,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,SAAS,KAAK,CAAC,GAAkB;IAC/B,MAAM,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACjC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,SAAS,UAAU,CAAC,GAAuB;IACzC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,SAAS,WAAW,CAAC,SAAuB,EAAE,WAA0B,EAAE,QAAkC;IAC1G,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,GAAG,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,IAAI,SAAS,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,CAAC,CAAC,GAAG,SAAS,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CACrC,SAAuB,EACvB,SAAiB,EACjB,eAAuB;IAEvB,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACnF,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACvG,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAElC,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5C,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAExD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,sEAAsE;IACtE,4EAA4E;IAC5E,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAC3D,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,IAAI,GAAG,OAAO,IAAI,aAAa;QACnC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAA6B;QACvC,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,YAAY,GAAG,OAAO;QAC1B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAA6B;QACvC,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpG,IAAI,IAAI,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAC1E,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,sBAAsB,CAAC,SAAuB,EAAE,eAAuB;IACrF,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,mCAAmC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;AACzG,CAAC;AAcD,mEAAmE;AACnE,MAAM,UAAU,0BAA0B,CACxC,SAAuB,EACvB,aAAuB,EACvB,YAAoB;IAEpB,OAAO;QACL,gBAAgB,EAAE,qBAAqB,CAAC,SAAS,EAAE,aAAa,CAAC;QACjE,UAAU,EAAE,sBAAsB,CAAC,SAAS,EAAE,YAAY,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAAC,CAAsB,EAAE,CAAsB;IAC7E,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,eAAe;WACxC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,eAAe;WACtC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,eAAe;WACtC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;WAClF,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC;AAC1G,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,uBAAuB,CACrC,SAAuB,EACvB,UAAyC,EACzC,kBAAiD,EACjD,iBAAsC,EACtC,gBAAwB,EACxB,eAAuB,EACvB,WAAgC,EAChC,aAA0B;IAE1B,2EAA2E;IAC3E,0EAA0E;IAC1E,kEAAkE;IAClE,MAAM,kBAAkB,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,UAAU,EAC7E,sBAAsB,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;IACtD,4EAA4E;IAC5E,uEAAuE;IACvE,2EAA2E;IAC3E,yEAAyE;IACzE,sEAAsE;IACtE,4EAA4E;IAC5E,iBAAiB;IACjB,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,mCAAmC,CAAC,IAAI,EAAE,CAAC;IAClF,MAAM,eAAe,GAAG,kBAAkB,CAAC,GAAG,CAAC,mCAAmC,CAAC,IAAI,EAAE,CAAC;IAC1F,MAAM,gBAAgB,GAAG,kBAAkB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;QACrG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC;IACT,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,kBAAkB,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACxE,IAAI,IAAI,KAAK,sCAAsC,EAAE,CAAC;YACpD,IAAI,gBAAgB,KAAK,IAAI;gBAAE,SAAS;YACxC,sEAAsE;YACtE,qEAAqE;YACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;gBACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,EAAE,8BAA8B,CAAC,CAAC,CAAC;gBACnF,OAAO,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,gBAAgB,CAAC;YAC5D,CAAC,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,mBAAmB,CAAC,SAAS,EAAE,QAAQ,EAAE,iBAAiB,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;YAC7H,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,mCAAmC,IAAI,CAAC,kBAAkB;YAAE,SAAS;QAClF,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAC5D,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;AACH,CAAC"}

package/dist/merged-empty-containers.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Empty-spatial-container analysis for the merged exporter (issue #3643) — the
+ * step of IfcOpenShell/BlenderBIM's "Merge Projects" recipe that container
+ * *matching* (`mergeSites` / `mergeBuildings` / `mergeStoreys`) leaves behind.
+ *
+ * An `IfcSite` / `IfcBuilding` / `IfcBuildingStorey` / `IfcSpace` is empty when
+ * it contains no surviving element (`IfcRelContainedInSpatialStructure`),
+ * directly aggregates no surviving non-spatial object, and transitively
+ * aggregates no non-empty spatial child. `IfcProject` is never a candidate.
+ *
+ * Emptiness is a fact about the MERGED model, not about one input: a site that
+ * is empty in its own file is not empty once a later model's storeys are unified
+ * onto it. So this runs across every model — after visibility filtering and
+ * after spatial unification, the two things that make a container empty in the
+ * first place — and yields the express ids the emit loop then never writes.
+ * Nothing is emitted referencing them, so no dangling-reference clean-up pass
+ * has to follow; that is why this belongs inside the merge rather than after it.
+ *
+ * The Rust twin is `rust/export/src/merged/empty.rs`, which the native merged
+ * export (`export_merged_models`) drives from the same rules.
+ */
+import type { IfcSourceBytes } from '@ifc-lite/parser';
+import type { CompleteEntityIndex } from './entity-iteration.js';
+/** One model as the analysis sees it, in the merge's own terms. */
+export interface EmptyContainerModelView {
+    /** Complete entity index (primary + deferred atoms). */
+    entities: CompleteEntityIndex;
+    /** The model's source bytes. */
+    source: IfcSourceBytes;
+    /** Visible express ids, or `null` when the whole model is exported. */
+    included: ReadonlySet<number> | null;
+    /** Local express id → final express id, for containers unified onto an
+     *  earlier model's (the spatial-unification remap). */
+    sharedRemap: ReadonlyMap<number, number>;
+    /** Express-id offset applied to this model in the merged file. */
+    offset: number;
+    /** True when the model unifies into the first model's project / unit space. */
+    compatible: boolean;
+}
+/** Which containers the emit loop must not write. */
+export interface EmptyContainerPlan {
+    /** Per input model (same order): local express ids never emitted. */
+    droppedByModel: Set<number>[];
+    /** Containers dropped, counted in the MERGED model (a container unified
+     *  across three inputs counts once). */
+    droppedCount: number;
+}
+/**
+ * A model with nothing to analyse — the placeholder for an input whose source
+ * bytes are missing (a cache-restored, metadata-only store), which the emit loop
+ * skips too. Keeps the caller's per-model arrays aligned with its inputs.
+ */
+export declare const EMPTY_MODEL_VIEW: EmptyContainerModelView;
+/**
+ * Plan which spatial containers the merge leaves holding nothing.
+ *
+ * The returned local ids are what the caller withholds from the output; every
+ * surviving line that named one is narrowed (or withheld with it) by
+ * `filterHiddenRefsFromRelationshipLine`, which is what keeps the result free of
+ * dangling references.
+ */
+export declare function planEmptyContainerDrops(models: EmptyContainerModelView[]): EmptyContainerPlan;
+//# sourceMappingURL=merged-empty-containers.d.ts.map

package/dist/merged-empty-containers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-empty-containers.d.ts","sourceRoot":"","sources":["../src/merged-empty-containers.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAkCjE,mEAAmE;AACnE,MAAM,WAAW,uBAAuB;IACtC,wDAAwD;IACxD,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,gCAAgC;IAChC,MAAM,EAAE,cAAc,CAAC;IACvB,uEAAuE;IACvE,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACrC;2DACuD;IACvD,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,+EAA+E;IAC/E,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,qDAAqD;AACrD,MAAM,WAAW,kBAAkB;IACjC,qEAAqE;IACrE,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IAC9B;4CACwC;IACxC,YAAY,EAAE,MAAM,CAAC;CACtB;AAOD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,uBAO9B,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,uBAAuB,EAAE,GAAG,kBAAkB,CA2C7F"}

package/dist/merged-empty-containers.js

@@ -0,0 +1,354 @@
+/* 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 { asSourceBytes, STEP_TRIVIA } from '@ifc-lite/parser';
+import { splitTopLevelArgs } from './step-argument-parser.js';
+/**
+ * `#N=TYPE(...)` record, with STEP trivia (whitespace and/or a
+ * `/* ... *​/` comment, #3789) tolerated between the type name and `(` —
+ * same adjacency fix as `entity-extractor.ts`'s `extractEntity`. Without it
+ * a wrapped line's arguments are unreadable here (`topLevelAttrs` returns
+ * `null`), which the caller treats as "can't safely rewrite" and blocks the
+ * empty-container drop for that entity.
+ */
+const RECORD_RE = new RegExp(`^#\\d+\\s*=\\s*\\w+${STEP_TRIVIA}\\(([\\s\\S]*)\\)\\s*;?\\s*$`);
+/**
+ * Spatial container types dropped when they end up empty. `IfcProject` is
+ * deliberately absent: it is the file's root, never a candidate.
+ */
+const CONTAINER_TYPES = new Set([
+    'IFCSITE',
+    'IFCBUILDING',
+    'IFCBUILDINGSTOREY',
+    'IFCSPACE',
+]);
+/**
+ * Relationships that express spatial structure, as
+ * `[relatingAttributeIndex, relatedAttributeIndex]` — `IfcRelAggregates` names
+ * the whole first, the containment relationships name the parts first.
+ */
+const STRUCTURE_RELATIONS = {
+    IFCRELAGGREGATES: [4, 5],
+    IFCRELCONTAINEDINSPATIALSTRUCTURE: [5, 4],
+    IFCRELREFERENCEDINSPATIALSTRUCTURE: [5, 4],
+};
+/** True when `typeUpper` is a droppable spatial container type. */
+function isSpatialContainerType(typeUpper) {
+    return CONTAINER_TYPES.has(typeUpper);
+}
+/**
+ * A model with nothing to analyse — the placeholder for an input whose source
+ * bytes are missing (a cache-restored, metadata-only store), which the emit loop
+ * skips too. Keeps the caller's per-model arrays aligned with its inputs.
+ */
+export const EMPTY_MODEL_VIEW = {
+    entities: new Map(),
+    source: asSourceBytes(new Uint8Array()),
+    included: null,
+    sharedRemap: new Map(),
+    offset: 0,
+    compatible: false,
+};
+/**
+ * Plan which spatial containers the merge leaves holding nothing.
+ *
+ * The returned local ids are what the caller withholds from the output; every
+ * surviving line that named one is narrowed (or withheld with it) by
+ * `filterHiddenRefsFromRelationshipLine`, which is what keeps the result free of
+ * dangling references.
+ */
+export function planEmptyContainerDrops(models) {
+    const nodes = new Set();
+    const hasContent = new Set();
+    const blocked = new Set();
+    /** Spatial child node → its container nodes (upward edges for the sweep). */
+    const parents = new Map();
+    const guidNode = new Map();
+    const containersByModel = [];
+    for (const view of models) {
+        const canon = canonicalContainers(view, guidNode);
+        containersByModel.push(canon);
+        for (const node of canon.values())
+            nodes.add(node);
+        recordEdges(view, canon, hasContent, parents);
+        recordBlocks(view, canon, blocked);
+    }
+    // A container is non-empty when it holds something, is blocked, or has a
+    // non-empty spatial child — the last propagated upward from the first two.
+    // The visited check also makes a self-referential aggregation terminate.
+    const nonEmpty = new Set([...hasContent, ...blocked]);
+    const stack = [...nonEmpty];
+    while (stack.length > 0) {
+        const node = stack.pop();
+        for (const parent of parents.get(node) ?? []) {
+            if (!nonEmpty.has(parent)) {
+                nonEmpty.add(parent);
+                stack.push(parent);
+            }
+        }
+    }
+    const dropped = new Set([...nodes].filter(node => !nonEmpty.has(node)));
+    return {
+        droppedByModel: containersByModel.map(canon => {
+            const ids = new Set();
+            for (const [localId, node] of canon) {
+                if (dropped.has(node))
+                    ids.add(localId);
+            }
+            return ids;
+        }),
+        droppedCount: dropped.size,
+    };
+}
+/**
+ * Map each of this model's visible containers to its node in the merged model:
+ * the container it was unified onto, the earlier instance that already carries
+ * its GlobalId, or its own final express id. Mirrors the emit loop's
+ * unification order (iteration order, first occurrence wins).
+ */
+function canonicalContainers(view, guidNode) {
+    const canon = new Map();
+    for (const [localId, ref] of view.entities) {
+        if (view.included !== null && !view.included.has(localId))
+            continue;
+        if (!isSpatialContainerType(ref.type.toUpperCase()))
+            continue;
+        const unified = view.sharedRemap.get(localId);
+        if (unified !== undefined) {
+            canon.set(localId, unified);
+            continue;
+        }
+        const finalId = localId + view.offset;
+        if (!view.compatible) {
+            canon.set(localId, finalId);
+            continue;
+        }
+        const guid = leadingGuid(lineOf(view, localId));
+        if (guid === null) {
+            canon.set(localId, finalId);
+            continue;
+        }
+        const known = guidNode.get(guid);
+        if (known === undefined)
+            guidNode.set(guid, finalId);
+        canon.set(localId, known ?? finalId);
+    }
+    return canon;
+}
+/**
+ * Record what this model contributes to each container: contained elements and
+ * aggregated objects become content; aggregated spatial children become upward
+ * edges, so a non-empty storey keeps its building and its site.
+ */
+function recordEdges(view, canon, hasContent, parents) {
+    if (canon.size === 0)
+        return;
+    for (const [localId, ref] of view.entities) {
+        if (view.included !== null && !view.included.has(localId))
+            continue;
+        const slots = STRUCTURE_RELATIONS[ref.type.toUpperCase()];
+        if (slots === undefined)
+            continue;
+        const attrs = topLevelAttrs(lineOf(view, localId));
+        if (attrs === null)
+            continue;
+        const [relatingIndex, relatedIndex] = slots;
+        const relating = singleRef(attrs[relatingIndex] ?? '');
+        // Not a container (an IfcProject aggregating its sites, say) — its children
+        // are roots of the spatial tree, with nothing above them to keep.
+        if (relating === null)
+            continue;
+        const parent = canon.get(relating);
+        if (parent === undefined)
+            continue;
+        for (const child of refList(attrs[relatedIndex] ?? '')) {
+            if (view.included !== null && !view.included.has(child))
+                continue;
+            const childNode = canon.get(child);
+            if (childNode === undefined) {
+                hasContent.add(parent);
+                continue;
+            }
+            const edges = parents.get(childNode);
+            if (edges === undefined)
+                parents.set(childNode, [parent]);
+            else
+                edges.push(parent);
+        }
+    }
+}
+/**
+ * Block every container this model names in a way the emit loop could not
+ * rewrite. Dropping such a container would leave a dangling `#ref`, so it stays
+ * (counting as non-empty, which keeps its ancestors too) instead.
+ *
+ * Rewritable is: a reference from an objectified relationship (`IfcRel*`) that
+ * nothing else references, since `filterHiddenRefsFromRelationshipLine` can
+ * strip it from a list or withhold the whole line. Everything else — a
+ * non-relationship referrer, a reference nested inside a typed value, or a
+ * relationship that is itself referenced (withholding it would dangle in turn) —
+ * blocks.
+ */
+function recordBlocks(view, canon, blocked) {
+    if (canon.size === 0)
+        return;
+    const referrers = [];
+    const referencedRelationships = new Set();
+    for (const [localId, ref] of view.entities) {
+        if (view.included !== null && !view.included.has(localId))
+            continue;
+        let namesContainer = false;
+        for (const target of argRefs(view.source.slice(ref.byteOffset, ref.byteOffset + ref.byteLength))) {
+            if (canon.has(target))
+                namesContainer = true;
+            const targetType = view.entities.get(target)?.type.toUpperCase();
+            if (targetType?.startsWith('IFCREL'))
+                referencedRelationships.add(target);
+        }
+        if (namesContainer)
+            referrers.push(localId);
+    }
+    for (const localId of referrers) {
+        const typeUpper = view.entities.get(localId).type.toUpperCase();
+        const rewritable = typeUpper.startsWith('IFCREL') && !referencedRelationships.has(localId);
+        const line = lineOf(view, localId);
+        const slots = classifyRefs(line);
+        if (slots === null) {
+            // The argument list could not be parsed, so no rewrite can narrow this
+            // line: every container it names has to stay.
+            for (const target of argRefs(line)) {
+                const node = canon.get(target);
+                if (node !== undefined)
+                    blocked.add(node);
+            }
+            continue;
+        }
+        for (const [target, nested] of slots) {
+            const node = canon.get(target);
+            if (node === undefined)
+                continue;
+            if (nested || !rewritable)
+                blocked.add(node);
+        }
+    }
+}
+/** The entity's STEP line text. */
+function lineOf(view, localId) {
+    const ref = view.entities.get(localId);
+    if (ref === undefined)
+        return '';
+    return view.source.decodeUtf8(ref.byteOffset, ref.byteOffset + ref.byteLength);
+}
+/** Top-level arguments of a `#id=TYPE(…);` line, or `null` when unparseable. */
+function topLevelAttrs(line) {
+    const match = line.match(RECORD_RE);
+    if (!match)
+        return null;
+    return splitTopLevelArgs(match[1]).map(arg => arg.trim());
+}
+/** Parse an argument that is exactly one reference (`"#7"` → `7`). */
+function singleRef(arg) {
+    const match = arg.trim().match(/^#(\d+)$/);
+    return match ? Number(match[1]) : null;
+}
+/** Parse a `(#a,#b,…)` list argument into ids. */
+function refList(arg) {
+    const trimmed = arg.trim();
+    if (!trimmed.startsWith('(') || !trimmed.endsWith(')'))
+        return [];
+    const inner = trimmed.slice(1, -1).trim();
+    if (inner === '')
+        return [];
+    const ids = [];
+    for (const item of splitTopLevelArgs(inner)) {
+        const id = singleRef(item);
+        if (id !== null)
+            ids.push(id);
+    }
+    return ids;
+}
+/**
+ * Every reference in a line's argument list, paired with whether it sits
+ * somewhere neither `filterHiddenRefsFromRelationshipLine` can strip (a direct
+ * list element) nor withhold the line for (a whole single-valued attribute) —
+ * i.e. nested inside a list of lists or a typed value. `null` when the line's
+ * argument list cannot be parsed at all: a line no rewrite can narrow, which the
+ * analysis must treat as a blocker rather than as "names nothing".
+ */
+function classifyRefs(line) {
+    const attrs = topLevelAttrs(line);
+    if (attrs === null)
+        return null;
+    const out = [];
+    for (const attr of attrs) {
+        const direct = singleRef(attr);
+        if (direct !== null) {
+            out.push([direct, false]);
+            continue;
+        }
+        if (attr.startsWith('(') && attr.endsWith(')')) {
+            const inner = attr.slice(1, -1).trim();
+            if (inner === '')
+                continue;
+            for (const item of splitTopLevelArgs(inner)) {
+                const id = singleRef(item);
+                if (id !== null)
+                    out.push([id, false]);
+                else
+                    for (const nested of argRefs(item))
+                        out.push([nested, true]);
+            }
+            continue;
+        }
+        for (const nested of argRefs(attr))
+            out.push([nested, true]);
+    }
+    return out;
+}
+/**
+ * Every `#N` reference in a chunk of STEP text, skipping quoted strings (where a
+ * `#` is literal) and any leading `#id=` (the line's own id). Reads bytes rather
+ * than decoded text so the reverse-reference scan never decodes a whole model.
+ */
+function argRefs(text) {
+    const bytes = typeof text === 'string' ? new TextEncoder().encode(text) : text;
+    const eq = bytes.indexOf(0x3d /* = */);
+    const from = eq === -1 ? 0 : eq + 1;
+    const out = [];
+    let inString = false;
+    for (let i = from; i < bytes.length; i++) {
+        const byte = bytes[i];
+        if (byte === 0x27 /* ' */) {
+            inString = !inString;
+            continue;
+        }
+        if (inString || byte !== 0x23 /* # */)
+            continue;
+        let j = i + 1;
+        let value = 0;
+        while (j < bytes.length && bytes[j] >= 0x30 && bytes[j] <= 0x39) {
+            value = value * 10 + (bytes[j] - 0x30);
+            j++;
+        }
+        if (j > i + 1) {
+            out.push(value);
+            i = j - 1;
+        }
+    }
+    return out;
+}
+/** The GlobalId (first quoted attribute) of a rooted entity's line. */
+function leadingGuid(line) {
+    const open = line.indexOf('(');
+    if (open === -1)
+        return null;
+    const first = line.indexOf("'", open + 1);
+    if (first === -1)
+        return null;
+    const second = line.indexOf("'", first + 1);
+    if (second === -1)
+        return null;
+    const raw = line.slice(first + 1, second);
+    return /^[0-9A-Za-z_$]{22}$/.test(raw) ? raw : null;
+}
+//# sourceMappingURL=merged-empty-containers.js.map