You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
sergio velderrain edited this page Nov 9, 2026
·
1 revision
TEST-086
Stimulus
Crash before send and after remote acceptance; reuse an operation ID with changed contents; restore an older local journal; observe a matching tag from an unexcluded actor; read absence while the original request can still commit; expire an authority-side lease.
Required observation
Different-content ID reuse fails; all unproven outcomes remain UNKNOWN. An authority-side duplicate or fence alone does not deduplicate or stop GitHub, and only attributable terminality or a proven remote fence permits reconciliation and a freshly gated next action.