TC #91 — Phase 9 walk-up R1 fix: HOME-prefix false positive #91
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Scenario / Expected
When HOME=/home/user and cwd=/home/user2/foo, walk-up MUST return nil. The proper-prefix check (dir == home OR dir startswith home..'/') prevents the bare-byte-prefix match that would let user2's tree be searched as if it were user's.
Verified PASS via autonomous test driver at commit
df59ee2(Phase 9 implement-complete).R1 invariant holds. With HOME=$DIR/userX and cwd=$DIR/userX2/proj (sibling, not child), the proper-prefix check (
dir == home OR dir startswith home..'/') correctly rejects — no overlay loaded. The bare-byte-prefix bug Sonnet caught would have walked into userX2 since /tmp/.../userX is a prefix of /tmp/.../userX2.Closed by Phase 9 verify.