{"id":"mutation-invisible-in-single-call-context","text":"In-place mutation of input arguments (sorting, element swaps, pointer reassignment) has no observable effect beyond the current call because LeetCode's judge invokes each solution exactly once per test case, making aliasing and input reuse irrelevant under the submission model.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["in-place-mutation-with-return-convention","no-validation-is-deliberate-contract"],"outlist":["max-distance-mutates-input","distance-value-mutates-arr2"],"label":"Mutation is invisible in LeetCode's single-call model, but the documented sort-mutations would surprise any caller that reads the input after the call"}],"dependents":["dominant-pipeline-mutation-has-zero-observable-consequence"],"metadata":{"last_reviewed":"2026-06-07T22:02:22","review_result":"insufficient"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"mutation-invisible-in-single-call-context","truth_value":"IN","reason":"SL justification valid","antecedents":["in-place-mutation-with-return-convention","no-validation-is-deliberate-contract"],"label":"Mutation is invisible in LeetCode's single-call model, but the documented sort-mutations would surprise any caller that reads the input after the call","outlist":["max-distance-mutates-input","distance-value-mutates-arr2"]},{"node":"in-place-mutation-with-return-convention","truth_value":"IN","reason":"SL justification valid","antecedents":["in-place-mutation-return-convention","in-place-sort-mutation-pattern","assign-cookies-mutates-inputs","fused-reverse-invert"],"label":"The mutate-and-return idiom matches LeetCode's expected interface pattern"},{"node":"in-place-mutation-return-convention","truth_value":"IN","reason":"premise"},{"node":"in-place-sort-mutation-pattern","truth_value":"IN","reason":"premise"},{"node":"assign-cookies-mutates-inputs","truth_value":"IN","reason":"premise"},{"node":"fused-reverse-invert","truth_value":"IN","reason":"premise"},{"node":"no-validation-is-deliberate-contract","truth_value":"IN","reason":"SL justification valid","antecedents":["solutions-no-input-validation","no-input-validation-convention","solutions-trust-leetcode-preconditions","leetcode-solutions-no-validation-convention"],"label":"Validation omission is a consistent design decision, not accumulated technical debt"},{"node":"solutions-no-input-validation","truth_value":"IN","reason":"premise"},{"node":"no-input-validation-convention","truth_value":"IN","reason":"premise"},{"node":"solutions-trust-leetcode-preconditions","truth_value":"IN","reason":"premise"},{"node":"leetcode-solutions-no-validation-convention","truth_value":"IN","reason":"premise"}]}}