bend · eukhe · Tangled

Coding agent with a memory of all things

eukhe bend

4 folders · 189 files

gildrb.com · chat memory: no root-turn lease; many windows turn at once (the user: never restrict multiple open threads) · 2w ago

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

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

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/

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

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/

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

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

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

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

cache_marks.bend

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

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

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/

codemode_id.bend

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

laws, color, theme: exact contrast past 2^32, load/valid/complete/rename pinned, at most 4096 theme files a load

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

compactor: a line's steps and the failure cap run as compiled Bend (new compactor entry id 70); the Rust copy, its bridge and the law-covered tests go

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

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

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

cron_store.bend

cron: each job's claim, recovery, finish (backoff and stop), cancel and resume decided by the compiled core (new entry cron id 82); the bridge keeps only the processes' interleaving on the jobs file

cron: the model's comments no longer name the deleted Rust backoff constants

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)

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)

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

default_model.bend

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

bend: the Director model leads with Lead (a reminder leaves only with its continuation) and is pinned verdict by verdict, cvar expansion names its alias and stops at the first error (no longer exponential), child_env tests a name once and its laws pin the overlay and the credential names

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)

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

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)

facts: the rulebook flags, adaptive thinking, the Bedrock effort and the tier price row run as compiled Bend (new model_facts entry id 71); the Rust copies and the facts bridge go

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

compactor: a line's steps and the failure cap run as compiled Bend (new compactor entry id 70); the Rust copy, its bridge and the law-covered tests go

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

cron: each job's claim, recovery, finish (backoff and stop), cancel and resume decided by the compiled core (new entry cron id 82); the bridge keeps only the processes' interleaving on the jobs file

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

gateway: the phone commands parse as the compiled core (entry 205 gateway_commands)

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

facts: the rulebook flags, adaptive thinking, the Bedrock effort and the tier price row run as compiled Bend (new model_facts entry id 71); the Rust copies and the facts bridge go

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

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

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)

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

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

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

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

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

gateway: the phone commands parse as the compiled core (entry 205 gateway_commands)

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)

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

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

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

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

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

staging: runs as compiled Bend (ffi_staging, 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

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

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

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

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

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

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)

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)

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

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)

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

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

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

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

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

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

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

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

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)

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

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

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)

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

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

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

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

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

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

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

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

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

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