superlocalmemory 2.8.6 → 3.0.0

package/src/superlocalmemory/encoding/consolidator.py

@@ -0,0 +1,485 @@
+# Copyright (c) 2026 Varun Pratap Bhardwaj / Qualixar
+# Licensed under the MIT License - see LICENSE file
+# Part of SuperLocalMemory V3 | https://qualixar.com | https://varunpratap.com
+
+"""SuperLocalMemory V3 — Memory Consolidator.
+
+Mem0-style ADD/UPDATE/SUPERSEDE/NOOP logic for incoming facts.
+V1 was append-only (never updated, never deleted, never merged).
+This module gives a ~26% uplift by deduplicating, updating, and
+resolving contradictions at encoding time.
+
+Mode A: keyword-based contradiction detection (zero LLM).
+Mode B/C: LLM-assisted contradiction detection when available.
+
+Part of Qualixar | Author: Varun Pratap Bhardwaj
+License: MIT
+"""
+
+from __future__ import annotations
+
+import logging
+import math
+from typing import Any, Protocol
+
+from superlocalmemory.core.config import EncodingConfig
+from superlocalmemory.storage.database import DatabaseManager
+from superlocalmemory.storage.models import (
+    AtomicFact,
+    ConsolidationAction,
+    ConsolidationActionType,
+    EdgeType,
+    GraphEdge,
+    MemoryLifecycle,
+)
+
+logger = logging.getLogger(__name__)
+
+# ---------------------------------------------------------------------------
+# Protocols (avoid tight coupling to concrete classes)
+# ---------------------------------------------------------------------------
+
+class Embedder(Protocol):
+    """Anything that produces an embedding vector from text."""
+
+    def encode(self, text: str) -> list[float]: ...
+
+
+class LLM(Protocol):
+    """Anything that can generate text from a prompt."""
+
+    def generate(self, prompt: str, system: str = "") -> str: ...
+
+    def is_available(self) -> bool: ...
+
+
+# ---------------------------------------------------------------------------
+# Negation patterns for Mode A keyword contradiction detection
+# ---------------------------------------------------------------------------
+
+_NEGATION_MARKERS: frozenset[str] = frozenset({
+    "not", "no longer", "never", "stopped", "quit", "left",
+    "changed", "moved", "divorced", "fired", "resigned",
+    "broke up", "ended", "cancelled", "dropped", "switched",
+    "former", "ex-", "previously", "used to", "no more",
+})
+
+# Score thresholds (match EncodingConfig defaults)
+_NOOP_THRESHOLD = 0.95
+_MATCH_THRESHOLD = 0.85
+
+
+# ---------------------------------------------------------------------------
+# MemoryConsolidator
+# ---------------------------------------------------------------------------
+
+class MemoryConsolidator:
+    """Decides ADD/UPDATE/SUPERSEDE/NOOP for each incoming fact.
+
+    For each new fact the consolidator:
+    1. Finds candidate matches via entity overlap + semantic similarity.
+    2. Scores each candidate (Jaccard entity + cosine embedding).
+    3. Classifies the relationship and executes the action.
+    4. Logs every decision in ``consolidation_log``.
+
+    Thread-safe — delegates all DB ops to DatabaseManager which holds a lock.
+    """
+
+    def __init__(
+        self,
+        db: DatabaseManager,
+        embedder: Embedder | None = None,
+        llm: LLM | None = None,
+        config: EncodingConfig | None = None,
+    ) -> None:
+        self._db = db
+        self._embedder = embedder
+        self._llm = llm
+        self._cfg = config or EncodingConfig()
+
+    # -- Public API ---------------------------------------------------------
+
+    def consolidate(
+        self, new_fact: AtomicFact, profile_id: str,
+    ) -> ConsolidationAction:
+        """Consolidate *new_fact* against existing knowledge.
+
+        Returns a ``ConsolidationAction`` describing what was done.
+        """
+        candidates = self._find_candidates(new_fact, profile_id)
+
+        if not candidates:
+            return self._execute_add(new_fact, profile_id, reason="no matching facts")
+
+        best_fact, best_score = candidates[0]
+
+        if best_score > _NOOP_THRESHOLD:
+            # Even near-duplicates might be contradictions (e.g. negation).
+            # Check contradiction BEFORE declaring NOOP.
+            if self._is_contradicting(new_fact, best_fact):
+                return self._execute_supersede(
+                    new_fact, best_fact, profile_id,
+                    reason=f"contradiction detected (score={best_score:.3f})",
+                )
+            return self._execute_noop(
+                new_fact, best_fact, profile_id,
+                reason=f"near-duplicate (score={best_score:.3f})",
+            )
+
+        if best_score > _MATCH_THRESHOLD:
+            if self._is_contradicting(new_fact, best_fact):
+                return self._execute_supersede(
+                    new_fact, best_fact, profile_id,
+                    reason=f"contradiction detected (score={best_score:.3f})",
+                )
+            if new_fact.fact_type == best_fact.fact_type:
+                return self._execute_update(
+                    new_fact, best_fact, profile_id,
+                    reason=f"refines existing (score={best_score:.3f})",
+                )
+
+        return self._execute_add(
+            new_fact, profile_id,
+            reason=f"new information (best_score={best_score:.3f})",
+        )
+
+    def get_consolidation_history(
+        self, profile_id: str, limit: int = 50,
+    ) -> list[ConsolidationAction]:
+        """Recent consolidation actions for audit/debugging."""
+        rows = self._db.execute(
+            "SELECT * FROM consolidation_log WHERE profile_id = ? "
+            "ORDER BY timestamp DESC LIMIT ?",
+            (profile_id, limit),
+        )
+        return [
+            ConsolidationAction(
+                action_id=(d := dict(r))["action_id"],
+                profile_id=d["profile_id"],
+                action_type=ConsolidationActionType(d["action_type"]),
+                new_fact_id=d["new_fact_id"],
+                existing_fact_id=d["existing_fact_id"],
+                reason=d["reason"],
+                timestamp=d["timestamp"],
+            )
+            for r in rows
+        ]
+
+    # -- Candidate search ---------------------------------------------------
+
+    def _find_candidates(
+        self, new_fact: AtomicFact, profile_id: str,
+    ) -> list[tuple[AtomicFact, float]]:
+        """Find and score candidate matches from existing facts.
+
+        Uses two signals:
+        1. Entity overlap — ``get_facts_by_entity`` for each canonical entity.
+        2. Semantic similarity — cosine of embedding vectors.
+
+        Returns sorted list of (fact, combined_score), descending.
+        """
+        seen_ids: set[str] = set()
+        candidate_facts: list[AtomicFact] = []
+
+        # --- entity-based candidates ---
+        for entity in new_fact.canonical_entities:
+            for fact in self._db.get_facts_by_entity(entity, profile_id):
+                if fact.fact_id not in seen_ids:
+                    seen_ids.add(fact.fact_id)
+                    candidate_facts.append(fact)
+
+        # --- semantic candidates (top-K by embedding) ---
+        if new_fact.embedding is not None and self._embedder is not None:
+            all_facts = self._db.get_all_facts(profile_id)
+            semantic_scored: list[tuple[AtomicFact, float]] = []
+            for fact in all_facts:
+                if fact.fact_id in seen_ids:
+                    continue
+                sim = _compute_similarity(new_fact.embedding, fact.embedding)
+                if sim > 0.5:
+                    semantic_scored.append((fact, sim))
+            semantic_scored.sort(key=lambda t: t[1], reverse=True)
+            for fact, _ in semantic_scored[: self._cfg.max_consolidation_candidates]:
+                if fact.fact_id not in seen_ids:
+                    seen_ids.add(fact.fact_id)
+                    candidate_facts.append(fact)
+
+        # --- score all candidates ---
+        scored: list[tuple[AtomicFact, float]] = []
+        for cand in candidate_facts:
+            entity_overlap = _jaccard(
+                set(new_fact.canonical_entities),
+                set(cand.canonical_entities),
+            )
+            semantic_sim = _compute_similarity(
+                new_fact.embedding, cand.embedding,
+            )
+            combined = 0.4 * entity_overlap + 0.6 * semantic_sim
+            scored.append((cand, combined))
+
+        scored.sort(key=lambda t: t[1], reverse=True)
+        return scored
+
+    # -- Contradiction detection --------------------------------------------
+
+    def _is_contradicting(
+        self, fact_a: AtomicFact, fact_b: AtomicFact,
+    ) -> bool:
+        """Detect if *fact_a* contradicts *fact_b*.
+
+        Mode B/C: delegates to LLM for nuanced judgment.
+        Mode A: keyword-based negation detection.
+        """
+        if self._llm is not None and self._llm.is_available():
+            return self._llm_contradiction_check(fact_a, fact_b)
+        return self._keyword_contradiction_check(fact_a, fact_b)
+
+    def _keyword_contradiction_check(
+        self, fact_a: AtomicFact, fact_b: AtomicFact,
+    ) -> bool:
+        """Heuristic: check negation markers in either fact's content."""
+        text_a = fact_a.content.lower()
+        text_b = fact_b.content.lower()
+        for marker in _NEGATION_MARKERS:
+            if marker in text_a and marker not in text_b:
+                return True
+            if marker in text_b and marker not in text_a:
+                return True
+
+        # Opposing emotional valence with same entities
+        shared_entities = set(fact_a.canonical_entities) & set(fact_b.canonical_entities)
+        if shared_entities:
+            valence_diff = abs(fact_a.emotional_valence - fact_b.emotional_valence)
+            if valence_diff > 1.2:
+                return True
+
+        return False
+
+    def _llm_contradiction_check(
+        self, fact_a: AtomicFact, fact_b: AtomicFact,
+    ) -> bool:
+        """Ask the LLM whether two facts contradict each other."""
+        assert self._llm is not None  # guarded by caller
+        prompt = (
+            "Do these two statements contradict each other?\n\n"
+            f"Statement A: {fact_a.content}\n"
+            f"Statement B: {fact_b.content}\n\n"
+            "Answer ONLY 'yes' or 'no'."
+        )
+        response = self._llm.generate(
+            prompt, system="You are a precise fact-checker.",
+        )
+        return response.strip().lower().startswith("yes")
+
+    # -- Action executors ---------------------------------------------------
+
+    def _execute_add(
+        self, new_fact: AtomicFact, profile_id: str, *, reason: str,
+    ) -> ConsolidationAction:
+        """Store the new fact and link to related facts via semantic edges."""
+        self._db.store_fact(new_fact)
+        self._create_semantic_edges(new_fact, profile_id)
+        action = self._log_action(
+            ConsolidationActionType.ADD, new_fact.fact_id, "", profile_id, reason,
+        )
+        logger.debug("ADD fact %s: %s", new_fact.fact_id, reason)
+        return action
+
+    def _execute_update(
+        self,
+        new_fact: AtomicFact,
+        existing: AtomicFact,
+        profile_id: str,
+        *,
+        reason: str,
+    ) -> ConsolidationAction:
+        """Update existing fact: bump evidence, optionally merge content."""
+        new_evidence = existing.evidence_count + 1
+        new_confidence = min(1.0, existing.confidence + 0.05)
+        updates: dict[str, Any] = {
+            "evidence_count": new_evidence,
+            "confidence": new_confidence,
+        }
+
+        # If LLM available, merge content for a richer fact
+        if self._llm is not None and self._llm.is_available():
+            merged = self._merge_facts(existing.content, new_fact.content)
+            if merged:
+                updates["content"] = merged
+
+        self._db.update_fact(existing.fact_id, updates)
+        action = self._log_action(
+            ConsolidationActionType.UPDATE,
+            new_fact.fact_id, existing.fact_id,
+            profile_id, reason,
+        )
+        logger.debug(
+            "UPDATE fact %s (evidence=%d): %s",
+            existing.fact_id, new_evidence, reason,
+        )
+        return action
+
+    def _execute_supersede(
+        self,
+        new_fact: AtomicFact,
+        existing: AtomicFact,
+        profile_id: str,
+        *,
+        reason: str,
+    ) -> ConsolidationAction:
+        """Archive old fact, store new, create contradiction edge."""
+        # Archive old fact (keep for history but deprioritize in retrieval)
+        self._db.update_fact(
+            existing.fact_id,
+            {"lifecycle": MemoryLifecycle.ARCHIVED},
+        )
+        # Store new fact
+        self._db.store_fact(new_fact)
+        # Create contradiction + supersedes edges
+        self._db.store_edge(GraphEdge(
+            profile_id=profile_id,
+            source_id=new_fact.fact_id,
+            target_id=existing.fact_id,
+            edge_type=EdgeType.CONTRADICTION,
+            weight=1.0,
+        ))
+        self._db.store_edge(GraphEdge(
+            profile_id=profile_id,
+            source_id=new_fact.fact_id,
+            target_id=existing.fact_id,
+            edge_type=EdgeType.SUPERSEDES,
+            weight=1.0,
+        ))
+        action = self._log_action(
+            ConsolidationActionType.SUPERSEDE,
+            new_fact.fact_id, existing.fact_id,
+            profile_id, reason,
+        )
+        logger.debug(
+            "SUPERSEDE %s → %s: %s",
+            new_fact.fact_id, existing.fact_id, reason,
+        )
+        return action
+
+    def _execute_noop(
+        self,
+        new_fact: AtomicFact,
+        existing: AtomicFact,
+        profile_id: str,
+        *,
+        reason: str,
+    ) -> ConsolidationAction:
+        """Near-duplicate — just bump access count on existing."""
+        self._db.update_fact(
+            existing.fact_id,
+            {"access_count": existing.access_count + 1},
+        )
+        action = self._log_action(
+            ConsolidationActionType.NOOP,
+            new_fact.fact_id, existing.fact_id,
+            profile_id, reason,
+        )
+        logger.debug("NOOP for %s (dup of %s): %s", new_fact.fact_id, existing.fact_id, reason)
+        return action
+
+    # -- Helpers ------------------------------------------------------------
+
+    def _create_semantic_edges(
+        self, new_fact: AtomicFact, profile_id: str,
+    ) -> None:
+        """Link new fact to top-K most similar existing facts."""
+        if new_fact.embedding is None:
+            return
+        all_facts = self._db.get_all_facts(profile_id)
+        scored: list[tuple[str, float]] = []
+        for fact in all_facts:
+            if fact.fact_id == new_fact.fact_id:
+                continue
+            sim = _compute_similarity(new_fact.embedding, fact.embedding)
+            if sim > 0.5:
+                scored.append((fact.fact_id, sim))
+        scored.sort(key=lambda t: t[1], reverse=True)
+        for target_id, weight in scored[: self._cfg.semantic_edge_top_k]:
+            self._db.store_edge(GraphEdge(
+                profile_id=profile_id,
+                source_id=new_fact.fact_id,
+                target_id=target_id,
+                edge_type=EdgeType.SEMANTIC,
+                weight=weight,
+            ))
+
+    def _merge_facts(self, existing_text: str, new_text: str) -> str:
+        """Use LLM to merge two fact statements into one richer fact."""
+        assert self._llm is not None
+        prompt = (
+            "Merge these two statements about the same topic into one "
+            "concise, accurate fact. Keep all unique information.\n\n"
+            f"Existing: {existing_text}\n"
+            f"New: {new_text}\n\n"
+            "Merged statement:"
+        )
+        result = self._llm.generate(prompt, system="You are a precise editor.")
+        return result.strip() if result.strip() else ""
+
+    def _log_action(
+        self,
+        action_type: ConsolidationActionType,
+        new_fact_id: str,
+        existing_fact_id: str,
+        profile_id: str,
+        reason: str,
+    ) -> ConsolidationAction:
+        """Persist action to consolidation_log and return the model."""
+        action = ConsolidationAction(
+            profile_id=profile_id,
+            action_type=action_type,
+            new_fact_id=new_fact_id,
+            existing_fact_id=existing_fact_id,
+            reason=reason,
+        )
+        self._db.execute(
+            "INSERT INTO consolidation_log "
+            "(action_id, profile_id, action_type, new_fact_id, "
+            " existing_fact_id, reason, timestamp) "
+            "VALUES (?,?,?,?,?,?,?)",
+            (
+                action.action_id, action.profile_id,
+                action.action_type.value, action.new_fact_id,
+                action.existing_fact_id, action.reason, action.timestamp,
+            ),
+        )
+        return action
+
+
+# ---------------------------------------------------------------------------
+# Module-level helpers (pure functions, no side effects)
+# ---------------------------------------------------------------------------
+
+def _compute_similarity(
+    emb_a: list[float] | None, emb_b: list[float] | None,
+) -> float:
+    """Cosine similarity between two embedding vectors.
+
+    Returns 0.0 if either embedding is None or empty.
+    """
+    if not emb_a or not emb_b:
+        return 0.0
+    if len(emb_a) != len(emb_b):
+        return 0.0
+
+    dot = sum(a * b for a, b in zip(emb_a, emb_b))
+    norm_a = math.sqrt(sum(a * a for a in emb_a))
+    norm_b = math.sqrt(sum(b * b for b in emb_b))
+
+    if norm_a < 1e-12 or norm_b < 1e-12:
+        return 0.0
+    return dot / (norm_a * norm_b)
+
+
+def _jaccard(set_a: set[str], set_b: set[str]) -> float:
+    """Jaccard similarity of two string sets. Returns 0.0 if both empty."""
+    if not set_a and not set_b:
+        return 0.0
+    intersection = len(set_a & set_b)
+    union = len(set_a | set_b)
+    return intersection / union if union > 0 else 0.0

package/src/superlocalmemory/encoding/emotional.py

@@ -0,0 +1,125 @@
+# Copyright (c) 2026 Varun Pratap Bhardwaj / Qualixar
+# Licensed under the MIT License - see LICENSE file
+# Part of SuperLocalMemory V3 | https://qualixar.com | https://varunpratap.com
+
+"""SuperLocalMemory V3 — Emotional Tagging (VADER).
+
+Extracts emotional valence and arousal from text.
+Emotionally charged memories are stored more strongly and retrieved more easily
+(amygdala tagging principle from neuroscience).
+
+Ported from V1 — VADER-based, zero-LLM, works in all modes.
+
+Part of Qualixar | Author: Varun Pratap Bhardwaj
+"""
+
+from __future__ import annotations
+
+import logging
+import math
+from dataclasses import dataclass
+
+logger = logging.getLogger(__name__)
+
+_vader_analyzer = None
+
+
+def _get_vader():
+    """Lazy-load VADER to avoid import cost on startup."""
+    global _vader_analyzer
+    if _vader_analyzer is not None:
+        return _vader_analyzer
+    try:
+        from vaderSentiment.vaderSentiment import SentimentIntensityAnalyzer
+        _vader_analyzer = SentimentIntensityAnalyzer()
+    except ImportError:
+        logger.warning("vaderSentiment not installed — emotional tagging disabled")
+        _vader_analyzer = None
+    return _vader_analyzer
+
+
+@dataclass(frozen=True)
+class EmotionalTag:
+    """Emotional metadata for a memory or fact."""
+
+    valence: float   # -1.0 (negative) to +1.0 (positive)
+    arousal: float   # 0.0 (calm) to 1.0 (intense)
+
+
+def tag_emotion(text: str) -> EmotionalTag:
+    """Extract emotional valence and arousal from text.
+
+    Valence: VADER compound score [-1, +1].
+    Arousal: absolute compound + max(pos, neg) — higher = more emotional intensity.
+    Falls back to keyword heuristic when VADER is unavailable.
+    """
+    analyzer = _get_vader()
+    if analyzer is None:
+        return _keyword_fallback(text)
+
+    scores = analyzer.polarity_scores(text)
+    compound = scores["compound"]     # -1 to +1
+    pos = scores["pos"]               # 0 to 1
+    neg = scores["neg"]               # 0 to 1
+
+    valence = compound
+    # Arousal = emotional intensity regardless of direction
+    arousal = min(1.0, abs(compound) * 0.6 + max(pos, neg) * 0.4)
+
+    return EmotionalTag(valence=round(valence, 4), arousal=round(arousal, 4))
+
+
+_POSITIVE_WORDS: frozenset[str] = frozenset({
+    "love", "amazing", "wonderful", "great", "happy", "fantastic",
+    "excellent", "beautiful", "awesome", "brilliant", "incredible",
+    "joy", "thrilled", "grateful", "delighted", "superb",
+})
+
+_NEGATIVE_WORDS: frozenset[str] = frozenset({
+    "hate", "terrible", "horrible", "awful", "bad", "worst",
+    "angry", "frustrated", "disappointed", "sad", "miserable",
+    "disgusting", "dreadful", "pathetic", "furious", "outraged",
+})
+
+
+def _keyword_fallback(text: str) -> EmotionalTag:
+    """Lightweight sentiment heuristic when VADER is unavailable.
+
+    Counts positive/negative keywords and derives approximate valence/arousal.
+    """
+    if not text.strip():
+        return EmotionalTag(valence=0.0, arousal=0.0)
+
+    words = set(text.lower().split())
+    pos_count = len(words & _POSITIVE_WORDS)
+    neg_count = len(words & _NEGATIVE_WORDS)
+    total = pos_count + neg_count
+
+    if total == 0:
+        return EmotionalTag(valence=0.0, arousal=0.0)
+
+    # Valence: positive - negative, normalised to [-1, 1]
+    raw_valence = (pos_count - neg_count) / total
+    valence = max(-1.0, min(1.0, raw_valence))
+
+    # Arousal: how many emotional words relative to total word count
+    word_count = max(len(words), 1)
+    arousal = min(1.0, total / word_count * 2.0)
+
+    return EmotionalTag(valence=round(valence, 4), arousal=round(arousal, 4))
+
+
+def is_emotionally_significant(tag: EmotionalTag, threshold: float = 0.3) -> bool:
+    """Check if the emotional signal is strong enough to boost importance."""
+    return tag.arousal >= threshold
+
+
+def emotional_importance_boost(tag: EmotionalTag) -> float:
+    """Compute importance boost from emotional signal.
+
+    Returns 0.0-0.3 boost. High arousal memories get stored more strongly
+    (amygdala-inspired encoding enhancement).
+    """
+    if tag.arousal <= 0.2:
+        return 0.0
+    return min(0.3, tag.arousal * 0.3)