bend · eukhe · Tangled

Coding agent with a memory of all things

eukhe bend

3 folders · 149 files

at bend/stackfix

gildrb.com · Merge branch 'bend/p2-small' into bend/all · 2w ago

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

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/

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 decision on a question decided by the compiled core (new approvals entry id 53)

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

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)

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/

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

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/

core_entries.txt

Merge branch 'bend/p2-small' into bend/all

Merge branch 'bend/p2-small' into bend/all

bridge/: the Rust-vs-Bend test drivers leave bend/, which holds only the code the laws import

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

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)

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

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

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 decision on a question decided by the compiled core (new approvals entry id 53)

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

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

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)

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

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

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

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

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_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_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_path_policy.bend

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

ffi_progress.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

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_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_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_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_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_elect.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

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

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

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

bend: the ladder, the strict plan and the thinking budgets: the models cover the Rust rules

bridge/: the Rust-vs-Bend test drivers leave bend/, which holds only the code the laws import

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

bridge/: the Rust-vs-Bend test drivers leave bend/, which holds only the code the laws import

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

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

path_policy.bend

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

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

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/

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

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

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

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

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

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/

bridge/: the Rust-vs-Bend test drivers leave bend/, which holds only the code the laws import

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