18 lines
989 B
Org Mode
18 lines
989 B
Org Mode
#+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.
|