eling 0.2.1__tar.gz → 0.2.2__tar.gz

{eling-0.2.1/src/eling.egg-info → eling-0.2.2}/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: eling
-Version: 0.2.1
-Summary: Unified second brain for AI agents — 5-tier memory, HRR reasoning, 9 MCP tools
+Version: 0.2.2
+Summary: Unified second brain for AI agents — 5-tier memory, HRR reasoning, 10 MCP tools, conditional verify-on-stop
 Author: PatrickNoFilter
 License: MIT
 Keywords: memory,mcp,ai-agent,second-brain,hrr
@@ -28,7 +28,7 @@ Dynamic: license-file
 
 # 🧠 Eling
 
-**Unified second brain for AI agents — 5-tier memory, HRR reasoning, 9 MCP tools**
+**Unified second brain for AI agents — 5-tier memory, HRR reasoning, 10 MCP tools, conditional verify-on-stop**
 
 *"Eling" (Javanese): to remember, to be conscious, to be aware*
 
@@ -66,6 +66,7 @@ All accessible via **9 MCP tools** from a single stdio server:
 | `eling_stats` | Show per-layer statistics |
 | `eling_think` | Synthesis + gap analysis across layers |
 | `eling_export` | Full brain export as JSON or Markdown |
+| `eling_verify` | Query/record verification status (conditional) |
 
 ## 🚀 Quick Start
 
@@ -200,6 +201,52 @@ print(result)  # {"layer": "notion", "page_id": "...", ...}
 
 > **Note**: `eling_reflect` and `remember(layer="notion")` check availability at call time and return a clear error if any config is missing — no silent failures.
 
+## 🛡️ Verify-on-Stop (Conditional)
+
+Eling provides **verify-on-stop** nudges for AI agents that lack built-in
+verification (e.g., OpenCode, OpenClaw, Cursor, Windsurf). When running under
+Hermes, this feature automatically **skips** — because Hermes already has its
+own `agent/verification_stop.py`.
+
+### How it works
+
+1. **Auto-detection** — Eling detects the host agent from environment variables
+   (`HERMES_SESSION_SOURCE` → Hermes, `OPENCODE_HOME` → OpenCode, etc.)
+2. **File edit tracking** — When code files are edited via hooks or MCP tools,
+   eling records them in a verification ledger
+3. **Verification nudge** — If code was edited but no passing tests/verification
+   was recorded, eling produces a `[System: ...]` nudge message
+4. **Recording** — Agents can call `eling_verify` MCP tool to record verification
+   results (`passed`, `failed`, `skipped`)
+
+### Usage via MCP
+
+```json
+// Query current status
+{ "method": "tools/call", "params": { "name": "eling_verify", "arguments": {} } }
+
+// Record a passing verification
+{ "method": "tools/call", "params": {
+    "name": "eling_verify",
+    "arguments": { "status": "passed", "command": "pytest", "output": "364 passed" }
+} }
+```
+
+### Config
+
+| Key | Default | Env | Description |
+|-----|---------|-----|-------------|
+| `verify_on_stop` | `true` | `ELING_VERIFY_ON_STOP` | Enable nudges for non-Hermes agents |
+| `verify_on_stop_max_attempts` | `2` | `ELING_VERIFY_MAX_ATTEMPTS` | Max nudges per session |
+| `adapter` | `hermes` | `ELING_ADAPTER` | Force adapter type |
+
+```yaml
+plugins:
+  eling:
+    adapter: auto       # auto-detect from env
+    verify_on_stop: true
+```
+
 ## 🏗️ Architecture
 
 ```

{eling-0.2.1 → eling-0.2.2}/README.md

@@ -2,7 +2,7 @@
 
 # 🧠 Eling
 
-**Unified second brain for AI agents — 5-tier memory, HRR reasoning, 9 MCP tools**
+**Unified second brain for AI agents — 5-tier memory, HRR reasoning, 10 MCP tools, conditional verify-on-stop**
 
 *"Eling" (Javanese): to remember, to be conscious, to be aware*
 
@@ -40,6 +40,7 @@ All accessible via **9 MCP tools** from a single stdio server:
 | `eling_stats` | Show per-layer statistics |
 | `eling_think` | Synthesis + gap analysis across layers |
 | `eling_export` | Full brain export as JSON or Markdown |
+| `eling_verify` | Query/record verification status (conditional) |
 
 ## 🚀 Quick Start
 
@@ -174,6 +175,52 @@ print(result)  # {"layer": "notion", "page_id": "...", ...}
 
 > **Note**: `eling_reflect` and `remember(layer="notion")` check availability at call time and return a clear error if any config is missing — no silent failures.
 
+## 🛡️ Verify-on-Stop (Conditional)
+
+Eling provides **verify-on-stop** nudges for AI agents that lack built-in
+verification (e.g., OpenCode, OpenClaw, Cursor, Windsurf). When running under
+Hermes, this feature automatically **skips** — because Hermes already has its
+own `agent/verification_stop.py`.
+
+### How it works
+
+1. **Auto-detection** — Eling detects the host agent from environment variables
+   (`HERMES_SESSION_SOURCE` → Hermes, `OPENCODE_HOME` → OpenCode, etc.)
+2. **File edit tracking** — When code files are edited via hooks or MCP tools,
+   eling records them in a verification ledger
+3. **Verification nudge** — If code was edited but no passing tests/verification
+   was recorded, eling produces a `[System: ...]` nudge message
+4. **Recording** — Agents can call `eling_verify` MCP tool to record verification
+   results (`passed`, `failed`, `skipped`)
+
+### Usage via MCP
+
+```json
+// Query current status
+{ "method": "tools/call", "params": { "name": "eling_verify", "arguments": {} } }
+
+// Record a passing verification
+{ "method": "tools/call", "params": {
+    "name": "eling_verify",
+    "arguments": { "status": "passed", "command": "pytest", "output": "364 passed" }
+} }
+```
+
+### Config
+
+| Key | Default | Env | Description |
+|-----|---------|-----|-------------|
+| `verify_on_stop` | `true` | `ELING_VERIFY_ON_STOP` | Enable nudges for non-Hermes agents |
+| `verify_on_stop_max_attempts` | `2` | `ELING_VERIFY_MAX_ATTEMPTS` | Max nudges per session |
+| `adapter` | `hermes` | `ELING_ADAPTER` | Force adapter type |
+
+```yaml
+plugins:
+  eling:
+    adapter: auto       # auto-detect from env
+    verify_on_stop: true
+```
+
 ## 🏗️ Architecture
 
 ```

{eling-0.2.1 → eling-0.2.2}/pyproject.toml

@@ -4,8 +4,8 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "eling"
-version = "0.2.1"
-description = "Unified second brain for AI agents — 5-tier memory, HRR reasoning, 9 MCP tools"
+version = "0.2.2"
+description = "Unified second brain for AI agents — 5-tier memory, HRR reasoning, 10 MCP tools, conditional verify-on-stop"
 readme = "README.md"
 license = {text = "MIT"}
 requires-python = ">=3.10"

{eling-0.2.1 → eling-0.2.2}/src/eling/__init__.py

@@ -1,16 +1,21 @@
 """Eling — unified second brain for AI agents.
 
 5-layer architecture: builtin / facts / kb / code / notion
+Features: HRR reasoning, gap analysis, Notion auto-sync, verify-on-stop.
 """
 
-__version__ = "0.2.1"
-__all__ = ["Brain", "HookRegistry", "ALL_HOOKS", "register_default_hooks",
-           "remember", "recall", "reason", "resolve_config", "set_config_key",
-           "get_config", "describe_config"]
+__version__ = "0.2.2"
+__all__ = [
+    "Brain", "HookRegistry", "ALL_HOOKS", "register_default_hooks",
+    "remember", "recall", "reason", "resolve_config", "set_config_key",
+    "get_config", "describe_config",
+    "verify_on_stop", "detect_host_agent", "host_has_verify_on_stop",
+]
 
 from .brain import Brain
 from .hooks import HookRegistry, ALL_HOOKS, register_default_hooks
 from .config import resolve_config, set_config_key, get_config, describe_config
+from . import verify_on_stop
 
 _default_brain: Brain | None = None
 

{eling-0.2.1 → eling-0.2.2}/src/eling/brain.py

@@ -105,6 +105,7 @@ class Brain:
         notion_parent_id: str | None = None,
         project_path: str | Path | None = None,
         hrr_dim: int = 1024,
+        adapter: str | None = None,
     ):
         self.home = Path(home).expanduser() if home else _eling_home()
         self.home.mkdir(parents=True, exist_ok=True)
@@ -120,6 +121,8 @@ class Brain:
         # Hooks registry
         self.hooks = eling_hooks.HookRegistry()
         eling_hooks.register_default_hooks(self)
+        # Adapter for verify-on-stop (hermes | opencode | openclaw | auto)
+        self._adapter: str = adapter or "auto"
 
     @property
     def _task_logs_id(self) -> str | None:
@@ -495,6 +498,42 @@ class Brain:
             },
         }
 
+    # ── verify — check verification-on-stop status ──
+
+    def verify(self, status: str = "", command: str = "", output: str = "") -> dict:
+        """Query or record verification-on-stop status.
+
+        When called with no args, returns the current verification status from
+        the ledger (including a nudge message if code edits need verification).
+
+        When called with ``status`` set to ``"passed"``, ``"failed"``, or
+        ``"skipped"``, records the verification event in the ledger.
+
+        This is a **conditional** feature — it only activates when the host
+        agent does NOT have built-in verify-on-stop (auto-detected from env
+        or ``ELING_ADAPTER`` config). When running under Hermes, this is a
+        no-op that returns ``{"host_has_verify": True}``.
+        """
+        from . import verify_on_stop as vos
+
+        if vos.host_has_verify_on_stop(adapter=self._adapter):
+            return {"host_has_verify": True, "active": False}
+
+        if status:
+            vos.record_verification(status=status, command=command, output=output)
+            return {
+                "host_has_verify": False,
+                "active": True,
+                "recorded": True,
+                "status": status,
+            }
+
+        return {
+            "host_has_verify": False,
+            "active": True,
+            **vos.verify_status(),
+        }
+
     # ── export — dump all layers (Task 13.2) ──
 
     def export(self, format: str = "json", path: str | None = None) -> dict:

{eling-0.2.1 → eling-0.2.2}/src/eling/config.py

@@ -28,6 +28,8 @@ DEFAULTS: dict[str, Any] = {
     "auto_sync_turns": True,
     "schema_pack": "default",
     "adapter": "hermes",
+    "verify_on_stop": True,
+    "verify_on_stop_max_attempts": 2,
 }
 
 ENV_MAP: dict[str, str] = {
@@ -41,6 +43,8 @@ ENV_MAP: dict[str, str] = {
     "auto_sync_turns": "ELING_AUTO_SYNC_TURNS",
     "schema_pack": "ELING_SCHEMA_PACK",
     "adapter": "ELING_ADAPTER",
+    "verify_on_stop": "ELING_VERIFY_ON_STOP",
+    "verify_on_stop_max_attempts": "ELING_VERIFY_MAX_ATTEMPTS",
 }
 
 TYPE_MAP: dict[str, type] = {
@@ -53,6 +57,8 @@ TYPE_MAP: dict[str, type] = {
     "auto_sync_turns": bool,
     "schema_pack": str,
     "adapter": str,
+    "verify_on_stop": bool,
+    "verify_on_stop_max_attempts": int,
 }
 
 # ── Schema packs ──────────────────────────────────────────────────────────────
@@ -268,4 +274,6 @@ def describe_config() -> dict[str, dict]:
         "auto_sync_turns": {"type": "bool", "default": True, "env": "ELING_AUTO_SYNC_TURNS", "description": "Auto-store user/assistant messages"},
         "schema_pack": {"type": "str", "default": "default", "env": "ELING_SCHEMA_PACK", "description": "Category schema pack: default | coding | research"},
         "adapter": {"type": "str", "default": "hermes", "env": "ELING_ADAPTER", "description": "Harness adapter: hermes | claude_cli | opencode | openclaw | openclaude"},
+        "verify_on_stop": {"type": "bool", "default": True, "env": "ELING_VERIFY_ON_STOP", "description": "Enable verify-on-stop nudges for non-Hermes agents"},
+        "verify_on_stop_max_attempts": {"type": "int", "default": 2, "env": "ELING_VERIFY_MAX_ATTEMPTS", "description": "Max verification nudge retries per session"},
     }

{eling-0.2.1 → eling-0.2.2}/src/eling/hooks.py

@@ -51,6 +51,9 @@ HOOK_COMPACTION = "compaction"
 HOOK_SESSION_END = "session_end"
 HOOK_IDLE_30MIN = "idle_30min"
 
+# ── Verify-on-stop hook ──
+HOOK_VERIFY_REQUEST = "verify_request"
+
 # ── Sync hooks ──
 HOOK_SYNC_START = "sync_start"
 HOOK_SYNC_COMPLETE = "sync_complete"
@@ -65,6 +68,7 @@ ALL_HOOKS = [
     HOOK_POST_ASSISTANT_MESSAGE,
     HOOK_DECISION_MADE,
     HOOK_FILE_EDIT,
+    HOOK_VERIFY_REQUEST,
     HOOK_ERROR_OCCURRED,
     HOOK_COMPACTION,
     HOOK_SESSION_END,
@@ -257,16 +261,35 @@ def _make_decision_made_handler(brain: "Brain") -> HookHandler:
 
 
 def _make_file_edit_handler(brain: "Brain") -> HookHandler:
-    """HOOK: file_edit — re-index file in codegraph layer."""
+    """HOOK: file_edit — re-index file in codegraph + track in verification ledger."""
     def handler(name: str, ctx: dict) -> dict:
         file_path = ctx.get("file_path", "")
-        if not file_path or not brain.code.available:
-            return {"reindexed": False}
-        try:
-            brain.code.reindex(file_path)
-            return {"reindexed": True, "file": file_path}
-        except Exception:
-            return {"reindexed": False}
+        if not file_path:
+            return {"reindexed": False, "verify_tracked": False}
+        result: dict = {}
+        # 1. Re-index in codegraph layer if available
+        if brain.code.available:
+            try:
+                brain.code.reindex(file_path)
+                result["reindexed"] = True
+            except Exception:
+                result["reindexed"] = False
+        else:
+            result["reindexed"] = False
+        # 2. Track in verification ledger
+        from . import verify_on_stop as vos
+        adapter = getattr(brain, "_adapter", "auto")
+        if not vos.host_has_verify_on_stop(adapter=adapter):
+            vos.record_edit(file_path)
+            result["verify_tracked"] = True
+            # Fire verify_request hook
+            brain.fire_hook(
+                HOOK_VERIFY_REQUEST,
+                changed_paths=list(vos._ledger.get("changed_paths", [])),
+            )
+        else:
+            result["verify_tracked"] = False
+        return result
     return handler
 
 
@@ -356,6 +379,29 @@ def _make_idle_30min_handler(brain: "Brain") -> HookHandler:
     return handler
 
 
+def _make_verify_request_handler(brain: "Brain") -> HookHandler:
+    """HOOK: verify_request — verification nudge for non-Hermes agents."""
+    def handler(name: str, ctx: dict) -> dict:
+        from . import verify_on_stop as vos
+
+        # Skip if host agent has its own verify-on-stop
+        adapter = getattr(brain, "_adapter", "auto")
+        if vos.host_has_verify_on_stop(adapter=adapter):
+            return {"nudge": None, "reason": "host has verify-on-stop"}
+
+        changed = ctx.get("changed_paths", [])
+        if not changed:
+            return {"nudge": None, "reason": "no changed paths"}
+
+        nudge = vos.build_verify_nudge()
+        return {
+            "nudge": nudge,
+            "changed_paths_count": len(changed),
+            "needs_verification": nudge is not None,
+        }
+    return handler
+
+
 def _make_noop_handler(brain: "Brain" = None) -> HookHandler:  # type: ignore[assignment]
     """Factory: no-op handler for hooks with no default logic."""
     def handler(name: str, ctx: dict) -> dict:
@@ -381,6 +427,7 @@ def register_default_hooks(brain: "Brain") -> HookRegistry:
         HOOK_POST_ASSISTANT_MESSAGE: _make_post_assistant_message_handler,
         HOOK_DECISION_MADE: _make_decision_made_handler,
         HOOK_FILE_EDIT: _make_file_edit_handler,
+        HOOK_VERIFY_REQUEST: _make_verify_request_handler,
         HOOK_ERROR_OCCURRED: _make_error_occurred_handler,
         HOOK_COMPACTION: _make_compaction_handler,
         HOOK_SESSION_END: _make_session_end_handler,

{eling-0.2.1 → eling-0.2.2}/src/eling/mcp_server.py

@@ -229,6 +229,38 @@ TOOLS = [
             "required": [],
         },
     },
+    {
+        "name": "eling_verify",
+        "description": "Check or record verification-on-stop status. "
+        "When host agent (Hermes) already has verify-on-stop, returns "
+        "{host_has_verify: true, active: false}. "
+        "When host agent lacks verification (OpenCode, etc.), returns "
+        "current status or records a verification event. "
+        "Call with no args to query status; pass status='passed'/'failed'/'skipped' "
+        "with optional command and output to record a verification event.",
+        "inputSchema": {
+            "type": "object",
+            "properties": {
+                "status": {
+                    "type": "string",
+                    "enum": ["", "passed", "failed", "skipped"],
+                    "default": "",
+                    "description": "Verification result. Empty = query mode. Set to 'passed'/'failed'/'skipped' to record.",
+                },
+                "command": {
+                    "type": "string",
+                    "default": "",
+                    "description": "The command that was run (e.g. 'pytest')",
+                },
+                "output": {
+                    "type": "string",
+                    "default": "",
+                    "description": "Command output (truncated to 500 chars)",
+                },
+            },
+            "required": [],
+        },
+    },
 ]
 
 
@@ -313,6 +345,11 @@ def _handle_tool_call(rid: int | str | None, params: dict) -> dict:
             fmt = args.pop("format", "json")
             path = args.pop("path", None) or None
             return ok(brain.export(format=fmt, path=path))
+        elif tool_name == "eling_verify":
+            status = args.pop("status", "")
+            command = args.pop("command", "")
+            output = args.pop("output", "")
+            return ok(brain.verify(status=status, command=command, output=output))
         else:
             return _error(rid, -32601, f"unknown tool: {tool_name}")
     except Exception as e:

eling-0.2.2/src/eling/verify_on_stop.py

@@ -0,0 +1,307 @@
+"""Verify-on-stop — verification nudge for agents that lack built-in verification.
+
+When an AI agent (OpenCode, OpenClaw, etc.) does not have its own
+verify-on-stop, eling fills the gap:
+
+1. Tracks file edits via hooks or explicit MCP calls
+2. Detects whether the host agent already has built-in verification (skip)
+3. Produces a verification nudge message when code was edited but not verified
+4. Exposes status via MCP tool so any agent can query it
+
+Detection logic:
+  - ELING_ADAPTER=hermes → skip (Hermes has built-in verification)
+  - ELING_ADAPTER=opencode|openclaw|openclaude|claude_cli → enable
+  - ELING_ADAPTER=auto → auto-detect from environment variables
+"""
+
+from __future__ import annotations
+
+import os
+import time
+import logging
+from pathlib import Path
+from typing import Any
+
+logger = logging.getLogger(__name__)
+
+# ---------------------------------------------------------------------------
+# Agent signatures
+# ---------------------------------------------------------------------------
+
+# Agents that have built-in verify-on-stop — eling is a no-op for these
+AGENTS_WITH_VERIFY: frozenset[str] = frozenset({"hermes"})
+
+# Agents that do NOT have built-in verify-on-stop — eling provides it
+AGENTS_WITHOUT_VERIFY: frozenset[str] = frozenset({
+    "opencode",
+    "openclaw",
+    "openclaude",
+    "claude_cli",
+    "cursor",
+    "windsurf",
+    "generic",
+})
+
+# Env-var → agent name mapping for auto-detection
+AGENT_SIGNATURES: dict[str, str] = {
+    "HERMES_SESSION_SOURCE": "hermes",
+    "HERMES_PLATFORM": "hermes",
+    "OPENCODE_HOME": "opencode",
+}
+
+# ---------------------------------------------------------------------------
+# Public API: detection
+# ---------------------------------------------------------------------------
+
+
+def detect_host_agent() -> str:
+    """Detect which AI agent is running by inspecting environment variables.
+
+    Returns one of: ``hermes``, ``opencode``, or ``generic``.
+    """
+    for env_var, agent in AGENT_SIGNATURES.items():
+        val = os.environ.get(env_var)
+        if val and str(val).strip():
+            return agent
+    return "generic"
+
+
+def host_has_verify_on_stop(adapter: str = "auto") -> bool:
+    """Return True if the host agent already has verify-on-stop built-in.
+
+    Parameters
+    ----------
+    adapter:
+        The resolved ``ELING_ADAPTER`` value.
+        ``"auto"`` (default) → auto-detect from environment.
+        Any other string is checked against ``AGENTS_WITH_VERIFY``.
+
+    Returns
+    -------
+    bool
+        True when the host agent natively handles verification nudges.
+    """
+    if adapter != "auto":
+        return adapter in AGENTS_WITH_VERIFY
+    agent = detect_host_agent()
+    return agent in AGENTS_WITH_VERIFY
+
+
+# ---------------------------------------------------------------------------
+# Verification ledger (session-scoped)
+# ---------------------------------------------------------------------------
+
+_ledger: dict[str, Any] = {
+    "changed_paths": [],
+    "verification_events": [],
+    "verified": False,
+    "last_edit_time": 0.0,
+    "last_verify_time": 0.0,
+    "verify_attempts": 0,
+}
+
+
+def record_edit(file_path: str) -> None:
+    """Record a file edit in the verification ledger.
+
+    Call this whenever the agent writes or patches a file.
+    Resets the ``verified`` flag so a new verification is required.
+    """
+    global _ledger
+    if file_path not in _ledger["changed_paths"]:
+        _ledger["changed_paths"].append(file_path)
+    _ledger["last_edit_time"] = time.time()
+    _ledger["verified"] = False
+
+
+def record_verification(
+    status: str,
+    command: str = "",
+    output: str = "",
+) -> None:
+    """Record a verification event (test run, lint, build, etc.).
+
+    Parameters
+    ----------
+    status:
+        ``"passed"``, ``"failed"``, or ``"skipped"``.
+    command:
+        The shell command that was executed (e.g. ``"pytest"``).
+    output:
+        Truncated output from the command.
+    """
+    global _ledger
+    _ledger["verification_events"].append({
+        "time": time.time(),
+        "status": status,
+        "command": command,
+        "output_summary": output[:500] if output else "",
+    })
+    if status == "passed":
+        _ledger["verified"] = True
+        _ledger["last_verify_time"] = time.time()
+    _ledger["verify_attempts"] += 1
+
+
+def reset_ledger() -> None:
+    """Reset the verification ledger (e.g. at session start)."""
+    global _ledger
+    _ledger = {
+        "changed_paths": [],
+        "verification_events": [],
+        "verified": False,
+        "last_edit_time": 0.0,
+        "last_verify_time": 0.0,
+        "verify_attempts": 0,
+    }
+
+
+# ---------------------------------------------------------------------------
+# Non-code path filter (same heuristic as Hermes' verification_stop.py)
+# ---------------------------------------------------------------------------
+
+_NON_CODE_EXTENSIONS: frozenset[str] = frozenset({
+    ".md",
+    ".markdown",
+    ".mdx",
+    ".rst",
+    ".txt",
+    ".text",
+    ".adoc",
+    ".asciidoc",
+    ".org",
+    ".log",
+    ".csv",
+    ".tsv",
+})
+
+_NON_CODE_FILENAMES: frozenset[str] = frozenset({
+    "license",
+    "licence",
+    "notice",
+    "authors",
+    "contributors",
+    "changelog",
+    "codeowners",
+})
+
+
+def _is_non_code_path(raw: str) -> bool:
+    """Return True when a file path is documentation/prose with nothing to verify."""
+    try:
+        p = Path(str(raw))
+    except Exception:
+        return False
+    suffix = p.suffix.lower()
+    if suffix in _NON_CODE_EXTENSIONS:
+        return True
+    if not suffix and p.name.lower() in _NON_CODE_FILENAMES:
+        return True
+    return False
+
+
+def _filter_verifiable_paths(paths: list[str]) -> list[str]:
+    """Drop documentation/prose paths; keep code paths that need verification."""
+    return [p for p in paths if p and not _is_non_code_path(p)]
+
+
+# ---------------------------------------------------------------------------
+# Nudge builder
+# ---------------------------------------------------------------------------
+
+_MAX_CHANGED_PATHS_SHOWN = 8
+_MAX_VERIFY_ATTEMPTS = 2
+
+
+def _format_paths(paths: list[str]) -> str:
+    """Pretty-print changed paths for the nudge message."""
+    shown = paths[:_MAX_CHANGED_PATHS_SHOWN]
+    lines = [f"- `{p}`" for p in shown]
+    remaining = len(paths) - len(shown)
+    if remaining > 0:
+        lines.append(f"- ... and {remaining} more")
+    return "\n".join(lines)
+
+
+def build_verify_nudge() -> str | None:
+    """Build a verification nudge message if code edits need fresh verification.
+
+    Returns
+    -------
+    str or None
+        The nudge text (wrapped in ``[System: ...]`` markers), or None when no
+        nudge is needed (no edits, only doc files, already verified, or
+        max attempts reached).
+    """
+    global _ledger
+
+    paths = sorted(
+        {str(p) for p in _filter_verifiable_paths(_ledger["changed_paths"])}
+    )
+    if not paths:
+        return None
+
+    if _ledger["verify_attempts"] >= _MAX_VERIFY_ATTEMPTS:
+        return None
+
+    if _ledger["verified"] and _ledger["last_verify_time"] >= _ledger["last_edit_time"]:
+        return None
+
+    # Build status summary from the latest verification event
+    detail_parts: list[str] = []
+    if _ledger["verification_events"]:
+        last = _ledger["verification_events"][-1]
+        state = last.get("status", "unverified")
+        detail_parts.append(state)
+        cmd = last.get("command", "")
+        if cmd:
+            detail_parts.append(f"last command `{cmd}`")
+        output = last.get("output_summary", "")
+        if output:
+            max_output = 1200
+            if len(output) > max_output:
+                output = output[:max_output].rstrip() + "\n... [truncated]"
+            detail_parts.append(f"last output:\n{output}")
+    else:
+        detail_parts.append("unverified")
+
+    return (
+        "[System: You edited code in this turn, but the workspace does not have "
+        "fresh passing verification evidence yet.\n\n"
+        f"Verification status: {' | '.join(detail_parts)}\n\n"
+        f"Changed paths:\n{_format_paths(paths)}\n\n"
+        "Run the relevant verification command now (test, lint, build), "
+        "read any failure, repair the code, and summarize what passed. "
+        "If verification is not possible, explain the concrete blocker "
+        "instead of claiming the work is fully verified.]"
+    )
+
+
+def verify_status() -> dict[str, Any]:
+    """Return the current verification status as a dictionary.
+
+    Use this from MCP tools to let agents query verification state.
+    """
+    global _ledger
+    paths = sorted(
+        {str(p) for p in _filter_verifiable_paths(_ledger["changed_paths"])}
+    )
+    return {
+        "changed_paths": paths,
+        "verification_events": _ledger["verification_events"][-3:],
+        "verified": _ledger["verified"],
+        "attempts": _ledger["verify_attempts"],
+        "needs_verification": bool(paths) and not _ledger["verified"],
+        "nudge": build_verify_nudge(),
+    }
+
+
+__all__ = [
+    "detect_host_agent",
+    "host_has_verify_on_stop",
+    "record_edit",
+    "record_verification",
+    "reset_ledger",
+    "build_verify_nudge",
+    "verify_status",
+]

{eling-0.2.1 → eling-0.2.2/src/eling.egg-info}/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: eling
-Version: 0.2.1
-Summary: Unified second brain for AI agents — 5-tier memory, HRR reasoning, 9 MCP tools
+Version: 0.2.2
+Summary: Unified second brain for AI agents — 5-tier memory, HRR reasoning, 10 MCP tools, conditional verify-on-stop
 Author: PatrickNoFilter
 License: MIT
 Keywords: memory,mcp,ai-agent,second-brain,hrr
@@ -28,7 +28,7 @@ Dynamic: license-file
 
 # 🧠 Eling
 
-**Unified second brain for AI agents — 5-tier memory, HRR reasoning, 9 MCP tools**
+**Unified second brain for AI agents — 5-tier memory, HRR reasoning, 10 MCP tools, conditional verify-on-stop**
 
 *"Eling" (Javanese): to remember, to be conscious, to be aware*
 
@@ -66,6 +66,7 @@ All accessible via **9 MCP tools** from a single stdio server:
 | `eling_stats` | Show per-layer statistics |
 | `eling_think` | Synthesis + gap analysis across layers |
 | `eling_export` | Full brain export as JSON or Markdown |
+| `eling_verify` | Query/record verification status (conditional) |
 
 ## 🚀 Quick Start
 
@@ -200,6 +201,52 @@ print(result)  # {"layer": "notion", "page_id": "...", ...}
 
 > **Note**: `eling_reflect` and `remember(layer="notion")` check availability at call time and return a clear error if any config is missing — no silent failures.
 
+## 🛡️ Verify-on-Stop (Conditional)
+
+Eling provides **verify-on-stop** nudges for AI agents that lack built-in
+verification (e.g., OpenCode, OpenClaw, Cursor, Windsurf). When running under
+Hermes, this feature automatically **skips** — because Hermes already has its
+own `agent/verification_stop.py`.
+
+### How it works
+
+1. **Auto-detection** — Eling detects the host agent from environment variables
+   (`HERMES_SESSION_SOURCE` → Hermes, `OPENCODE_HOME` → OpenCode, etc.)
+2. **File edit tracking** — When code files are edited via hooks or MCP tools,
+   eling records them in a verification ledger
+3. **Verification nudge** — If code was edited but no passing tests/verification
+   was recorded, eling produces a `[System: ...]` nudge message
+4. **Recording** — Agents can call `eling_verify` MCP tool to record verification
+   results (`passed`, `failed`, `skipped`)
+
+### Usage via MCP
+
+```json
+// Query current status
+{ "method": "tools/call", "params": { "name": "eling_verify", "arguments": {} } }
+
+// Record a passing verification
+{ "method": "tools/call", "params": {
+    "name": "eling_verify",
+    "arguments": { "status": "passed", "command": "pytest", "output": "364 passed" }
+} }
+```
+
+### Config
+
+| Key | Default | Env | Description |
+|-----|---------|-----|-------------|
+| `verify_on_stop` | `true` | `ELING_VERIFY_ON_STOP` | Enable nudges for non-Hermes agents |
+| `verify_on_stop_max_attempts` | `2` | `ELING_VERIFY_MAX_ATTEMPTS` | Max nudges per session |
+| `adapter` | `hermes` | `ELING_ADAPTER` | Force adapter type |
+
+```yaml
+plugins:
+  eling:
+    adapter: auto       # auto-detect from env
+    verify_on_stop: true
+```
+
 ## 🏗️ Architecture
 
 ```

{eling-0.2.1 → eling-0.2.2}/src/eling.egg-info/SOURCES.txt

@@ -14,6 +14,7 @@ src/eling/mcp_server.py
 src/eling/permissions.py
 src/eling/privacy.py
 src/eling/snapshot.py
+src/eling/verify_on_stop.py
 src/eling.egg-info/PKG-INFO
 src/eling.egg-info/SOURCES.txt
 src/eling.egg-info/dependency_links.txt
@@ -49,4 +50,5 @@ tests/test_privacy.py
 tests/test_schema_packs.py
 tests/test_snapshot.py
 tests/test_sync.py
-tests/test_think.py
+tests/test_think.py
+tests/test_verify_on_stop.py

{eling-0.2.1 → eling-0.2.2}/tests/test_export.py

@@ -72,7 +72,7 @@ class TestExportMCP:
 
     def test_nine_tools_total(self):
         from eling.mcp_server import TOOLS
-        assert len(TOOLS) == 9  # was 8, now 9 with eling_export
+        assert len(TOOLS) == 10  # eling_remember..eling_verify
 
     def test_export_covers_all_layers(self, brain):
         """Full JSON export covers facts, entity_graph, kb, code, notion, builtin."""

{eling-0.2.1 → eling-0.2.2}/tests/test_hooks.py

@@ -127,8 +127,8 @@ class TestHookRegistry:
 # ============================================================================
 
 class TestAllHooks:
-    def test_exactly_15_hooks(self):
-        assert len(ALL_HOOKS) == 15
+    def test_exactly_16_hooks(self):
+        assert len(ALL_HOOKS) == 16  # was 15, now 16 with verify_request
 
     def test_all_hooks_are_strings(self):
         for h in ALL_HOOKS:
@@ -138,7 +138,8 @@ class TestAllHooks:
         required = {
             "session_start", "pre_user_message", "post_user_message",
             "pre_tool_use", "post_tool_use", "post_assistant_message",
-            "decision_made", "file_edit", "error_occurred",
+            "decision_made", "file_edit", "verify_request",
+            "error_occurred",
             "compaction", "session_end", "idle_30min",
             "sync_start", "sync_complete", "sync_error",
         }
@@ -157,7 +158,7 @@ class TestBuiltinHandlers:
 
     def test_default_hooks_are_registered(self, brain):
         """Brain.__init__ registers all default hooks."""
-        assert brain.hooks.total_handlers == 15
+        assert brain.hooks.total_handlers == 16  # 15 + verify_request
         for hook in ALL_HOOKS:
             assert brain.hooks.has_handlers(hook), f"Missing handler for {hook}"
 
@@ -343,12 +344,12 @@ class TestBrainStatsHooks:
         brain = Brain(home=tmp)
         s = brain.stats()
         assert "hooks" in s
-        assert s["hooks"]["total_handlers"] == 15
-        assert s["hooks"]["hooks_with_handlers"] == 15
+        assert s["hooks"]["total_handlers"] == 16  # 15 + verify_request
+        assert s["hooks"]["hooks_with_handlers"] == 16
 
     def test_stats_reflects_custom_hook(self):
         tmp = Path(tempfile.mkdtemp())
         brain = Brain(home=tmp)
         brain.hooks.register(HOOK_SESSION_START, lambda n, c: None)
         s = brain.stats()
-        assert s["hooks"]["total_handlers"] == 16
+        assert s["hooks"]["total_handlers"] == 17  # 16 base + 1 custom

{eling-0.2.1 → eling-0.2.2}/tests/test_think.py

@@ -106,4 +106,4 @@ class TestThinkMCPTools:
 
     def test_nine_tools_total(self):
         from eling.mcp_server import TOOLS
-        assert len(TOOLS) == 9  # was 8, now 9 with eling_export
+        assert len(TOOLS) == 10  # eling_remember..eling_verify

eling-0.2.2/tests/test_verify_on_stop.py

@@ -0,0 +1,171 @@
+"""Tests for eling.verify_on_stop — conditional verify-on-stop."""
+
+import os
+from unittest.mock import patch
+
+import pytest
+
+from eling import verify_on_stop as vos
+from eling.brain import Brain
+from eling.hooks import HOOK_VERIFY_REQUEST, HOOK_FILE_EDIT
+
+# ── Detection tests ──────────────────────────────────────────────────────────
+
+
+class TestDetectHostAgent:
+    def test_detects_hermes_from_env(self):
+        with patch.dict(os.environ, {"HERMES_SESSION_SOURCE": "tui"}, clear=True):
+            assert vos.detect_host_agent() == "hermes"
+
+    def test_detects_opencode_from_env(self):
+        with patch.dict(os.environ, {"OPENCODE_HOME": "/root/.opencode"}, clear=True):
+            assert vos.detect_host_agent() == "opencode"
+
+    def test_detects_generic_with_no_env(self):
+        with patch.dict(os.environ, {}, clear=True):
+            assert vos.detect_host_agent() == "generic"
+
+
+class TestHostHasVerifyOnStop:
+    def test_hermes_adapter_has_verify(self):
+        assert vos.host_has_verify_on_stop(adapter="hermes") is True
+
+    def test_opencode_adapter_lacks_verify(self):
+        assert vos.host_has_verify_on_stop(adapter="opencode") is False
+
+    def test_openclaw_adapter_lacks_verify(self):
+        assert vos.host_has_verify_on_stop(adapter="openclaw") is False
+
+    def test_auto_detects_hermes_from_env(self):
+        with patch.dict(os.environ, {"HERMES_SESSION_SOURCE": "tui"}, clear=True):
+            assert vos.host_has_verify_on_stop(adapter="auto") is True
+
+    def test_auto_detects_opencode_from_env(self):
+        with patch.dict(os.environ, {"OPENCODE_HOME": "/root/.opencode"}, clear=True):
+            assert vos.host_has_verify_on_stop(adapter="auto") is False
+
+
+# ── Ledger tests ─────────────────────────────────────────────────────────────
+
+
+class TestVerificationLedger:
+    def setup_method(self):
+        vos.reset_ledger()
+
+    def test_empty_ledger_no_nudge(self):
+        assert vos.build_verify_nudge() is None
+        assert vos.verify_status()["needs_verification"] is False
+
+    def test_record_edit_then_needs_verification(self):
+        vos.record_edit("src/main.py")
+        status = vos.verify_status()
+        assert "src/main.py" in status["changed_paths"]
+        assert status["needs_verification"] is True
+
+    def test_record_verification_passed_clears_nudge(self):
+        vos.record_edit("src/main.py")
+        assert vos.build_verify_nudge() is not None
+        vos.record_verification(status="passed", command="pytest")
+        assert vos.build_verify_nudge() is None
+
+    def test_max_attempts_exhausted(self):
+        vos.record_edit("src/main.py")
+        vos.record_verification(status="failed", command="pytest", output="1 failed")
+        vos.record_verification(status="failed", command="pytest", output="1 failed")
+        # Third call hits max_attempts=2
+        vos.record_verification(status="failed", command="pytest", output="1 failed")
+        assert vos.build_verify_nudge() is None
+
+    def test_non_code_paths_filtered(self):
+        vos.record_edit("README.md")
+        vos.record_edit("LICENSE")
+        assert vos.build_verify_nudge() is None
+        status = vos.verify_status()
+        assert status["changed_paths"] == []
+
+    def test_mixed_code_and_docs(self):
+        vos.record_edit("src/main.py")
+        vos.record_edit("README.md")
+        assert "src/main.py" in vos.verify_status()["changed_paths"]
+        assert "README.md" not in vos.verify_status()["changed_paths"]
+
+    def test_reset_ledger(self):
+        vos.record_edit("src/main.py")
+        assert vos.build_verify_nudge() is not None
+        vos.reset_ledger()
+        assert vos.build_verify_nudge() is None
+
+    def test_nudge_format_contains_paths(self):
+        vos.record_edit("src/main.py")
+        nudge = vos.build_verify_nudge()
+        assert nudge is not None
+        assert "src/main.py" in nudge
+        assert "[System:" in nudge
+        assert "Verification status" in nudge
+
+
+# ── Brain integration tests ──────────────────────────────────────────────────
+
+
+class TestBrainVerifyMethod:
+    def test_verify_hermes_adapter_skips(self):
+        b = Brain(adapter="hermes")
+        result = b.verify()
+        assert result["host_has_verify"] is True
+        assert result["active"] is False
+
+    def test_verify_opencode_adapter_active(self):
+        b = Brain(adapter="opencode")
+        result = b.verify()
+        assert result["host_has_verify"] is False
+        assert result["active"] is True
+
+    def test_verify_record_passed(self):
+        b = Brain(adapter="opencode")
+        result = b.verify(status="passed", command="pytest")
+        assert result["recorded"] is True
+        assert result["status"] == "passed"
+
+    def test_verify_query_after_edit(self):
+        b = Brain(adapter="opencode")
+        b.fire_hook(HOOK_FILE_EDIT, file_path="src/main.py")
+        result = b.verify()
+        assert result["active"] is True
+        assert len(result["changed_paths"]) >= 1
+        assert result["needs_verification"] is True
+
+
+# ── MCP tool registration ────────────────────────────────────────────────────
+
+
+class TestVerifyMCPTool:
+    def test_verify_tool_in_tools_list(self):
+        from eling.mcp_server import TOOLS
+
+        names = [t["name"] for t in TOOLS]
+        assert "eling_verify" in names
+
+    def test_verify_tool_accepts_status_param(self):
+        from eling.mcp_server import TOOLS
+
+        verify_def = [t for t in TOOLS if t["name"] == "eling_verify"][0]
+        props = verify_def["inputSchema"]["properties"]
+        assert "status" in props
+        assert props["status"]["enum"] == ["", "passed", "failed", "skipped"]
+
+
+# ── Config tests ─────────────────────────────────────────────────────────────
+
+
+class TestVerifyConfig:
+    def test_verify_on_stop_in_defaults(self):
+        from eling.config import DEFAULTS
+
+        assert "verify_on_stop" in DEFAULTS
+        assert DEFAULTS["verify_on_stop"] is True
+
+    def test_verify_max_attempts_in_defaults(self):
+        from eling.config import DEFAULTS
+
+        assert "verify_on_stop_max_attempts" in DEFAULTS
+        assert DEFAULTS["verify_on_stop_max_attempts"] == 2