🧠 FORMAL VERIFICATION MODE | رسا پرامت