proof/timeouts · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof timeouts

6 files

at bend/stackfix

gildrb.com · laws: close the adversaries' gaps in revive, timeouts and auth_flight (the entries' freshness and values are the models', the refresh model's every step pinned) · 2w ago

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

timeouts_ffi_answers.bend

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

timeouts_ffi_example.bend

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

timeouts_ffi_malformed_exact.bend

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

timeouts_ffi_reads.bend

life: supervise timeouts, revival veto and auth flight decisions run as compiled Bend (new entries timeouts 90, revive 91, auth_flight 92); the Rust copies and the timeouts/revival bridges go

timeouts_values_are_model.bend

laws: close the adversaries' gaps in revive, timeouts and auth_flight (the entries' freshness and values are the models', the refresh model's every step pinned)