bend · eukhe · Tangled

Coding agent with a memory of all things

eukhe bend

3 folders · 104 files

at bend/all-docs

gildrb.com · docs: the writer's choices run as the compiled core (new entry doc_commit id 103) · 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

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/

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/

core_entries.txt

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

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

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

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)

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

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

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

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)

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

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

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

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

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

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/

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

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

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)

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