When the past becomes a contract: immutable execution snapshotsPicture the right scene, not the ideal one.Architecture