Analyze the provided Python function that processes a list of user transactions. The current implementation uses nested loops resulting in O(n^2) time complexity. Refactor the code to achieve O(n log n) or better time complexity. Additionally, implement error handling for missing keys and ensure the refactored code includes type hints and docstrings explaining the logic changes.