Idea / Pre-RFC: Null-free pointer and Zeroable reference

It has been roughly two weeks since #83 and #84 were posted. To my knowledge, no informal justification for the AM axiom (no live allocation at 0x0) - whether adoption rationale, consequences of changing it, or an example of code whose soundness depends on this axiom beyond NonNull<T> - appears to have been presented in this thread. I have also searched related discussions, and was unable to find one.

I intend to submit an RFC based on the current OP - which is revised to reflect feedback on this thread - 336 hours from now. Until then, I would like to gather further feedback here on Internals. You are also welcome to comment during the formal RFC stage, so please feel free to participate at your convenience.

Arguments already addressed above will not be revisited unless accompanied by new evidence. As for the need to access 0x0 itself: the OP provides concrete counterexamples, so this point is settled.