laws · eukhe · Tangled

Coding agent with a memory of all things

eukhe laws

59 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

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

auth_flight.bend

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

aux_fallback.bend

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

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)

catalog_union.bend

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

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

default_model.bend

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

doc_commit.bend

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

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

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)

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

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

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

fsmode: the model's own terms are pinned (fsmode_socket_dir_exact, fsmode_safe_exact, fsmode_modes_exact): a blind adversary's socket_dir that ignored the owner passed socket_dir_owned through its own Seen.safe

gateway_width.bend

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

kernel_local.bend

kernel_local, launcher: the models' own terms are pinned (kernel_terms_exact, kernel_sweep_terms_exact, launcher_adoption_exact), so the laws that read them say what they claim

kernel_local, launcher: the models' own terms are pinned (kernel_terms_exact, kernel_sweep_terms_exact, launcher_adoption_exact), so the laws that read them say what they claim

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

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

log: the entry reads only numbers that fit the wire (log_ffi_reads_only_fitting_requests, log_stepper_reads_only_fitting_commits): a blind adversary read a 15-digit length

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

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

path_policy.bend

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

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

semver: the entry reads only lengths and counts that fit the wire (semver_ffi_exact_fits), the gap a blind adversary found in the log entry

skill_load.bend

skill_load: the loaded list is pinned (skill_loaded_exact) and the membership the reporting law reads has witnesses (skill_in_first_example, skill_in_later_example): a blind adversary's empty membership made skill_failure_reported vacuous

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

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

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

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

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

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only

laws: one comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only