Right not the spec doesn't have any text to explain what happens to a buffer's mappings when the buffer is GCed. Because the GC is unobservable, the mappings should not change but that's not written down.