@bananapus/core-v6 0.0.37 → 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 (287) 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 +19 -1
  5. package/src/JBMultiTerminal.sol +68 -34
  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/CodexMigrationFeeFailure.t.sol +0 -163
  74. package/test/audit/CrossTerminalSurplusSpoof.t.sol +0 -140
  75. package/test/audit/CycledSurplusAllowanceReset.t.sol +0 -184
  76. package/test/audit/FeeFreeSurplusLifecycle.t.sol +0 -399
  77. package/test/audit/FeeFreeSurplusStale.t.sol +0 -248
  78. package/test/audit/USDTVoidReturnCompat.t.sol +0 -525
  79. package/test/fork/TestChainlinkPriceFeedFork.sol +0 -254
  80. package/test/fork/TestSequencerPriceFeedFork.sol +0 -168
  81. package/test/fork/TestTerminalPreviewParityFork.sol +0 -108
  82. package/test/formal/BondingCurveProperties.t.sol +0 -420
  83. package/test/formal/FeeProperties.t.sol +0 -252
  84. package/test/invariants/Phase3DeepInvariant.t.sol +0 -412
  85. package/test/invariants/RulesetsInvariant.t.sol +0 -125
  86. package/test/invariants/TerminalStoreInvariant.t.sol +0 -227
  87. package/test/invariants/TokensInvariant.t.sol +0 -195
  88. package/test/invariants/handlers/ComprehensiveHandler.sol +0 -303
  89. package/test/invariants/handlers/EconomicHandler.sol +0 -377
  90. package/test/invariants/handlers/Phase3Handler.sol +0 -443
  91. package/test/invariants/handlers/RulesetsHandler.sol +0 -115
  92. package/test/invariants/handlers/TerminalStoreHandler.sol +0 -151
  93. package/test/invariants/handlers/TokensHandler.sol +0 -126
  94. package/test/regression/HoldFeesCashOutReserved.t.sol +0 -415
  95. package/test/regression/WeightCacheBoundary.t.sol +0 -291
  96. package/test/trees/JBController/burnTokensOf.tree +0 -9
  97. package/test/trees/JBController/claimTokensFor.tree +0 -5
  98. package/test/trees/JBController/deployERC20For.tree +0 -5
  99. package/test/trees/JBController/getRulesetOf.tree +0 -5
  100. package/test/trees/JBController/launchProjectFor.tree +0 -12
  101. package/test/trees/JBController/launchRulesetsFor.tree +0 -8
  102. package/test/trees/JBController/migrateController.tree +0 -12
  103. package/test/trees/JBController/mintTokensOf.tree +0 -12
  104. package/test/trees/JBController/payReservedTokenToTerminal.tree +0 -8
  105. package/test/trees/JBController/receiveMigrationFrom.tree +0 -4
  106. package/test/trees/JBController/sendReservedTokensToSplitsOf.tree +0 -12
  107. package/test/trees/JBController/setMetadataOf.tree +0 -5
  108. package/test/trees/JBController/setSplitGroupsOf.tree +0 -5
  109. package/test/trees/JBController/setTokenFor.tree +0 -5
  110. package/test/trees/JBController/transferCreditsFrom.tree +0 -8
  111. package/test/trees/JBDirectory/primaryTerminalOf.tree +0 -8
  112. package/test/trees/JBDirectory/setControllerOf.tree +0 -11
  113. package/test/trees/JBDirectory/setPrimaryTerminalOf.tree +0 -15
  114. package/test/trees/JBDirectory/setTerminalsOf.tree +0 -11
  115. package/test/trees/JBERC20/initialize.tree +0 -7
  116. package/test/trees/JBERC20/name.tree +0 -5
  117. package/test/trees/JBERC20/nonces.tree +0 -5
  118. package/test/trees/JBERC20/symbol.tree +0 -5
  119. package/test/trees/JBFeelessAddresses/setFeelessAddress.tree +0 -5
  120. package/test/trees/JBFeelessAddresses/supportsInterface.tree +0 -5
  121. package/test/trees/JBFundAccessLimits/payoutLimitOf.tree +0 -5
  122. package/test/trees/JBFundAccessLimits/payoutLimitsOf.tree +0 -8
  123. package/test/trees/JBFundAccessLimits/setFundAccessLimitsFor.tree +0 -18
  124. package/test/trees/JBFundAccessLimits/surplusAllowanceOf.tree +0 -5
  125. package/test/trees/JBFundAccessLimits/surplusAllowancesOf.tree +0 -8
  126. package/test/trees/JBMetadataResolver/getDataFor.tree +0 -8
  127. package/test/trees/JBMultiTerminal/accountingContextsOf.tree +0 -5
  128. package/test/trees/JBMultiTerminal/addAccountingContextsFor.tree +0 -10
  129. package/test/trees/JBMultiTerminal/addToBalanceOf.tree +0 -23
  130. package/test/trees/JBMultiTerminal/cashOutTokensOf.tree +0 -23
  131. package/test/trees/JBMultiTerminal/executePayout.tree +0 -32
  132. package/test/trees/JBMultiTerminal/executeProcessFee.tree +0 -14
  133. package/test/trees/JBMultiTerminal/migrateBalanceOf.tree +0 -12
  134. package/test/trees/JBMultiTerminal/pay.tree +0 -23
  135. package/test/trees/JBMultiTerminal/processHeldFeesOf.tree +0 -8
  136. package/test/trees/JBMultiTerminal/sendPayoutsOf.tree +0 -34
  137. package/test/trees/JBMultiTerminal/useAllowanceOf.tree +0 -16
  138. package/test/trees/JBPermissions/hasPermission.tree +0 -8
  139. package/test/trees/JBPermissions/hasPermissions.tree +0 -8
  140. package/test/trees/JBPermissions/setPermissionsFor.tree +0 -5
  141. package/test/trees/JBPrices/addPriceFeedFor.tree +0 -14
  142. package/test/trees/JBPrices/pricePerUnitOf.tree +0 -11
  143. package/test/trees/JBProjects/createFor.tree +0 -11
  144. package/test/trees/JBProjects/setTokenUriResolver.tree +0 -5
  145. package/test/trees/JBProjects/supportsInterface.tree +0 -9
  146. package/test/trees/JBProjects/tokenURI.tree +0 -5
  147. package/test/trees/JBRulesets/currentApprovalStatusForLatestRulesetOf.tree +0 -8
  148. package/test/trees/JBRulesets/currentOf.tree +0 -12
  149. package/test/trees/JBRulesets/getRulesetOf.tree +0 -5
  150. package/test/trees/JBRulesets/latestQueuedRulesetOf.tree +0 -10
  151. package/test/trees/JBRulesets/rulesetsOf.tree +0 -11
  152. package/test/trees/JBRulesets/upcomingRulesetOf.tree +0 -20
  153. package/test/trees/JBRulesets/updateRulesetWeightCache.tree +0 -5
  154. package/test/trees/JBSplits/setSplitGroupsOf.tree +0 -17
  155. package/test/trees/JBSplits/splitsOf.tree +0 -5
  156. package/test/trees/JBTerminalStore/currentReclaimableSurplusOf.tree +0 -16
  157. package/test/trees/JBTerminalStore/currentSurplusOf.tree +0 -25
  158. package/test/trees/JBTerminalStore/currentTotalSurplusOf.tree +0 -5
  159. package/test/trees/JBTerminalStore/recordCashOutsFor.tree +0 -16
  160. package/test/trees/JBTerminalStore/recordPaymentFrom.tree +0 -14
  161. package/test/trees/JBTerminalStore/recordPayoutFor.tree +0 -10
  162. package/test/trees/JBTerminalStore/recordTerminalMigration.tree +0 -5
  163. package/test/trees/JBTerminalStore/recordUsedAllowanceOf.tree +0 -10
  164. package/test/trees/JBTokens/burnFrom.tree +0 -10
  165. package/test/trees/JBTokens/claimTokensFor.tree +0 -10
  166. package/test/trees/JBTokens/deployERC20For.tree +0 -12
  167. package/test/trees/JBTokens/mintFor.tree +0 -10
  168. package/test/trees/JBTokens/setTokenFor.tree +0 -11
  169. package/test/trees/JBTokens/totalBalanceOf.tree +0 -5
  170. package/test/trees/JBTokens/totalSupplyOf.tree +0 -5
  171. package/test/trees/JBTokens/transferCreditsFrom.tree +0 -8
  172. package/test/trees/mintTokensOf.tree +0 -12
  173. package/test/units/static/JBChainlinkV3PriceFeed/TestPriceFeed.sol +0 -223
  174. package/test/units/static/JBController/JBControllerSetup.sol +0 -50
  175. package/test/units/static/JBController/TestBurnTokensOf.sol +0 -114
  176. package/test/units/static/JBController/TestClaimTokensFor.sol +0 -63
  177. package/test/units/static/JBController/TestDeployErc20For.sol +0 -86
  178. package/test/units/static/JBController/TestLaunchProjectFor.sol +0 -302
  179. package/test/units/static/JBController/TestLaunchRulesetsFor.sol +0 -342
  180. package/test/units/static/JBController/TestMigrateController.sol +0 -157
  181. package/test/units/static/JBController/TestMintTokensOfUnits.sol +0 -111
  182. package/test/units/static/JBController/TestOmnichainRulesetOperator.sol +0 -324
  183. package/test/units/static/JBController/TestPayReservedTokenToTerminal.sol +0 -74
  184. package/test/units/static/JBController/TestPreviewMintOf.sol +0 -117
  185. package/test/units/static/JBController/TestReceiveMigrationFrom.sol +0 -99
  186. package/test/units/static/JBController/TestRulesetViews.sol +0 -225
  187. package/test/units/static/JBController/TestSendReservedTokensToSplitsOf.sol +0 -615
  188. package/test/units/static/JBController/TestSetSplitGroupsOf.sol +0 -68
  189. package/test/units/static/JBController/TestSetTokenFor.sol +0 -239
  190. package/test/units/static/JBController/TestSetUriOf.sol +0 -57
  191. package/test/units/static/JBController/TestTransferCreditsFrom.sol +0 -169
  192. package/test/units/static/JBDeadline/TestDeadlineFuzz.sol +0 -211
  193. package/test/units/static/JBDirectory/JBDirectorySetup.sol +0 -26
  194. package/test/units/static/JBDirectory/TestPrimaryTerminalOf.sol +0 -126
  195. package/test/units/static/JBDirectory/TestSetControllerOf.sol +0 -183
  196. package/test/units/static/JBDirectory/TestSetControllerOfMigrationOrder.sol +0 -104
  197. package/test/units/static/JBDirectory/TestSetPrimaryTerminalOf.sol +0 -179
  198. package/test/units/static/JBDirectory/TestSetTerminalsOf.sol +0 -137
  199. package/test/units/static/JBERC20/JBERC20Setup.sol +0 -34
  200. package/test/units/static/JBERC20/SigUtils.sol +0 -36
  201. package/test/units/static/JBERC20/TestInitialize.sol +0 -60
  202. package/test/units/static/JBERC20/TestName.sol +0 -30
  203. package/test/units/static/JBERC20/TestNonces.sol +0 -62
  204. package/test/units/static/JBERC20/TestSymbol.sol +0 -31
  205. package/test/units/static/JBFeelessAdresses/JBFeelessSetup.sol +0 -22
  206. package/test/units/static/JBFeelessAdresses/TestInterfaces.sol +0 -30
  207. package/test/units/static/JBFeelessAdresses/TestSetFeelessAddress.sol +0 -35
  208. package/test/units/static/JBFees/TestFeesFuzz.sol +0 -79
  209. package/test/units/static/JBFixedPointNumber/TestAdjustDecimals.sol +0 -16
  210. package/test/units/static/JBFixedPointNumber/TestAdjustDecimalsFuzz.sol +0 -71
  211. package/test/units/static/JBFundAccessLimits/JBFundAccessSetup.sol +0 -24
  212. package/test/units/static/JBFundAccessLimits/TestFundAccessLimitsEdge.sol +0 -163
  213. package/test/units/static/JBFundAccessLimits/TestPayoutLimitOf.sol +0 -59
  214. package/test/units/static/JBFundAccessLimits/TestPayoutLimitsOf.sol +0 -101
  215. package/test/units/static/JBFundAccessLimits/TestSetFundAccessLimitsFor.sol +0 -189
  216. package/test/units/static/JBFundAccessLimits/TestSurplusAllowanceOf.sol +0 -64
  217. package/test/units/static/JBFundAccessLimits/TestSurplusAllowancesOf.sol +0 -102
  218. package/test/units/static/JBMetadataResolver/TestGetDataFor.sol +0 -90
  219. package/test/units/static/JBMetadataResolver/TestMetadataResolverEdgeCases.sol +0 -247
  220. package/test/units/static/JBMetadataResolver/TestMetadataResolverFuzz.sol +0 -229
  221. package/test/units/static/JBMultiTerminal/JBMultiTerminalSetup.sol +0 -50
  222. package/test/units/static/JBMultiTerminal/TestAccountingContextsOf.sol +0 -72
  223. package/test/units/static/JBMultiTerminal/TestAddAccountingContextsFor.sol +0 -289
  224. package/test/units/static/JBMultiTerminal/TestAddToBalanceOf.sol +0 -474
  225. package/test/units/static/JBMultiTerminal/TestCashOutTokensOf.sol +0 -624
  226. package/test/units/static/JBMultiTerminal/TestExecutePayout.sol +0 -578
  227. package/test/units/static/JBMultiTerminal/TestExecuteProcessFee.sol +0 -202
  228. package/test/units/static/JBMultiTerminal/TestMigrateBalanceOf.sol +0 -222
  229. package/test/units/static/JBMultiTerminal/TestPay.sol +0 -604
  230. package/test/units/static/JBMultiTerminal/TestPreviewCashOutFrom.sol +0 -117
  231. package/test/units/static/JBMultiTerminal/TestPreviewPayFor.sol +0 -114
  232. package/test/units/static/JBMultiTerminal/TestProcessHeldFeesOf.sol +0 -228
  233. package/test/units/static/JBMultiTerminal/TestSelfPayRevert.sol +0 -55
  234. package/test/units/static/JBMultiTerminal/TestSendPayoutsOf.sol +0 -257
  235. package/test/units/static/JBMultiTerminal/TestUseAllowanceOf.sol +0 -611
  236. package/test/units/static/JBPermissions/JBPermissionsSetup.sol +0 -20
  237. package/test/units/static/JBPermissions/TestHasPermission.sol +0 -50
  238. package/test/units/static/JBPermissions/TestHasPermissions.sol +0 -93
  239. package/test/units/static/JBPermissions/TestSetPermissionsFor.sol +0 -64
  240. package/test/units/static/JBPrices/JBPricesSetup.sol +0 -32
  241. package/test/units/static/JBPrices/TestAddPriceFeedFor.sol +0 -107
  242. package/test/units/static/JBPrices/TestPricePerUnitOf.sol +0 -132
  243. package/test/units/static/JBPrices/TestPrices.sol +0 -265
  244. package/test/units/static/JBProjects/JBProjectsSetup.sol +0 -22
  245. package/test/units/static/JBProjects/TestCreateFor.sol +0 -71
  246. package/test/units/static/JBProjects/TestInitialProject.sol +0 -21
  247. package/test/units/static/JBProjects/TestInterfaces.sol +0 -26
  248. package/test/units/static/JBProjects/TestSetResolver.sol +0 -37
  249. package/test/units/static/JBProjects/TestTokenUri.sol +0 -40
  250. package/test/units/static/JBRulesetMetadataResolver/TestSetCashOutTaxRateTo.sol +0 -108
  251. package/test/units/static/JBRulesets/JBRulesetsSetup.sol +0 -24
  252. package/test/units/static/JBRulesets/TestCurrentApprovalStatusForLatestRulesetOf.sol +0 -265
  253. package/test/units/static/JBRulesets/TestCurrentOf.sol +0 -242
  254. package/test/units/static/JBRulesets/TestGetRulesetOf.sol +0 -100
  255. package/test/units/static/JBRulesets/TestLatestQueuedRulesetOf.sol +0 -260
  256. package/test/units/static/JBRulesets/TestRulesets.sol +0 -632
  257. package/test/units/static/JBRulesets/TestRulesetsOf.sol +0 -37
  258. package/test/units/static/JBRulesets/TestUpcomingRulesetOf.sol +0 -522
  259. package/test/units/static/JBRulesets/TestUpdateRulesetWeightCache.sol +0 -96
  260. package/test/units/static/JBSplits/JBSplitsSetup.sol +0 -26
  261. package/test/units/static/JBSplits/TestSelfManagedSplitGroups.sol +0 -552
  262. package/test/units/static/JBSplits/TestSetSplitGroupsOf.sol +0 -377
  263. package/test/units/static/JBSplits/TestSplitsLockedEdge.sol +0 -267
  264. package/test/units/static/JBSplits/TestSplitsOf.sol +0 -24
  265. package/test/units/static/JBSplits/TestSplitsPacking.sol +0 -36
  266. package/test/units/static/JBSurplus/TestSurplusFuzz.sol +0 -160
  267. package/test/units/static/JBTerminalStore/JBTerminalStoreSetup.sol +0 -45
  268. package/test/units/static/JBTerminalStore/TestCurrentReclaimableSurplusOf.sol +0 -536
  269. package/test/units/static/JBTerminalStore/TestCurrentSurplusOf.sol +0 -463
  270. package/test/units/static/JBTerminalStore/TestCurrentTotalSurplusOf.sol +0 -135
  271. package/test/units/static/JBTerminalStore/TestPreviewCashOutFrom.sol +0 -476
  272. package/test/units/static/JBTerminalStore/TestPreviewPayFrom.sol +0 -494
  273. package/test/units/static/JBTerminalStore/TestRecordCashOutsFor.sol +0 -652
  274. package/test/units/static/JBTerminalStore/TestRecordPaymentFrom.sol +0 -744
  275. package/test/units/static/JBTerminalStore/TestRecordPayoutFor.sol +0 -289
  276. package/test/units/static/JBTerminalStore/TestRecordTerminalMigration.sol +0 -138
  277. package/test/units/static/JBTerminalStore/TestRecordUsedAllowanceOf.sol +0 -415
  278. package/test/units/static/JBTerminalStore/TestUint224Overflow.sol +0 -219
  279. package/test/units/static/JBTokens/JBTokensSetup.sol +0 -32
  280. package/test/units/static/JBTokens/TestBurnFrom.sol +0 -107
  281. package/test/units/static/JBTokens/TestClaimTokensFor.sol +0 -110
  282. package/test/units/static/JBTokens/TestDeployERC20ForUnits.sol +0 -92
  283. package/test/units/static/JBTokens/TestMintFor.sol +0 -100
  284. package/test/units/static/JBTokens/TestSetTokenFor.sol +0 -98
  285. package/test/units/static/JBTokens/TestTotalBalanceOf.sol +0 -65
  286. package/test/units/static/JBTokens/TestTotalSupplyOf.sol +0 -56
  287. 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
- }