proof/theme_model · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof theme_model

16 files

gildrb.com · spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel) · 1w ago

theme_at_spec.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_complete_spec.bend

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

theme_concrete_of_spec.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_dflt_spec.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_fill_map_spec.bend

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

theme_load_spec.bend

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

theme_or_spec.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_rename_spec.bend

laws, color, theme: exact contrast past 2^32, load/valid/complete/rename pinned, at most 4096 theme files a load

theme_required_spec.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_tables_spec.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_tok_get_spec.bend

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

theme_toks_spec.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_valid_example.bend

laws, color, theme: exact contrast past 2^32, load/valid/complete/rename pinned, at most 4096 theme files a load

theme_valid_spec.bend

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

theme_vals_example.bend

laws: every theme/color model function the specs reach pinned exactly (a fresh checker's empty palette values)

theme_vals_spec.bend

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)