AbstractMemory 0.3.0__py3-none-any.whl → 0.3.2__py3-none-any.whl

abstractmemory/in_memory_store.py

@@ -2,6 +2,7 @@ from __future__ import annotations
 
 import threading
 import uuid
+from dataclasses import replace
 from typing import Any, Iterable, List, Optional, Sequence
 
 from .embedding_pin import (
@@ -112,6 +113,28 @@ class InMemoryTripleStore:
                 self._embedder = embedder
         return len(clean)
 
+    def close_assertion(self, assertion_id: str, valid_until: str) -> bool:
+        """Close one assertion's validity window in place (SQLite parity):
+        sets `valid_until` only while it is still open; everything else is
+        untouched. True when a row changed; False for an unknown id or an
+        already-closed window."""
+        rid = str(assertion_id or "").strip()
+        until = str(valid_until or "").strip()
+        if not rid:
+            raise ValueError("close_assertion requires an assertion_id")
+        if not until:
+            raise ValueError("close_assertion requires a valid_until timestamp")
+        with self._lock:
+            for row in self._rows:
+                if row.get("assertion_id") != rid:
+                    continue
+                a = row.get("assertion")
+                if not isinstance(a, TripleAssertion) or a.valid_until is not None:
+                    return False
+                row["assertion"] = replace(a, valid_until=until)
+                return True
+        return False
+
     def close(self) -> None:
         return None
 

abstractmemory/journal.py

@@ -221,12 +221,22 @@ class ScopeBinding:
         return _jsonify(asdict(self))
 
 
+#: The closure kinds a ClosureRecord accepts (``reinterpreted`` is additive, 0.3.2).
+CLOSURE_KINDS = frozenset({"retract", "supersede", "reinterpreted"})
+
+
 @dataclass(frozen=True)
 class ClosureRecord:
-    """Append-only belief-lifecycle record (backlog 0010): retract or supersede."""
+    """Append-only belief-lifecycle record (backlog 0010): retract, supersede or reinterpreted.
+
+    ``reinterpreted`` (additive, 0.3.2): the writer no longer reads its source this way (AbstractNote ADR 0008: a
+    note understood again against an earlier foundation withdraws its previous reading). It is neither a
+    correction of the fact (``retract``) nor a later fact replacing it (``supersede``); like both it leaves
+    ranked retrieval. ``replacement_ids`` is optional (the new reading's assertions, when there are any).
+    """
 
     assertion_id: str
-    kind: str                        # retract | supersede
+    kind: str                        # retract | supersede | reinterpreted
     reason: str
     replacement_ids: Tuple[str, ...] = ()
     observed_at: str = field(default_factory=utc_now_iso)
@@ -240,8 +250,8 @@ class ClosureRecord:
             raise ValueError("ClosureRecord requires assertion_id")
         object.__setattr__(self, "assertion_id", self.assertion_id.strip())
         kind = str(self.kind or "").strip().lower()
-        if kind not in {"retract", "supersede"}:
-            raise ValueError("ClosureRecord.kind must be 'retract' or 'supersede'")
+        if kind not in CLOSURE_KINDS:
+            raise ValueError("ClosureRecord.kind must be 'retract', 'supersede' or 'reinterpreted'")
         object.__setattr__(self, "kind", kind)
         if not (isinstance(self.reason, str) and self.reason.strip()):
             raise ValueError("ClosureRecord requires a non-empty reason")

abstractmemory/sqlite_store.py

@@ -51,7 +51,8 @@ class SQLiteTripleStore:
 
     Notes:
     - Uses stdlib `sqlite3` (portable; no daemon).
-    - Append-only: there is no update/delete API (see AbstractMemory FAQ).
+    - Append-only: there is no update/delete API (see AbstractMemory FAQ),
+      except `close_assertion`, which only closes an open validity window.
     - VECTORS (a2a 0003, the entity-home pairing): pass `embedder=` and each
       added assertion's canonical text is embedded and persisted in the SAME
       .sqlite3 file (JSON-encoded `embedding` column; in-place ALTER TABLE
@@ -526,6 +527,39 @@ class SQLiteTripleStore:
             rows = self._conn.cursor().execute(sql, params).fetchall()
         return [self._row_to_assertion(r) for r in rows]
 
+    def close_assertion(self, assertion_id: str, valid_until: str) -> bool:
+        """Close one assertion's validity window IN PLACE (additive, backlog:
+        abstractnote supersession). Sets `valid_until` only while it is still
+        open (NULL); every other column — terms, provenance, attributes, the
+        FTS row, the vector — is untouched, so the store stays append-only
+        for content. Returns True when a row changed, False when the id is
+        unknown or the window was already closed (idempotent replays).
+
+        Why: a later fact superseding an earlier one must make
+        `TripleQuery(active_at=...)` agree with the writer's belief window;
+        journal closures alone only reach ranked retrieval, never `query`."""
+        rid = str(assertion_id or "").strip()
+        until = str(valid_until or "").strip()
+        if not rid:
+            raise ValueError("close_assertion requires an assertion_id")
+        if not until:
+            raise ValueError("close_assertion requires a valid_until timestamp")
+        with self._lock:
+            cur = self._conn.cursor()
+            cur.execute("BEGIN IMMEDIATE")
+            try:
+                cur.execute(
+                    f"UPDATE {self._table} SET valid_until = ? "
+                    "WHERE assertion_id = ? AND valid_until IS NULL",
+                    (until, rid),
+                )
+                changed = int(cur.rowcount or 0) > 0
+                cur.execute("COMMIT")
+            except BaseException:
+                cur.execute("ROLLBACK")
+                raise
+        return changed
+
     def replace_vectors(
         self, vectors: dict, pin: dict, *,
         expected_row_count: int, embedder: Optional[TextEmbedder] = None,

abstractmemory/system.py

@@ -853,7 +853,8 @@ class MemorySystem(ValenceOps, AccessOps):
         replacement_ids: Sequence[str] = (),
         reason: str,
     ) -> List[str]:
-        """Append one ClosureRecord per assertion (retract | supersede);
+        """Append one ClosureRecord per assertion (retract | supersede |
+        reinterpreted);
         returns closure ids. Supersede requires replacement_ids; reason is
         mandatory — validated by ClosureRecord BEFORE any append. A multi-
         assertion supersede shares one replacement set. Accepts either id

{abstractmemory-0.3.0.dist-info → abstractmemory-0.3.2.dist-info}/METADATA

@@ -1,6 +1,6 @@
-Metadata-Version: 2.4
+Metadata-Version: 2.5
 Name: AbstractMemory
-Version: 0.3.0
+Version: 0.3.2
 Summary: AbstractMemory: temporal, provenance-aware semantic memory primitives for AbstractFramework.
 Project-URL: AbstractFramework (monorepo), https://github.com/lpalbou/abstractframework
 Author: Laurent-Philippe Albou
@@ -164,7 +164,7 @@ system.commit_selection(result.trace_id, [h.record_id for h in result.handles[:2
 
 ## Design principles
 
-- **Append-only, no deletion**: updates are new assertions; belief revision is closure records (retract/supersede); forgetting is decay of retrieval strength plus closures and silencing — the substrate is lossless.
+- **Append-only, no deletion**: updates are new assertions; belief revision is closure records (retract/supersede/reinterpreted); forgetting is decay of retrieval strength plus closures and silencing — the substrate is lossless.
 - **Reads are pure**: reconstruction, inspection, replay, and the entity card deposit nothing. `commit_selection` is the only strengthening path.
 - **One seq axis**: the journal assigns a monotonic `seq` to every record; any past state is reproducible by anchoring reads at `as_of`.
 - **Works-or-loud**: degraded paths are labeled `#FALLBACK` in result warnings; invalid inputs raise actionable errors instead of silently meaning something else.

{abstractmemory-0.3.0.dist-info → abstractmemory-0.3.2.dist-info}/RECORD

@@ -25,8 +25,8 @@ abstractmemory/feelings_reads.py,sha256=eCnLLEnJwOw6NvWss2P4OXpitsDMieyPT5loDfiI
 abstractmemory/folds.py,sha256=DPy8po7k0Hp8HdEwbXwsS376mCYiECPk1-Ct2l_CNJg,17004
 abstractmemory/gradation.py,sha256=iee4w4hoEmGw72BN7XeoWru2-AF3viPsCrAY_8k3sVk,11850
 abstractmemory/identity_review.py,sha256=6PajkCICR4JXiG53T2EeNQuJitMnefxLni2x0zI6Ai8,7434
-abstractmemory/in_memory_store.py,sha256=5Yh2xcriQYjr0fDwRkfkdDZmD1NUph8a4XiESzb_OpM,12173
-abstractmemory/journal.py,sha256=C4FCE-rHLBi759cniTOFqD9fkPIsTSUd30H0TctKWe0,23525
+abstractmemory/in_memory_store.py,sha256=hbJhfQonNYXI3ywLbuFU9XRNHuxG0fb3PXWrYeDVR58,13241
+abstractmemory/journal.py,sha256=Xe6vxGFfkuN-8wkWOX9vF_spr9q41jUu5I9Wo4Bv-Rg,24157
 abstractmemory/journal_common.py,sha256=nB9jnUKFe-TTtc1YD5__kZTuqH56K5-A2oxaWNaIO34,9303
 abstractmemory/journal_memory.py,sha256=fHMSSw8CLfKPMMaI6yIoyxjpN6h_reqPI6ILuptngU0,23611
 abstractmemory/journal_sqlite.py,sha256=7Te1Lsh2d-Em9IMVUELcJa-flaqWRAQUBX994hAie20,28480
@@ -54,9 +54,9 @@ abstractmemory/sleep_cadence.py,sha256=sESud9WayZbPCzDO9Yfu8PWgVyyu3LtA0bTovTRzj
 abstractmemory/sleep_policy.py,sha256=xZftQLMJq6Rn9mEHc6N4BwLypmDtAKwWAXG7o-kPC_s,7471
 abstractmemory/spark.py,sha256=9Pmof_9TKHNkts-yMekOMV3Z-RrbQxEEwN56MK73iUE,8833
 abstractmemory/spreading.py,sha256=22-UZCuLrQ9w-2YbsOrTAR5pQOgopSJv9qbYeWGn3uE,16031
-abstractmemory/sqlite_store.py,sha256=KzZY7kLcXZlGT5DGXoJKH8mmr7-q2evUUAk6ouWIkAo,30861
+abstractmemory/sqlite_store.py,sha256=Fz2ChaUfJ-OrCELpJrdgK9z2BS605Gao-stpKMv58_I,32527
 abstractmemory/store.py,sha256=4PXG-4JsNaBojr39CkrmR6fKRT9McRHK-bKXqB0eHaY,4195
-abstractmemory/system.py,sha256=px_Kob1cynd0NgijQX3_GO61SQJkwrhi5QwgILfsejM,47360
+abstractmemory/system.py,sha256=jox7PPMmg9XV7TZXO9Wh1l_A78sYUmLRSLbV_AL1Bug,47384
 abstractmemory/system_access.py,sha256=cwj6fTyyApzWtaZiQbI72gbh03650rc4SxlePr-MwLY,6696
 abstractmemory/system_valence.py,sha256=JqX2W0GHkuzxkyl0QoJt7r24EEk8LIPAeN8eZNPUwqk,11627
 abstractmemory/tend.py,sha256=ubOh-Bb01Ro0B3WCNvdfquO-qExoF06_uo8RKPAq4HM,30080
@@ -64,7 +64,7 @@ abstractmemory/text_tokens.py,sha256=kYWAdNEEnGi50zuCam3bA6VY91An0C_6HlDlxqwkun8
 abstractmemory/vector_scoring.py,sha256=1NlC8DdoN0VFv5z6r2wyURvs86p6kbCJsKg4f__FEtw,2511
 abstractmemory/world_model.py,sha256=aHlRyyXz8hQOTbjtXzJpUpFy01wjkShyyUviAs4ST0w,46714
 abstractmemory/world_model_alias.py,sha256=A4_or9kmhgCu6AdxaZQEJQQsPi0RG9ZsePdBG9_JYnM,9436
-abstractmemory-0.3.0.dist-info/METADATA,sha256=2rvZ-Mf_PJuimoi7FFoF3y0G9Gqh2zu-2GfizRxfGx8,7492
-abstractmemory-0.3.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
-abstractmemory-0.3.0.dist-info/licenses/LICENSE,sha256=7t9ARuV3s_QVhJahnkFBnX_E5GPLW8BE9geplO1CGko,1079
-abstractmemory-0.3.0.dist-info/RECORD,,
+abstractmemory-0.3.2.dist-info/METADATA,sha256=TY3BUpPbVdVcKkda9Uyc5eVvQfDzZChMUVCmdf2hpVY,7506
+abstractmemory-0.3.2.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
+abstractmemory-0.3.2.dist-info/licenses/LICENSE,sha256=7t9ARuV3s_QVhJahnkFBnX_E5GPLW8BE9geplO1CGko,1079
+abstractmemory-0.3.2.dist-info/RECORD,,

{abstractmemory-0.3.0.dist-info → abstractmemory-0.3.2.dist-info}/WHEEL

@@ -1,4 +1,4 @@
 Wheel-Version: 1.0
-Generator: hatchling 1.31.0
+Generator: hatchling 1.32.4
 Root-Is-Purelib: true
 Tag: py3-none-any