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

Version history of docs/control.md

October 2026

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
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
laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout
committed
gildrb.com
Config writes never destroy what they could not read, settings save one key, and every bad value is reported
committed
gildrb.com
Stop a goal and flag a subagent that make no progress, and show every fallback and skill failure
committed
gildrb.com
Remove the goal no-progress strike, which no reply can reach any more
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