Repository navigation

Carry the short-pool guard to the Wikidata corpus builder - #697

Merged

derek73 merged 3 commits into

fix/issue-696-short-pool-guard

Oct 17, 2026

Merged

Carry the short-pool guard to the Wikidata corpus builder#697
derek73 merged 3 commits into
masterfrom
fix/issue-696-short-pool-guard

Commits on Oct 17, 2026
- Carry the short-pool guard to the Wikidata corpus builder (#696)
  
  derek73
  and
  claude
  committed
  3436d80
- Address review of the short-pool guard: pin the whole marks and the LIMIT, fix stale prose (#696)
  
  derek73
  and
  claude
  committed
  951ea3d
- Tighten the LIMIT pin, drop the whole-marks pin, fix prose from the second review (#696)
  
  derek73
  and
  claude
  committed
  a507459