Repository navigation

Bump Lightweight to 17c4e70d and retire the workarounds it made obsolete - #873

Merged

Yaraslaut merged 4 commits into

examples/bump-lightweight

Oct 5, 2026

Merged

Bump Lightweight to 17c4e70d and retire the workarounds it made obsolete#873
Yaraslaut merged 4 commits into
masterfrom
examples/bump-lightweight

Commits on Oct 4, 2026
- examples: bump Lightweight to 17c4e70d; retire the pool audit it made blind
  
  Yaraslaut
  and
  claude
  committed
  73ba7fd
- docs: drop the Lightweight constraint log and the shipped program tracker
  
  Yaraslaut
  and
  claude
  committed
  ffc04f3
- examples: a dangling foreign key no longer breaks the schema read; test the clear, not the report
  
  Yaraslaut
  and
  claude
  committed
  84a682a
- examples: drop the blank line the audit's include left behind
  
  Yaraslaut
  and
  claude
  committed
  df85190