Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
Branches
Name
Commit
Message
Date
ci: name the origin repo explicitly when dispatching the release (gh prefers an upstream remote over origin)
optchat: the chat-memory planner runs as a stepper of the compiled core; the planner's Rust copy and the optchat bridge are gone
tui: live worker pane (watch attach; right split from 140 columns, else a bottom strip; Alt+W, Shift+Alt+W full view, Esc back), Esc Esc within 1 s pauses a running worker, /pause and worker-aware /resume (pause_workers / resume_workers), Enter on the agents block resumes a paused worker, pinned block shows running/paused/idle, forwarded task/context/redirect rows and worker_assign/worker_forward cards show the user's words verbatim plus main's labelled note
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 goes
laws: flight_safety_witness (the premises of flight_no_caller_dropped and flight_done_once hold on a concrete run)
durable: the codemode section finds the tools shown through a set of the placed names and one walk over the tools, not a name scan per tool (entry codemode_describe id 272)
tui: a forward's details.userMessages entries may be plain strings (the daemon's shape) or {text, images}
laws: job_rewind_model_exact (a sixth fresh adversary's model rewind renamed a held running job and passed every law)
ai: what a provider's HTTP error shows runs as the compiled core (entry 233 error_body)
gateway: the phone commands parse as the compiled core (entry 205 gateway_commands)
laws: config pins the setter over an unreadable file (save_exact) and every model helper the config laws read
laws: tui resolves pinned; color dist/to256 specs claimed only where exact (channels at most 255)
command laws: after a word that names a child, the rest of the line is pinned in every table (spaces, a child, or argument text and unknown words by the named entry's own flags)
selection: a copied line drops its trailing blanks wherever its soft wrap falls
laws: tokens_type_in_range (a fresh gap search passed type sizes past the largest font size a browser renders)
rebase onto bend/all: re-lock LAWS.lock over bend/all's and this branch's laws; eukhe-docs testing keeps only Rng (glob's bridge, the last user of compare, is gone)
laws: flight_store_terms_exact (the store's accessors are its fields; a mutant Sto.fresh made flight_after_end_served vacuous)
laws: the model's verdicts are pinned (quirks_verdicts_exact, quirks_fine_all_exact): a fresh adversary's verdicts.go that searched clashes from the rule itself passed every law with an entry that did not call it
tui_color: ramp, usage band and roles run as compiled Bend (entry 63, ffi_tui_color); the Rust copies, the bridge and the law-pinned tests go
docs: the writer's choices run as the compiled core (new entry doc_commit id 103)
cvar: a settings document reads each cvar once, by its first declaration (cvar_document_exact corrected); the model's own terms pinned (cvar_terms_exact)
laws: frames_verdict_serve_exact (a verdict serves its frame exactly when it is Serve; a fresh blind adversary's Verdict.serve of Duplicate and Kindless passed frames_admit_serves_accepted)
laws: lines_carry_is_first_end (the carry is the file's first ending scanned byte by byte; a fresh adversary's last-line carry passed lines_carry_is_first)
laws: re-lock with kernel_local, launcher, fsmode, skill_load as compiled Bend (34 laws added; entry ids 35-38)
passivation: a parked child keeps its kernel while a background job runs (the release killed a running bash() build with exit -15)
passivation: a parked child keeps its kernel while a background job runs (the release killed a running bash() build with exit -15)
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)
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)
laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only
proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/
slash commands: /tier and /effort keep their handlers' value errors (free text); e2e tests drive the /model role hub (/model chat, ctrl+l roles -> models, Esc after a pick)
bridge/: the Rust-vs-Bend test drivers leave bend/, which holds only the code the laws import
/model role hub: every model role with its value and source, global role writes, chat switches the session
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
The SIGINT shield comes down only once the window's SIGINT left the process queue; the wake e2e matches rows whole and names what it waits for
ci: the nightly gate builds from an empty build dir, and the full gate builds without incremental files and with line tables only (one day of gate runs grew its build dir to 410 GB)
release: the first-parent check reads all of rev-list, so SIGPIPE under pipefail no longer fails it for every commit
ci-local: each test shard gets cores / shards test threads, so 8 shards no longer run 8x the cores and the real-time windows (kitty answer, teardown bound) hold
bend: default_model resolve and aux_fallback gate/settle run as the compiled core; their bridges and the law-covered decision test go
tree: a delete keeps its gone keys in a key map, so a lookup costs a path, not the keys gone so far (a 1262-node delete of a 22034-node tree: 830-1240 ms -> 20 ms); proven equal to the list walk
bend: the ladder, strict plan and budget entries: codec laws proven on the wire lemmas
adoption: a failed boot launch retries under the restart budget, never beside a surviving process
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
retry: the compiled entry bend/ffi_retry.bend (classify, wait, failover, stall) with its codec laws proven on the wire laws; eukhe_bend::rules::retry calls it
theme: the chase reads the variables through a tree split by index and keeps the variables met in a tree of the same shape (a step per level, not per variable), proven equal to the rule's walk
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
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
run: the run's decisions run as compiled bend/run.bend (bend/ffi_run.bend, codec proven on the wire laws); decide.rs/deferred.rs keep only the IO glue; the run and recover bridges and the deferred part of the retry bridge are gone
run: the run's decisions run as compiled bend/run.bend (bend/ffi_run.bend, codec proven on the wire laws); decide.rs/deferred.rs keep only the IO glue; the run and recover bridges and the deferred part of the retry bridge are gone
daemon: the orphan exit and the restart budget run as their compiled Bend models (bend/ffi_orphan.bend, bend/ffi_supervise.bend); their codec laws; the orphan bridge and the restart half of the supervise bridge are gone
daemon: the orphan exit and the restart budget run as their compiled Bend models (bend/ffi_orphan.bend, bend/ffi_supervise.bend); their codec laws; the orphan bridge and the restart half of the supervise bridge are gone
retry: the classifier, the wait, the failover walk and the stall run as the compiled Bend model; the Rust rule bodies, the core bridge and the law-covered tests are gone
retry: the classifier, the wait, the failover walk and the stall run as the compiled Bend model; the Rust rule bodies, the core bridge and the law-covered tests are gone
bend core: the Director step, the child environment and the cvar expansion and key presses run as their compiled models (ffi_director, ffi_child_env, ffi_cvar with codec laws); the Rust rule bodies, their bridges and the law-covered tests are gone
bend core: the Director step, the child environment and the cvar expansion and key presses run as their compiled models (ffi_director, ffi_child_env, ffi_cvar with codec laws); the Rust rule bodies, their bridges and the law-covered tests are gone
bend core: the Director step, the child environment and the cvar expansion and key presses run as their compiled models (ffi_director, ffi_child_env, ffi_cvar with codec laws); the Rust rule bodies, their bridges and the law-covered tests are gone
bend: wire codec laws for admission, workflow, default_model and aux_fallback (round trips, the entries answer the model, malformed input answers the error form)
bend: wire codec laws for admission, workflow, default_model and aux_fallback (round trips, the entries answer the model, malformed input answers the error form)
bend: the child task's decisions, the jobs' step, the goal's progress check and the hand-back plan run as the compiled Bend core (bend/ffi_{child,job,progress,sandbox}.bend, entry laws in LAWS.bend section core_w6); their Rust copies and bridges deleted
bend: the child task's decisions, the jobs' step, the goal's progress check and the hand-back plan run as the compiled Bend core (bend/ffi_{child,job,progress,sandbox}.bend, entry laws in LAWS.bend section core_w6); their Rust copies and bridges deleted
bend: the child task's decisions, the jobs' step, the goal's progress check and the hand-back plan run as the compiled Bend core (bend/ffi_{child,job,progress,sandbox}.bend, entry laws in LAWS.bend section core_w6); their Rust copies and bridges deleted
bend: the child task's decisions, the jobs' step, the goal's progress check and the hand-back plan run as the compiled Bend core (bend/ffi_{child,job,progress,sandbox}.bend, entry laws in LAWS.bend section core_w6); their Rust copies and bridges deleted