memex/system/plans/flight-plan-reasoning.org

Flight Plan: Reactive Reasoning Interface

• Phase A: Demand (Verify State)
• Phase B: Blueprint (Surgical Edits)
• Phase C: Tester (Automated Proof)

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.