spec · eukhe · Tangled

Coding agent with a memory of all things

eukhe spec

10 files

gildrb.com · spec: Lean 4 formalization of the log and optchat specs · 2w ago

color_model.bend

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

config_rules.bend

laws: config pins the setter over an unreadable file (save_exact) and every model helper the config laws read

config: the config rules run as the compiled Bend core (entry 60, bend/ffi_config.bend); the Rust copy and its bridge are deleted

spec: Lean 4 formalization of the log and optchat specs

EukheOptChat.lean

spec: Lean 4 formalization of the log and optchat specs

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

theme_model.bend

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

theme_read.bend

theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go

theme_rules.bend

laws: theme and color helpers pinned to specs (a fresh adversary's prefix name, ignored background, constant mode, vacuous legibility, loose hex digits)

theme_wire.bend

theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go