eukhe
Coding agent with a memory of all things
Star 0
Fork 0
Watch

Version history of proof/doc_commit/commit_entry_reads.bend

October 2026

gildrb.com
Merge branch 'bend/p2-small' into bend/all
committed
gildrb.com
proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base
committed
gildrb.com
Merge branch 'bend/all-docs' into bend/all
committed
gildrb.com
docs: the writer's choices run as the compiled core (new entry doc_commit id 103)
committed