bend · eukhe · Tangled

Coding agent with a memory of all things

eukhe bend

5 folders · 212 files

gildrb.com · finish: the agent no longer stops while work remains · 1w ago

spec: formalize the durable task life, subagent admission and autoresearch as proven Bend entries

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

Merge origin/main into bend/spec

finish: the agent no longer stops while work remains

Merge origin/main into bend/spec

bridges: gone; auth reads and cron file and status writes run as proven entries

Merge origin/main into bend/spec

arg_repair.bend

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

auth_flight.bend

bridges: gone; auth reads and cron file and status writes run as proven entries

aux_fallback.bend

bend: admission keeps only live tickets (Live.step, refined to the model), workflow admit and effective_limits fully modelled, aux_fallback gate/settle, default_model resolution pinned; Rust rules become one pure call each

Merge origin/main into bend/spec

cache_marks.bend

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

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

catalog_union.bend

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/

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

Remove docs/, strip stale docs references, minimize README

codemode_id.bend

codemode: the identifier of a tool and the identifier test run as compiled Bend (new entry codemode_id id 260)

Merge origin/main into bend/spec

command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend

Merge origin/main into bend/spec

config: the config rules run as the compiled Bend core (entry 60, bend/ffi_config.bend); the Rust copy and its bridge are deleted

core_entries.txt

finish: the agent no longer stops while work remains

finish: the agent no longer stops while work remains

bridges: gone; auth reads and cron file and status writes run as proven entries

cron_store.bend

bridges: gone; auth reads and cron file and status writes run as proven entries

bridges: gone; auth reads and cron file and status writes run as proven entries

Merge origin/main into bend/spec

dash_access.bend

dashboard: the command policy and the Host/Origin checks run as the compiled core (entries 200 dash_policy, 201 dash_access)

dash_policy.bend

dashboard: the command policy and the Host/Origin checks run as the compiled core (entries 200 dash_policy, 201 dash_access)

Merge origin/main into bend/spec

default_model.bend

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

Remove docs/, strip stale docs references, minimize README

doc_commit.bend

docs: the writer's choices run as the compiled core (new entry doc_commit id 103)

glob: ranking and pages run as the compiled Bend core (entry 42 doc_glob)

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

durable: the retry note's text and a staged document's content and publication run as compiled Bend (new entries retry_note id 263, doc_plan id 264)

read: a gap marker before every span that does not start right after the one before (doc_rows)

doc_search.bend

glob: ranking and pages run as the compiled Bend core (entry 42 doc_glob)

docs: the seen guard and the persist plan run as the compiled Bend core

docs: grep's tag choice for each shown file runs as the compiled core (new entry doc_tags id 102)

Remove docs/, strip stale docs references, minimize README

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

error_body.bend

ai: what a provider's HTTP error shows runs as the compiled core (entry 233 error_body)

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

spec: formalize the durable task life, subagent admission and autoresearch as proven Bend entries

ffi_admission.bend

bend: admission runs as its Bend stepper and workflow admit/effective_limits as Bend calls; the admission and workflow bridges and the law-covered admission tests go

ffi_approvals.bend

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

ffi_arg_repair.bend

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

ffi_auth_flight.bend

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

ffi_auth_read.bend

bridges: gone; auth reads and cron file and status writes run as proven entries

ffi_autoresearch.bend

spec: formalize the durable task life, subagent admission and autoresearch as proven Bend entries

ffi_aux_fallback.bend

bend: admission runs as its Bend stepper and workflow admit/effective_limits as Bend calls; the admission and workflow bridges and the law-covered admission tests go

stream: the tool output bounder's window, counts, store/drop/trim and notice run as compiled Bend (new bound entry id 76, a call and a Stepper); its Rust copy and bridge go

ffi_cache_marks.bend

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

ffi_call_lift.bend

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

ffi_catalog_union.bend

bend core W9 phase B: the edge rules run as their compiled models

ffi_child_env.bend

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: 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

ffi_codemode_id.bend

codemode: the identifier of a tool and the identifier test run as compiled Bend (new entry codemode_id id 260)

theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go

ffi_command.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

ffi_compactor.bend

Merge origin/main into bend/spec

ffi_config.bend

config: the config rules run as the compiled Bend core (entry 60, bend/ffi_config.bend); the Rust copy and its bridge are deleted

ffi_cron_file.bend

bridges: gone; auth reads and cron file and status writes run as proven entries

bridges: gone; auth reads and cron file and status writes run as proven entries

ffi_cvar_layers.bend

cvar: resolution decided by the compiled core (new cvar_layers entry id 64); the Rust copy, its bridge and the law-covered tests go

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

ffi_dash_access.bend

dashboard: the command policy and the Host/Origin checks run as the compiled core (entries 200 dash_policy, 201 dash_access)

ffi_dash_policy.bend

dashboard: the command policy and the Host/Origin checks run as the compiled core (entries 200 dash_policy, 201 dash_access)

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

ffi_default_model.bend

bend: admission runs as its Bend stepper and workflow admit/effective_limits as Bend calls; the admission and workflow bridges and the law-covered admission tests go

ffi_director.bend

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

ffi_doc_commit.bend

docs: the writer's choices run as the compiled core (new entry doc_commit id 103)

ffi_doc_glob.bend

glob: ranking and pages run as the compiled Bend core (entry 42 doc_glob)

ffi_doc_lines.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

ffi_doc_plan.bend

durable: the retry note's text and a staged document's content and publication run as compiled Bend (new entries retry_note id 263, doc_plan id 264)

ffi_doc_rows.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

ffi_doc_search.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

ffi_doc_seen.bend

docs: the seen guard and the persist plan run as the compiled Bend core

ffi_doc_tags.bend

docs: grep's tag choice for each shown file runs as the compiled core (new entry doc_tags id 102)

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_effort.bend

bend: the ladder, strict plan and budget entries: codec laws proven on the wire lemmas

ffi_err_text.bend

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

ffi_error_body.bend

ai: what a provider's HTTP error shows runs as the compiled core (entry 233 error_body)

bend: the ladder, strict plan and budget entries: codec laws proven on the wire lemmas

ffi_family.bend

spec: formalize the durable task life, subagent admission and autoresearch as proven Bend entries

ffi_frames.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

ffi_fsmode.bend

fsmode: runs as compiled Bend (ffi_fsmode, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

ffi_gateway_answer.bend

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)

ffi_gateway_backoff.bend

gateway: the reconnect wait runs as the compiled core (entry 203 gateway_backoff)

ffi_gateway_commands.bend

Merge origin/main into bend/spec

ffi_gateway_width.bend

bend core W9 phase B: the edge rules run as their compiled models

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

ffi_goal_text.bend

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

ffi_headless_exit.bend

finish: the agent no longer stops while work remains

ffi_headless_settle.bend

finish: the agent no longer stops while work remains

ffi_infer_force.bend

infer: the forced call, the repetition guard and early compaction run as compiled Bend (entries 73 infer_force, 74 infer_guard a Stepper, 75 infer_threshold); the Rust copies, bridge_infer and the law-covered tests go

ffi_infer_guard.bend

infer: the forced call, the repetition guard and early compaction run as compiled Bend (entries 73 infer_force, 74 infer_guard a Stepper, 75 infer_threshold); the Rust copies, bridge_infer and the law-covered tests go

ffi_infer_threshold.bend

infer: the forced call, the repetition guard and early compaction run as compiled Bend (entries 73 infer_force, 74 infer_guard a Stepper, 75 infer_threshold); the Rust copies, bridge_infer and the law-covered tests go

bend: the ladder, strict plan and budget entries: codec laws proven on the wire lemmas

ffi_job_rewind.bend

job: the rewind kills and each poll of a blocking wait decided by the compiled core (new entries job_rewind id 80, job_wait id 81); spec-speller entry laws for job (id 14); the bridge keeps only the wait interleaving

ffi_job_wait.bend

job: the rewind kills and each poll of a blocking wait decided by the compiled core (new entries job_rewind id 80, job_wait id 81); spec-speller entry laws for job (id 14); the bridge keeps only the wait interleaving

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

ffi_kernel_local.bend

kernel_local: runs as compiled Bend (ffi_kernel_local, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

ffi_launcher.bend

launcher: runs as compiled Bend (ffi_launcher, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

log: runs as compiled Bend (ffi_log, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

ffi_mcp_url.bend

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

ffi_model_facts.bend

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

ffi_notice.bend

notice: runs as compiled Bend (ffi_notice, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

ffi_optchat.bend

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

ffi_orphan.bend

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

ffi_overflow.bend

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

ffi_package_source.bend

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

ffi_path_policy.bend

bend core W9 phase B: the edge rules run as their compiled models

ffi_progress.bend

progress: the work ledger and the goal check's prior decided by the compiled core (new work entry id 83, a Stepper and a call)

ffi_quirks.bend

quirks: the rulebook's compile and lookup run as compiled Bend (new quirks entry id 61, a Stepper); the Rust copy, its bridge and the law-covered tests go

ffi_rebase.bend

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

ffi_redirect_input.bend

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

ffi_refine_plan.bend

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

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_retry_idle.bend

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

ffi_retry_note.bend

durable: the retry note's text and a staged document's content and publication run as compiled Bend (new entries retry_note id 263, doc_plan id 264)

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/

ffi_revive.bend

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

ffi_rlm_query.bend

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

finish: the agent no longer stops while work remains

ffi_runners.bend

runners: the ipython gate and the registry decided by the compiled core (new runners entry id 52)

ffi_sandbox.bend

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

durable: a submission's lifecycle step and where a storage scan starts run as compiled Bend (new entries submission id 261, scan id 262)

ffi_screen.bend

integrate W8b: the paint decision (resync of present) runs as the compiled core (bend/ffi_screen.bend request 3, law screen_ffi_paint): Rust sends the checks run so far and builds a redraw only when the core asks for its check; present, resync and the table test go

ffi_selection.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

ffi_semver.bend

semver: runs as compiled Bend (ffi_semver, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

shell: the approval gate of a step decided by the compiled core (new shell entry id 50)

ffi_skill_load.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

ffi_slash_args.bend

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

ffi_slash_suggest.bend

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

ffi_staging.bend

staging: runs as compiled Bend (ffi_staging, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

finish: the agent no longer stops while work remains

ffi_stream_failure.bend

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

ffi_submission.bend

durable: a submission's lifecycle step and where a storage scan starts run as compiled Bend (new entries submission id 261, scan id 262)

ffi_supervise.bend

bend: the orphan and restart-budget entries of the compiled core (bend/ffi_orphan.bend, bend/ffi_supervise.bend)

ffi_task_life.bend

spec: formalize the durable task life, subagent admission and autoresearch as proven Bend entries

theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go

ffi_timeouts.bend

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

ffi_tiny_run.bend

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

bend core W9 phase B: the edge rules run as their compiled models

ffi_tokens.bend

tokens: the dashboard's token blocks are written by the compiled core (new tokens entry id 78); the hand copy's bridge goes

ffi_tool_call.bend

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

ffi_tool_surface.bend

tools: the schema the harness sends and what dyn reaches decided by the compiled core (new tool_surface entry id 51)

bend core W9 phase B: the edge rules run as their compiled models

tree: the journal runs the compiled core's stepper (bend/ffi_tree.bend: open with the halves, step an ask, answer the core's answer; laws tree_ffi_*), the Rust copy of the rule (tree/rule.rs) and CursorError go

ffi_tui_color.bend

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

ffi_wait_any.bend

finish: the agent no longer stops while work remains

ffi_wait_race.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is 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

progress: the work ledger and the goal check's prior decided by the compiled core (new work entry id 83, a Stepper and a call)

ffi_workflow.bend

bend: admission runs as its Bend stepper and workflow admit/effective_limits as Bend calls; the admission and workflow bridges and the law-covered admission tests go

Remove docs/, strip stale docs references, minimize README

gateway_answer.bend

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)

gateway_backoff.bend

gateway: the reconnect wait runs as the compiled core (entry 203 gateway_backoff)

gateway_commands.bend

Merge origin/main into bend/spec

gateway_width.bend

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/

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

headless_exit.bend

finish: the agent no longer stops while work remains

headless_settle.bend

finish: the agent no longer stops while work remains

infer_force.bend

infer: the forced call, the repetition guard and early compaction run as compiled Bend (entries 73 infer_force, 74 infer_guard a Stepper, 75 infer_threshold); the Rust copies, bridge_infer and the law-covered tests go

infer_guard.bend

infer: the forced call, the repetition guard and early compaction run as compiled Bend (entries 73 infer_force, 74 infer_guard a Stepper, 75 infer_threshold); the Rust copies, bridge_infer and the law-covered tests go

infer_threshold.bend

infer: the forced call, the repetition guard and early compaction run as compiled Bend (entries 73 infer_force, 74 infer_guard a Stepper, 75 infer_threshold); the Rust copies, bridge_infer and the law-covered tests go

Merge origin/main into bend/spec

bridges: gone; auth reads and cron file and status writes run as proven entries

kernel_local.bend

kernel_local: runs as compiled Bend (ffi_kernel_local, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

Remove docs/, strip stale docs references, minimize README

staging: runs as compiled Bend (ffi_staging, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

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

Remove docs/, strip stale docs references, minimize README

Remove docs/, strip stale docs references, minimize README

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

package_source.bend

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

path_policy.bend

gate: secrets never ask again

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

progress: the work ledger and the goal check's prior decided by the compiled core (new work entry id 83, a Stepper and a call)

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

redirect_input.bend

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

refine_plan.bend

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

Remove docs/, strip stale docs references, minimize README

retry_note.bend

Merge origin/main into bend/spec

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

Merge origin/main into bend/spec

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

bridges: gone; auth reads and cron file and status writes run as proven entries

Merge origin/main into bend/spec

durable: a submission's lifecycle step and where a storage scan starts run as compiled Bend (new entries submission id 261, scan id 262)

Remove docs/, strip stale docs references, minimize README

selection: a copied line drops its trailing blanks wherever its soft wrap falls

Remove docs/, strip stale docs references, minimize README

skill_load.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

slash_args.bend

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

slash_suggest.bend

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

staging: runs as compiled Bend (ffi_staging, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

finish: the agent no longer stops while work remains

stream_failure.bend

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

submission.bend

durable: a submission's lifecycle step and where a storage scan starts run as compiled Bend (new entries submission id 261, scan id 262)

Merge origin/main into bend/spec

spec: formalize the durable task life, subagent admission and autoresearch as proven Bend entries

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

Merge origin/main into bend/spec

tokens: the dashboard's token blocks are written by the compiled core (new tokens entry id 78); the hand copy's bridge goes

rlm, harness: context as data and rlm.query (prime-agent RLM); speculation then effect, argument repair, call lifting, 3-way rebase and provider quirks as proven Bend (omp²)

Merge origin/main into bend/spec

Remove docs/, strip stale docs references, minimize README

Merge origin/main into bend/spec

finish: the agent no longer stops while work remains

Merge origin/main into bend/spec

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/

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/

bend: admission keeps only live tickets (Live.step, refined to the model), workflow admit and effective_limits fully modelled, aux_fallback gate/settle, default_model resolution pinned; Rust rules become one pure call each