Optimal Algorithmic Approach
Simultaneous traversal with carry propagation.
Core Invariants & Edge Cases
- Traverse both lists simultaneously, summing digits + carry
- Create a new node for each digit sum % 10; carry = sum / 10
- Don't forget a final carry node after both lists are exhausted