proof/run · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof run

61 files

at bend/all-docs

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

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/

rec_calls_run.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_leak_rebuilt_is_calls.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_leak_stands.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_length_gives_up.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_never_runs_a_repeat.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/

rec_notes_capped.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_quit_fails.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_recover_is_the_rust_rule.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_redo_is_noted.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_repeat_gives_up.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_repeat_never_runs.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_repeat_redirects.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_stuck_gets_help.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

rec_user_breaks_the_row.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_abort_ends_now.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/

run_calls_never_answer.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_compact_is_the_rust_rule.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_counts_lossless.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_counts_within_witness.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_cut_names_the_request.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_deferred_reply_is_the_job_model.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_end_stays.bend

proofs: files past 1,000 lines become folders by topic (proof/base/, proof/<area>/base/, proof/optchat/push_agrees_always/); P1 binders renamed

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/

run_failed_poll_is_the_job_model.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_ffi_answer_fits_witness.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_ffi_answers.bend

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

run_ffi_ask_fits_witness.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_ffi_ask_round_trip.bend

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

run_ffi_end_round_trip.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_ffi_help_round_trip.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_ffi_left_over_witness.bend

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

run_ffi_malformed_witness.bend

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

run_ffi_prepared_round_trip.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_ffi_refuses_left_over.bend

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

run_ffi_refuses_malformed.bend

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

run_ffi_reply_round_trip.bend

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

run_ffi_then_round_trip.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_first_deferred_reply_is_the_job_model.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_no_answer_is_an_error.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_note_counts_down.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_note_is_never_logged.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_note_keeps_the_retries.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_note_spends_no_retry.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_polls_need_defers.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/

run_prepare_compacted_reads_no_threshold.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_prepare_is_the_rust_rule.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_reply_is_the_rust_rule.bend

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

run_reply_saturates_the_attempt.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_reply_saturates_the_wait.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_retry_counts_down.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_retry_keeps_the_notes.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_retry_premise_witness.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_retry_sends_a_new_request.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/

run_retry_spends_no_note.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_round_counts_down.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_round_is_the_rust_rule.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_rounds_capped.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_rounds_fail_at_cap.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_rounds_lossless.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility

run_rounds_within_witness.bend

bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility