Repository navigation

pkg-proof: prove the other half of "uninstall puts the in-tree driver back" (Refs #1280) - #1419

Merged

bong-water-water-bong merged 5 commits into

mainfrom

1bit/kpkg-1280-restore

Nov 8, 2026

Merged

pkg-proof: prove the other half of "uninstall puts the in-tree driver back" (Refs #1280)#1419
bong-water-water-bong merged 5 commits into
mainfrom
1bit/kpkg-1280-restore

Commits on Nov 8, 2026
- pkg-proof: prove the other half of 'uninstall puts the in-tree driver back'
  bong-water-water-bong
  committed
  5c430d8
- pkg-proof: remove the kernel package too — 'and uninstall cleanly' had no evidence for that half
  bong-water-water-bong
  committed
  06271f8
- pkg-proof: the memlock file has to be READ, not just present — and a first attempt that passed for the wrong reason
  bong-water-water-bong
  committed
  2a55d6e
- pkg-proof: the distribution-kernel path is proved on its own (--skip-kernel)
  bong-water-water-bong
  committed
  f585c81
- docs(packaging): the row counts in the install rows must match what the harness prints
  bong-water-water-bong
  committed
  794d31c