Principle: Only if a professor believes a student knowingly presented someone else's ideas without attribution should the professor make an official determination that the student has committed plagiarism.
Conclusion
Prof S doesn't need to make an official determination about whether Walters committed plagiarism.