lib: Overflow-safe transient map add + queue invariant check#3

Open

rusiqe wants to merge 2 commits intocode-423n4:mainfrom

rusiqe:fix/transient-overflow-and-queue-invariant

Commits on Aug 11, 2025

lib: make TransientUintUintMapLib.add overflow-safe; QueueLib.clean: enforce enqueuedCount >= keys invariant to prevent underflow
rusiqe
committed
report: reference PR for overflow-safe transient map and queue invariant
rusiqe
committed