Milestones
List view
Formalize the QuTub Transpiler into an explicit, composable, and validated compiler pipeline. This milestone establishes the architectural foundation for the next stage of QuTub development, including: - Explicit compiler pass architecture - Well-defined IR and representation boundaries - Compiler context and configuration - Pass preconditions, postconditions, and invariants - Routing and native decomposition boundaries - Backend lowering architecture - Native-level optimization - Structured compiler diagnostics - Pipeline-level correctness validation - End-to-end compilation tests - Architecture and contributor documentation The goal is to move QuTub from a collection of individual compiler transformations toward a coherent, extensible quantum compiler architecture. This milestone should preserve existing functionality while establishing the infrastructure required for future work in: - Additional backends - Advanced routing - Hardware-aware compilation - Calibration-aware optimization - Cost models - Scheduling - Resource estimation - Formal and property-based verification - Configurable compilation strategies Completion of this milestone should make it straightforward for future contributors to understand where a new compiler pass belongs, what representation it consumes and produces, what invariants it must preserve, and how its correctness should be validated.
No due date•1/2 issues closed