provident-storeroom 1.2.0 → 1.3.0

package/index.d.ts

@@ -346,6 +346,33 @@ export type StoreStatus =
  *
  * `kind` is the kernel's closed four-member `LogKind` set, and `state` is the kernel's own `KC` token on the
  * one `outcome` entry and `null` on the three non-`outcome` kinds.
+ *
+ * **⟶ AND THE LIST IT STANDS IN IS THE COMMIT'S, NOT THE ATTEMPT'S — 2026-10-28 (`D-53`).** **THE ARCHITECT,
+ * VERBATIM: *"If it's part of the same commit, then it uses the same message log. If it opens a new commit, it
+ * uses the new commit's message log. Constraints/Repairs should always use the same commit. Listeners should open
+ * a new commit, because the triggering commit already passed constraints"*** (`strata/decisions.md` · `D-53`).
+ * **SO ONE COMMIT'S WORK IS ONE LIST**: a write, the constraint passes that judged it, a repair's own write and
+ * the re-run after it all append to the same array, `seq` is *"the ordinal of the list it stands in"* and it runs
+ * `1..n` CONTINUOUSLY across those attempts, and **the `log` a refusal crosses with IS that array** — which is what
+ * `DEF-AK`'s *"one inner refusal, two hosts"* measures and what `D-52`'s merge question dissolved into. **A
+ * LISTENER'S WRITE IS THE ONE THAT STARTS A FRESH LIST**, because the commit that triggered it has already passed
+ * its constraints and what the listener does is a new question.
+ *
+ * **⟶ AND WHAT `seq` IS TRUE OF IS SAID PLAINLY HERE, 2026-10-28 — `DEF-AI`, MEASURED.** **`seq` is the position
+ * of the entry in the commit's own message log; it is not the store's journal ordinal, and the two differ by
+ * design.** The kernel mints it as `log.length + 1` on the one list its commit appends to
+ * (`bindings/js/src/entry/kernel-foundations.mjs`), so a refusal's entry can carry `seq` `1` while the store's
+ * own journal counter reads `41`. **READ THE TWO AS TWO ORDINALS WITH TWO HOMES**: `JournalOp.seq` is the
+ * STORE's append ordinal and orders the store's record; this `seq` orders the COMMIT's message log and nothing
+ * else. **A consumer that compares them compares two different subjects, and no reading of this declaration
+ * says the first equals the second.**
+ *
+ * **AND `state`'S DOMAIN IS `KC-1`…`KC-9`, NOT `KC-1`…`KC-8`.** **`D-53`'s THIRD RULING — *"Open the token
+ * set"* — gives the SAVE ARM a token of its own (`KC-9`)**, so that a `file`-tier save that fails at the terminal
+ * arm and a constraint that refuses a pass cross with DIFFERENT `status` values (`FileCommitFailed` and
+ * `ConstraintPassRefused`) **each derivable from the log's terminal state** — the contradiction `D-52` measured
+ * when `KC-8` crossed as both. **NO MEMBER OF THIS DECLARATION'S `StoreStatus` MOVES**: `KC-9` rides `state` and
+ * never `status`, exactly as every `KC` token does, so the closed status set keeps its `20` members and its ranks.
  */
 export interface LogEntry {
   readonly seq: number;
@@ -372,6 +399,14 @@ export interface LogEntry {
  * failure's cause has no attempt at all** (item 4: the empty array, never an absent member and never a
  * placeholder entry) — **while every failure whose attempt exists carries that attempt's own entries, taken
  * BEFORE the attempt is disposed of** (item 10 (iii)).
+ *
+ * **⟶ AND FROM 2026-10-28 THOSE ENTRIES ARE THE COMMIT'S (`D-53`).** *"That attempt's own entries"* is read
+ * through **the one list the whole commit appends to**: an attempt holds a REFERENCE to its commit's log, so a
+ * failure crossing from ANY arm of that commit — a pass's refusal, a repair's, a `file`-tier save's at the
+ * terminal arm — carries the same array, and **a save failure's `log` is no longer `[]`**: `D-52`'s measured
+ * sentence (*"a save failure crosses as `FileCommitFailed` with `log: []`, and its verdict stands only in the
+ * attempt's log, which the crossed value does not carry"*) is the defect `D-53` closes, and the save arm's own
+ * `outcome` entry — carrying `KC-9` — is the entry that ends that list.
  */
 export interface StoreRefusal {
   readonly status: StoreStatus;
@@ -918,8 +953,9 @@ export interface StoreInstance {
    * **AND IT MOVES NO OTHER FIGURE**: the module namespace keeps its ONE name `storeCreate` (`§2.9` item 1's
    * `A127` clause, `11 → 1` ✓), the kernel's extent stays FIVE with no `K-6` proposed (`§2.4` item 9 (f),
    * item 8 — the pairs are read from the entry's OWN registry, which is keyed exactly as the kernel's is), the
-   * store's closed `17`-member set is not reached, the kernel's `KC` set stands closed at `8`, and the register
-   * keeps its `8` rows.
+   * store's closed `17`-member set is not reached, the kernel's `KC` set stands closed at `8` (**⟶ MOVED `8 → 9`
+   * on 2026-10-28 by `D-53`'s third ruling — *"Open the token set"* — the appended member being the SAVE ARM's
+   * `KC-9`; see `LogEntry`'s clause above), and the register keeps its `8` rows.
    *
    * **It is NOT a named export of this entry** (`package.md §1.3` item 3): it is reached through
    * `storeCreate`'s own product alone.

package/index.mjs

@@ -410,7 +410,13 @@ export function storeCreate(cfg) {
         // (`docs/specs/storeroom-js/surface.md §2.4` item 9's adoption-machinery clause; the three architect's rulings of that date), so the store's
         // own refusal crosses back UNCHANGED AND UNCONVERTED and this frame adds nothing to it.
         // **AND THE ONE DECLARED EXCEPTION IS TAKEN HERE** — the `writeCall` arm, moved not dropped.
-        writeRefusal(refusal, fault);
+        // **⟶ AND THE COMMIT'S OWN LOG TRAVELS WITH IT — `D-53`, 2026-10-28.** The record at the method's FOURTH
+        // position is the commit's record when the kernel's own store leg made this call, and the kernel defines
+        // the commit's list on it under a symbol key; **so a store verb refusing this write tells the caller what
+        // the commit's log already carries** instead of the declared `[]`. A caller's own five-position write (or
+        // any record this package did not build) carries no such key and answers `undefined`, which is `fail`'s
+        // declared `[]` arm — unchanged on every one of those paths.
+        writeRefusal(refusal, fault, arguments.length >= 4 ? commit : undefined);
         throw refusal;
       }
       const watched = [];
@@ -494,8 +500,10 @@ export function storeCreate(cfg) {
     /// but is not declarable as a member of `DeleteRecord`, and `D-49` asks for the member to be declared.
     ///
     /// **THE VALUE IS `[]` WHERE NOTHING WAS DISCARDED AND ONE `{ opId, addresses }` ENTRY WHERE A REQUEST WAS**
-    /// — the id the reversal named (the store's own echo) and the addresses the discarded check would have been
-    /// asked at. **NO PASS RUNS, NO BODY IS INVOKED, NO JUDGEMENT IS TAKEN AND THE BEHAVIOUR OF THE WINDOW IS
+    /// — the id the reversal named (the store's own echo) and **the addresses the refused act MOVED**, measured
+    /// at the reversal's own instant (`constraints.mjs`'s `movedStanding`), not the whole watched registry:
+    /// **a witness names what moved, because what did not move was not the act's** (`DEF-AM`, 2026-10-28).
+    /// **NO PASS RUNS, NO BODY IS INVOKED, NO JUDGEMENT IS TAKEN AND THE BEHAVIOUR OF THE WINDOW IS
     /// UNMOVED**: the request is consumed (reported) and its effect still stands.
     delete(address, tier) {
       // **⟶ `§4.1`: `delete` OPENS ONE.**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "provident-storeroom",
-  "version": "1.2.0",
+  "version": "1.3.0",
   "description": "U-STOREROOM-PUBLISH: the published Node ESM binding for the native Rust store of Provident-Storeroom — the entry resolves the scoped per-target platform package first, the checkout's own module-relative addon second, and answers the store's single declared absent-addon form when neither loads",
   "type": "module",
   "license": "AGPL-3.0",
@@ -35,16 +35,17 @@
     "index.mjs",
     "README.md",
     "README.guide.md",
+    "RELEASE-NOTES.md",
     "index.d.ts",
     "src/entry/",
     "src/constraint-kernel.mjs"
   ],
   "optionalDependencies": {
-    "@auspicion/provident-storeroom-js-linux-x64-gnu": "1.2.0",
-    "@auspicion/provident-storeroom-js-linux-arm64-gnu": "1.2.0",
-    "@auspicion/provident-storeroom-js-darwin-x64": "1.2.0",
-    "@auspicion/provident-storeroom-js-darwin-arm64": "1.2.0",
-    "@auspicion/provident-storeroom-js-win32-x64-msvc": "1.2.0"
+    "@auspicion/provident-storeroom-js-linux-x64-gnu": "1.3.0",
+    "@auspicion/provident-storeroom-js-linux-arm64-gnu": "1.3.0",
+    "@auspicion/provident-storeroom-js-darwin-x64": "1.3.0",
+    "@auspicion/provident-storeroom-js-darwin-arm64": "1.3.0",
+    "@auspicion/provident-storeroom-js-win32-x64-msvc": "1.3.0"
   },
   "publishConfig": {
     "access": "public"