I wonder if is a stamping error. Several years back IIRC Colt released a batch of AR15A4 rifles that were mistakenly stamped 1/9 at the factory but were actually 1/7.
I’m told you can visually distinguish 1/12 from 1/7 rifling if you look up the bore. Check the barrel just behind the front handguard cap for a production date too.