memleaf 0.2.53__tar.gz → 0.2.54__tar.gz

{memleaf-0.2.53 → memleaf-0.2.54}/CHANGELOG.md

@@ -2,6 +2,14 @@
 
 All notable changes to memleaf are documented here.
 
+## 0.2.54 — 2026-09-14
+
+- Judge automatic memories by future reuse rather than speaker identity. Visible assistant final reports may establish facts learned from external sources, while transient tool failures, one-time fallbacks and routine checks with no issue or follow-up are `no_future_value`. The B3 system prompt and compact contract were rewritten rather than extended: together they shrink from 9469 to 9331 bytes, and the normal path still uses one model request.
+- Reject an unrelated `NO_CHANGE` target before it can enter durable audit state. B3 previously verified only that the selected ID existed in the local catalog; it now compares the candidate's exact cited span with the target title/body using source-neutral lexical anchors. An unproven relation defers only that candidate as `target_ambiguous`, without adding a model call or failing valid siblings. Long multi-topic whole-unit claims are likewise too broad to authorize `NO_CHANGE`.
+- Keep dates candidate-local and stop treating `本周日报` as `本周日` plus `报`. Date grounding now uses the candidate's exact validated quote and matching event timestamp instead of the whole assistant reply, so one mail item's date cannot authorize another memory. The relative-date tokenizer preserves `本周日报` and `下周日报`, while the existing `本周日` and `下周日` conversions remain intact.
+
+Verification for this release used a temporary focused regression module and no model call or production Vault write. Nine tests pass for unrelated and related `NO_CHANGE` targets, Chinese subjects, identifiers and numeric codes, long whole-unit deferral, assistant-reported future-use todos, execution-noise disposition, candidate-local date grounding, and the `本周日报`/`本周日` boundary. The three changed modules compile under Python 3.11, `git diff --check` passes, and no real-model adherence or installed-Hermes replay is claimed.
+
 ## 0.2.53 — 2026-09-13
 
 - Keep the memory when only the project name is unproven. A real turn was lost in full because of one word: the user wrote "在弄个记账的小玩意儿，就扔家里那台 N100 上跑，没打算上云", the model named the project `project:记账小玩意儿` -- the user's phrase with 的 removed -- and Core refuses a project scope whose name is not in the candidate's own evidence. That refusal discarded the whole candidate, so the N100 deployment and the no-cloud decision went with the unproven name, leaving three evidence units unresolved and nothing written. The memory was grounded; only the affiliation was not. The claim is now dropped and the memory kept with `global`, which asserts no ownership and loses no source-backed content. The refusal itself is unchanged: Core still never records a project it cannot ground.

{memleaf-0.2.53/src/memleaf.egg-info → memleaf-0.2.54}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: memleaf
-Version: 0.2.53
+Version: 0.2.54
 Summary: A local-first Markdown memory core for AI agents
 Author: memleaf contributors
 License-Expression: MIT
@@ -23,7 +23,7 @@ Dynamic: license-file
 
 [English](README.en.md) · [PyPI](https://pypi.org/project/memleaf/) · [GitHub](https://github.com/miffyblueboo/memleaf)
 
-> **版本：0.2.53。**
+> **版本：0.2.54。**
 > 记忆只从用户与 Agent 的可见对话提炼。Agent 已在回复中整理的事实、项目进展和明确待办可作为来源；邮件、附件、网页和终端等工具原文不进入记忆提炼。模型负责保留原话中的不确定性，现有记忆仅用于比较、去重和更新。Markdown 仍是唯一事实源。
 > **当前版本支持 Hermes 和 Codex。** Antigravity（反重力）不检测、不安装、不配置。
 

{memleaf-0.2.53 → memleaf-0.2.54}/README.en.md

@@ -4,7 +4,7 @@
 
 [中文](README.md) · [PyPI](https://pypi.org/project/memleaf/) · [GitHub](https://github.com/miffyblueboo/memleaf)
 
-> **Version: 0.2.53.**
+> **Version: 0.2.54.**
 > Automatic extraction now uses only the current turn's visible user input and final assistant reply. Raw tool output, attachments, web/file/terminal payloads and legacy tool-evidence bodies are not new source evidence; existing or retrieved memory remains comparison context rather than source authority. Background processing is persisted as a local job and can be checked through the read-only `process_status` MCP tool; failed work remains retryable and fail closed. The release also tightens source/date grounding, target reconciliation, duplicate/no-op handling and semantic review before writes. Markdown remains the sole source of truth with no SQLite runtime dependency. Acceptance covers deterministic regression suites and synthetic inputs; it does not claim real-mail or customer-business acceptance.
 > **The current release supports Hermes and Codex.** Antigravity is not detected, installed, or configured.
 

{memleaf-0.2.53 → memleaf-0.2.54}/README.md

@@ -4,7 +4,7 @@
 
 [English](README.en.md) · [PyPI](https://pypi.org/project/memleaf/) · [GitHub](https://github.com/miffyblueboo/memleaf)
 
-> **版本：0.2.53。**
+> **版本：0.2.54。**
 > 记忆只从用户与 Agent 的可见对话提炼。Agent 已在回复中整理的事实、项目进展和明确待办可作为来源；邮件、附件、网页和终端等工具原文不进入记忆提炼。模型负责保留原话中的不确定性，现有记忆仅用于比较、去重和更新。Markdown 仍是唯一事实源。
 > **当前版本支持 Hermes 和 Codex。** Antigravity（反重力）不检测、不安装、不配置。
 

{memleaf-0.2.53 → memleaf-0.2.54}/pyproject.toml

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

{memleaf-0.2.53 → memleaf-0.2.54}/src/memleaf/__init__.py

@@ -1,6 +1,6 @@
 """Local-first Markdown memory core for AI agents."""
 
-__version__ = "0.2.53"
+__version__ = "0.2.54"
 
 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.53 → memleaf-0.2.54}/src/memleaf/hermes_provider/plugin.yaml

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

{memleaf-0.2.53 → memleaf-0.2.54}/src/memleaf/single_pass_memory_planner.py

@@ -53,6 +53,44 @@ def _drop_ungrounded_project_scopes(scopes: Iterable[Any]) -> list[str]:
     return kept or ["global"]
 
 
+def _claim_date_evidence(
+    claims: Iterable[Mapping[str, Any]],
+    by_unit: Mapping[str, Any],
+    events: Iterable[Mapping[str, Any]],
+) -> list[dict[str, Any]]:
+    """Project dates from this candidate's exact validated quotes only."""
+
+    event_by_key = {
+        event.get("event_key"): event
+        for event in events
+        if isinstance(event, Mapping) and isinstance(event.get("event_key"), str)
+    }
+    result: list[dict[str, Any]] = []
+    seen: set[tuple[str, str]] = set()
+    for claim in claims:
+        if not isinstance(claim, Mapping):
+            continue
+        unit_id = claim.get("unit_id")
+        quote = claim.get("quote")
+        unit = by_unit.get(unit_id) if isinstance(unit_id, str) else None
+        if not isinstance(quote, str) or unit is None:
+            continue
+        event = event_by_key.get(getattr(unit, "event_key", None))
+        if event is None or getattr(unit, "source_role", None) not in {"user", "assistant"}:
+            continue
+        identity = (unit_id, quote)
+        if identity in seen:
+            continue
+        seen.add(identity)
+        result.append({
+            "event_key": getattr(unit, "event_key", None),
+            "role": getattr(unit, "source_role", None),
+            "timestamp": event.get("timestamp"),
+            "content": quote,
+        })
+    return result
+
+
 class SinglePassMemoryPlanner(MemoryPlanner):
     """One semantic model call for an ordinary automatic turn."""
 
@@ -500,7 +538,8 @@ class SinglePassMemoryPlanner(MemoryPlanner):
                 event["event_key"] for event in admitted_events
                 if isinstance(event, Mapping) and isinstance(event.get("event_key"), str)
             ))
-            grounded_dates = _grounded_due_dates(turn, evidence_events=admitted_events)
+            candidate_date_evidence = _claim_date_evidence(claims, by_unit, events)
+            grounded_dates = _grounded_due_dates(turn, evidence_events=candidate_date_evidence)
             summary = dict(proposed)
             if decision == "UPDATE" and target_memory is not None:
                 summary.setdefault("title", target_memory.title)
@@ -543,8 +582,7 @@ class SinglePassMemoryPlanner(MemoryPlanner):
                 parsed,
                 grounded_dates=grounded_dates,
                 source_texts=[
-                    event.get("content", "") for event in admitted_events
-                    if isinstance(event, Mapping) and event.get("role") in {"user", "assistant"}
+                    event.get("content", "") for event in candidate_date_evidence
                 ],
                 preserved_texts=(
                     target_memory.title,

{memleaf-0.2.53 → memleaf-0.2.54}/src/memleaf/single_pass_plan.py

@@ -9,6 +9,7 @@ from __future__ import annotations
 
 import json
 import re
+import unicodedata
 from copy import deepcopy
 from decimal import Decimal, InvalidOperation
 from collections.abc import Callable, Iterable, Mapping, Sequence
@@ -95,6 +96,24 @@ _DECISION_OPTIONAL_FIELDS = {
 _LEGACY_REDUNDANT_ITEM_FIELDS = frozenset({"sources", "update_memory_id"})
 _LEGACY_REDUNDANT_MEMORY_FIELDS = frozenset({"type", "scopes", "scope_source", "sources", "update_memory_id"})
 _B3_REPAIR_MAX_BYTES = 64 * 1024
+_TARGET_SENTENCE_SPLIT = re.compile(r"[\r\n。！？!?；;]+")
+_TARGET_ASCII_ANCHOR = re.compile(r"[a-z0-9]+(?:[._/-][a-z0-9]+)*")
+_TARGET_CJK_RUN = re.compile(r"[\u3400-\u4dbf\u4e00-\u9fff\uf900-\ufaff]+")
+_TARGET_DATE_ANCHOR = re.compile(
+    r"(?<![a-z0-9])(?:\d{4}[-/.年]\d{1,2}[-/.月]\d{1,2}日?)(?![a-z0-9])"
+)
+_TARGET_GENERIC_CJK_BIGRAMS = frozenset({
+    "用户", "我们", "他们", "自己", "要求", "需要", "应该", "可以", "如果", "因为",
+    "所以", "没有", "不是", "已经", "目前", "现在", "相关", "问题", "情况", "项目",
+    "一个", "一些", "这个", "那个", "内容", "事情", "工作", "处理", "本次", "通过",
+    "根据", "后续", "其他", "结果", "暂时", "异常", "注意", "确认", "完成", "说明",
+    "状态", "新增", "进行", "是否", "可能", "所有", "每个", "提供", "发生",
+})
+_TARGET_GENERIC_CJK_PHRASES = frozenset({
+    "用户要求", "后续需要", "需要确认", "目前没有", "没有问题", "没有异常", "无异常情况",
+    "项目相关", "相关项目", "进行处理", "重要内容", "邮件内容", "本次处理", "需要进一步",
+    "工作内容", "结果如下", "如何处理", "用户需要", "继续跟进", "确认状态", "是否需要",
+})
 
 
 def _enum_text(values: Iterable[str]) -> str:
@@ -109,7 +128,7 @@ UPDATE exactly requires candidate_id,decision,evidence,target_memory_id,memory;
 NO_CHANGE exactly requires candidate_id,decision,evidence,target_memory_id.
 DEFERRED exactly requires candidate_id,decision,evidence,reason; reason={_enum_text(_DEFER_REASONS)}.
 Memory allowed only: title,body,tags,aliases,keywords,status,completed_at,due_date,shadow_native_ids. status={_enum_text(TODO_STATUSES)}. status,completed_at,due_date are todo-only: omit all three for every other type. A todo UPDATE must restate its current status; status=completed requires completed_at and completed_at requires status=completed. Never put type,scopes,scope_source,sources,update_memory_id in memory.
-Evidence is a NONEMPTY ARRAY of claims, never one bare claim object. Each claim is exactly one of: {{unit_id,quote,role}} OR {{unit_id,whole_unit:true,role}} OR {{unit_id,start,end,quote,role}}. role={_enum_text(_EVIDENCE_ROLES)}. Offsets are start-inclusive/end-exclusive and text[start:end]==quote; quote-only must occur exactly once; user_confirmation must cite user evidence.
+Evidence is a NONEMPTY ARRAY of claims, never one bare claim object. Each claim is exactly one of: {{unit_id,quote,role}} OR {{unit_id,whole_unit:true,role}} OR {{unit_id,start,end,quote,role}}. role={_enum_text(_EVIDENCE_ROLES)}. Offsets are start-inclusive/end-exclusive and text[start:end]==quote; quote-only must occur exactly once; user_confirmation must cite user evidence. Prefer the shortest exact quote; for a long reply with several facts, avoid whole_unit when a specific span suffices.
 NoMemory row exactly {{unit_id,reason}}; reason={_enum_text(_NO_MEMORY_REASONS)}.
 Every current_evidence unit must be claimed by >=1 item OR appear exactly once in no_memory, never both and never omitted. One evidence unit may support multiple independent items.
 CREATE/UPDATE/NO_CHANGE require lookup_complete=true. UPDATE/NO_CHANGE target only local_memory_catalog; a target may be used once: when several changes touch one target, emit ONE UPDATE carrying their merged current state, never several items for the same target.
@@ -120,11 +139,10 @@ Return one JSON object only. No Markdown, explanation, or reasoning."""
 SINGLE_PASS_SYSTEM = f"""You are memleaf's single-pass memory planner.
 
 SOURCE
-Only current_evidence may establish new facts or changes. local_memory_catalog and native_memory_catalog are comparison context; native memory is never an UPDATE/NO_CHANGE target. Never invent source facts, ownership, dates, status, obligations, numbers, relationships or IDs.
-An assistant message is evidence of what you reported, never of what the user wants. It may organise, restate or report what the user's own evidence establishes, but it may never be the only support for a durable claim. When it states something the user's message does not establish -- your own decision, requirement, rule, plan, recommendation or added detail -- record nothing from that statement, however definite it sounds. Consequences you derived from a user preference are yours, not the user's: never record them as a requirement or as project state. Only something the user stated or accepted becomes memory.
+Use current_evidence only. User messages and assistant final reports may support facts, including facts obtained from external sources. Do not turn your own advice, plans or inferences into user intent unless accepted. Never invent facts, dates, numbers, ownership or IDs. local_memory_catalog is comparison context; native memory is never an UPDATE/NO_CHANGE target.
 
 TASK
-Extract every independently useful long-term memory. Keep independently retrievable/updateable topics separate and preserve entity, condition, polarity, uncertainty, ownership, state and meaning-critical numbers/codes. CREATE only when no supplied local memory represents the durable information; UPDATE only when current evidence proves a change to one supplied local memory; NO_CHANGE only when it adds no semantic change; DEFERRED for a durable candidate that cannot safely reach a terminal decision. Project ownership and platform/system names are separate judgments. Do not turn every negation into no_memory and do not use NO_CHANGE to hide ambiguity.
+Keep independently retrievable facts useful for future answers, actions, commitments, status tracking or avoiding repeated research. Prefer stable facts, decisions, open work and deadlines; skip transient tool/execution failures, one-time fallbacks and routine checks with no issue or follow-up (no_future_value). Preserve future-use facts in final reports and keep independent topics separate. Preserve entity, condition, polarity, uncertainty, ownership, state and meaning-critical numbers/codes. CREATE only if no local memory represents the information; UPDATE only for a proven change to one target; NO_CHANGE only for the same future-use item with no semantic change; DEFERRED for an unsafe terminal decision. Scope ownership separately from platform/system names. Do not use NO_CHANGE to hide ambiguity.
 
 SCOPES
 Legal values: global | domain:<name> | portfolio:<name> | project:<name> | unscoped. scopes is a nonempty array; at most one project:<name> per memory; unscoped must be the only value, and Core then records insufficient_context.
@@ -420,6 +438,71 @@ def _canonical_target(raw: Any, local_by_key: Mapping[str, Mapping[str, Any]]) -
     return target["memory_id"], target
 
 
+def _target_anchor_sets(text: str) -> tuple[set[str], set[str]]:
+    normalized = unicodedata.normalize("NFKC", text).casefold()
+    without_dates = _TARGET_DATE_ANCHOR.sub(" ", normalized)
+    ascii_anchors = {
+        token for token in _TARGET_ASCII_ANCHOR.findall(without_dates)
+        if len(token) >= 3 or (token.isdigit() and len(token) >= 2)
+    }
+    cjk_anchors: set[str] = set()
+    for run in _TARGET_CJK_RUN.findall(normalized):
+        cjk_anchors.update(
+            run[index:index + 2]
+            for index in range(len(run) - 1)
+            if run[index:index + 2] not in _TARGET_GENERIC_CJK_BIGRAMS
+        )
+    return ascii_anchors, cjk_anchors
+
+
+def _target_is_same_future_use(
+    target: Mapping[str, Any], claims: Iterable[Mapping[str, Any]],
+) -> bool:
+    """Check a NO_CHANGE target against this candidate's exact cited text."""
+
+    target_units = [
+        part.strip()
+        for value in (target.get("title"), target.get("body"))
+        if isinstance(value, str)
+        for part in _TARGET_SENTENCE_SPLIT.split(value)
+        if part.strip()
+    ]
+    for claim in claims:
+        quote = claim.get("quote")
+        if not isinstance(quote, str) or not quote.strip():
+            continue
+        for quote_unit in (part.strip() for part in _TARGET_SENTENCE_SPLIT.split(quote) if part.strip()):
+            quote_ascii, quote_cjk = _target_anchor_sets(quote_unit)
+            for target_unit in target_units:
+                target_ascii, target_cjk = _target_anchor_sets(target_unit)
+                shared_ascii = quote_ascii & target_ascii
+                shared_cjk = quote_cjk & target_cjk
+                shared_numbers = {token for token in shared_ascii if token.isdigit()}
+                shared_identifiers = {token for token in shared_ascii if not token.isdigit()}
+                strong_identifiers = {
+                    token for token in shared_identifiers
+                    if len(token) >= 6 or any(char.isdigit() for char in token)
+                }
+                if len(strong_identifiers) >= 2 or (
+                    strong_identifiers and (shared_cjk or len(shared_identifiers) >= 2)
+                ):
+                    return True
+                if any(len(token) >= 5 for token in shared_numbers) and (
+                    shared_cjk or shared_identifiers
+                ):
+                    return True
+                if len(shared_cjk) < 2:
+                    continue
+                overlap = len(shared_cjk) / min(len(quote_cjk), len(target_cjk))
+                compact = "".join(
+                    char for char in unicodedata.normalize("NFKC", quote_unit).casefold()
+                    if char.isalnum()
+                )
+                if overlap >= 0.28 and compact not in _TARGET_GENERIC_CJK_PHRASES:
+                    return True
+    return False
+
+
 MemoryValidator = Callable[
     [str, str, str | None, Mapping[str, Any] | None, Mapping[str, Any], list[dict[str, Any]], Mapping[str, Any]],
     Mapping[str, Any],
@@ -498,6 +581,8 @@ def parse_single_pass_output(
     binding_rows: list[dict[str, Any]] = []
     prepared: list[tuple[dict[str, Any], Mapping[str, Any] | None]] = []
     forced_defer: dict[str, str] = {}
+    broad_whole_unit_no_change: set[str] = set()
+    unit_by_id = {getattr(unit, "unit_id", None): unit for unit in source_units}
 
     for item_index, raw_item in enumerate(items):
         item_path = f"items[{item_index}]"
@@ -579,6 +664,16 @@ def parse_single_pass_output(
                 path=f"{item_path}.evidence", rule="type", actual=claims,
                 expected_type="array",
             )
+        if decision == "NO_CHANGE" and any(
+            isinstance(claim, Mapping)
+            and claim.get("whole_unit") is True
+            and len(getattr(unit_by_id.get(claim.get("unit_id")), "text", "")) > 512
+            for claim in claims
+        ):
+            # A whole long reply can contain many independent topics. It is
+            # insufficient proof that one selected old memory covers this
+            # candidate; ask for a narrow claim on a later bounded pass.
+            broad_whole_unit_no_change.add(candidate_key)
         binding_rows.append({"candidate_id": candidate_id, "claims": claims})
 
         target_record: Mapping[str, Any] | None = None
@@ -790,7 +885,27 @@ def parse_single_pass_output(
                 normalized["target_memory_id"] = target_id
                 normalized["memory"] = dict(validated)
             elif decision == "NO_CHANGE":
-                normalized["target_memory_id"] = item["target_memory_id"]
+                if (
+                    candidate_id.casefold() in broad_whole_unit_no_change
+                    or not isinstance(target_record, Mapping)
+                    or not _target_is_same_future_use(
+                        target_record, evidence
+                    )
+                ):
+                    normalized = {
+                        "candidate_id": candidate_id,
+                        "decision": "DEFERRED",
+                        "reason": "target_ambiguous",
+                        "evidence": evidence,
+                    }
+                    if deferrals is not None:
+                        deferrals.append({
+                            "candidate_id": candidate_id,
+                            "reason": "target_ambiguous",
+                            "detail": "target_relevance_unproven",
+                        })
+                else:
+                    normalized["target_memory_id"] = item["target_memory_id"]
             else:
                 normalized["reason"] = item["reason"]
         except ModelOutputError as error:

{memleaf-0.2.53 → memleaf-0.2.54}/src/memleaf/validation.py

@@ -344,7 +344,7 @@ _RELATIVE_DATE_TOKEN = (
     r"(?<![A-Za-z])(?:today|tomorrow|yesterday)(?![A-Za-z])"
     r"|(?<![A-Za-z])(?:this|next|last)\s+(?:monday|tuesday|wednesday|thursday|friday|saturday|sunday)(?![A-Za-z])"
     r"|(?:本|这|下|上)(?:个)?(?:周|星期|礼拜)\s*"
-    r"(?:(?:星期|礼拜)\s*)?(?:一|二|三|四|五|六|日|天|末|[1-7])"
+    r"(?:(?:星期|礼拜)\s*)?(?:一|二|三|四|五|六|天|末|[1-7]|日(?!报))"
     r"|(?:今天|明天|昨天|今日|明日|昨日)"
     r")"
 )

{memleaf-0.2.53 → memleaf-0.2.54/src/memleaf.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: memleaf
-Version: 0.2.53
+Version: 0.2.54
 Summary: A local-first Markdown memory core for AI agents
 Author: memleaf contributors
 License-Expression: MIT
@@ -23,7 +23,7 @@ Dynamic: license-file
 
 [English](README.en.md) · [PyPI](https://pypi.org/project/memleaf/) · [GitHub](https://github.com/miffyblueboo/memleaf)
 
-> **版本：0.2.53。**
+> **版本：0.2.54。**
 > 记忆只从用户与 Agent 的可见对话提炼。Agent 已在回复中整理的事实、项目进展和明确待办可作为来源；邮件、附件、网页和终端等工具原文不进入记忆提炼。模型负责保留原话中的不确定性，现有记忆仅用于比较、去重和更新。Markdown 仍是唯一事实源。
 > **当前版本支持 Hermes 和 Codex。** Antigravity（反重力）不检测、不安装、不配置。