Skip to content

Settle reward hooks before exhausted book rotation #33

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
dangerousfood merged 1 commit into from
Aug 15, 2026
Merged

Settle reward hooks before exhausted book rotation #33

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
126 changes: 63 additions & 63 deletions .gas-snapshot.runtime
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,86 +1,86 @@
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorAndProtocolFeeFill() (gas: 129346)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorFillAskFullyMatchesSingleBid() (gas: 103757)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorFillBidFullyMatchesSingleAsk() (gas: 103866)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorFillRestBidEmptyBook() (gas: 151809)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorRouteNetsRepeatedFeeToken() (gas: 122482)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorAndProtocolFeeFill() (gas: 129349)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorFillAskFullyMatchesSingleBid() (gas: 103760)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorFillBidFullyMatchesSingleAsk() (gas: 103869)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorFillRestBidEmptyBook() (gas: 151812)
DeepstateV1IntegratorFeeGasTest:testGas_IntegratorRouteNetsRepeatedFeeToken() (gas: 122488)
RadixMatchingEngineFeeGasTest:testGas_CancelAskSkipsPathologicalBidTree() (gas: 39659)
RadixMatchingEngineFeeGasTest:testGas_CancelFilledBidClaim() (gas: 36739)
RadixMatchingEngineFeeGasTest:testGas_CancelFullDepthBidCombRightmost() (gas: 423078)
RadixMatchingEngineFeeGasTest:testGas_CancelMaxValidDepthAskCombRightmost() (gas: 424760)
RadixMatchingEngineFeeGasTest:testGas_CancelPartialBid() (gas: 48797)
RadixMatchingEngineFeeGasTest:testGas_CancelUnfilledAsk() (gas: 39876)
RadixMatchingEngineFeeGasTest:testGas_CancelUnfilledBid() (gas: 39717)
RadixMatchingEngineFeeGasTest:testGas_FillAskConsumesDirtySamePriceBidSubtree() (gas: 87846)
RadixMatchingEngineFeeGasTest:testGas_FillAskConsumesFullDepthBidComb() (gas: 352993)
RadixMatchingEngineFeeGasTest:testGas_FillAskFullyMatchesSingleBid() (gas: 78197)
RadixMatchingEngineFeeGasTest:testGas_FillAskPartiallyMatchesSingleBid() (gas: 97892)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesAskAndRestsRemainder() (gas: 130827)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesDirtySamePriceAskSubtree() (gas: 87959)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesMaxValidDepthAskComb() (gas: 324083)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesSamePriceAskSubtree() (gas: 77951)
RadixMatchingEngineFeeGasTest:testGas_FillBidFullyMatchesSingleAsk() (gas: 77851)
RadixMatchingEngineFeeGasTest:testGas_FillBidPartiallyMatchesSingleAsk() (gas: 97765)
RadixMatchingEngineFeeGasTest:testGas_FillRestAskEmptyBook() (gas: 150894)
RadixMatchingEngineFeeGasTest:testGas_FillRestBidEmptyBook() (gas: 152651)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookAskMatchesOneBid() (gas: 122101)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookBidMatchesOneAsk() (gas: 137291)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookPartialFillsAsk() (gas: 138429)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookPartialFillsBid() (gas: 123225)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookRestsAsk() (gas: 163968)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookRestsBid() (gas: 173286)
RadixMatchingEngineFeeGasTest:testGas_FillAskConsumesDirtySamePriceBidSubtree() (gas: 87849)
RadixMatchingEngineFeeGasTest:testGas_FillAskConsumesFullDepthBidComb() (gas: 352996)
RadixMatchingEngineFeeGasTest:testGas_FillAskFullyMatchesSingleBid() (gas: 78200)
RadixMatchingEngineFeeGasTest:testGas_FillAskPartiallyMatchesSingleBid() (gas: 97895)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesAskAndRestsRemainder() (gas: 130830)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesDirtySamePriceAskSubtree() (gas: 87962)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesMaxValidDepthAskComb() (gas: 324086)
RadixMatchingEngineFeeGasTest:testGas_FillBidConsumesSamePriceAskSubtree() (gas: 77954)
RadixMatchingEngineFeeGasTest:testGas_FillBidFullyMatchesSingleAsk() (gas: 77854)
RadixMatchingEngineFeeGasTest:testGas_FillBidPartiallyMatchesSingleAsk() (gas: 97768)
RadixMatchingEngineFeeGasTest:testGas_FillRestAskEmptyBook() (gas: 150897)
RadixMatchingEngineFeeGasTest:testGas_FillRestBidEmptyBook() (gas: 152654)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookAskMatchesOneBid() (gas: 122104)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookBidMatchesOneAsk() (gas: 137294)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookPartialFillsAsk() (gas: 138432)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookPartialFillsBid() (gas: 123228)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookRestsAsk() (gas: 163971)
RadixMatchingEngineFeeGasTest:testGas_LargeRandomBookRestsBid() (gas: 173289)
RadixMatchingEngineGasTest:testGas_CancelAskSkipsPathologicalBidTree() (gas: 39659)
RadixMatchingEngineGasTest:testGas_CancelFilledBidClaim() (gas: 36739)
RadixMatchingEngineGasTest:testGas_CancelFullDepthBidCombRightmost() (gas: 423078)
RadixMatchingEngineGasTest:testGas_CancelMaxValidDepthAskCombRightmost() (gas: 424740)
RadixMatchingEngineGasTest:testGas_CancelPartialBid() (gas: 48797)
RadixMatchingEngineGasTest:testGas_CancelUnfilledAsk() (gas: 39876)
RadixMatchingEngineGasTest:testGas_CancelUnfilledBid() (gas: 39717)
RadixMatchingEngineGasTest:testGas_FillAskConsumesDirtySamePriceBidSubtree() (gas: 87242)
RadixMatchingEngineGasTest:testGas_FillAskConsumesFullDepthBidComb() (gas: 327303)
RadixMatchingEngineGasTest:testGas_FillAskFullyMatchesSingleBid() (gas: 77593)
RadixMatchingEngineGasTest:testGas_FillAskPartiallyMatchesSingleBid() (gas: 97288)
RadixMatchingEngineGasTest:testGas_FillBidConsumesAskAndRestsRemainder() (gas: 130230)
RadixMatchingEngineGasTest:testGas_FillBidConsumesDirtySamePriceAskSubtree() (gas: 87365)
RadixMatchingEngineGasTest:testGas_FillBidConsumesMaxValidDepthAskComb() (gas: 323489)
RadixMatchingEngineGasTest:testGas_FillBidConsumesSamePriceAskSubtree() (gas: 77357)
RadixMatchingEngineGasTest:testGas_FillBidFullyMatchesSingleAsk() (gas: 77257)
RadixMatchingEngineGasTest:testGas_FillBidPartiallyMatchesSingleAsk() (gas: 97171)
RadixMatchingEngineGasTest:testGas_FillRestAskEmptyBook() (gas: 150668)
RadixMatchingEngineGasTest:testGas_FillRestBidEmptyBook() (gas: 152432)
RadixMatchingEngineGasTest:testGas_LargeRandomBookAskMatchesOneBid() (gas: 121497)
RadixMatchingEngineGasTest:testGas_LargeRandomBookBidMatchesOneAsk() (gas: 136697)
RadixMatchingEngineGasTest:testGas_LargeRandomBookPartialFillsAsk() (gas: 137835)
RadixMatchingEngineGasTest:testGas_LargeRandomBookPartialFillsBid() (gas: 122621)
RadixMatchingEngineGasTest:testGas_LargeRandomBookRestsAsk() (gas: 163742)
RadixMatchingEngineGasTest:testGas_LargeRandomBookRestsBid() (gas: 173067)
RadixMatchingEngineGasTest:testGas_FillAskConsumesDirtySamePriceBidSubtree() (gas: 87245)
RadixMatchingEngineGasTest:testGas_FillAskConsumesFullDepthBidComb() (gas: 327306)
RadixMatchingEngineGasTest:testGas_FillAskFullyMatchesSingleBid() (gas: 77596)
RadixMatchingEngineGasTest:testGas_FillAskPartiallyMatchesSingleBid() (gas: 97291)
RadixMatchingEngineGasTest:testGas_FillBidConsumesAskAndRestsRemainder() (gas: 130233)
RadixMatchingEngineGasTest:testGas_FillBidConsumesDirtySamePriceAskSubtree() (gas: 87368)
RadixMatchingEngineGasTest:testGas_FillBidConsumesMaxValidDepthAskComb() (gas: 323492)
RadixMatchingEngineGasTest:testGas_FillBidConsumesSamePriceAskSubtree() (gas: 77360)
RadixMatchingEngineGasTest:testGas_FillBidFullyMatchesSingleAsk() (gas: 77260)
RadixMatchingEngineGasTest:testGas_FillBidPartiallyMatchesSingleAsk() (gas: 97174)
RadixMatchingEngineGasTest:testGas_FillRestAskEmptyBook() (gas: 150671)
RadixMatchingEngineGasTest:testGas_FillRestBidEmptyBook() (gas: 152435)
RadixMatchingEngineGasTest:testGas_LargeRandomBookAskMatchesOneBid() (gas: 121500)
RadixMatchingEngineGasTest:testGas_LargeRandomBookBidMatchesOneAsk() (gas: 136700)
RadixMatchingEngineGasTest:testGas_LargeRandomBookPartialFillsAsk() (gas: 137838)
RadixMatchingEngineGasTest:testGas_LargeRandomBookPartialFillsBid() (gas: 122624)
RadixMatchingEngineGasTest:testGas_LargeRandomBookRestsAsk() (gas: 163745)
RadixMatchingEngineGasTest:testGas_LargeRandomBookRestsBid() (gas: 173070)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_ObservedNativeBidCancelAfterThreePartialMatches() (gas: 88476)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_ObservedNativeBidPartialMatchAfterDirtySpineRest() (gas: 98430)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_ObservedNativeBidRestsAfterFiveLevelDirtySpine() (gas: 528120)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_ObservedNativeBidPartialMatchAfterDirtySpineRest() (gas: 98433)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_ObservedNativeBidRestsAfterFiveLevelDirtySpine() (gas: 528123)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_PathologicalNativeBidCancelAfterThreePartialMatches() (gas: 356523)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_PathologicalNativeBidPartialMatchAfterDirtySpineRest() (gas: 394232)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_PathologicalNativeBidRestsAfterFullDepthDirtySpine() (gas: 3931430)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_PathologicalNativeBidPartialMatchAfterDirtySpineRest() (gas: 394235)
RadixMatchingEngineGasTestNativeDirtySpine:testGas_PathologicalNativeBidRestsAfterFullDepthDirtySpine() (gas: 3931433)
RadixMatchingEngineHookGasTest:testGas_CancelAskSkipsPathologicalBidTree() (gas: 43698)
RadixMatchingEngineHookGasTest:testGas_CancelFilledBidClaim() (gas: 37486)
RadixMatchingEngineHookGasTest:testGas_CancelFullDepthBidCombRightmost() (gas: 446433)
RadixMatchingEngineHookGasTest:testGas_CancelMaxValidDepthAskCombRightmost() (gas: 447256)
RadixMatchingEngineHookGasTest:testGas_CancelPartialBid() (gas: 53587)
RadixMatchingEngineHookGasTest:testGas_CancelUnfilledAsk() (gas: 43915)
RadixMatchingEngineHookGasTest:testGas_CancelUnfilledBid() (gas: 44505)
RadixMatchingEngineHookGasTest:testGas_FillAskConsumesDirtySamePriceBidSubtree() (gas: 95252)
RadixMatchingEngineHookGasTest:testGas_FillAskConsumesFullDepthBidComb() (gas: 414778)
RadixMatchingEngineHookGasTest:testGas_FillAskFullyMatchesSingleBid() (gas: 85769)
RadixMatchingEngineHookGasTest:testGas_FillAskPartiallyMatchesSingleBid() (gas: 105472)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesAskAndRestsRemainder() (gas: 139207)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesDirtySamePriceAskSubtree() (gas: 94232)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesMaxValidDepthAskComb() (gas: 410105)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesSamePriceAskSubtree() (gas: 93337)
RadixMatchingEngineHookGasTest:testGas_FillBidFullyMatchesSingleAsk() (gas: 84184)
RadixMatchingEngineHookGasTest:testGas_FillBidPartiallyMatchesSingleAsk() (gas: 104106)
RadixMatchingEngineHookGasTest:testGas_FillRestAskEmptyBook() (gas: 140357)
RadixMatchingEngineHookGasTest:testGas_FillRestBidEmptyBook() (gas: 142118)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookAskMatchesOneBid() (gas: 138973)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookBidMatchesOneAsk() (gas: 154775)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookPartialFillsAsk() (gas: 146860)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookPartialFillsBid() (gas: 133256)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookRestsAsk() (gas: 193723)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookRestsBid() (gas: 198650)
RadixMatchingEngineHookGasTest:testGas_FillAskConsumesDirtySamePriceBidSubtree() (gas: 95255)
RadixMatchingEngineHookGasTest:testGas_FillAskConsumesFullDepthBidComb() (gas: 414781)
RadixMatchingEngineHookGasTest:testGas_FillAskFullyMatchesSingleBid() (gas: 85772)
RadixMatchingEngineHookGasTest:testGas_FillAskPartiallyMatchesSingleBid() (gas: 105475)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesAskAndRestsRemainder() (gas: 139210)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesDirtySamePriceAskSubtree() (gas: 94235)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesMaxValidDepthAskComb() (gas: 410108)
RadixMatchingEngineHookGasTest:testGas_FillBidConsumesSamePriceAskSubtree() (gas: 93340)
RadixMatchingEngineHookGasTest:testGas_FillBidFullyMatchesSingleAsk() (gas: 84187)
RadixMatchingEngineHookGasTest:testGas_FillBidPartiallyMatchesSingleAsk() (gas: 104109)
RadixMatchingEngineHookGasTest:testGas_FillRestAskEmptyBook() (gas: 140360)
RadixMatchingEngineHookGasTest:testGas_FillRestBidEmptyBook() (gas: 142121)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookAskMatchesOneBid() (gas: 138976)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookBidMatchesOneAsk() (gas: 154778)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookPartialFillsAsk() (gas: 146863)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookPartialFillsBid() (gas: 133259)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookRestsAsk() (gas: 193726)
RadixMatchingEngineHookGasTest:testGas_LargeRandomBookRestsBid() (gas: 198653)
82 changes: 41 additions & 41 deletions coverage.exclusions.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -98,49 +98,49 @@
2033,
2057,
2067,
2306,
2316,
2379,
2383,
2421,
2424,
2465,
2466,
2467,
2468,
2481,
2482,
2483,
2484,
2485,
2486,
2660,
2759,
2760,
2940,
2941,
2942,
2969,
2973,
2975,
3000,
3004,
3006,
2314,
2324,
2387,
2391,
2429,
2432,
2473,
2474,
2475,
2476,
2489,
2490,
2491,
2492,
2493,
2494,
2666,
2765,
2766,
2997,
2998,
2999,
3026,
3030,
3032,
3070,
3079,
3084,
3100,
3105,
3153,
3154,
3172,
3173,
3227,
3235,
3300
3057,
3061,
3063,
3083,
3087,
3089,
3127,
3136,
3141,
3157,
3162,
3210,
3211,
3229,
3230,
3284,
3292,
3357
],
"statements": 145,
"functions": [],
Expand All @@ -154,7 +154,7 @@
"1938:149:0",
"1945:150:0",
"1975:151:0",
"2940:198:0"
"2997:202:0"
]
},
"src/libraries/TickMath32.sol": {
Expand Down
4 changes: 2 additions & 2 deletions script/prove_protocol.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -88,8 +88,8 @@ def bind_model_to_source():
"prefixLength = uint8(LibBit.clz(differingBits << 192));",
"one := and(shr(sub(63, depth), key), 1)",
"nextNonceAfter = nonce - 1;",
"if (oldEpoch == _POOL_EPOCH_MASK) revert EpochExhausted();",
"epoch = oldEpoch + 1;",
"if (rotation.epoch == _POOL_EPOCH_MASK) revert EpochExhausted();",
"++rotation.epoch;",
"return (poolState & _POOL_HOOK_ACTIVE_MASK) | epoch;",
"uint160 quantity = _quantity(a) + _quantity(b);",
"quoteAmount += _subtreeQuote(book, leftNode, restingIsBid);",
Expand Down
Loading