proof/gateway_answer · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof gateway_answer

8 files

at bend/stackfix

gildrb.com · proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base · 2w ago

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)

gateway_answer_entry_answers.bend

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)

gateway_answer_entry_exact.bend

proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base

gateway_answer_entry_example.bend

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)

gateway_answer_entry_reads.bend

proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base

gateway_answer_entry_refuses.bend

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)

gateway_answer_example.bend

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)

gateway_answer_spec.bend

gateway: what a settled event tells the phone runs as the compiled core (entry 202 gateway_answer)