HardFlow: Hard-Constrained Sampling for Flow-Matching Models via Trajectory Optimization | AI Sec Watch