Learning-based optimal guidance for spacecraft close-proximity operations with certified stability | Synapse