bend · eukhe · Tangled

Coding agent with a memory of all things

eukhe bend

3 folders · 111 files

at bend/all-memory

gildrb.com · 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 · 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: nothing asks but a secret, like omp (default shell.autoEffects = read, write, exec, net, outside, protected; secret never grantable)

auth_flight.bend

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

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/

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/

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

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

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

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

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/

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

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

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)

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)

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)

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

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

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

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

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/

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

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

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

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

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

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

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

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

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

bend: the child task's decisions, the jobs' held step, the goal's judge and the hand-back plan as models with laws (verdict, owe.next, cut.ph, feed, judge, plan)

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

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

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

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

Run small local models for titles, judgments, translation, speech and dictation through one shared worker, installed only by eukhe tiny-models download

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