This paper provides a complete analysis of outer billiards on the Penrose kite, demonstrating that this 2-dimensional non-compact system admits a 3-dimensional compactification as a polyhedron exchange map with a renormalization scheme. The authors prove several results about orbit distribution and geometry, including that unbounded orbits have Hausdorff dimension 1, using computer-aided proofs with exact integer arithmetic.