docs · eukhe · Tangled

Coding agent with a memory of all things

eukhe docs

17 files

at bend/fix-replace

gildrb.com · bend: the transcript ledger, the pace, the stack and the replacement verdict run as their compiled Bend models (bend/ffi_screen.bend, bend/ffi_replace.bend); the bridges and the Rust rule bodies are gone · 3w ago

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

bend: the transcript ledger, the pace, the stack and the replacement verdict run as their compiled Bend models (bend/ffi_screen.bend, bend/ffi_replace.bend); the bridges and the Rust rule bodies are gone

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

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

gateway: answer every Signal message; gateway.signal.model picks its model

bend: the compiled Bend core (crate eukhe-bend): one C entry over Bend's emitted C, steppers, the wire format proven (LAWS.bend section wire), make bend-core

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

README: ASD-STE100, minimum text; details move to docs/; eukhe.com redirects come from the gildrb-products Worker

bend: the transcript ledger, the pace, the stack and the replacement verdict run as their compiled Bend models (bend/ffi_screen.bend, bend/ffi_replace.bend); the bridges and the Rust rule bodies are gone

local-models.md

README: ASD-STE100, minimum text; details move to docs/; eukhe.com redirects come from the gildrb-products Worker

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

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

failover: a pending answer after a switch ends like a failure; the note reads 'failover to X failed too'

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

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

README: ASD-STE100, minimum text; details move to docs/; eukhe.com redirects come from the gildrb-products Worker

tui: a pinned agents block above the composer shows every running subagent and job