@ifc-lite/ids 1.15.53 → 1.16.0

package/dist/bridge/ancestors.d.ts

@@ -0,0 +1,14 @@
+import { type IfcDataStore } from '@ifc-lite/parser';
+import type { PartOfRelation, ParentInfo } from '../types.js';
+/**
+ * BFS walk of the partOf ancestor graph for `expressId`, following the
+ * edge type(s) `relationType` maps to. IDS partOf is transitive, so any
+ * reachable ancestor counts; the merged voids/fills relation walks two
+ * edge types per node, so the queue follows each mapped type in turn.
+ *
+ * The three type/name resolvers are passed in rather than closed over so
+ * this can run standalone from the accessor's own method table (which is
+ * how `IFCDataAccessor.getAncestors` calls it).
+ */
+export declare function resolvePartOfAncestors(store: IfcDataStore, expressId: number, relationType: PartOfRelation, getEntityType: (expressId: number) => string | undefined, getPredefinedTypeRaw: (expressId: number) => string | undefined, getObjectType: (expressId: number) => string | undefined): ParentInfo[];
+//# sourceMappingURL=ancestors.d.ts.map

package/dist/bridge/ancestors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ancestors.d.ts","sourceRoot":"","sources":["../../src/bridge/ancestors.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGrD,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA2B9D;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,cAAc,EAC5B,aAAa,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EACxD,oBAAoB,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAC/D,aAAa,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GACvD,UAAU,EAAE,CAkCd"}

package/dist/bridge/ancestors.js

@@ -0,0 +1,76 @@
+/* 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 { RelationshipType } from '@ifc-lite/data';
+// Map IDS PartOf relations to the numeric RelationshipType enum the
+// graph keys on. Passing strings here was a long-standing silent bug:
+// `getRelated` matched nothing → every partOf check looked like
+// "no parent" → fail-when-required, pass-when-prohibited.
+//
+// Each relation maps to a LIST of edge types the ancestor walk follows.
+// All but the merged voids/fills token map to a single type; the IDS XSD
+// merged voids + fills into one enumeration value
+// (`IFCRELVOIDSELEMENT IFCRELFILLSELEMENT`) that links an element to its
+// host building element through an opening — a window fills an opening
+// (`FillsElement`) that voids a wall (`VoidsElement`). Walking both edge
+// types inverse-direction reaches the opening and the wall in turn.
+const PARTOF_REL_MAP = {
+    IfcRelAggregates: [RelationshipType.Aggregates],
+    IfcRelAssignsToGroup: [RelationshipType.AssignsToGroup],
+    IfcRelContainedInSpatialStructure: [RelationshipType.ContainsElements],
+    IfcRelNests: [RelationshipType.Aggregates],
+    IfcRelVoidsElement: [RelationshipType.VoidsElement],
+    IfcRelFillsElement: [RelationshipType.FillsElement],
+    'IfcRelVoidsElement IfcRelFillsElement': [
+        RelationshipType.VoidsElement,
+        RelationshipType.FillsElement,
+    ],
+};
+/**
+ * BFS walk of the partOf ancestor graph for `expressId`, following the
+ * edge type(s) `relationType` maps to. IDS partOf is transitive, so any
+ * reachable ancestor counts; the merged voids/fills relation walks two
+ * edge types per node, so the queue follows each mapped type in turn.
+ *
+ * The three type/name resolvers are passed in rather than closed over so
+ * this can run standalone from the accessor's own method table (which is
+ * how `IFCDataAccessor.getAncestors` calls it).
+ */
+export function resolvePartOfAncestors(store, expressId, relationType, getEntityType, getPredefinedTypeRaw, getObjectType) {
+    const relationships = store.relationships;
+    if (!relationships?.getRelated)
+        return [];
+    const relTypes = PARTOF_REL_MAP[relationType];
+    if (!relTypes || relTypes.length === 0)
+        return [];
+    const out = [];
+    const seen = new Set([expressId]);
+    const queue = [expressId];
+    while (queue.length > 0) {
+        const id = queue.shift();
+        for (const relType of relTypes) {
+            const parents = relationships.getRelated(id, relType, 'inverse');
+            for (const parentId of parents || []) {
+                if (seen.has(parentId))
+                    continue;
+                seen.add(parentId);
+                out.push({
+                    expressId: parentId,
+                    entityType: getEntityType(parentId) || 'Unknown',
+                    // Raw enum token first (BEAM, USERDEFINED, …) — NOT
+                    // getObjectType. getObjectType collapses USERDEFINED to the
+                    // accompanying user-defined name, which loses the literal
+                    // "USERDEFINED" token a spec may legitimately ask for (the
+                    // same case entity-facet.ts's rawType branch accepts for a
+                    // direct entity check). The user-defined name is carried
+                    // separately in `objectType` as a fallback for partof-facet.
+                    predefinedType: getPredefinedTypeRaw(parentId),
+                    objectType: getObjectType(parentId),
+                });
+                queue.push(parentId);
+            }
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=ancestors.js.map

package/dist/bridge/ancestors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ancestors.js","sourceRoot":"","sources":["../../src/bridge/ancestors.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAG/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAIlD,oEAAoE;AACpE,sEAAsE;AACtE,gEAAgE;AAChE,0DAA0D;AAC1D,EAAE;AACF,wEAAwE;AACxE,yEAAyE;AACzE,kDAAkD;AAClD,yEAAyE;AACzE,uEAAuE;AACvE,yEAAyE;AACzE,oEAAoE;AACpE,MAAM,cAAc,GAAwD;IAC1E,gBAAgB,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;IAC/C,oBAAoB,EAAE,CAAC,gBAAgB,CAAC,cAAc,CAAC;IACvD,iCAAiC,EAAE,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;IACtE,WAAW,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;IAC1C,kBAAkB,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC;IACnD,kBAAkB,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC;IACnD,uCAAuC,EAAE;QACvC,gBAAgB,CAAC,YAAY;QAC7B,gBAAgB,CAAC,YAAY;KAC9B;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAmB,EACnB,SAAiB,EACjB,YAA4B,EAC5B,aAAwD,EACxD,oBAA+D,EAC/D,aAAwD;IAExD,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC;IAC1C,IAAI,CAAC,aAAa,EAAE,UAAU;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElD,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YACjE,KAAK,MAAM,QAAQ,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACjC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACnB,GAAG,CAAC,IAAI,CAAC;oBACP,SAAS,EAAE,QAAQ;oBACnB,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,SAAS;oBAChD,oDAAoD;oBACpD,4DAA4D;oBAC5D,0DAA0D;oBAC1D,2DAA2D;oBAC3D,2DAA2D;oBAC3D,yDAAyD;oBACzD,6DAA6D;oBAC7D,cAAc,EAAE,oBAAoB,CAAC,QAAQ,CAAC;oBAC9C,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;iBACpC,CAAC,CAAC;gBACH,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/bridge/classifications.d.ts

@@ -12,4 +12,43 @@ import type { ClassificationInfo } from '../types.js';
  * for `EF_25_10` matches an actual leaf of `EF_25_10_25`.
  */
 export declare function resolveClassifications(store: IfcDataStore, expressId: number): ClassificationInfo[];
+/**
+ * Could an entity of this upper-cased type name be a `RelatedResourceObjects`
+ * target of an `IfcExternalReferenceRelationship`? The IFC schema restricts
+ * that role to `IfcResourceObjectSelect` members — subtypes of
+ * `IfcMaterialDefinition` or `IfcProfileDef` — never an `IfcRoot` subtype
+ * (`IfcWall`, `IfcDoor`, …), which can only be classified via
+ * `IfcRelAssociatesClassification`.
+ *
+ * This is a schema-hierarchy fact, answered here via `@ifc-lite/codegen`'s
+ * generated `SCHEMA_REGISTRY.entities[type].inheritanceChain` (through
+ * `isProperSubtypeOfAny` — `IfcMaterialDefinition` and `IfcProfileDef` are
+ * themselves abstract with no concrete instances, so the CONCRETE-MEMBER
+ * question this predicate answers wants the self-match excluded) rather
+ * than a string test — `startsWith`, `endsWith` and `includes` variants of
+ * this predicate were each wrong at a different edge across three separate
+ * incidents (ifc-lite #3999):
+ *
+ *   1. `startsWith('IFCMATERIAL')` admitted `IfcMaterialList` (an
+ *      `IfcMaterialSelect` member, not `IfcMaterialDefinition`),
+ *      `IfcMaterialLayerSetUsage`, `IfcMaterialDefinitionRepresentation`,
+ *      `IfcMaterialRelationship` — none is `IfcMaterialDefinition`.
+ *   2. `endsWith('PROFILEDEF')` missed `IfcArbitraryProfileDefWithVoids`, a
+ *      genuine `IfcProfileDef` subtype whose name doesn't end that way.
+ *   3. `includes('PROFILEDEF')` (the fix for #2) admitted
+ *      `IfcRelAssociatesProfileDef`, a *rooted* relationship that points AT
+ *      a profile def via `RelatingProfileDef`, not a profile def itself.
+ *
+ * `isProperSubtypeOfAny` reads the actual `SUBTYPE OF` chain the schemas declare,
+ * so none of those three edges is reachable by construction —
+ * `is-non-rooted-classifiable-resource.exp-derived.test.ts` still
+ * independently re-derives the answer from the `.exp` files and asserts
+ * agreement for every entity in both schemas, as a check against a bug in
+ * codegen's own chain computation, not just against a string test.
+ *
+ * Pulled out of `isNonRootedClassifiableResource` as a pure function of the
+ * type name so that test can exercise it directly against every entity name
+ * in both schemas, without building a store for each one.
+ */
+export declare function isNonRootedClassifiableResourceType(upperType: string): boolean;
 //# sourceMappingURL=classifications.d.ts.map

package/dist/bridge/classifications.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"classifications.d.ts","sourceRoot":"","sources":["../../src/bridge/classifications.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAStD;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,GAChB,kBAAkB,EAAE,CAyBtB"}
+{"version":3,"file":"classifications.d.ts","sourceRoot":"","sources":["../../src/bridge/classifications.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAWtD;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,GAChB,kBAAkB,EAAE,CA+BtB;AA0HD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,mCAAmC,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAK9E"}

package/dist/bridge/classifications.js

@@ -2,6 +2,9 @@
  * 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 { EntityExtractor, extractClassificationsOnDemand, } from '@ifc-lite/parser';
+import { isProperSubtypeOfAny } from '@ifc-lite/codegen';
+import * as IFC4_SCHEMA from '@ifc-lite/codegen/ifc4';
+import * as IFC4X3_SCHEMA from '@ifc-lite/codegen/ifc4x3';
 /**
  * Resolve every classification associated with `expressId`, including
  *   1. the standard `IfcRelAssociatesClassification` path (handled by
@@ -26,7 +29,13 @@ export function resolveClassifications(store, expressId) {
         // even when the value is empty — so optional-cardinality value
         // mismatches register as a value mismatch rather than as a
         // missing-classification (which optional pardons).
-        out.push({ system, value: baseValue, name: c.name });
+        out.push({
+            system,
+            value: baseValue,
+            name: c.name,
+            unresolved: c.unresolved,
+            presenceUnknown: c.presenceUnknown,
+        });
         if (Array.isArray(c.path)) {
             for (const code of c.path) {
                 if (code && code !== baseValue) {
@@ -43,10 +52,44 @@ export function resolveClassifications(store, expressId) {
  * `IfcRelAssociatesClassification`. The parser doesn't categorize
  * external-ref edges into the relationship graph today, so we scan
  * the type table directly.
+ *
+ * On a server-parsed (source-empty) store this type table is not merely
+ * incomplete — it structurally cannot contain `IFCEXTERNALREFERENCERELATIONSHIP`
+ * (or `IFCMATERIAL`/`IFCPROFILEDEF`) entries at all: the server pipeline's
+ * `IfcTypeEnum` (packages/data/src/types.ts) has no slot for any of them, and
+ * the server resolves classifications only via `IfcRelAssociatesClassification`
+ * (apps/server/src/services/data_model/classifications.rs). So an empty
+ * `byType` lookup here proves nothing about whether THIS entity carries a
+ * classification through this pathway — unlike the sibling
+ * `IfcRelAssociatesClassification` path (#3951), there is no
+ * relationship-graph fallback at all for this one (#3954): presence cannot
+ * be proven OR disproven without source bytes.
  */
 function appendExternalReferenceClassifications(store, expressId, list) {
+    if (!store.source?.length) {
+        // Only fall back to "cannot determine" when:
+        //  1. the IfcRelAssociatesClassification path (already applied to `list`
+        //     by the caller) found nothing — an entity already confirmed
+        //     classified, or confirmed-but-unresolved, through that path doesn't
+        //     also rely on this non-rooted-resource pathway, so leave it
+        //     untouched rather than diluting a real match/mismatch into
+        //     "unresolved"; and
+        //  2. `expressId` could actually BE a `RelatedResourceObjects` target —
+        //     the IFC schema restricts that role to non-rooted resource-level
+        //     entities (IfcResourceObjectSelect: IfcMaterial(Select) members,
+        //     IfcProfileDef, …), never an IfcRoot subtype like IfcWall. A rooted
+        //     element's `list.length === 0` genuinely means unclassified — no
+        //     external-ref ambiguity is even schema-possible for it — so
+        //     blanket-marking every empty result as unresolved would regress the
+        //     overwhelming common case (a genuinely unclassified wall/door/etc.)
+        //     into a false "cannot determine" on every server-parsed model.
+        if (list.length === 0 && isNonRootedClassifiableResource(store, expressId)) {
+            list.push({ unresolved: true, presenceUnknown: true });
+        }
+        return;
+    }
     const erRefs = store.entityIndex?.byType?.get?.('IFCEXTERNALREFERENCERELATIONSHIP') || [];
-    if (erRefs.length === 0 || !store.source?.length)
+    if (erRefs.length === 0)
         return;
     const ex = new EntityExtractor(store.source);
     for (const erId of erRefs) {
@@ -111,4 +154,71 @@ function appendExternalReferenceClassifications(store, expressId, list) {
         list.push(info);
     }
 }
+/**
+ * The schema registries this predicate checks type membership against — the
+ * union of IFC4 and IFC4X3, since a type introduced in only one of them
+ * (`IfcOpenCrossProfileDef`, IFC4X3-only) must still be recognised when a
+ * store built from the OTHER schema is queried against it (a server-parsed
+ * store's `EntityRef.type` names an entity, not a schema version).
+ */
+const HIERARCHY_REGISTRIES = [
+    IFC4_SCHEMA.SCHEMA_REGISTRY,
+    IFC4X3_SCHEMA.SCHEMA_REGISTRY,
+];
+/**
+ * Could an entity of this upper-cased type name be a `RelatedResourceObjects`
+ * target of an `IfcExternalReferenceRelationship`? The IFC schema restricts
+ * that role to `IfcResourceObjectSelect` members — subtypes of
+ * `IfcMaterialDefinition` or `IfcProfileDef` — never an `IfcRoot` subtype
+ * (`IfcWall`, `IfcDoor`, …), which can only be classified via
+ * `IfcRelAssociatesClassification`.
+ *
+ * This is a schema-hierarchy fact, answered here via `@ifc-lite/codegen`'s
+ * generated `SCHEMA_REGISTRY.entities[type].inheritanceChain` (through
+ * `isProperSubtypeOfAny` — `IfcMaterialDefinition` and `IfcProfileDef` are
+ * themselves abstract with no concrete instances, so the CONCRETE-MEMBER
+ * question this predicate answers wants the self-match excluded) rather
+ * than a string test — `startsWith`, `endsWith` and `includes` variants of
+ * this predicate were each wrong at a different edge across three separate
+ * incidents (ifc-lite #3999):
+ *
+ *   1. `startsWith('IFCMATERIAL')` admitted `IfcMaterialList` (an
+ *      `IfcMaterialSelect` member, not `IfcMaterialDefinition`),
+ *      `IfcMaterialLayerSetUsage`, `IfcMaterialDefinitionRepresentation`,
+ *      `IfcMaterialRelationship` — none is `IfcMaterialDefinition`.
+ *   2. `endsWith('PROFILEDEF')` missed `IfcArbitraryProfileDefWithVoids`, a
+ *      genuine `IfcProfileDef` subtype whose name doesn't end that way.
+ *   3. `includes('PROFILEDEF')` (the fix for #2) admitted
+ *      `IfcRelAssociatesProfileDef`, a *rooted* relationship that points AT
+ *      a profile def via `RelatingProfileDef`, not a profile def itself.
+ *
+ * `isProperSubtypeOfAny` reads the actual `SUBTYPE OF` chain the schemas declare,
+ * so none of those three edges is reachable by construction —
+ * `is-non-rooted-classifiable-resource.exp-derived.test.ts` still
+ * independently re-derives the answer from the `.exp` files and asserts
+ * agreement for every entity in both schemas, as a check against a bug in
+ * codegen's own chain computation, not just against a string test.
+ *
+ * Pulled out of `isNonRootedClassifiableResource` as a pure function of the
+ * type name so that test can exercise it directly against every entity name
+ * in both schemas, without building a store for each one.
+ */
+export function isNonRootedClassifiableResourceType(upperType) {
+    return (isProperSubtypeOfAny(HIERARCHY_REGISTRIES, upperType, 'IfcMaterialDefinition') ||
+        isProperSubtypeOfAny(HIERARCHY_REGISTRIES, upperType, 'IfcProfileDef'));
+}
+/**
+ * Could `expressId` be a `RelatedResourceObjects` target of an
+ * `IfcExternalReferenceRelationship`? See `isNonRootedClassifiableResourceType`
+ * for the schema rule this applies. `EntityRef.type` is available from the
+ * type-table index without reading `source` bytes (it's set from the raw
+ * STEP/server type name, not extracted attributes), so this check costs
+ * nothing on a server-parsed store.
+ */
+function isNonRootedClassifiableResource(store, expressId) {
+    const type = store.entityIndex?.byId?.get?.(expressId)?.type;
+    if (typeof type !== 'string')
+        return false;
+    return isNonRootedClassifiableResourceType(type.toUpperCase());
+}
 //# sourceMappingURL=classifications.js.map

package/dist/bridge/classifications.js.map

@@ -1 +1 @@
-{"version":3,"file":"classifications.js","sourceRoot":"","sources":["../../src/bridge/classifications.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAEL,eAAe,EACf,8BAA8B,GAC/B,MAAM,kBAAkB,CAAC;AAU1B;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAmB,EACnB,SAAiB;IAEjB,MAAM,IAAI,GAAkB;QAC1B,GAAG,CAAC,8BAA8B,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;KAC5D,CAAC;IAEF,sCAAsC,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAE/D,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACnD,iEAAiE;QACjE,+DAA+D;QAC/D,2DAA2D;QAC3D,mDAAmD;QACnD,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC1B,IAAI,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAS,sCAAsC,CAC7C,KAAmB,EACnB,SAAiB,EACjB,IAAmB;IAEnB,MAAM,MAAM,GACV,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,kCAAkC,CAAC,IAAI,EAAE,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM;QAAE,OAAO;IACzD,MAAM,EAAE,GAAG,IAAI,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAE7C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,iEAAiE;QACjE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,SAAS;QAC3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,SAAS;QACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,SAAS;QAE3C,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,SAAS,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,4BAA4B;YAAE,SAAS;QAE5E,MAAM,CAAC,GAAG,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC;QACrC,MAAM,IAAI,GAAgB;YACxB,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YAC3D,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YACjD,IAAI,EAAE,EAAE;SACT,CAAC;QAEF,IAAI,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC/C,IAAI,CAAC,GAAG;gBAAE,MAAM;YAChB,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,CAAC,CAAC;gBAAE,MAAM;YACd,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC;YAC9B,IAAI,EAAE,KAAK,mBAAmB,EAAE,CAAC;gBAC/B,IAAI,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5D,MAAM;YACR,CAAC;YACD,IAAI,EAAE,KAAK,4BAA4B,EAAE,CAAC;gBACxC,MAAM,IAAI,GACR,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ;oBACvB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACP,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ;wBACzB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;wBACP,CAAC,CAAC,SAAS,CAAC;gBAClB,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACvD,SAAS;YACX,CAAC;YACD,MAAM;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;AACH,CAAC"}
+{"version":3,"file":"classifications.js","sourceRoot":"","sources":["../../src/bridge/classifications.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAEL,eAAe,EACf,8BAA8B,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAA0B,MAAM,mBAAmB,CAAC;AACjF,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,aAAa,MAAM,0BAA0B,CAAC;AAY1D;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAmB,EACnB,SAAiB;IAEjB,MAAM,IAAI,GAAkB;QAC1B,GAAG,CAAC,8BAA8B,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;KAC5D,CAAC;IAEF,sCAAsC,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAE/D,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACnD,iEAAiE;QACjE,+DAA+D;QAC/D,2DAA2D;QAC3D,mDAAmD;QACnD,GAAG,CAAC,IAAI,CAAC;YACP,MAAM;YACN,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,eAAe,EAAE,CAAC,CAAC,eAAe;SACnC,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC1B,IAAI,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,sCAAsC,CAC7C,KAAmB,EACnB,SAAiB,EACjB,IAAmB;IAEnB,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAC1B,6CAA6C;QAC7C,yEAAyE;QACzE,iEAAiE;QACjE,yEAAyE;QACzE,iEAAiE;QACjE,gEAAgE;QAChE,wBAAwB;QACxB,wEAAwE;QACxE,sEAAsE;QACtE,sEAAsE;QACtE,yEAAyE;QACzE,sEAAsE;QACtE,iEAAiE;QACjE,yEAAyE;QACzE,yEAAyE;QACzE,oEAAoE;QACpE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,+BAA+B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YAC3E,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GACV,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,kCAAkC,CAAC,IAAI,EAAE,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,MAAM,EAAE,GAAG,IAAI,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAE7C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,iEAAiE;QACjE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,SAAS;QAC3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,SAAS;QACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,SAAS;QAE3C,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,SAAS,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,4BAA4B;YAAE,SAAS;QAE5E,MAAM,CAAC,GAAG,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC;QACrC,MAAM,IAAI,GAAgB;YACxB,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YAC3D,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YACjD,IAAI,EAAE,EAAE;SACT,CAAC;QAEF,IAAI,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC/C,IAAI,CAAC,GAAG;gBAAE,MAAM;YAChB,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,CAAC,CAAC;gBAAE,MAAM;YACd,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC;YAC9B,IAAI,EAAE,KAAK,mBAAmB,EAAE,CAAC;gBAC/B,IAAI,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5D,MAAM;YACR,CAAC;YACD,IAAI,EAAE,KAAK,4BAA4B,EAAE,CAAC;gBACxC,MAAM,IAAI,GACR,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ;oBACvB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACP,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ;wBACzB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;wBACP,CAAC,CAAC,SAAS,CAAC;gBAClB,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACvD,SAAS;YACX,CAAC;YACD,MAAM;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAiC;IACzD,WAAW,CAAC,eAAe;IAC3B,aAAa,CAAC,eAAe;CAC9B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,mCAAmC,CAAC,SAAiB;IACnE,OAAO,CACL,oBAAoB,CAAC,oBAAoB,EAAE,SAAS,EAAE,uBAAuB,CAAC;QAC9E,oBAAoB,CAAC,oBAAoB,EAAE,SAAS,EAAE,eAAe,CAAC,CACvE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,+BAA+B,CACtC,KAAmB,EACnB,SAAiB;IAEjB,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,mCAAmC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AACjE,CAAC"}

package/dist/bridge/data-accessor.d.ts

@@ -1,5 +1,7 @@
 import { type IfcDataStore } from '@ifc-lite/parser';
 import type { IFCDataAccessor } from '../types.js';
+import { type PropertyOverride, type PropertyOverlayResolver } from './property-overlay-resolver.js';
+export type { PropertyOverride, PropertyOverlayResolver };
 /**
  * Bridge an `IfcDataStore` (produced by `@ifc-lite/parser`) into the
  * abstract `IFCDataAccessor` the IDS validator consumes. The single
@@ -12,6 +14,13 @@ import type { IFCDataAccessor } from '../types.js';
  * non-rooted resources, length unit conversion, predefined property-set
  * unwrapping, schema-driven attribute XSD types, USERDEFINED predicate
  * substitution, partOf transitivity, etc.
+ *
+ * `propertyOverlay` is optional and lets a caller with in-memory,
+ * not-yet-exported property edits (e.g. an IDS correction applied through
+ * the viewer's `MutablePropertyView`) have those edits reflected in
+ * `getPropertyValue`/`getPropertySets` immediately, without re-parsing the
+ * store. Every other read (attributes, classifications, materials, partOf)
+ * is unaffected — only the two property-reading methods below consult it.
  */
-export declare function createDataAccessor(store: IfcDataStore): IFCDataAccessor;
+export declare function createDataAccessor(store: IfcDataStore, propertyOverlay?: PropertyOverlayResolver): IFCDataAccessor;
 //# sourceMappingURL=data-accessor.d.ts.map

package/dist/bridge/data-accessor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"data-accessor.d.ts","sourceRoot":"","sources":["../../src/bridge/data-accessor.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EACV,eAAe,EAOhB,MAAM,aAAa,CAAC;AAoCrB;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,YAAY,GAAG,eAAe,CAmQvE"}
+{"version":3,"file":"data-accessor.d.ts","sourceRoot":"","sources":["../../src/bridge/data-accessor.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EACV,eAAe,EAOhB,MAAM,aAAa,CAAC;AAKrB,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,uBAAuB,EAC7B,MAAM,gCAAgC,CAAC;AAOxC,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,CAAC;AAM1D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,YAAY,EACnB,eAAe,CAAC,EAAE,uBAAuB,GACxC,eAAe,CAiPjB"}

package/dist/bridge/data-accessor.js

@@ -5,33 +5,13 @@ import { extractAllEntityAttributes, extractAllMaterialsOnDemand, } from '@ifc-l
 import { RelationshipType, getAttributeXsdTypes } from '@ifc-lite/data';
 import { flattenMaterials } from './materials.js';
 import { resolveClassifications } from './classifications.js';
-import { collectAllPropertySets } from './properties.js';
+import { resolvePartOfAncestors } from './ancestors.js';
+import { resolveEffectivePropertySets, } from './property-overlay-resolver.js';
 import { resolveObjectType, resolveRawPredefinedType, } from './predefined-types.js';
 import { narrowSchemaVersion } from './schema-version.js';
-// Map IDS PartOf relations to the numeric RelationshipType enum the
-// graph keys on. Passing strings here was a long-standing silent bug:
-// `getRelated` matched nothing → every partOf check looked like
-// "no parent" → fail-when-required, pass-when-prohibited.
-//
-// Each relation maps to a LIST of edge types the ancestor walk follows.
-// All but the merged voids/fills token map to a single type; the IDS XSD
-// merged voids + fills into one enumeration value
-// (`IFCRELVOIDSELEMENT IFCRELFILLSELEMENT`) that links an element to its
-// host building element through an opening — a window fills an opening
-// (`FillsElement`) that voids a wall (`VoidsElement`). Walking both edge
-// types inverse-direction reaches the opening and the wall in turn.
-const PARTOF_REL_MAP = {
-    IfcRelAggregates: [RelationshipType.Aggregates],
-    IfcRelAssignsToGroup: [RelationshipType.AssignsToGroup],
-    IfcRelContainedInSpatialStructure: [RelationshipType.ContainsElements],
-    IfcRelNests: [RelationshipType.Aggregates],
-    IfcRelVoidsElement: [RelationshipType.VoidsElement],
-    IfcRelFillsElement: [RelationshipType.FillsElement],
-    'IfcRelVoidsElement IfcRelFillsElement': [
-        RelationshipType.FillsElement,
-        RelationshipType.VoidsElement,
-    ],
-};
+// `PropertyOverride`/`PropertyOverlayResolver` are re-exported above from
+// ./property-overlay-resolver.js; the PartOf relation map and ancestor BFS
+// walk live in ./ancestors.js — see `resolvePartOfAncestors` below.
 /**
  * Bridge an `IfcDataStore` (produced by `@ifc-lite/parser`) into the
  * abstract `IFCDataAccessor` the IDS validator consumes. The single
@@ -44,8 +24,15 @@ const PARTOF_REL_MAP = {
  * non-rooted resources, length unit conversion, predefined property-set
  * unwrapping, schema-driven attribute XSD types, USERDEFINED predicate
  * substitution, partOf transitivity, etc.
+ *
+ * `propertyOverlay` is optional and lets a caller with in-memory,
+ * not-yet-exported property edits (e.g. an IDS correction applied through
+ * the viewer's `MutablePropertyView`) have those edits reflected in
+ * `getPropertyValue`/`getPropertySets` immediately, without re-parsing the
+ * store. Every other read (attributes, classifications, materials, partOf)
+ * is unaffected — only the two property-reading methods below consult it.
  */
-export function createDataAccessor(store) {
+export function createDataAccessor(store, propertyOverlay) {
     // Memoize per-entity attribute extraction. extractAllEntityAttributes
     // re-parses the entity from the raw source buffer on every call, and the
     // validator hits Name/GlobalId/Description/getAttribute(Names) for the same
@@ -69,6 +56,15 @@ export function createDataAccessor(store) {
         }
         return undefined;
     }
+    /**
+     * Property sets for `expressId`, with any pending overlay writes applied
+     * on top of the canonical (parsed) result. See
+     * `resolveEffectivePropertySets` (./property-overlay-resolver.js) for the
+     * merge semantics.
+     */
+    function getEffectivePropertySets(expressId) {
+        return resolveEffectivePropertySets(store, expressId, propertyOverlay);
+    }
     const accessor = {
         getEntityType(expressId) {
             // The columnar entity table only summarises "interesting"
@@ -156,7 +152,7 @@ export function createDataAccessor(store) {
         getPropertyValue(expressId, propertySetName, propertyName) {
             const psetLower = propertySetName.toLowerCase();
             const propLower = propertyName.toLowerCase();
-            const all = collectAllPropertySets(store, expressId);
+            const all = getEffectivePropertySets(expressId);
             for (const pset of all) {
                 if (pset.name.toLowerCase() !== psetLower)
                     continue;
@@ -174,7 +170,7 @@ export function createDataAccessor(store) {
             return undefined;
         },
         getPropertySets(expressId) {
-            return collectAllPropertySets(store, expressId);
+            return getEffectivePropertySets(expressId);
         },
         getClassifications(expressId) {
             return resolveClassifications(store, expressId);
@@ -189,44 +185,7 @@ export function createDataAccessor(store) {
             return all.length > 0 ? all[0] : undefined;
         },
         getAncestors(expressId, relationType) {
-            const relationships = store.relationships;
-            if (!relationships?.getRelated)
-                return [];
-            const relTypes = PARTOF_REL_MAP[relationType];
-            if (!relTypes || relTypes.length === 0)
-                return [];
-            // BFS up the graph — IDS partOf is transitive, so any reachable
-            // ancestor counts. The merged voids/fills relation walks two edge
-            // types per node, so the queue follows each mapped type in turn.
-            const out = [];
-            const seen = new Set([expressId]);
-            const queue = [expressId];
-            while (queue.length > 0) {
-                const id = queue.shift();
-                for (const relType of relTypes) {
-                    const parents = relationships.getRelated(id, relType, 'inverse');
-                    for (const parentId of parents || []) {
-                        if (seen.has(parentId))
-                            continue;
-                        seen.add(parentId);
-                        out.push({
-                            expressId: parentId,
-                            entityType: accessor.getEntityType(parentId) || 'Unknown',
-                            // Raw enum token first (BEAM, USERDEFINED, …) — NOT
-                            // getObjectType. getObjectType collapses USERDEFINED to the
-                            // accompanying user-defined name, which loses the literal
-                            // "USERDEFINED" token a spec may legitimately ask for (the
-                            // same case entity-facet.ts's rawType branch accepts for a
-                            // direct entity check). The user-defined name is carried
-                            // separately in `objectType` as a fallback for partof-facet.
-                            predefinedType: accessor.getPredefinedTypeRaw?.(parentId),
-                            objectType: accessor.getObjectType(parentId),
-                        });
-                        queue.push(parentId);
-                    }
-                }
-            }
-            return out;
+            return resolvePartOfAncestors(store, expressId, relationType, (id) => accessor.getEntityType(id), (id) => accessor.getPredefinedTypeRaw?.(id), (id) => accessor.getObjectType(id));
         },
         getAttribute(expressId, attributeName) {
             const lowerName = attributeName.toLowerCase();

package/dist/bridge/data-accessor.js.map

@@ -1 +1 @@
-{"version":3,"file":"data-accessor.js","sourceRoot":"","sources":["../../src/bridge/data-accessor.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAEL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAYxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EACL,iBAAiB,EACjB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,oEAAoE;AACpE,sEAAsE;AACtE,gEAAgE;AAChE,0DAA0D;AAC1D,EAAE;AACF,wEAAwE;AACxE,yEAAyE;AACzE,kDAAkD;AAClD,yEAAyE;AACzE,uEAAuE;AACvE,yEAAyE;AACzE,oEAAoE;AACpE,MAAM,cAAc,GAAwD;IAC1E,gBAAgB,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;IAC/C,oBAAoB,EAAE,CAAC,gBAAgB,CAAC,cAAc,CAAC;IACvD,iCAAiC,EAAE,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;IACtE,WAAW,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;IAC1C,kBAAkB,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC;IACnD,kBAAkB,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC;IACnD,uCAAuC,EAAE;QACvC,gBAAgB,CAAC,YAAY;QAC7B,gBAAgB,CAAC,YAAY;KAC9B;CACF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAmB;IACpD,sEAAsE;IACtE,yEAAyE;IACzE,4EAA4E;IAC5E,wEAAwE;IACxE,8EAA8E;IAC9E,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAC;IACJ,SAAS,mBAAmB,CAC1B,SAAiB;QAEjB,IAAI,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnD,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,SAAS,kBAAkB,CACzB,SAAiB,EACjB,aAAqB;QAErB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK;gBAAE,OAAO,CAAC,CAAC,KAAK,CAAC;QACrD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAoB;QAChC,aAAa,CAAC,SAAiB;YAC7B,0DAA0D;YAC1D,8DAA8D;YAC9D,2DAA2D;YAC3D,4DAA4D;YAC5D,+BAA+B;YAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC;YAC5D,IAAI,UAAU,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,UAAU,CAAC;YAE9D,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO,SAAS,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK;gBACjD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;gBACpB,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,aAAa,CAAC,SAAiB;YAC7B,2DAA2D;YAC3D,iEAAiE;YACjE,iEAAiE;YACjE,0DAA0D;YAC1D,yDAAyD;YACzD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YACvD,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,SAAS,CAAC;QACxB,CAAC;QAED,WAAW,CAAC,SAAiB;YAC3B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YAC3D,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC;YACnD,OAAO,CAAC,IAAI,SAAS,CAAC;QACxB,CAAC;QAED,cAAc,CAAC,SAAiB;YAC9B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YAC9D,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,SAAS,CAAC,CAAC;YACtD,OAAO,CAAC,IAAI,SAAS,CAAC;QACxB,CAAC;QAED,iBAAiB,CAAC,SAAiB;YACjC,OAAO,mBAAmB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC;QAED,oBAAoB,CAClB,SAAiB,EACjB,QAAgB;YAEhB,+DAA+D;YAC/D,gEAAgE;YAChE,+BAA+B;YAC/B,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,CAAC,UAAU;gBAAE,OAAO,SAAS,CAAC;YAClC,OAAO,oBAAoB,CACzB,mBAAmB,CAAC,KAAK,CAAC,aAAa,CAAC,EACxC,UAAU,EACV,QAAQ,CACT,CAAC;QACJ,CAAC;QAED,oBAAoB,CAAC,SAAiB;YACpC,OAAO,wBAAwB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACpD,CAAC;QAED,aAAa,CAAC,SAAiB;YAC7B,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAC9C,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,CAAC,SAAS,CAAC,CAC3C,CAAC;QACJ,CAAC;QAED,gBAAgB;YACd,OAAO,KAAK,CAAC,aAAa,CAAC;QAC7B,CAAC;QAED,iBAAiB,CAAC,SAAiB;YACjC,MAAM,OAAO,GACX,KAAK,CAAC,aAAa,EAAE,UAAU,EAAE,CAC/B,SAAS,EACT,gBAAgB,CAAC,aAAa,EAC9B,SAAS,CACV,IAAI,EAAE,CAAC;YACV,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;gBACzC,IAAI,CAAC;oBAAE,OAAO,CAAC,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,iBAAiB,CAAC,QAAgB;YAChC,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;YACnE,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,CAAC;QAED,eAAe;YACb,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC;YACrC,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,CAAC;QAED,gBAAgB,CACd,SAAiB,EACjB,eAAuB,EACvB,YAAoB;YAEpB,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,SAAS,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS;oBAAE,SAAS;gBACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;oBACzC,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS;wBAAE,SAAS;oBACpD,OAAO;wBACL,KAAK,EAAE,IAAI,CAAC,KAAK;wBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,eAAe,EAAE,IAAI,CAAC,IAAI;wBAC1B,YAAY,EAAE,IAAI,CAAC,IAAI;qBACxB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,eAAe,CAAC,SAAiB;YAC/B,OAAO,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClD,CAAC;QAED,kBAAkB,CAAC,SAAiB;YAClC,OAAO,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClD,CAAC;QAED,YAAY,CAAC,SAAiB;YAC5B,uEAAuE;YACvE,6DAA6D;YAC7D,OAAO,2BAA2B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QACjG,CAAC;QAED,SAAS,CACP,SAAiB,EACjB,YAA4B;YAE5B,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAa,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;YAC5D,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7C,CAAC;QAED,YAAY,CACV,SAAiB,EACjB,YAA4B;YAE5B,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC;YAC1C,IAAI,CAAC,aAAa,EAAE,UAAU;gBAAE,OAAO,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;YAC9C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YAElD,gEAAgE;YAChE,kEAAkE;YAClE,iEAAiE;YACjE,MAAM,GAAG,GAAiB,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,SAAS,CAAC,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC;YAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;gBAC1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBACjE,KAAK,MAAM,QAAQ,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;wBACrC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;4BAAE,SAAS;wBACjC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;wBACnB,GAAG,CAAC,IAAI,CAAC;4BACP,SAAS,EAAE,QAAQ;4BACnB,UAAU,EAAE,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,SAAS;4BACzD,oDAAoD;4BACpD,4DAA4D;4BAC5D,0DAA0D;4BAC1D,2DAA2D;4BAC3D,2DAA2D;4BAC3D,yDAAyD;4BACzD,6DAA6D;4BAC7D,cAAc,EAAE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,QAAQ,CAAC;4BACzD,UAAU,EAAE,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC;yBAC7C,CAAC,CAAC;wBACH,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACvB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,YAAY,CACV,SAAiB,EACjB,aAAqB;YAErB,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;YAC9C,QAAQ,SAAS,EAAE,CAAC;gBAClB,KAAK,MAAM;oBACT,OAAO,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;gBAC3C,KAAK,aAAa;oBAChB,OAAO,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;gBAC5C,KAAK,UAAU;oBACb,OAAO,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;gBACzC,iDAAiD;gBACjD,iEAAiE;gBACjE,4DAA4D;gBAC5D,6DAA6D;gBAC7D,0DAA0D;gBAC1D,uDAAuD;gBACvD,iEAAiE;gBACjE,KAAK,gBAAgB;oBACnB,OAAO,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;gBAC3C,OAAO,CAAC,CAAC,CAAC;oBACR,MAAM,WAAW,GAAG,kBAAkB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;oBACjE,IAAI,WAAW,KAAK,SAAS;wBAAE,OAAO,WAAW,CAAC;oBAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAEtB,CAAC;oBACF,OAAO,QAAQ,EAAE,YAAY;wBAC3B,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,SAAS,EAAE,aAAa,CAAC;wBACjD,CAAC,CAAC,SAAS,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;IAEF,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"data-accessor.js","sourceRoot":"","sources":["../../src/bridge/data-accessor.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAEL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAYxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,EACL,4BAA4B,GAG7B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,iBAAiB,EACjB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAI1D,0EAA0E;AAC1E,2EAA2E;AAC3E,oEAAoE;AAEpE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAmB,EACnB,eAAyC;IAEzC,sEAAsE;IACtE,yEAAyE;IACzE,4EAA4E;IAC5E,wEAAwE;IACxE,8EAA8E;IAC9E,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAC;IACJ,SAAS,mBAAmB,CAC1B,SAAiB;QAEjB,IAAI,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnD,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,SAAS,kBAAkB,CACzB,SAAiB,EACjB,aAAqB;QAErB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK;gBAAE,OAAO,CAAC,CAAC,KAAK,CAAC;QACrD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;OAKG;IACH,SAAS,wBAAwB,CAAC,SAAiB;QACjD,OAAO,4BAA4B,CAAC,KAAK,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,QAAQ,GAAoB;QAChC,aAAa,CAAC,SAAiB;YAC7B,0DAA0D;YAC1D,8DAA8D;YAC9D,2DAA2D;YAC3D,4DAA4D;YAC5D,+BAA+B;YAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC;YAC5D,IAAI,UAAU,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,UAAU,CAAC;YAE9D,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO,SAAS,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK;gBACjD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;gBACpB,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,aAAa,CAAC,SAAiB;YAC7B,2DAA2D;YAC3D,iEAAiE;YACjE,iEAAiE;YACjE,0DAA0D;YAC1D,yDAAyD;YACzD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YACvD,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,SAAS,CAAC;QACxB,CAAC;QAED,WAAW,CAAC,SAAiB;YAC3B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YAC3D,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC;YACnD,OAAO,CAAC,IAAI,SAAS,CAAC;QACxB,CAAC;QAED,cAAc,CAAC,SAAiB;YAC9B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YAC9D,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,SAAS,CAAC,CAAC;YACtD,OAAO,CAAC,IAAI,SAAS,CAAC;QACxB,CAAC;QAED,iBAAiB,CAAC,SAAiB;YACjC,OAAO,mBAAmB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC;QAED,oBAAoB,CAClB,SAAiB,EACjB,QAAgB;YAEhB,+DAA+D;YAC/D,gEAAgE;YAChE,+BAA+B;YAC/B,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,CAAC,UAAU;gBAAE,OAAO,SAAS,CAAC;YAClC,OAAO,oBAAoB,CACzB,mBAAmB,CAAC,KAAK,CAAC,aAAa,CAAC,EACxC,UAAU,EACV,QAAQ,CACT,CAAC;QACJ,CAAC;QAED,oBAAoB,CAAC,SAAiB;YACpC,OAAO,wBAAwB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACpD,CAAC;QAED,aAAa,CAAC,SAAiB;YAC7B,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAC9C,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,CAAC,SAAS,CAAC,CAC3C,CAAC;QACJ,CAAC;QAED,gBAAgB;YACd,OAAO,KAAK,CAAC,aAAa,CAAC;QAC7B,CAAC;QAED,iBAAiB,CAAC,SAAiB;YACjC,MAAM,OAAO,GACX,KAAK,CAAC,aAAa,EAAE,UAAU,EAAE,CAC/B,SAAS,EACT,gBAAgB,CAAC,aAAa,EAC9B,SAAS,CACV,IAAI,EAAE,CAAC;YACV,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;gBACzC,IAAI,CAAC;oBAAE,OAAO,CAAC,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,iBAAiB,CAAC,QAAgB;YAChC,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;YACnE,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,CAAC;QAED,eAAe;YACb,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC;YACrC,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,CAAC;QAED,gBAAgB,CACd,SAAiB,EACjB,eAAuB,EACvB,YAAoB;YAEpB,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,SAAS,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;YAChD,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS;oBAAE,SAAS;gBACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;oBACzC,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS;wBAAE,SAAS;oBACpD,OAAO;wBACL,KAAK,EAAE,IAAI,CAAC,KAAK;wBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,eAAe,EAAE,IAAI,CAAC,IAAI;wBAC1B,YAAY,EAAE,IAAI,CAAC,IAAI;qBACxB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,eAAe,CAAC,SAAiB;YAC/B,OAAO,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAC7C,CAAC;QAED,kBAAkB,CAAC,SAAiB;YAClC,OAAO,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClD,CAAC;QAED,YAAY,CAAC,SAAiB;YAC5B,uEAAuE;YACvE,6DAA6D;YAC7D,OAAO,2BAA2B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QACjG,CAAC;QAED,SAAS,CACP,SAAiB,EACjB,YAA4B;YAE5B,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAa,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;YAC5D,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7C,CAAC;QAED,YAAY,CACV,SAAiB,EACjB,YAA4B;YAE5B,OAAO,sBAAsB,CAC3B,KAAK,EACL,SAAS,EACT,YAAY,EACZ,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,EAClC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,EAAE,CAAC,EAC3C,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CACnC,CAAC;QACJ,CAAC;QAED,YAAY,CACV,SAAiB,EACjB,aAAqB;YAErB,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;YAC9C,QAAQ,SAAS,EAAE,CAAC;gBAClB,KAAK,MAAM;oBACT,OAAO,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;gBAC3C,KAAK,aAAa;oBAChB,OAAO,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;gBAC5C,KAAK,UAAU;oBACb,OAAO,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;gBACzC,iDAAiD;gBACjD,iEAAiE;gBACjE,4DAA4D;gBAC5D,6DAA6D;gBAC7D,0DAA0D;gBAC1D,uDAAuD;gBACvD,iEAAiE;gBACjE,KAAK,gBAAgB;oBACnB,OAAO,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;gBAC3C,OAAO,CAAC,CAAC,CAAC;oBACR,MAAM,WAAW,GAAG,kBAAkB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;oBACjE,IAAI,WAAW,KAAK,SAAS;wBAAE,OAAO,WAAW,CAAC;oBAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAEtB,CAAC;oBACF,OAAO,QAAQ,EAAE,YAAY;wBAC3B,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,SAAS,EAAE,aAAa,CAAC;wBACjD,CAAC,CAAC,SAAS,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;IAEF,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/bridge/index.d.ts

@@ -13,5 +13,8 @@
  * unwrapping, schema-driven attribute XSD types, etc.
  */
 export { createDataAccessor } from './data-accessor.js';
+export type { PropertyOverride, PropertyOverlayResolver } from './data-accessor.js';
 export { narrowSchemaVersion } from './schema-version.js';
+export { resolveEntityMeasureScales, toRaw } from './units.js';
+export type { EntityMeasureScales } from './units.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/bridge/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridge/index.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridge/index.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAC/D,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC"}

package/dist/bridge/index.js

@@ -17,4 +17,5 @@
  */
 export { createDataAccessor } from './data-accessor.js';
 export { narrowSchemaVersion } from './schema-version.js';
+export { resolveEntityMeasureScales, toRaw } from './units.js';
 //# sourceMappingURL=index.js.map

package/dist/bridge/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/bridge/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/bridge/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}

package/dist/bridge/property-overlay-resolver.d.ts

@@ -0,0 +1,70 @@
+import { type IfcDataStore } from '@ifc-lite/parser';
+import type { PropertySetInfo } from '../types.js';
+/**
+ * One pending, in-memory correction to a property value, applied on top
+ * of the canonical (parsed) projection without re-exporting the model.
+ * Mirrors the viewer's `MutablePropertyView` mutation shape without a
+ * dependency on `@ifc-lite/mutations` — callers (the viewer) adapt their
+ * mutation view's per-entity mutation list into this shape.
+ */
+export interface PropertyOverride {
+    /** Property set name, exactly as written (case-sensitive). */
+    psetName: string;
+    /** Property name, exactly as written (case-sensitive). */
+    propName: string;
+    /** The corrected value, or `null`/`deleted` to remove the property. */
+    value: string | number | boolean | null;
+    /** True when the property was deleted rather than set. */
+    deleted?: boolean;
+    /**
+     * The IFC measure dataType (e.g. `"IFCLENGTHMEASURE"`) `value` was
+     * scaled against at WRITE time. Only consulted when this override
+     * targets a property that doesn't already exist (below): the
+     * existing-entry branch always prefers the entity's OWN stored
+     * `dataType`, since that is authoritative over whatever the caller
+     * happened to pass. Absent/undefined behaves exactly as before — no
+     * scale applied, value spliced in as-is.
+     */
+    dataType?: string;
+}
+/**
+ * Resolves the pending property overrides for one entity, or `undefined`
+ * when the entity has none. Called on every property read, so it must be
+ * cheap (an O(1)/O(mutations-for-entity) map lookup, not a scan).
+ */
+export type PropertyOverlayResolver = (expressId: number) => PropertyOverride[] | undefined;
+/**
+ * Property sets for `expressId`, with any pending overlay writes applied
+ * on top of the canonical (parsed) result. The canonical projection stays
+ * the single source of truth for pset unwrapping/merging — the overlay
+ * only patches the specific properties it names, so an entity with no
+ * overrides sees byte-identical output to the no-overlay path, and an
+ * entity WITH overrides keeps every other property untouched.
+ *
+ * An override's OWN value, however, does still go through unit
+ * conversion here (`toBaseSI` below, keyed off the same
+ * `resolveEntityMeasureScales` the canonical projection uses): a
+ * `PropertyOverride.value` is written in the model's raw storage frame
+ * (mirroring `MutablePropertyView.setProperty`), the same frame the
+ * canonical projection's OWN properties start in before
+ * `projectProperty` scales them — so splicing it in unconverted would
+ * leave it in the wrong unit frame relative to its neighbours.
+ *
+ * Pset/property name matching here is deliberately CASE-INSENSITIVE, to
+ * match `getPropertyValue`/`getPropertySets` in ./data-accessor.ts (both
+ * compare via `.toLowerCase()`, to tolerate real-world IFC files with
+ * inconsistent Pset/property-name casing). An exact-case `find`/`findIndex`
+ * here would silently miss a base property whose stored name differs only
+ * in case from the override's target: the override would land as a NEW,
+ * separately-cased property instead of replacing the existing one, and
+ * `getPropertyValue`'s case-insensitive scan would then return the OLD,
+ * uncorrected entry (it iterates in array order and the untouched base
+ * property comes first) — a correction that reads back as applied through
+ * this same accessor (case-insensitively) yet never becomes visible to a
+ * re-run of IDS validation through the very same accessor. Matching
+ * case-insensitively here, and preserving each existing entry's own
+ * stored casing on update, keeps this merge and the read path that
+ * consumes it in agreement.
+ */
+export declare function resolveEffectivePropertySets(store: IfcDataStore, expressId: number, propertyOverlay: PropertyOverlayResolver | undefined): PropertySetInfo[];
+//# sourceMappingURL=property-overlay-resolver.d.ts.map

package/dist/bridge/property-overlay-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-overlay-resolver.d.ts","sourceRoot":"","sources":["../../src/bridge/property-overlay-resolver.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAKnD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,8DAA8D;IAC9D,QAAQ,EAAE,MAAM,CAAC;IACjB,0DAA0D;IAC1D,QAAQ,EAAE,MAAM,CAAC;IACjB,uEAAuE;IACvE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IACxC,0DAA0D;IAC1D,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,SAAS,EAAE,MAAM,KAAK,gBAAgB,EAAE,GAAG,SAAS,CAAC;AAE5F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,EACjB,eAAe,EAAE,uBAAuB,GAAG,SAAS,GACnD,eAAe,EAAE,CAqFnB"}