If that is the case, then sure, you can disregard my comments. But IMHO you should know that for sure before buying such an expensive bike.
To be fair, the referees used their hand + experience for a first measurement, but I am quite certain they had a proper scale at hand. My old bike weighed 9 kg, so they did not have to double-check.
For the gearing they had markers on the ground and diligently checked how far the bike would go over one pedal revolution by pushing it backwards.
The most annoying rule was that your helmet needed a JCBF approved sticker that you only get when you buy your helmet domestically. I bought mine on Wiggle and the Japanese distributor refused to send me one, because I hadn’t bought it in Japan. Annoying. But the helmet is on the list of approved equipment and got a sticker from a buddy, so everything was above boards.