Compile the Prompt, Assumptions, and Equivalence Evidence Into a Review Trail