OpTic Formal Oddshot Compilation - Part 1