Melika Kheirieh
fix(verifier): robust aggregate detection and projection-level semantic check
b72c625