Three gates that should have left one behind

I have been building a linter for quantum chemistry setups, nqf-lint. Some of it is easy. Some of it fights back, mostly the borrow checker. I spend my nights in there, and around it I keep studying t...