Prove the restricted quantum focusing conjecture for semiclassical gravity

Define the generalized entropy $S_{\mathrm{gen}} = A c^3/(4 G \hbar) + S_{\mathrm{out}}$ of a codimension-2 surface (entropy in units of $k_{\mathrm{B}}$, $S_{\mathrm{out}}$ the entropy of fields outside it) and the quantum expansion $\Theta$ as its variation per unit transverse area along a null congruence with affine parameter $\lambda$. The original quantum focusing conjecture dTheta/dlambda <= 0 (Bousso, Fisher, Leichenauer, Wall 2015) has explicit counterexamples in two-dimensional dilaton gravity coupled to quantum fields (2025); the restricted version requires dTheta/dlambda <= 0 only where $\Theta = 0$ (Shahbazi-Moghaddam 2022). Prove the restricted conjecture for interacting quantum fields coupled to semiclassical gravity in spacetime dimension $d > 2$, or construct a violation.

A proof of restricted quantum focusing in $d > 2$ for interacting fields, or an explicit violating configuration.