"""Guards: leak detection + consistency enforcement (Section 8.2)."""