B-6 · Medium

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

Session resolved from a bare pid; same-uid pid reuse attributes the wrong session (I21)

Breaks	Status	Mitigation	Closes in
Correct (identity)	Closed (725f290)	`SO_PEERPIDFD` and pidfd-based lookups; a peer gone before it is resolved is its uid alone, with no session or terminal. Pid reuse itself cannot be staged reproducibly; the guarantee rests on P10. Gym: identity-peer-exited (VM)	A

The guarantees it narrows