“…Requirement (1.64) is important in establishing the well-posedness of (1.63). The local well-posedness theory for the physical vacuum problem was first developed in the Euler case [17,37], while the well-posedness statements for the gravitational Euler-Poisson system can be found in [26,29,31,34,42]. Nevertheless, the wellposedness theory cannot be directly applied to our setting, as (1.63) differs from the above mentioned works in two important aspects: the problem has explicit singularities at τ = 0 and the space time domain (τ, r ) ∈ (0, 1] × [0, 1] is strictly larger than the domain (s, r ) ∈ [0, 1 g(0) )×[0, 1] which only covers the star dynamics up to the first stipulated collapse time t * = 1 g(0) , see Section 1.4.…”