Repository navigation

Delete the producerless generated_stage0_files roster; derive the generated stage0 population from the observed tree - #8674

Merged

briansrls merged 6 commits into

mainfrom

session/valiant-carp-679

Aug 20, 2026

Merged

Delete the producerless generated_stage0_files roster; derive the generated stage0 population from the observed tree#8674
briansrls merged 6 commits into
mainfrom
session/valiant-carp-679

Commits on Aug 20, 2026
- Delete the producerless generated_stage0_files roster; derive the generated stage0 population from the observed tree
  Brian Searls
  committed
  4769a45
- Merge remote-tracking branch 'origin/main' into session/valiant-carp-679
  Brian Searls
  committed
  a71e57a
- Repoint the last two prose citations of the deleted roster
  Brian Searls
  committed
  e1be776
- Hoist the claimed-path roster out of the per-path predicate
  Brian Searls
  committed
  da5bad3
- Fix three CI refusals: escaped apostrophe in a .dag string, in-body source annotation, missed call site
  Brian Searls
  committed
  b41234f
- Restore the cargo-target refusal the derivation had widened away; declare the rung drop on the two unclassified-tracked controls
  Brian Searls
  committed
  746a3af