EVM Needs a Reorg-Proof Randomness Primitive

EVM lacks an identifier that’s unique per execution, reorg-resistant, and recomputable from data alone. Solidity offers no primitive with all three: block fields replay identically, nonces shift with call order, tx hash is inaccessible. Proposal: BLOCKID opcode hashing block metadata plus state-folding for call-site divergence. Community debate: hard fork versus keeping digests bound to events.