proof/wait · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof wait

20 files

gildrb.com · wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone · 2w ago

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

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

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

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

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

wait_entry_answers.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_calm.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_example.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_malformed_exact.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_once.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_open_malformed_exact.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_open_reads.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_open.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_reads.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_entry_shut.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_go_exact.bend

laws: wait_go_exact (the walk the poll laws read, pinned; a fresh adversary's held cancel passed the wait entry laws)

wait_poll_refines.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_run_exact.bend

laws: wait_run_exact, wait_terms_exact, lease_run_is_go (a third fresh adversary's wait run that never ended and lease run that restarted at a stop passed every law)

wait_step_is_model.bend

wait: the race runs its wait as a stepper of the compiled core; the wait bridge is gone

wait_terms_exact.bend

laws: wait_run_exact, wait_terms_exact, lease_run_is_go (a third fresh adversary's wait run that never ended and lease run that restarted at a stop passed every law)