Spectroscopic Limited Maximum Efficiency-First Progressive Screening of Halide Double Perovskites via First Principle-Constrained Machine Learning | Synapse