The exact orbit and rational-function solution certificate are machine-readable.
