@bananapus/core-v6 0.0.37 → 0.0.39

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 (324) hide show
  1. package/foundry.lock +1 -7
  2. package/foundry.toml +1 -1
  3. package/package.json +19 -7
  4. package/src/JBChainlinkV3PriceFeed.sol +4 -1
  5. package/src/JBChainlinkV3SequencerPriceFeed.sol +4 -2
  6. package/src/JBController.sol +71 -44
  7. package/src/JBDeadline.sol +4 -4
  8. package/src/JBDirectory.sol +34 -32
  9. package/src/JBERC20.sol +5 -4
  10. package/src/JBFeelessAddresses.sol +6 -3
  11. package/src/JBFundAccessLimits.sol +25 -21
  12. package/src/JBMultiTerminal.sol +121 -84
  13. package/src/JBPermissions.sol +34 -37
  14. package/src/JBPrices.sol +23 -18
  15. package/src/JBProjects.sol +6 -3
  16. package/src/JBRulesets.sol +44 -41
  17. package/src/JBSplits.sol +18 -16
  18. package/src/JBTerminalStore.sol +32 -25
  19. package/src/JBTokens.sol +36 -26
  20. package/src/abstract/JBControlled.sol +3 -1
  21. package/src/abstract/JBPermissioned.sol +3 -1
  22. package/src/enums/JBApprovalStatus.sol +7 -1
  23. package/src/interfaces/IJBController.sol +7 -3
  24. package/src/interfaces/IJBDirectory.sol +3 -1
  25. package/src/interfaces/IJBMultiTerminal.sol +3 -2
  26. package/src/interfaces/IJBPermissions.sol +2 -1
  27. package/src/interfaces/IJBPrices.sol +3 -1
  28. package/src/interfaces/IJBRulesets.sol +2 -1
  29. package/src/interfaces/IJBSplits.sol +2 -1
  30. package/src/interfaces/IJBTerminal.sol +3 -1
  31. package/src/interfaces/IJBTerminalStore.sol +3 -1
  32. package/src/interfaces/IJBTokens.sol +2 -1
  33. package/src/libraries/JBCashOuts.sol +6 -1
  34. package/src/libraries/JBConstants.sol +12 -3
  35. package/src/libraries/JBCurrencyIds.sol +2 -0
  36. package/src/libraries/JBFees.sol +52 -10
  37. package/src/libraries/JBFixedPointNumber.sol +2 -0
  38. package/src/libraries/JBPayoutSplitGroupLib.sol +7 -4
  39. package/src/libraries/JBRulesetMetadataResolver.sol +4 -0
  40. package/src/libraries/JBSplitGroupIds.sol +2 -1
  41. package/src/libraries/JBSurplus.sol +3 -1
  42. package/src/periphery/JBMatchingPriceFeed.sol +3 -1
  43. package/src/structs/JBAccountingContext.sol +7 -4
  44. package/src/structs/JBFundAccessLimitGroup.sol +10 -17
  45. package/src/structs/JBRuleset.sol +18 -26
  46. package/src/structs/JBRulesetConfig.sol +13 -25
  47. package/src/structs/JBRulesetMetadata.sol +25 -32
  48. package/test/mock/MockMaliciousBeneficiary.sol +15 -15
  49. package/ADMINISTRATION.md +0 -103
  50. package/ARCHITECTURE.md +0 -133
  51. package/AUDIT_INSTRUCTIONS.md +0 -139
  52. package/RISKS.md +0 -215
  53. package/SKILLS.md +0 -55
  54. package/STYLE_GUIDE.md +0 -610
  55. package/USER_JOURNEYS.md +0 -215
  56. package/script/Deploy.s.sol +0 -124
  57. package/script/DeployPeriphery.s.sol +0 -354
  58. package/slither-ci.config.json +0 -10
  59. package/test/AuditFixes.t.sol +0 -808
  60. package/test/ComprehensiveInvariant.t.sol +0 -306
  61. package/test/CoreExploitTests.t.sol +0 -2741
  62. package/test/EconomicSimulation.t.sol +0 -348
  63. package/test/EntryPointPermutations.t.sol +0 -684
  64. package/test/FlashLoanAttacks.t.sol +0 -797
  65. package/test/PermissionEscalation.t.sol +0 -711
  66. package/test/PermissionsInvariant.t.sol +0 -403
  67. package/test/RulesetTransitions.t.sol +0 -713
  68. package/test/SplitLoopTests.t.sol +0 -752
  69. package/test/TestAccessToFunds.sol +0 -2683
  70. package/test/TestAuditResponseDesignProofs.sol +0 -434
  71. package/test/TestCashOut.sol +0 -198
  72. package/test/TestCashOutCountFor.sol +0 -271
  73. package/test/TestCashOutHooks.sol +0 -351
  74. package/test/TestCashOutTimingEdge.sol +0 -241
  75. package/test/TestDataHookFuzzing.sol +0 -524
  76. package/test/TestDurationUnderflow.sol +0 -233
  77. package/test/TestFeeFreeCashOutBypass.sol +0 -949
  78. package/test/TestFeeProcessingFailure.sol +0 -218
  79. package/test/TestFees.sol +0 -619
  80. package/test/TestForwardedTokenConsumption.sol +0 -425
  81. package/test/TestInterfaceSupport.sol +0 -81
  82. package/test/TestJBERC20Inheritance.sol +0 -103
  83. package/test/TestL2SequencerPriceFeed.sol +0 -292
  84. package/test/TestLaunchProject.sol +0 -188
  85. package/test/TestMetaTx.sol +0 -217
  86. package/test/TestMetadataOffsetOverflow.sol +0 -179
  87. package/test/TestMetadataParserLib.sol +0 -471
  88. package/test/TestMigrationHeldFees.sol +0 -255
  89. package/test/TestMintTokensOf.sol +0 -185
  90. package/test/TestMultiTerminalSurplus.sol +0 -348
  91. package/test/TestMultiTokenSurplus.sol +0 -202
  92. package/test/TestMultipleAccessLimits.sol +0 -664
  93. package/test/TestPayBurnRedeemFlow.sol +0 -195
  94. package/test/TestPayHooks.sol +0 -209
  95. package/test/TestPermissions.sol +0 -324
  96. package/test/TestPermissionsEdge.sol +0 -290
  97. package/test/TestPermit2DataHook.t.sol +0 -360
  98. package/test/TestPermit2Terminal.sol +0 -372
  99. package/test/TestRulesetQueueing.sol +0 -1025
  100. package/test/TestRulesetQueuingStress.sol +0 -806
  101. package/test/TestRulesetWeightCaching.sol +0 -178
  102. package/test/TestSplits.sol +0 -391
  103. package/test/TestTerminalMigration.sol +0 -274
  104. package/test/TestTerminalPreviewParity.sol +0 -208
  105. package/test/TestTokenFlow.sol +0 -191
  106. package/test/TestWeightCacheStaleAfterRejection.sol +0 -303
  107. package/test/WeirdTokenTests.t.sol +0 -817
  108. package/test/audit/CashOutReenterPay.t.sol +0 -501
  109. package/test/audit/CodexHeldFeeRounding.t.sol +0 -159
  110. package/test/audit/CodexMigrationFeeFailure.t.sol +0 -163
  111. package/test/audit/CrossTerminalSurplusSpoof.t.sol +0 -140
  112. package/test/audit/CycledSurplusAllowanceReset.t.sol +0 -184
  113. package/test/audit/FeeFreeSurplusLifecycle.t.sol +0 -399
  114. package/test/audit/FeeFreeSurplusStale.t.sol +0 -248
  115. package/test/audit/USDTVoidReturnCompat.t.sol +0 -525
  116. package/test/fork/TestChainlinkPriceFeedFork.sol +0 -254
  117. package/test/fork/TestSequencerPriceFeedFork.sol +0 -168
  118. package/test/fork/TestTerminalPreviewParityFork.sol +0 -108
  119. package/test/formal/BondingCurveProperties.t.sol +0 -420
  120. package/test/formal/FeeProperties.t.sol +0 -252
  121. package/test/invariants/Phase3DeepInvariant.t.sol +0 -412
  122. package/test/invariants/RulesetsInvariant.t.sol +0 -125
  123. package/test/invariants/TerminalStoreInvariant.t.sol +0 -227
  124. package/test/invariants/TokensInvariant.t.sol +0 -195
  125. package/test/invariants/handlers/ComprehensiveHandler.sol +0 -303
  126. package/test/invariants/handlers/EconomicHandler.sol +0 -377
  127. package/test/invariants/handlers/Phase3Handler.sol +0 -443
  128. package/test/invariants/handlers/RulesetsHandler.sol +0 -115
  129. package/test/invariants/handlers/TerminalStoreHandler.sol +0 -151
  130. package/test/invariants/handlers/TokensHandler.sol +0 -126
  131. package/test/regression/HoldFeesCashOutReserved.t.sol +0 -415
  132. package/test/regression/WeightCacheBoundary.t.sol +0 -291
  133. package/test/trees/JBController/burnTokensOf.tree +0 -9
  134. package/test/trees/JBController/claimTokensFor.tree +0 -5
  135. package/test/trees/JBController/deployERC20For.tree +0 -5
  136. package/test/trees/JBController/getRulesetOf.tree +0 -5
  137. package/test/trees/JBController/launchProjectFor.tree +0 -12
  138. package/test/trees/JBController/launchRulesetsFor.tree +0 -8
  139. package/test/trees/JBController/migrateController.tree +0 -12
  140. package/test/trees/JBController/mintTokensOf.tree +0 -12
  141. package/test/trees/JBController/payReservedTokenToTerminal.tree +0 -8
  142. package/test/trees/JBController/receiveMigrationFrom.tree +0 -4
  143. package/test/trees/JBController/sendReservedTokensToSplitsOf.tree +0 -12
  144. package/test/trees/JBController/setMetadataOf.tree +0 -5
  145. package/test/trees/JBController/setSplitGroupsOf.tree +0 -5
  146. package/test/trees/JBController/setTokenFor.tree +0 -5
  147. package/test/trees/JBController/transferCreditsFrom.tree +0 -8
  148. package/test/trees/JBDirectory/primaryTerminalOf.tree +0 -8
  149. package/test/trees/JBDirectory/setControllerOf.tree +0 -11
  150. package/test/trees/JBDirectory/setPrimaryTerminalOf.tree +0 -15
  151. package/test/trees/JBDirectory/setTerminalsOf.tree +0 -11
  152. package/test/trees/JBERC20/initialize.tree +0 -7
  153. package/test/trees/JBERC20/name.tree +0 -5
  154. package/test/trees/JBERC20/nonces.tree +0 -5
  155. package/test/trees/JBERC20/symbol.tree +0 -5
  156. package/test/trees/JBFeelessAddresses/setFeelessAddress.tree +0 -5
  157. package/test/trees/JBFeelessAddresses/supportsInterface.tree +0 -5
  158. package/test/trees/JBFundAccessLimits/payoutLimitOf.tree +0 -5
  159. package/test/trees/JBFundAccessLimits/payoutLimitsOf.tree +0 -8
  160. package/test/trees/JBFundAccessLimits/setFundAccessLimitsFor.tree +0 -18
  161. package/test/trees/JBFundAccessLimits/surplusAllowanceOf.tree +0 -5
  162. package/test/trees/JBFundAccessLimits/surplusAllowancesOf.tree +0 -8
  163. package/test/trees/JBMetadataResolver/getDataFor.tree +0 -8
  164. package/test/trees/JBMultiTerminal/accountingContextsOf.tree +0 -5
  165. package/test/trees/JBMultiTerminal/addAccountingContextsFor.tree +0 -10
  166. package/test/trees/JBMultiTerminal/addToBalanceOf.tree +0 -23
  167. package/test/trees/JBMultiTerminal/cashOutTokensOf.tree +0 -23
  168. package/test/trees/JBMultiTerminal/executePayout.tree +0 -32
  169. package/test/trees/JBMultiTerminal/executeProcessFee.tree +0 -14
  170. package/test/trees/JBMultiTerminal/migrateBalanceOf.tree +0 -12
  171. package/test/trees/JBMultiTerminal/pay.tree +0 -23
  172. package/test/trees/JBMultiTerminal/processHeldFeesOf.tree +0 -8
  173. package/test/trees/JBMultiTerminal/sendPayoutsOf.tree +0 -34
  174. package/test/trees/JBMultiTerminal/useAllowanceOf.tree +0 -16
  175. package/test/trees/JBPermissions/hasPermission.tree +0 -8
  176. package/test/trees/JBPermissions/hasPermissions.tree +0 -8
  177. package/test/trees/JBPermissions/setPermissionsFor.tree +0 -5
  178. package/test/trees/JBPrices/addPriceFeedFor.tree +0 -14
  179. package/test/trees/JBPrices/pricePerUnitOf.tree +0 -11
  180. package/test/trees/JBProjects/createFor.tree +0 -11
  181. package/test/trees/JBProjects/setTokenUriResolver.tree +0 -5
  182. package/test/trees/JBProjects/supportsInterface.tree +0 -9
  183. package/test/trees/JBProjects/tokenURI.tree +0 -5
  184. package/test/trees/JBRulesets/currentApprovalStatusForLatestRulesetOf.tree +0 -8
  185. package/test/trees/JBRulesets/currentOf.tree +0 -12
  186. package/test/trees/JBRulesets/getRulesetOf.tree +0 -5
  187. package/test/trees/JBRulesets/latestQueuedRulesetOf.tree +0 -10
  188. package/test/trees/JBRulesets/rulesetsOf.tree +0 -11
  189. package/test/trees/JBRulesets/upcomingRulesetOf.tree +0 -20
  190. package/test/trees/JBRulesets/updateRulesetWeightCache.tree +0 -5
  191. package/test/trees/JBSplits/setSplitGroupsOf.tree +0 -17
  192. package/test/trees/JBSplits/splitsOf.tree +0 -5
  193. package/test/trees/JBTerminalStore/currentReclaimableSurplusOf.tree +0 -16
  194. package/test/trees/JBTerminalStore/currentSurplusOf.tree +0 -25
  195. package/test/trees/JBTerminalStore/currentTotalSurplusOf.tree +0 -5
  196. package/test/trees/JBTerminalStore/recordCashOutsFor.tree +0 -16
  197. package/test/trees/JBTerminalStore/recordPaymentFrom.tree +0 -14
  198. package/test/trees/JBTerminalStore/recordPayoutFor.tree +0 -10
  199. package/test/trees/JBTerminalStore/recordTerminalMigration.tree +0 -5
  200. package/test/trees/JBTerminalStore/recordUsedAllowanceOf.tree +0 -10
  201. package/test/trees/JBTokens/burnFrom.tree +0 -10
  202. package/test/trees/JBTokens/claimTokensFor.tree +0 -10
  203. package/test/trees/JBTokens/deployERC20For.tree +0 -12
  204. package/test/trees/JBTokens/mintFor.tree +0 -10
  205. package/test/trees/JBTokens/setTokenFor.tree +0 -11
  206. package/test/trees/JBTokens/totalBalanceOf.tree +0 -5
  207. package/test/trees/JBTokens/totalSupplyOf.tree +0 -5
  208. package/test/trees/JBTokens/transferCreditsFrom.tree +0 -8
  209. package/test/trees/mintTokensOf.tree +0 -12
  210. package/test/units/static/JBChainlinkV3PriceFeed/TestPriceFeed.sol +0 -223
  211. package/test/units/static/JBController/JBControllerSetup.sol +0 -50
  212. package/test/units/static/JBController/TestBurnTokensOf.sol +0 -114
  213. package/test/units/static/JBController/TestClaimTokensFor.sol +0 -63
  214. package/test/units/static/JBController/TestDeployErc20For.sol +0 -86
  215. package/test/units/static/JBController/TestLaunchProjectFor.sol +0 -302
  216. package/test/units/static/JBController/TestLaunchRulesetsFor.sol +0 -342
  217. package/test/units/static/JBController/TestMigrateController.sol +0 -157
  218. package/test/units/static/JBController/TestMintTokensOfUnits.sol +0 -111
  219. package/test/units/static/JBController/TestOmnichainRulesetOperator.sol +0 -324
  220. package/test/units/static/JBController/TestPayReservedTokenToTerminal.sol +0 -74
  221. package/test/units/static/JBController/TestPreviewMintOf.sol +0 -117
  222. package/test/units/static/JBController/TestReceiveMigrationFrom.sol +0 -99
  223. package/test/units/static/JBController/TestRulesetViews.sol +0 -225
  224. package/test/units/static/JBController/TestSendReservedTokensToSplitsOf.sol +0 -615
  225. package/test/units/static/JBController/TestSetSplitGroupsOf.sol +0 -68
  226. package/test/units/static/JBController/TestSetTokenFor.sol +0 -239
  227. package/test/units/static/JBController/TestSetUriOf.sol +0 -57
  228. package/test/units/static/JBController/TestTransferCreditsFrom.sol +0 -169
  229. package/test/units/static/JBDeadline/TestDeadlineFuzz.sol +0 -211
  230. package/test/units/static/JBDirectory/JBDirectorySetup.sol +0 -26
  231. package/test/units/static/JBDirectory/TestPrimaryTerminalOf.sol +0 -126
  232. package/test/units/static/JBDirectory/TestSetControllerOf.sol +0 -183
  233. package/test/units/static/JBDirectory/TestSetControllerOfMigrationOrder.sol +0 -104
  234. package/test/units/static/JBDirectory/TestSetPrimaryTerminalOf.sol +0 -179
  235. package/test/units/static/JBDirectory/TestSetTerminalsOf.sol +0 -137
  236. package/test/units/static/JBERC20/JBERC20Setup.sol +0 -34
  237. package/test/units/static/JBERC20/SigUtils.sol +0 -36
  238. package/test/units/static/JBERC20/TestInitialize.sol +0 -60
  239. package/test/units/static/JBERC20/TestName.sol +0 -30
  240. package/test/units/static/JBERC20/TestNonces.sol +0 -62
  241. package/test/units/static/JBERC20/TestSymbol.sol +0 -31
  242. package/test/units/static/JBFeelessAdresses/JBFeelessSetup.sol +0 -22
  243. package/test/units/static/JBFeelessAdresses/TestInterfaces.sol +0 -30
  244. package/test/units/static/JBFeelessAdresses/TestSetFeelessAddress.sol +0 -35
  245. package/test/units/static/JBFees/TestFeesFuzz.sol +0 -79
  246. package/test/units/static/JBFixedPointNumber/TestAdjustDecimals.sol +0 -16
  247. package/test/units/static/JBFixedPointNumber/TestAdjustDecimalsFuzz.sol +0 -71
  248. package/test/units/static/JBFundAccessLimits/JBFundAccessSetup.sol +0 -24
  249. package/test/units/static/JBFundAccessLimits/TestFundAccessLimitsEdge.sol +0 -163
  250. package/test/units/static/JBFundAccessLimits/TestPayoutLimitOf.sol +0 -59
  251. package/test/units/static/JBFundAccessLimits/TestPayoutLimitsOf.sol +0 -101
  252. package/test/units/static/JBFundAccessLimits/TestSetFundAccessLimitsFor.sol +0 -189
  253. package/test/units/static/JBFundAccessLimits/TestSurplusAllowanceOf.sol +0 -64
  254. package/test/units/static/JBFundAccessLimits/TestSurplusAllowancesOf.sol +0 -102
  255. package/test/units/static/JBMetadataResolver/TestGetDataFor.sol +0 -90
  256. package/test/units/static/JBMetadataResolver/TestMetadataResolverEdgeCases.sol +0 -247
  257. package/test/units/static/JBMetadataResolver/TestMetadataResolverFuzz.sol +0 -229
  258. package/test/units/static/JBMultiTerminal/JBMultiTerminalSetup.sol +0 -50
  259. package/test/units/static/JBMultiTerminal/TestAccountingContextsOf.sol +0 -72
  260. package/test/units/static/JBMultiTerminal/TestAddAccountingContextsFor.sol +0 -289
  261. package/test/units/static/JBMultiTerminal/TestAddToBalanceOf.sol +0 -474
  262. package/test/units/static/JBMultiTerminal/TestCashOutTokensOf.sol +0 -624
  263. package/test/units/static/JBMultiTerminal/TestExecutePayout.sol +0 -578
  264. package/test/units/static/JBMultiTerminal/TestExecuteProcessFee.sol +0 -202
  265. package/test/units/static/JBMultiTerminal/TestMigrateBalanceOf.sol +0 -222
  266. package/test/units/static/JBMultiTerminal/TestPay.sol +0 -604
  267. package/test/units/static/JBMultiTerminal/TestPreviewCashOutFrom.sol +0 -117
  268. package/test/units/static/JBMultiTerminal/TestPreviewPayFor.sol +0 -114
  269. package/test/units/static/JBMultiTerminal/TestProcessHeldFeesOf.sol +0 -228
  270. package/test/units/static/JBMultiTerminal/TestSelfPayRevert.sol +0 -55
  271. package/test/units/static/JBMultiTerminal/TestSendPayoutsOf.sol +0 -257
  272. package/test/units/static/JBMultiTerminal/TestUseAllowanceOf.sol +0 -611
  273. package/test/units/static/JBPermissions/JBPermissionsSetup.sol +0 -20
  274. package/test/units/static/JBPermissions/TestHasPermission.sol +0 -50
  275. package/test/units/static/JBPermissions/TestHasPermissions.sol +0 -93
  276. package/test/units/static/JBPermissions/TestSetPermissionsFor.sol +0 -64
  277. package/test/units/static/JBPrices/JBPricesSetup.sol +0 -32
  278. package/test/units/static/JBPrices/TestAddPriceFeedFor.sol +0 -107
  279. package/test/units/static/JBPrices/TestPricePerUnitOf.sol +0 -132
  280. package/test/units/static/JBPrices/TestPrices.sol +0 -265
  281. package/test/units/static/JBProjects/JBProjectsSetup.sol +0 -22
  282. package/test/units/static/JBProjects/TestCreateFor.sol +0 -71
  283. package/test/units/static/JBProjects/TestInitialProject.sol +0 -21
  284. package/test/units/static/JBProjects/TestInterfaces.sol +0 -26
  285. package/test/units/static/JBProjects/TestSetResolver.sol +0 -37
  286. package/test/units/static/JBProjects/TestTokenUri.sol +0 -40
  287. package/test/units/static/JBRulesetMetadataResolver/TestSetCashOutTaxRateTo.sol +0 -108
  288. package/test/units/static/JBRulesets/JBRulesetsSetup.sol +0 -24
  289. package/test/units/static/JBRulesets/TestCurrentApprovalStatusForLatestRulesetOf.sol +0 -265
  290. package/test/units/static/JBRulesets/TestCurrentOf.sol +0 -242
  291. package/test/units/static/JBRulesets/TestGetRulesetOf.sol +0 -100
  292. package/test/units/static/JBRulesets/TestLatestQueuedRulesetOf.sol +0 -260
  293. package/test/units/static/JBRulesets/TestRulesets.sol +0 -632
  294. package/test/units/static/JBRulesets/TestRulesetsOf.sol +0 -37
  295. package/test/units/static/JBRulesets/TestUpcomingRulesetOf.sol +0 -522
  296. package/test/units/static/JBRulesets/TestUpdateRulesetWeightCache.sol +0 -96
  297. package/test/units/static/JBSplits/JBSplitsSetup.sol +0 -26
  298. package/test/units/static/JBSplits/TestSelfManagedSplitGroups.sol +0 -552
  299. package/test/units/static/JBSplits/TestSetSplitGroupsOf.sol +0 -377
  300. package/test/units/static/JBSplits/TestSplitsLockedEdge.sol +0 -267
  301. package/test/units/static/JBSplits/TestSplitsOf.sol +0 -24
  302. package/test/units/static/JBSplits/TestSplitsPacking.sol +0 -36
  303. package/test/units/static/JBSurplus/TestSurplusFuzz.sol +0 -160
  304. package/test/units/static/JBTerminalStore/JBTerminalStoreSetup.sol +0 -45
  305. package/test/units/static/JBTerminalStore/TestCurrentReclaimableSurplusOf.sol +0 -536
  306. package/test/units/static/JBTerminalStore/TestCurrentSurplusOf.sol +0 -463
  307. package/test/units/static/JBTerminalStore/TestCurrentTotalSurplusOf.sol +0 -135
  308. package/test/units/static/JBTerminalStore/TestPreviewCashOutFrom.sol +0 -476
  309. package/test/units/static/JBTerminalStore/TestPreviewPayFrom.sol +0 -494
  310. package/test/units/static/JBTerminalStore/TestRecordCashOutsFor.sol +0 -652
  311. package/test/units/static/JBTerminalStore/TestRecordPaymentFrom.sol +0 -744
  312. package/test/units/static/JBTerminalStore/TestRecordPayoutFor.sol +0 -289
  313. package/test/units/static/JBTerminalStore/TestRecordTerminalMigration.sol +0 -138
  314. package/test/units/static/JBTerminalStore/TestRecordUsedAllowanceOf.sol +0 -415
  315. package/test/units/static/JBTerminalStore/TestUint224Overflow.sol +0 -219
  316. package/test/units/static/JBTokens/JBTokensSetup.sol +0 -32
  317. package/test/units/static/JBTokens/TestBurnFrom.sol +0 -107
  318. package/test/units/static/JBTokens/TestClaimTokensFor.sol +0 -110
  319. package/test/units/static/JBTokens/TestDeployERC20ForUnits.sol +0 -92
  320. package/test/units/static/JBTokens/TestMintFor.sol +0 -100
  321. package/test/units/static/JBTokens/TestSetTokenFor.sol +0 -98
  322. package/test/units/static/JBTokens/TestTotalBalanceOf.sol +0 -65
  323. package/test/units/static/JBTokens/TestTotalSupplyOf.sol +0 -56
  324. package/test/units/static/JBTokens/TestTransferCreditsFrom.sol +0 -56
@@ -1,817 +0,0 @@
1
- // SPDX-License-Identifier: MIT
2
- pragma solidity ^0.8.6;
3
-
4
- import {TestBaseWorkflow} from "./helpers/TestBaseWorkflow.sol";
5
- import {IJBRulesetApprovalHook} from "../src/interfaces/IJBRulesetApprovalHook.sol";
6
- import {IJBSplitHook} from "../src/interfaces/IJBSplitHook.sol";
7
- import {JBConstants} from "../src/libraries/JBConstants.sol";
8
- import {JBRulesetMetadataResolver} from "../src/libraries/JBRulesetMetadataResolver.sol";
9
- import {JBCurrencyAmount} from "../src/structs/JBCurrencyAmount.sol";
10
- import {JBFundAccessLimitGroup} from "../src/structs/JBFundAccessLimitGroup.sol";
11
- import {JBRuleset} from "../src/structs/JBRuleset.sol";
12
- import {JBRulesetConfig} from "../src/structs/JBRulesetConfig.sol";
13
- import {JBRulesetMetadata} from "../src/structs/JBRulesetMetadata.sol";
14
- import {JBSplit} from "../src/structs/JBSplit.sol";
15
- import {JBSplitGroup} from "../src/structs/JBSplitGroup.sol";
16
- import {JBTerminalConfig} from "../src/structs/JBTerminalConfig.sol";
17
- import {JBAccountingContext} from "../src/structs/JBAccountingContext.sol";
18
- import {ERC20} from "@openzeppelin/contracts/token/ERC20/ERC20.sol";
19
-
20
- /// @notice Tests for weird/non-standard ERC-20 tokens: fee-on-transfer, rebasing, return-false, low/high decimals.
21
- contract WeirdTokenTests_Local is TestBaseWorkflow {
22
- using JBRulesetMetadataResolver for JBRuleset;
23
-
24
- uint256 public projectId;
25
- address public projectOwner;
26
-
27
- FeeOnTransferToken public fotToken;
28
- RebasingToken public rebasingToken;
29
- ReturnFalseToken public returnFalseToken;
30
-
31
- function setUp() public override {
32
- super.setUp();
33
- projectOwner = multisig();
34
-
35
- // Deploy weird tokens
36
- fotToken = new FeeOnTransferToken("FeeOnTransfer", "FOT", 18, 100); // 1% fee
37
- rebasingToken = new RebasingToken("Rebasing", "REB", 18);
38
- returnFalseToken = new ReturnFalseToken("ReturnFalse", "RF", 18);
39
-
40
- // Launch fee collector project (#1)
41
- _launchFeeProject();
42
- }
43
-
44
- // ═══════════════════════════════════════════════════════════════════
45
- // Helpers
46
- // ═══════════════════════════════════════════════════════════════════
47
-
48
- function _launchFeeProject() internal {
49
- JBRulesetConfig[] memory feeRulesetConfig = new JBRulesetConfig[](1);
50
- feeRulesetConfig[0].mustStartAtOrAfter = 0;
51
- feeRulesetConfig[0].duration = 0;
52
- feeRulesetConfig[0].weight = 1000e18;
53
- feeRulesetConfig[0].weightCutPercent = 0;
54
- feeRulesetConfig[0].approvalHook = IJBRulesetApprovalHook(address(0));
55
- feeRulesetConfig[0].metadata = JBRulesetMetadata({
56
- reservedPercent: 0,
57
- cashOutTaxRate: 0,
58
- baseCurrency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
59
- pausePay: false,
60
- pauseCreditTransfers: false,
61
- allowOwnerMinting: false,
62
- allowSetCustomToken: false,
63
- allowTerminalMigration: false,
64
- allowSetTerminals: false,
65
- ownerMustSendPayouts: false,
66
- allowSetController: false,
67
- allowAddAccountingContext: true,
68
- allowAddPriceFeed: false,
69
- holdFees: false,
70
- useTotalSurplusForCashOuts: false,
71
- useDataHookForPay: false,
72
- useDataHookForCashOut: false,
73
- dataHook: address(0),
74
- metadata: 0
75
- });
76
- feeRulesetConfig[0].splitGroups = new JBSplitGroup[](0);
77
- feeRulesetConfig[0].fundAccessLimitGroups = new JBFundAccessLimitGroup[](0);
78
-
79
- JBTerminalConfig[] memory terminalConfigurations = new JBTerminalConfig[](1);
80
- JBAccountingContext[] memory tokensToAccept = new JBAccountingContext[](1);
81
- tokensToAccept[0] = JBAccountingContext({
82
- token: JBConstants.NATIVE_TOKEN, decimals: 18, currency: uint32(uint160(JBConstants.NATIVE_TOKEN))
83
- });
84
- terminalConfigurations[0] =
85
- JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: tokensToAccept});
86
-
87
- jbController()
88
- .launchProjectFor({
89
- owner: address(420),
90
- projectUri: "feeCollector",
91
- rulesetConfigurations: feeRulesetConfig,
92
- terminalConfigurations: terminalConfigurations,
93
- memo: ""
94
- });
95
- }
96
-
97
- function _launchProjectWithToken(address token, uint8 decimals, bool holdFees) internal returns (uint256) {
98
- JBRulesetConfig[] memory rulesetConfig = new JBRulesetConfig[](1);
99
- rulesetConfig[0].mustStartAtOrAfter = 0;
100
- rulesetConfig[0].duration = 0;
101
- rulesetConfig[0].weight = 1000e18;
102
- rulesetConfig[0].weightCutPercent = 0;
103
- rulesetConfig[0].approvalHook = IJBRulesetApprovalHook(address(0));
104
- rulesetConfig[0].metadata = JBRulesetMetadata({
105
- reservedPercent: 0,
106
- cashOutTaxRate: 0,
107
- // forge-lint: disable-next-line(unsafe-typecast)
108
- baseCurrency: uint32(uint160(token)),
109
- pausePay: false,
110
- pauseCreditTransfers: false,
111
- allowOwnerMinting: true,
112
- allowSetCustomToken: true,
113
- allowTerminalMigration: false,
114
- allowSetTerminals: false,
115
- ownerMustSendPayouts: false,
116
- allowSetController: false,
117
- allowAddAccountingContext: true,
118
- allowAddPriceFeed: false,
119
- holdFees: holdFees,
120
- useTotalSurplusForCashOuts: false,
121
- useDataHookForPay: false,
122
- useDataHookForCashOut: false,
123
- dataHook: address(0),
124
- metadata: 0
125
- });
126
- rulesetConfig[0].splitGroups = new JBSplitGroup[](0);
127
- rulesetConfig[0].fundAccessLimitGroups = new JBFundAccessLimitGroup[](0);
128
-
129
- JBTerminalConfig[] memory terminalConfigurations = new JBTerminalConfig[](1);
130
- JBAccountingContext[] memory tokensToAccept = new JBAccountingContext[](1);
131
- // forge-lint: disable-next-line(unsafe-typecast)
132
- tokensToAccept[0] = JBAccountingContext({token: token, decimals: decimals, currency: uint32(uint160(token))});
133
- terminalConfigurations[0] =
134
- JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: tokensToAccept});
135
-
136
- return jbController()
137
- .launchProjectFor({
138
- owner: projectOwner,
139
- projectUri: "weirdTokenProject",
140
- rulesetConfigurations: rulesetConfig,
141
- terminalConfigurations: terminalConfigurations,
142
- memo: ""
143
- });
144
- }
145
-
146
- // ═══════════════════════════════════════════════════════════════════
147
- // Test 1: FOT — pay records delta (not nominal amount)
148
- // ═══════════════════════════════════════════════════════════════════
149
-
150
- function test_feeOnTransfer_payRecordsDelta() public {
151
- uint256 pid = _launchProjectWithToken(address(fotToken), 18, false);
152
-
153
- address payer = address(0xBA1E);
154
- uint256 payAmount = 1000e18;
155
- fotToken.mint(payer, payAmount);
156
-
157
- vm.prank(payer);
158
- fotToken.approve(address(jbMultiTerminal()), payAmount);
159
-
160
- vm.prank(payer);
161
- jbMultiTerminal()
162
- .pay({
163
- projectId: pid,
164
- token: address(fotToken),
165
- amount: payAmount,
166
- beneficiary: payer,
167
- minReturnedTokens: 0,
168
- memo: "",
169
- metadata: new bytes(0)
170
- });
171
-
172
- // Terminal records the delta (after fee), not the nominal amount
173
- uint256 recordedBalance = jbTerminalStore().balanceOf(address(jbMultiTerminal()), pid, address(fotToken));
174
-
175
- // 1% fee: 1000e18 * 99/100 = 990e18
176
- uint256 expectedDelta = 990e18;
177
- assertEq(recordedBalance, expectedDelta, "Terminal should record delta amount for FOT tokens");
178
-
179
- // INVARIANT: recorded balance <= actual token balance at all times.
180
- uint256 actualTerminalBalance = fotToken.balanceOf(address(jbMultiTerminal()));
181
- assertLe(
182
- recordedBalance,
183
- actualTerminalBalance,
184
- "FOT: recorded balance must not exceed actual terminal token balance after pay"
185
- );
186
- }
187
-
188
- // ═══════════════════════════════════════════════════════════════════
189
- // Test 2: FOT — cashOut shortfall (outbound fee)
190
- // ═══════════════════════════════════════════════════════════════════
191
-
192
- function test_feeOnTransfer_cashOutShortfall() public {
193
- uint256 pid = _launchProjectWithToken(address(fotToken), 18, false);
194
-
195
- address payer = address(0xBA1E);
196
- uint256 payAmount = 1000e18;
197
- fotToken.mint(payer, payAmount);
198
-
199
- vm.prank(payer);
200
- fotToken.approve(address(jbMultiTerminal()), payAmount);
201
-
202
- vm.prank(payer);
203
- uint256 tokensReceived = jbMultiTerminal()
204
- .pay({
205
- projectId: pid,
206
- token: address(fotToken),
207
- amount: payAmount,
208
- beneficiary: payer,
209
- minReturnedTokens: 0,
210
- memo: "",
211
- metadata: new bytes(0)
212
- });
213
-
214
- // Cash out all tokens
215
- uint256 payerBalanceBefore = fotToken.balanceOf(payer);
216
-
217
- vm.prank(payer);
218
- uint256 reclaimAmount = jbMultiTerminal()
219
- .cashOutTokensOf({
220
- holder: payer,
221
- projectId: pid,
222
- cashOutCount: tokensReceived,
223
- tokenToReclaim: address(fotToken),
224
- minTokensReclaimed: 0,
225
- beneficiary: payable(payer),
226
- metadata: new bytes(0)
227
- });
228
-
229
- uint256 payerBalanceAfter = fotToken.balanceOf(payer);
230
- uint256 actualReceived = payerBalanceAfter - payerBalanceBefore;
231
-
232
- // Beneficiary receives less than reclaimAmount due to outbound fee
233
- assertLt(actualReceived, reclaimAmount, "FOT: beneficiary receives less than reclaimAmount on outbound");
234
-
235
- // INVARIANT: recorded balance <= actual token balance after cash-out.
236
- uint256 recordedBalanceAfterCashOut =
237
- jbTerminalStore().balanceOf(address(jbMultiTerminal()), pid, address(fotToken));
238
- uint256 actualTerminalBalanceAfterCashOut = fotToken.balanceOf(address(jbMultiTerminal()));
239
- assertLe(
240
- recordedBalanceAfterCashOut,
241
- actualTerminalBalanceAfterCashOut,
242
- "FOT: recorded balance must not exceed actual terminal token balance after cash-out"
243
- );
244
- }
245
-
246
- // ═══════════════════════════════════════════════════════════════════
247
- // Test 3: FOT — split payout shortfall
248
- // ═══════════════════════════════════════════════════════════════════
249
-
250
- function test_feeOnTransfer_splitPayoutShortfall() public {
251
- address splitBeneficiary = address(0xBEEF);
252
-
253
- JBRulesetConfig[] memory rulesetConfig = new JBRulesetConfig[](1);
254
- rulesetConfig[0].mustStartAtOrAfter = 0;
255
- rulesetConfig[0].duration = 0;
256
- rulesetConfig[0].weight = 1000e18;
257
- rulesetConfig[0].weightCutPercent = 0;
258
- rulesetConfig[0].approvalHook = IJBRulesetApprovalHook(address(0));
259
- rulesetConfig[0].metadata = JBRulesetMetadata({
260
- reservedPercent: 0,
261
- cashOutTaxRate: 0,
262
- baseCurrency: uint32(uint160(address(fotToken))),
263
- pausePay: false,
264
- pauseCreditTransfers: false,
265
- allowOwnerMinting: true,
266
- allowSetCustomToken: true,
267
- allowTerminalMigration: false,
268
- allowSetTerminals: false,
269
- ownerMustSendPayouts: false,
270
- allowSetController: false,
271
- allowAddAccountingContext: true,
272
- allowAddPriceFeed: false,
273
- holdFees: false,
274
- useTotalSurplusForCashOuts: false,
275
- useDataHookForPay: false,
276
- useDataHookForCashOut: false,
277
- dataHook: address(0),
278
- metadata: 0
279
- });
280
-
281
- JBSplit[] memory splits = new JBSplit[](1);
282
- splits[0] = JBSplit({
283
- percent: uint32(JBConstants.SPLITS_TOTAL_PERCENT),
284
- projectId: 0,
285
- beneficiary: payable(splitBeneficiary),
286
- preferAddToBalance: false,
287
- lockedUntil: 0,
288
- hook: IJBSplitHook(address(0))
289
- });
290
- JBSplitGroup[] memory splitGroups = new JBSplitGroup[](1);
291
- splitGroups[0] = JBSplitGroup({groupId: uint256(uint160(address(fotToken))), splits: splits});
292
- rulesetConfig[0].splitGroups = splitGroups;
293
-
294
- JBCurrencyAmount[] memory payoutLimits = new JBCurrencyAmount[](1);
295
- payoutLimits[0] = JBCurrencyAmount({amount: uint224(500e18), currency: uint32(uint160(address(fotToken)))});
296
- JBFundAccessLimitGroup[] memory fundAccessLimitGroups = new JBFundAccessLimitGroup[](1);
297
- fundAccessLimitGroups[0] = JBFundAccessLimitGroup({
298
- terminal: address(jbMultiTerminal()),
299
- token: address(fotToken),
300
- payoutLimits: payoutLimits,
301
- surplusAllowances: new JBCurrencyAmount[](0)
302
- });
303
- rulesetConfig[0].fundAccessLimitGroups = fundAccessLimitGroups;
304
-
305
- JBTerminalConfig[] memory terminalConfigurations = new JBTerminalConfig[](1);
306
- JBAccountingContext[] memory tokensToAccept = new JBAccountingContext[](1);
307
- tokensToAccept[0] =
308
- JBAccountingContext({token: address(fotToken), decimals: 18, currency: uint32(uint160(address(fotToken)))});
309
- terminalConfigurations[0] =
310
- JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: tokensToAccept});
311
-
312
- uint256 pid = jbController()
313
- .launchProjectFor({
314
- owner: projectOwner,
315
- projectUri: "fotSplitTest",
316
- rulesetConfigurations: rulesetConfig,
317
- terminalConfigurations: terminalConfigurations,
318
- memo: ""
319
- });
320
-
321
- // Pay in
322
- address payer = address(0xBA1E);
323
- fotToken.mint(payer, 1000e18);
324
- vm.prank(payer);
325
- fotToken.approve(address(jbMultiTerminal()), 1000e18);
326
- vm.prank(payer);
327
- jbMultiTerminal()
328
- .pay({
329
- projectId: pid,
330
- token: address(fotToken),
331
- amount: 1000e18,
332
- beneficiary: payer,
333
- minReturnedTokens: 0,
334
- memo: "",
335
- metadata: new bytes(0)
336
- });
337
-
338
- // Send payouts
339
- uint256 beneficiaryBalanceBefore = fotToken.balanceOf(splitBeneficiary);
340
- vm.prank(projectOwner);
341
- jbMultiTerminal()
342
- .sendPayoutsOf({
343
- projectId: pid,
344
- token: address(fotToken),
345
- amount: 500e18,
346
- currency: uint32(uint160(address(fotToken))),
347
- minTokensPaidOut: 0
348
- });
349
-
350
- uint256 beneficiaryBalanceAfter = fotToken.balanceOf(splitBeneficiary);
351
- uint256 actualReceived = beneficiaryBalanceAfter - beneficiaryBalanceBefore;
352
-
353
- // Split recipient gets less than nominal due to outbound transfer fee
354
- assertTrue(actualReceived > 0, "Split beneficiary should receive something");
355
- // The terminal sends a computed net amount, but the FOT tax reduces what arrives
356
- // This documents the information finding: FOT tokens cause split recipients to receive less
357
-
358
- // INVARIANT: Terminal's recorded balance must never exceed actual token balance.
359
- // With FOT tokens, the terminal may hold fewer tokens than recorded (inbound fee on pay).
360
- // After a payout, the recorded balance should still be <= actual balance.
361
- uint256 recordedBalance = jbTerminalStore().balanceOf(address(jbMultiTerminal()), pid, address(fotToken));
362
- uint256 actualTerminalBalance = fotToken.balanceOf(address(jbMultiTerminal()));
363
- assertLe(
364
- recordedBalance,
365
- actualTerminalBalance,
366
- "FOT: recorded balance must not exceed actual terminal token balance after payout"
367
- );
368
- }
369
-
370
- // ═══════════════════════════════════════════════════════════════════
371
- // Test 4: Rebasing token — positive rebase, no phantom extraction
372
- // ═══════════════════════════════════════════════════════════════════
373
-
374
- function test_rebasingToken_positiveRebase_noPhantomExtraction() public {
375
- uint256 pid = _launchProjectWithToken(address(rebasingToken), 18, false);
376
-
377
- address payer = address(0xBA1E);
378
- rebasingToken.mint(payer, 1000e18);
379
-
380
- vm.prank(payer);
381
- rebasingToken.approve(address(jbMultiTerminal()), 1000e18);
382
-
383
- vm.prank(payer);
384
- uint256 tokensReceived = jbMultiTerminal()
385
- .pay({
386
- projectId: pid,
387
- token: address(rebasingToken),
388
- amount: 1000e18,
389
- beneficiary: payer,
390
- minReturnedTokens: 0,
391
- memo: "",
392
- metadata: new bytes(0)
393
- });
394
-
395
- // Positive rebase: +10% on the terminal's holdings
396
- rebasingToken.rebaseHolder(address(jbMultiTerminal()), 10);
397
-
398
- // Terminal now holds 1100 tokens but store records 1000
399
- uint256 terminalActual = rebasingToken.balanceOf(address(jbMultiTerminal()));
400
- uint256 recordedBalance = jbTerminalStore().balanceOf(address(jbMultiTerminal()), pid, address(rebasingToken));
401
-
402
- assertGt(terminalActual, recordedBalance, "Terminal should hold more than recorded after positive rebase");
403
- assertEq(recordedBalance, 1000e18, "Store should still record original amount");
404
-
405
- // Cash out — should only get recorded amount
406
- vm.prank(payer);
407
- uint256 reclaimAmount = jbMultiTerminal()
408
- .cashOutTokensOf({
409
- holder: payer,
410
- projectId: pid,
411
- cashOutCount: tokensReceived,
412
- tokenToReclaim: address(rebasingToken),
413
- minTokensReclaimed: 0,
414
- beneficiary: payable(payer),
415
- metadata: new bytes(0)
416
- });
417
-
418
- // Payer only gets back what was recorded, not the rebased surplus
419
- assertEq(reclaimAmount, 1000e18, "CashOut should return recorded amount, not rebased amount");
420
- }
421
-
422
- // ═══════════════════════════════════════════════════════════════════
423
- // Test 5: Rebasing token — negative rebase, cashOut insufficient funds
424
- // ═══════════════════════════════════════════════════════════════════
425
-
426
- function test_rebasingToken_negativeRebase_cashOutFails() public {
427
- uint256 pid = _launchProjectWithToken(address(rebasingToken), 18, false);
428
-
429
- address payer = address(0xBA1E);
430
- rebasingToken.mint(payer, 1000e18);
431
-
432
- vm.prank(payer);
433
- rebasingToken.approve(address(jbMultiTerminal()), 1000e18);
434
-
435
- vm.prank(payer);
436
- uint256 tokensReceived = jbMultiTerminal()
437
- .pay({
438
- projectId: pid,
439
- token: address(rebasingToken),
440
- amount: 1000e18,
441
- beneficiary: payer,
442
- minReturnedTokens: 0,
443
- memo: "",
444
- metadata: new bytes(0)
445
- });
446
-
447
- // Negative rebase: -10% on the terminal's holdings
448
- rebasingToken.rebaseHolder(address(jbMultiTerminal()), -10);
449
-
450
- // Terminal now holds 900 but store records 1000
451
- uint256 terminalActual = rebasingToken.balanceOf(address(jbMultiTerminal()));
452
- assertLt(terminalActual, 1000e18, "Terminal should hold less after negative rebase");
453
-
454
- // CashOut should try to send 1000 but only 900 available → revert
455
- vm.prank(payer);
456
- vm.expectRevert();
457
- jbMultiTerminal()
458
- .cashOutTokensOf({
459
- holder: payer,
460
- projectId: pid,
461
- cashOutCount: tokensReceived,
462
- tokenToReclaim: address(rebasingToken),
463
- minTokensReclaimed: 0,
464
- beneficiary: payable(payer),
465
- metadata: new bytes(0)
466
- });
467
- }
468
-
469
- // ═══════════════════════════════════════════════════════════════════
470
- // Test 6: Low decimal token — rounding
471
- // ═══════════════════════════════════════════════════════════════════
472
-
473
- function test_lowDecimalToken_rounding() public {
474
- LowDecimalToken lowToken = new LowDecimalToken("LowDec", "LD");
475
- uint256 pid = _launchProjectWithToken(address(lowToken), 2, false);
476
-
477
- address payer = address(0xBA1E);
478
- uint256 payAmount = 100; // 1.00 in 2 decimals
479
- lowToken.mint(payer, payAmount);
480
-
481
- vm.prank(payer);
482
- lowToken.approve(address(jbMultiTerminal()), payAmount);
483
-
484
- vm.prank(payer);
485
- uint256 tokensReceived = jbMultiTerminal()
486
- .pay({
487
- projectId: pid,
488
- token: address(lowToken),
489
- amount: payAmount,
490
- beneficiary: payer,
491
- minReturnedTokens: 0,
492
- memo: "",
493
- metadata: new bytes(0)
494
- });
495
-
496
- // Weight calculation should not round to zero
497
- assertTrue(tokensReceived > 0, "Low decimal tokens should still mint project tokens");
498
- }
499
-
500
- // ═══════════════════════════════════════════════════════════════════
501
- // Test 7: High decimal token — no overflow
502
- // ═══════════════════════════════════════════════════════════════════
503
-
504
- function test_highDecimalToken_noOverflow() public {
505
- HighDecimalToken highToken = new HighDecimalToken("HighDec", "HD");
506
- uint256 pid = _launchProjectWithToken(address(highToken), 24, false);
507
-
508
- address payer = address(0xBA1E);
509
- uint256 payAmount = 1_000_000e24; // Large amount in 24 decimals
510
- highToken.mint(payer, payAmount);
511
-
512
- vm.prank(payer);
513
- highToken.approve(address(jbMultiTerminal()), payAmount);
514
-
515
- vm.prank(payer);
516
- uint256 tokensReceived = jbMultiTerminal()
517
- .pay({
518
- projectId: pid,
519
- token: address(highToken),
520
- amount: payAmount,
521
- beneficiary: payer,
522
- minReturnedTokens: 0,
523
- memo: "",
524
- metadata: new bytes(0)
525
- });
526
-
527
- assertTrue(tokensReceived > 0, "High decimal tokens should mint project tokens without overflow");
528
- }
529
-
530
- // ═══════════════════════════════════════════════════════════════════
531
- // Test 8: Return-false token — SafeERC20 catches
532
- // ═══════════════════════════════════════════════════════════════════
533
-
534
- function test_returnFalseToken_safeERC20Reverts() public {
535
- uint256 pid = _launchProjectWithToken(address(returnFalseToken), 18, false);
536
-
537
- address payer = address(0xBA1E);
538
- returnFalseToken.mint(payer, 1000e18);
539
- returnFalseToken.setShouldReturnFalse(true);
540
-
541
- vm.prank(payer);
542
- returnFalseToken.approve(address(jbMultiTerminal()), 1000e18);
543
-
544
- // SafeERC20 should catch the false return and revert
545
- vm.prank(payer);
546
- vm.expectRevert();
547
- jbMultiTerminal()
548
- .pay({
549
- projectId: pid,
550
- token: address(returnFalseToken),
551
- amount: 1000e18,
552
- beneficiary: payer,
553
- minReturnedTokens: 0,
554
- memo: "",
555
- metadata: new bytes(0)
556
- });
557
- }
558
-
559
- // ═══════════════════════════════════════════════════════════════════
560
- // Test 9: FOT + holdFees + addToBalance with shouldReturnHeldFees
561
- // ═══════════════════════════════════════════════════════════════════
562
-
563
- function test_feeOnTransfer_addToBalance_heldFeeReturn() public {
564
- uint256 pid = _launchProjectWithToken(address(fotToken), 18, true);
565
-
566
- address payer = address(0xBA1E);
567
- fotToken.mint(payer, 2000e18);
568
-
569
- vm.prank(payer);
570
- fotToken.approve(address(jbMultiTerminal()), 2000e18);
571
-
572
- // Pay in (holdFees=true, so fees are held)
573
- vm.prank(payer);
574
- jbMultiTerminal()
575
- .pay({
576
- projectId: pid,
577
- token: address(fotToken),
578
- amount: 1000e18,
579
- beneficiary: payer,
580
- minReturnedTokens: 0,
581
- memo: "",
582
- metadata: new bytes(0)
583
- });
584
-
585
- uint256 recordedBefore = jbTerminalStore().balanceOf(address(jbMultiTerminal()), pid, address(fotToken));
586
-
587
- // Add to balance with shouldReturnHeldFees=true
588
- vm.prank(payer);
589
- fotToken.approve(address(jbMultiTerminal()), 1000e18);
590
-
591
- vm.prank(payer);
592
- jbMultiTerminal()
593
- .addToBalanceOf({
594
- projectId: pid,
595
- token: address(fotToken),
596
- amount: 1000e18,
597
- shouldReturnHeldFees: true,
598
- memo: "",
599
- metadata: new bytes(0)
600
- });
601
-
602
- uint256 recordedAfter = jbTerminalStore().balanceOf(address(jbMultiTerminal()), pid, address(fotToken));
603
-
604
- // Balance should increase (delta accounting handles the fee)
605
- assertGt(recordedAfter, recordedBefore, "Balance should increase with addToBalance");
606
-
607
- // INVARIANT: recorded balance <= actual token balance after addToBalance.
608
- uint256 actualTerminalBalance = fotToken.balanceOf(address(jbMultiTerminal()));
609
- assertLe(
610
- recordedAfter,
611
- actualTerminalBalance,
612
- "FOT: recorded balance must not exceed actual terminal token balance after addToBalance"
613
- );
614
- }
615
-
616
- // ═══════════════════════════════════════════════════════════════════
617
- // Test 10: FOT + processHeldFees — fee project receives less
618
- // ═══════════════════════════════════════════════════════════════════
619
-
620
- function test_feeOnTransfer_processHeldFees_shortfall() public {
621
- // Need fee project to accept FOT tokens too
622
- // Launch a project with holdFees=true that uses FOT
623
- // This is complex since the fee project (#1) only accepts native token
624
- // We verify that the system doesn't silently lose tokens
625
-
626
- uint256 pid = _launchProjectWithToken(address(fotToken), 18, true);
627
-
628
- address payer = address(0xBA1E);
629
- fotToken.mint(payer, 1000e18);
630
-
631
- vm.prank(payer);
632
- fotToken.approve(address(jbMultiTerminal()), 1000e18);
633
-
634
- vm.prank(payer);
635
- jbMultiTerminal()
636
- .pay({
637
- projectId: pid,
638
- token: address(fotToken),
639
- amount: 1000e18,
640
- beneficiary: payer,
641
- minReturnedTokens: 0,
642
- memo: "",
643
- metadata: new bytes(0)
644
- });
645
-
646
- // Advance time past fee holding period (28 days)
647
- vm.warp(block.timestamp + 29 days);
648
-
649
- // Process held fees — may fail since fee project doesn't accept FOT
650
- // The important check is that no tokens are lost from the terminal
651
- uint256 terminalBalanceBefore = fotToken.balanceOf(address(jbMultiTerminal()));
652
-
653
- try jbMultiTerminal().processHeldFeesOf(pid, address(fotToken), 10) {} catch {}
654
-
655
- uint256 terminalBalanceAfter = fotToken.balanceOf(address(jbMultiTerminal()));
656
-
657
- // Terminal should not have lost more than the fee amounts
658
- assertTrue(
659
- terminalBalanceAfter <= terminalBalanceBefore,
660
- "Terminal balance should decrease or stay same after processing fees"
661
- );
662
- }
663
-
664
- receive() external payable {}
665
- }
666
-
667
- // ═══════════════════════════════════════════════════════════════════════
668
- // Mock Tokens
669
- // ═══════════════════════════════════════════════════════════════════════
670
-
671
- /// @notice ERC20 that charges a fee on every transfer.
672
- contract FeeOnTransferToken is ERC20 {
673
- uint256 public feeRateBps; // basis points, e.g., 100 = 1%
674
- uint8 private _decimals;
675
-
676
- constructor(
677
- string memory name_,
678
- string memory symbol_,
679
- uint8 decimals_,
680
- uint256 feeRateBps_
681
- )
682
- ERC20(name_, symbol_)
683
- {
684
- _decimals = decimals_;
685
- feeRateBps = feeRateBps_;
686
- }
687
-
688
- function decimals() public view override returns (uint8) {
689
- return _decimals;
690
- }
691
-
692
- function mint(address to, uint256 amount) external {
693
- _mint(to, amount);
694
- }
695
-
696
- function _update(address from, address to, uint256 value) internal override {
697
- if (from != address(0) && to != address(0) && feeRateBps > 0) {
698
- uint256 fee = (value * feeRateBps) / 10_000;
699
- super._update(from, address(0), fee); // Burn the fee
700
- super._update(from, to, value - fee);
701
- } else {
702
- super._update(from, to, value);
703
- }
704
- }
705
- }
706
-
707
- /// @notice ERC20 that can rebase specific holders' balances up or down.
708
- /// @dev Simulates a rebasing token by minting/burning directly to a target address.
709
- contract RebasingToken is ERC20 {
710
- uint8 private _decimals;
711
-
712
- constructor(string memory name_, string memory symbol_, uint8 decimals_) ERC20(name_, symbol_) {
713
- _decimals = decimals_;
714
- }
715
-
716
- function decimals() public view override returns (uint8) {
717
- return _decimals;
718
- }
719
-
720
- function mint(address to, uint256 amount) external {
721
- _mint(to, amount);
722
- }
723
-
724
- /// @notice Rebase a specific holder's balance by a percentage.
725
- /// @param target The address whose balance to rebase.
726
- /// @param percent Positive to increase, negative to decrease.
727
- function rebaseHolder(address target, int256 percent) external {
728
- uint256 balance = balanceOf(target);
729
- if (percent > 0) {
730
- // forge-lint: disable-next-line(unsafe-typecast)
731
- uint256 increase = (balance * uint256(percent)) / 100;
732
- _mint(target, increase);
733
- } else if (percent < 0) {
734
- // forge-lint: disable-next-line(unsafe-typecast)
735
- uint256 decrease = (balance * uint256(-percent)) / 100;
736
- if (decrease > 0 && decrease <= balance) {
737
- _burn(target, decrease);
738
- }
739
- }
740
- }
741
- }
742
-
743
- /// @notice ERC20 that returns false on transfer instead of reverting.
744
- contract ReturnFalseToken {
745
- string public name;
746
- string public symbol;
747
- uint8 public decimals;
748
- uint256 public totalSupply;
749
- bool public shouldReturnFalse;
750
-
751
- mapping(address => uint256) public balanceOf;
752
- mapping(address => mapping(address => uint256)) public allowance;
753
-
754
- constructor(string memory name_, string memory symbol_, uint8 decimals_) {
755
- name = name_;
756
- symbol = symbol_;
757
- decimals = decimals_;
758
- }
759
-
760
- function mint(address to, uint256 amount) external {
761
- balanceOf[to] += amount;
762
- totalSupply += amount;
763
- }
764
-
765
- function setShouldReturnFalse(bool value) external {
766
- shouldReturnFalse = value;
767
- }
768
-
769
- function approve(address spender, uint256 amount) external returns (bool) {
770
- allowance[msg.sender][spender] = amount;
771
- return true;
772
- }
773
-
774
- function transfer(address to, uint256 amount) external returns (bool) {
775
- if (shouldReturnFalse) return false;
776
- if (balanceOf[msg.sender] < amount) return false;
777
- balanceOf[msg.sender] -= amount;
778
- balanceOf[to] += amount;
779
- return true;
780
- }
781
-
782
- function transferFrom(address from, address to, uint256 amount) external returns (bool) {
783
- if (shouldReturnFalse) return false;
784
- if (balanceOf[from] < amount) return false;
785
- if (allowance[from][msg.sender] < amount) return false;
786
- allowance[from][msg.sender] -= amount;
787
- balanceOf[from] -= amount;
788
- balanceOf[to] += amount;
789
- return true;
790
- }
791
- }
792
-
793
- /// @notice ERC20 with 2 decimals (like some stablecoins).
794
- contract LowDecimalToken is ERC20 {
795
- constructor(string memory name_, string memory symbol_) ERC20(name_, symbol_) {}
796
-
797
- function decimals() public pure override returns (uint8) {
798
- return 2;
799
- }
800
-
801
- function mint(address to, uint256 amount) external {
802
- _mint(to, amount);
803
- }
804
- }
805
-
806
- /// @notice ERC20 with 24 decimals.
807
- contract HighDecimalToken is ERC20 {
808
- constructor(string memory name_, string memory symbol_) ERC20(name_, symbol_) {}
809
-
810
- function decimals() public pure override returns (uint8) {
811
- return 24;
812
- }
813
-
814
- function mint(address to, uint256 amount) external {
815
- _mint(to, amount);
816
- }
817
- }