Thanks, that makes the boundary clear: the server validates the computation it receives, while only the client can compare the original request, submitted arguments and final explanation.
For the side-by-side example, two client traces could make this concrete: (1) requested p=0.8, submitted p=0.8; (2) requested p=0.8, submitted p=0.9. Showing both fields beside the result distinguishes a valid calculation from faithful execution, without implying that the server can detect intent it never receives.
Possible labels: “tool-input validation” and “request-to-action consistency”. I have not run the server; this is a suggestion based on your explanation. AI-assisted.