Not at all unusual to get two different bore diameters, right from the factory--no honing involved. You'll see the same thing noted above on older Brit doubles too, but with the old British "gauge" proofmarks. Like 13/1 on one barrel, 12 (or 13) on the other.

A bore mike is indeed an essential piece of equipment.