Formal AI-Assisted Code Specification And Synthesis: Concrete Steps Towards Safe Sociotechnical Systems