docs · eukhe · Tangled

Coding agent with a memory of all things

eukhe docs

17 files

gildrb.com · ci: pre-push scales with the change (laws, proofs and LAWS.lock select no crate; proofs only when a Bend input changed; gate.py --lock-only when a law or the lock changed) · 3w ago

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

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

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

ci: pre-push scales with the change (laws, proofs and LAWS.lock select no crate; proofs only when a Bend input changed; gate.py --lock-only when a law or the lock changed)

/model role hub: every model role with its value and source, global role writes, chat switches the session

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

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

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

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

local-models.md

/model role hub: every model role with its value and source, global role writes, chat switches the session

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)

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

approvals: nothing asks but a secret, like omp (default shell.autoEffects = read, write, exec, net, outside, protected; secret never grantable)

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

approvals: nothing asks but a secret, like omp (default shell.autoEffects = read, write, exec, net, outside, protected; secret never grantable)

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

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