memleaf 0.2.6__tar.gz → 0.2.7__tar.gz

{memleaf-0.2.6 → memleaf-0.2.7}/CHANGELOG.md

@@ -2,6 +2,18 @@
 
 All notable changes to memleaf are documented here.
 
+## 0.2.7 — 2026-09-01
+
+- Distinguish an invalid gate type enum from a candidate type that conflicts
+  with its selected active update target, while preserving the strict,
+  immutable target-type constraint.
+- Give each gate failure a bounded, actionable retry instruction: use a legal
+  memory type, preserve the target type for the same future use, or split a
+  genuinely different future use into an independent atomic candidate.
+- Preserve the dedicated `update_target_type_mismatch` diagnostic across Core,
+  MCP, and Hermes; repeated failures still write nothing and retain the inbox
+  for a later retry.
+
 ## 0.2.6 — 2026-09-01
 
 - Reject one worthy memory that spans multiple independent project scopes and

{memleaf-0.2.6/src/memleaf.egg-info → memleaf-0.2.7}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: memleaf
-Version: 0.2.6
+Version: 0.2.7
 Summary: A local-first Markdown memory core for AI agents
 Author: memleaf contributors
 License-Expression: MIT
@@ -23,8 +23,8 @@ Dynamic: license-file
 
 [English](README.en.md) · [PyPI](https://pypi.org/project/memleaf/) · [GitHub](https://github.com/miffyblueboo/memleaf)
 
-> **当前版本：0.2.6。**
-> 核心库、Vault、stdio MCP Server、初始化 CLI、模型路由、提炼流程、受控检索协议和宿主适配器已经实现。memleaf 0.2.6 通过 PyPI 分发。
+> **当前版本：0.2.7。**
+> 核心库、Vault、stdio MCP Server、初始化 CLI、模型路由、提炼流程、受控检索协议和宿主适配器已经实现。memleaf 0.2.7 通过 PyPI 分发。
 > **当前版本支持 Hermes 和 Codex。** Antigravity（反重力）不检测、不安装、不配置。
 
 ## 项目定位

{memleaf-0.2.6 → memleaf-0.2.7}/README.md

@@ -4,8 +4,8 @@
 
 [English](README.en.md) · [PyPI](https://pypi.org/project/memleaf/) · [GitHub](https://github.com/miffyblueboo/memleaf)
 
-> **当前版本：0.2.6。**
-> 核心库、Vault、stdio MCP Server、初始化 CLI、模型路由、提炼流程、受控检索协议和宿主适配器已经实现。memleaf 0.2.6 通过 PyPI 分发。
+> **当前版本：0.2.7。**
+> 核心库、Vault、stdio MCP Server、初始化 CLI、模型路由、提炼流程、受控检索协议和宿主适配器已经实现。memleaf 0.2.7 通过 PyPI 分发。
 > **当前版本支持 Hermes 和 Codex。** Antigravity（反重力）不检测、不安装、不配置。
 
 ## 项目定位

{memleaf-0.2.6 → memleaf-0.2.7}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "memleaf"
-version = "0.2.6"
+version = "0.2.7"
 description = "A local-first Markdown memory core for AI agents"
 readme = "README.md"
 requires-python = ">=3.11"

{memleaf-0.2.6 → memleaf-0.2.7}/src/memleaf/__init__.py

@@ -1,6 +1,6 @@
 """Local-first Markdown memory core for AI agents."""
 
-__version__ = "0.2.6"
+__version__ = "0.2.7"
 
 from .config import DEFAULT_CONFIG, default_config, load_config, save_config
 from .frontmatter import FrontmatterError, dump_frontmatter, dump_yaml, load_yaml, parse_frontmatter

{memleaf-0.2.6 → memleaf-0.2.7}/src/memleaf/hermes_provider/__init__.py

@@ -77,6 +77,7 @@ _MODEL_VALIDATION_DETAILS = frozenset(
         "duplicate_candidate_id",
         "duplicate_update_target",
         "mixed_project_scopes",
+        "update_target_type_mismatch",
         "invalid_evidence",
         "invalid_flags",
         "invalid_type",

{memleaf-0.2.6 → memleaf-0.2.7}/src/memleaf/hermes_provider/plugin.yaml

@@ -1,5 +1,5 @@
 name: memleaf
-version: 0.2.6
+version: 0.2.7
 description: "Hermes-native external MemoryProvider for local-first Markdown memory shared with the memleaf MCP server."
 hooks:
   - prefetch

{memleaf-0.2.6 → memleaf-0.2.7}/src/memleaf/processing.py

@@ -32,6 +32,7 @@ from .models import Memory, utc_now
 from .native_index import NativeIndexer
 from .prompts import (
     DUPLICATE_TARGET_CORRECTION,
+    GATE_TYPE_CORRECTION,
     JSON_CORRECTION,
     MIXED_PROJECT_SCOPES_CORRECTION,
     RELATIVE_TIME_CORRECTION,
@@ -39,6 +40,7 @@ from .prompts import (
     SUMMARY_TARGET_CORRECTION,
     SUMMARY_TYPE_CORRECTION,
     SUMMARIZE_SYSTEM,
+    UPDATE_TARGET_TYPE_CORRECTION,
     gate_prompt,
     summarize_prompt,
 )
@@ -482,6 +484,10 @@ class Processor:
             return DUPLICATE_TARGET_CORRECTION
         if hint == "mixed_project_scopes":
             return MIXED_PROJECT_SCOPES_CORRECTION
+        if stage == "gate" and hint == "update_target_type_mismatch":
+            return UPDATE_TARGET_TYPE_CORRECTION
+        if stage == "gate" and hint == "invalid_type":
+            return GATE_TYPE_CORRECTION
         if hint == "relative_time":
             return RELATIVE_TIME_CORRECTION
         if stage == "summarize" and hint == "invalid_update_target":

{memleaf-0.2.6 → memleaf-0.2.7}/src/memleaf/prompts.py

@@ -34,6 +34,11 @@ useful. Related active memories only identify a complete duplicate or valid
 state-update target; they are not current evidence and cannot make a non-worthy
 operational/test result worthy. Their item, body, and serialized-character
 context is bounded; ellipses and omissions do not prove a fact is absent.
+An update target's existing type is immutable: when the same future use is being
+updated, candidate type must exactly equal the related active target type. If a
+fact serves a different future use, do not force it onto that target; omit
+update_memory_id and emit a separate atomic candidate, or use worth=false when
+it is already covered or only temporary.
 Within one gate response, each active memory target may appear at most once
 across all candidates, whether it is named by duplicate_memory_id or
 update_memory_id. If multiple facts share one future-use/update target, merge
@@ -241,6 +246,27 @@ RELATIVE_TIME_CORRECTION = (
 )
 
 
+GATE_TYPE_CORRECTION = (
+    "Previous output violated: invalid_type. In gate output, whenever type is "
+    "non-null it must be exactly one of preference, fact, project, todo, event, "
+    "identity, or other. worth=true requires a non-null legal type; worth=false "
+    "may use null or any of those legal types (for example, a duplicate candidate "
+    "may retain its type). Do not invent enum values such as requirement, "
+    "decision, or task. Return only the strict gate JSON object."
+)
+
+
+UPDATE_TARGET_TYPE_CORRECTION = (
+    "Previous output violated: update_target_type_mismatch. An existing active "
+    "update target's type is immutable. For the same future-use topic, set the "
+    "candidate type exactly equal to the supplied related target type. For a "
+    "different future use, remove update_memory_id and emit a separate atomic "
+    "candidate, or set worth=false if it is already covered or only temporary. "
+    "Use only a supplied related active ID; never guess, use native/history IDs, "
+    "or force a cross-purpose update. Return only the strict gate JSON object."
+)
+
+
 MIXED_PROJECT_SCOPES_CORRECTION = (
     "Previous output violated: mixed_project_scopes. Keep each worthy "
     "candidate and summary atomic: it may contain at most one distinct "

{memleaf-0.2.6 → memleaf-0.2.7}/src/memleaf/validation.py

@@ -53,6 +53,7 @@ MODEL_VALIDATION_DETAILS = frozenset(
         "duplicate_candidate_id",
         "duplicate_update_target",
         "mixed_project_scopes",
+        "update_target_type_mismatch",
         "invalid_evidence",
         "invalid_flags",
         "invalid_type",
@@ -540,7 +541,7 @@ def validate_gate_output(
             if target_type is not None and candidate_type != target_type:
                 raise ModelOutputError(
                     "candidate type does not match update target",
-                    validation_detail="invalid_type",
+                    validation_detail="update_target_type_mismatch",
                 )
             item["update_memory_id"] = update_id
         for target_field in ("duplicate_memory_id", "update_memory_id"):

{memleaf-0.2.6 → memleaf-0.2.7/src/memleaf.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: memleaf
-Version: 0.2.6
+Version: 0.2.7
 Summary: A local-first Markdown memory core for AI agents
 Author: memleaf contributors
 License-Expression: MIT
@@ -23,8 +23,8 @@ Dynamic: license-file
 
 [English](README.en.md) · [PyPI](https://pypi.org/project/memleaf/) · [GitHub](https://github.com/miffyblueboo/memleaf)
 
-> **当前版本：0.2.6。**
-> 核心库、Vault、stdio MCP Server、初始化 CLI、模型路由、提炼流程、受控检索协议和宿主适配器已经实现。memleaf 0.2.6 通过 PyPI 分发。
+> **当前版本：0.2.7。**
+> 核心库、Vault、stdio MCP Server、初始化 CLI、模型路由、提炼流程、受控检索协议和宿主适配器已经实现。memleaf 0.2.7 通过 PyPI 分发。
 > **当前版本支持 Hermes 和 Codex。** Antigravity（反重力）不检测、不安装、不配置。
 
 ## 项目定位

{memleaf-0.2.6 → memleaf-0.2.7}/tests/test_hermes_provider.py

@@ -1751,6 +1751,23 @@ class HermesProviderTests(unittest.TestCase):
         self.assertIsNotNone(fields)
         self.assertEqual(fields[4], "mixed_project_scopes")
 
+    def test_update_target_type_validation_detail_is_preserved(self) -> None:
+        value = {
+            "isError": True,
+            "structuredContent": {
+                "error": {
+                    "code": "model_invalid_response",
+                    "stage": "gate",
+                    "validation_reason": "schema_violation",
+                    "validation_detail": "update_target_type_mismatch",
+                    "attempt_count": 3,
+                }
+            },
+        }
+        fields = provider_module._mcp_error_fields(value)
+        self.assertIsNotNone(fields)
+        self.assertEqual(fields[4], "update_target_type_mismatch")
+
     def test_relative_time_validation_detail_is_preserved_and_logged(self) -> None:
         value = {
             "isError": True,

{memleaf-0.2.6 → memleaf-0.2.7}/tests/test_pypi_install.py

@@ -39,7 +39,7 @@ class PyPIInstallTests(unittest.TestCase):
 
             self.assertTrue(target.is_dir())
             self.assertFalse(target.is_symlink())
-            self.assertIn("version: 0.2.6", (target / "plugin.yaml").read_text(encoding="utf-8"))
+            self.assertIn("version: 0.2.7", (target / "plugin.yaml").read_text(encoding="utf-8"))
 
     def test_windows_hermes_paths_follow_official_native_layout(self) -> None:
         with tempfile.TemporaryDirectory(prefix="memleaf-win-paths-") as temporary:

{memleaf-0.2.6 → memleaf-0.2.7}/tests/test_stage_b1.py

@@ -11,12 +11,14 @@ from memleaf.config import default_config, load_config, save_config
 from memleaf.inbox import complete_turns, parse_inbox
 from memleaf.prompts import (
     DUPLICATE_TARGET_CORRECTION,
+    GATE_TYPE_CORRECTION,
     GATE_SYSTEM,
     MIXED_PROJECT_SCOPES_CORRECTION,
     RELATIVE_TIME_CORRECTION,
     SUMMARY_TARGET_CORRECTION,
     SUMMARY_TYPE_CORRECTION,
     SUMMARIZE_SYSTEM,
+    UPDATE_TARGET_TYPE_CORRECTION,
     gate_prompt,
     summarize_prompt,
 )
@@ -1100,6 +1102,20 @@ class ValidationTest(unittest.TestCase):
             ]
         }
         self.assertEqual(len(parse_gate_output(json.dumps(valid), ["event-a"])["candidates"]), 3)
+        nonworthy_with_type = dict(
+            base,
+            candidate_id="duplicate-observation",
+            duplicate=True,
+            worth=False,
+            type="fact",
+        )
+        self.assertEqual(
+            parse_gate_output(
+                json.dumps({"candidates": [nonworthy_with_type]}),
+                ["event-a"],
+            )["candidates"][0]["type"],
+            "fact",
+        )
         self.assertIsNone(ModelOutputError("secret", validation_detail="not-a-detail").validation_detail)
 
     def test_gate_rejects_reused_active_target_and_checks_target_type(self):
@@ -1137,7 +1153,28 @@ class ValidationTest(unittest.TestCase):
                 related_memory_ids=["mem-target"],
                 related_memory_types={"mem-target": "fact"},
             )
-        self.assertEqual(raised.exception.validation_detail, "invalid_type")
+        self.assertEqual(raised.exception.validation_detail, "update_target_type_mismatch")
+
+    def test_gate_update_target_type_mismatch_has_dedicated_detail(self):
+        candidate = {
+            "candidate_id": "wrong-target-type",
+            "memory": "A project update",
+            "evidence_event_ids": ["event-a"],
+            "duplicate": False,
+            "worth": True,
+            "type": "project",
+            "scopes": ["global"],
+            "scope_source": "model",
+            "update_memory_id": "mem-fact",
+        }
+        with self.assertRaises(ModelOutputError) as raised:
+            parse_gate_output(
+                json.dumps({"candidates": [candidate]}),
+                current_event_keys=["event-a"],
+                related_memory_ids=["mem-fact"],
+                related_memory_types={"mem-fact": "fact"},
+            )
+        self.assertEqual(raised.exception.validation_detail, "update_target_type_mismatch")
 
     def test_summary_constraints_preserve_gate_target_and_type(self):
         summary = {
@@ -1180,6 +1217,11 @@ class ValidationTest(unittest.TestCase):
         self.assertIn("only once", DUPLICATE_TARGET_CORRECTION.lower())
         self.assertIn("immutable", SUMMARY_TARGET_CORRECTION.lower())
         self.assertIn("exactly equal", SUMMARY_TYPE_CORRECTION.lower())
+        self.assertIn("invalid_type", GATE_TYPE_CORRECTION)
+        self.assertIn("worth=false", GATE_TYPE_CORRECTION)
+        self.assertIn("may use null or any of those legal types", GATE_TYPE_CORRECTION)
+        self.assertIn("update_target_type_mismatch", UPDATE_TARGET_TYPE_CORRECTION)
+        self.assertIn("immutable", UPDATE_TARGET_TYPE_CORRECTION.lower())
 
     def test_correction_prompt_explains_project_scope_atomicity(self):
         self.assertIn("mixed_project_scopes", MIXED_PROJECT_SCOPES_CORRECTION)
@@ -1197,6 +1239,17 @@ class ValidationTest(unittest.TestCase):
             "duplicate_update_target",
         )
 
+    def test_mcp_model_diagnostics_preserve_update_target_type_detail(self):
+        error = ModelOutputError(
+            "safe",
+            validation_reason="schema_violation",
+            validation_detail="update_target_type_mismatch",
+        )
+        self.assertEqual(
+            _safe_model_diagnostics(error)["validation_detail"],
+            "update_target_type_mismatch",
+        )
+
     def test_strict_json_rejects_fences_tail_and_summary_requires_atomic_fields(self):
         for raw in ("```json\n{\"candidates\":[]}\n```", '{"candidates":[]} trailing'):
             with self.assertRaises(ModelOutputError):

{memleaf-0.2.6 → memleaf-0.2.7}/tests/test_stage_b2a.py

@@ -725,11 +725,102 @@ class StageB2ATest(unittest.TestCase):
         self.assertEqual(result["processed_turns"], 1)
         self.assertEqual(result["memories_written"], 1)
         self.assertEqual([call["purpose"] for call in backend.calls], ["gate", "gate", "summarize", "summarize"])
-        self.assertIn("Previous output violated: invalid_type.", backend.calls[1]["prompt"])
+        self.assertIn("Previous output violated: update_target_type_mismatch.", backend.calls[1]["prompt"])
+        self.assertIn("existing active update target's type is immutable", backend.calls[1]["prompt"])
         self.assertIn("Previous output violated: invalid_type.", backend.calls[3]["prompt"])
         self.assertEqual(service.read(existing.memory_id).body, "The fact is updated.")
         self.assertEqual(len(service.vault.list_markdown("history")), 1)
 
+    def test_different_future_use_omits_update_target_and_creates_independent_memory(self):
+        backend = QueueBackend()
+        service = self.service(backend, name="independent-future-use")
+        existing = service.create_memory(
+            memory_id="mem-existing-fact",
+            title="Existing fact",
+            body="The existing fact remains unchanged.",
+            type="fact",
+            scopes=["global"],
+        )
+        user_key, _ = self.capture_turn(
+            service,
+            turn="independent-future-use",
+            user_event="independent-future-use-user",
+            assistant_event="independent-future-use-assistant",
+            user="A separate project needs a deployment checklist.",
+            assistant="The checklist is a new future action.",
+        )
+        candidate = self.candidate(
+            "independent-project-todo",
+            [user_key],
+            memory="Prepare a deployment checklist for a separate project.",
+            type="todo",
+        )
+        candidate["scopes"] = ["project:separate"]
+        backend.responses.extend(
+            [
+                self.gate([candidate]),
+                self.summary(
+                    user_key,
+                    title="Deployment checklist",
+                    body="Prepare a deployment checklist for a separate project.",
+                    type="todo",
+                    scopes=["project:separate"],
+                    status="active",
+                ),
+            ]
+        )
+
+        result = service.process()
+
+        self.assertEqual(result["memories_written"], 1)
+        self.assertEqual(service.read(existing.memory_id).body, existing.body)
+        self.assertEqual(len(service.vault.list_markdown("history")), 0)
+        active = self.knowledge(service)
+        self.assertEqual(len(active), 2)
+        independent = next(record.memory for record in active if record.memory.memory_id != existing.memory_id)
+        self.assertEqual(independent.type, "todo")
+        self.assertEqual(independent.scopes, ["project:separate"])
+
+    def test_three_gate_update_target_type_mismatches_keep_queue_and_write_nothing(self):
+        backend = QueueBackend()
+        service = self.service(backend, name="update-target-type-failure")
+        existing = service.create_memory(
+            memory_id="mem-fact-target",
+            title="Existing fact",
+            body="The existing fact.",
+            type="fact",
+            scopes=["global"],
+        )
+        user_key, _ = self.capture_turn(
+            service,
+            turn="update-target-type-failure",
+            user_event="update-target-type-failure-user",
+            assistant_event="update-target-type-failure-assistant",
+        )
+        wrong_gate = self.candidate(
+            "wrong-target-type",
+            [user_key],
+            memory="A project update forced onto a fact target.",
+            type="project",
+            update_memory_id=existing.memory_id,
+        )
+        backend.responses.extend([self.gate([wrong_gate])] * 3)
+
+        with self.assertRaises(ModelOutputError) as raised:
+            service.process()
+
+        self.assertEqual(raised.exception.validation_detail, "update_target_type_mismatch")
+        self.assertEqual(raised.exception.stage, "gate")
+        self.assertEqual(raised.exception.attempt_count, 3)
+        marker = self.processed(service)["sessions"]["codex/s"]["processing"]
+        self.assertEqual(marker["failure_stage"], "gate")
+        self.assertEqual(marker["validation_detail"], "update_target_type_mismatch")
+        self.assertEqual(marker["attempt_count"], 3)
+        self.assertEqual(self.processed(service)["sessions"]["codex/s"].get("watermark", 0), 0)
+        self.assertTrue((service.vault.inbox_path / "codex" / "s.md").is_file())
+        self.assertEqual(service.read(existing.memory_id).body, existing.body)
+        self.assertEqual(service._read_memories_unlocked("history"), [])
+
     def test_mixed_project_summary_retries_before_writing(self):
         backend = QueueBackend()
         service = self.service(backend, name="mixed-summary-retry")
@@ -1184,6 +1275,7 @@ class StageB2ATest(unittest.TestCase):
 
         self.assertEqual(result["processed_turns"], 1)
         self.assertIn("Previous output violated: invalid_type.", backend.calls[1]["prompt"])
+        self.assertIn("whenever type is non-null", backend.calls[1]["prompt"])
         self.assertNotIn(secret, backend.calls[1]["prompt"])
 
     def test_empty_fenced_and_missing_gate_shapes_retry_once(self):

{memleaf-0.2.6 → memleaf-0.2.7}/tests/test_stage_c1_mcp.py

@@ -104,7 +104,7 @@ class StageC1MCPTest(unittest.TestCase):
         testcase.assertEqual(result["resultType"], "complete")
         testcase.assertEqual(
             result["_meta"]["io.modelcontextprotocol/serverInfo"],
-            {"name": "memleaf", "version": "0.2.6"},
+            {"name": "memleaf", "version": "0.2.7"},
         )
         return result
 

{memleaf-0.2.6 → memleaf-0.2.7}/tests/test_stage_c3_packaging.py

@@ -24,7 +24,7 @@ class StageC3PackagingTests(unittest.TestCase):
 
     def test_project_metadata_and_version_export(self) -> None:
         self.assertEqual(self.project["name"], "memleaf")
-        self.assertEqual(self.project["version"], "0.2.6")
+        self.assertEqual(self.project["version"], "0.2.7")
         self.assertEqual(self.project["requires-python"], ">=3.11")
         self.assertEqual(self.project["dependencies"], [])
         self.assertEqual(self.project["license"], "MIT")