@zakkster/lite-project 1.4.0 → 1.4.1

package/CHANGELOG.md

@@ -3,6 +3,35 @@
 All notable changes to `@zakkster/lite-project` are documented here. The format
 follows Keep a Changelog; this project adheres to semantic versioning.
 
+## [1.4.1] - 2026-09-05
+
+### Fixed
+
+- **Hot-path transient allocation (~40 B/op on `get`/`peek`/`set`).** The slot-
+  creation closure lived inline in `slotFor`'s cold miss branch and captured
+  `key`, so V8 allocated a context object on EVERY `slotFor` call -- hit or
+  miss -- taxing the three hottest operations ~40 B/op each (measured: warm
+  `get` 2,002,808 B over 50,000 ops). `peek` had the same defect twice over via
+  inline `untrack(() => source.get(key))` closures, allocating even on the warm
+  overlaid path that never takes the fallthrough; `reconcileAll` once per
+  overlaid key. Fixes: slot creation hoisted to `_createSlot(key)` (context now
+  allocated only on the cold miss), `peek` and `reconcileAll` ride the hoisted
+  `_pk`/`_readSrc` scratch that `forEachPatch` already used. Measured after:
+  0.04-0.15 B/op fixed noise across all warm windows. No API or behaviour
+  change.
+
+### Added
+
+- **T6 Proof 0, the transient witness.** Warm `get` / `peek` / `set` /
+  `set-clear toggle` / `get+set+clear` triangle windows are now hard-gated by
+  the V8 new-space used-bytes delta over a GC-free 50,000-op window
+  (<= 16,384 B total each). Every prior lane -- the gc-profiler heap gate, the
+  retained-bytes bracket, the pool census -- is structurally blind to per-op
+  garbage that never survives a collection, which is how the 40 B/op defect
+  above passed the full gate. The GATE line now reports `transient=<n> B/op`
+  (triangle; measured 0.131 B/op). Falsified: reverting the fix makes the gate
+  exit 1 naming the window.
+
 ## [1.4.0] - 2026-09-05
 
 ### Added

package/Project.d.ts

@@ -1,4 +1,4 @@
-// Type declarations for @zakkster/lite-project v1.4.0
+// Type declarations for @zakkster/lite-project v1.4.1
 // Zero-GC projections for @zakkster/lite-signal.
 // (c) 2026 Zahary Shinikchiev <shinikchiev@yahoo.com> -- MIT
 

package/Project.js

@@ -1,5 +1,5 @@
 /**
- * @zakkster/lite-project v1.4.0 -- zero-GC projections for @zakkster/lite-signal.
+ * @zakkster/lite-project v1.4.1 -- zero-GC projections for @zakkster/lite-signal.
  * -----------------------------------------------------------------------------
  * A projection is a granular, derived, NON-MUTATING reactive view over a keyed
  * source: a lens that can carry ephemeral overlays (optimistic edits, merges,
@@ -89,7 +89,7 @@ import {
     hasObservers as _hasObservers,
 } from "@zakkster/lite-signal";
 
-export const VERSION = "1.4.0";
+export const VERSION = "1.4.1";
 
 // Module-level sentinel for "this key has no overlay". A unique symbol, never a
 // per-operation allocation. Stored directly in the overlay signal's value slot, so
@@ -201,23 +201,29 @@ export function createProjector(reg) {
         // Invariant: exp !== 0 implies overlaid, so prune() never orphans a deadline.
         const slots = new Map();
 
+        // Slot creation lives in its OWN function, never inline in slotFor: the
+        // creation closure captures `key`, and a capture inside slotFor's scope
+        // would make V8 allocate a context object on EVERY slotFor call -- hit or
+        // miss -- taxing get/peek/set ~40 B/op. Here the context is allocated only
+        // on the cold miss. (Bytes in a hot body: a closure in a cold branch still
+        // costs the hot branch its context.)
+        const _createSlot = (key) => {
+            // Detach owner+observer for creation: these nodes outlive the consumer
+            // that first reads `key`, and the projection -- not that consumer --
+            // owns their disposal. (See header: OWNERSHIP.)
+            return createRoot(() => {
+                const ov = signal(ABSENT);
+                const read = computed(() => {
+                    const o = ov();              // track the overlay
+                    const base = source.get(key); // track the source cell too
+                    return o === ABSENT ? base : o;
+                });
+                return { ov, read, exp: 0 };
+            });
+        };
         const slotFor = (key) => {
             let s = slots.get(key);
-            if (s === undefined) {
-                // Detach owner+observer for creation: these nodes outlive the consumer
-                // that first reads `key`, and the projection -- not that consumer --
-                // owns their disposal. (See header: OWNERSHIP.)
-                s = createRoot(() => {
-                    const ov = signal(ABSENT);
-                    const read = computed(() => {
-                        const o = ov();              // track the overlay
-                        const base = source.get(key); // track the source cell too
-                        return o === ABSENT ? base : o;
-                    });
-                    return { ov, read, exp: 0 };
-                });
-                slots.set(key, s);
-            }
+            if (s === undefined) { s = _createSlot(key); slots.set(key, s); }
             return s;
         };
 
@@ -371,11 +377,17 @@ export function createProjector(reg) {
             isDirty: () => dirtySig() > 0,
             // Untracked effective read (overlay if set, else source) -- for
             // reconciliation policies and imperative inspection, without subscribing.
+            // Source fallthrough rides the hoisted _pk/_readSrc scratch (the
+            // forEachPatch precedent): an inline untrack closure would capture
+            // `key` and cost EVERY peek a context allocation -- including the warm
+            // overlaid path that never takes the fallthrough.
             peek: (key) => {
                 const s = slots.get(key);
-                if (s === undefined) return untrack(() => source.get(key));
+                if (s === undefined) { _pk = key; return untrack(_readSrc); }
                 const o = s.ov.peek();
-                return o === ABSENT ? untrack(() => source.get(key)) : o;
+                if (o !== ABSENT) return o;
+                _pk = key;
+                return untrack(_readSrc);
             },
             // Iterate currently-overlaid keys (untracked). Cold path.
             forEachOverlay: (fn) => {
@@ -407,7 +419,10 @@ export function createProjector(reg) {
                     for (const [key, s] of slots) {
                         const o = s.ov.peek();
                         if (o !== ABSENT) {
-                            const authoritative = untrack(() => source.get(key));
+                            // _pk/_readSrc scratch (the forEachPatch precedent): an
+                            // inline untrack closure would allocate per overlaid key.
+                            _pk = key;
+                            const authoritative = untrack(_readSrc);
                             if (pol(authoritative, o, key)) { s.ov.set(ABSENT); _dropExp(s); dropped++; }
                         }
                     }

package/llms.txt

@@ -147,7 +147,11 @@ prune() -> number [1.1] [release slots that are BOTH un-overlaid AND unobserved;
 
 Steady state: re-overlaying a warmed key reuses pooled nodes (200k toggles ->
 poolGrowths/totalAllocations flat). First touch of a NEW key allocates its slot,
-a Map entry, and two pooled nodes. Warm the keys you churn.
+a Map entry, and two pooled nodes. Warm the keys you churn. Gated transient-clean
+since 1.4.1: warm get/peek/set/toggle windows measured by V8 new-space delta
+(<= 16384 B total per 50k-op window; measured ~0.13 B/op triangle noise). 1.4.0
+allocated ~40 B/op on get/peek/set via a hot-path closure context -- fixed and
+now impossible to reintroduce silently.
 
 ## Gotchas
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zakkster/lite-project",
-  "version": "1.4.0",
+  "version": "1.4.1",
   "description": "Zero-GC projections for @zakkster/lite-signal: granular, derived, non-mutating reactive overlays with commit / revert / reconcile, and draft adapters for lite-store and lite-room.",
   "type": "module",
   "main": "./Project.js",