Summary
The KeysBoughtBack event must include the updated total supply after the buyback completes. A regression test should confirm the new_supply field equals the pre-buyback supply minus the buyback amount.
Scope
- Record total supply before a buyback
- Execute a buyback for a known amount
- Capture the emitted
KeysBoughtBack event
- Assert
new_supply equals pre-buyback supply minus the buyback amount
Acceptance Criteria
ETA: 12 hours
Coordinate on Telegram
Summary
The
KeysBoughtBackevent must include the updated total supply after the buyback completes. A regression test should confirm thenew_supplyfield equals the pre-buyback supply minus the buyback amount.Scope
KeysBoughtBackeventnew_supplyequals pre-buyback supply minus the buyback amountAcceptance Criteria
new_supplyfield equals pre-buyback supply minus buyback amountnew_supplyof zeroETA: 12 hours
Coordinate on Telegram