Hierarchical composition of reliable recombinase logic devices

A major goal of synthetic biology is to reprogram living organisms to solve pressing challenges in manufacturing, environmental remediation, and healthcare. Recombinase devices can efficiently encode complex logic in many species, yet current designs are performed on a case-by-case basis, limiting their scalability and requiring time-consuming optimization. Here we provide a systematic framework for engineering reliable recombinase logic devices by hierarchical composition of well-characterized, optimized recombinase switches. We apply this framework to build a recombinase logic device family supporting up to 4-input Boolean logic within a multicellular system. This work enables straightforward implementation of multicellular recombinase logic and will support the predictable engineering of several classes of recombinase devices to reliably control cellular behavior.