**Problem Statement:**
Given two strings `s1` and `s2`, return `true` if `s2` contains a permutation of `s1`, or `false` otherwise. In other words, return `true` if one of `s1`'s permutations is the substring of `s2`.
**Hint / Expected Approach:**
Fixed-size window + char frequency array
**Edge Cases to Consider:**
- (1) s1 longer than s2
- (2) s1 and s2 identical
- (3) No permutation exists