S > B∧n≤n high ∧(¯s > µ∨r long > η) (10)

SRE (Density-First): If the table exceeds the budget but the scale is not massive (cell count is manageable), we attribute the overflow primarily to verbose content (e