eukhe by gildrb.com · Tangled

Coding agent with a memory of all things

Commits on bend/all

Merge remote-tracking branch 'origin/bend/all' into bend/all

committed 2w ago

chat memory: no root-turn lease; many windows turn at once (the user: never restrict multiple open

committed 2w ago

spec: Lean 4 formalization of the log and optchat

committed 2w ago

Merge branch 'bend/br-run' into bend/optchat-speed

committed 2w ago

Merge branch 'bend/br-host' into

committed 2w ago

optchat: the chat-memory planner runs as a stepper of the compiled core; the planner's Rust copy and the optchat bridge are bend/br-run

committed 2w ago

dash: each dashboard socket's pairing gate is a compiled Bend stepper (entry 101: call + stepper); http.rs and bridge.rs are its event loop and the pairing bridge bend/br-host

committed 2w ago

Merge branch 'bend/regexout' into

committed 2w ago

bend: explicit error-text rules replace the eukhe-ai error regexes (entry 381

committed 2w ago

Merge branch 'bend/br-host' into

committed 2w ago

approvals: each session's desk is a compiled Bend stepper (entry 53: call + stepper); shell_approval is its event loop and the approvals bridge

committed 2w ago

Merge branch 'bend/regexout' into

committed 2w ago

laws(glob): pin the parser's edges, R5b/R5c in words, UTF-8 boundaries; drop dead

committed 2w ago

stream: a tool call's journal runs as a stepper of the compiled core; the stream bridge is

committed 2w ago

laws: tiny_worker_terms_exact (a fresh specification-completeness review proved every tiny law with a worker model that never starts a worker, `needs` and `last_tag` redefined to

committed 2w ago

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge

committed 2w ago

Merge branch 'bend/br-host' into

committed 2w ago

laws: tiny_worker_terms_exact (a fresh specification-completeness review proved every tiny law with a worker model that never starts a worker, `needs` and `last_tag` redefined to

committed 2w ago

Merge branch 'bend/br-run' into

committed 2w ago

retry: the stream-idle deadline runs as a stepper of the compiled core; the retry bridge is

committed 2w ago

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge

committed 2w ago

bend: split bend/glob.bend into bend/glob/ (parse, items, match, queries), no behavior

committed 2w ago

deps: tokio 1.54.1 (RUSTSEC-2026-0386); the four AsyncFd constructions wrap owned fds (pidfd, inotify, kqueue), so the deprecated safe constructors stay, each allowed with its reason (the replacement is unsafe, which the workspace forbids)

committed 2w ago

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is

committed 2w ago

Merge branch 'bend/regexout' into

committed 2w ago

core: glob matching runs as the compiled core (entry 380 glob), on a proven globset-exact matcher; eukhe-core drops

committed 2w ago

Merge branch 'bend/p2-core1' into

committed 2w ago

laws(refine_plan): R4 says an edit without a kind is an invalid create bend/p2-core1

committed 2w ago

Merge branch 'bend/p2-ai' into

committed 2w ago

Merge branch 'bend/all-jobs' into

committed 2w ago

ai: what a provider's HTTP error shows runs as the compiled core (entry 233 bend/p2-ai

committed 2w ago

refinement: a reply too long for the core's truncation scan is an error, not a

committed 2w ago

refinement: the /refine planner's decisions run as the compiled core (entry 295

committed 2w ago

laws: progress_terms_exact, progress_type_terms_exact (the progress model's terms, pinned; fresh adversaries noted them

committed 2w ago

laws: cron_terms_exact (a third fresh adversary's `has` always False made cron_finish_refines vacuous and every cron law

committed 2w ago

eukhe-bend: stream_failure's Rust tag tables are checked against the

committed 2w ago

laws: overflow's message example fits the --verdict kernel's

committed 2w ago

packages: package sources are parsed, checked and worded by the compiled core (entry 294

committed 2w ago

auth: the pasted login redirect is cleaned, parsed, checked and worded by the compiled core (entry 293

committed 2w ago

Merge branch 'bend/p2-ai' into

committed 2w ago

goals: the goal prompts, usage line, tokens left and completion report run as the compiled core (entry 292

committed 2w ago

laws: job_model_terms_exact (the model terms the S2 job laws read, pinned; a fifth fresh adversary noted them

committed 2w ago

ai: the cause and message of a failed provider stream run as the compiled core (entry 232

committed 2w ago

ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search

committed 2w ago

slash commands: /goal and /autonomous arguments, goal objectives and command words run as the compiled core (entry 291

committed 2w ago

mcp: the catalog's literal-host check runs as the compiled core (entry 290

committed 2w ago

ai: the cache-mark budget of a provider request runs as the compiled core (entry 230

committed 2w ago

laws: retry_terms_exact (a third fresh adversary's policy accessor read a failover budget of 0 as 1 and every retry law

committed 2w ago

Merge branch 'bend/all-settings' into

committed 2w ago

wire: pin every numeric writer and reader to an independent decimal bend/wireu32

committed 2w ago

proof(gateway_backoff): example rewrites doubled waits, no deep bend/stackfix

committed 2w ago

laws: job_feed_past_bound (a fourth fresh adversary's feed grew the counts of a job already past the

committed 2w ago

laws: wait_run_exact, wait_terms_exact, lease_run_is_go (a third fresh adversary's wait run that never ended and lease run that restarted at a stop passed every

committed 2w ago

Merge branch 'bend/p2-small' into

committed 2w ago

gateway: the phone commands parse as the compiled core (entry 205 bend/p2-small

committed 2w ago

Merge branch 'bend/all-settings-config' into bend/all-settings

committed 2w ago

slash commands: the suggestion for a mistyped name runs as the compiled core (entry 204

committed 2w ago

Merge branch 'bend/p2-durable' into

committed 2w ago

laws: config pins the setter over an unreadable file (save_exact) and every model helper the config laws bend/all-settings-config

committed 2w ago

Merge branch 'bend/all-settings-theme' into

committed 2w ago