@ifc-lite/mutations 1.23.0 → 1.24.0

package/dist/change-set-to-ops.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-set-to-ops.d.ts","sourceRoot":"","sources":["../src/change-set-to-ops.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAErE,gFAAgF;AAChF,MAAM,WAAW,sBAAsB;IACrC,6DAA6D;IAC7D,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAClD,2DAA2D;IAC3D,SAAS,CAAC,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAClD,8DAA8D;IAC9D,mBAAmB,CAAC,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC5D,2DAA2D;IAC3D,MAAM,CAAC,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CAChD;AAED,uEAAuE;AACvE,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GACnB;IACE,EAAE,EAAE,eAAe,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC,CAAC;CAC9C,GACD;IAAE,EAAE,EAAE,qBAAqB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACnE;IAAE,EAAE,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,EAAE,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,WAAW,EAAE,CAAC;IACnB,mEAAmE;IACnE,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,oEAAoE;IACpE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;OAGG;IACH,OAAO,EAAE,QAAQ,EAAE,CAAC;CACrB;AAID,sDAAsD;AACtD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,GAAG,MAAM,CAOT;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,sBAAsB,GAC/B,kBAAkB,CAoEpB"}
+{"version":3,"file":"change-set-to-ops.d.ts","sourceRoot":"","sources":["../src/change-set-to-ops.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAErE,gFAAgF;AAChF,MAAM,WAAW,sBAAsB;IACrC,6DAA6D;IAC7D,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAClD,2DAA2D;IAC3D,SAAS,CAAC,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAClD,8DAA8D;IAC9D,mBAAmB,CAAC,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC5D,2DAA2D;IAC3D,MAAM,CAAC,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CAChD;AAED,uEAAuE;AACvE,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GACnB;IACE,EAAE,EAAE,eAAe,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC,CAAC;CAC9C,GACD;IAAE,EAAE,EAAE,qBAAqB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACnE;IAAE,EAAE,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,EAAE,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,WAAW,EAAE,CAAC;IACnB,mEAAmE;IACnE,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,oEAAoE;IACpE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;OAGG;IACH,OAAO,EAAE,QAAQ,EAAE,CAAC;CACrB;AAID,sDAAsD;AACtD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,GAAG,MAAM,CAOT;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,sBAAsB,GAC/B,kBAAkB,CA+EpB"}

package/dist/change-set-to-ops.js

@@ -84,7 +84,19 @@ export function changeSetToOps(changeSet, resolver) {
         applyMutation(mutation, entity, setMember, componentFor, entityOps, resolver, skipped);
     }
     const ops = [...entityOps.values()];
+    // Component ops fold in mutation order alongside entityOps above, but an
+    // entity's terminal state (LWW over entityOps) is only known once the
+    // whole mutation list has been consumed. Filter here, after both are
+    // complete, rather than during the fold: a DELETE_ENTITY appearing after
+    // the property mutation that produced a component would otherwise be
+    // missed by an in-flight check (the same forward-pass hazard as #2044).
+    // An entity tombstoned and later recreated (DELETE_ENTITY then
+    // CREATE_ENTITY for the same identity) resolves to 'add-entity' here,
+    // since entityOps is itself LWW keyed by entity — so its components
+    // correctly survive.
     for (const [entity, perEntity] of components) {
+        if (entityOps.get(entity)?.op === 'tombstone-entity')
+            continue;
         for (const [componentKey, values] of perEntity) {
             if (values === null) {
                 ops.push({ op: 'tombstone-component', entity, componentKey });

package/dist/change-set-to-ops.js.map

@@ -1 +1 @@
-{"version":3,"file":"change-set-to-ops.js","sourceRoot":"","sources":["../src/change-set-to-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAoDpD,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC,sDAAsD;AACtD,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE;QACtB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,IAAI,EAAE;KACjD,CAAC,CAAC;IACH,OAAO,WAAW,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,SAAoB,EACpB,QAAgC;IAEhC,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,MAAM,UAAU,GAAG,CAAC,SAAiB,EAAsB,EAAE;QAC3D,IAAI,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtE,IAAI,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,iBAAiB,GAAG,QAAQ,CAAC,mBAAmB,EAAE,CAAC,SAAS,CAAC,CAAC;YACpE,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACnF,QAAQ,GAAG,oBAAoB,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC;gBACtE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACvC,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IAEF,wEAAwE;IACxE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoE,CAAC;IAC/F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEjD,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,YAAoB,EAAE,EAAE;QAC5D,IAAI,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAChB,MAAc,EACd,YAAoB,EACpB,MAAc,EACd,KAA2B,EAC3B,EAAE;QACF,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACrD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;QACvB,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC;IAEF,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,GAAG,GAAkB,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC/C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,qBAAqB,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YAChE,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,aAAa,CACpB,QAAkB,EAClB,MAAc,EACd,SAAsG,EACtG,YAAgH,EAChH,SAAmC,EACnC,QAAgC,EAChC,OAAmB;IAEnB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM;QACR,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM;QACR,KAAK,iBAAiB,CAAC;QACvB,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM;QACR,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM;QACR,KAAK,qBAAqB;YACxB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACtB,wDAAwD;gBACxD,YAAY,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM;QACR,KAAK,qBAAqB;YACxB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACtB,YAAY,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM;QACR,KAAK,kBAAkB,CAAC;QACxB,KAAK,6BAA6B;YAChC,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;gBAC3B,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YACpF,CAAC;YACD,MAAM;QACR,KAAK,eAAe;YAClB,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE;gBACpB,EAAE,EAAE,YAAY;gBAChB,MAAM;gBACN,OAAO,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC;aACjD,CAAC,CAAC;YACH,MAAM;QACR,KAAK,eAAe;YAClB,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC;YAC1D,MAAM;QACR,KAAK,oBAAoB;YACvB,mEAAmE;YACnE,oEAAoE;YACpE,6DAA6D;YAC7D,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACxB,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBAC7D,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;oBAC1C,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;YACD,MAAM;QACR;YACE,iEAAiE;YACjE,0DAA0D;YAC1D,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,MAAM;IACV,CAAC;AACH,CAAC"}
+{"version":3,"file":"change-set-to-ops.js","sourceRoot":"","sources":["../src/change-set-to-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAoDpD,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC,sDAAsD;AACtD,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE;QACtB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,IAAI,EAAE;KACjD,CAAC,CAAC;IACH,OAAO,WAAW,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,SAAoB,EACpB,QAAgC;IAEhC,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,MAAM,UAAU,GAAG,CAAC,SAAiB,EAAsB,EAAE;QAC3D,IAAI,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtE,IAAI,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,iBAAiB,GAAG,QAAQ,CAAC,mBAAmB,EAAE,CAAC,SAAS,CAAC,CAAC;YACpE,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACnF,QAAQ,GAAG,oBAAoB,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC;gBACtE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACvC,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IAEF,wEAAwE;IACxE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoE,CAAC;IAC/F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEjD,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,YAAoB,EAAE,EAAE;QAC5D,IAAI,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAChB,MAAc,EACd,YAAoB,EACpB,MAAc,EACd,KAA2B,EAC3B,EAAE;QACF,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACrD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;QACvB,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC;IAEF,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,GAAG,GAAkB,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACnD,yEAAyE;IACzE,sEAAsE;IACtE,qEAAqE;IACrE,yEAAyE;IACzE,qEAAqE;IACrE,wEAAwE;IACxE,+DAA+D;IAC/D,sEAAsE;IACtE,oEAAoE;IACpE,qBAAqB;IACrB,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QAC7C,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,kBAAkB;YAAE,SAAS;QAC/D,KAAK,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC/C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,qBAAqB,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YAChE,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,aAAa,CACpB,QAAkB,EAClB,MAAc,EACd,SAAsG,EACtG,YAAgH,EAChH,SAAmC,EACnC,QAAgC,EAChC,OAAmB;IAEnB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM;QACR,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM;QACR,KAAK,iBAAiB,CAAC;QACvB,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM;QACR,KAAK,iBAAiB;YACpB,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3C,SAAS,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM;QACR,KAAK,qBAAqB;YACxB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACtB,wDAAwD;gBACxD,YAAY,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM;QACR,KAAK,qBAAqB;YACxB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACtB,YAAY,CAAC,MAAM,EAAE,QAAQ,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,QAAQ,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM;QACR,KAAK,kBAAkB,CAAC;QACxB,KAAK,6BAA6B;YAChC,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;gBAC3B,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YACpF,CAAC;YACD,MAAM;QACR,KAAK,eAAe;YAClB,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE;gBACpB,EAAE,EAAE,YAAY;gBAChB,MAAM;gBACN,OAAO,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC;aACjD,CAAC,CAAC;YACH,MAAM;QACR,KAAK,eAAe;YAClB,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC;YAC1D,MAAM;QACR,KAAK,oBAAoB;YACvB,mEAAmE;YACnE,oEAAoE;YACpE,6DAA6D;YAC7D,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACxB,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBAC7D,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;oBAC1C,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;YACD,MAAM;QACR;YACE,iEAAiE;YACjE,0DAA0D;YAC1D,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,MAAM;IACV,CAAC;AACH,CAAC"}

package/dist/effective-changes.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Pure enumeration of `MutablePropertyView.getEffectiveChanges()` (issue
+ * #1915), extracted out of `mutable-property-view.ts` to keep that file from
+ * growing further past the ~400-line module-split guideline (AGENTS.md).
+ *
+ * `collectEffectiveChanges` takes a narrow, explicitly-typed snapshot of the
+ * overlay maps/sets it needs plus a small set of resolver callbacks — never
+ * the view instance itself — so it stays a pure function, independently
+ * testable, and the view's private state stays private (the view passes a
+ * `Readonly`-wrapped view of its own maps at call time).
+ */
+import type { PropertySet, QuantitySet } from '@ifc-lite/data';
+import type { AttributeMutation, EffectiveChange, EntityTypeMutation, IfcAttributeValue, NewEntity, PropertyMutation, QuantityMutation } from './types.js';
+/** Base-value extractor for an entity attribute — see `MutablePropertyView.setAttributeExtractor`. */
+export type AttributeExtractor = (entityId: number, attrName: string) => string | null;
+/**
+ * Narrow, read-only view of the overlay state `collectEffectiveChanges` reads.
+ * Mirrors the corresponding private fields on `MutablePropertyView` exactly —
+ * the view passes its own maps/sets directly (they satisfy these `Readonly*`
+ * types structurally), so no copying is required per call.
+ */
+export interface EffectiveChangesSnapshot {
+    attributeMutations: ReadonlyMap<string, AttributeMutation>;
+    positionalAttrMutations: ReadonlyMap<number, ReadonlyMap<number, IfcAttributeValue>>;
+    typeMutations: ReadonlyMap<number, EntityTypeMutation>;
+    newPsets: ReadonlyMap<number, ReadonlyMap<string, PropertySet>>;
+    deletedPsets: ReadonlySet<string>;
+    newQsets: ReadonlyMap<number, ReadonlyMap<string, QuantitySet>>;
+    deletedQsets: ReadonlySet<string>;
+    propertyKeysByEntity: ReadonlyMap<number, ReadonlySet<string>>;
+    propertyMutations: ReadonlyMap<string, PropertyMutation>;
+    quantityKeysByEntity: ReadonlyMap<number, ReadonlySet<string>>;
+    quantityMutations: ReadonlyMap<string, QuantityMutation>;
+    newEntities: ReadonlyMap<number, NewEntity>;
+    tombstones: ReadonlySet<number>;
+    /**
+     * Ids `createEntity` allocated and `deleteEntity` then forgot (removed from
+     * `newEntities` rather than tombstoning — see `MutablePropertyView.deleteEntity`).
+     * These ids never appear in `newEntities` or `tombstones`, so without this
+     * set the filter below cannot tell "overlay-created then forgotten" apart
+     * from "an ordinary source-buffer entity" — both are simply absent from
+     * `newEntities`. Any row whose `entityId` is in this set is dropped
+     * entirely: the entity never existed as far as the export is concerned, so
+     * unlike a tombstoned entity there is no `entity-deleted` row to keep.
+     */
+    forgottenCreatedEntities: ReadonlySet<number>;
+}
+/** Base-data resolvers `collectEffectiveChanges` needs for `previousValue`. */
+export interface EffectiveChangesResolvers {
+    /** Registered via `setAttributeExtractor`, or `null` if none was set. */
+    attributeExtractor: AttributeExtractor | null;
+    /** `MutablePropertyView.resolveBaseEntityId` — follows duplicate aliases. */
+    resolveBaseEntityId: (entityId: number) => number;
+    /** `MutablePropertyView`'s private `getBasePropertiesForEntity`. */
+    getBasePropertiesForEntity: (entityId: number) => PropertySet[];
+    /** `MutablePropertyView`'s private `getBaseQuantitiesForEntity`. */
+    getBaseQuantitiesForEntity: (entityId: number) => QuantitySet[];
+}
+export declare function collectEffectiveChanges(snapshot: EffectiveChangesSnapshot, resolvers: EffectiveChangesResolvers): EffectiveChange[];
+//# sourceMappingURL=effective-changes.d.ts.map

package/dist/effective-changes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effective-changes.d.ts","sourceRoot":"","sources":["../src/effective-changes.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAGpB,sGAAsG;AACtG,MAAM,MAAM,kBAAkB,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;AAEvF;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC3D,uBAAuB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACrF,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACvD,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAChE,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAChE,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACzD,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACzD,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5C,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC;;;;;;;;;OASG;IACH,wBAAwB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC/C;AAED,+EAA+E;AAC/E,MAAM,WAAW,yBAAyB;IACxC,yEAAyE;IACzE,kBAAkB,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC9C,6EAA6E;IAC7E,mBAAmB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;IAClD,oEAAoE;IACpE,0BAA0B,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,WAAW,EAAE,CAAC;IAChE,oEAAoE;IACpE,0BAA0B,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,WAAW,EAAE,CAAC;CACjE;AA6QD,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,yBAAyB,GACnC,eAAe,EAAE,CAiBnB"}

package/dist/effective-changes.js

@@ -0,0 +1,277 @@
+/* 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 { propertyKey, quantityKey } from './types.js';
+/** Stringify an overlay value for `EffectiveChange.previousValue` / `.newValue`. */
+function stringifyEffectiveValue(value) {
+    if (value === null || value === undefined)
+        return undefined;
+    if (typeof value === 'string')
+        return value;
+    if (typeof value === 'number' || typeof value === 'boolean')
+        return String(value);
+    return JSON.stringify(value);
+}
+/** Sort key for `getEffectiveChanges()`: entityId, then kind, then name, then setName. */
+function compareEffectiveChanges(a, b) {
+    if (a.entityId !== b.entityId)
+        return a.entityId - b.entityId;
+    if (a.kind !== b.kind)
+        return a.kind < b.kind ? -1 : 1;
+    const an = a.name ?? '';
+    const bn = b.name ?? '';
+    if (an !== bn)
+        return an < bn ? -1 : 1;
+    const asn = a.setName ?? '';
+    const bsn = b.setName ?? '';
+    if (asn !== bsn)
+        return asn < bsn ? -1 : 1;
+    return 0;
+}
+/** Attribute + positional-attribute + retype overlay entries. */
+function collectAttributeAndTypeChanges(snapshot, resolvers, changes) {
+    for (const [key, mutation] of snapshot.attributeMutations) {
+        const entityId = Number(key.slice(0, key.indexOf(':')));
+        const previousValue = resolvers.attributeExtractor
+            ? stringifyEffectiveValue(resolvers.attributeExtractor(resolvers.resolveBaseEntityId(entityId), mutation.attribute))
+            : stringifyEffectiveValue(mutation.oldValue ?? null);
+        changes.push({
+            entityId,
+            kind: 'attribute',
+            name: mutation.attribute,
+            previousValue,
+            newValue: stringifyEffectiveValue(mutation.value),
+        });
+    }
+    for (const [entityId, indexMap] of snapshot.positionalAttrMutations) {
+        for (const [index, value] of indexMap) {
+            changes.push({
+                entityId,
+                kind: 'attribute',
+                name: `@${index}`,
+                newValue: stringifyEffectiveValue(value),
+            });
+        }
+    }
+    for (const [entityId, mutation] of snapshot.typeMutations) {
+        changes.push({
+            entityId,
+            kind: 'type',
+            previousValue: mutation.oldType,
+            newValue: mutation.newType,
+        });
+    }
+}
+/** Whole-pset / whole-qset add-or-delete overlay entries. */
+function collectSetLevelChanges(snapshot, changes) {
+    for (const [entityId, entityPsets] of snapshot.newPsets) {
+        for (const psetName of entityPsets.keys()) {
+            changes.push({ entityId, kind: 'pset-added', setName: psetName });
+        }
+    }
+    for (const key of snapshot.deletedPsets) {
+        const entityId = Number(key.slice(0, key.indexOf(':')));
+        const psetName = key.slice(key.indexOf(':') + 1);
+        changes.push({ entityId, kind: 'pset-deleted', setName: psetName });
+    }
+    for (const [entityId, entityQsets] of snapshot.newQsets) {
+        for (const qsetName of entityQsets.keys()) {
+            changes.push({ entityId, kind: 'qset-added', setName: qsetName });
+        }
+    }
+    for (const key of snapshot.deletedQsets) {
+        const entityId = Number(key.slice(0, key.indexOf(':')));
+        const qsetName = key.slice(key.indexOf(':') + 1);
+        changes.push({ entityId, kind: 'qset-deleted', setName: qsetName });
+    }
+}
+/**
+ * Look up the overlay mutation for a key already confirmed present in the
+ * entity's `*KeysByEntity` index. The single lookup path
+ * `collectPropertyChanges` and `collectQuantityChanges` both use (each calls
+ * it twice: once walking base-pset/qset properties, once walking overlay-only
+ * keys for newly-added properties/quantities on an existing set) so the two
+ * call sites can't silently diverge on how a missing entry is handled.
+ */
+function resolveMutation(mutations, key) {
+    return mutations.get(key);
+}
+/**
+ * Individual property mutations on EXISTING (base) psets. Mirrors
+ * `MutablePropertyView.getForEntity()`'s own base-pset walk so prefix
+ * stripping (not colon-splitting, which would break on a name containing
+ * ':') recovers propName safely. Properties belonging to a newly-created or
+ * wholly-deleted pset are reported by `collectSetLevelChanges` and skipped
+ * here.
+ */
+function collectPropertyChanges(snapshot, resolvers, changes) {
+    for (const entityId of snapshot.propertyKeysByEntity.keys()) {
+        const entityPropKeys = snapshot.propertyKeysByEntity.get(entityId);
+        const basePsets = resolvers.getBasePropertiesForEntity(entityId);
+        const visited = new Set();
+        for (const pset of basePsets) {
+            if (snapshot.deletedPsets.has(`${entityId}:${pset.name}`))
+                continue;
+            if (snapshot.newPsets.get(entityId)?.has(pset.name))
+                continue;
+            for (const prop of pset.properties) {
+                const key = propertyKey(entityId, pset.name, prop.name);
+                if (!entityPropKeys.has(key))
+                    continue;
+                visited.add(key);
+                const mutation = resolveMutation(snapshot.propertyMutations, key);
+                if (!mutation)
+                    continue;
+                changes.push({
+                    entityId,
+                    kind: 'property',
+                    setName: pset.name,
+                    name: prop.name,
+                    previousValue: stringifyEffectiveValue(prop.value),
+                    newValue: mutation.operation === 'DELETE' ? undefined : stringifyEffectiveValue(mutation.value),
+                    deleted: mutation.operation === 'DELETE' ? true : undefined,
+                });
+            }
+            const psetPrefix = `${entityId}:${pset.name}:`;
+            for (const key of entityPropKeys) {
+                if (visited.has(key) || !key.startsWith(psetPrefix))
+                    continue;
+                visited.add(key);
+                const mutation = resolveMutation(snapshot.propertyMutations, key);
+                if (!mutation)
+                    continue;
+                changes.push({
+                    entityId,
+                    kind: 'property',
+                    setName: pset.name,
+                    name: key.slice(psetPrefix.length),
+                    newValue: mutation.operation === 'DELETE' ? undefined : stringifyEffectiveValue(mutation.value),
+                    deleted: mutation.operation === 'DELETE' ? true : undefined,
+                });
+            }
+        }
+    }
+}
+/** Individual quantity mutations on EXISTING (base) qsets — mirrors `collectPropertyChanges`. */
+function collectQuantityChanges(snapshot, resolvers, changes) {
+    for (const entityId of snapshot.quantityKeysByEntity.keys()) {
+        const entityQtyKeys = snapshot.quantityKeysByEntity.get(entityId);
+        const baseQsets = resolvers.getBaseQuantitiesForEntity(entityId);
+        const visited = new Set();
+        for (const qset of baseQsets) {
+            if (snapshot.deletedQsets.has(`${entityId}:${qset.name}`))
+                continue;
+            if (snapshot.newQsets.get(entityId)?.has(qset.name))
+                continue;
+            for (const q of qset.quantities) {
+                const key = quantityKey(entityId, qset.name, q.name);
+                if (!entityQtyKeys.has(key))
+                    continue;
+                visited.add(key);
+                const mutation = resolveMutation(snapshot.quantityMutations, key);
+                if (!mutation)
+                    continue;
+                changes.push({
+                    entityId,
+                    kind: 'quantity',
+                    setName: qset.name,
+                    name: q.name,
+                    previousValue: stringifyEffectiveValue(q.value),
+                    newValue: mutation.operation === 'DELETE' ? undefined : stringifyEffectiveValue(mutation.value),
+                    deleted: mutation.operation === 'DELETE' ? true : undefined,
+                });
+            }
+            const qsetPrefix = `${entityId}:${qset.name}:`;
+            for (const key of entityQtyKeys) {
+                if (visited.has(key) || !key.startsWith(qsetPrefix))
+                    continue;
+                visited.add(key);
+                const mutation = resolveMutation(snapshot.quantityMutations, key);
+                if (!mutation)
+                    continue;
+                changes.push({
+                    entityId,
+                    kind: 'quantity',
+                    setName: qset.name,
+                    name: key.slice(qsetPrefix.length),
+                    newValue: mutation.operation === 'DELETE' ? undefined : stringifyEffectiveValue(mutation.value),
+                    deleted: mutation.operation === 'DELETE' ? true : undefined,
+                });
+            }
+        }
+    }
+}
+/** Entity create / delete overlay entries. */
+function collectEntityChanges(snapshot, changes) {
+    for (const [entityId, entity] of snapshot.newEntities) {
+        changes.push({ entityId, kind: 'entity-added', newValue: entity.type });
+    }
+    for (const entityId of snapshot.tombstones) {
+        changes.push({ entityId, kind: 'entity-deleted' });
+    }
+}
+/**
+ * Enumerate every change the overlay currently carries, as it stands right
+ * now — never from `mutationHistory`. Backs
+ * `MutablePropertyView.getEffectiveChanges()`: `previousValue` is derived
+ * from the base data (property table / on-demand extractor / attribute
+ * extractor), so an undo→redo cycle reports the true original, not a stale
+ * history entry.
+ *
+ * Whole-pset/qset deletes and creates are reported as a single
+ * `pset-added` / `pset-deleted` / `qset-added` / `qset-deleted` row rather
+ * than one row per property/quantity inside them (`deletePropertySet` /
+ * `createPropertySet` also populate individual property/quantity mutations
+ * internally — those are intentionally not double-reported here).
+ *
+ * Deterministic ordering: entityId, then kind, then name, then setName.
+ *
+ * A tombstoned entity's other overlay rows (attribute/property/quantity/type
+ * edits made before it was deleted) are dropped, keeping only its
+ * `entity-deleted` row. This mirrors `step-exporter.ts`'s STEP-export
+ * behaviour, which drops attribute/positional/type mutations for a deleted
+ * entity (`completeIndex` loop `continue`s on `mutationView.isDeleted()`
+ * before applying them) — reporting those superseded edits here would show
+ * the user a row for a change the exporter silently discards.
+ *
+ * An overlay-created entity that was *itself* deleted before ever being
+ * exported is dropped even more completely: `deleteEntity` purges a created
+ * entity's overlay rows (property/quantity/attribute/type mutations, its
+ * `newPsets`/`newQsets` entries, and its own mutation-history records) as
+ * soon as it forgets the entity — see that method's doc — so this filter is
+ * defense in depth rather than the primary mechanism: the snapshot maps
+ * should already be clean for a forgotten id. Any row that does slip through
+ * (e.g. a caller-supplied snapshot in a test) is dropped with no exception.
+ *
+ * A fully-undone edit — undo re-applies the inverse with `skipHistory`,
+ * landing the overlay back at the base value — resolves `previousValue` and
+ * `newValue` to the same string. That is a no-op from the export's
+ * perspective (the exporter would write back exactly what was already
+ * there), so it is dropped too rather than shown as a "Status Original ->
+ * Original" row for a change the user undid.
+ */
+function isNoOpChange(c) {
+    if (c.kind !== 'attribute' && c.kind !== 'property' && c.kind !== 'quantity' && c.kind !== 'type') {
+        return false;
+    }
+    return c.previousValue !== undefined && c.previousValue === c.newValue;
+}
+export function collectEffectiveChanges(snapshot, resolvers) {
+    const changes = [];
+    collectAttributeAndTypeChanges(snapshot, resolvers, changes);
+    collectSetLevelChanges(snapshot, changes);
+    collectPropertyChanges(snapshot, resolvers, changes);
+    collectQuantityChanges(snapshot, resolvers, changes);
+    collectEntityChanges(snapshot, changes);
+    changes.sort(compareEffectiveChanges);
+    return changes.filter((c) => {
+        if (snapshot.forgottenCreatedEntities.has(c.entityId))
+            return false;
+        if (c.kind !== 'entity-deleted' && snapshot.tombstones.has(c.entityId))
+            return false;
+        if (isNoOpChange(c))
+            return false;
+        return true;
+    });
+}
+//# sourceMappingURL=effective-changes.js.map

package/dist/effective-changes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effective-changes.js","sourceRoot":"","sources":["../src/effective-changes.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAwB/D,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAkDtD,oFAAoF;AACpF,SAAS,uBAAuB,CAAC,KAAc;IAC7C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAClF,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,0FAA0F;AAC1F,SAAS,uBAAuB,CAAC,CAAkB,EAAE,CAAkB;IACrE,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;QAAE,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;IAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;IAC5B,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,iEAAiE;AACjE,SAAS,8BAA8B,CACrC,QAAkC,EAClC,SAAoC,EACpC,OAA0B;IAE1B,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,aAAa,GAAG,SAAS,CAAC,kBAAkB;YAChD,CAAC,CAAC,uBAAuB,CACvB,SAAS,CAAC,kBAAkB,CAAC,SAAS,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAC1F;YACD,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ;YACR,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,QAAQ,CAAC,SAAS;YACxB,aAAa;YACb,QAAQ,EAAE,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC;SAClD,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACpE,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ;gBACR,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,IAAI,KAAK,EAAE;gBACjB,QAAQ,EAAE,uBAAuB,CAAC,KAAK,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ;YACR,IAAI,EAAE,MAAM;YACZ,aAAa,EAAE,QAAQ,CAAC,OAAO;YAC/B,QAAQ,EAAE,QAAQ,CAAC,OAAO;SAC3B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,SAAS,sBAAsB,CAAC,QAAkC,EAAE,OAA0B;IAC5F,KAAK,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,eAAe,CAAI,SAAiC,EAAE,GAAW;IACxE,OAAO,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,sBAAsB,CAC7B,QAAkC,EAClC,SAAoC,EACpC,OAA0B;IAE1B,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5D,MAAM,cAAc,GAAG,QAAQ,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QACpE,MAAM,SAAS,GAAG,SAAS,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAE,SAAS;YACpE,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE9D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACvC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;gBAClE,IAAI,CAAC,QAAQ;oBAAE,SAAS;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ;oBACR,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,aAAa,EAAE,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC;oBAClD,QAAQ,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC/F,OAAO,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;iBAC5D,CAAC,CAAC;YACL,CAAC;YAED,MAAM,UAAU,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;gBACjC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;oBAAE,SAAS;gBAC9D,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;gBAClE,IAAI,CAAC,QAAQ;oBAAE,SAAS;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ;oBACR,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;oBAClC,QAAQ,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC/F,OAAO,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;iBAC5D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,SAAS,sBAAsB,CAC7B,QAAkC,EAClC,SAAoC,EACpC,OAA0B;IAE1B,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5D,MAAM,aAAa,GAAG,QAAQ,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QACnE,MAAM,SAAS,GAAG,SAAS,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAE,SAAS;YACpE,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE9D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBACrD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;gBAClE,IAAI,CAAC,QAAQ;oBAAE,SAAS;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ;oBACR,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,aAAa,EAAE,uBAAuB,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC/C,QAAQ,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC/F,OAAO,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;iBAC5D,CAAC,CAAC;YACL,CAAC;YAED,MAAM,UAAU,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;gBAChC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;oBAAE,SAAS;gBAC9D,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;gBAClE,IAAI,CAAC,QAAQ;oBAAE,SAAS;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ;oBACR,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;oBAClC,QAAQ,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC/F,OAAO,EAAE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;iBAC5D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,8CAA8C;AAC9C,SAAS,oBAAoB,CAAC,QAAkC,EAAE,OAA0B;IAC1F,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,SAAS,YAAY,CAAC,CAAkB;IACtC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,QAAQ,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAAkC,EAClC,SAAoC;IAEpC,MAAM,OAAO,GAAsB,EAAE,CAAC;IAEtC,8BAA8B,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1C,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACrD,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACrD,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAExC,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAEtC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACpE,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACrF,IAAI,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/index.d.ts

@@ -2,7 +2,7 @@
  * @ifc-lite/mutations - Mutation tracking for IFC data
  */
 export * from './types.js';
-export { MutablePropertyView, type PropertyExtractor, type QuantityExtractor } from './mutable-property-view.js';
+export { MutablePropertyView, type PropertyExtractor, type QuantityExtractor, type AttributeExtractor, } from './mutable-property-view.js';
 export { StoreEditor, OVERLAY_BYTE_OFFSET, setEntityTypeNormalizer, type EntityTypeNormalizer, } from './store-editor.js';
 export { ChangeSetManager } from './change-set.js';
 export { BulkQueryEngine, type SelectionCriteria, type BulkAction, type BulkQuery, type BulkQueryPreview, type BulkQueryResult, type PropertyFilter, type FilterOperator, } from './bulk-query-engine.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACjH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,uBAAuB,EACvB,KAAK,oBAAoB,GAC1B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,KAAK,iBAAiB,EACtB,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,cAAc,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,YAAY,EACZ,KAAK,MAAM,EACX,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,GAC5B,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EACL,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,GACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,uBAAuB,EACvB,KAAK,oBAAoB,GAC1B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,KAAK,iBAAiB,EACtB,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,cAAc,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,YAAY,EACZ,KAAK,MAAM,EACX,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,GAC5B,MAAM,wBAAwB,CAAC"}

package/dist/index.js

@@ -5,7 +5,7 @@
  * @ifc-lite/mutations - Mutation tracking for IFC data
  */
 export * from './types.js';
-export { MutablePropertyView } from './mutable-property-view.js';
+export { MutablePropertyView, } from './mutable-property-view.js';
 export { StoreEditor, OVERLAY_BYTE_OFFSET, setEntityTypeNormalizer, } from './store-editor.js';
 export { ChangeSetManager } from './change-set.js';
 export { BulkQueryEngine, } from './bulk-query-engine.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAkD,MAAM,4BAA4B,CAAC;AACjH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,uBAAuB,GAExB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,eAAe,GAQhB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,YAAY,GASb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,cAAc,EACd,oBAAoB,GAKrB,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EACL,mBAAmB,GAIpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,uBAAuB,GAExB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,eAAe,GAQhB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,YAAY,GASb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,cAAc,EACd,oBAAoB,GAKrB,MAAM,wBAAwB,CAAC"}

package/dist/mutable-property-view.d.ts

@@ -9,7 +9,9 @@
  */
 import type { PropertyTable, PropertySet, QuantitySet } from '@ifc-lite/data';
 import { PropertyValueType, QuantityType } from '@ifc-lite/data';
-import type { IfcAttributeValue, PropertyValue, EntityTypeMutation, Mutation, NewEntity } from './types.js';
+import type { IfcAttributeValue, PropertyValue, EntityTypeMutation, Mutation, NewEntity, EffectiveChange } from './types.js';
+import { type AttributeExtractor } from './effective-changes.js';
+export type { AttributeExtractor } from './effective-changes.js';
 /**
  * Function type for on-demand property extraction
  * Allows globalId to be optional to match extractPropertiesOnDemand return type
@@ -32,6 +34,7 @@ export declare class MutablePropertyView {
     private baseTable;
     private onDemandExtractor;
     private quantityExtractor;
+    private attributeExtractor;
     private propertyMutations;
     private quantityMutations;
     /**
@@ -53,6 +56,39 @@ export declare class MutablePropertyView {
     private typeMutations;
     private newEntities;
     private tombstones;
+    /**
+     * Ids `createEntity` allocated and `deleteEntity` then forgot (removed from
+     * `newEntities`, per that method's "existing entities are tombstoned; new
+     * entities are simply forgotten" contract). Tracked separately so
+     * `getEffectiveChanges()` / `collectEffectiveChanges` can tell "overlay-created
+     * then forgotten" apart from "an ordinary source-buffer entity" — both are
+     * otherwise indistinguishable, being simply absent from `newEntities`.
+     * `restoreNewEntity` (the undo-of-delete counterpart) clears the id back out.
+     */
+    private forgottenCreatedEntities;
+    /**
+     * Snapshot of a forgotten-created entity's overlay rows, stashed by
+     * `deleteEntity` and restored by `restoreNewEntity`.
+     *
+     * `deleteEntity` on an overlay-created entity does more than drop it from
+     * `newEntities` — it also PURGES every other overlay entry the entity left
+     * behind (property/quantity/attribute/positional/type mutations, its
+     * `newPsets`/`newQsets` entries, and its own `mutationHistory` records).
+     * Without that purge, an entity that was created, edited, then deleted
+     * before export left a dangling reference: `StepExporter` derives its
+     * property/quantity work list from `getMutations()` (the append-only
+     * history) and reads `getForEntity()` / `getQuantitiesForEntity()` straight
+     * off `newPsets` / `newQsets` — neither of which the review-side
+     * `forgottenCreatedEntities` filter in `effective-changes.ts` touches. The
+     * review dialog looked clean while the exported file still contained an
+     * `IFCPROPERTYSET` + `IFCRELDEFINESBYPROPERTIES` pointing at an expressId
+     * that was never actually created (maintainer finding on #1967).
+     *
+     * The purged data is captured here, not discarded, because `restoreNewEntity`
+     * (undo of the delete) must bring it all back — rows AND count AND what the
+     * exporter would see — not just re-add the bare `NewEntity` record.
+     */
+    private forgottenEntityOverlay;
     /**
      * Overlay-entity → source-entity aliases for property/quantity reads.
      *
@@ -98,6 +134,14 @@ export declare class MutablePropertyView {
      * Set an on-demand quantity extractor function
      */
     setQuantityExtractor(extractor: QuantityExtractor): void;
+    /**
+     * Set the base entity-attribute extractor (Name, Description, ObjectType,
+     * Tag, ...), used only to resolve `previousValue` in `getEffectiveChanges()`.
+     * Without one, attribute `previousValue` falls back to whatever `oldValue`
+     * the overlay entry itself carries — which undo can leave stale/absent (see
+     * `getEffectiveChanges()` doc).
+     */
+    setAttributeExtractor(extractor: AttributeExtractor): void;
     /**
      * Get base properties for an entity (before mutations)
      * Uses on-demand extraction if available, otherwise falls back to base table.
@@ -283,6 +327,20 @@ export declare class MutablePropertyView {
      * restore (the slice's undo stack does this).
      */
     restoreNewEntity(entity: NewEntity): void;
+    /**
+     * Move every current overlay entry for `expressId` out of the live maps
+     * and into `forgottenEntityOverlay`, and drop this entity's own records
+     * from `mutationHistory`. Called by `deleteEntity` when it forgets a
+     * created entity. Only stashes a key if something was actually captured,
+     * so `unstashEntityOverlay` on a plain (never-edited) create is a no-op.
+     */
+    private stashAndPurgeEntityOverlay;
+    /**
+     * Reverse `stashAndPurgeEntityOverlay`: put everything `deleteEntity`
+     * purged back into the live overlay maps. Called by `restoreNewEntity`.
+     * A no-op if nothing was stashed for `expressId`.
+     */
+    private unstashEntityOverlay;
     /**
      * Every express id this session deleted — source-buffer entities AND ones it
      * created and then deleted. The two are not distinguishable from this set
@@ -326,7 +384,24 @@ export declare class MutablePropertyView {
      */
     getMutationsForEntity(entityId: number): Mutation[];
     /**
-     * Check if an entity has any mutations
+     * Check if an entity currently carries an overlay change.
+     *
+     * Reads the live overlay (same footprint as {@link hasPendingChanges}),
+     * NOT the append-only `mutationHistory` — undo does not pop history (see
+     * `getMutations()`), so a history-based check could report `true` for an
+     * entity whose edit was fully undone. Called with no `entityId`, this is
+     * exactly {@link hasPendingChanges}.
+     *
+     * Unlike {@link getModifiedEntityCount} (derived from
+     * {@link getEffectiveChanges} so it can't diverge), this is a direct
+     * per-entity map lookup kept O(1)-ish for callers that probe many entities
+     * (e.g. a per-row "has changes" indicator) — re-deriving effective changes
+     * per call would be O(overlay size) each time. That means it can still
+     * report `true` for an entity whose only overlay entry is a no-op edit
+     * (undo landed it back at the base value, so `previousValue === newValue`
+     * — see {@link getEffectiveChanges}'s doc). Over-reporting here is the same
+     * safe direction {@link hasPendingChanges} already documents; nothing in
+     * this repo reads this per-entity form in production as of #1967.
      */
     hasChanges(entityId?: number): boolean;
     /**
@@ -346,9 +421,44 @@ export declare class MutablePropertyView {
      */
     hasPendingChanges(): boolean;
     /**
-     * Get count of modified entities
+     * Get count of modified entities.
+     *
+     * Reads the live overlay, NOT `mutationHistory` (issue #1915): undo does
+     * not pop history, so a history-based count could over-report — e.g. after
+     * `setAttribute` + `removeAttributeMutation` (exactly what undoing a
+     * freshly-created attribute mutation does), the overlay is empty again but
+     * history still holds the one entry. This must agree with
+     * {@link hasPendingChanges}: zero here iff that is `false`.
+     *
+     * Must also agree with {@link getEffectiveChanges} — an entity contributing
+     * zero effective rows (a create -> edit -> delete `deleteEntity` forgot, or
+     * an edit fully undone back to its base value) must not be counted here
+     * either. `collectModifiedEntityIds` is deliberately DERIVED FROM
+     * `getEffectiveChanges()` rather than hand-walking the overlay maps a
+     * second time, so the two structurally cannot diverge again (issue: the
+     * #1915 forgotten-created blind spot, and the #1967 no-op-edit blind spot
+     * that a second hand-rolled walk reintroduced).
      */
     getModifiedEntityCount(): number;
+    /** Distinct entity ids with at least one row in {@link getEffectiveChanges}. */
+    private collectModifiedEntityIds;
+    /**
+     * Enumerate every change the overlay currently carries, as it stands right
+     * now — never from `mutationHistory` (see {@link getModifiedEntityCount}).
+     * This is what the export-review UI (issue #1915) and any snapshot test
+     * should read: `previousValue` is derived from the base data (property
+     * table / on-demand extractor / attribute extractor), so an undo→redo
+     * cycle reports the true original, not a stale history entry.
+     *
+     * Whole-pset/qset deletes and creates are reported as a single
+     * `pset-added` / `pset-deleted` / `qset-added` / `qset-deleted` row rather
+     * than one row per property/quantity inside them (deletePropertySet /
+     * createPropertySet also populate individual property/quantity mutations
+     * internally — those are intentionally not double-reported here).
+     *
+     * Deterministic ordering: entityId, then kind, then name, then setName.
+     */
+    getEffectiveChanges(): EffectiveChange[];
     /**
      * Clear all mutations (reset to base state)
      */