Determinism guarantees

Status: Draft stub.

Question: what must stay identical when the same inputs are compiled again?

To complete: explain byte identity, ordering, numeric boundaries, seed and locale handling, and the gates that enforce the contract. Define the full input set rather than promising identical worlds.