eukhe by gildrb.com · Tangled

Coding agent with a memory of all things

Version history of docs/runtime.md

October 2026

Merge branch 'bend/all-memory' into

committed 2w ago

stream: the tool output bounder's window, counts, store/drop/trim and notice run as compiled Bend (new bound entry id 76, a call and a Stepper); its Rust copy and bridge

committed 2w ago

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id

committed 2w ago

fsmode: runs as compiled Bend (ffi_fsmode, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

committed 2w ago

kernel_local: runs as compiled Bend (ffi_kernel_local, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

committed 2w ago

bridge/: the Rust-vs-Bend test drivers leave bend/, which holds only the code the laws import

committed 2w ago

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def

committed 2w ago

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

committed 2w ago

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 2w ago

docs: harden README, AGENTS.md and docs/ to the

committed 2w ago

laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the

committed 3w ago

Own the socket directory, refuse other users' peers, keep session files private, and never run a session in

committed 3w ago

Sessions never download: install the kernel with `eukhe kernel install`, packages only with `eukhe

committed 3w ago

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

committed 3w ago