Repository navigation

mount: ownership options are checked state; drift remounts without a lazy detach (fixes #642) - #643

Merged

noahgift merged 5 commits into

mainfrom

fix/642-mount-options

Sep 27, 2026

Commits on Sep 26, 2026
- mount: ownership options are checked state, and drift remounts without a lazy detach (fixes #642)
  
  noahgift
  and
  claude
  committed
  6c1cabf
- mount: an omitted ownership key is its default, never a wildcard (#642 quorum R1)
  
  noahgift
  and
  claude
  committed
  0b5882e
Commits on Sep 27, 2026
- quorum evidence: PMAT-642, round 2 3/3 PASS at 0b5882e0
  
  noahgift
  and
  claude
  committed
  fd2143d
- test(mount): #642 falsification target — ownership options are state
  
  noahgift
  and
  claude
  committed
  184876b
- PMAT-642: quorum receipt — 3/3 PASS at 0b5882e0 (R1 refuted the omitted-key wildcard; fixed and re-reviewed)
  
  noahgift
  and
  claude
  committed
  3a487e2