Axiomatic — Minimum-Time X/2 Gate Design