@bldrs-ai/conway 1.499.1419 → 1.500.1420

package/compiled/examples/browser-bundled.cjs

@@ -30,7 +30,7 @@ var import_node_process = require("node:process");
 var readline = __toESM(require("node:readline"), 1);
 
 // compiled/src/version/version.js
-var versionString = "Conway v1.499.1419";
+var versionString = "Conway v1.500.1420";
 
 // compiled/dependencies/conway-geom/interface/conway_geometry.js
 var wasmType = "";
@@ -2940,9 +2940,6 @@ var StepParser = class extends StepHeaderParser {
             input2.begin();
             const elementResult = parseInlineElement();
             if (elementResult !== void 0) {
-              for (const element of elementResult[0].elements) {
-                element.expressID = expressID;
-              }
               input2.rollback();
               if (tokenws(INF)) {
                 break;

package/compiled/examples/cli-bundled.cjs

@@ -14965,7 +14965,7 @@ ${t5.join("\n")}` : "";
 var import_process = require("process");
 
 // compiled/src/version/version.js
-var versionString = "Conway v1.499.1419";
+var versionString = "Conway v1.500.1420";
 
 // compiled/dependencies/conway-geom/interface/conway_geometry.js
 function pThreadsAllowed() {
@@ -18754,9 +18754,6 @@ var StepParser = class extends StepHeaderParser {
             input.begin();
             const elementResult = parseInlineElement();
             if (elementResult !== void 0) {
-              for (const element of elementResult[0].elements) {
-                element.expressID = expressID;
-              }
               input.rollback();
               if (tokenws(INF)) {
                 break;

package/compiled/examples/cli-step-bundled.cjs

@@ -15943,7 +15943,7 @@ var ParsingBuffer = class {
 };
 
 // compiled/src/version/version.js
-var versionString = "Conway v1.499.1419";
+var versionString = "Conway v1.500.1420";
 
 // compiled/dependencies/conway-geom/interface/conway_geometry.js
 function pThreadsAllowed() {
@@ -18662,9 +18662,6 @@ var StepParser = class extends StepHeaderParser {
             input.begin();
             const elementResult = parseInlineElement();
             if (elementResult !== void 0) {
-              for (const element of elementResult[0].elements) {
-                element.expressID = expressID;
-              }
               input.rollback();
               if (tokenws(INF)) {
                 break;

package/compiled/examples/validator-bundled.cjs

@@ -944,7 +944,7 @@ var EntityTypesIfcCount = 909;
 var entity_types_ifc_gen_default = EntityTypesIfc;
 
 // compiled/src/version/version.js
-var versionString = "Conway v1.499.1419";
+var versionString = "Conway v1.500.1420";
 
 // compiled/dependencies/conway-geom/interface/conway_geometry.js
 var wasmType = "";
@@ -3854,9 +3854,6 @@ var StepParser = class extends StepHeaderParser {
             input.begin();
             const elementResult = parseInlineElement();
             if (elementResult !== void 0) {
-              for (const element of elementResult[0].elements) {
-                element.expressID = expressID;
-              }
               input.rollback();
               if (tokenws(INF)) {
                 break;

package/compiled/src/step/parsing/inf_recovery_index.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=inf_recovery_index.test.d.ts.map

package/compiled/src/step/parsing/inf_recovery_index.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inf_recovery_index.test.d.ts","sourceRoot":"","sources":["../../../../src/step/parsing/inf_recovery_index.test.ts"],"names":[],"mappings":""}

package/compiled/src/step/parsing/inf_recovery_index.test.js

@@ -0,0 +1,108 @@
+// `INF` where a real belongs is not valid ISO 10303-21, but exporters emit it
+// for unbounded quantities and the parser recovers from it. The recovery used
+// to stamp the offending record's express ID over every top-level entry
+// indexed so far in the block, which corrupted every lookup that followed.
+//
+// It stayed hidden only because no public corpus model reaches this recovery.
+// Not because a failed parse is harmless: the stamping ran before the rollback
+// and the INF check, so any top-level inline-instance failure poisoned the
+// index, and parseDataToModel builds a model from those elements whatever the
+// ParseResult. A private model reaches it - `IFCQUANTITYLENGTH(...,INF,$)`
+// from a Swiss architectural export - where it cost 3,116 entities and
+// produced 630 relationship failures all reporting the same express ID.
+// See bldrs-ai/conway#412, #481, #482.
+//
+// Parser-only, so no geometry wasm is initialized here.
+import { describe, expect, test } from "@jest/globals";
+import IfcStepParser from "../../ifc/ifc_step_parser.js";
+import ParsingBuffer from "../../parsing/parsing_buffer.js";
+import { ParseResult } from "./step_parser.js";
+const parser = IfcStepParser.Instance;
+// The middle record carries the bare INF. The records around it are ordinary,
+// and they are the ones the stamping loop used to overwrite - the bug is not
+// in how the INF record itself is read, it is in what reading it does to
+// everything already indexed.
+// The express IDs under test, kept in one place so the assertions read as
+// "the IDs written in the source", which is exactly what the bug destroyed.
+const BEFORE_ID = 11;
+const INF_ID = 22;
+const AFTER_ID = 33;
+const EXPECTED_IDS = [BEFORE_ID, INF_ID, AFTER_ID];
+// One template, one substitution point. Derived with String.replace on a
+// whitespace-exact literal, the controls below would silently become copies of
+// the INF case the moment anyone reflowed the source - replace() returns its
+// input unchanged when the token is absent - and "indexes the same as the
+// equivalent record with a real" would degrade to expect(x).toEqual(x), which
+// passes even with the bug reinstated.
+const VALUE_SLOT = "<<VALUE>>";
+const TEMPLATE = [
+    `#${BEFORE_ID}= IFCQUANTITYLENGTH('before',$,$,1.5,$);`,
+    `#${INF_ID}= IFCQUANTITYLENGTH('unbounded',$,$,${VALUE_SLOT},$);`,
+    `#${AFTER_ID}= IFCQUANTITYLENGTH('after',$,$,2.5,$);`,
+].join("\n");
+/**
+ * Build the fixture with a given value in the middle record's 4th attribute.
+ *
+ * @param value The value text to substitute.
+ * @return {string} The fixture source.
+ */
+function withValue(value) {
+    if (!TEMPLATE.includes(VALUE_SLOT)) {
+        throw new Error("fixture template lost its substitution slot");
+    }
+    return TEMPLATE.replace(VALUE_SLOT, value);
+}
+// Leading whitespace preserved from the real export, since it is what puts an
+// identifier-like token where an attribute is expected.
+const WITH_INF = withValue("          INF");
+// The control: whatever the index looks like with an ordinary real is what the
+// INF version has to match.
+const WITHOUT_INF = withValue("3.5");
+// The same export writes `-INF` for the opposite bound. Also a CONTROL, not a
+// second case of the bug: a leading '-' is dispatched as a number, so it never
+// reaches the inline-instance recovery and was never affected. Kept so that
+// stays visible - the defect is specific to the bare identifier-like form, and
+// anyone reading INF handling should not assume both directions went through
+// it.
+const WITH_NEGATIVE_INF = withValue("         -INF");
+/**
+ * Parse a data block and return each top-level entry's express ID, in order.
+ *
+ * @param source The STEP text to parse.
+ * @return {number[]} Express IDs as indexed.
+ */
+function indexedExpressIDs(source) {
+    const input = new ParsingBuffer(new TextEncoder().encode(source));
+    const [index, result] = parser.parseDataBlock(input);
+    // INCOMPLETE is the expected result for a bare run of records with no
+    // ENDSEC; terminator - what matters here is that it is not a syntax error.
+    expect([ParseResult.COMPLETE, ParseResult.INCOMPLETE]).toContain(result);
+    return index.elements.map((element) => element.expressID);
+}
+describe("a bare INF attribute", () => {
+    test("does not stamp its express ID over the records before it", () => {
+        expect(indexedExpressIDs(WITH_INF)).toEqual(EXPECTED_IDS);
+    });
+    test("indexes the same as the equivalent record with a real", () => {
+        expect(indexedExpressIDs(WITH_INF))
+            .toEqual(indexedExpressIDs(WITHOUT_INF));
+    });
+    // Passes with or without the fix, by design - see WITH_NEGATIVE_INF above.
+    test("negative INF is dispatched as a number and never took this path", () => {
+        expect(indexedExpressIDs(WITH_NEGATIVE_INF)).toEqual(EXPECTED_IDS);
+    });
+    // The whole file has to remain resolvable, not just the index array: a
+    // corrupted express ID column makes getElementByExpressID hand back the
+    // wrong record, which is how this surfaced as relationship failures rather
+    // than as a parse error.
+    test("every record is still reachable by its own express ID", () => {
+        const [result, model] = parser.parseDataToModel(new ParsingBuffer(new TextEncoder().encode(WITH_INF)));
+        expect([ParseResult.COMPLETE, ParseResult.INCOMPLETE]).toContain(result);
+        expect(model).not.toBeUndefined();
+        for (const expressID of EXPECTED_IDS) {
+            const element = model?.getElementByExpressID(expressID);
+            expect(element).not.toBeUndefined();
+            expect(element?.expressID).toBe(expressID);
+        }
+    });
+});

package/compiled/src/step/parsing/step_parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"step_parser.d.ts","sourceRoot":"","sources":["../../../../src/step/parsing/step_parser.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,2BAA2B,CAAA;AAEjD,OAAO,aAAa,MAAM,8BAA8B,CAAA;AAcxD,OAAO,iBAAiB,EAAE,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AAEpE,MAAM,WAAW,kBAAkB,CAAC,UAAU;IAE5C,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,CAAC,EAAE,UAAU,CAAA;IACnB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,YAAY,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAA;IAE/C,cAAc,CAAC,EAAE,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAA;CACpD;AAED,MAAM,WAAW,oBAAoB,CAAC,UAAU,CAAE,SAAQ,kBAAkB,CAAC,UAAU,CAAC;IAEtF,SAAS,CAAC,EAAE,SAAS,CAAA;CACtB;AAED,MAAM,WAAW,cAAc,CAAC,UAAU,CAAE,SAAQ,kBAAkB,CAAC,UAAU,CAAC;IAEhF,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,SAAS,CAAC,UAAU;IAEnC,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC,EAAE,CAAA;CAEvC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa,CAAC,UAAU;IAEvC;;;;;OAKG;IACH,YAAY,CAAE,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,GAAI,IAAI,CAAA;IAEvD;;;OAGG;IACH,KAAK,IAAI,IAAI,CAAA;CACd;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,GAAG,CAAA;CACX;AAID;;GAEG;AAGH,oBAAY,WAAW;IAErB,QAAQ,IAAI;IACZ,UAAU,IAAI;IACd,YAAY,IAAI;IAChB,YAAY,IAAI;IAChB,YAAY,IAAI;CACjB;AAyBD,MAAM,MAAM,gBAAgB,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;AAC/E,MAAM,MAAM,uBAAuB,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;AAEtF;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAE,WAAW,EAAE,MAAM,KAAM,IAAI,CAAA;AAWnE,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC7B;AAED,MAAM,MAAM,iBAAiB,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;AAGzD;;GAEG;AACH,qBAAa,gBAAgB;IAE3B,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAkB;IAE3C;;;;OAIG;IACH,WAAkB,QAAQ,IAAI,gBAAgB,CAQ7C;IAED;;;;;OAKG;IACI,WAAW,CAAC,KAAK,EAAE,aAAa,GAAG,iBAAiB;CA0L5D;AACD;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,UAAU,CAAC,UAAU,CAAE,SAAQ,gBAAgB;IAQtD,OAAO,CAAC,QAAQ,CAAC,MAAM;IANnC;;;;;OAKG;gBAC0B,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAKpE;;;;;;;;;;;;;OAaG;IACI,gBAAgB,CACnB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,iBAAiB,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS;IA+D9E;;;;;;;;;;OAUG;IACI,cAAc,CACjB,KAAK,EAAE,aAAa,EACpB,UAAU,CAAC,EAAE,qBAAqB,GAAI,gBAAgB,CAAC,UAAU,CAAC;IAgBtE;;;;;;;;;;;;;;;;;OAiBG;IACI,sBAAsB,CACzB,KAAK,EAAE,aAAa,EACpB,gBAAgB,EAAE,CAAE,KAAK,EAAE,aAAa,KAAM,IAAI,EAClD,eAAe,CAAC,EAAE,CAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,KAAM,IAAI,EAChG,UAAU,CAAC,EAAE,qBAAqB,EAClC,IAAI,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,GAAI,gBAAgB,CAAC,UAAU,CAAC;IAiBpE;;;;;;;;;;;;;;;;;OAiBG;IACU,2BAA2B,CACpC,KAAK,EAAE,aAAa,EACpB,gBAAgB,EAAE,CAAE,KAAK,EAAE,aAAa,KAAM,IAAI,EAClD,eAAe,CAAC,EAAE,CAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,KAAM,IAAI,EAChG,UAAU,CAAC,EAAE,qBAAqB,EAClC,IAAI,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,eAAe,GAAE,MAAwC,GACzD,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAwBzC;;;;;;;;;;;OAWG;IACU,mBAAmB,CAC5B,KAAK,EAAE,aAAa,EACpB,UAAU,CAAC,EAAE,qBAAqB,EAClC,eAAe,GAAE,MAAwC,GACzD,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAuBzC;;;;;;;;;OASG;IACH,OAAO,CAAE,yBAAyB;IA8blC;;;;;;;OAOG;IACI,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;CAiarF"}
+{"version":3,"file":"step_parser.d.ts","sourceRoot":"","sources":["../../../../src/step/parsing/step_parser.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,2BAA2B,CAAA;AAEjD,OAAO,aAAa,MAAM,8BAA8B,CAAA;AAcxD,OAAO,iBAAiB,EAAE,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AAEpE,MAAM,WAAW,kBAAkB,CAAC,UAAU;IAE5C,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,CAAC,EAAE,UAAU,CAAA;IACnB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,YAAY,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAA;IAE/C,cAAc,CAAC,EAAE,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAA;CACpD;AAED,MAAM,WAAW,oBAAoB,CAAC,UAAU,CAAE,SAAQ,kBAAkB,CAAC,UAAU,CAAC;IAEtF,SAAS,CAAC,EAAE,SAAS,CAAA;CACtB;AAED,MAAM,WAAW,cAAc,CAAC,UAAU,CAAE,SAAQ,kBAAkB,CAAC,UAAU,CAAC;IAEhF,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,SAAS,CAAC,UAAU;IAEnC,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC,EAAE,CAAA;CAEvC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa,CAAC,UAAU;IAEvC;;;;;OAKG;IACH,YAAY,CAAE,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,GAAI,IAAI,CAAA;IAEvD;;;OAGG;IACH,KAAK,IAAI,IAAI,CAAA;CACd;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,GAAG,CAAA;CACX;AAID;;GAEG;AAGH,oBAAY,WAAW;IAErB,QAAQ,IAAI;IACZ,UAAU,IAAI;IACd,YAAY,IAAI;IAChB,YAAY,IAAI;IAChB,YAAY,IAAI;CACjB;AAyBD,MAAM,MAAM,gBAAgB,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;AAC/E,MAAM,MAAM,uBAAuB,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;AAEtF;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAE,WAAW,EAAE,MAAM,KAAM,IAAI,CAAA;AAWnE,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC7B;AAED,MAAM,MAAM,iBAAiB,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;AAGzD;;GAEG;AACH,qBAAa,gBAAgB;IAE3B,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAkB;IAE3C;;;;OAIG;IACH,WAAkB,QAAQ,IAAI,gBAAgB,CAQ7C;IAED;;;;;OAKG;IACI,WAAW,CAAC,KAAK,EAAE,aAAa,GAAG,iBAAiB;CA0L5D;AACD;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,UAAU,CAAC,UAAU,CAAE,SAAQ,gBAAgB;IAQtD,OAAO,CAAC,QAAQ,CAAC,MAAM;IANnC;;;;;OAKG;gBAC0B,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAKpE;;;;;;;;;;;;;OAaG;IACI,gBAAgB,CACnB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,iBAAiB,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS;IA+D9E;;;;;;;;;;OAUG;IACI,cAAc,CACjB,KAAK,EAAE,aAAa,EACpB,UAAU,CAAC,EAAE,qBAAqB,GAAI,gBAAgB,CAAC,UAAU,CAAC;IAgBtE;;;;;;;;;;;;;;;;;OAiBG;IACI,sBAAsB,CACzB,KAAK,EAAE,aAAa,EACpB,gBAAgB,EAAE,CAAE,KAAK,EAAE,aAAa,KAAM,IAAI,EAClD,eAAe,CAAC,EAAE,CAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,KAAM,IAAI,EAChG,UAAU,CAAC,EAAE,qBAAqB,EAClC,IAAI,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,GAAI,gBAAgB,CAAC,UAAU,CAAC;IAiBpE;;;;;;;;;;;;;;;;;OAiBG;IACU,2BAA2B,CACpC,KAAK,EAAE,aAAa,EACpB,gBAAgB,EAAE,CAAE,KAAK,EAAE,aAAa,KAAM,IAAI,EAClD,eAAe,CAAC,EAAE,CAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,KAAM,IAAI,EAChG,UAAU,CAAC,EAAE,qBAAqB,EAClC,IAAI,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,eAAe,GAAE,MAAwC,GACzD,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAwBzC;;;;;;;;;;;OAWG;IACU,mBAAmB,CAC5B,KAAK,EAAE,aAAa,EACpB,UAAU,CAAC,EAAE,qBAAqB,EAClC,eAAe,GAAE,MAAwC,GACzD,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAuBzC;;;;;;;;;OASG;IACH,OAAO,CAAE,yBAAyB;IAydlC;;;;;;;OAOG;IACI,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;CAiarF"}

package/compiled/src/step/parsing/step_parser.js

@@ -661,9 +661,38 @@ export default class StepParser extends StepHeaderParser {
                         input.begin();
                         const elementResult = parseInlineElement();
                         if (elementResult !== (void 0)) {
-                            for (const element of elementResult[0].elements) {
-                                element.expressID = expressID;
-                            }
+                            // No stamping here. This used to run
+                            //
+                            //   for ( const element of elementResult[0].elements ) {
+                            //     element.expressID = expressID
+                            //   }
+                            //
+                            // and elementResult[0] is `indexResult` - syntaxError() returns
+                            // it wholesale - so that wrote THIS record's express ID over
+                            // every top-level entry indexed so far in the block.
+                            //
+                            // It cannot have been doing anything useful. Both pushEntry
+                            // sites already set `expressID` at construction, so every entry
+                            // arrives correct and the loop could only overwrite correct
+                            // values with one wrong one. The same recovery inside the nested
+                            // parseInlineElement - begin, parse, rollback, tokenws(INF) - has
+                            // never had the loop and works.
+                            //
+                            // Note it ran BEFORE the rollback and the INF check, so it was
+                            // never specific to INF: any top-level inline-instance parse
+                            // failure poisoned the index the same way. And the index is not
+                            // discarded on a syntax error - parseDataToModel builds the
+                            // model from itemIndex.elements whatever the ParseResult, and
+                            // the loaders only log and continue - so a poisoned index does
+                            // reach consumers.
+                            //
+                            // What kept it hidden is narrower than that: no public corpus
+                            // model reaches this recovery at all. A private one does, via an
+                            // exporter writing `IFCQUANTITYLENGTH(...,INF,$)` for an
+                            // unbounded quantity - not valid ISO 10303-21, but what the tool
+                            // emits - where it cost 3,116 entities and produced 630
+                            // relationship failures all naming the same record.
+                            // See #412, #481, #482.
                             input.rollback();
                             if (tokenws(INF)) {
                                 break;

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.499.1419';
+const versionString = 'Conway v1.500.1420';
 export { versionString };