Repository navigation

hostlock: fix a zombie-anchor wedge and a live-holder theft, and make the seven properties falsifiable - #1830

Merged

justinchuby merged 5 commits into

mainfrom

squad/leon-hostlock-conformance

Aug 23, 2026

Merged

hostlock: fix a zombie-anchor wedge and a live-holder theft, and make the seven properties falsifiable#1830
justinchuby merged 5 commits into
mainfrom
squad/leon-hostlock-conformance

Commits on Aug 23, 2026
- hostlock: assert the seven required properties directly
  
  justinchuby
  and
  Copilot
  committed
  9ef1294
- hostlock: fix a zombie-anchor wedge and a live-holder theft found by review
  
  justinchuby
  and
  Copilot
  committed
  8a6b31d
- hostlock: my zombie fix could reap a LIVE holder, and eight smaller defects
  
  justinchuby
  and
  Copilot
  committed
  c31d2b8
- hostlock: the anti-theft guard voided the holder's own ttl, plus five test gaps
  
  justinchuby
  and
  Copilot
  committed
  50cf238
- hostlock: the third arm of the false-abandonment defect, and a zombie wedge
  
  justinchuby
  and
  Copilot
  committed
  16058dc