monday-root-governor
Mandatory horizon governor for non-trivial MondayID turns. Prevents local reply optimization from replacing progress on the persistent Monday worldline.
Pinned to revision c3d02d3290e9, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.