proof/log · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof log

26 files

at bend/all-docs

gildrb.com · 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 · 2w ago

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

log_ack_durable.bend

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

log_commit_plan.bend

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

log_ffi_answers_the_open.bend

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

log_ffi_example.bend

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

log_ffi_reads_only_fitting_requests.bend

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

log_ffi_reads_only_requests.bend

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

log_fits_example.bend

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

log_only_commits.bend

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

log_open_cuts_the_torn_tail.bend

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

log_open_keeps_the_complete_lines.bend

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

log_open_plan.bend

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

log_open_refuses_odd_facts.bend

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

log_plan_ack_durable.bend

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

log_plan_only_commits.bend

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

log_plan_runs_the_model.bend

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

log_reads_lines.bend

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

log_stepper_commit.bend

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

log_stepper_example.bend

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

log_stepper_open_reads_only_a_bool.bend

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

log_stepper_open_refused_shuts.bend

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

log_stepper_open.bend

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

log_stepper_reads_only_commits.bend

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

log_stepper_reads_only_fitting_commits.bend

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

log_stepper_refusal_keeps_the_state.bend

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

log_stepper_shut_refuses.bend

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