The Arithmetic Lift: Rigidity and the Open Packaging Problem | Synapse