Research drafts on revl: typed revertible effects, replay, hot swap and agent authority

68 research paper drafts about revl, a language and compiler for agent systems built on the Cordis plugin framework. Topics: typed revertible effects, space and time replay, generational hot swap across runtimes, emergency stop, capability-bound secrets, information flow from untrusted data, a self-hosted compiler checked against a differential oracle, and governed self-evolution of agents. Each draft gives its claim, its contributions, related work, the evidence on revl main with file and line references, the numbers measured so far, a paper outline and its threats to validity. The claims were checked against revl commit 45bec431f3216bdcc0cda97981f2c4830dced3a3. These are drafts, not peer reviewed. The archive holds the Markdown sources (papers/, README.md, research.json) and the rendered HTML pages (html/research/index.html). The same pages are published at https://inso1337.github.io/revl/research/.