Frontier engineering for high-assurance systems: Capital Markets, AI Safety, Infra, and Advanced Programming.