eukhe
Coding agent with a memory of all things
Star 0
Fork 0
Watch

Version history of docs/interface.md

October 2026

gildrb.com
bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility
committed
gildrb.com
bridge/: the Rust-vs-Bend test drivers leave bend/, which holds only the code the laws import
committed
gildrb.com
laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>
committed
gildrb.com
proofs: the Bend Bank layout per area: proof/<area>/<law>.bend per law, proof/<area>/base.bend and proof/base.bend for shared lemmas, PROOF.bend imports only
committed
gildrb.com
slash commands: /tier and /effort keep their handlers' value errors (free text); e2e tests drive the /model role hub (/model chat, ctrl+l roles -> models, Esc after a pick)
committed
gildrb.com
slash commands: subcommand paths run as the compiled command model; Space/Tab/Enter descend, ghost usage hint, a path never runs its parent; /memory-model -> /memory model, /workflow-size -> /workflows size; /model <role> from ModelRole; argument lists (tier, effort, workflows size, dynamic-workflow --size) on the table
committed
gildrb.com
docs: the compiled Bend core's facts (screen entry and paint decision, run, tree, orphan and restart budget, replace, edge rules, retry, admission, default model) in the hardened text
committed
gildrb.com
docs: harden README, AGENTS.md and docs/ to the necessities
committed
gildrb.com
theme: a second file with the same theme loses silently; only a name with other colors is a collision
committed
gildrb.com
fix(tui): the screen never stops on a failed frame check
committed
gildrb.com
tui: the indicator stays through the answer's reveal, a failed reply stays live until a row follows it, a queued key wins over the quiet tick
committed
gildrb.com
laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout
committed
gildrb.com
docs: interface S8 states the turn visibility contract
committed
gildrb.com
tui: fullscreen by default; an explicit terminal.fullscreen false stays inline
committed
gildrb.com
Move the remaining model and provider facts from code into the rulebook, with oracle tests where behavior stays
committed
gildrb.com
A TUI colour can come only from the theme, the effort ramp follows each model's ladder, and usage bands follow its window
committed
gildrb.com
The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client
committed
gildrb.com
One theme source for the TUI and the HTML export, with contrast laws on every shipped theme
committed
gildrb.com
Settle the thinking level when a session opens, show the level that is sent, and cycle it with Shift+Tab
committed
gildrb.com
Show the generation speed on the status line: a prefill timer or llama.cpp's prompt progress, the live decode rate, and the last response's rates
committed
gildrb.com
Split the harness laws page into an index of shared rules and one page per area, and point every reference at the page that now holds its section
committed