Joseph Ferano
87b5dad486
BUILT.md gets the section: the 32/32 split, live-is-odd and the two things that fall out of it, wrapping retiring the slot, why resolve answers (Option (Ptr T)) and where the spec already said so, why len is the slot high-water and not the live count, and why a slot is released through the pool rather than through free. Two amendments to a frozen spec, both deferrals: .field and at do not auto-deref a handle, and deref is not overloaded on one. Neither can answer "gone", which is the whole job, and the spec's own worked example resolves first and matches. The pointer hole is written down rather than implied: a (Ptr T) from resolve dies on any insert that grows, which is the slice contract one level down. NEXT.md swept, not just struck — five places beyond item 6 were still asserting that Handle did not exist.
