@bldrs-ai/conway 1.536.1507 → 1.543.1513

package/compiled/src/ifc/ifc_geometry_extraction.js

@@ -1,6 +1,8 @@
 import { BlendMode, } from "../../dependencies/conway-geom/index.js";
 import { Uint32Sink } from "../step/parsing/uint32_sink.js";
 import { StepBufferNotResidentError } from "../step/step_buffer_provider.js";
+import { DanglingReferenceError } from "../step/dangling_reference_error.js";
+import { DanglingPlacementError } from "./dangling_placement_error.js";
 import { exponentToRoughness } from "../core/canonical_material.js";
 import { CanonicalMeshType } from "../core/canonical_mesh.js";
 import { yieldToEventLoop } from "../core/progress.js";
@@ -192,6 +194,14 @@ export class IfcGeometryExtraction {
         // Guards prepareExtractionMaps_ so the demand path and the whole-model
         // walk can both trigger it without duplicating work.
         this.extractionMapsPrepared_ = false;
+        /* Whether the cached set came from the PAGED walk. A windowed source can
+         * cache an incomplete set from the sync walk (that is the defect
+         * ensureAggregateTargetLocalIDs fixes), and the cache is for the model's
+         * life — so the paged walk recomputes over a sync-built set rather than
+         * trusting whichever caller happened to arrive first. Ordering that
+         * decides correctness and is invisible when it breaks is not worth
+         * relying on. */
+        this.aggregateTargetsPaged_ = false;
         this.csgMemoization = !this.lowMemoryMode;
         this.quietRecoverableLogging = false;
         this.materials = model.materials;
@@ -4073,6 +4083,12 @@ export class IfcGeometryExtraction {
      * IFCLOCALPLACEMENT ancestors and their axis/point records included,
      * since `extractPlacement` resolves them through the same layer.
      *
+     * Only an unresolved reference (`DanglingReferenceError`) is tagged as
+     * a deferral. A placement that is malformed rather than unscanned still
+     * throws, and still stops the product being extracted, but propagates
+     * untagged so the preview does not queue it for a retry that can never
+     * come good — see the catch below.
+     *
      * The throw intentionally propagates: the demand seam
      * (`extractProductGeometryByLocalID` callers, the preview adapter's
      * per-unit catch) already treats a throwing product as
@@ -4095,6 +4111,27 @@ export class IfcGeometryExtraction {
                 this.extractPlacement(objectPlacement);
             }
         }
+        catch (error) {
+            // Tagged, not swallowed. The throw still propagates and callers still
+            // treat it as not-yet-extractable — but a preview tick that catches it
+            // can now say WHY a product deferred. Without that, a model whose
+            // preview stays blank is indistinguishable from one deferring for some
+            // other reason, and the fix for those is not the same (conway#542).
+            //
+            // Only an UNRESOLVED reference earns the tag. Everything else this
+            // chain can throw — a placement record of the wrong entity type, a
+            // select that does not hold an IfcAxis2Placement, a malformed axis
+            // literal — is a property of the file, not of how much of it has been
+            // scanned, so a longer prefix cannot change the answer. Tagging those
+            // put them in the preview's retry queue permanently, and a non-empty
+            // retry queue is also what triggers early generation PREEMPTION, so a
+            // single broken placement could keep buying rebuilds that could never
+            // satisfy it (codex round 1 on #543).
+            if (error instanceof DanglingReferenceError) {
+                throw new DanglingPlacementError(product.localID, error);
+            }
+            throw error;
+        }
         finally {
             model.nullOnErrors = priorNullOnErrors;
         }
@@ -4939,33 +4976,123 @@ export class IfcGeometryExtraction {
         const targets = new Set();
         const productTypes = new Set(IfcProduct.query);
         for (const relAggregate of this.model.types(IfcRelAggregates)) {
+            this.addAggregateTargets_(relAggregate, targets, productTypes);
+        }
+        this.aggregateTargetLocalIDs_ = targets;
+        return targets;
+    }
+    /**
+     * Windowed twin of {@link aggregateTargetLocalIDs}: page each
+     * relationship record before scanning it, so the set is COMPLETE rather
+     * than whatever this instance's LRU happened to still hold.
+     *
+     * **This is a correctness fix, not a prefetch.** The sync walk reads each
+     * `IfcRelAggregates` record's bytes, and on a windowed source those pages
+     * are routinely gone by the first pump — the parse walked past them
+     * hundreds of megabytes ago. The per-record catch then swallows the
+     * non-resident read, the incomplete set is **cached for the model's
+     * life**, and every child it failed to record stays in the per-product
+     * worklist *as well as* in the aggregates pass. That product is then
+     * emitted twice: once with the uncut/placeholder content the deferral
+     * exists to suppress, and again from the aggregates pass. Measured on
+     * `aggregate_master_voids.ifc` behind 512-byte windows: 0 targets against
+     * a resident open's 1, and 3 demand products against 2.
+     *
+     * Paged in bounded waves, and the scan happens INSIDE each wave rather
+     * than after all of them: a model with many assemblies would otherwise
+     * need every relationship record resident at once, which is the residency
+     * ceiling this is supposed to respect.
+     *
+     * A non-resident read still throws from here — after this has paged the
+     * record, that is a defect in the paging, not a property of the file.
+     *
+     * @param waveSize Relationship records paged and scanned at once.
+     * @return {Promise<Set<number>>} The same set the sync twin caches.
+     */
+    async ensureAggregateTargetLocalIDs(waveSize = IfcGeometryExtraction.AGGREGATE_TARGET_WAVE_SIZE_) {
+        if (!this.model.isSourceExternal) {
+            return this.aggregateTargetLocalIDs();
+        }
+        if (this.aggregateTargetsPaged_) {
+            return this.aggregateTargetLocalIDs_;
+        }
+        const targets = new Set();
+        const productTypes = new Set(IfcProduct.query);
+        const wave = Math.max(1, Math.floor(waveSize));
+        let pending = [];
+        const drain = async () => {
+            const pinned = new Set();
             try {
-                // RelatedObjects as express IDs — do not hydrate every child
-                // product (that paged most of the file during demand prep).
-                relAggregate.forEachReferenceInField(REL_AGGREGATES_RELATED_OFFSET, REL_AGGREGATES_RELATED_BASE, REL_AGGREGATES_RELATED_DEPTH, (expressID) => {
-                    if (expressID === void 0) {
-                        return true;
-                    }
-                    const relatedLocalID = this.model.resolveExpressID(expressID);
-                    if (relatedLocalID === void 0) {
-                        return true;
-                    }
-                    const typeID = this.model.typeIDOf(relatedLocalID);
-                    if (typeID !== void 0 && productTypes.has(typeID)) {
-                        targets.add(relatedLocalID);
-                    }
-                    return true;
-                });
+                for (const relAggregate of pending) {
+                    pinned.add(relAggregate.localID);
+                    this.model.pinByLocalID(relAggregate.localID);
+                }
+                await Promise.all([...pinned].map((localID) => this.model.ensureResidentByLocalID(localID)));
+                for (const relAggregate of pending) {
+                    this.addAggregateTargets_(relAggregate, targets, productTypes, true);
+                }
             }
-            catch {
-                // Malformed relationship rows are tolerated exactly like the
-                // aggregates pass itself tolerates them (permissive catch) —
-                // their targets simply stay in the first-pass walk.
+            finally {
+                this.model.releaseSourceViews(pinned);
+                this.model.unpinLocalIDs(pinned);
+                pending = [];
             }
+        };
+        for (const relAggregate of this.model.types(IfcRelAggregates)) {
+            pending.push(relAggregate);
+            if (pending.length >= wave) {
+                await drain();
+            }
+        }
+        if (pending.length > 0) {
+            await drain();
         }
         this.aggregateTargetLocalIDs_ = targets;
+        this.aggregateTargetsPaged_ = true;
         return targets;
     }
+    /**
+     * Record one relationship's product children.
+     *
+     * Shared by the sync and paged walks so there is a single definition of
+     * what an aggregate target is. Reads only this relationship's own record:
+     * children resolve through the express map and the typeID column, so the
+     * scan never hydrates a child product (doing so paged most of the file
+     * during demand prep).
+     *
+     * @param relAggregate The relationship to scan.
+     * @param targets Accumulator.
+     * @param productTypes The IfcProduct type set.
+     * @param strictResidency When set, a non-resident read propagates instead
+     * of being tolerated — for the paged walk, which has already made the
+     * record resident and so can only reach that error through a defect.
+     */
+    addAggregateTargets_(relAggregate, targets, productTypes, strictResidency = false) {
+        try {
+            relAggregate.forEachReferenceInField(REL_AGGREGATES_RELATED_OFFSET, REL_AGGREGATES_RELATED_BASE, REL_AGGREGATES_RELATED_DEPTH, (expressID) => {
+                if (expressID === void 0) {
+                    return true;
+                }
+                const relatedLocalID = this.model.resolveExpressID(expressID);
+                if (relatedLocalID === void 0) {
+                    return true;
+                }
+                const typeID = this.model.typeIDOf(relatedLocalID);
+                if (typeID !== void 0 && productTypes.has(typeID)) {
+                    targets.add(relatedLocalID);
+                }
+                return true;
+            });
+        }
+        catch (error) {
+            if (strictResidency && error instanceof StepBufferNotResidentError) {
+                throw error;
+            }
+            // Malformed relationship rows are tolerated exactly like the
+            // aggregates pass itself tolerates them (permissive catch) —
+            // their targets simply stay in the first-pass walk.
+        }
+    }
     /**
      * One-time extraction setup shared by the whole-model walk and the
      * per-product demand path (Phase B2): linear scaling factor and the
@@ -5717,3 +5844,9 @@ export class IfcGeometryExtraction {
         }
     }
 }
+/* Relationship records paged and scanned at once by
+ * ensureAggregateTargetLocalIDs. Each is a single small row, and the scan
+ * runs inside the wave, so this bounds what has to be resident
+ * simultaneously rather than what is read in total. */
+// eslint-disable-next-line no-magic-numbers
+IfcGeometryExtraction.AGGREGATE_TARGET_WAVE_SIZE_ = 512;

package/compiled/src/index.d.ts

@@ -30,6 +30,6 @@ export { GeometryTilePoolBindings, TileAssetExtractor, WasmTileBackend, createWa
 export { IfcTileAssetExtractor, TileCommitBindings } from "./ifc/ifc_tile_extractor.js";
 export { ChunkedPool, ChunkSpan } from "./core/mem/chunked_pool.js";
 export { SharedAssetPool } from "./core/mem/shared_asset_pool.js";
-export { geometryDispatchKey, shardOfDispatchKey } from "./ifc/geometry_dispatch.js";
+export { computeDispatchKeys, computeRelatingLocalIDs, geometryDispatchKey, relatingLocalIDOf, shardOfDispatchKey, } from "./ifc/geometry_dispatch.js";
 export { GeometryTilePool, InstanceAssetSource, GeometryAsset } from "./core/geometry_tile_pool.js";
 //# sourceMappingURL=index.d.ts.map

package/compiled/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,OAAO,EACL,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,eAAe,GAChB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAEjD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAE/F,OAAO,EAAE,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAA;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,eAAe,EACf,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAChE,OAAO,EACL,kBAAkB,EAClB,SAAS,EACT,iBAAiB,EACjB,SAAS,EACT,QAAQ,EACR,eAAe,EACf,aAAa,EACb,UAAU,GACX,MAAM,qBAAqB,CAAA;AAU5B,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,6BAA6B,EAC7B,kBAAkB,EAClB,eAAe,EACf,sBAAsB,GACvB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,wCAAwC,CAAA;AAC/C,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAA;AACjE,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACnF,OAAO,EACL,gCAAgC,EAChC,gCAAgC,EAChC,oBAAoB,EACpB,UAAU,GACX,MAAM,8BAA8B,CAAA;AACrC,OAAO,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAA;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AACtE,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAC7E,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAA;AACnG,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AACnG,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AACpF,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AACjF,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,OAAO,EACL,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,eAAe,GAChB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAEjD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAE/F,OAAO,EAAE,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAA;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,eAAe,EACf,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAChE,OAAO,EACL,kBAAkB,EAClB,SAAS,EACT,iBAAiB,EACjB,SAAS,EACT,QAAQ,EACR,eAAe,EACf,aAAa,EACb,UAAU,GACX,MAAM,qBAAqB,CAAA;AAU5B,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,6BAA6B,EAC7B,kBAAkB,EAClB,eAAe,EACf,sBAAsB,GACvB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,wCAAwC,CAAA;AAC/C,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAA;AACjE,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACnF,OAAO,EACL,gCAAgC,EAChC,gCAAgC,EAChC,oBAAoB,EACpB,UAAU,GACX,MAAM,8BAA8B,CAAA;AACrC,OAAO,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAA;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AACtE,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAC7E,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAA;AACnG,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AACnG,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AACpF,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA"}

package/compiled/src/index.js

@@ -36,5 +36,5 @@ export { createWasmTileBackend, readGeometryTilePayload, } from "./core/geometry
 export { IfcTileAssetExtractor } from "./ifc/ifc_tile_extractor.js";
 export { ChunkedPool } from "./core/mem/chunked_pool.js";
 export { SharedAssetPool } from "./core/mem/shared_asset_pool.js";
-export { geometryDispatchKey, shardOfDispatchKey } from "./ifc/geometry_dispatch.js";
+export { computeDispatchKeys, computeRelatingLocalIDs, geometryDispatchKey, relatingLocalIDOf, shardOfDispatchKey, } from "./ifc/geometry_dispatch.js";
 export { GeometryTilePool } from "./core/geometry_tile_pool.js";

package/compiled/src/step/dangling_reference_error.d.ts

@@ -0,0 +1,34 @@
+/**
+ * A reference field whose target express ID is not in the model's index.
+ *
+ * The step layer answers "this reference did not resolve" for two causes
+ * that look identical at the throw site but are opposites for a caller
+ * working a mid-parse PREFIX:
+ *
+ * - the referenced record is **absent from the index** — on a prefix that
+ *   usually means "not scanned yet", so a longer prefix may resolve it;
+ * - the referenced record **is** indexed but is the wrong entity type, or
+ *   the field holds something that is not a reference at all — no amount
+ *   of extra index changes that answer.
+ *
+ * Only the first is worth deferring and retrying. Both used to throw the
+ * same bare `Error( 'Value in STEP was incorrectly typed' )`, so
+ * `IfcGeometryExtraction.extractPlacementStrict_` tagged both as
+ * {@link DanglingPlacementError} and the preview channels re-queued a
+ * permanently broken placement on every generation — and, worse, its
+ * presence in `deferredForRetry_` is what triggers early generation
+ * PREEMPTION, so one malformed placement could keep paying for rebuilds
+ * that could never satisfy it (conway#542, codex round 1 on #543).
+ *
+ * Deliberately thrown only from the reference-resolution failure paths in
+ * `StepEntityBase`; it carries no fallback meaning, so a caller that does
+ * not care can keep treating it as the `Error` it extends.
+ */
+export declare class DanglingReferenceError extends Error {
+    readonly expressID: number;
+    /**
+     * @param expressID The referenced record that is not in the index.
+     */
+    constructor(expressID: number);
+}
+//# sourceMappingURL=dangling_reference_error.d.ts.map

package/compiled/src/step/dangling_reference_error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dangling_reference_error.d.ts","sourceRoot":"","sources":["../../../src/step/dangling_reference_error.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,qBAAa,sBAAuB,SAAQ,KAAK;aAIlB,SAAS,EAAE,MAAM;IAH9C;;OAEG;gBAC0B,SAAS,EAAE,MAAM;CAM/C"}

package/compiled/src/step/dangling_reference_error.js

@@ -0,0 +1,36 @@
+/**
+ * A reference field whose target express ID is not in the model's index.
+ *
+ * The step layer answers "this reference did not resolve" for two causes
+ * that look identical at the throw site but are opposites for a caller
+ * working a mid-parse PREFIX:
+ *
+ * - the referenced record is **absent from the index** — on a prefix that
+ *   usually means "not scanned yet", so a longer prefix may resolve it;
+ * - the referenced record **is** indexed but is the wrong entity type, or
+ *   the field holds something that is not a reference at all — no amount
+ *   of extra index changes that answer.
+ *
+ * Only the first is worth deferring and retrying. Both used to throw the
+ * same bare `Error( 'Value in STEP was incorrectly typed' )`, so
+ * `IfcGeometryExtraction.extractPlacementStrict_` tagged both as
+ * {@link DanglingPlacementError} and the preview channels re-queued a
+ * permanently broken placement on every generation — and, worse, its
+ * presence in `deferredForRetry_` is what triggers early generation
+ * PREEMPTION, so one malformed placement could keep paying for rebuilds
+ * that could never satisfy it (conway#542, codex round 1 on #543).
+ *
+ * Deliberately thrown only from the reference-resolution failure paths in
+ * `StepEntityBase`; it carries no fallback meaning, so a caller that does
+ * not care can keep treating it as the `Error` it extends.
+ */
+export class DanglingReferenceError extends Error {
+    /**
+     * @param expressID The referenced record that is not in the index.
+     */
+    constructor(expressID) {
+        super(`Reference to #${expressID} is not in the index`);
+        this.expressID = expressID;
+        this.name = 'DanglingReferenceError';
+    }
+}

package/compiled/src/step/step_entity_base.d.ts

@@ -141,6 +141,23 @@ export default abstract class StepEntityBase<EntityTypeIDs extends number> imple
      * an absent optional.
      */
     extractLogical(offset: number, baseOffset: number, depth: number, optional: boolean): boolean | null;
+    /**
+     * Classify a reference field that failed to resolve.
+     *
+     * `getElementByExpressID` / `getTypedElementByExpressID` answer
+     * `undefined` for two opposite causes: the record is not in the index at
+     * all, or it is indexed but is the wrong entity type. A mid-parse prefix
+     * reader must tell them apart — the first may resolve once more of the
+     * file is scanned, the second never will — so the absent case gets its
+     * own error type (see {@link DanglingReferenceError}). Called only on a
+     * throwing path, so the extra index lookup costs nothing in the common
+     * case.
+     *
+     * @param expressID The reference's target, or undefined when the field
+     * did not hold a reference at all (an unresolved inline element).
+     * @return {Error} The error to throw.
+     */
+    private unresolvedReferenceError_;
     /**
      * Extract a reference from an offset, without type check.
      *

package/compiled/src/step/step_entity_base.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"step_entity_base.d.ts","sourceRoot":"","sources":["../../../src/step/step_entity_base.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,uDAAuD,CAAA;AACnF,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAgBjD,OAAO,EAAE,UAAU,EAAyB,MAAM,uBAAuB,CAAA;AAEzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAA;AACzE,OAAO,2BAC+B,MAAM,kCAAkC,CAAA;AAC9E,OAAO,aAAa,MAAM,mBAAmB,CAAA;AAG7C,aAAK,YAAY;IACf,OAAO,IAAI;IACX,MAAM,IAAA;IACN,KAAK,IAAA;IACL,IAAI,IAAA;IACJ,IAAI,IAAA;IACJ,GAAG,IAAA;IACH,KAAK,IAAA;IACL,SAAS,IAAA;IACT,OAAO,IAAA;IACP,QAAQ,IAAA;CACT;AAmDD;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,cAAc,CAAC,aAAa,SAAS,MAAM,CAAE,YAAW,MAAM;aAslCxE,OAAO,EAAE,MAAM;IAC/B,OAAO,CAAC,QAAQ,CAAC,kBAAkB;aACnB,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC;IAvlCrD;;OAEG;IACH,aAAoB,IAAI,IAAI,aAAa,CAAA;IAEzC;;;;OAIG;IACH,IAAW,QAAQ,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAKtD;IAED;;;;;;OAMG;IACH,IAAW,QAAQ,IAAI,cAAc,CAAC,aAAa,CAAC,EAAE,GAAG,SAAS,CASjE;IAEM,WAAW,CAChB,CAAC,SAAS,6BAA6B,CAAC,aAAa,CAAC,EACtD,CAAC,SAAS,YAAY,CAAE,CAAC,CAAE,GAAG,cAAc,CAAE,aAAa,CAAE,EAE7D,YAAY,EAAE,CAAC,GACf,CAAC,GAAG,SAAS;IAaf;;;;OAIG;IACH,IAAW,MAAM,IAAI,uBAAuB,CAAC,aAAa,CAAC,CAiB1D;IAED;;;;OAIG;IACH,IAAW,aAAa,IAAI,CAAC,MAAM,EAAE,sBAAsB,CAAC,aAAa,CAAC,CAAC,EAAE,CAwB5E;IAED;;;;;;OAMG;IACH,IAAW,GAAG,IAAI,MAAM,CAEvB;IAED;;;;;OAKG;IACH,IAAW,SAAS,IAAI,MAAM,GAAG,SAAS,CAEzC;IAED;;;;OAIG;IACH,IAAW,QAAQ,IAAI,OAAO,CAE7B;IAED;;;;;OAKG;IACI,QAAQ,IAAI,MAAM;IAIzB;;;;;;;;;;;;OAYG;IACI,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,IAAI;IACzB,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,MAAM;IA2B1B;;;;;;;;;;;;;OAaG;IACI,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,IAAI;IACzB,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,MAAM;IA2B1B;;;;;;;;;;;;;;;;;;;;OAoBG;IACI,cAAc,CACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,OAAO,GAAG,OAAO,GAAG,IAAI;IAsBpC;;;;;;;;OAQG;IACI,gBAAgB,CACrB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAI,cAAc,CAAC,aAAa,CAAC,GAAG,IAAI;IACjD,gBAAgB,CACrB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAI,cAAc,CAAC,aAAa,CAAC;IAiClD;;;;;;;;;;;;;OAaG;IACI,uBAAuB,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,OAAO,GAAI,MAAM,GAAG,IAAI;IA4BtC;;;;;OAKG;IACH,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE;IAcpF;;;;;;OAMG;IACH,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY;;;;;;;;;;IAwB7D;;;OAGG;IACH,oBAAoB,IAAI,UAAU;IAiBlC;;;;;;;OAOG;IACH,SAAS,CAAC,sBAAsB,CAC5B,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,GAAG,SAAS;IAWjE;;;;;;;OAOG;IACI,YAAY,CACjB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,GAAI,KAAK,CAAE,cAAc,CAAE,aAAa,CAAE,GAAG,SAAS,CAAE;IAmBvE;;;;;;;;;;;;;;;OAeG;IACI,aAAa,CAAC,cAAc,EACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAC/D,cAAc,GAAG,IAAI,GAAG,SAAS,EACnC,QAAQ,EAAE,IAAI,GAAG,cAAc,GAAG,IAAI;IACxC;;;;;;;;;;;;;;;OAeG;IACI,aAAa,CAAC,cAAc,EACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAC/D,cAAc,GAAG,SAAS,EAC5B,QAAQ,EAAE,KAAK,GAAG,cAAc;IA6ClC;;;;;;;;;;;;;OAaG;IACI,cAAc,CAAC,CAAC,SAAS,6BAA6B,CAAC,aAAa,CAAC,EAC1E,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,EACd,iBAAiB,EAAE,CAAC,GACpB,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI;IACxB;;;;;;;;;;;;OAYG;IACI,cAAc,CAAC,CAAC,SAAS,6BAA6B,CAAC,aAAa,CAAC,EAC1E,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,EACf,iBAAiB,EAAE,CAAC,GACpB,YAAY,CAAC,CAAC,CAAC;IAiDjB;;;;;;;;;;;;;OAaG;IACH,SAAS,CAAC,oBAAoB,CAAE,CAAC,SAAS,6BAA6B,CAAE,aAAa,CAAE,EACpF,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,CAAC,GACpB,YAAY,CAAE,CAAC,CAAE,GAAG,SAAS;IAgBjC;;;;;;;;;;OAUG;IACI,aAAa,CAChB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,IAAI;IACzC,aAAa,CAChB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;IA0B1C;;OAEG;IACI,UAAU,IAAI,IAAI;IAOzB;;;;;;;;;;OAUG;IACI,kBAAkB,CACrB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,OAAO,GAAI,OAAO;IA6ChC;;;;;;;;;;;;;;;;;OAiBG;IACH;;;;;;;;;;;;;;;;;;OAkBG;IACI,uBAAuB,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,CAAE,SAAS,EAAE,MAAM,GAAG,SAAS,KAAM,OAAO,GAAI,OAAO;IA6BjE,uBAAuB,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,UAAU,GAAI,MAAM;IAS9B;;;;;;;;;;;OAWG;IACI,cAAc,CACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,OAAO,GAAG,IAAI;IACjC;;;;;;;;;;OAUG;IACI,cAAc,CACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,OAAO;IAwC3B;;;;;OAKG;IACH,SAAS,KAAK,MAAM,IAAI,UAAU,CAKjC;IAED;;;;;;;;OAQG;IACH,SAAS,CAAC,qBAAqB,CAC7B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC;IAqB9C;;;;;;;OAOG;IACH,SAAS,CAAC,eAAe,CAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAI,MAAM;IActF;;;;;;OAMG;IACH,SAAS,CAAC,YAAY,CACpB,MAAM,EAAE,MAAM,EACd,iBAAiB,EAAE,QAAQ,CAAE,2BAA2B,CAAE,aAAa,CAAE,CAAE,GAAI,MAAM;IAkBvF;;;;;;;OAOG;gBAKe,OAAO,EAAE,MAAM,EACd,kBAAkB,EAAE,2BAA2B,CAAC,aAAa,CAAC,EAC/D,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,EAEnD,eAAe,CAAC,EAAE,2BAA2B,CAAC,aAAa,CAAC,EAAE;IAEhE,SAAS,CAAC,eAAe,CAAC,EAAE,2BAA2B,CAAC,aAAa,CAAC,EAAE,CAAA;IAExE;;;;;OAKG;IACH,SAAS,CAAC,eAAe,CAAE,KAAK,EAAE,MAAM,GACtC,QAAQ,CAAE,2BAA2B,CAAC,aAAa,CAAC,CAAE;IAgDxD;;OAEG;IACH,SAAS,CAAC,eAAe,IAAI,IAAI;CAKlC"}
+{"version":3,"file":"step_entity_base.d.ts","sourceRoot":"","sources":["../../../src/step/step_entity_base.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,uDAAuD,CAAA;AACnF,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAgBjD,OAAO,EAAE,UAAU,EAAyB,MAAM,uBAAuB,CAAA;AAEzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAA;AACzE,OAAO,2BAC+B,MAAM,kCAAkC,CAAA;AAE9E,OAAO,aAAa,MAAM,mBAAmB,CAAA;AAG7C,aAAK,YAAY;IACf,OAAO,IAAI;IACX,MAAM,IAAA;IACN,KAAK,IAAA;IACL,IAAI,IAAA;IACJ,IAAI,IAAA;IACJ,GAAG,IAAA;IACH,KAAK,IAAA;IACL,SAAS,IAAA;IACT,OAAO,IAAA;IACP,QAAQ,IAAA;CACT;AAmDD;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,cAAc,CAAC,aAAa,SAAS,MAAM,CAAE,YAAW,MAAM;aAinCxE,OAAO,EAAE,MAAM;IAC/B,OAAO,CAAC,QAAQ,CAAC,kBAAkB;aACnB,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC;IAlnCrD;;OAEG;IACH,aAAoB,IAAI,IAAI,aAAa,CAAA;IAEzC;;;;OAIG;IACH,IAAW,QAAQ,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAKtD;IAED;;;;;;OAMG;IACH,IAAW,QAAQ,IAAI,cAAc,CAAC,aAAa,CAAC,EAAE,GAAG,SAAS,CASjE;IAEM,WAAW,CAChB,CAAC,SAAS,6BAA6B,CAAC,aAAa,CAAC,EACtD,CAAC,SAAS,YAAY,CAAE,CAAC,CAAE,GAAG,cAAc,CAAE,aAAa,CAAE,EAE7D,YAAY,EAAE,CAAC,GACf,CAAC,GAAG,SAAS;IAaf;;;;OAIG;IACH,IAAW,MAAM,IAAI,uBAAuB,CAAC,aAAa,CAAC,CAiB1D;IAED;;;;OAIG;IACH,IAAW,aAAa,IAAI,CAAC,MAAM,EAAE,sBAAsB,CAAC,aAAa,CAAC,CAAC,EAAE,CAwB5E;IAED;;;;;;OAMG;IACH,IAAW,GAAG,IAAI,MAAM,CAEvB;IAED;;;;;OAKG;IACH,IAAW,SAAS,IAAI,MAAM,GAAG,SAAS,CAEzC;IAED;;;;OAIG;IACH,IAAW,QAAQ,IAAI,OAAO,CAE7B;IAED;;;;;OAKG;IACI,QAAQ,IAAI,MAAM;IAIzB;;;;;;;;;;;;OAYG;IACI,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,IAAI;IACzB,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,MAAM;IA2B1B;;;;;;;;;;;;;OAaG;IACI,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,IAAI;IACzB,aAAa,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,MAAM;IA2B1B;;;;;;;;;;;;;;;;;;;;OAoBG;IACI,cAAc,CACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,OAAO,GAAG,OAAO,GAAG,IAAI;IAsBpC;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,yBAAyB;IAWjC;;;;;;;;OAQG;IACI,gBAAgB,CACrB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAI,cAAc,CAAC,aAAa,CAAC,GAAG,IAAI;IACjD,gBAAgB,CACrB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAI,cAAc,CAAC,aAAa,CAAC;IAiClD;;;;;;;;;;;;;OAaG;IACI,uBAAuB,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,OAAO,GAAI,MAAM,GAAG,IAAI;IA4BtC;;;;;OAKG;IACH,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE;IAcpF;;;;;;OAMG;IACH,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY;;;;;;;;;;IAwB7D;;;OAGG;IACH,oBAAoB,IAAI,UAAU;IAiBlC;;;;;;;OAOG;IACH,SAAS,CAAC,sBAAsB,CAC5B,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,GAAG,SAAS;IAWjE;;;;;;;OAOG;IACI,YAAY,CACjB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,GAAI,KAAK,CAAE,cAAc,CAAE,aAAa,CAAE,GAAG,SAAS,CAAE;IAmBvE;;;;;;;;;;;;;;;OAeG;IACI,aAAa,CAAC,cAAc,EACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAC/D,cAAc,GAAG,IAAI,GAAG,SAAS,EACnC,QAAQ,EAAE,IAAI,GAAG,cAAc,GAAG,IAAI;IACxC;;;;;;;;;;;;;;;OAeG;IACI,aAAa,CAAC,cAAc,EACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAC/D,cAAc,GAAG,SAAS,EAC5B,QAAQ,EAAE,KAAK,GAAG,cAAc;IA6ClC;;;;;;;;;;;;;OAaG;IACI,cAAc,CAAC,CAAC,SAAS,6BAA6B,CAAC,aAAa,CAAC,EAC1E,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,EACd,iBAAiB,EAAE,CAAC,GACpB,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI;IACxB;;;;;;;;;;;;OAYG;IACI,cAAc,CAAC,CAAC,SAAS,6BAA6B,CAAC,aAAa,CAAC,EAC1E,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,EACf,iBAAiB,EAAE,CAAC,GACpB,YAAY,CAAC,CAAC,CAAC;IAiDjB;;;;;;;;;;;;;OAaG;IACH,SAAS,CAAC,oBAAoB,CAAE,CAAC,SAAS,6BAA6B,CAAE,aAAa,CAAE,EACpF,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,CAAC,GACpB,YAAY,CAAE,CAAC,CAAE,GAAG,SAAS;IAgBjC;;;;;;;;;;OAUG;IACI,aAAa,CAChB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,IAAI;IACzC,aAAa,CAChB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;IA0B1C;;OAEG;IACI,UAAU,IAAI,IAAI;IAOzB;;;;;;;;;;OAUG;IACI,kBAAkB,CACrB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,OAAO,GAAI,OAAO;IA6ChC;;;;;;;;;;;;;;;;;OAiBG;IACH;;;;;;;;;;;;;;;;;;OAkBG;IACI,uBAAuB,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,CAAE,SAAS,EAAE,MAAM,GAAG,SAAS,KAAM,OAAO,GAAI,OAAO;IA6BjE,uBAAuB,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,UAAU,GAAI,MAAM;IAS9B;;;;;;;;;;;OAWG;IACI,cAAc,CACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,IAAI,GAAG,OAAO,GAAG,IAAI;IACjC;;;;;;;;;;OAUG;IACI,cAAc,CACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,KAAK,GAAG,OAAO;IAwC3B;;;;;OAKG;IACH,SAAS,KAAK,MAAM,IAAI,UAAU,CAKjC;IAED;;;;;;;;OAQG;IACH,SAAS,CAAC,qBAAqB,CAC7B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC;IAqB9C;;;;;;;OAOG;IACH,SAAS,CAAC,eAAe,CAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAI,MAAM;IActF;;;;;;OAMG;IACH,SAAS,CAAC,YAAY,CACpB,MAAM,EAAE,MAAM,EACd,iBAAiB,EAAE,QAAQ,CAAE,2BAA2B,CAAE,aAAa,CAAE,CAAE,GAAI,MAAM;IAkBvF;;;;;;;OAOG;gBAKe,OAAO,EAAE,MAAM,EACd,kBAAkB,EAAE,2BAA2B,CAAC,aAAa,CAAC,EAC/D,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,EAEnD,eAAe,CAAC,EAAE,2BAA2B,CAAC,aAAa,CAAC,EAAE;IAEhE,SAAS,CAAC,eAAe,CAAC,EAAE,2BAA2B,CAAC,aAAa,CAAC,EAAE,CAAA;IAExE;;;;;OAKG;IACH,SAAS,CAAC,eAAe,CAAE,KAAK,EAAE,MAAM,GACtC,QAAQ,CAAE,2BAA2B,CAAC,aAAa,CAAC,CAAE;IAgDxD;;OAEG;IACH,SAAS,CAAC,eAAe,IAAI,IAAI;CAKlC"}

package/compiled/src/step/step_entity_base.js

@@ -2,6 +2,7 @@ import { wasmHeapView } from "../core/wasm_heap.js";
 import { skipValue, stepExtractArray, stepExtractArrayBegin, stepExtractArrayToken, stepExtractBinary, stepExtractBoolean, stepExtractInlineElemement, stepExtractLogical, stepExtractNumber, stepExtractOptional, stepExtractReference, stepExtractString, } from "./parsing/step_deserialization_functions.js";
 import { extractIntegerArrayAt } from "./parsing/uint32_sink.js";
 import { stepBufferBase } from "./step_buffer_provider.js";
+import { DanglingReferenceError } from "./dangling_reference_error.js";
 var IfcTokenType;
 (function (IfcTokenType) {
     IfcTokenType[IfcTokenType["UNKNOWN"] = 0] = "UNKNOWN";
@@ -221,6 +222,29 @@ export default class StepEntityBase {
         }
         return value;
     }
+    /**
+     * Classify a reference field that failed to resolve.
+     *
+     * `getElementByExpressID` / `getTypedElementByExpressID` answer
+     * `undefined` for two opposite causes: the record is not in the index at
+     * all, or it is indexed but is the wrong entity type. A mid-parse prefix
+     * reader must tell them apart — the first may resolve once more of the
+     * file is scanned, the second never will — so the absent case gets its
+     * own error type (see {@link DanglingReferenceError}). Called only on a
+     * throwing path, so the extra index lookup costs nothing in the common
+     * case.
+     *
+     * @param expressID The reference's target, or undefined when the field
+     * did not hold a reference at all (an unresolved inline element).
+     * @return {Error} The error to throw.
+     */
+    unresolvedReferenceError_(expressID) {
+        if (expressID !== void 0 &&
+            this.model.resolveExpressID(expressID) === void 0) {
+            return new DanglingReferenceError(expressID);
+        }
+        return new Error("Value in STEP was incorrectly typed");
+    }
     extractReference(offset, baseOffset, depth, optional) {
         // Use the tuple form so the buffer is the SAME view the cursor was
         // recorded against — with a windowed provider, `this.buffer` and a
@@ -231,10 +255,10 @@ export default class StepEntityBase {
             (this.model.getInlineElementByAddress(extractInlineElementAddress(buffer, cursor, endCursor)));
         if (value === void 0) {
             if (!optional) {
-                throw new Error("Value in STEP was incorrectly typed");
+                throw this.unresolvedReferenceError_(expressID);
             }
             if (!this.model.nullOnErrors && stepExtractOptional(buffer, cursor, endCursor) !== null) {
-                throw new Error("Value in STEP was incorrectly typed");
+                throw this.unresolvedReferenceError_(expressID);
             }
             return null;
         }
@@ -417,10 +441,10 @@ export default class StepEntityBase {
             model.getTypedInlineElementByAddress(extractInlineElementAddress(buffer, cursor, endCursor), entityConstructor);
         if (value === void 0) {
             if (!optional) {
-                throw new Error("Value in STEP was incorrectly typed");
+                throw this.unresolvedReferenceError_(expressID);
             }
             if (!model.nullOnErrors && stepExtractOptional(buffer, cursor, endCursor) !== null) {
-                throw new Error("Value in STEP was incorrectly typed");
+                throw this.unresolvedReferenceError_(expressID);
             }
             return null;
         }

package/compiled/src/version/version.js

@@ -5,5 +5,5 @@
 // only the first segment (major) is meaningful and is the one CI carries forward.
 // Must stay in `vN.N.N` shape: the CI stamp regex, scripts/updateVersion.mjs, and
 // statistics.ts all match `v\d+\.\d+\.\d+`.
-const versionString = 'Conway v1.536.1507';
+const versionString = 'Conway v1.543.1513';
 export { versionString };