But then I was right from the very beginning: the text rule and what is in fact validated for autopricing (ie in a programmed language) are too far different things [many fares with routing say - No HIP or mileage exceptions apply but in fact all these checkes are waived].

I also found once a fare where the text and the fact agreed.

And it would be great to be able to know all the differences...