Aletheia is an open-source attempt to explore what loop engineering looks like when reality has no test suite. It maintains an explicit view of what may be true, chooses each next search for its ability to change that view, and lets contradictory evidence reduce confidence. It runs with Claude Code and OpenAI Codex; Feedback is welcome.