When the past becomes a contract: immutable execution snapshots