LexRails — deterministic legal-citation checks for agents | x402scan