ms2k/remora
SHA256
Watch
0
Code Releases Activity
remora/docs/protocol
History
Repository files (latest commit first)
Filename Latest commit message Latest commit date
ms2k 6b6588c5ac Add eventual cleanup liveness and fix cancel quiescence gaps. 
Encode zero-orphan intent as EventuallyNonWinnerStagingCleaned and
EventuallySystemQuiescent under recovery. Stop authorized attempts on
FinalizeCancel and do not re-publish cancel notices after terminal so fair
behaviors can reach SystemQuiescent (TLC-checked on Remora.cfg).
2026-07-10 14:46:55 +09:00
..
Remora.cfg Add eventual cleanup liveness and fix cancel quiescence gaps. 2026-07-10 14:46:55 +09:00
Remora.tla Add eventual cleanup liveness and fix cancel quiescence gaps. 2026-07-10 14:46:55 +09:00
RemoraCombined.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00
RemoraDurableFault.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00
RemoraFencing.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00
RemoraGlobal.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00
RemoraLocal.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00
RemoraMultiShot.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00
RemoraStress.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00
RemoraTargetFault.cfg Weaken live progress to a coordination-only hint (IF-6). 2026-07-10 14:16:29 +09:00