Repository navigation

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

Merged

muenchnerkindl merged 3 commits into

tlaplus:masterfrom

topeuph-ai:add-stale-view-shrink

Oct 22, 2026

Merged

Add StaleViewShrink: safe contraction (mutual inclusion) on stale views#243
muenchnerkindl merged 3 commits into
tlaplus:masterfrom
topeuph-ai:add-stale-view-shrink

Commits on Oct 21, 2026
- StaleViewShrink: safe contraction (mutual inclusion) on stale views
  
  topeuph-ai
  and
  claude
  committed
  4d3cc51
- StaleViewShrink: per-node actions, explicit clock, references
  
  topeuph-ai
  and
  claude
  committed
  ddc7240
Commits on Oct 22, 2026
- StaleViewShrink: review fixes (TypeOK, cfg comment)
  
  topeuph-ai
  and
  claude
  committed
  0eeb8c5