proof/optchat · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof optchat

1 folder · 20 files

at bend/stackfix

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

push_agrees_always

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/

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

context_is_prefix.bend

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

cview_covers.bend

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

cview_summarized.bend

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

first_is_not_last.bend

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

first_leaves_push.bend

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

first_merges_0_7.bend

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

fit_merges_built.bend

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

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

last_merges_8_9.bend

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

merge_covers.bend

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

merge_is_one_pair.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>

message_appends.bend

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

message_merges_nothing.bend

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

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

push_agrees_always.bend

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

push_agrees.bend

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

view_covers.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>

view_summarized.bend

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