The current AD5 reasoning format

Format being checked, mocks paused

We are re-checking the test shape against the official notice. Nothing is sat against an out-of-date format.