Repository navigation

Make the hand-built argv unwritable at the call site, and land the positive examples that show what to write instead - #8919

Merged

briansrls merged 22 commits into

mainfrom

session/quick-newt-661

Aug 23, 2026

Commits on Aug 22, 2026
- Make the hand-built argv unwritable: seal ArgvCommand, and land the builders that show what to write instead
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  69daabe
- Program spelling is an observation claim: one authority paragraph, one line per row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  09a9c6b
- Five more hand-spelled argvs the seal surfaced: /proc reads and the fd walk
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  80beb08
- Cast the two NonEmptyStr literals at their call sites
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5cf5c0e
- Admit two builders the wall caught, and measure the NonEmptyStr refinement the climb rests on
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1e3eb3d
- Count the sh -c residual instead of estimating it: eleven, not six
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0015c4f
- The nbd programs do not both run on the BMC: correct the note that said so
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1e187f0
- State the two privileged word changes at the builder that makes them
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9452129
- Name the two concrete products the hub still carries, and why the rule admits them
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5f28e5a
- The transport-argv population is blocked by a floor defect, not this lane's residue
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e45c546
- State the empty-program climb as four facts, not one claim
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6702821
- Merge main: extdeps.tools.env (#8918) lands the authority this branch imports
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4e076dc
- The bracket-form regression control follows its builder's rename
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  859de9d
- Merge main: the census caught a new hand-built argv that landed while this branch was in review
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fcd7fe5
Commits on Aug 23, 2026
- Merge remote-tracking branch 'origin/main' into session/quick-newt-661
  gunbc-ci-auto-heal
  committed
  5074fe4
- Merge main: install(1) and this branch's coreutils builders are additive, not competing
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a04964d
- One name, two operations: qualify the ten live-deploy references the merge made ambiguous
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3306f74
- Merge remote-tracking branch 'origin/main' into session/quick-newt-661
  gunbc-ci-auto-heal
  committed
  9aa4d37
- Merge remote-tracking branch 'origin/main' into session/quick-newt-661
  gunbc-ci-auto-heal
  committed
  7ef4aa3
- Merge main (§4c annotation fix, #8989) and align the one over-indented admit row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0876160
- Two witnesses caught the spelling migration going both ways, and only one of them was the witness's fault
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bf52dfb
- Merge remote-tracking branch 'origin/main' into session/quick-newt-661
  gunbc-ci-auto-heal
  committed
  6c191fe

Navigation Menu

Repository navigation

Make the hand-built argv unwritable at the call site, and land the positive examples that show what to write instead - #8919

Make the hand-built argv unwritable at the call site, and land the positive examples that show what to write instead#8919
briansrls merged 22 commits into
mainfrom
session/quick-newt-661

Commits on Aug 22, 2026

Make the hand-built argv unwritable: seal ArgvCommand, and land the builders that show what to write instead

Program spelling is an observation claim: one authority paragraph, one line per row

Five more hand-spelled argvs the seal surfaced: /proc reads and the fd walk

Cast the two NonEmptyStr literals at their call sites

Admit two builders the wall caught, and measure the NonEmptyStr refinement the climb rests on

Count the sh -c residual instead of estimating it: eleven, not six

The nbd programs do not both run on the BMC: correct the note that said so

State the two privileged word changes at the builder that makes them

Name the two concrete products the hub still carries, and why the rule admits them

The transport-argv population is blocked by a floor defect, not this lane's residue

State the empty-program climb as four facts, not one claim

Merge main: extdeps.tools.env (#8918) lands the authority this branch imports

The bracket-form regression control follows its builder's rename

Merge main: the census caught a new hand-built argv that landed while this branch was in review

Commits on Aug 23, 2026

Merge remote-tracking branch 'origin/main' into session/quick-newt-661

Merge main: install(1) and this branch's coreutils builders are additive, not competing

One name, two operations: qualify the ten live-deploy references the merge made ambiguous

Merge remote-tracking branch 'origin/main' into session/quick-newt-661

Merge remote-tracking branch 'origin/main' into session/quick-newt-661

Merge main (§4c annotation fix, #8989) and align the one over-indented admit row

Two witnesses caught the spelling migration going both ways, and only one of them was the witness's fault

Merge remote-tracking branch 'origin/main' into session/quick-newt-661