An evidence-first agent for the HYPER-AI IDE that grounds answers with RAG, executes constrained file actions, streams IDE events with SSE, and proves every change with diffs, hashes, tamper-evident r