footprintjs 9.23.0 → 9.23.2

package/dist/lib/reactive/liveView.js

@@ -10,9 +10,71 @@
  * found on element proxies, then the same root on nested and terminal ones).
  * So every read trap resolves through the CURRENT value and falls back to the
  * captured object only when the path is gone or no longer holds an object.
+ *
+ * The READ side of every object proxy lives here — {@link liveObject},
+ * {@link liveGetTrap}, {@link liveInspectionTraps}, and the ONE per-member
+ * proxy cache {@link cachedMember} (9.23.2); the WRITE side is
+ * `writeTraps.ts`. A factory only wires them (9.23.1).
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.liveInspectionTraps = exports.liveObject = void 0;
+exports.liveInspectionTraps = exports.liveGetTrap = exports.liveObject = exports.cachedMember = exports.MemberCache = void 0;
+const jsonProjection_js_1 = require("./jsonProjection.js");
+/**
+ * A proxy per member NAME under one parent proxy, validated by the raw
+ * member's identity. The map is allocated on the FIRST insert: an element
+ * proxy over `{ id, n }` reads only primitives and must not pay for one
+ * (10,000 of them in the naive re-read loop — measured, `bench/nested-reads.ts`).
+ */
+class MemberCache {
+    entries;
+    /** The proxy cached under `prop`, if it was built over exactly this raw `value`. */
+    hit(prop, value) {
+        const cached = this.entries?.get(prop);
+        return cached !== undefined && cached.ref === value ? cached.proxy : undefined;
+    }
+    remember(prop, value, proxy) {
+        (this.entries ??= new Map()).set(prop, { ref: value, proxy });
+    }
+    /** Forget `prop` — a write replaced its value, so the next read must build over the new one. */
+    delete(prop) {
+        this.entries?.delete(prop);
+    }
+}
+exports.MemberCache = MemberCache;
+/**
+ * WHY the cache: `o.arr === o.arr` must hold within a stage, and
+ * `for (i < N) s.k.arr[i]` must build ONE array proxy — whose element cache
+ * then serves every index — not N (the 9.22.0 perf review, finding 4: the
+ * nested get trap built a fresh array proxy, with a fresh empty element
+ * cache, on every `.arr`). The top-level scope has cached its child proxies
+ * this way since before 9.22.0; this is that leaf, shared by all four.
+ *
+ * Validated by IDENTITY, invalidated by replacement: every write through a
+ * proxy rebuilds the containers on its path (`structuralWrite.setInPath`),
+ * so after `s.k.arr[0].n = 1` the raw `arr` is a new array, the ref check
+ * misses, and the next read builds a proxy over the NEW value. A hit can
+ * never be stale — every proxy reads live (`liveGetTrap`), so the cached one
+ * and a fresh one answer the same.
+ *
+ * Keyed by NAME under THIS parent, never by the raw value alone: a diamond
+ * (one array under `k.a` and `k.b`) needs two proxies, each bound to its own
+ * path and sink. Only what `build` actually WRAPPED is kept — a member handed
+ * back raw (a `Date`, a frozen object, a cycle edge) is not worth an entry.
+ * `build` is the caller's stable child step, not a closure made per read: a
+ * hit allocates nothing, and a primitive member skips the cache entirely.
+ */
+function cachedMember(cache, prop, value, build, segments) {
+    if (value === null || typeof value !== 'object')
+        return build(value, [...segments, prop]);
+    const hit = cache.hit(prop, value);
+    if (hit !== undefined)
+        return hit;
+    const proxy = build(value, [...segments, prop]);
+    if (proxy !== value)
+        cache.remember(prop, value, proxy);
+    return proxy;
+}
+exports.cachedMember = cachedMember;
 /** The object at `segments` under the current root, or `raw` when it is gone. */
 function liveObject(raw, current) {
     return current !== null && typeof current === 'object' && !Array.isArray(current)
@@ -20,6 +82,29 @@ function liveObject(raw, current) {
         : raw;
 }
 exports.liveObject = liveObject;
+/**
+ * WHY one get trap: the names a proxy answers ITSELF (promise/matcher guards,
+ * `constructor`, and the JSON law — serializing a proxied value equals
+ * serializing the raw one, `jsonProjection.ts`) must be the same three lines
+ * on every object proxy; any other member is handed to `child` with its full
+ * path — through the parent's {@link cachedMember} — and only THAT step
+ * differs per factory (the cycle policy).
+ */
+function liveGetTrap(live, segments, child, members) {
+    return (_target, prop) => {
+        const raw = live();
+        if (typeof prop === 'symbol')
+            return raw[prop];
+        if (prop === 'then' || prop === 'asymmetricMatch')
+            return undefined;
+        if (prop === 'constructor')
+            return Object;
+        if (prop === 'toJSON')
+            return () => (0, jsonProjection_js_1.toJSONView)(raw);
+        return cachedMember(members, prop, raw[prop], child, segments);
+    };
+}
+exports.liveGetTrap = liveGetTrap;
 /**
  * The three inspection traps (`in`, `Object.keys`, descriptors) answered from
  * the live object. The one Proxy invariant that could bite — a non-extensible
@@ -45,4 +130,4 @@ function liveInspectionTraps(live) {
     };
 }
 exports.liveInspectionTraps = liveInspectionTraps;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibGl2ZVZpZXcuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvbGliL3JlYWN0aXZlL2xpdmVWaWV3LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7QUFBQTs7Ozs7Ozs7Ozs7R0FXRzs7O0FBRUgsaUZBQWlGO0FBQ2pGLFNBQWdCLFVBQVUsQ0FBQyxHQUE0QixFQUFFLE9BQWdCO0lBQ3ZFLE9BQU8sT0FBTyxLQUFLLElBQUksSUFBSSxPQUFPLE9BQU8sS0FBSyxRQUFRLElBQUksQ0FBQyxLQUFLLENBQUMsT0FBTyxDQUFDLE9BQU8sQ0FBQztRQUMvRSxDQUFDLENBQUUsT0FBbUM7UUFDdEMsQ0FBQyxDQUFDLEdBQUcsQ0FBQztBQUNWLENBQUM7QUFKRCxnQ0FJQztBQUVEOzs7Ozs7O0dBT0c7QUFDSCxTQUFnQixtQkFBbUIsQ0FDakMsSUFBa0I7SUFFbEIsT0FBTztRQUNMLEdBQUcsQ0FBQyxNQUFNLEVBQUUsSUFBSTtZQUNkLE9BQU8sT0FBTyxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQyxDQUFDO1FBQzFFLENBQUM7UUFDRCxPQUFPLENBQUMsTUFBTTtZQUNaLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDeEUsQ0FBQztRQUNELHdCQUF3QixDQUFDLE1BQU0sRUFBRSxJQUFJO1lBQ25DLElBQUksQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDLE1BQU0sQ0FBQztnQkFBRSxPQUFPLE1BQU0sQ0FBQyx3QkFBd0IsQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLENBQUM7WUFDdkYsTUFBTSxVQUFVLEdBQUcsTUFBTSxDQUFDLHdCQUF3QixDQUFDLElBQUksRUFBRSxFQUFFLElBQUksQ0FBQyxDQUFDO1lBQ2pFLE9BQU8sVUFBVSxJQUFJLENBQUMsVUFBVSxDQUFDLFlBQVksQ0FBQyxDQUFDLENBQUMsRUFBRSxHQUFHLFVBQVUsRUFBRSxZQUFZLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQztRQUNyRyxDQUFDO0tBQ0YsQ0FBQztBQUNKLENBQUM7QUFoQkQsa0RBZ0JDIiwic291cmNlc0NvbnRlbnQiOlsiLyoqXG4gKiByZWFjdGl2ZS9saXZlVmlldyDigJQgd2hhdCBhIHByb3h5IHN0YW5kcyBmb3IsIEFTIElUIFNUQU5EUyBOT1cuXG4gKlxuICogRXZlcnkgd3JpdGUgdGhyb3VnaCB0aGUgdHlwZWQgc2NvcGUgcmVidWlsZHMgdGhlIHJvb3QgaW1tdXRhYmx5XG4gKiAoYHN0cnVjdHVyYWxXcml0ZS5zZXRJblBhdGhgLCBhIGZyZXNoIG1lcmdlKSwgc28gdGhlIG9iamVjdCBhIHByb3h5IHdhc1xuICogY3JlYXRlZCBvdmVyIGlzIHRoZSBQUkUtd3JpdGUgdmFsdWUgZm9yIGV2ZXIgYWZ0ZXIuIEEgaGVsZCBwcm94eSB0aGF0IHJlYWRcbiAqIGZyb20gaXQgc2F3IGl0cyBvd24gd3JpdGVzIHZhbmlzaDogYG8ueCArPSAxYCB0d2ljZSBnYXZlIDIsIGBvLmIgPSBvLmEgKiAxMGBcbiAqIHVzZWQgdGhlIG9sZCBgYWAsIGAneCcgaW4gb2Agd2FzIGZhbHNlIHJpZ2h0IGFmdGVyIGBvLnggPSAxYCAoOS4yMi4wIOKAlCBmaXJzdFxuICogZm91bmQgb24gZWxlbWVudCBwcm94aWVzLCB0aGVuIHRoZSBzYW1lIHJvb3Qgb24gbmVzdGVkIGFuZCB0ZXJtaW5hbCBvbmVzKS5cbiAqIFNvIGV2ZXJ5IHJlYWQgdHJhcCByZXNvbHZlcyB0aHJvdWdoIHRoZSBDVVJSRU5UIHZhbHVlIGFuZCBmYWxscyBiYWNrIHRvIHRoZVxuICogY2FwdHVyZWQgb2JqZWN0IG9ubHkgd2hlbiB0aGUgcGF0aCBpcyBnb25lIG9yIG5vIGxvbmdlciBob2xkcyBhbiBvYmplY3QuXG4gKi9cblxuLyoqIFRoZSBvYmplY3QgYXQgYHNlZ21lbnRzYCB1bmRlciB0aGUgY3VycmVudCByb290LCBvciBgcmF3YCB3aGVuIGl0IGlzIGdvbmUuICovXG5leHBvcnQgZnVuY3Rpb24gbGl2ZU9iamVjdChyYXc6IFJlY29yZDxzdHJpbmcsIHVua25vd24+LCBjdXJyZW50OiB1bmtub3duKTogUmVjb3JkPHN0cmluZywgdW5rbm93bj4ge1xuICByZXR1cm4gY3VycmVudCAhPT0gbnVsbCAmJiB0eXBlb2YgY3VycmVudCA9PT0gJ29iamVjdCcgJiYgIUFycmF5LmlzQXJyYXkoY3VycmVudClcbiAgICA/IChjdXJyZW50IGFzIFJlY29yZDxzdHJpbmcsIHVua25vd24+KVxuICAgIDogcmF3O1xufVxuXG4vKipcbiAqIFRoZSB0aHJlZSBpbnNwZWN0aW9uIHRyYXBzIChgaW5gLCBgT2JqZWN0LmtleXNgLCBkZXNjcmlwdG9ycykgYW5zd2VyZWQgZnJvbVxuICogdGhlIGxpdmUgb2JqZWN0LiBUaGUgb25lIFByb3h5IGludmFyaWFudCB0aGF0IGNvdWxkIGJpdGUg4oCUIGEgbm9uLWV4dGVuc2libGVcbiAqIHRhcmdldCBtdXN0IHJlcG9ydCBleGFjdGx5IGl0cyBvd24ga2V5cywgYW5kIGEgcHJvcGVydHkgdGhlIHRhcmdldCBsYWNrc1xuICogbXVzdCBiZSByZXBvcnRlZCBjb25maWd1cmFibGUg4oCUIGlzIGhvbm91cmVkOiB0aGUgYWxsb3dsaXN0IGFscmVhZHkgcmVmdXNlc1xuICogZnJvemVuIGFuZCBzZWFsZWQgdmFsdWVzLCBzbyB0aGUgYHByZXZlbnRFeHRlbnNpb25zYC1vbmx5IGNvcm5lciBhbnN3ZXJzXG4gKiBmcm9tIHRoZSB0YXJnZXQsIGFuZCBhIGxpdmUgZGVzY3JpcHRvciBpcyBhbHdheXMgcmVwb3J0ZWQgY29uZmlndXJhYmxlLlxuICovXG5leHBvcnQgZnVuY3Rpb24gbGl2ZUluc3BlY3Rpb25UcmFwcyhcbiAgbGl2ZTogKCkgPT4gb2JqZWN0LFxuKTogUGljazxQcm94eUhhbmRsZXI8b2JqZWN0PiwgJ2hhcycgfCAnb3duS2V5cycgfCAnZ2V0T3duUHJvcGVydHlEZXNjcmlwdG9yJz4ge1xuICByZXR1cm4ge1xuICAgIGhhcyh0YXJnZXQsIHByb3ApIHtcbiAgICAgIHJldHVybiBSZWZsZWN0LmhhcyhPYmplY3QuaXNFeHRlbnNpYmxlKHRhcmdldCkgPyBsaXZlKCkgOiB0YXJnZXQsIHByb3ApO1xuICAgIH0sXG4gICAgb3duS2V5cyh0YXJnZXQpIHtcbiAgICAgIHJldHVybiBSZWZsZWN0Lm93bktleXMoT2JqZWN0LmlzRXh0ZW5zaWJsZSh0YXJnZXQpID8gbGl2ZSgpIDogdGFyZ2V0KTtcbiAgICB9LFxuICAgIGdldE93blByb3BlcnR5RGVzY3JpcHRvcih0YXJnZXQsIHByb3ApIHtcbiAgICAgIGlmICghT2JqZWN0LmlzRXh0ZW5zaWJsZSh0YXJnZXQpKSByZXR1cm4gT2JqZWN0LmdldE93blByb3BlcnR5RGVzY3JpcHRvcih0YXJnZXQsIHByb3ApO1xuICAgICAgY29uc3QgZGVzY3JpcHRvciA9IE9iamVjdC5nZXRPd25Qcm9wZXJ0eURlc2NyaXB0b3IobGl2ZSgpLCBwcm9wKTtcbiAgICAgIHJldHVybiBkZXNjcmlwdG9yICYmICFkZXNjcmlwdG9yLmNvbmZpZ3VyYWJsZSA/IHsgLi4uZGVzY3JpcHRvciwgY29uZmlndXJhYmxlOiB0cnVlIH0gOiBkZXNjcmlwdG9yO1xuICAgIH0sXG4gIH07XG59XG4iXX0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibGl2ZVZpZXcuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvbGliL3JlYWN0aXZlL2xpdmVWaWV3LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7QUFBQTs7Ozs7Ozs7Ozs7Ozs7OztHQWdCRzs7O0FBRUgsMkRBQWlEO0FBRWpEOzs7OztHQUtHO0FBQ0gsTUFBYSxXQUFXO0lBQ2QsT0FBTyxDQUFnRDtJQUUvRCxvRkFBb0Y7SUFDcEYsR0FBRyxDQUFDLElBQVksRUFBRSxLQUFhO1FBQzdCLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxPQUFPLEVBQUUsR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ3ZDLE9BQU8sTUFBTSxLQUFLLFNBQVMsSUFBSSxNQUFNLENBQUMsR0FBRyxLQUFLLEtBQUssQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFDO0lBQ2pGLENBQUM7SUFFRCxRQUFRLENBQUMsSUFBWSxFQUFFLEtBQWEsRUFBRSxLQUFjO1FBQ2xELENBQUMsSUFBSSxDQUFDLE9BQU8sS0FBSyxJQUFJLEdBQUcsRUFBRSxDQUFDLENBQUMsR0FBRyxDQUFDLElBQUksRUFBRSxFQUFFLEdBQUcsRUFBRSxLQUFLLEVBQUUsS0FBSyxFQUFFLENBQUMsQ0FBQztJQUNoRSxDQUFDO0lBRUQsZ0dBQWdHO0lBQ2hHLE1BQU0sQ0FBQyxJQUFZO1FBQ2pCLElBQUksQ0FBQyxPQUFPLEVBQUUsTUFBTSxDQUFDLElBQUksQ0FBQyxDQUFDO0lBQzdCLENBQUM7Q0FDRjtBQWpCRCxrQ0FpQkM7QUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBcUJHO0FBQ0gsU0FBZ0IsWUFBWSxDQUMxQixLQUFrQixFQUNsQixJQUFZLEVBQ1osS0FBYyxFQUNkLEtBQWtELEVBQ2xELFFBQTJCO0lBRTNCLElBQUksS0FBSyxLQUFLLElBQUksSUFBSSxPQUFPLEtBQUssS0FBSyxRQUFRO1FBQUUsT0FBTyxLQUFLLENBQUMsS0FBSyxFQUFFLENBQUMsR0FBRyxRQUFRLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQztJQUMxRixNQUFNLEdBQUcsR0FBRyxLQUFLLENBQUMsR0FBRyxDQUFDLElBQUksRUFBRSxLQUFLLENBQUMsQ0FBQztJQUNuQyxJQUFJLEdBQUcsS0FBSyxTQUFTO1FBQUUsT0FBTyxHQUFHLENBQUM7SUFDbEMsTUFBTSxLQUFLLEdBQUcsS0FBSyxDQUFDLEtBQUssRUFBRSxDQUFDLEdBQUcsUUFBUSxFQUFFLElBQUksQ0FBQyxDQUFDLENBQUM7SUFDaEQsSUFBSSxLQUFLLEtBQUssS0FBSztRQUFFLEtBQUssQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLEtBQUssRUFBRSxLQUFLLENBQUMsQ0FBQztJQUN4RCxPQUFPLEtBQUssQ0FBQztBQUNmLENBQUM7QUFiRCxvQ0FhQztBQUVELGlGQUFpRjtBQUNqRixTQUFnQixVQUFVLENBQUMsR0FBNEIsRUFBRSxPQUFnQjtJQUN2RSxPQUFPLE9BQU8sS0FBSyxJQUFJLElBQUksT0FBTyxPQUFPLEtBQUssUUFBUSxJQUFJLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxPQUFPLENBQUM7UUFDL0UsQ0FBQyxDQUFFLE9BQW1DO1FBQ3RDLENBQUMsQ0FBQyxHQUFHLENBQUM7QUFDVixDQUFDO0FBSkQsZ0NBSUM7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsU0FBZ0IsV0FBVyxDQUN6QixJQUFtQyxFQUNuQyxRQUEyQixFQUMzQixLQUFrRCxFQUNsRCxPQUFvQjtJQUVwQixPQUFPLENBQUMsT0FBTyxFQUFFLElBQUksRUFBRSxFQUFFO1FBQ3ZCLE1BQU0sR0FBRyxHQUFHLElBQUksRUFBRSxDQUFDO1FBQ25CLElBQUksT0FBTyxJQUFJLEtBQUssUUFBUTtZQUFFLE9BQVEsR0FBVyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ3hELElBQUksSUFBSSxLQUFLLE1BQU0sSUFBSSxJQUFJLEtBQUssaUJBQWlCO1lBQUUsT0FBTyxTQUFTLENBQUM7UUFDcEUsSUFBSSxJQUFJLEtBQUssYUFBYTtZQUFFLE9BQU8sTUFBTSxDQUFDO1FBQzFDLElBQUksSUFBSSxLQUFLLFFBQVE7WUFBRSxPQUFPLEdBQUcsRUFBRSxDQUFDLElBQUEsOEJBQVUsRUFBQyxHQUFHLENBQUMsQ0FBQztRQUNwRCxPQUFPLFlBQVksQ0FBQyxPQUFPLEVBQUUsSUFBSSxFQUFFLEdBQUcsQ0FBQyxJQUFJLENBQUMsRUFBRSxLQUFLLEVBQUUsUUFBUSxDQUFDLENBQUM7SUFDakUsQ0FBQyxDQUFDO0FBQ0osQ0FBQztBQWRELGtDQWNDO0FBRUQ7Ozs7Ozs7R0FPRztBQUNILFNBQWdCLG1CQUFtQixDQUNqQyxJQUFrQjtJQUVsQixPQUFPO1FBQ0wsR0FBRyxDQUFDLE1BQU0sRUFBRSxJQUFJO1lBQ2QsT0FBTyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxZQUFZLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLENBQUM7UUFDMUUsQ0FBQztRQUNELE9BQU8sQ0FBQyxNQUFNO1lBQ1osT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxZQUFZLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN4RSxDQUFDO1FBQ0Qsd0JBQXdCLENBQUMsTUFBTSxFQUFFLElBQUk7WUFDbkMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxZQUFZLENBQUMsTUFBTSxDQUFDO2dCQUFFLE9BQU8sTUFBTSxDQUFDLHdCQUF3QixDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUMsQ0FBQztZQUN2RixNQUFNLFVBQVUsR0FBRyxNQUFNLENBQUMsd0JBQXdCLENBQUMsSUFBSSxFQUFFLEVBQUUsSUFBSSxDQUFDLENBQUM7WUFDakUsT0FBTyxVQUFVLElBQUksQ0FBQyxVQUFVLENBQUMsWUFBWSxDQUFDLENBQUMsQ0FBQyxFQUFFLEdBQUcsVUFBVSxFQUFFLFlBQVksRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDLENBQUMsVUFBVSxDQUFDO1FBQ3JHLENBQUM7S0FDRixDQUFDO0FBQ0osQ0FBQztBQWhCRCxrREFnQkMiLCJzb3VyY2VzQ29udGVudCI6WyIvKipcbiAqIHJlYWN0aXZlL2xpdmVWaWV3IOKAlCB3aGF0IGEgcHJveHkgc3RhbmRzIGZvciwgQVMgSVQgU1RBTkRTIE5PVy5cbiAqXG4gKiBFdmVyeSB3cml0ZSB0aHJvdWdoIHRoZSB0eXBlZCBzY29wZSByZWJ1aWxkcyB0aGUgcm9vdCBpbW11dGFibHlcbiAqIChgc3RydWN0dXJhbFdyaXRlLnNldEluUGF0aGAsIGEgZnJlc2ggbWVyZ2UpLCBzbyB0aGUgb2JqZWN0IGEgcHJveHkgd2FzXG4gKiBjcmVhdGVkIG92ZXIgaXMgdGhlIFBSRS13cml0ZSB2YWx1ZSBmb3IgZXZlciBhZnRlci4gQSBoZWxkIHByb3h5IHRoYXQgcmVhZFxuICogZnJvbSBpdCBzYXcgaXRzIG93biB3cml0ZXMgdmFuaXNoOiBgby54ICs9IDFgIHR3aWNlIGdhdmUgMiwgYG8uYiA9IG8uYSAqIDEwYFxuICogdXNlZCB0aGUgb2xkIGBhYCwgYCd4JyBpbiBvYCB3YXMgZmFsc2UgcmlnaHQgYWZ0ZXIgYG8ueCA9IDFgICg5LjIyLjAg4oCUIGZpcnN0XG4gKiBmb3VuZCBvbiBlbGVtZW50IHByb3hpZXMsIHRoZW4gdGhlIHNhbWUgcm9vdCBvbiBuZXN0ZWQgYW5kIHRlcm1pbmFsIG9uZXMpLlxuICogU28gZXZlcnkgcmVhZCB0cmFwIHJlc29sdmVzIHRocm91Z2ggdGhlIENVUlJFTlQgdmFsdWUgYW5kIGZhbGxzIGJhY2sgdG8gdGhlXG4gKiBjYXB0dXJlZCBvYmplY3Qgb25seSB3aGVuIHRoZSBwYXRoIGlzIGdvbmUgb3Igbm8gbG9uZ2VyIGhvbGRzIGFuIG9iamVjdC5cbiAqXG4gKiBUaGUgUkVBRCBzaWRlIG9mIGV2ZXJ5IG9iamVjdCBwcm94eSBsaXZlcyBoZXJlIOKAlCB7QGxpbmsgbGl2ZU9iamVjdH0sXG4gKiB7QGxpbmsgbGl2ZUdldFRyYXB9LCB7QGxpbmsgbGl2ZUluc3BlY3Rpb25UcmFwc30sIGFuZCB0aGUgT05FIHBlci1tZW1iZXJcbiAqIHByb3h5IGNhY2hlIHtAbGluayBjYWNoZWRNZW1iZXJ9ICg5LjIzLjIpOyB0aGUgV1JJVEUgc2lkZSBpc1xuICogYHdyaXRlVHJhcHMudHNgLiBBIGZhY3Rvcnkgb25seSB3aXJlcyB0aGVtICg5LjIzLjEpLlxuICovXG5cbmltcG9ydCB7IHRvSlNPTlZpZXcgfSBmcm9tICcuL2pzb25Qcm9qZWN0aW9uLmpzJztcblxuLyoqXG4gKiBBIHByb3h5IHBlciBtZW1iZXIgTkFNRSB1bmRlciBvbmUgcGFyZW50IHByb3h5LCB2YWxpZGF0ZWQgYnkgdGhlIHJhd1xuICogbWVtYmVyJ3MgaWRlbnRpdHkuIFRoZSBtYXAgaXMgYWxsb2NhdGVkIG9uIHRoZSBGSVJTVCBpbnNlcnQ6IGFuIGVsZW1lbnRcbiAqIHByb3h5IG92ZXIgYHsgaWQsIG4gfWAgcmVhZHMgb25seSBwcmltaXRpdmVzIGFuZCBtdXN0IG5vdCBwYXkgZm9yIG9uZVxuICogKDEwLDAwMCBvZiB0aGVtIGluIHRoZSBuYWl2ZSByZS1yZWFkIGxvb3Ag4oCUIG1lYXN1cmVkLCBgYmVuY2gvbmVzdGVkLXJlYWRzLnRzYCkuXG4gKi9cbmV4cG9ydCBjbGFzcyBNZW1iZXJDYWNoZSB7XG4gIHByaXZhdGUgZW50cmllcz86IE1hcDxzdHJpbmcsIHsgcmVmOiBvYmplY3Q7IHByb3h5OiB1bmtub3duIH0+O1xuXG4gIC8qKiBUaGUgcHJveHkgY2FjaGVkIHVuZGVyIGBwcm9wYCwgaWYgaXQgd2FzIGJ1aWx0IG92ZXIgZXhhY3RseSB0aGlzIHJhdyBgdmFsdWVgLiAqL1xuICBoaXQocHJvcDogc3RyaW5nLCB2YWx1ZTogb2JqZWN0KTogdW5rbm93biB7XG4gICAgY29uc3QgY2FjaGVkID0gdGhpcy5lbnRyaWVzPy5nZXQocHJvcCk7XG4gICAgcmV0dXJuIGNhY2hlZCAhPT0gdW5kZWZpbmVkICYmIGNhY2hlZC5yZWYgPT09IHZhbHVlID8gY2FjaGVkLnByb3h5IDogdW5kZWZpbmVkO1xuICB9XG5cbiAgcmVtZW1iZXIocHJvcDogc3RyaW5nLCB2YWx1ZTogb2JqZWN0LCBwcm94eTogdW5rbm93bik6IHZvaWQge1xuICAgICh0aGlzLmVudHJpZXMgPz89IG5ldyBNYXAoKSkuc2V0KHByb3AsIHsgcmVmOiB2YWx1ZSwgcHJveHkgfSk7XG4gIH1cblxuICAvKiogRm9yZ2V0IGBwcm9wYCDigJQgYSB3cml0ZSByZXBsYWNlZCBpdHMgdmFsdWUsIHNvIHRoZSBuZXh0IHJlYWQgbXVzdCBidWlsZCBvdmVyIHRoZSBuZXcgb25lLiAqL1xuICBkZWxldGUocHJvcDogc3RyaW5nKTogdm9pZCB7XG4gICAgdGhpcy5lbnRyaWVzPy5kZWxldGUocHJvcCk7XG4gIH1cbn1cblxuLyoqXG4gKiBXSFkgdGhlIGNhY2hlOiBgby5hcnIgPT09IG8uYXJyYCBtdXN0IGhvbGQgd2l0aGluIGEgc3RhZ2UsIGFuZFxuICogYGZvciAoaSA8IE4pIHMuay5hcnJbaV1gIG11c3QgYnVpbGQgT05FIGFycmF5IHByb3h5IOKAlCB3aG9zZSBlbGVtZW50IGNhY2hlXG4gKiB0aGVuIHNlcnZlcyBldmVyeSBpbmRleCDigJQgbm90IE4gKHRoZSA5LjIyLjAgcGVyZiByZXZpZXcsIGZpbmRpbmcgNDogdGhlXG4gKiBuZXN0ZWQgZ2V0IHRyYXAgYnVpbHQgYSBmcmVzaCBhcnJheSBwcm94eSwgd2l0aCBhIGZyZXNoIGVtcHR5IGVsZW1lbnRcbiAqIGNhY2hlLCBvbiBldmVyeSBgLmFycmApLiBUaGUgdG9wLWxldmVsIHNjb3BlIGhhcyBjYWNoZWQgaXRzIGNoaWxkIHByb3hpZXNcbiAqIHRoaXMgd2F5IHNpbmNlIGJlZm9yZSA5LjIyLjA7IHRoaXMgaXMgdGhhdCBsZWFmLCBzaGFyZWQgYnkgYWxsIGZvdXIuXG4gKlxuICogVmFsaWRhdGVkIGJ5IElERU5USVRZLCBpbnZhbGlkYXRlZCBieSByZXBsYWNlbWVudDogZXZlcnkgd3JpdGUgdGhyb3VnaCBhXG4gKiBwcm94eSByZWJ1aWxkcyB0aGUgY29udGFpbmVycyBvbiBpdHMgcGF0aCAoYHN0cnVjdHVyYWxXcml0ZS5zZXRJblBhdGhgKSxcbiAqIHNvIGFmdGVyIGBzLmsuYXJyWzBdLm4gPSAxYCB0aGUgcmF3IGBhcnJgIGlzIGEgbmV3IGFycmF5LCB0aGUgcmVmIGNoZWNrXG4gKiBtaXNzZXMsIGFuZCB0aGUgbmV4dCByZWFkIGJ1aWxkcyBhIHByb3h5IG92ZXIgdGhlIE5FVyB2YWx1ZS4gQSBoaXQgY2FuXG4gKiBuZXZlciBiZSBzdGFsZSDigJQgZXZlcnkgcHJveHkgcmVhZHMgbGl2ZSAoYGxpdmVHZXRUcmFwYCksIHNvIHRoZSBjYWNoZWQgb25lXG4gKiBhbmQgYSBmcmVzaCBvbmUgYW5zd2VyIHRoZSBzYW1lLlxuICpcbiAqIEtleWVkIGJ5IE5BTUUgdW5kZXIgVEhJUyBwYXJlbnQsIG5ldmVyIGJ5IHRoZSByYXcgdmFsdWUgYWxvbmU6IGEgZGlhbW9uZFxuICogKG9uZSBhcnJheSB1bmRlciBgay5hYCBhbmQgYGsuYmApIG5lZWRzIHR3byBwcm94aWVzLCBlYWNoIGJvdW5kIHRvIGl0cyBvd25cbiAqIHBhdGggYW5kIHNpbmsuIE9ubHkgd2hhdCBgYnVpbGRgIGFjdHVhbGx5IFdSQVBQRUQgaXMga2VwdCDigJQgYSBtZW1iZXIgaGFuZGVkXG4gKiBiYWNrIHJhdyAoYSBgRGF0ZWAsIGEgZnJvemVuIG9iamVjdCwgYSBjeWNsZSBlZGdlKSBpcyBub3Qgd29ydGggYW4gZW50cnkuXG4gKiBgYnVpbGRgIGlzIHRoZSBjYWxsZXIncyBzdGFibGUgY2hpbGQgc3RlcCwgbm90IGEgY2xvc3VyZSBtYWRlIHBlciByZWFkOiBhXG4gKiBoaXQgYWxsb2NhdGVzIG5vdGhpbmcsIGFuZCBhIHByaW1pdGl2ZSBtZW1iZXIgc2tpcHMgdGhlIGNhY2hlIGVudGlyZWx5LlxuICovXG5leHBvcnQgZnVuY3Rpb24gY2FjaGVkTWVtYmVyKFxuICBjYWNoZTogTWVtYmVyQ2FjaGUsXG4gIHByb3A6IHN0cmluZyxcbiAgdmFsdWU6IHVua25vd24sXG4gIGJ1aWxkOiAodmFsdWU6IHVua25vd24sIHBhdGg6IHN0cmluZ1tdKSA9PiB1bmtub3duLFxuICBzZWdtZW50czogcmVhZG9ubHkgc3RyaW5nW10sXG4pOiB1bmtub3duIHtcbiAgaWYgKHZhbHVlID09PSBudWxsIHx8IHR5cGVvZiB2YWx1ZSAhPT0gJ29iamVjdCcpIHJldHVybiBidWlsZCh2YWx1ZSwgWy4uLnNlZ21lbnRzLCBwcm9wXSk7XG4gIGNvbnN0IGhpdCA9IGNhY2hlLmhpdChwcm9wLCB2YWx1ZSk7XG4gIGlmIChoaXQgIT09IHVuZGVmaW5lZCkgcmV0dXJuIGhpdDtcbiAgY29uc3QgcHJveHkgPSBidWlsZCh2YWx1ZSwgWy4uLnNlZ21lbnRzLCBwcm9wXSk7XG4gIGlmIChwcm94eSAhPT0gdmFsdWUpIGNhY2hlLnJlbWVtYmVyKHByb3AsIHZhbHVlLCBwcm94eSk7XG4gIHJldHVybiBwcm94eTtcbn1cblxuLyoqIFRoZSBvYmplY3QgYXQgYHNlZ21lbnRzYCB1bmRlciB0aGUgY3VycmVudCByb290LCBvciBgcmF3YCB3aGVuIGl0IGlzIGdvbmUuICovXG5leHBvcnQgZnVuY3Rpb24gbGl2ZU9iamVjdChyYXc6IFJlY29yZDxzdHJpbmcsIHVua25vd24+LCBjdXJyZW50OiB1bmtub3duKTogUmVjb3JkPHN0cmluZywgdW5rbm93bj4ge1xuICByZXR1cm4gY3VycmVudCAhPT0gbnVsbCAmJiB0eXBlb2YgY3VycmVudCA9PT0gJ29iamVjdCcgJiYgIUFycmF5LmlzQXJyYXkoY3VycmVudClcbiAgICA/IChjdXJyZW50IGFzIFJlY29yZDxzdHJpbmcsIHVua25vd24+KVxuICAgIDogcmF3O1xufVxuXG4vKipcbiAqIFdIWSBvbmUgZ2V0IHRyYXA6IHRoZSBuYW1lcyBhIHByb3h5IGFuc3dlcnMgSVRTRUxGIChwcm9taXNlL21hdGNoZXIgZ3VhcmRzLFxuICogYGNvbnN0cnVjdG9yYCwgYW5kIHRoZSBKU09OIGxhdyDigJQgc2VyaWFsaXppbmcgYSBwcm94aWVkIHZhbHVlIGVxdWFsc1xuICogc2VyaWFsaXppbmcgdGhlIHJhdyBvbmUsIGBqc29uUHJvamVjdGlvbi50c2ApIG11c3QgYmUgdGhlIHNhbWUgdGhyZWUgbGluZXNcbiAqIG9uIGV2ZXJ5IG9iamVjdCBwcm94eTsgYW55IG90aGVyIG1lbWJlciBpcyBoYW5kZWQgdG8gYGNoaWxkYCB3aXRoIGl0cyBmdWxsXG4gKiBwYXRoIOKAlCB0aHJvdWdoIHRoZSBwYXJlbnQncyB7QGxpbmsgY2FjaGVkTWVtYmVyfSDigJQgYW5kIG9ubHkgVEhBVCBzdGVwXG4gKiBkaWZmZXJzIHBlciBmYWN0b3J5ICh0aGUgY3ljbGUgcG9saWN5KS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIGxpdmVHZXRUcmFwKFxuICBsaXZlOiAoKSA9PiBSZWNvcmQ8c3RyaW5nLCB1bmtub3duPixcbiAgc2VnbWVudHM6IHJlYWRvbmx5IHN0cmluZ1tdLFxuICBjaGlsZDogKHZhbHVlOiB1bmtub3duLCBwYXRoOiBzdHJpbmdbXSkgPT4gdW5rbm93bixcbiAgbWVtYmVyczogTWVtYmVyQ2FjaGUsXG4pOiBQcm94eUhhbmRsZXI8b2JqZWN0PlsnZ2V0J10ge1xuICByZXR1cm4gKF90YXJnZXQsIHByb3ApID0+IHtcbiAgICBjb25zdCByYXcgPSBsaXZlKCk7XG4gICAgaWYgKHR5cGVvZiBwcm9wID09PSAnc3ltYm9sJykgcmV0dXJuIChyYXcgYXMgYW55KVtwcm9wXTtcbiAgICBpZiAocHJvcCA9PT0gJ3RoZW4nIHx8IHByb3AgPT09ICdhc3ltbWV0cmljTWF0Y2gnKSByZXR1cm4gdW5kZWZpbmVkO1xuICAgIGlmIChwcm9wID09PSAnY29uc3RydWN0b3InKSByZXR1cm4gT2JqZWN0O1xuICAgIGlmIChwcm9wID09PSAndG9KU09OJykgcmV0dXJuICgpID0+IHRvSlNPTlZpZXcocmF3KTtcbiAgICByZXR1cm4gY2FjaGVkTWVtYmVyKG1lbWJlcnMsIHByb3AsIHJhd1twcm9wXSwgY2hpbGQsIHNlZ21lbnRzKTtcbiAgfTtcbn1cblxuLyoqXG4gKiBUaGUgdGhyZWUgaW5zcGVjdGlvbiB0cmFwcyAoYGluYCwgYE9iamVjdC5rZXlzYCwgZGVzY3JpcHRvcnMpIGFuc3dlcmVkIGZyb21cbiAqIHRoZSBsaXZlIG9iamVjdC4gVGhlIG9uZSBQcm94eSBpbnZhcmlhbnQgdGhhdCBjb3VsZCBiaXRlIOKAlCBhIG5vbi1leHRlbnNpYmxlXG4gKiB0YXJnZXQgbXVzdCByZXBvcnQgZXhhY3RseSBpdHMgb3duIGtleXMsIGFuZCBhIHByb3BlcnR5IHRoZSB0YXJnZXQgbGFja3NcbiAqIG11c3QgYmUgcmVwb3J0ZWQgY29uZmlndXJhYmxlIOKAlCBpcyBob25vdXJlZDogdGhlIGFsbG93bGlzdCBhbHJlYWR5IHJlZnVzZXNcbiAqIGZyb3plbiBhbmQgc2VhbGVkIHZhbHVlcywgc28gdGhlIGBwcmV2ZW50RXh0ZW5zaW9uc2Atb25seSBjb3JuZXIgYW5zd2Vyc1xuICogZnJvbSB0aGUgdGFyZ2V0LCBhbmQgYSBsaXZlIGRlc2NyaXB0b3IgaXMgYWx3YXlzIHJlcG9ydGVkIGNvbmZpZ3VyYWJsZS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIGxpdmVJbnNwZWN0aW9uVHJhcHMoXG4gIGxpdmU6ICgpID0+IG9iamVjdCxcbik6IFBpY2s8UHJveHlIYW5kbGVyPG9iamVjdD4sICdoYXMnIHwgJ293bktleXMnIHwgJ2dldE93blByb3BlcnR5RGVzY3JpcHRvcic+IHtcbiAgcmV0dXJuIHtcbiAgICBoYXModGFyZ2V0LCBwcm9wKSB7XG4gICAgICByZXR1cm4gUmVmbGVjdC5oYXMoT2JqZWN0LmlzRXh0ZW5zaWJsZSh0YXJnZXQpID8gbGl2ZSgpIDogdGFyZ2V0LCBwcm9wKTtcbiAgICB9LFxuICAgIG93bktleXModGFyZ2V0KSB7XG4gICAgICByZXR1cm4gUmVmbGVjdC5vd25LZXlzKE9iamVjdC5pc0V4dGVuc2libGUodGFyZ2V0KSA/IGxpdmUoKSA6IHRhcmdldCk7XG4gICAgfSxcbiAgICBnZXRPd25Qcm9wZXJ0eURlc2NyaXB0b3IodGFyZ2V0LCBwcm9wKSB7XG4gICAgICBpZiAoIU9iamVjdC5pc0V4dGVuc2libGUodGFyZ2V0KSkgcmV0dXJuIE9iamVjdC5nZXRPd25Qcm9wZXJ0eURlc2NyaXB0b3IodGFyZ2V0LCBwcm9wKTtcbiAgICAgIGNvbnN0IGRlc2NyaXB0b3IgPSBPYmplY3QuZ2V0T3duUHJvcGVydHlEZXNjcmlwdG9yKGxpdmUoKSwgcHJvcCk7XG4gICAgICByZXR1cm4gZGVzY3JpcHRvciAmJiAhZGVzY3JpcHRvci5jb25maWd1cmFibGUgPyB7IC4uLmRlc2NyaXB0b3IsIGNvbmZpZ3VyYWJsZTogdHJ1ZSB9IDogZGVzY3JpcHRvcjtcbiAgICB9LFxuICB9O1xufVxuIl19

package/dist/lib/reactive/writeTraps.js

@@ -0,0 +1,139 @@
+"use strict";
+/**
+ * reactive/writeTraps — where a proxy's writes LAND, and the two traps that
+ * send them there.
+ *
+ * Every object proxy in this folder (nested, terminal, element) intercepts
+ * the same three things — a property set, a property delete, and an array
+ * mutation somewhere below it — and differs only in where the write goes:
+ * a nested/terminal proxy commits under a TOP-LEVEL KEY (an object write as
+ * `merge` of a patch, an array write or a delete as `set` of the rebuilt
+ * root); an element proxy commits the WHOLE OWNING ARRAY back through the
+ * array proxy's own callback. That difference is a {@link WriteSink}; the
+ * traps are written once over it (9.23.1 — the 9.22.0 stale-read bug was
+ * fixed in one copy of these traps and then found again in the other two).
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sinkDeleteTrap = exports.sinkSetTrap = exports.elementSink = exports.rootKeySink = void 0;
+const pathOps_js_1 = require("../memory/pathOps.js");
+const pathBuilder_js_1 = require("./pathBuilder.js");
+const structuralWrite_js_1 = require("./structuralWrite.js");
+/**
+ * WHY: a write below a top-level key has TWO verbs (reactive/README.md, law
+ * 3) — an object leaf is a `merge` of a nested patch, an array leaf or a
+ * delete rebuilds the root immutably and commits a `set` of the key. Only the
+ * sink knows that; the traps do not. Every write drops the key's cached child
+ * proxy (`cache`), so the next read is built over the new value.
+ */
+function rootKeySink(target, readSilent, rootKey, cache) {
+    return new RootKeySink(target, readSilent, rootKey, cache);
+}
+exports.rootKeySink = rootKeySink;
+/** One allocation per top-level read miss (the methods live on the prototype). */
+class RootKeySink {
+    target;
+    readSilent;
+    rootKey;
+    cache;
+    constructor(target, readSilent, rootKey, cache) {
+        this.target = target;
+        this.readSilent = readSilent;
+        this.rootKey = rootKey;
+        this.cache = cache;
+    }
+    /** An empty path is the key's own value — `nativeGet(v, [])` would return it unchanged, so the walk is skipped. */
+    readAt(path) {
+        const root = this.readSilent(this.rootKey);
+        return path.length === 0 ? root : (0, pathOps_js_1.nativeGet)(root, path);
+    }
+    put(path, value) {
+        if (!Array.isArray(value))
+            this.target.updateValue(this.rootKey, (0, pathBuilder_js_1.buildNestedPatch)(path, value));
+        else
+            this.target.setValue(this.rootKey, path.length === 0 ? value : (0, structuralWrite_js_1.setInPath)(this.readAt([]), path, value));
+        this.cache.delete(this.rootKey);
+    }
+    remove(path) {
+        this.target.setValue(this.rootKey, (0, structuralWrite_js_1.deleteInPath)(this.readAt([]), path));
+        this.cache.delete(this.rootKey);
+    }
+}
+/**
+ * WHY: a write inside an array element is an array write — it rebuilds the
+ * owning array immutably and hands the WHOLE new array to the array proxy's
+ * commit, the funnel `push` already uses. `path` is measured from the
+ * element; `[]` is the element slot itself.
+ */
+function elementSink(getCurrent, commit, index) {
+    return new ElementSink(getCurrent, commit, index);
+}
+exports.elementSink = elementSink;
+/** One allocation per element proxy (the methods live on the prototype) — a 10k-element loop builds 10k of these. */
+class ElementSink {
+    getCurrent;
+    commit;
+    index;
+    constructor(getCurrent, commit, index) {
+        this.getCurrent = getCurrent;
+        this.commit = commit;
+        this.index = index;
+    }
+    readAt(path) {
+        return readInElement(this.getCurrent, this.index, path);
+    }
+    put(path, value) {
+        replaceInElement(this.getCurrent, this.commit, this.index, path, value);
+    }
+    remove(path) {
+        removeInElement(this.getCurrent, this.commit, this.index, path);
+    }
+}
+/** The value at `path` inside element `index`, as it stands NOW (read-your-writes). */
+function readInElement(getCurrent, index, path) {
+    const element = getCurrent()[index];
+    return path.length === 0 ? element : (0, pathOps_js_1.nativeGet)(element, path);
+}
+/** A copy of the array with `value` at `path` inside element `index`; a gone element has nothing to write into. */
+function replaceInElement(getCurrent, commit, index, path, value) {
+    const next = [...getCurrent()];
+    if (index >= next.length)
+        return;
+    next[index] = path.length === 0 ? value : (0, structuralWrite_js_1.setInPath)(next[index], path, value);
+    commit(next);
+}
+/** A copy of the array with the key at `path` inside element `index` removed. */
+function removeInElement(getCurrent, commit, index, path) {
+    const next = [...getCurrent()];
+    if (index >= next.length)
+        return;
+    next[index] = (0, structuralWrite_js_1.deleteInPath)(next[index], path);
+    commit(next);
+}
+/**
+ * WHY one set trap: the assigned value is unwrapped HERE (landmine 1 — the
+ * JSON round-trip applies to what the caller handed in, never to the
+ * surrounding state) and handed to the sink at the proxy's path plus the key.
+ */
+function sinkSetTrap(sink, segments) {
+    return (_target, prop, value) => {
+        if (typeof prop !== 'string')
+            return true;
+        sink.put([...segments, prop], (0, structuralWrite_js_1.unwrapProxy)(value));
+        return true;
+    };
+}
+exports.sinkSetTrap = sinkSetTrap;
+/**
+ * WHY one delete trap: `merge` cannot express a removal (a patch of
+ * `undefined` reads as absent), so a delete always rebuilds through the sink.
+ */
+function sinkDeleteTrap(sink, segments) {
+    return (_target, prop) => {
+        if (typeof prop !== 'string')
+            return true;
+        sink.remove([...segments, prop]);
+        return true;
+    };
+}
+exports.sinkDeleteTrap = sinkDeleteTrap;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid3JpdGVUcmFwcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9saWIvcmVhY3RpdmUvd3JpdGVUcmFwcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiO0FBQUE7Ozs7Ozs7Ozs7Ozs7R0FhRzs7O0FBRUgscURBQWlEO0FBRWpELHFEQUFvRDtBQUNwRCw2REFBNEU7QUFzQjVFOzs7Ozs7R0FNRztBQUNILFNBQWdCLFdBQVcsQ0FDekIsTUFBcUIsRUFDckIsVUFBb0MsRUFDcEMsT0FBZSxFQUNmLEtBQWtDO0lBRWxDLE9BQU8sSUFBSSxXQUFXLENBQUMsTUFBTSxFQUFFLFVBQVUsRUFBRSxPQUFPLEVBQUUsS0FBSyxDQUFDLENBQUM7QUFDN0QsQ0FBQztBQVBELGtDQU9DO0FBRUQsa0ZBQWtGO0FBQ2xGLE1BQU0sV0FBVztJQUVJO0lBQ0E7SUFDQTtJQUNBO0lBSm5CLFlBQ21CLE1BQXFCLEVBQ3JCLFVBQW9DLEVBQ3BDLE9BQWUsRUFDZixLQUFrQztRQUhsQyxXQUFNLEdBQU4sTUFBTSxDQUFlO1FBQ3JCLGVBQVUsR0FBVixVQUFVLENBQTBCO1FBQ3BDLFlBQU8sR0FBUCxPQUFPLENBQVE7UUFDZixVQUFLLEdBQUwsS0FBSyxDQUE2QjtJQUNsRCxDQUFDO0lBRUosbUhBQW1IO0lBQ25ILE1BQU0sQ0FBQyxJQUF1QjtRQUM1QixNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsVUFBVSxDQUFDLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQztRQUMzQyxPQUFPLElBQUksQ0FBQyxNQUFNLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLElBQUEsc0JBQVMsRUFBQyxJQUFJLEVBQUUsSUFBZ0IsQ0FBQyxDQUFDO0lBQ3RFLENBQUM7SUFFRCxHQUFHLENBQUMsSUFBdUIsRUFBRSxLQUFjO1FBQ3pDLElBQUksQ0FBQyxLQUFLLENBQUMsT0FBTyxDQUFDLEtBQUssQ0FBQztZQUFFLElBQUksQ0FBQyxNQUFNLENBQUMsV0FBVyxDQUFDLElBQUksQ0FBQyxPQUFPLEVBQUUsSUFBQSxpQ0FBZ0IsRUFBQyxJQUFnQixFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUM7O1lBQ3ZHLElBQUksQ0FBQyxNQUFNLENBQUMsUUFBUSxDQUFDLElBQUksQ0FBQyxPQUFPLEVBQUUsSUFBSSxDQUFDLE1BQU0sS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsSUFBQSw4QkFBUyxFQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsRUFBRSxDQUFDLEVBQUUsSUFBSSxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUM7UUFDN0csSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBQ2xDLENBQUM7SUFFRCxNQUFNLENBQUMsSUFBdUI7UUFDNUIsSUFBSSxDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsSUFBSSxDQUFDLE9BQU8sRUFBRSxJQUFBLGlDQUFZLEVBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxFQUFFLENBQUMsRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFDO1FBQ3hFLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQztJQUNsQyxDQUFDO0NBQ0Y7QUFFRDs7Ozs7R0FLRztBQUNILFNBQWdCLFdBQVcsQ0FBQyxVQUEyQixFQUFFLE1BQWlDLEVBQUUsS0FBYTtJQUN2RyxPQUFPLElBQUksV0FBVyxDQUFDLFVBQVUsRUFBRSxNQUFNLEVBQUUsS0FBSyxDQUFDLENBQUM7QUFDcEQsQ0FBQztBQUZELGtDQUVDO0FBRUQscUhBQXFIO0FBQ3JILE1BQU0sV0FBVztJQUVJO0lBQ0E7SUFDQTtJQUhuQixZQUNtQixVQUEyQixFQUMzQixNQUFpQyxFQUNqQyxLQUFhO1FBRmIsZUFBVSxHQUFWLFVBQVUsQ0FBaUI7UUFDM0IsV0FBTSxHQUFOLE1BQU0sQ0FBMkI7UUFDakMsVUFBSyxHQUFMLEtBQUssQ0FBUTtJQUM3QixDQUFDO0lBRUosTUFBTSxDQUFDLElBQXVCO1FBQzVCLE9BQU8sYUFBYSxDQUFDLElBQUksQ0FBQyxVQUFVLEVBQUUsSUFBSSxDQUFDLEtBQUssRUFBRSxJQUFJLENBQUMsQ0FBQztJQUMxRCxDQUFDO0lBRUQsR0FBRyxDQUFDLElBQXVCLEVBQUUsS0FBYztRQUN6QyxnQkFBZ0IsQ0FBQyxJQUFJLENBQUMsVUFBVSxFQUFFLElBQUksQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLEtBQUssRUFBRSxJQUFJLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDMUUsQ0FBQztJQUVELE1BQU0sQ0FBQyxJQUF1QjtRQUM1QixlQUFlLENBQUMsSUFBSSxDQUFDLFVBQVUsRUFBRSxJQUFJLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQyxLQUFLLEVBQUUsSUFBSSxDQUFDLENBQUM7SUFDbEUsQ0FBQztDQUNGO0FBRUQsdUZBQXVGO0FBQ3ZGLFNBQVMsYUFBYSxDQUFDLFVBQTJCLEVBQUUsS0FBYSxFQUFFLElBQXVCO0lBQ3hGLE1BQU0sT0FBTyxHQUFHLFVBQVUsRUFBRSxDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQ3BDLE9BQU8sSUFBSSxDQUFDLE1BQU0sS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsSUFBQSxzQkFBUyxFQUFDLE9BQU8sRUFBRSxJQUFnQixDQUFDLENBQUM7QUFDNUUsQ0FBQztBQUVELG1IQUFtSDtBQUNuSCxTQUFTLGdCQUFnQixDQUN2QixVQUEyQixFQUMzQixNQUFpQyxFQUNqQyxLQUFhLEVBQ2IsSUFBdUIsRUFDdkIsS0FBYztJQUVkLE1BQU0sSUFBSSxHQUFHLENBQUMsR0FBRyxVQUFVLEVBQUUsQ0FBQyxDQUFDO0lBQy9CLElBQUksS0FBSyxJQUFJLElBQUksQ0FBQyxNQUFNO1FBQUUsT0FBTztJQUNqQyxJQUFJLENBQUMsS0FBSyxDQUFDLEdBQUcsSUFBSSxDQUFDLE1BQU0sS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsSUFBQSw4QkFBUyxFQUFDLElBQUksQ0FBQyxLQUFLLENBQUMsRUFBRSxJQUFJLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDOUUsTUFBTSxDQUFDLElBQUksQ0FBQyxDQUFDO0FBQ2YsQ0FBQztBQUVELGlGQUFpRjtBQUNqRixTQUFTLGVBQWUsQ0FDdEIsVUFBMkIsRUFDM0IsTUFBaUMsRUFDakMsS0FBYSxFQUNiLElBQXVCO0lBRXZCLE1BQU0sSUFBSSxHQUFHLENBQUMsR0FBRyxVQUFVLEVBQUUsQ0FBQyxDQUFDO0lBQy9CLElBQUksS0FBSyxJQUFJLElBQUksQ0FBQyxNQUFNO1FBQUUsT0FBTztJQUNqQyxJQUFJLENBQUMsS0FBSyxDQUFDLEdBQUcsSUFBQSxpQ0FBWSxFQUFDLElBQUksQ0FBQyxLQUFLLENBQUMsRUFBRSxJQUFJLENBQUMsQ0FBQztJQUM5QyxNQUFNLENBQUMsSUFBSSxDQUFDLENBQUM7QUFDZixDQUFDO0FBRUQ7Ozs7R0FJRztBQUNILFNBQWdCLFdBQVcsQ0FBQyxJQUFlLEVBQUUsUUFBMkI7SUFDdEUsT0FBTyxDQUFDLE9BQU8sRUFBRSxJQUFJLEVBQUUsS0FBSyxFQUFFLEVBQUU7UUFDOUIsSUFBSSxPQUFPLElBQUksS0FBSyxRQUFRO1lBQUUsT0FBTyxJQUFJLENBQUM7UUFDMUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLEdBQUcsUUFBUSxFQUFFLElBQUksQ0FBQyxFQUFFLElBQUEsZ0NBQVcsRUFBQyxLQUFLLENBQUMsQ0FBQyxDQUFDO1FBQ2xELE9BQU8sSUFBSSxDQUFDO0lBQ2QsQ0FBQyxDQUFDO0FBQ0osQ0FBQztBQU5ELGtDQU1DO0FBRUQ7OztHQUdHO0FBQ0gsU0FBZ0IsY0FBYyxDQUFDLElBQWUsRUFBRSxRQUEyQjtJQUN6RSxPQUFPLENBQUMsT0FBTyxFQUFFLElBQUksRUFBRSxFQUFFO1FBQ3ZCLElBQUksT0FBTyxJQUFJLEtBQUssUUFBUTtZQUFFLE9BQU8sSUFBSSxDQUFDO1FBQzFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQyxHQUFHLFFBQVEsRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFDO1FBQ2pDLE9BQU8sSUFBSSxDQUFDO0lBQ2QsQ0FBQyxDQUFDO0FBQ0osQ0FBQztBQU5ELHdDQU1DIiwic291cmNlc0NvbnRlbnQiOlsiLyoqXG4gKiByZWFjdGl2ZS93cml0ZVRyYXBzIOKAlCB3aGVyZSBhIHByb3h5J3Mgd3JpdGVzIExBTkQsIGFuZCB0aGUgdHdvIHRyYXBzIHRoYXRcbiAqIHNlbmQgdGhlbSB0aGVyZS5cbiAqXG4gKiBFdmVyeSBvYmplY3QgcHJveHkgaW4gdGhpcyBmb2xkZXIgKG5lc3RlZCwgdGVybWluYWwsIGVsZW1lbnQpIGludGVyY2VwdHNcbiAqIHRoZSBzYW1lIHRocmVlIHRoaW5ncyDigJQgYSBwcm9wZXJ0eSBzZXQsIGEgcHJvcGVydHkgZGVsZXRlLCBhbmQgYW4gYXJyYXlcbiAqIG11dGF0aW9uIHNvbWV3aGVyZSBiZWxvdyBpdCDigJQgYW5kIGRpZmZlcnMgb25seSBpbiB3aGVyZSB0aGUgd3JpdGUgZ29lczpcbiAqIGEgbmVzdGVkL3Rlcm1pbmFsIHByb3h5IGNvbW1pdHMgdW5kZXIgYSBUT1AtTEVWRUwgS0VZIChhbiBvYmplY3Qgd3JpdGUgYXNcbiAqIGBtZXJnZWAgb2YgYSBwYXRjaCwgYW4gYXJyYXkgd3JpdGUgb3IgYSBkZWxldGUgYXMgYHNldGAgb2YgdGhlIHJlYnVpbHRcbiAqIHJvb3QpOyBhbiBlbGVtZW50IHByb3h5IGNvbW1pdHMgdGhlIFdIT0xFIE9XTklORyBBUlJBWSBiYWNrIHRocm91Z2ggdGhlXG4gKiBhcnJheSBwcm94eSdzIG93biBjYWxsYmFjay4gVGhhdCBkaWZmZXJlbmNlIGlzIGEge0BsaW5rIFdyaXRlU2lua307IHRoZVxuICogdHJhcHMgYXJlIHdyaXR0ZW4gb25jZSBvdmVyIGl0ICg5LjIzLjEg4oCUIHRoZSA5LjIyLjAgc3RhbGUtcmVhZCBidWcgd2FzXG4gKiBmaXhlZCBpbiBvbmUgY29weSBvZiB0aGVzZSB0cmFwcyBhbmQgdGhlbiBmb3VuZCBhZ2FpbiBpbiB0aGUgb3RoZXIgdHdvKS5cbiAqL1xuXG5pbXBvcnQgeyBuYXRpdmVHZXQgfSBmcm9tICcuLi9tZW1vcnkvcGF0aE9wcy5qcyc7XG5pbXBvcnQgdHlwZSB7IE1lbWJlckNhY2hlIH0gZnJvbSAnLi9saXZlVmlldy5qcyc7XG5pbXBvcnQgeyBidWlsZE5lc3RlZFBhdGNoIH0gZnJvbSAnLi9wYXRoQnVpbGRlci5qcyc7XG5pbXBvcnQgeyBkZWxldGVJblBhdGgsIHNldEluUGF0aCwgdW53cmFwUHJveHkgfSBmcm9tICcuL3N0cnVjdHVyYWxXcml0ZS5qcyc7XG5cbi8qKlxuICogVGhlIHNlYW0gYmV0d2VlbiBhIHByb3h5IGFuZCBzdGF0ZS4gYHBhdGhgIGlzIG1lYXN1cmVkIGZyb20gdGhlIHNpbmsnc1xuICogcm9vdCDigJQgdGhlIGtleSdzIHZhbHVlIGZvciB7QGxpbmsgcm9vdEtleVNpbmt9LCB0aGUgZWxlbWVudCBmb3JcbiAqIHtAbGluayBlbGVtZW50U2lua307IGBbXWAgaXMgdGhlIHJvb3QgaXRzZWxmLlxuICovXG5leHBvcnQgaW50ZXJmYWNlIFdyaXRlU2luayB7XG4gIC8qKiBUaGUgdmFsdWUgYXQgYHBhdGhgLCBhcyBpdCBzdGFuZHMgTk9XIChyZWFkLXlvdXItd3JpdGVzOyBuZXZlciBhIHRyYWNrZWQgcmVhZCkuICovXG4gIHJlYWRBdChwYXRoOiByZWFkb25seSBzdHJpbmdbXSk6IHVua25vd247XG4gIC8qKiBQdXQgYW4gYWxyZWFkeS11bndyYXBwZWQgYHZhbHVlYCBhdCBgcGF0aGAuIFRoZSBzaW5rIGNob29zZXMgdGhlIHZlcmIuICovXG4gIHB1dChwYXRoOiByZWFkb25seSBzdHJpbmdbXSwgdmFsdWU6IHVua25vd24pOiB2b2lkO1xuICAvKiogUmVtb3ZlIHRoZSBrZXkgYXQgYHBhdGhgLiAqL1xuICByZW1vdmUocGF0aDogcmVhZG9ubHkgc3RyaW5nW10pOiB2b2lkO1xufVxuXG4vKiogVGhlIHR3byB3YXlzIGEgdmFsdWUgcmVhY2hlcyBhIHN0YXRlIGtleTogd2hhdCB0aGUgc2luayB3cml0ZXMgdGhyb3VnaC4gKi9cbmV4cG9ydCBpbnRlcmZhY2UgUm9vdEtleVRhcmdldCB7XG4gIHNldFZhbHVlKGtleTogc3RyaW5nLCB2YWx1ZTogdW5rbm93bik6IHZvaWQ7XG4gIHVwZGF0ZVZhbHVlKGtleTogc3RyaW5nLCB2YWx1ZTogdW5rbm93bik6IHZvaWQ7XG59XG5cbi8qKlxuICogV0hZOiBhIHdyaXRlIGJlbG93IGEgdG9wLWxldmVsIGtleSBoYXMgVFdPIHZlcmJzIChyZWFjdGl2ZS9SRUFETUUubWQsIGxhd1xuICogMykg4oCUIGFuIG9iamVjdCBsZWFmIGlzIGEgYG1lcmdlYCBvZiBhIG5lc3RlZCBwYXRjaCwgYW4gYXJyYXkgbGVhZiBvciBhXG4gKiBkZWxldGUgcmVidWlsZHMgdGhlIHJvb3QgaW1tdXRhYmx5IGFuZCBjb21taXRzIGEgYHNldGAgb2YgdGhlIGtleS4gT25seSB0aGVcbiAqIHNpbmsga25vd3MgdGhhdDsgdGhlIHRyYXBzIGRvIG5vdC4gRXZlcnkgd3JpdGUgZHJvcHMgdGhlIGtleSdzIGNhY2hlZCBjaGlsZFxuICogcHJveHkgKGBjYWNoZWApLCBzbyB0aGUgbmV4dCByZWFkIGlzIGJ1aWx0IG92ZXIgdGhlIG5ldyB2YWx1ZS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHJvb3RLZXlTaW5rKFxuICB0YXJnZXQ6IFJvb3RLZXlUYXJnZXQsXG4gIHJlYWRTaWxlbnQ6IChrZXk6IHN0cmluZykgPT4gdW5rbm93bixcbiAgcm9vdEtleTogc3RyaW5nLFxuICBjYWNoZTogUGljazxNZW1iZXJDYWNoZSwgJ2RlbGV0ZSc+LFxuKTogV3JpdGVTaW5rIHtcbiAgcmV0dXJuIG5ldyBSb290S2V5U2luayh0YXJnZXQsIHJlYWRTaWxlbnQsIHJvb3RLZXksIGNhY2hlKTtcbn1cblxuLyoqIE9uZSBhbGxvY2F0aW9uIHBlciB0b3AtbGV2ZWwgcmVhZCBtaXNzICh0aGUgbWV0aG9kcyBsaXZlIG9uIHRoZSBwcm90b3R5cGUpLiAqL1xuY2xhc3MgUm9vdEtleVNpbmsgaW1wbGVtZW50cyBXcml0ZVNpbmsge1xuICBjb25zdHJ1Y3RvcihcbiAgICBwcml2YXRlIHJlYWRvbmx5IHRhcmdldDogUm9vdEtleVRhcmdldCxcbiAgICBwcml2YXRlIHJlYWRvbmx5IHJlYWRTaWxlbnQ6IChrZXk6IHN0cmluZykgPT4gdW5rbm93bixcbiAgICBwcml2YXRlIHJlYWRvbmx5IHJvb3RLZXk6IHN0cmluZyxcbiAgICBwcml2YXRlIHJlYWRvbmx5IGNhY2hlOiBQaWNrPE1lbWJlckNhY2hlLCAnZGVsZXRlJz4sXG4gICkge31cblxuICAvKiogQW4gZW1wdHkgcGF0aCBpcyB0aGUga2V5J3Mgb3duIHZhbHVlIOKAlCBgbmF0aXZlR2V0KHYsIFtdKWAgd291bGQgcmV0dXJuIGl0IHVuY2hhbmdlZCwgc28gdGhlIHdhbGsgaXMgc2tpcHBlZC4gKi9cbiAgcmVhZEF0KHBhdGg6IHJlYWRvbmx5IHN0cmluZ1tdKTogdW5rbm93biB7XG4gICAgY29uc3Qgcm9vdCA9IHRoaXMucmVhZFNpbGVudCh0aGlzLnJvb3RLZXkpO1xuICAgIHJldHVybiBwYXRoLmxlbmd0aCA9PT0gMCA/IHJvb3QgOiBuYXRpdmVHZXQocm9vdCwgcGF0aCBhcyBzdHJpbmdbXSk7XG4gIH1cblxuICBwdXQocGF0aDogcmVhZG9ubHkgc3RyaW5nW10sIHZhbHVlOiB1bmtub3duKTogdm9pZCB7XG4gICAgaWYgKCFBcnJheS5pc0FycmF5KHZhbHVlKSkgdGhpcy50YXJnZXQudXBkYXRlVmFsdWUodGhpcy5yb290S2V5LCBidWlsZE5lc3RlZFBhdGNoKHBhdGggYXMgc3RyaW5nW10sIHZhbHVlKSk7XG4gICAgZWxzZSB0aGlzLnRhcmdldC5zZXRWYWx1ZSh0aGlzLnJvb3RLZXksIHBhdGgubGVuZ3RoID09PSAwID8gdmFsdWUgOiBzZXRJblBhdGgodGhpcy5yZWFkQXQoW10pLCBwYXRoLCB2YWx1ZSkpO1xuICAgIHRoaXMuY2FjaGUuZGVsZXRlKHRoaXMucm9vdEtleSk7XG4gIH1cblxuICByZW1vdmUocGF0aDogcmVhZG9ubHkgc3RyaW5nW10pOiB2b2lkIHtcbiAgICB0aGlzLnRhcmdldC5zZXRWYWx1ZSh0aGlzLnJvb3RLZXksIGRlbGV0ZUluUGF0aCh0aGlzLnJlYWRBdChbXSksIHBhdGgpKTtcbiAgICB0aGlzLmNhY2hlLmRlbGV0ZSh0aGlzLnJvb3RLZXkpO1xuICB9XG59XG5cbi8qKlxuICogV0hZOiBhIHdyaXRlIGluc2lkZSBhbiBhcnJheSBlbGVtZW50IGlzIGFuIGFycmF5IHdyaXRlIOKAlCBpdCByZWJ1aWxkcyB0aGVcbiAqIG93bmluZyBhcnJheSBpbW11dGFibHkgYW5kIGhhbmRzIHRoZSBXSE9MRSBuZXcgYXJyYXkgdG8gdGhlIGFycmF5IHByb3h5J3NcbiAqIGNvbW1pdCwgdGhlIGZ1bm5lbCBgcHVzaGAgYWxyZWFkeSB1c2VzLiBgcGF0aGAgaXMgbWVhc3VyZWQgZnJvbSB0aGVcbiAqIGVsZW1lbnQ7IGBbXWAgaXMgdGhlIGVsZW1lbnQgc2xvdCBpdHNlbGYuXG4gKi9cbmV4cG9ydCBmdW5jdGlvbiBlbGVtZW50U2luayhnZXRDdXJyZW50OiAoKSA9PiB1bmtub3duW10sIGNvbW1pdDogKG5leHQ6IHVua25vd25bXSkgPT4gdm9pZCwgaW5kZXg6IG51bWJlcik6IFdyaXRlU2luayB7XG4gIHJldHVybiBuZXcgRWxlbWVudFNpbmsoZ2V0Q3VycmVudCwgY29tbWl0LCBpbmRleCk7XG59XG5cbi8qKiBPbmUgYWxsb2NhdGlvbiBwZXIgZWxlbWVudCBwcm94eSAodGhlIG1ldGhvZHMgbGl2ZSBvbiB0aGUgcHJvdG90eXBlKSDigJQgYSAxMGstZWxlbWVudCBsb29wIGJ1aWxkcyAxMGsgb2YgdGhlc2UuICovXG5jbGFzcyBFbGVtZW50U2luayBpbXBsZW1lbnRzIFdyaXRlU2luayB7XG4gIGNvbnN0cnVjdG9yKFxuICAgIHByaXZhdGUgcmVhZG9ubHkgZ2V0Q3VycmVudDogKCkgPT4gdW5rbm93bltdLFxuICAgIHByaXZhdGUgcmVhZG9ubHkgY29tbWl0OiAobmV4dDogdW5rbm93bltdKSA9PiB2b2lkLFxuICAgIHByaXZhdGUgcmVhZG9ubHkgaW5kZXg6IG51bWJlcixcbiAgKSB7fVxuXG4gIHJlYWRBdChwYXRoOiByZWFkb25seSBzdHJpbmdbXSk6IHVua25vd24ge1xuICAgIHJldHVybiByZWFkSW5FbGVtZW50KHRoaXMuZ2V0Q3VycmVudCwgdGhpcy5pbmRleCwgcGF0aCk7XG4gIH1cblxuICBwdXQocGF0aDogcmVhZG9ubHkgc3RyaW5nW10sIHZhbHVlOiB1bmtub3duKTogdm9pZCB7XG4gICAgcmVwbGFjZUluRWxlbWVudCh0aGlzLmdldEN1cnJlbnQsIHRoaXMuY29tbWl0LCB0aGlzLmluZGV4LCBwYXRoLCB2YWx1ZSk7XG4gIH1cblxuICByZW1vdmUocGF0aDogcmVhZG9ubHkgc3RyaW5nW10pOiB2b2lkIHtcbiAgICByZW1vdmVJbkVsZW1lbnQodGhpcy5nZXRDdXJyZW50LCB0aGlzLmNvbW1pdCwgdGhpcy5pbmRleCwgcGF0aCk7XG4gIH1cbn1cblxuLyoqIFRoZSB2YWx1ZSBhdCBgcGF0aGAgaW5zaWRlIGVsZW1lbnQgYGluZGV4YCwgYXMgaXQgc3RhbmRzIE5PVyAocmVhZC15b3VyLXdyaXRlcykuICovXG5mdW5jdGlvbiByZWFkSW5FbGVtZW50KGdldEN1cnJlbnQ6ICgpID0+IHVua25vd25bXSwgaW5kZXg6IG51bWJlciwgcGF0aDogcmVhZG9ubHkgc3RyaW5nW10pOiB1bmtub3duIHtcbiAgY29uc3QgZWxlbWVudCA9IGdldEN1cnJlbnQoKVtpbmRleF07XG4gIHJldHVybiBwYXRoLmxlbmd0aCA9PT0gMCA/IGVsZW1lbnQgOiBuYXRpdmVHZXQoZWxlbWVudCwgcGF0aCBhcyBzdHJpbmdbXSk7XG59XG5cbi8qKiBBIGNvcHkgb2YgdGhlIGFycmF5IHdpdGggYHZhbHVlYCBhdCBgcGF0aGAgaW5zaWRlIGVsZW1lbnQgYGluZGV4YDsgYSBnb25lIGVsZW1lbnQgaGFzIG5vdGhpbmcgdG8gd3JpdGUgaW50by4gKi9cbmZ1bmN0aW9uIHJlcGxhY2VJbkVsZW1lbnQoXG4gIGdldEN1cnJlbnQ6ICgpID0+IHVua25vd25bXSxcbiAgY29tbWl0OiAobmV4dDogdW5rbm93bltdKSA9PiB2b2lkLFxuICBpbmRleDogbnVtYmVyLFxuICBwYXRoOiByZWFkb25seSBzdHJpbmdbXSxcbiAgdmFsdWU6IHVua25vd24sXG4pOiB2b2lkIHtcbiAgY29uc3QgbmV4dCA9IFsuLi5nZXRDdXJyZW50KCldO1xuICBpZiAoaW5kZXggPj0gbmV4dC5sZW5ndGgpIHJldHVybjtcbiAgbmV4dFtpbmRleF0gPSBwYXRoLmxlbmd0aCA9PT0gMCA/IHZhbHVlIDogc2V0SW5QYXRoKG5leHRbaW5kZXhdLCBwYXRoLCB2YWx1ZSk7XG4gIGNvbW1pdChuZXh0KTtcbn1cblxuLyoqIEEgY29weSBvZiB0aGUgYXJyYXkgd2l0aCB0aGUga2V5IGF0IGBwYXRoYCBpbnNpZGUgZWxlbWVudCBgaW5kZXhgIHJlbW92ZWQuICovXG5mdW5jdGlvbiByZW1vdmVJbkVsZW1lbnQoXG4gIGdldEN1cnJlbnQ6ICgpID0+IHVua25vd25bXSxcbiAgY29tbWl0OiAobmV4dDogdW5rbm93bltdKSA9PiB2b2lkLFxuICBpbmRleDogbnVtYmVyLFxuICBwYXRoOiByZWFkb25seSBzdHJpbmdbXSxcbik6IHZvaWQge1xuICBjb25zdCBuZXh0ID0gWy4uLmdldEN1cnJlbnQoKV07XG4gIGlmIChpbmRleCA+PSBuZXh0Lmxlbmd0aCkgcmV0dXJuO1xuICBuZXh0W2luZGV4XSA9IGRlbGV0ZUluUGF0aChuZXh0W2luZGV4XSwgcGF0aCk7XG4gIGNvbW1pdChuZXh0KTtcbn1cblxuLyoqXG4gKiBXSFkgb25lIHNldCB0cmFwOiB0aGUgYXNzaWduZWQgdmFsdWUgaXMgdW53cmFwcGVkIEhFUkUgKGxhbmRtaW5lIDEg4oCUIHRoZVxuICogSlNPTiByb3VuZC10cmlwIGFwcGxpZXMgdG8gd2hhdCB0aGUgY2FsbGVyIGhhbmRlZCBpbiwgbmV2ZXIgdG8gdGhlXG4gKiBzdXJyb3VuZGluZyBzdGF0ZSkgYW5kIGhhbmRlZCB0byB0aGUgc2luayBhdCB0aGUgcHJveHkncyBwYXRoIHBsdXMgdGhlIGtleS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHNpbmtTZXRUcmFwKHNpbms6IFdyaXRlU2luaywgc2VnbWVudHM6IHJlYWRvbmx5IHN0cmluZ1tdKTogUHJveHlIYW5kbGVyPG9iamVjdD5bJ3NldCddIHtcbiAgcmV0dXJuIChfdGFyZ2V0LCBwcm9wLCB2YWx1ZSkgPT4ge1xuICAgIGlmICh0eXBlb2YgcHJvcCAhPT0gJ3N0cmluZycpIHJldHVybiB0cnVlO1xuICAgIHNpbmsucHV0KFsuLi5zZWdtZW50cywgcHJvcF0sIHVud3JhcFByb3h5KHZhbHVlKSk7XG4gICAgcmV0dXJuIHRydWU7XG4gIH07XG59XG5cbi8qKlxuICogV0hZIG9uZSBkZWxldGUgdHJhcDogYG1lcmdlYCBjYW5ub3QgZXhwcmVzcyBhIHJlbW92YWwgKGEgcGF0Y2ggb2ZcbiAqIGB1bmRlZmluZWRgIHJlYWRzIGFzIGFic2VudCksIHNvIGEgZGVsZXRlIGFsd2F5cyByZWJ1aWxkcyB0aHJvdWdoIHRoZSBzaW5rLlxuICovXG5leHBvcnQgZnVuY3Rpb24gc2lua0RlbGV0ZVRyYXAoc2luazogV3JpdGVTaW5rLCBzZWdtZW50czogcmVhZG9ubHkgc3RyaW5nW10pOiBQcm94eUhhbmRsZXI8b2JqZWN0PlsnZGVsZXRlUHJvcGVydHknXSB7XG4gIHJldHVybiAoX3RhcmdldCwgcHJvcCkgPT4ge1xuICAgIGlmICh0eXBlb2YgcHJvcCAhPT0gJ3N0cmluZycpIHJldHVybiB0cnVlO1xuICAgIHNpbmsucmVtb3ZlKFsuLi5zZWdtZW50cywgcHJvcF0pO1xuICAgIHJldHVybiB0cnVlO1xuICB9O1xufVxuIl19

package/dist/types/lib/memory/TransactionBuffer.d.ts

@@ -274,6 +274,24 @@ export declare class TransactionBuffer {
      * today's full-value `set`.
      */
     private toDeltaPayload;
+    /**
+     * Did the stage change the value at `segments`? Base and final value are
+     * fixed at commit, so this is the ONE net-change verdict both payload
+     * encodings apply (a no-op write and a write-then-revert both fail it).
+     */
+    private changedSinceBase;
+    /**
+     * Path → its op-verb sequence, ordered by LAST touch (delete + re-insert
+     * moves a re-touched path to the end of the Map's insertion order —
+     * preserving last-writer-wins for nested/overlapping paths). Per-write
+     * provenance (#P1): the LAST op's readKeys is kept — read prefixes only grow
+     * within a stage, so last == union across the path.
+     */
+    private opsByPath;
+    /** The net-change filter — identical to 'full' ({@link changedSinceBase}). Survivors keep last-touch order. */
+    private netChangeSurvivors;
+    /** Replay each overlapping family ONCE, lazily — most commits have none, and pay nothing. */
+    private memoisedFamilyValue;
     /**
      * Bucket the staged ops of every OVERLAPPING family by family root, in op
      * order — the input {@link replayFamilyVerbs} folds. Ops on paths the

package/dist/types/lib/reactive/arrayTraps.d.ts

@@ -38,9 +38,9 @@
  *
  * Now an indexed read of a wrappable element returns an ELEMENT PROXY that
  * accumulates the path inside the element and, on write, rebuilds the array
- * immutably ({@link setInPath}) and hands the whole new array to `commit` —
- * the same funnel `push` already used. One write path for the whole array,
- * whatever depth it is addressed at.
+ * immutably (`structuralWrite.setInPath`, behind `writeTraps.elementSink`)
+ * and hands the whole new array to `commit` — the same funnel `push` already
+ * used. One write path for the whole array, whatever depth it is addressed at.
  *
  * ── What is still NOT seen (by design) ───────────────────────────────────
  * Elements reached WITHOUT an index — `find()`, `filter()`, `for…of`,
@@ -50,10 +50,30 @@
  * not lost in silence either: `StageContext` compares what a stage READ with
  * what the value holds at commit and, in dev mode, warns with the exact path.
  * See src/lib/reactive/README.md.
+ *
+ * ── Shape (9.23.1) ───────────────────────────────────────────────────────
+ * `createArrayProxy` and `createElementProxy` are ORCHESTRATORS: they wire
+ * traps and hold the caches. Every trap body is a named leaf below — one
+ * concern each — and the element proxy's set/delete/get traps are the SAME
+ * leaves the nested and terminal object proxies use (`writeTraps.ts`,
+ * `liveView.ts`), over an {@link elementSink}. A fix lands in a leaf once.
+ */
+import { type WriteSink } from './writeTraps.js';
+/**
+ * WHY: an array anywhere below a sink's root is ONE write path — it reads
+ * through the sink and commits the WHOLE new array back through it, so
+ * `push` three levels down and `arr[i].x = v` at the top share a funnel.
  */
+export declare function arrayProxyAt(sink: WriteSink, path: readonly string[]): unknown[];
 /**
  * Creates a Proxy over an array that intercepts mutating operations.
  *
+ * The actual current array is the Proxy target: Node.js console.log inspects
+ * the target directly (bypasses Proxy traps), so the real array shows correct
+ * values. The target reference is fixed at creation time — after mutations,
+ * the proxy returns a new proxy (via cache invalidation) with the fresh array
+ * as target.
+ *
  * @param getCurrent - Returns the current array snapshot from state
  * @param commit - Called with the new array after a mutation (triggers setValue)
  * @returns Proxied array with copy-on-write semantics

package/dist/types/lib/reactive/liveView.d.ts

@@ -9,9 +9,60 @@
  * found on element proxies, then the same root on nested and terminal ones).
  * So every read trap resolves through the CURRENT value and falls back to the
  * captured object only when the path is gone or no longer holds an object.
+ *
+ * The READ side of every object proxy lives here — {@link liveObject},
+ * {@link liveGetTrap}, {@link liveInspectionTraps}, and the ONE per-member
+ * proxy cache {@link cachedMember} (9.23.2); the WRITE side is
+ * `writeTraps.ts`. A factory only wires them (9.23.1).
+ */
+/**
+ * A proxy per member NAME under one parent proxy, validated by the raw
+ * member's identity. The map is allocated on the FIRST insert: an element
+ * proxy over `{ id, n }` reads only primitives and must not pay for one
+ * (10,000 of them in the naive re-read loop — measured, `bench/nested-reads.ts`).
  */
+export declare class MemberCache {
+    private entries?;
+    /** The proxy cached under `prop`, if it was built over exactly this raw `value`. */
+    hit(prop: string, value: object): unknown;
+    remember(prop: string, value: object, proxy: unknown): void;
+    /** Forget `prop` — a write replaced its value, so the next read must build over the new one. */
+    delete(prop: string): void;
+}
+/**
+ * WHY the cache: `o.arr === o.arr` must hold within a stage, and
+ * `for (i < N) s.k.arr[i]` must build ONE array proxy — whose element cache
+ * then serves every index — not N (the 9.22.0 perf review, finding 4: the
+ * nested get trap built a fresh array proxy, with a fresh empty element
+ * cache, on every `.arr`). The top-level scope has cached its child proxies
+ * this way since before 9.22.0; this is that leaf, shared by all four.
+ *
+ * Validated by IDENTITY, invalidated by replacement: every write through a
+ * proxy rebuilds the containers on its path (`structuralWrite.setInPath`),
+ * so after `s.k.arr[0].n = 1` the raw `arr` is a new array, the ref check
+ * misses, and the next read builds a proxy over the NEW value. A hit can
+ * never be stale — every proxy reads live (`liveGetTrap`), so the cached one
+ * and a fresh one answer the same.
+ *
+ * Keyed by NAME under THIS parent, never by the raw value alone: a diamond
+ * (one array under `k.a` and `k.b`) needs two proxies, each bound to its own
+ * path and sink. Only what `build` actually WRAPPED is kept — a member handed
+ * back raw (a `Date`, a frozen object, a cycle edge) is not worth an entry.
+ * `build` is the caller's stable child step, not a closure made per read: a
+ * hit allocates nothing, and a primitive member skips the cache entirely.
+ */
+export declare function cachedMember(cache: MemberCache, prop: string, value: unknown, build: (value: unknown, path: string[]) => unknown, segments: readonly string[]): unknown;
 /** The object at `segments` under the current root, or `raw` when it is gone. */
 export declare function liveObject(raw: Record<string, unknown>, current: unknown): Record<string, unknown>;
+/**
+ * WHY one get trap: the names a proxy answers ITSELF (promise/matcher guards,
+ * `constructor`, and the JSON law — serializing a proxied value equals
+ * serializing the raw one, `jsonProjection.ts`) must be the same three lines
+ * on every object proxy; any other member is handed to `child` with its full
+ * path — through the parent's {@link cachedMember} — and only THAT step
+ * differs per factory (the cycle policy).
+ */
+export declare function liveGetTrap(live: () => Record<string, unknown>, segments: readonly string[], child: (value: unknown, path: string[]) => unknown, members: MemberCache): ProxyHandler<object>['get'];
 /**
  * The three inspection traps (`in`, `Object.keys`, descriptors) answered from
  * the live object. The one Proxy invariant that could bite — a non-extensible

package/dist/types/lib/reactive/writeTraps.d.ts

@@ -0,0 +1,59 @@
+/**
+ * reactive/writeTraps — where a proxy's writes LAND, and the two traps that
+ * send them there.
+ *
+ * Every object proxy in this folder (nested, terminal, element) intercepts
+ * the same three things — a property set, a property delete, and an array
+ * mutation somewhere below it — and differs only in where the write goes:
+ * a nested/terminal proxy commits under a TOP-LEVEL KEY (an object write as
+ * `merge` of a patch, an array write or a delete as `set` of the rebuilt
+ * root); an element proxy commits the WHOLE OWNING ARRAY back through the
+ * array proxy's own callback. That difference is a {@link WriteSink}; the
+ * traps are written once over it (9.23.1 — the 9.22.0 stale-read bug was
+ * fixed in one copy of these traps and then found again in the other two).
+ */
+import type { MemberCache } from './liveView.js';
+/**
+ * The seam between a proxy and state. `path` is measured from the sink's
+ * root — the key's value for {@link rootKeySink}, the element for
+ * {@link elementSink}; `[]` is the root itself.
+ */
+export interface WriteSink {
+    /** The value at `path`, as it stands NOW (read-your-writes; never a tracked read). */
+    readAt(path: readonly string[]): unknown;
+    /** Put an already-unwrapped `value` at `path`. The sink chooses the verb. */
+    put(path: readonly string[], value: unknown): void;
+    /** Remove the key at `path`. */
+    remove(path: readonly string[]): void;
+}
+/** The two ways a value reaches a state key: what the sink writes through. */
+export interface RootKeyTarget {
+    setValue(key: string, value: unknown): void;
+    updateValue(key: string, value: unknown): void;
+}
+/**
+ * WHY: a write below a top-level key has TWO verbs (reactive/README.md, law
+ * 3) — an object leaf is a `merge` of a nested patch, an array leaf or a
+ * delete rebuilds the root immutably and commits a `set` of the key. Only the
+ * sink knows that; the traps do not. Every write drops the key's cached child
+ * proxy (`cache`), so the next read is built over the new value.
+ */
+export declare function rootKeySink(target: RootKeyTarget, readSilent: (key: string) => unknown, rootKey: string, cache: Pick<MemberCache, 'delete'>): WriteSink;
+/**
+ * WHY: a write inside an array element is an array write — it rebuilds the
+ * owning array immutably and hands the WHOLE new array to the array proxy's
+ * commit, the funnel `push` already uses. `path` is measured from the
+ * element; `[]` is the element slot itself.
+ */
+export declare function elementSink(getCurrent: () => unknown[], commit: (next: unknown[]) => void, index: number): WriteSink;
+/**
+ * WHY one set trap: the assigned value is unwrapped HERE (landmine 1 — the
+ * JSON round-trip applies to what the caller handed in, never to the
+ * surrounding state) and handed to the sink at the proxy's path plus the key.
+ */
+export declare function sinkSetTrap(sink: WriteSink, segments: readonly string[]): ProxyHandler<object>['set'];
+/**
+ * WHY one delete trap: `merge` cannot express a removal (a patch of
+ * `undefined` reads as absent), so a delete always rebuilds through the sink.
+ */
+export declare function sinkDeleteTrap(sink: WriteSink, segments: readonly string[]): ProxyHandler<object>['deleteProperty'];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "footprintjs",
-  "version": "9.23.0",
+  "version": "9.23.2",
   "description": "Explainable backend flows — automatic causal traces, decision evidence, and MCP tool generation for AI agents",
   "license": "MIT",
   "author": "Sanjay Krishna Anbalagan",