Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis (ArXiv cs.CR Recent Papers, 2026)