bend · eukhe · Tangled

Coding agent with a memory of all things

eukhe bend

119 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

Gate every step by all its effects, gate ipython like exec, keep credentials out of children, and route approvals

auth_flight.bend

Hold an OAuth refresh flight until its credential is stored, so a waiting caller never fetches again

aux_fallback.bend

Stop a goal and flag a subagent that make no progress, and show every fallback and skill failure

bridge_admission.bend

Prove that a user's request never waits behind background work

bridge_approvals.bend

Gate every step by all its effects, gate ipython like exec, keep credentials out of children, and route approvals

bridge_auth_flight.bend

Hold an OAuth refresh flight until its credential is stored, so a waiting caller never fetches again

bridge_aux_fallback.bend

Stop a goal and flag a subagent that make no progress, and show every fallback and skill failure

bridge_catalog_union.bend

Serve the union of the bundled and compiled model catalogs, so a stale snapshot never hides a model

bridge_child_env.bend

Gate every step by all its effects, gate ipython like exec, keep credentials out of children, and route approvals

bridge_child.bend

Prove that every subagent reports back exactly once, and stop a stalled or unreachable one

bridge_compactor.bend

Prove that every compactor call ends with a line that fits and a turn never waits forever for the memory

bridge_config.bend

Config writes never destroy what they could not read, settings save one key, and every bad value is reported

bridge_cron.bend

A cron job fires once across processes, finishes after its run, and is never dropped

bridge_cvar.bend

Turn every setting into a console variable: one declaration table, config.cfg layers, agent families, aliases and binds

bridge_dash.bend

The dashboard requires a pairing token: no frame reaches the daemon without the current one

bridge_default_model.bend

Config writes never destroy what they could not read, settings save one key, and every bad value is reported

bridge_director.bend

Ask a stack of Directors after each final answer: the goal, the autonomous run, reminders and forced tool calls, with a proven bound on the loop

bridge_doc_commit.bend

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

bridge_doc_lines.bend

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

bridge_doc_rows.bend

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

bridge_doc_search.bend

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

bridge_doc_seen.bend

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

bridge_doc_tags.bend

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

bridge_effort.bend

Thinking ladders and service tiers are rulebook data, not code

bridge_facts.bend

Move the remaining model and provider facts from code into the rulebook, with oracle tests where behavior stays

bridge_fsmode.bend

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

bridge_gateway_width.bend

Align Signal tables by display width, so CJK and emoji rows line up

bridge_infer.bend

Cut a provider stream whose last k lines repeat a block of up to k/4 lines, not only one line k times in a row

bridge_job.bend

Bound every output by one truncation setting, make every long run a job in the state tree, and journal a tool call as its start and its settle only

bridge_kernel_local.bend

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

bridge_launcher.bend

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

bridge_log.bend

The commit log survives any crash point, staging never overwrites, and a session is listed once

bridge_notice.bend

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

bridge_orphan.bend

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

bridge_path_policy.bend

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

bridge_paths.bend

Fix the tool roster when a session opens, reach later tools through dyn, serve internal URLs through one path walk, and add the in-process bash tool with its approval gate

bridge_progress.bend

Stop a goal and flag a subagent that make no progress, and show every fallback and skill failure

bridge_quirks.bend

Give the inference layer a proven quirks rulebook, forced tool calls with escalation, a strict-schema budget, a repeated-stream guard and early background compaction

bridge_recover.bend

Help a stuck model get unstuck instead of watching it: length, repeat and leak recoveries, tool calls on any stop reason

bridge_report.bend

Prove that every subagent reports back exactly once, and stop a stalled or unreachable one

bridge_retry.bend

Retry by recorded status, never before the server's wait, and fail over without ping-pong or double billing

bridge_revive.bend

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

bridge_run.bend

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

bridge_runners.bend

Gate every step by all its effects, gate ipython like exec, keep credentials out of children, and route approvals

bridge_sandbox.bend

Bound the host protocol with a frame gate, run the kernel through a transport, add @remote functions, and give subagents an isolated copy-on-write workspace

bridge_semver.bend

Release every green main commit as Eukhe v0.10.N, and set up Bend in CI with one pinned action

bridge_shell.bend

Gate every step by all its effects, gate ipython like exec, keep credentials out of children, and route approvals

bridge_skill_load.bend

Stop a goal and flag a subagent that make no progress, and show every fallback and skill failure

bridge_staging.bend

The commit log survives any crash point, staging never overwrites, and a session is listed once

bridge_stream.bend

Bound every output by one truncation setting, make every long run a job in the state tree, and journal a tool call as its start and its settle only

bridge_supervise.bend

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

bridge_theme.bend

One theme source for the TUI and the HTML export, with contrast laws on every shipped theme

bridge_tiny.bend

Run small local models for titles, judgments, translation, speech and dictation through one shared worker, installed only by eukhe tiny-models download

bridge_tokens.bend

Every dashboard presentation value comes from the StyleX tokens, enforced by a lint rule and Bend laws

bridge_tools.bend

Fix the tool roster when a session opens, reach later tools through dyn, serve internal URLs through one path walk, and add the in-process bash tool with its approval gate

bridge_tree.bend

Keep one session state tree per session, derived from the commit stream, with a proven model, snapshots, a rewind plan and an opt-in subscription

bridge_tui_color.bend

A TUI colour can come only from the theme, the effort ramp follows each model's ladder, and usage bands follow its window

bridge_wait.bend

Prove that every other wait has an exit, and bound the waits a turn makes on the memory and its provider

bridge_workflow.bend

laws: dynamic workflow concurrency, budget, resume cache and sibling results, with the Rust bridge

Prove that every compactor call ends with a line that fits and a turn never waits forever for the memory

catalog_union.bend

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

Gate every step by all its effects, gate ipython like exec, keep credentials out of children, and route approvals

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

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

core_entries.txt

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

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

A cron job fires once across processes, finishes after its run, and is never dropped

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

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

default_model.bend

Config writes never destroy what they could not read, settings save one key, and every bad value is reported

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

doc_commit.bend

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

doc_search.bend

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

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

Edits land all-or-nothing and say what landed, write never loses unseen changes, and one line model serves read, grep and edit

Settle the thinking level when a session opens, show the level that is sent, and cycle it with Shift+Tab

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

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

ffi_replace.bend

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

ffi_screen.bend

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

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

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

gateway_width.bend

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

Thinking ladders and service tiers are rulebook data, not code

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

kernel_local.bend

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

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

Prove that every other wait has an exit, and bound the waits a turn makes on the memory and its provider

The commit log survives any crash point, staging never overwrites, and a session is listed once

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

Prove that every compactor call ends with a line that fits and a turn never waits forever for the memory

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

path_policy.bend

One path policy for the document tools and the shell: real paths, protected config, secrets, workspace bounds

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

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

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

workflow: runs go on in the background and report once

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

bend: screen and replace models fit the real rules (tail-only ledger, guarded share, a bounded version reader, native rank compares, string build ids)

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

skill_load.bend

Stop a goal and flag a subagent that make no progress, and show every fallback and skill failure

Align the chat memory with the current OptChat gist and prove its laws in Bend

The commit log survives any crash point, staging never overwrites, and a session is listed once

The supervisor heals, revives long runs, never loops restarts, and a daemon is never replaced by an older or background client

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

Run small local models for titles, judgments, translation, speech and dictation through one shared worker, installed only by eukhe tiny-models download

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

Gate every step by all its effects, gate ipython like exec, keep credentials out of children, and route approvals

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

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

Prove that every other wait has an exit, and bound the waits a turn makes on the memory and its provider

bend: the wire format of the compiled Bend core (bend/wire.bend, crates/eukhe-bend/WIRE.md)

laws: dynamic workflow concurrency, budget, resume cache and sibling results, with the Rust bridge