Order Customer Selector with optional exclusion of archived contacts

Contact.php

<?php

class Contact 
{
  /* @var Order[] */
  private $orders;
  
  /** @var bool */
  private $deleted;
  
  // ...
}

ContactSelectorType.php

<?php

class ContactSelectorType extends AbstractType
{
  public function getName()
  {
    return 'contact_selector';
  }
  
  public function getParent()
  {
    return 'choice';
  }
  
  public function configureOptions(OptionsResolver $resolver)
  {
    $resolver->setDefaults(
      array(
        'include_deleted' => true,
        // Something that will filter out 'deleted' Contacts,
        // but always include the current Order contact.
        // Should it be 'choice_list', 'choice_loader', 'choices' ...?
        //
        // Or entirely override buildView()...
        //
        // A form listener in the OrderType, could add the selector field with custom data
        // but that increases the coupling beyond what should be necessary.
      )
    );
  }  
}

Order.php

<?php

class Order 
{
  /* @var Contact */
  private $customer;
  // ...
}

OrderType.php

<?php

class OrderType extends AbstractType
{
  public function buildForm(FormBuilderInterface $builder, array $options)
  {
    $builder->add('customer', new ContactSelectorType(), array('include_deleted' => false));
  }
}