RT DF A1 Friedenberg, Netanel. T1 Completion Theorems over Valuation Rings via Polyhedral Geometry