There is a fault with the uploading of restriction codes which should be resolved in the next 72 hours. In the meantime staff have been asked to "show discretion". Although I suspect that note went out after your encounter.
That would be uploading as in by
GWR▸ to nationalrail, I think - restriction code P7 has simply vanished off the system (as made visible by BRFares). So the
OJP▸ also thinks off-peak tickets
DID» -
PAD» apply all day, and presumably all other JP and sales machinery does too. The text for the code is still there, but then I'd already concluded that comes from a different source. Maybe the single computer at GWR towers that does the processing and uploads has died...