@bananapus/core-v6 0.0.36 → 0.0.38

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (286) hide show
  1. package/foundry.lock +1 -7
  2. package/foundry.toml +1 -1
  3. package/package.json +19 -7
  4. package/src/JBController.sol +26 -5
  5. package/src/JBMultiTerminal.sol +85 -47
  6. package/src/JBTerminalStore.sol +6 -6
  7. package/src/interfaces/IJBController.sol +4 -1
  8. package/src/libraries/JBFees.sol +47 -9
  9. package/src/libraries/JBPayoutSplitGroupLib.sol +2 -2
  10. package/src/periphery/JBMatchingPriceFeed.sol +1 -1
  11. package/test/mock/MockMaliciousBeneficiary.sol +15 -15
  12. package/ADMINISTRATION.md +0 -103
  13. package/ARCHITECTURE.md +0 -133
  14. package/AUDIT_INSTRUCTIONS.md +0 -139
  15. package/RISKS.md +0 -215
  16. package/SKILLS.md +0 -55
  17. package/STYLE_GUIDE.md +0 -610
  18. package/USER_JOURNEYS.md +0 -215
  19. package/script/Deploy.s.sol +0 -124
  20. package/script/DeployPeriphery.s.sol +0 -354
  21. package/slither-ci.config.json +0 -10
  22. package/test/AuditFixes.t.sol +0 -808
  23. package/test/ComprehensiveInvariant.t.sol +0 -306
  24. package/test/CoreExploitTests.t.sol +0 -2741
  25. package/test/EconomicSimulation.t.sol +0 -348
  26. package/test/EntryPointPermutations.t.sol +0 -684
  27. package/test/FlashLoanAttacks.t.sol +0 -797
  28. package/test/PermissionEscalation.t.sol +0 -711
  29. package/test/PermissionsInvariant.t.sol +0 -403
  30. package/test/RulesetTransitions.t.sol +0 -713
  31. package/test/SplitLoopTests.t.sol +0 -752
  32. package/test/TestAccessToFunds.sol +0 -2683
  33. package/test/TestAuditResponseDesignProofs.sol +0 -434
  34. package/test/TestCashOut.sol +0 -198
  35. package/test/TestCashOutCountFor.sol +0 -271
  36. package/test/TestCashOutHooks.sol +0 -351
  37. package/test/TestCashOutTimingEdge.sol +0 -241
  38. package/test/TestDataHookFuzzing.sol +0 -524
  39. package/test/TestDurationUnderflow.sol +0 -233
  40. package/test/TestFeeFreeCashOutBypass.sol +0 -949
  41. package/test/TestFeeProcessingFailure.sol +0 -218
  42. package/test/TestFees.sol +0 -619
  43. package/test/TestForwardedTokenConsumption.sol +0 -425
  44. package/test/TestInterfaceSupport.sol +0 -81
  45. package/test/TestJBERC20Inheritance.sol +0 -103
  46. package/test/TestL2SequencerPriceFeed.sol +0 -292
  47. package/test/TestLaunchProject.sol +0 -188
  48. package/test/TestMetaTx.sol +0 -217
  49. package/test/TestMetadataOffsetOverflow.sol +0 -179
  50. package/test/TestMetadataParserLib.sol +0 -471
  51. package/test/TestMigrationHeldFees.sol +0 -255
  52. package/test/TestMintTokensOf.sol +0 -185
  53. package/test/TestMultiTerminalSurplus.sol +0 -348
  54. package/test/TestMultiTokenSurplus.sol +0 -202
  55. package/test/TestMultipleAccessLimits.sol +0 -664
  56. package/test/TestPayBurnRedeemFlow.sol +0 -195
  57. package/test/TestPayHooks.sol +0 -209
  58. package/test/TestPermissions.sol +0 -324
  59. package/test/TestPermissionsEdge.sol +0 -290
  60. package/test/TestPermit2DataHook.t.sol +0 -360
  61. package/test/TestPermit2Terminal.sol +0 -372
  62. package/test/TestRulesetQueueing.sol +0 -1025
  63. package/test/TestRulesetQueuingStress.sol +0 -806
  64. package/test/TestRulesetWeightCaching.sol +0 -178
  65. package/test/TestSplits.sol +0 -391
  66. package/test/TestTerminalMigration.sol +0 -274
  67. package/test/TestTerminalPreviewParity.sol +0 -208
  68. package/test/TestTokenFlow.sol +0 -191
  69. package/test/TestWeightCacheStaleAfterRejection.sol +0 -303
  70. package/test/WeirdTokenTests.t.sol +0 -817
  71. package/test/audit/CashOutReenterPay.t.sol +0 -501
  72. package/test/audit/CodexHeldFeeRounding.t.sol +0 -159
  73. package/test/audit/CrossTerminalSurplusSpoof.t.sol +0 -140
  74. package/test/audit/CycledSurplusAllowanceReset.t.sol +0 -184
  75. package/test/audit/FeeFreeSurplusLifecycle.t.sol +0 -399
  76. package/test/audit/FeeFreeSurplusStale.t.sol +0 -248
  77. package/test/audit/USDTVoidReturnCompat.t.sol +0 -525
  78. package/test/fork/TestChainlinkPriceFeedFork.sol +0 -254
  79. package/test/fork/TestSequencerPriceFeedFork.sol +0 -168
  80. package/test/fork/TestTerminalPreviewParityFork.sol +0 -108
  81. package/test/formal/BondingCurveProperties.t.sol +0 -420
  82. package/test/formal/FeeProperties.t.sol +0 -252
  83. package/test/invariants/Phase3DeepInvariant.t.sol +0 -412
  84. package/test/invariants/RulesetsInvariant.t.sol +0 -125
  85. package/test/invariants/TerminalStoreInvariant.t.sol +0 -227
  86. package/test/invariants/TokensInvariant.t.sol +0 -195
  87. package/test/invariants/handlers/ComprehensiveHandler.sol +0 -303
  88. package/test/invariants/handlers/EconomicHandler.sol +0 -377
  89. package/test/invariants/handlers/Phase3Handler.sol +0 -443
  90. package/test/invariants/handlers/RulesetsHandler.sol +0 -115
  91. package/test/invariants/handlers/TerminalStoreHandler.sol +0 -151
  92. package/test/invariants/handlers/TokensHandler.sol +0 -126
  93. package/test/regression/HoldFeesCashOutReserved.t.sol +0 -415
  94. package/test/regression/WeightCacheBoundary.t.sol +0 -291
  95. package/test/trees/JBController/burnTokensOf.tree +0 -9
  96. package/test/trees/JBController/claimTokensFor.tree +0 -5
  97. package/test/trees/JBController/deployERC20For.tree +0 -5
  98. package/test/trees/JBController/getRulesetOf.tree +0 -5
  99. package/test/trees/JBController/launchProjectFor.tree +0 -12
  100. package/test/trees/JBController/launchRulesetsFor.tree +0 -8
  101. package/test/trees/JBController/migrateController.tree +0 -12
  102. package/test/trees/JBController/mintTokensOf.tree +0 -12
  103. package/test/trees/JBController/payReservedTokenToTerminal.tree +0 -8
  104. package/test/trees/JBController/receiveMigrationFrom.tree +0 -4
  105. package/test/trees/JBController/sendReservedTokensToSplitsOf.tree +0 -12
  106. package/test/trees/JBController/setMetadataOf.tree +0 -5
  107. package/test/trees/JBController/setSplitGroupsOf.tree +0 -5
  108. package/test/trees/JBController/setTokenFor.tree +0 -5
  109. package/test/trees/JBController/transferCreditsFrom.tree +0 -8
  110. package/test/trees/JBDirectory/primaryTerminalOf.tree +0 -8
  111. package/test/trees/JBDirectory/setControllerOf.tree +0 -11
  112. package/test/trees/JBDirectory/setPrimaryTerminalOf.tree +0 -15
  113. package/test/trees/JBDirectory/setTerminalsOf.tree +0 -11
  114. package/test/trees/JBERC20/initialize.tree +0 -7
  115. package/test/trees/JBERC20/name.tree +0 -5
  116. package/test/trees/JBERC20/nonces.tree +0 -5
  117. package/test/trees/JBERC20/symbol.tree +0 -5
  118. package/test/trees/JBFeelessAddresses/setFeelessAddress.tree +0 -5
  119. package/test/trees/JBFeelessAddresses/supportsInterface.tree +0 -5
  120. package/test/trees/JBFundAccessLimits/payoutLimitOf.tree +0 -5
  121. package/test/trees/JBFundAccessLimits/payoutLimitsOf.tree +0 -8
  122. package/test/trees/JBFundAccessLimits/setFundAccessLimitsFor.tree +0 -18
  123. package/test/trees/JBFundAccessLimits/surplusAllowanceOf.tree +0 -5
  124. package/test/trees/JBFundAccessLimits/surplusAllowancesOf.tree +0 -8
  125. package/test/trees/JBMetadataResolver/getDataFor.tree +0 -8
  126. package/test/trees/JBMultiTerminal/accountingContextsOf.tree +0 -5
  127. package/test/trees/JBMultiTerminal/addAccountingContextsFor.tree +0 -10
  128. package/test/trees/JBMultiTerminal/addToBalanceOf.tree +0 -23
  129. package/test/trees/JBMultiTerminal/cashOutTokensOf.tree +0 -23
  130. package/test/trees/JBMultiTerminal/executePayout.tree +0 -32
  131. package/test/trees/JBMultiTerminal/executeProcessFee.tree +0 -14
  132. package/test/trees/JBMultiTerminal/migrateBalanceOf.tree +0 -12
  133. package/test/trees/JBMultiTerminal/pay.tree +0 -23
  134. package/test/trees/JBMultiTerminal/processHeldFeesOf.tree +0 -8
  135. package/test/trees/JBMultiTerminal/sendPayoutsOf.tree +0 -34
  136. package/test/trees/JBMultiTerminal/useAllowanceOf.tree +0 -16
  137. package/test/trees/JBPermissions/hasPermission.tree +0 -8
  138. package/test/trees/JBPermissions/hasPermissions.tree +0 -8
  139. package/test/trees/JBPermissions/setPermissionsFor.tree +0 -5
  140. package/test/trees/JBPrices/addPriceFeedFor.tree +0 -14
  141. package/test/trees/JBPrices/pricePerUnitOf.tree +0 -11
  142. package/test/trees/JBProjects/createFor.tree +0 -11
  143. package/test/trees/JBProjects/setTokenUriResolver.tree +0 -5
  144. package/test/trees/JBProjects/supportsInterface.tree +0 -9
  145. package/test/trees/JBProjects/tokenURI.tree +0 -5
  146. package/test/trees/JBRulesets/currentApprovalStatusForLatestRulesetOf.tree +0 -8
  147. package/test/trees/JBRulesets/currentOf.tree +0 -12
  148. package/test/trees/JBRulesets/getRulesetOf.tree +0 -5
  149. package/test/trees/JBRulesets/latestQueuedRulesetOf.tree +0 -10
  150. package/test/trees/JBRulesets/rulesetsOf.tree +0 -11
  151. package/test/trees/JBRulesets/upcomingRulesetOf.tree +0 -20
  152. package/test/trees/JBRulesets/updateRulesetWeightCache.tree +0 -5
  153. package/test/trees/JBSplits/setSplitGroupsOf.tree +0 -17
  154. package/test/trees/JBSplits/splitsOf.tree +0 -5
  155. package/test/trees/JBTerminalStore/currentReclaimableSurplusOf.tree +0 -16
  156. package/test/trees/JBTerminalStore/currentSurplusOf.tree +0 -25
  157. package/test/trees/JBTerminalStore/currentTotalSurplusOf.tree +0 -5
  158. package/test/trees/JBTerminalStore/recordCashOutsFor.tree +0 -16
  159. package/test/trees/JBTerminalStore/recordPaymentFrom.tree +0 -14
  160. package/test/trees/JBTerminalStore/recordPayoutFor.tree +0 -10
  161. package/test/trees/JBTerminalStore/recordTerminalMigration.tree +0 -5
  162. package/test/trees/JBTerminalStore/recordUsedAllowanceOf.tree +0 -10
  163. package/test/trees/JBTokens/burnFrom.tree +0 -10
  164. package/test/trees/JBTokens/claimTokensFor.tree +0 -10
  165. package/test/trees/JBTokens/deployERC20For.tree +0 -12
  166. package/test/trees/JBTokens/mintFor.tree +0 -10
  167. package/test/trees/JBTokens/setTokenFor.tree +0 -11
  168. package/test/trees/JBTokens/totalBalanceOf.tree +0 -5
  169. package/test/trees/JBTokens/totalSupplyOf.tree +0 -5
  170. package/test/trees/JBTokens/transferCreditsFrom.tree +0 -8
  171. package/test/trees/mintTokensOf.tree +0 -12
  172. package/test/units/static/JBChainlinkV3PriceFeed/TestPriceFeed.sol +0 -223
  173. package/test/units/static/JBController/JBControllerSetup.sol +0 -50
  174. package/test/units/static/JBController/TestBurnTokensOf.sol +0 -114
  175. package/test/units/static/JBController/TestClaimTokensFor.sol +0 -63
  176. package/test/units/static/JBController/TestDeployErc20For.sol +0 -86
  177. package/test/units/static/JBController/TestLaunchProjectFor.sol +0 -302
  178. package/test/units/static/JBController/TestLaunchRulesetsFor.sol +0 -342
  179. package/test/units/static/JBController/TestMigrateController.sol +0 -157
  180. package/test/units/static/JBController/TestMintTokensOfUnits.sol +0 -111
  181. package/test/units/static/JBController/TestOmnichainRulesetOperator.sol +0 -324
  182. package/test/units/static/JBController/TestPayReservedTokenToTerminal.sol +0 -74
  183. package/test/units/static/JBController/TestPreviewMintOf.sol +0 -117
  184. package/test/units/static/JBController/TestReceiveMigrationFrom.sol +0 -99
  185. package/test/units/static/JBController/TestRulesetViews.sol +0 -225
  186. package/test/units/static/JBController/TestSendReservedTokensToSplitsOf.sol +0 -615
  187. package/test/units/static/JBController/TestSetSplitGroupsOf.sol +0 -68
  188. package/test/units/static/JBController/TestSetTokenFor.sol +0 -239
  189. package/test/units/static/JBController/TestSetUriOf.sol +0 -57
  190. package/test/units/static/JBController/TestTransferCreditsFrom.sol +0 -169
  191. package/test/units/static/JBDeadline/TestDeadlineFuzz.sol +0 -211
  192. package/test/units/static/JBDirectory/JBDirectorySetup.sol +0 -26
  193. package/test/units/static/JBDirectory/TestPrimaryTerminalOf.sol +0 -126
  194. package/test/units/static/JBDirectory/TestSetControllerOf.sol +0 -183
  195. package/test/units/static/JBDirectory/TestSetControllerOfMigrationOrder.sol +0 -104
  196. package/test/units/static/JBDirectory/TestSetPrimaryTerminalOf.sol +0 -179
  197. package/test/units/static/JBDirectory/TestSetTerminalsOf.sol +0 -137
  198. package/test/units/static/JBERC20/JBERC20Setup.sol +0 -34
  199. package/test/units/static/JBERC20/SigUtils.sol +0 -36
  200. package/test/units/static/JBERC20/TestInitialize.sol +0 -60
  201. package/test/units/static/JBERC20/TestName.sol +0 -30
  202. package/test/units/static/JBERC20/TestNonces.sol +0 -62
  203. package/test/units/static/JBERC20/TestSymbol.sol +0 -31
  204. package/test/units/static/JBFeelessAdresses/JBFeelessSetup.sol +0 -22
  205. package/test/units/static/JBFeelessAdresses/TestInterfaces.sol +0 -30
  206. package/test/units/static/JBFeelessAdresses/TestSetFeelessAddress.sol +0 -35
  207. package/test/units/static/JBFees/TestFeesFuzz.sol +0 -79
  208. package/test/units/static/JBFixedPointNumber/TestAdjustDecimals.sol +0 -16
  209. package/test/units/static/JBFixedPointNumber/TestAdjustDecimalsFuzz.sol +0 -71
  210. package/test/units/static/JBFundAccessLimits/JBFundAccessSetup.sol +0 -24
  211. package/test/units/static/JBFundAccessLimits/TestFundAccessLimitsEdge.sol +0 -163
  212. package/test/units/static/JBFundAccessLimits/TestPayoutLimitOf.sol +0 -59
  213. package/test/units/static/JBFundAccessLimits/TestPayoutLimitsOf.sol +0 -101
  214. package/test/units/static/JBFundAccessLimits/TestSetFundAccessLimitsFor.sol +0 -189
  215. package/test/units/static/JBFundAccessLimits/TestSurplusAllowanceOf.sol +0 -64
  216. package/test/units/static/JBFundAccessLimits/TestSurplusAllowancesOf.sol +0 -102
  217. package/test/units/static/JBMetadataResolver/TestGetDataFor.sol +0 -90
  218. package/test/units/static/JBMetadataResolver/TestMetadataResolverEdgeCases.sol +0 -247
  219. package/test/units/static/JBMetadataResolver/TestMetadataResolverFuzz.sol +0 -229
  220. package/test/units/static/JBMultiTerminal/JBMultiTerminalSetup.sol +0 -50
  221. package/test/units/static/JBMultiTerminal/TestAccountingContextsOf.sol +0 -72
  222. package/test/units/static/JBMultiTerminal/TestAddAccountingContextsFor.sol +0 -289
  223. package/test/units/static/JBMultiTerminal/TestAddToBalanceOf.sol +0 -474
  224. package/test/units/static/JBMultiTerminal/TestCashOutTokensOf.sol +0 -624
  225. package/test/units/static/JBMultiTerminal/TestExecutePayout.sol +0 -578
  226. package/test/units/static/JBMultiTerminal/TestExecuteProcessFee.sol +0 -202
  227. package/test/units/static/JBMultiTerminal/TestMigrateBalanceOf.sol +0 -222
  228. package/test/units/static/JBMultiTerminal/TestPay.sol +0 -604
  229. package/test/units/static/JBMultiTerminal/TestPreviewCashOutFrom.sol +0 -117
  230. package/test/units/static/JBMultiTerminal/TestPreviewPayFor.sol +0 -114
  231. package/test/units/static/JBMultiTerminal/TestProcessHeldFeesOf.sol +0 -228
  232. package/test/units/static/JBMultiTerminal/TestSelfPayRevert.sol +0 -55
  233. package/test/units/static/JBMultiTerminal/TestSendPayoutsOf.sol +0 -257
  234. package/test/units/static/JBMultiTerminal/TestUseAllowanceOf.sol +0 -611
  235. package/test/units/static/JBPermissions/JBPermissionsSetup.sol +0 -20
  236. package/test/units/static/JBPermissions/TestHasPermission.sol +0 -50
  237. package/test/units/static/JBPermissions/TestHasPermissions.sol +0 -93
  238. package/test/units/static/JBPermissions/TestSetPermissionsFor.sol +0 -64
  239. package/test/units/static/JBPrices/JBPricesSetup.sol +0 -32
  240. package/test/units/static/JBPrices/TestAddPriceFeedFor.sol +0 -107
  241. package/test/units/static/JBPrices/TestPricePerUnitOf.sol +0 -132
  242. package/test/units/static/JBPrices/TestPrices.sol +0 -265
  243. package/test/units/static/JBProjects/JBProjectsSetup.sol +0 -22
  244. package/test/units/static/JBProjects/TestCreateFor.sol +0 -71
  245. package/test/units/static/JBProjects/TestInitialProject.sol +0 -21
  246. package/test/units/static/JBProjects/TestInterfaces.sol +0 -26
  247. package/test/units/static/JBProjects/TestSetResolver.sol +0 -37
  248. package/test/units/static/JBProjects/TestTokenUri.sol +0 -40
  249. package/test/units/static/JBRulesetMetadataResolver/TestSetCashOutTaxRateTo.sol +0 -108
  250. package/test/units/static/JBRulesets/JBRulesetsSetup.sol +0 -24
  251. package/test/units/static/JBRulesets/TestCurrentApprovalStatusForLatestRulesetOf.sol +0 -265
  252. package/test/units/static/JBRulesets/TestCurrentOf.sol +0 -242
  253. package/test/units/static/JBRulesets/TestGetRulesetOf.sol +0 -100
  254. package/test/units/static/JBRulesets/TestLatestQueuedRulesetOf.sol +0 -260
  255. package/test/units/static/JBRulesets/TestRulesets.sol +0 -632
  256. package/test/units/static/JBRulesets/TestRulesetsOf.sol +0 -37
  257. package/test/units/static/JBRulesets/TestUpcomingRulesetOf.sol +0 -522
  258. package/test/units/static/JBRulesets/TestUpdateRulesetWeightCache.sol +0 -96
  259. package/test/units/static/JBSplits/JBSplitsSetup.sol +0 -26
  260. package/test/units/static/JBSplits/TestSelfManagedSplitGroups.sol +0 -552
  261. package/test/units/static/JBSplits/TestSetSplitGroupsOf.sol +0 -377
  262. package/test/units/static/JBSplits/TestSplitsLockedEdge.sol +0 -267
  263. package/test/units/static/JBSplits/TestSplitsOf.sol +0 -24
  264. package/test/units/static/JBSplits/TestSplitsPacking.sol +0 -36
  265. package/test/units/static/JBSurplus/TestSurplusFuzz.sol +0 -160
  266. package/test/units/static/JBTerminalStore/JBTerminalStoreSetup.sol +0 -45
  267. package/test/units/static/JBTerminalStore/TestCurrentReclaimableSurplusOf.sol +0 -536
  268. package/test/units/static/JBTerminalStore/TestCurrentSurplusOf.sol +0 -463
  269. package/test/units/static/JBTerminalStore/TestCurrentTotalSurplusOf.sol +0 -135
  270. package/test/units/static/JBTerminalStore/TestPreviewCashOutFrom.sol +0 -476
  271. package/test/units/static/JBTerminalStore/TestPreviewPayFrom.sol +0 -494
  272. package/test/units/static/JBTerminalStore/TestRecordCashOutsFor.sol +0 -652
  273. package/test/units/static/JBTerminalStore/TestRecordPaymentFrom.sol +0 -744
  274. package/test/units/static/JBTerminalStore/TestRecordPayoutFor.sol +0 -289
  275. package/test/units/static/JBTerminalStore/TestRecordTerminalMigration.sol +0 -138
  276. package/test/units/static/JBTerminalStore/TestRecordUsedAllowanceOf.sol +0 -415
  277. package/test/units/static/JBTerminalStore/TestUint224Overflow.sol +0 -219
  278. package/test/units/static/JBTokens/JBTokensSetup.sol +0 -32
  279. package/test/units/static/JBTokens/TestBurnFrom.sol +0 -107
  280. package/test/units/static/JBTokens/TestClaimTokensFor.sol +0 -110
  281. package/test/units/static/JBTokens/TestDeployERC20ForUnits.sol +0 -92
  282. package/test/units/static/JBTokens/TestMintFor.sol +0 -100
  283. package/test/units/static/JBTokens/TestSetTokenFor.sol +0 -98
  284. package/test/units/static/JBTokens/TestTotalBalanceOf.sol +0 -65
  285. package/test/units/static/JBTokens/TestTotalSupplyOf.sol +0 -56
  286. package/test/units/static/JBTokens/TestTransferCreditsFrom.sol +0 -56
@@ -1,415 +0,0 @@
1
- // SPDX-License-Identifier: MIT
2
- pragma solidity 0.8.28;
3
-
4
- import {JBTerminalStore} from "../../../../src/JBTerminalStore.sol";
5
- import {IJBController} from "../../../../src/interfaces/IJBController.sol";
6
- import {IJBDirectory} from "../../../../src/interfaces/IJBDirectory.sol";
7
- import {IJBFundAccessLimits} from "../../../../src/interfaces/IJBFundAccessLimits.sol";
8
- import {IJBPrices} from "../../../../src/interfaces/IJBPrices.sol";
9
- import {IJBRulesetApprovalHook} from "../../../../src/interfaces/IJBRulesetApprovalHook.sol";
10
- import {IJBRulesets} from "../../../../src/interfaces/IJBRulesets.sol";
11
- import {IJBToken} from "../../../../src/interfaces/IJBToken.sol";
12
- import {JBConstants} from "../../../../src/libraries/JBConstants.sol";
13
- import {JBRulesetMetadataResolver} from "../../../../src/libraries/JBRulesetMetadataResolver.sol";
14
- import {JBAccountingContext} from "../../../../src/structs/JBAccountingContext.sol";
15
- import {JBCurrencyAmount} from "../../../../src/structs/JBCurrencyAmount.sol";
16
- import {JBRuleset} from "../../../../src/structs/JBRuleset.sol";
17
- import {JBRulesetMetadata} from "../../../../src/structs/JBRulesetMetadata.sol";
18
- import {JBTerminalStoreSetup} from "./JBTerminalStoreSetup.sol";
19
-
20
- contract TestRecordUsedAllowanceOf_Local is JBTerminalStoreSetup {
21
- uint256 _projectId = 1;
22
- uint256 _decimals = 18;
23
- uint256 _defaultAmount = 1e18;
24
- uint256 _balance = 1e19;
25
- uint256 _payoutLimit = 2e18;
26
-
27
- // Mocks
28
- IJBToken _token = IJBToken(makeAddr("token"));
29
- IJBController _controller = IJBController(makeAddr("controller"));
30
- IJBFundAccessLimits _accessLimits = IJBFundAccessLimits(makeAddr("funds"));
31
-
32
- uint32 _currency = uint32(uint160(address(_token)));
33
- address _nativeAddress = JBConstants.NATIVE_TOKEN;
34
- uint32 _nativeCurrency = uint32(uint160(JBConstants.NATIVE_TOKEN));
35
-
36
- function setUp() public {
37
- super.terminalStoreSetup();
38
-
39
- // Register accounting context so the store can look up decimals/currency for the token.
40
- JBAccountingContext[] memory _ctxs = new JBAccountingContext[](1);
41
- _ctxs[0] = JBAccountingContext({token: address(_token), decimals: 18, currency: _currency});
42
- _store.recordAccountingContextOf(_projectId, _ctxs);
43
- }
44
-
45
- modifier whenAmountIsWithinRangeToUseSurplusAllowance() {
46
- // Find the storage slot
47
- bytes32 balanceOfSlot = keccak256(abi.encode(address(this), uint256(0)));
48
- bytes32 projectSlot = keccak256(abi.encode(_projectId, uint256(balanceOfSlot)));
49
- bytes32 slot = keccak256(abi.encode(address(_token), uint256(projectSlot)));
50
-
51
- bytes32 balanceBytes = bytes32(_balance);
52
-
53
- // Set balance
54
- vm.store(address(_store), slot, balanceBytes);
55
-
56
- // Ensure balance is set correctly
57
- uint256 _balanceCallReturn = _store.balanceOf(address(this), _projectId, address(_token));
58
- assertEq(_balanceCallReturn, _balance);
59
-
60
- JBRulesetMetadata memory _metadata = JBRulesetMetadata({
61
- reservedPercent: 0,
62
- cashOutTaxRate: JBConstants.MAX_CASH_OUT_TAX_RATE,
63
- // forge-lint: disable-next-line(unsafe-typecast)
64
- baseCurrency: uint32(uint160(_nativeAddress)),
65
- pausePay: false,
66
- pauseCreditTransfers: false,
67
- allowOwnerMinting: false,
68
- allowSetCustomToken: false,
69
- allowTerminalMigration: false,
70
- allowSetTerminals: false,
71
- ownerMustSendPayouts: false,
72
- allowSetController: false,
73
- allowAddAccountingContext: true,
74
- allowAddPriceFeed: false,
75
- holdFees: false,
76
- useTotalSurplusForCashOuts: false,
77
- useDataHookForPay: false,
78
- useDataHookForCashOut: false,
79
- dataHook: address(0),
80
- metadata: 0
81
- });
82
-
83
- uint256 _packedMetadata = JBRulesetMetadataResolver.packRulesetMetadata(_metadata);
84
-
85
- // JBRulesets return calldata
86
- JBRuleset memory _returnedRuleset = JBRuleset({
87
- cycleNumber: uint48(block.timestamp),
88
- id: uint48(block.timestamp),
89
- basedOnId: 0,
90
- start: uint48(block.timestamp),
91
- duration: uint32(block.timestamp + 1000),
92
- weight: 1e18,
93
- weightCutPercent: 0,
94
- approvalHook: IJBRulesetApprovalHook(address(0)),
95
- metadata: _packedMetadata
96
- });
97
-
98
- bytes memory _currentOfCall = abi.encodeCall(IJBRulesets.currentOf, (_projectId));
99
- bytes memory _currentOfReturn = abi.encode(_returnedRuleset);
100
- mockExpect(address(rulesets), _currentOfCall, _currentOfReturn);
101
-
102
- // mock call to JBDirectory controllerOf
103
- bytes memory _directoryCall = abi.encodeCall(IJBDirectory.controllerOf, (_projectId));
104
- bytes memory _returned = abi.encode(_controller);
105
- mockExpect(address(directory), _directoryCall, _returned);
106
-
107
- // mock call to get JBFundAccessLimits address
108
- mockExpect(
109
- address(_controller), abi.encodeCall(IJBController.FUND_ACCESS_LIMITS, ()), abi.encode(_accessLimits)
110
- );
111
-
112
- // mock call to JBFundAccessLimits surplusAllowanceOf
113
- mockExpect(
114
- address(_accessLimits),
115
- abi.encodeCall(
116
- IJBFundAccessLimits.surplusAllowanceOf,
117
- (_projectId, block.timestamp, address(this), address(_token), _currency)
118
- ),
119
- abi.encode(1e19)
120
- );
121
-
122
- JBCurrencyAmount[] memory _limits = new JBCurrencyAmount[](1);
123
- _limits[0] = JBCurrencyAmount({amount: 0, currency: _currency});
124
-
125
- // mock JBFundAccessLimits call to payoutLimitsOf
126
- bytes memory _payoutLimitsCall = abi.encodeCall(
127
- IJBFundAccessLimits.payoutLimitsOf, (_projectId, block.timestamp, address(this), address(_token))
128
- );
129
- bytes memory _payoutLimitsReturn = abi.encode(_limits);
130
- mockExpect(address(_accessLimits), _payoutLimitsCall, _payoutLimitsReturn);
131
-
132
- _;
133
- }
134
-
135
- function test_GivenCallingCurrencyEqAccountingCurrency() external whenAmountIsWithinRangeToUseSurplusAllowance {
136
- // it will not convert prices
137
-
138
- // setup calldata
139
- JBAccountingContext memory _context =
140
- JBAccountingContext({token: address(_token), decimals: 18, currency: _currency});
141
-
142
- (, uint256 usedAmount) = _store.recordUsedAllowanceOf(_projectId, _context.token, _defaultAmount, _currency);
143
- assertEq(usedAmount, _defaultAmount);
144
- }
145
-
146
- function test_GivenCallingCurrencyDneqAccountingCurrency() external {
147
- // it will convert prices
148
-
149
- // Register accounting context for the native token so the store can look up decimals/currency.
150
- JBAccountingContext[] memory _nativeCtxs = new JBAccountingContext[](1);
151
- _nativeCtxs[0] = JBAccountingContext({token: address(_nativeAddress), decimals: 18, currency: _nativeCurrency});
152
- _store.recordAccountingContextOf(_projectId, _nativeCtxs);
153
-
154
- // Find the storage slot
155
- bytes32 balanceOfSlot = keccak256(abi.encode(address(this), uint256(0)));
156
- bytes32 projectSlot = keccak256(abi.encode(_projectId, uint256(balanceOfSlot)));
157
- bytes32 slot = keccak256(abi.encode(address(_nativeAddress), uint256(projectSlot)));
158
-
159
- bytes32 balanceBytes = bytes32(_balance);
160
-
161
- // Set balance
162
- vm.store(address(_store), slot, balanceBytes);
163
-
164
- // Ensure balance is set correctly
165
- uint256 _balanceCallReturn = _store.balanceOf(address(this), _projectId, address(_nativeAddress));
166
- assertEq(_balanceCallReturn, _balance);
167
-
168
- JBRulesetMetadata memory _metadata = JBRulesetMetadata({
169
- reservedPercent: 0,
170
- cashOutTaxRate: JBConstants.MAX_CASH_OUT_TAX_RATE,
171
- // forge-lint: disable-next-line(unsafe-typecast)
172
- baseCurrency: uint32(uint160(_nativeAddress)),
173
- pausePay: false,
174
- pauseCreditTransfers: false,
175
- allowOwnerMinting: false,
176
- allowSetCustomToken: false,
177
- allowTerminalMigration: false,
178
- allowSetTerminals: false,
179
- ownerMustSendPayouts: false,
180
- allowSetController: false,
181
- allowAddAccountingContext: true,
182
- allowAddPriceFeed: false,
183
- holdFees: false,
184
- useTotalSurplusForCashOuts: false,
185
- useDataHookForPay: false,
186
- useDataHookForCashOut: false,
187
- dataHook: address(0),
188
- metadata: 0
189
- });
190
-
191
- uint256 _packedMetadata = JBRulesetMetadataResolver.packRulesetMetadata(_metadata);
192
-
193
- // JBRulesets return calldata
194
- JBRuleset memory _returnedRuleset = JBRuleset({
195
- cycleNumber: uint48(block.timestamp),
196
- id: uint48(block.timestamp),
197
- basedOnId: 0,
198
- start: uint48(block.timestamp),
199
- duration: uint32(block.timestamp + 1000),
200
- weight: 1e18,
201
- weightCutPercent: 0,
202
- approvalHook: IJBRulesetApprovalHook(address(0)),
203
- metadata: _packedMetadata
204
- });
205
-
206
- // mock call to JBRulesets currentOf
207
- mockExpect(address(rulesets), abi.encodeCall(IJBRulesets.currentOf, (_projectId)), abi.encode(_returnedRuleset));
208
-
209
- // mock call to JBDirectory controllerOf
210
- mockExpect(address(directory), abi.encodeCall(IJBDirectory.controllerOf, (_projectId)), abi.encode(_controller));
211
-
212
- // mock call to get JBFundAccessLimits address
213
- mockExpect(
214
- address(_controller), abi.encodeCall(IJBController.FUND_ACCESS_LIMITS, ()), abi.encode(_accessLimits)
215
- );
216
-
217
- // mock call to JBFundAccessLimits surplusAllowanceOf
218
- mockExpect(
219
- address(_accessLimits),
220
- abi.encodeCall(
221
- IJBFundAccessLimits.surplusAllowanceOf,
222
- (_projectId, block.timestamp, address(this), address(_nativeAddress), _currency)
223
- ),
224
- abi.encode(1e19)
225
- );
226
-
227
- JBCurrencyAmount[] memory _limits = new JBCurrencyAmount[](2);
228
- _limits[0] = JBCurrencyAmount({amount: 0, currency: _currency});
229
- _limits[1] = JBCurrencyAmount({amount: 0, currency: _nativeCurrency});
230
-
231
- // mock JBFundAccessLimits call to payoutLimitsOf
232
- mockExpect(
233
- address(_accessLimits),
234
- abi.encodeCall(
235
- IJBFundAccessLimits.payoutLimitsOf,
236
- (_projectId, block.timestamp, address(this), address(_nativeAddress))
237
- ),
238
- abi.encode(_limits)
239
- );
240
-
241
- // mock call to JBPrices pricePerUnitOf
242
- bytes memory _pricePerCall =
243
- abi.encodeCall(IJBPrices.pricePerUnitOf, (_projectId, _currency, _nativeCurrency, 18));
244
- mockExpect(address(prices), _pricePerCall, abi.encode(1e18));
245
-
246
- // setup calldata
247
- JBAccountingContext memory _context =
248
- JBAccountingContext({token: address(_nativeAddress), decimals: 18, currency: _nativeCurrency});
249
-
250
- // price is 1:1
251
- (, uint256 usedAmount) = _store.recordUsedAllowanceOf(_projectId, _context.token, _defaultAmount, _currency);
252
- assertEq(usedAmount, _defaultAmount);
253
- }
254
-
255
- function test_GivenThereIsInadequateBalance() external {
256
- // it will revert INADEQUATE_TERMINAL_STORE_BALANCE
257
-
258
- // do not set a balance (will be zero)
259
-
260
- JBRulesetMetadata memory _metadata = JBRulesetMetadata({
261
- reservedPercent: 0,
262
- cashOutTaxRate: JBConstants.MAX_CASH_OUT_TAX_RATE,
263
- baseCurrency: uint32(uint160(_currency)),
264
- pausePay: false,
265
- pauseCreditTransfers: false,
266
- allowOwnerMinting: false,
267
- allowSetCustomToken: false,
268
- allowTerminalMigration: false,
269
- allowSetTerminals: false,
270
- ownerMustSendPayouts: false,
271
- allowSetController: false,
272
- allowAddAccountingContext: true,
273
- allowAddPriceFeed: false,
274
- holdFees: false,
275
- useTotalSurplusForCashOuts: false,
276
- useDataHookForPay: false,
277
- useDataHookForCashOut: false,
278
- dataHook: address(0),
279
- metadata: 0
280
- });
281
-
282
- uint256 _packedMetadata = JBRulesetMetadataResolver.packRulesetMetadata(_metadata);
283
-
284
- // JBRulesets return calldata
285
- JBRuleset memory _returnedRuleset = JBRuleset({
286
- cycleNumber: uint48(block.timestamp),
287
- id: uint48(block.timestamp),
288
- basedOnId: 0,
289
- start: uint48(block.timestamp),
290
- duration: uint32(block.timestamp + 1000),
291
- weight: 1e18,
292
- weightCutPercent: 0,
293
- approvalHook: IJBRulesetApprovalHook(address(0)),
294
- metadata: _packedMetadata
295
- });
296
-
297
- bytes memory _currentOfCall = abi.encodeCall(IJBRulesets.currentOf, (_projectId));
298
- bytes memory _currentOfReturn = abi.encode(_returnedRuleset);
299
- mockExpect(address(rulesets), _currentOfCall, _currentOfReturn);
300
-
301
- // mock call to JBDirectory controllerOf
302
- bytes memory _directoryCall = abi.encodeCall(IJBDirectory.controllerOf, (_projectId));
303
- bytes memory _returned = abi.encode(_controller);
304
- mockExpect(address(directory), _directoryCall, _returned);
305
-
306
- // mock call to get JBFundAccessLimits address
307
- mockExpect(
308
- address(_controller), abi.encodeCall(IJBController.FUND_ACCESS_LIMITS, ()), abi.encode(_accessLimits)
309
- );
310
-
311
- JBCurrencyAmount[] memory _limits = new JBCurrencyAmount[](1);
312
- _limits[0] = JBCurrencyAmount({amount: 0, currency: _currency});
313
-
314
- // mock JBFundAccessLimits call to payoutLimitsOf
315
- bytes memory _payoutLimitsCall = abi.encodeCall(
316
- IJBFundAccessLimits.payoutLimitsOf, (_projectId, block.timestamp, address(this), address(_token))
317
- );
318
- bytes memory _payoutLimitsReturn = abi.encode(_limits);
319
- mockExpect(address(_accessLimits), _payoutLimitsCall, _payoutLimitsReturn);
320
-
321
- // setup calldata
322
- JBAccountingContext memory _context =
323
- JBAccountingContext({token: address(_token), decimals: 18, currency: _currency});
324
-
325
- vm.expectRevert(
326
- abi.encodeWithSelector(
327
- JBTerminalStore.JBTerminalStore_InadequateTerminalStoreBalance.selector, _defaultAmount, 0
328
- )
329
- );
330
- _store.recordUsedAllowanceOf(_projectId, _context.token, _defaultAmount, _currency);
331
- }
332
-
333
- function test_WhenAmountIsNotWithinRangeToUseSurplusAllowance() external {
334
- // it will revert JBTerminalStore_InadequateTerminalStoreBalance
335
-
336
- // do not set a balance (will be zero)
337
-
338
- JBRulesetMetadata memory _metadata = JBRulesetMetadata({
339
- reservedPercent: 0,
340
- cashOutTaxRate: JBConstants.MAX_CASH_OUT_TAX_RATE,
341
- baseCurrency: uint32(uint160(_currency)),
342
- pausePay: false,
343
- pauseCreditTransfers: false,
344
- allowOwnerMinting: false,
345
- allowSetCustomToken: false,
346
- allowTerminalMigration: false,
347
- allowSetTerminals: false,
348
- ownerMustSendPayouts: false,
349
- allowSetController: false,
350
- allowAddAccountingContext: true,
351
- allowAddPriceFeed: false,
352
- holdFees: false,
353
- useTotalSurplusForCashOuts: false,
354
- useDataHookForPay: false,
355
- useDataHookForCashOut: false,
356
- dataHook: address(0),
357
- metadata: 0
358
- });
359
-
360
- uint256 _packedMetadata = JBRulesetMetadataResolver.packRulesetMetadata(_metadata);
361
-
362
- // JBRulesets return calldata
363
- JBRuleset memory _returnedRuleset = JBRuleset({
364
- cycleNumber: uint48(block.timestamp),
365
- id: uint48(block.timestamp),
366
- basedOnId: 0,
367
- start: uint48(block.timestamp),
368
- duration: uint32(block.timestamp + 1000),
369
- weight: 1e18,
370
- weightCutPercent: 0,
371
- approvalHook: IJBRulesetApprovalHook(address(0)),
372
- metadata: _packedMetadata
373
- });
374
-
375
- bytes memory _currentOfCall = abi.encodeCall(IJBRulesets.currentOf, (_projectId));
376
- bytes memory _currentOfReturn = abi.encode(_returnedRuleset);
377
- mockExpect(address(rulesets), _currentOfCall, _currentOfReturn);
378
-
379
- // mock call to JBDirectory controllerOf
380
- bytes memory _directoryCall = abi.encodeCall(IJBDirectory.controllerOf, (_projectId));
381
- bytes memory _returned = abi.encode(_controller);
382
- mockExpect(address(directory), _directoryCall, _returned);
383
-
384
- // mock call to get JBFundAccessLimits address
385
- mockExpect(
386
- address(_controller), abi.encodeCall(IJBController.FUND_ACCESS_LIMITS, ()), abi.encode(_accessLimits)
387
- );
388
-
389
- // Return data for next mock
390
- JBCurrencyAmount[] memory _payoutLimits = new JBCurrencyAmount[](1);
391
- _payoutLimits[0] = JBCurrencyAmount({amount: 0, currency: _currency});
392
-
393
- // mock call to JBFundAccessLimits payoutLimitsOf
394
- mockExpect(
395
- address(_accessLimits),
396
- abi.encodeCall(
397
- IJBFundAccessLimits.payoutLimitsOf, (_projectId, block.timestamp, address(this), address(_token))
398
- ),
399
- abi.encode(_payoutLimits)
400
- );
401
-
402
- // setup calldata
403
- JBAccountingContext memory _context =
404
- JBAccountingContext({token: address(_token), decimals: 18, currency: _currency});
405
-
406
- vm.expectRevert(
407
- abi.encodeWithSelector(
408
- JBTerminalStore.JBTerminalStore_InadequateTerminalStoreBalance.selector,
409
- _defaultAmount,
410
- 0 // no balance
411
- )
412
- );
413
- _store.recordUsedAllowanceOf(_projectId, _context.token, _defaultAmount, _currency);
414
- }
415
- }
@@ -1,219 +0,0 @@
1
- // SPDX-License-Identifier: MIT
2
- pragma solidity 0.8.28;
3
-
4
- import {JBTerminalStore} from "../../../../src/JBTerminalStore.sol";
5
- import {IJBController} from "../../../../src/interfaces/IJBController.sol";
6
- import {IJBDirectory} from "../../../../src/interfaces/IJBDirectory.sol";
7
- import {IJBFundAccessLimits} from "../../../../src/interfaces/IJBFundAccessLimits.sol";
8
- import {IJBPrices} from "../../../../src/interfaces/IJBPrices.sol";
9
- import {IJBRulesetApprovalHook} from "../../../../src/interfaces/IJBRulesetApprovalHook.sol";
10
- import {IJBRulesets} from "../../../../src/interfaces/IJBRulesets.sol";
11
- import {IJBTerminal} from "../../../../src/interfaces/IJBTerminal.sol";
12
- import {IJBToken} from "../../../../src/interfaces/IJBToken.sol";
13
- import {JBConstants} from "../../../../src/libraries/JBConstants.sol";
14
- import {JBRulesetMetadataResolver} from "../../../../src/libraries/JBRulesetMetadataResolver.sol";
15
- import {JBAccountingContext} from "../../../../src/structs/JBAccountingContext.sol";
16
- import {JBCurrencyAmount} from "../../../../src/structs/JBCurrencyAmount.sol";
17
- import {JBRuleset} from "../../../../src/structs/JBRuleset.sol";
18
- import {JBRulesetMetadata} from "../../../../src/structs/JBRulesetMetadata.sol";
19
- import {JBTerminalStoreSetup} from "./JBTerminalStoreSetup.sol";
20
-
21
- contract TestUint224Overflow_Local is JBTerminalStoreSetup {
22
- using JBRulesetMetadataResolver for JBRulesetMetadata;
23
-
24
- uint256 _projectId = 1;
25
-
26
- // Mocks
27
- IJBTerminal _terminal = IJBTerminal(makeAddr("terminal"));
28
- IJBToken _token = IJBToken(makeAddr("token"));
29
- IJBController _controller = IJBController(makeAddr("controller"));
30
- IJBFundAccessLimits _accessLimits = IJBFundAccessLimits(makeAddr("funds"));
31
-
32
- uint32 _currency = uint32(uint160(address(_token)));
33
-
34
- function setUp() public {
35
- super.terminalStoreSetup();
36
- }
37
-
38
- /// @notice Helper to call currentSurplusOf with the new multi-terminal signature.
39
- function _currentSurplusOf(uint256 decimals, uint256 currency) internal view returns (uint256) {
40
- IJBTerminal[] memory terminals = new IJBTerminal[](1);
41
- terminals[0] = _terminal;
42
- return _store.currentSurplusOf(_projectId, terminals, new address[](0), decimals, currency);
43
- }
44
-
45
- /// @notice Helper to register an accounting context with the store (pranks as the terminal).
46
- function _registerContext(JBAccountingContext memory ctx) internal {
47
- JBAccountingContext[] memory ctxs = new JBAccountingContext[](1);
48
- ctxs[0] = ctx;
49
- vm.prank(address(_terminal));
50
- _store.recordAccountingContextOf(_projectId, ctxs);
51
- }
52
-
53
- /// @notice Helper to set balance for a terminal/project/token via vm.store.
54
- function _setBalance(address terminal, uint256 projectId, address token, uint256 balance) internal {
55
- bytes32 balanceOfSlot = keccak256(abi.encode(terminal, uint256(0)));
56
- bytes32 projectSlot = keccak256(abi.encode(projectId, uint256(balanceOfSlot)));
57
- bytes32 slot = keccak256(abi.encode(token, uint256(projectSlot)));
58
- vm.store(address(_store), slot, bytes32(balance));
59
- }
60
-
61
- /// @notice Helper to create a standard ruleset with packed metadata.
62
- function _mockRulesetAndControllerCalls() internal {
63
- JBRulesetMetadata memory _metadata = JBRulesetMetadata({
64
- reservedPercent: 0,
65
- cashOutTaxRate: 0,
66
- baseCurrency: _currency,
67
- pausePay: false,
68
- pauseCreditTransfers: false,
69
- allowOwnerMinting: false,
70
- allowSetCustomToken: false,
71
- allowTerminalMigration: false,
72
- allowSetTerminals: false,
73
- ownerMustSendPayouts: false,
74
- allowSetController: false,
75
- allowAddAccountingContext: true,
76
- allowAddPriceFeed: false,
77
- holdFees: false,
78
- useTotalSurplusForCashOuts: false,
79
- useDataHookForPay: false,
80
- useDataHookForCashOut: false,
81
- dataHook: address(0),
82
- metadata: 0
83
- });
84
-
85
- uint256 _packedMetadata = JBRulesetMetadataResolver.packRulesetMetadata(_metadata);
86
-
87
- JBRuleset memory _returnedRuleset = JBRuleset({
88
- cycleNumber: uint48(block.timestamp),
89
- id: uint48(block.timestamp),
90
- basedOnId: 0,
91
- start: uint48(block.timestamp),
92
- duration: uint32(block.timestamp + 1000),
93
- weight: 1e18,
94
- weightCutPercent: 0,
95
- approvalHook: IJBRulesetApprovalHook(address(0)),
96
- metadata: _packedMetadata
97
- });
98
-
99
- // Mock rulesets.currentOf
100
- mockExpect(address(rulesets), abi.encodeCall(IJBRulesets.currentOf, (_projectId)), abi.encode(_returnedRuleset));
101
-
102
- // Mock directory.controllerOf
103
- mockExpect(address(directory), abi.encodeCall(IJBDirectory.controllerOf, (_projectId)), abi.encode(_controller));
104
-
105
- // Mock controller.FUND_ACCESS_LIMITS
106
- mockExpect(
107
- address(_controller), abi.encodeCall(IJBController.FUND_ACCESS_LIMITS, ()), abi.encode(_accessLimits)
108
- );
109
- }
110
-
111
- /// @notice Verifies that decimal adjustment overflow reverts with Uint224Overflow.
112
- /// A payout limit that fits in uint224 but overflows when adjusted from 6 to 18 decimals.
113
- function test_RevertWhen_DecimalAdjustmentOverflowsUint224() external {
114
- // Balance must be large enough (after decimal adjustment) to exceed the payout limit,
115
- // but not so large that the balance itself overflows during adjustment.
116
- // Balance in 6-decimal terms: 1e62 → adjusted to 18 decimals = 1e74 (fits uint256).
117
- _setBalance(address(_terminal), _projectId, address(_token), 1e62);
118
-
119
- _mockRulesetAndControllerCalls();
120
-
121
- // Amount that fits in uint224 but when multiplied by 10^12 (6→18 decimal adjustment) exceeds uint224.
122
- // type(uint224).max / 1e6 ≈ 2.7e61. Multiplied by 1e12 → ≈ 2.7e73, exceeds uint224 but fits uint256.
123
- uint224 amount = type(uint224).max / 1e6;
124
- JBCurrencyAmount[] memory _limits = new JBCurrencyAmount[](1);
125
- _limits[0] = JBCurrencyAmount({amount: amount, currency: _currency});
126
-
127
- // Mock payoutLimitsOf to return the large limit.
128
- mockExpect(
129
- address(_accessLimits),
130
- abi.encodeCall(
131
- IJBFundAccessLimits.payoutLimitsOf, (_projectId, block.timestamp, address(_terminal), address(_token))
132
- ),
133
- abi.encode(_limits)
134
- );
135
-
136
- // Accounting context: token has 6 decimals.
137
- JBAccountingContext[] memory _contexts = new JBAccountingContext[](1);
138
- _contexts[0] = JBAccountingContext({token: address(_token), decimals: 6, currency: _currency});
139
- _registerContext(_contexts[0]);
140
-
141
- // Query surplus with 18 target decimals — triggers decimal adjustment overflow.
142
- uint256 adjusted = uint256(amount) * 1e12;
143
- vm.expectRevert(abi.encodeWithSelector(JBTerminalStore.JBTerminalStore_Uint224Overflow.selector, adjusted));
144
- _currentSurplusOf(18, _currency);
145
- }
146
-
147
- /// @notice Verifies that currency conversion overflow reverts with Uint224Overflow.
148
- /// A payout limit near type(uint224).max in currency A, converted to currency B at a very low price,
149
- /// would overflow uint224.
150
- function test_RevertWhen_CurrencyConversionOverflowsUint224() external {
151
- // Set up a large balance.
152
- _setBalance(address(_terminal), _projectId, address(_token), type(uint256).max);
153
-
154
- _mockRulesetAndControllerCalls();
155
-
156
- // Payout limit near uint224 max, in a DIFFERENT currency than the target.
157
- uint32 _otherCurrency = uint32(uint160(JBConstants.NATIVE_TOKEN));
158
- JBCurrencyAmount[] memory _limits = new JBCurrencyAmount[](1);
159
- _limits[0] = JBCurrencyAmount({amount: type(uint224).max, currency: _otherCurrency});
160
-
161
- // Mock payoutLimitsOf.
162
- mockExpect(
163
- address(_accessLimits),
164
- abi.encodeCall(
165
- IJBFundAccessLimits.payoutLimitsOf, (_projectId, block.timestamp, address(_terminal), address(_token))
166
- ),
167
- abi.encode(_limits)
168
- );
169
-
170
- // Mock price: very low price means large converted amount.
171
- // pricePerUnitOf returns price with _MAX_FIXED_POINT_FIDELITY (18) decimals.
172
- // A price of 1 (1 wei) means 1 unit of pricingCurrency = 10^18 units of unitCurrency.
173
- mockExpect(
174
- address(prices),
175
- abi.encodeCall(IJBPrices.pricePerUnitOf, (_projectId, _otherCurrency, _currency, 18)),
176
- abi.encode(uint256(1)) // extremely low price → huge conversion result
177
- );
178
-
179
- // Same decimals so no decimal adjustment.
180
- JBAccountingContext[] memory _contexts = new JBAccountingContext[](1);
181
- _contexts[0] = JBAccountingContext({token: address(_token), decimals: 18, currency: _currency});
182
- _registerContext(_contexts[0]);
183
-
184
- // The conversion: mulDiv(type(uint224).max, 10^18, 1) = type(uint224).max * 10^18 → overflows uint224.
185
- vm.expectRevert();
186
- _currentSurplusOf(18, _currency);
187
- }
188
-
189
- /// @notice Verifies that normal amounts below uint224.max pass through without reverting.
190
- function test_NormalAmountsDoNotRevert() external {
191
- // Balance in 6-decimal terms: 100e6 = 100 units. Adjusted to 18 decimals = 100e18.
192
- uint256 _balance = 100e6;
193
- _setBalance(address(_terminal), _projectId, address(_token), _balance);
194
-
195
- _mockRulesetAndControllerCalls();
196
-
197
- // Normal payout limit: 50 units in 6-decimal token. Adjusted to 18 decimals = 50e18.
198
- JBCurrencyAmount[] memory _limits = new JBCurrencyAmount[](1);
199
- _limits[0] = JBCurrencyAmount({amount: 50e6, currency: _currency});
200
-
201
- // Mock payoutLimitsOf.
202
- mockExpect(
203
- address(_accessLimits),
204
- abi.encodeCall(
205
- IJBFundAccessLimits.payoutLimitsOf, (_projectId, block.timestamp, address(_terminal), address(_token))
206
- ),
207
- abi.encode(_limits)
208
- );
209
-
210
- // 6-decimal token queried as 18-decimal target.
211
- // Balance: 100e6 → 100e18. Payout limit: 50e6 → 50e18. Surplus = 50e18.
212
- JBAccountingContext[] memory _contexts = new JBAccountingContext[](1);
213
- _contexts[0] = JBAccountingContext({token: address(_token), decimals: 6, currency: _currency});
214
- _registerContext(_contexts[0]);
215
-
216
- uint256 surplus = _currentSurplusOf(18, _currency);
217
- assertEq(surplus, 50e18);
218
- }
219
- }
@@ -1,32 +0,0 @@
1
- // SPDX-License-Identifier: MIT
2
- pragma solidity 0.8.28;
3
-
4
- import {JBERC20} from "../../../../src/JBERC20.sol";
5
- import {JBTokens} from "../../../../src/JBTokens.sol";
6
- import {IJBDirectory} from "../../../../src/interfaces/IJBDirectory.sol";
7
- import {IJBPermissions} from "../../../../src/interfaces/IJBPermissions.sol";
8
- import {IJBProjects} from "../../../../src/interfaces/IJBProjects.sol";
9
- import {IJBToken} from "../../../../src/interfaces/IJBToken.sol";
10
- import {IJBTokens} from "../../../../src/interfaces/IJBTokens.sol";
11
- import {JBTest} from "../../../helpers/JBTest.sol";
12
-
13
- /*
14
- Contract that deploys a target contract with other mock contracts to satisfy the constructor.
15
- Tests relative to this contract will be dependent on mock calls/emits and stdStorage.
16
- */
17
- contract JBTokensSetup is JBTest {
18
- // Mocks
19
- IJBDirectory public directory = IJBDirectory(makeAddr("directory"));
20
- IJBPermissions public permissions = IJBPermissions(makeAddr("permissions"));
21
- IJBProjects public projects = IJBProjects(makeAddr("projects"));
22
- IJBToken public jbToken;
23
-
24
- // Target Contract
25
- IJBTokens public _tokens;
26
-
27
- function tokensSetup() public virtual {
28
- // Instantiate the contract being tested
29
- jbToken = new JBERC20(permissions, projects);
30
- _tokens = new JBTokens(directory, jbToken);
31
- }
32
- }