#+TITLE: Flight Plan: Reactive Reasoning Interface
#+DATE: 2026-04-07
#+FILETAGS: :plan:emacs:ui:reasoning:

* Phase A: Demand (Verify State)
- Current state: `opencortex.el` combines final outputs and internal thoughts into a single `*opencortex-chat*` buffer.
- Goal: Create a dedicated `*opencortex-reasoning*` buffer for internal LLM logs. Add an interrupt hotkey (`C-c C-k`).

* Phase B: Blueprint (Surgical Edits)
- Modify `projects/opencortex/src/opencortex.el` to route `(:log :LOG)` messages to `*opencortex-reasoning*`.
- Add `opencortex-interrupt` command that sends `(:type :EVENT :payload (:sensor :interrupt))` to the kernel.
- Bind `C-c C-k` to `opencortex-interrupt` in the chat buffer.
- Open `*opencortex-reasoning*` as a side-window when `opencortex-chat` is called.

* Phase C: Tester (Automated Proof)
- Test Emacs evaluation using batch mode to verify the syntax of the modified `opencortex.el`.
- Open Emacs and connect to the live kernel to verify message routing.