070-writable-alias-scan

A read-only root refuses only a link the child could write

Lifecycle draftImplementation pendingVerification unknownQualification unknown

Amends spec 004 section 3.18 rule 2's alias scan. An inaccessible root still refuses any multiply linked file. A read-only root (the target's working tree, its Git directory, another attempt's workspace) refuses a multiply linked file only when another of its names lies where the child may write. Cargo's build output in a checkout and Git objects shared with a local clone no longer refuse every launch.

Read the full pinned specification ↗

Relationships

Claimed units

No ownership claims exported.

Source headings

  1. 070: A read-only root refuses only a link the child could write
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 What the alias scan refuses
  6. 3.2 What the child may write
  7. 3.3 What does not change
  8. 4. Out of scope
  9. 5. Resolved decisions
  10. Verification

Frozen anchors

No frozen anchors declared.