eukhe by gildrb.com · Tangled

Coding agent with a memory of all things

Commits on bend/stackfix

proof(gateway_backoff): example rewrites doubled waits, no deep

committed 2w ago

Merge branch 'bend/p2-small' into

committed 2w ago

gateway: the phone commands parse as the compiled core (entry 205 bend/p2-small

committed 2w ago

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

committed 2w ago

Merge branch 'bend/p2-durable' into

committed 2w ago

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

committed 2w ago

proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to

committed 2w ago

laws: universal laws for long ports and capped waits, so --verdict runs to the

committed 2w ago

laws: dash_access_host_example split into one law per case, so the kernel checks each alone (approved by the integrator; same cases, nothing

committed 2w ago

Merge branch 'bend/wirekit' into

committed 2w ago

dashboard: an exhaustive match names every daemon command for the policy core, so a new command does not compile until it has a wire name (the core still decides; unknown names stay refused)

committed 2w ago

laws: scan_ffi_malformed_exact, scan_ffi_read_example, submission_ffi_malformed_exact,

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

command laws: after a word that names a child, the rest of the line is pinned in every table (spaces, a child, or argument text and unknown words by the named entry's own bend/wirekit

committed 2w ago

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

committed 2w ago

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

committed 2w ago

Merge branch 'feat/select' into

committed 2w ago

selection: a copied line drops its trailing blanks wherever its soft wrap feat/select

committed 2w ago

Merge branch 'bend/all-memory' into

committed 2w ago

selection: a refused input keeps the state (selection_ffi_error_keeps_the_state); LAWS.lock

committed 2w ago

selection: the fullscreen chat drives the compiled selection model (entry id

committed 2w ago

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/

committed 2w ago

laws: tokens_type_in_range (a fresh gap search passed type sizes past the largest font size a browser bend/all-memory

committed 2w ago

command laws: a word that names a child acts as that child in every table, also one that declares a path

committed 2w ago

laws: a Nat on the wire is its decimal digits (every entry); the command reply readers read the spelled reply grammar; every command answer but the malformed error comes from an input that begins with a

committed 2w ago

laws: tokens_alpha_visible, tokens_layers_in_range, tokens_px_in_range (fresh gap searches passed an alpha-0 tint rendered 0.0, layers past the browser's largest z-index, px values past what a browser lays

committed 2w ago

command laws: every spelling of a path (names in any case, aliases, any spacing) resolves and shows its menu as its canonical names; Tab and Enter act on the path the line's menu lists; a blank line runs

committed 2w ago

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

committed 2w ago

laws: tokens_ink_opaque, tokens_names_exact, tokens_channels_in_range, tokens_scale_keys_distinct, tokens_scale_keys_plain (fresh gap searches passed a translucent text ink, channels past 255, repeated or quoted type keys; mutants renamed a tone's

committed 2w ago

rebase onto bend/all: re-lock LAWS.lock over bend/all's and this branch's laws; eukhe-docs testing keeps only Rng (glob's bridge, the last user of compare, is bend/glob

committed 2w ago

laws: tokens_palette_tones, tokens_ascends_exact, tokens_find_exact, tokens_readable_exact, tokens_pairs_exact (fresh gap searches passed a dark palette without shadowLatest, an `ascends` that compares only with the first step, and a 2/9 text

committed 2w ago

laws: search_scope_rule (a fresh adversary's model scope that ignored directory roots passed every doc_search law, since the entry computes the scope

committed 2w ago

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

committed 2w ago

laws: persist_writes_with_carry, edit_exact, load_holds_first_end (a fresh adversary's persist that started the carry from LF passed every doc_lines

committed 2w ago

laws: search_note_count_exact, search_cuts_exact (a fresh adversary's symlink notice that read the excluded counter passed

committed 2w ago

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

committed 2w ago

Merge branch 'bend/all-docs' into

committed 2w ago

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

committed 2w ago

Merge branch 'bend/all-life' into

committed 2w ago

laws: flight_store_terms_exact (the store's accessors are its fields; a mutant Sto.fresh made flight_after_end_served vacuous) bend/all-life

committed 2w ago

docs: the writer's choices run as the compiled core (new entry doc_commit id bend/all-docs

committed 2w ago

laws: close the adversaries' gaps in revive, timeouts and auth_flight (the entries' freshness and values are the models', the refresh model's every step

committed 2w ago

laws: frames_verdict_serve_exact (a verdict serves its frame exactly when it is Serve; a fresh blind adversary's Verdict.serve of Duplicate and Kindless passed bend/all-shell

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

approvals: each session's decision on a question decided by the compiled core (new approvals entry id

committed 2w ago

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

committed 2w ago

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

committed 2w ago

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

committed 2w ago

ci: a push to a branch other than main runs only fmt and the secrets scan (integration branches); main keeps the full pre-push gate

committed 2w ago

laws: lines_carry_is_first_end (the carry is the file's first ending scanned byte by byte; a fresh adversary's last-line carry passed bend/mv3

committed 2w ago