proof/theme · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof theme

39 files

at bend/all-shell

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/

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

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

theme_chase_rule.bend

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

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

theme_entry_color.bend

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

theme_entry_invalid.bend

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

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

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

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

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

theme_fill_required.bend

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

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

theme_mode_background.bend

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

theme_mode_name_free.bend

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

theme_palette_name_free.bend

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

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

theme_parse_painted.bend

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

theme_parse_rejected.bend

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

theme_pick_broken.bend

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

theme_pick_cause.bend

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

theme_pick_clashes.bend

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

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

theme_pick_quiet.bend

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

theme_pick_res.bend

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

theme_read_card.bend

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

theme_read_first_error.bend

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

theme_read_info.bend

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

theme_read_loaded.bend

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

theme_read_missing.bend

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

theme_read_page.bend

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

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

theme_resolve_empty.bend

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

theme_resolve_first.bend

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

theme_resolve_missing.bend

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

theme_shipped_legible.bend

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

theme_shipped_status_distinct.bend

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

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

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