cctally 1.116.1 → 1.117.2

package/bin/_lib_rate_change_delivery.py

@@ -107,6 +107,22 @@ def with_decided(state, identities, *, seeded=None) -> dict:
     }
 
 
+def without_decided(state, identities) -> dict:
+    """A NEW state with `identities` no longer decided (#1015 spec 5.7).
+
+    Used only to hand back a claim this run won and then could not hand off
+    (the supersession recheck could not take its read guard): the identity
+    becomes owed again so a later run retries it. A decision whose
+    notification was handed off is never removed.
+    """
+    remaining = decided_set(state) - {tuple(i) for i in identities}
+    return {
+        "schemaVersion": SCHEMA_VERSION,
+        "seededFromStats": bool(state.get("seededFromStats")),
+        "decided": [list(i) for i in sorted(remaining)],
+    }
+
+
 def owed(recorded, decided) -> tuple:
     """Recorded identities with no decision, in a stable order.
 

package/bin/_lib_reclaim_planner.py

@@ -11,7 +11,8 @@ The bound (`dc5`, `dc6`, audited against SQLite `btree.c`, `pager.c` and
 `sqlite3BtreeIncrVacuum`, `allocateBtreePage`, `setChildPtrmaps`,
 `ptrmapPutOvflPtr`, `ptrmapPageno`, `btreeGetUnusedPage` and
 `autoVacuumCommit` are identical and `incrVacuumStep` / `modifyPagePointer`
-differ only by corruption checks):
+differ only by corruption checks; 3.54.1's three files are byte-identical to
+3.54.0's, #1023):
 
 * Each step removes the file's last page, skipping pointer-map and
   pending-byte pages, exactly as `incrVacuumStep` does.
@@ -65,10 +66,11 @@ import time
 
 PLANNER_VERSION = 1
 #: The SQLite releases whose incremental-vacuum sources were audited (spec
-#: §1.4, G3q). A runtime outside the range refuses reclaim until G3q passes on
-#: that version and a source review widens it.
+#: §1.4, G3q; 3.54.1 in docs/superpowers/specs/2026-10-30-1023-sqlite-3541-
+#: reclaim-audit.md). A runtime outside the range refuses reclaim until G3q
+#: passes on that version and a source review widens it.
 AUDITED_SQLITE_MIN = (3, 37, 2)
-AUDITED_SQLITE_MAX = (3, 54, 0)
+AUDITED_SQLITE_MAX = (3, 54, 1)
 
 WAL_INDEX_VERSION = 3007000
 WAL_FORMAT_VERSION = 3007000