6 papers
SuperLocalMemory 4.0: The Governed Memory Operating System for AI Agents
Varun Pratap Bhardwaj, Garima Singh, Arun Pratap Bhardwaj
We present SuperLocalMemory 4.0, a governed, local-first memory operating system for AI agents, unifying multi-channel retrieval under reciprocal-rank fusion, bi-temporal recall, m…
Bounded Loops: Pre-Run Spend Bounds, Proved Termination, and Verified Completion for Agent Harnesses
Varun Pratap Bhardwaj, Garima Singh, Arun Pratap Bhardwaj
In mainstream agent frameworks, a step ends when the agent's own output says it has finished. Durable-execution platforms bound retries and time, but their checker conventionally l…
Agent Behavioral Contracts II: Certifying Compositional Reliability Without Assuming Independence
Varun Pratap Bhardwaj, Garima Singh, Arun Pratap Bhardwaj
Compositional reliability bounds for multi-agent systems multiply component reliabilities, a step licensed by a conditional-independence assumption that is routinely stated and rar…
SuperLocalMemory V3.3: The Living Brain -- Biologically-Inspired Forgetting, Cognitive Quantization, and Multi-Channel Retrieval for Zero-LLM Agent Memory Systems
Varun Pratap Bhardwaj
AI coding agents operate in a paradox: they possess vast parametric knowledge yet cannot remember a conversation from an hour ago. Existing memory systems store text in vector data…
SuperLocalMemory V3: Information-Geometric Foundations for Zero-LLM Enterprise Agent Memory
Varun Pratap Bhardwaj
Persistent memory is a central capability for AI agents, yet the mathematical foundations of memory retrieval, lifecycle management, and consistency remain unexplored. Current syst…
The limit-point/limit-circle classification for ordinary differential equations with distributional coefficients
Varun Bhardwaj, Rudi Weikard
We investigate the limit-point/limit-circle classification for the differential equation where and and…