3 papers
cs.AI2026
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…
cs.SE2026
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…
cs.AI2026
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…