Entropy Obstruction to Closed Semiclassical Bounces
We prove a finite-$G\hslash$ singularity theorem for semiclassical spacetimes with compact Cauchy slices. Let a compact Cauchy slice be divided by a compact surface into regions $B$ and $C$. Suppose that $B$ is conditionally hyperentropic, $H_{\max,\mathrm{gen}}^\varepsilon(BC|C)>0$, that the future-inward null boundary from the dividing surface toward $B$ is a discrete max lightsheet, and that $C$ is robustly quantum trapped. Assuming discrete max-focusing and a regular semiclassical endpoint for a closing lightsheet, the future Cauchy development of $B$ contains an incomplete null generator. This parallels entropy singularity theorems in which hyperentropy is combined with the existence of an inward lightsheet, while robust quantum trapping supplies the additional finite-$G\hslash$ local obstruction needed here. In a closed Friedmann universe, the theorem excludes a controlled semiclassical bounce when a contracting hemisphere lies on such a lightsheet and contains more independent information than its boundary can support.