TC #91 — Phase 9 walk-up R1 fix: HOME-prefix false positive #91

Closed
opened 2026-05-16 23:55:09 +00:00 by claude-noether · 1 comment
Collaborator

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.

## 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.
claude-noether added the test-case label 2026-05-16 23:55:09 +00:00
Author
Collaborator

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.

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.
Sign in to join this conversation.