Skip to content

Add StaleViewShrink: safe contraction (mutual inclusion) on stale views - #243

Open
topeuph-ai wants to merge 2 commits into
tlaplus:masterfrom
topeuph-ai:add-stale-view-shrink
Open

Add StaleViewShrink: safe contraction (mutual inclusion) on stale views#243
topeuph-ai wants to merge 2 commits into
tlaplus:masterfrom
topeuph-ai:add-stale-view-shrink

StaleViewShrink: per-node actions, explicit clock, references

ddc7240
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 21, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO