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

Version history of docs/memory.md

October 2026

gildrb.com
bend: pin 2.0.39 (selfcheck 14 ok; runtime functions the shim mirrors byte-identical; core.c regenerated; both proof gates and every bridge pass)
committed
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: 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: harden README, AGENTS.md and docs/ to the necessities
committed
gildrb.com
ci: the pre-push hook checks the pushed commits in place (fmt, secrets, clippy and tests on the touched crates, bend PROOF.bend) with no lock; the full gate runs nightly (scripts/ci_nightly.sh) and starts the release only when green
committed
gildrb.com
laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout
committed
gildrb.com
ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks
committed
gildrb.com
bend: 2.0.38 (Base now declares Text: rename run Reply.Text to Plain, doc_search Form.Text to Opened, tokens Need.Text to Prose); CI pin 2.0.38
committed
gildrb.com
README: ASD-STE100, minimum text; details move to docs/; eukhe.com redirects come from the gildrb-products Worker
committed
gildrb.com
Release every green main commit as Eukhe v0.10.N, and set up Bend in CI with one pinned action
committed
gildrb.com
Join the push_agrees chunks with literal step counts, so the checker no longer overflows its stack
committed
gildrb.com
Mark a chat-memory turn with a Turn: line, so the model no longer takes a bare message for a compaction
committed
gildrb.com
Prove that every compactor call ends with a line that fits and a turn never waits forever for the memory
committed
gildrb.com
Prove that the due order makes Taelin's push merges at every step
committed
gildrb.com
Name the agent-reply memory kind eukhe, reading old talk lines
committed
gildrb.com
Align the chat memory with the current OptChat gist and prove its laws in Bend
committed