Claude Code Ultra in Emacs. Split Emacs windows: Bottom is Claude Code, top left is code, top right is db-backed editable spec (propositions and premises) with Clojure like eval that sends spec to Claude Code.