В случае развода гражданина США и иностранной супруги, процесс получения постоянной карты будет прерван и супруга теряет право подавать на снятие условности после двух лет брака. Это право людей разводится если брак не состоялся поэтому сам факт развода является легальным.

Не существует закона который обязывает сообщить иммиграционным службам USCIS о разводе но это разрешается. Допустим, после того как девушка разведется, она может проинформировать USCIS письменно о том что она развелась (можно приложить сертификат о разводе) и о том что она покидает США. Я советую особенно подчеркнуть тот факт в письме что она покидает страну добровольно.

Также для выезда из США девушке не понадобятся никакие документы так как человек может покинуть США по собственному желанию в любое время. Основной вопрос для Вашей девушки на будущее это как вернутся обратно в США легально не нарушая законов.

В будущем девушка сможет приехать обратно в США по любой неиммиграционной визе если ее документы на визу будут одобрены. Мы можем рассказать Вам о разных вариантах неиммиграционных виз и какие для этого требуются документы отдельно.