Repository navigation

Convert the one ArgvCommand site the seal missed, through a builder rather than by widening the seal - #9031

Merged

gunbai-bot[bot] merged 7 commits into

mainfrom

fix/argv-command-ls-seal

Aug 23, 2026

Merged

Convert the one ArgvCommand site the seal missed, through a builder rather than by widening the seal#9031
gunbai-bot[bot] merged 7 commits into
mainfrom
fix/argv-command-ls-seal

Commits on Aug 23, 2026
- Convert the one ArgvCommand site the seal missed, through a builder rather than by widening the seal
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  556857a
- Enrolled-but-never-planned is not a parking spot: it refuses the whole floor
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  63409bf
- The srv4 activation witness re-spelled two programs the seal then moved
  Brian Searls
  committed
  704c2a8
- Merge remote-tracking branch 'origin/fix/argv-command-ls-seal' into fix/argv-command-ls-seal
  Brian Searls
  committed
  b19795e
- join is not a std.types export: the two derived patterns build with concat
  Brian Searls
  committed
  a47aded
- Quarantine the qualified-spelling witness, and file the defect it uncovered
  Brian Searls
  committed
  96da63f
- Two zero-byte shell artifacts were committed at the repo root
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ab85d55