Say precisely what GetFullPathNameW does, and why it stays - #86

Merged

MikeGrier merged 36 commits into

mainfrom

mikegrier/namespace-full-path-doc

Sep 10, 2026

Commits on Sep 10, 2026

docs(namespace-request): GetFullPathNameW is not lexical, and say why it stays

Mike Grier
and
Copilot
committed
012e307
docs(probes): finish the GetFullPathNameW sweep and point at the decision

Mike Grier
and
Copilot
committed
80acadb
docs: finish the GetFullPathNameW sweep across the workspace

Mike Grier
and
Copilot
committed
04ef096
docs(namespace-request): quote the cost figure for what it measures

Mike Grier
and
Copilot
committed
bec2dad
docs: separate what GetFullPathNameW does lexically from what it roots

Mike Grier
and
Copilot
committed
4e3a277
docs(namespace-request): say what the probe actually establishes about cost

Mike Grier
and
Copilot
committed
f2807a7
docs(namespace-request): make the cost a bound, and fix three path claims

Mike Grier
and
Copilot
committed
6160ef9
docs: qualify the rooting clause everywhere, and put each fact in its own module

Mike Grier
and
Copilot
committed
c61ea2d
docs(namespace-request): drop the unmeasured cost claim, narrow the contract, cover it with tests

Mike Grier
and
Copilot
committed
b778ea2
docs: finish the contract sweep into the probe crate, and stop a test overclaiming

Mike Grier
and
Copilot
committed
b22a0df
test(namespace-request): cover the drive-relative rooting form

Mike Grier
and
Copilot
committed
745efb1
test(namespace-request): make the drive-relative test independent of the host

Mike Grier
and
Copilot
committed
fd32f07
test(namespace-request): fix the case dependence, the vacuous assert, and the two-arm rule

Mike Grier
and
Copilot
committed
990f2e5
docs: GetFullPathNameW does touch the filesystem, and writes the environment

Mike Grier
and
Copilot
committed
df75187
test(namespace-request): pin the per-drive entry arm, and stop understating the write

Mike Grier
and
Copilot
committed
edc9cfb
docs: the drive-entry gate is shape AND existence, not existence instead of shape

Mike Grier
and
Copilot
committed
7bffb51
test(namespace-request): stop deriving the drive-entry probes from the current directory

Mike Grier
and
Copilot
committed
7411afd
test(namespace-request): choose the probe drive letter at runtime

Mike Grier
and
Copilot
committed
640df05
test(namespace-request): enforce the probe directory's form instead of assuming it

Mike Grier
and
Copilot
committed
79b3a6d
fix(namespace-request): grow the entry buffer, and stop the probe contradicting itself

Mike Grier
and
Copilot
committed
092bda8
fix(probes): the gap spans one NET allocation, not two

Mike Grier
and
Copilot
committed
fef59ae
docs(probes): let the design-session link render

Mike Grier
and
Copilot
committed
83954ca
test(namespace-request): pick the probe drive against the probe directory, and clean up on unwind

Mike Grier
and
Copilot
committed
13882df
test(namespace-request): derive the nonexistent path, and correct four records

Mike Grier
and
Copilot
committed
df5ffd2
test(namespace-request): validate every probe-drive candidate, not just the first

Mike Grier
and
Copilot
committed
5903b4c
test(namespace-request): restore borrowed drive entries on unwind, and pin the current-drive arm

Mike Grier
and
Copilot
committed
8f921da
fix(namespace-request): tell an empty per-drive entry from an absent one

Mike Grier
and
Copilot
committed
016f032
docs(probes): stop the report contradicting its own decomposition

Mike Grier
and
Copilot
committed
fe3b6b4
fix(namespace-request): state the current-drive arm at the boundary observation reaches

Mike Grier
and
Copilot
committed
e13aac7
docs: sweep the current-drive arm into every restatement of the rooting rule

Mike Grier
and
Copilot
committed
9a6e156
fix(namespace-request): close five rounds of vacuous tests and unswept claims

Mike Grier
and
Copilot
committed
137b544
fix(namespace-request): NUL is the one device word a path in front of it does not save

Mike Grier
and
Copilot
committed
4198862
fix(namespace-request): the lexical half claimed a mechanism too, for twenty-three rounds

Mike Grier
and
Copilot
committed
c20ef91
fix(namespace-request): take the handle-allocation guard, and say which layer the device rules describe

Mike Grier
and
Copilot
committed
3e48630
refactor(namespace-request): split full_path/tests.rs, extract the drive-entry arm

Mike Grier
and
Copilot
committed
65d1706
fix(namespace-request): assert which device each name reaches, and repoint the links the split moved

Mike Grier
and
Copilot
committed
dbbecce