Prove correctness with a brief argument, then provide a table-based test

matrix covering normal, boundary, and invalid cases. 4. Write tests using {{pytest / vitest / JUnit}} with table-driven cases. 5. Give complexity analysis and note any failure modes. Prefer standard-library solutions. Only use a third-party library if you state why the standard library is insufficient. Do not add features beyond the spec. ================================================================================