Demostración guiada de cumplimiento