@bananapus/core-v6 0.0.36 → 0.0.38

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (286) hide show
  1. package/foundry.lock +1 -7
  2. package/foundry.toml +1 -1
  3. package/package.json +19 -7
  4. package/src/JBController.sol +26 -5
  5. package/src/JBMultiTerminal.sol +85 -47
  6. package/src/JBTerminalStore.sol +6 -6
  7. package/src/interfaces/IJBController.sol +4 -1
  8. package/src/libraries/JBFees.sol +47 -9
  9. package/src/libraries/JBPayoutSplitGroupLib.sol +2 -2
  10. package/src/periphery/JBMatchingPriceFeed.sol +1 -1
  11. package/test/mock/MockMaliciousBeneficiary.sol +15 -15
  12. package/ADMINISTRATION.md +0 -103
  13. package/ARCHITECTURE.md +0 -133
  14. package/AUDIT_INSTRUCTIONS.md +0 -139
  15. package/RISKS.md +0 -215
  16. package/SKILLS.md +0 -55
  17. package/STYLE_GUIDE.md +0 -610
  18. package/USER_JOURNEYS.md +0 -215
  19. package/script/Deploy.s.sol +0 -124
  20. package/script/DeployPeriphery.s.sol +0 -354
  21. package/slither-ci.config.json +0 -10
  22. package/test/AuditFixes.t.sol +0 -808
  23. package/test/ComprehensiveInvariant.t.sol +0 -306
  24. package/test/CoreExploitTests.t.sol +0 -2741
  25. package/test/EconomicSimulation.t.sol +0 -348
  26. package/test/EntryPointPermutations.t.sol +0 -684
  27. package/test/FlashLoanAttacks.t.sol +0 -797
  28. package/test/PermissionEscalation.t.sol +0 -711
  29. package/test/PermissionsInvariant.t.sol +0 -403
  30. package/test/RulesetTransitions.t.sol +0 -713
  31. package/test/SplitLoopTests.t.sol +0 -752
  32. package/test/TestAccessToFunds.sol +0 -2683
  33. package/test/TestAuditResponseDesignProofs.sol +0 -434
  34. package/test/TestCashOut.sol +0 -198
  35. package/test/TestCashOutCountFor.sol +0 -271
  36. package/test/TestCashOutHooks.sol +0 -351
  37. package/test/TestCashOutTimingEdge.sol +0 -241
  38. package/test/TestDataHookFuzzing.sol +0 -524
  39. package/test/TestDurationUnderflow.sol +0 -233
  40. package/test/TestFeeFreeCashOutBypass.sol +0 -949
  41. package/test/TestFeeProcessingFailure.sol +0 -218
  42. package/test/TestFees.sol +0 -619
  43. package/test/TestForwardedTokenConsumption.sol +0 -425
  44. package/test/TestInterfaceSupport.sol +0 -81
  45. package/test/TestJBERC20Inheritance.sol +0 -103
  46. package/test/TestL2SequencerPriceFeed.sol +0 -292
  47. package/test/TestLaunchProject.sol +0 -188
  48. package/test/TestMetaTx.sol +0 -217
  49. package/test/TestMetadataOffsetOverflow.sol +0 -179
  50. package/test/TestMetadataParserLib.sol +0 -471
  51. package/test/TestMigrationHeldFees.sol +0 -255
  52. package/test/TestMintTokensOf.sol +0 -185
  53. package/test/TestMultiTerminalSurplus.sol +0 -348
  54. package/test/TestMultiTokenSurplus.sol +0 -202
  55. package/test/TestMultipleAccessLimits.sol +0 -664
  56. package/test/TestPayBurnRedeemFlow.sol +0 -195
  57. package/test/TestPayHooks.sol +0 -209
  58. package/test/TestPermissions.sol +0 -324
  59. package/test/TestPermissionsEdge.sol +0 -290
  60. package/test/TestPermit2DataHook.t.sol +0 -360
  61. package/test/TestPermit2Terminal.sol +0 -372
  62. package/test/TestRulesetQueueing.sol +0 -1025
  63. package/test/TestRulesetQueuingStress.sol +0 -806
  64. package/test/TestRulesetWeightCaching.sol +0 -178
  65. package/test/TestSplits.sol +0 -391
  66. package/test/TestTerminalMigration.sol +0 -274
  67. package/test/TestTerminalPreviewParity.sol +0 -208
  68. package/test/TestTokenFlow.sol +0 -191
  69. package/test/TestWeightCacheStaleAfterRejection.sol +0 -303
  70. package/test/WeirdTokenTests.t.sol +0 -817
  71. package/test/audit/CashOutReenterPay.t.sol +0 -501
  72. package/test/audit/CodexHeldFeeRounding.t.sol +0 -159
  73. package/test/audit/CrossTerminalSurplusSpoof.t.sol +0 -140
  74. package/test/audit/CycledSurplusAllowanceReset.t.sol +0 -184
  75. package/test/audit/FeeFreeSurplusLifecycle.t.sol +0 -399
  76. package/test/audit/FeeFreeSurplusStale.t.sol +0 -248
  77. package/test/audit/USDTVoidReturnCompat.t.sol +0 -525
  78. package/test/fork/TestChainlinkPriceFeedFork.sol +0 -254
  79. package/test/fork/TestSequencerPriceFeedFork.sol +0 -168
  80. package/test/fork/TestTerminalPreviewParityFork.sol +0 -108
  81. package/test/formal/BondingCurveProperties.t.sol +0 -420
  82. package/test/formal/FeeProperties.t.sol +0 -252
  83. package/test/invariants/Phase3DeepInvariant.t.sol +0 -412
  84. package/test/invariants/RulesetsInvariant.t.sol +0 -125
  85. package/test/invariants/TerminalStoreInvariant.t.sol +0 -227
  86. package/test/invariants/TokensInvariant.t.sol +0 -195
  87. package/test/invariants/handlers/ComprehensiveHandler.sol +0 -303
  88. package/test/invariants/handlers/EconomicHandler.sol +0 -377
  89. package/test/invariants/handlers/Phase3Handler.sol +0 -443
  90. package/test/invariants/handlers/RulesetsHandler.sol +0 -115
  91. package/test/invariants/handlers/TerminalStoreHandler.sol +0 -151
  92. package/test/invariants/handlers/TokensHandler.sol +0 -126
  93. package/test/regression/HoldFeesCashOutReserved.t.sol +0 -415
  94. package/test/regression/WeightCacheBoundary.t.sol +0 -291
  95. package/test/trees/JBController/burnTokensOf.tree +0 -9
  96. package/test/trees/JBController/claimTokensFor.tree +0 -5
  97. package/test/trees/JBController/deployERC20For.tree +0 -5
  98. package/test/trees/JBController/getRulesetOf.tree +0 -5
  99. package/test/trees/JBController/launchProjectFor.tree +0 -12
  100. package/test/trees/JBController/launchRulesetsFor.tree +0 -8
  101. package/test/trees/JBController/migrateController.tree +0 -12
  102. package/test/trees/JBController/mintTokensOf.tree +0 -12
  103. package/test/trees/JBController/payReservedTokenToTerminal.tree +0 -8
  104. package/test/trees/JBController/receiveMigrationFrom.tree +0 -4
  105. package/test/trees/JBController/sendReservedTokensToSplitsOf.tree +0 -12
  106. package/test/trees/JBController/setMetadataOf.tree +0 -5
  107. package/test/trees/JBController/setSplitGroupsOf.tree +0 -5
  108. package/test/trees/JBController/setTokenFor.tree +0 -5
  109. package/test/trees/JBController/transferCreditsFrom.tree +0 -8
  110. package/test/trees/JBDirectory/primaryTerminalOf.tree +0 -8
  111. package/test/trees/JBDirectory/setControllerOf.tree +0 -11
  112. package/test/trees/JBDirectory/setPrimaryTerminalOf.tree +0 -15
  113. package/test/trees/JBDirectory/setTerminalsOf.tree +0 -11
  114. package/test/trees/JBERC20/initialize.tree +0 -7
  115. package/test/trees/JBERC20/name.tree +0 -5
  116. package/test/trees/JBERC20/nonces.tree +0 -5
  117. package/test/trees/JBERC20/symbol.tree +0 -5
  118. package/test/trees/JBFeelessAddresses/setFeelessAddress.tree +0 -5
  119. package/test/trees/JBFeelessAddresses/supportsInterface.tree +0 -5
  120. package/test/trees/JBFundAccessLimits/payoutLimitOf.tree +0 -5
  121. package/test/trees/JBFundAccessLimits/payoutLimitsOf.tree +0 -8
  122. package/test/trees/JBFundAccessLimits/setFundAccessLimitsFor.tree +0 -18
  123. package/test/trees/JBFundAccessLimits/surplusAllowanceOf.tree +0 -5
  124. package/test/trees/JBFundAccessLimits/surplusAllowancesOf.tree +0 -8
  125. package/test/trees/JBMetadataResolver/getDataFor.tree +0 -8
  126. package/test/trees/JBMultiTerminal/accountingContextsOf.tree +0 -5
  127. package/test/trees/JBMultiTerminal/addAccountingContextsFor.tree +0 -10
  128. package/test/trees/JBMultiTerminal/addToBalanceOf.tree +0 -23
  129. package/test/trees/JBMultiTerminal/cashOutTokensOf.tree +0 -23
  130. package/test/trees/JBMultiTerminal/executePayout.tree +0 -32
  131. package/test/trees/JBMultiTerminal/executeProcessFee.tree +0 -14
  132. package/test/trees/JBMultiTerminal/migrateBalanceOf.tree +0 -12
  133. package/test/trees/JBMultiTerminal/pay.tree +0 -23
  134. package/test/trees/JBMultiTerminal/processHeldFeesOf.tree +0 -8
  135. package/test/trees/JBMultiTerminal/sendPayoutsOf.tree +0 -34
  136. package/test/trees/JBMultiTerminal/useAllowanceOf.tree +0 -16
  137. package/test/trees/JBPermissions/hasPermission.tree +0 -8
  138. package/test/trees/JBPermissions/hasPermissions.tree +0 -8
  139. package/test/trees/JBPermissions/setPermissionsFor.tree +0 -5
  140. package/test/trees/JBPrices/addPriceFeedFor.tree +0 -14
  141. package/test/trees/JBPrices/pricePerUnitOf.tree +0 -11
  142. package/test/trees/JBProjects/createFor.tree +0 -11
  143. package/test/trees/JBProjects/setTokenUriResolver.tree +0 -5
  144. package/test/trees/JBProjects/supportsInterface.tree +0 -9
  145. package/test/trees/JBProjects/tokenURI.tree +0 -5
  146. package/test/trees/JBRulesets/currentApprovalStatusForLatestRulesetOf.tree +0 -8
  147. package/test/trees/JBRulesets/currentOf.tree +0 -12
  148. package/test/trees/JBRulesets/getRulesetOf.tree +0 -5
  149. package/test/trees/JBRulesets/latestQueuedRulesetOf.tree +0 -10
  150. package/test/trees/JBRulesets/rulesetsOf.tree +0 -11
  151. package/test/trees/JBRulesets/upcomingRulesetOf.tree +0 -20
  152. package/test/trees/JBRulesets/updateRulesetWeightCache.tree +0 -5
  153. package/test/trees/JBSplits/setSplitGroupsOf.tree +0 -17
  154. package/test/trees/JBSplits/splitsOf.tree +0 -5
  155. package/test/trees/JBTerminalStore/currentReclaimableSurplusOf.tree +0 -16
  156. package/test/trees/JBTerminalStore/currentSurplusOf.tree +0 -25
  157. package/test/trees/JBTerminalStore/currentTotalSurplusOf.tree +0 -5
  158. package/test/trees/JBTerminalStore/recordCashOutsFor.tree +0 -16
  159. package/test/trees/JBTerminalStore/recordPaymentFrom.tree +0 -14
  160. package/test/trees/JBTerminalStore/recordPayoutFor.tree +0 -10
  161. package/test/trees/JBTerminalStore/recordTerminalMigration.tree +0 -5
  162. package/test/trees/JBTerminalStore/recordUsedAllowanceOf.tree +0 -10
  163. package/test/trees/JBTokens/burnFrom.tree +0 -10
  164. package/test/trees/JBTokens/claimTokensFor.tree +0 -10
  165. package/test/trees/JBTokens/deployERC20For.tree +0 -12
  166. package/test/trees/JBTokens/mintFor.tree +0 -10
  167. package/test/trees/JBTokens/setTokenFor.tree +0 -11
  168. package/test/trees/JBTokens/totalBalanceOf.tree +0 -5
  169. package/test/trees/JBTokens/totalSupplyOf.tree +0 -5
  170. package/test/trees/JBTokens/transferCreditsFrom.tree +0 -8
  171. package/test/trees/mintTokensOf.tree +0 -12
  172. package/test/units/static/JBChainlinkV3PriceFeed/TestPriceFeed.sol +0 -223
  173. package/test/units/static/JBController/JBControllerSetup.sol +0 -50
  174. package/test/units/static/JBController/TestBurnTokensOf.sol +0 -114
  175. package/test/units/static/JBController/TestClaimTokensFor.sol +0 -63
  176. package/test/units/static/JBController/TestDeployErc20For.sol +0 -86
  177. package/test/units/static/JBController/TestLaunchProjectFor.sol +0 -302
  178. package/test/units/static/JBController/TestLaunchRulesetsFor.sol +0 -342
  179. package/test/units/static/JBController/TestMigrateController.sol +0 -157
  180. package/test/units/static/JBController/TestMintTokensOfUnits.sol +0 -111
  181. package/test/units/static/JBController/TestOmnichainRulesetOperator.sol +0 -324
  182. package/test/units/static/JBController/TestPayReservedTokenToTerminal.sol +0 -74
  183. package/test/units/static/JBController/TestPreviewMintOf.sol +0 -117
  184. package/test/units/static/JBController/TestReceiveMigrationFrom.sol +0 -99
  185. package/test/units/static/JBController/TestRulesetViews.sol +0 -225
  186. package/test/units/static/JBController/TestSendReservedTokensToSplitsOf.sol +0 -615
  187. package/test/units/static/JBController/TestSetSplitGroupsOf.sol +0 -68
  188. package/test/units/static/JBController/TestSetTokenFor.sol +0 -239
  189. package/test/units/static/JBController/TestSetUriOf.sol +0 -57
  190. package/test/units/static/JBController/TestTransferCreditsFrom.sol +0 -169
  191. package/test/units/static/JBDeadline/TestDeadlineFuzz.sol +0 -211
  192. package/test/units/static/JBDirectory/JBDirectorySetup.sol +0 -26
  193. package/test/units/static/JBDirectory/TestPrimaryTerminalOf.sol +0 -126
  194. package/test/units/static/JBDirectory/TestSetControllerOf.sol +0 -183
  195. package/test/units/static/JBDirectory/TestSetControllerOfMigrationOrder.sol +0 -104
  196. package/test/units/static/JBDirectory/TestSetPrimaryTerminalOf.sol +0 -179
  197. package/test/units/static/JBDirectory/TestSetTerminalsOf.sol +0 -137
  198. package/test/units/static/JBERC20/JBERC20Setup.sol +0 -34
  199. package/test/units/static/JBERC20/SigUtils.sol +0 -36
  200. package/test/units/static/JBERC20/TestInitialize.sol +0 -60
  201. package/test/units/static/JBERC20/TestName.sol +0 -30
  202. package/test/units/static/JBERC20/TestNonces.sol +0 -62
  203. package/test/units/static/JBERC20/TestSymbol.sol +0 -31
  204. package/test/units/static/JBFeelessAdresses/JBFeelessSetup.sol +0 -22
  205. package/test/units/static/JBFeelessAdresses/TestInterfaces.sol +0 -30
  206. package/test/units/static/JBFeelessAdresses/TestSetFeelessAddress.sol +0 -35
  207. package/test/units/static/JBFees/TestFeesFuzz.sol +0 -79
  208. package/test/units/static/JBFixedPointNumber/TestAdjustDecimals.sol +0 -16
  209. package/test/units/static/JBFixedPointNumber/TestAdjustDecimalsFuzz.sol +0 -71
  210. package/test/units/static/JBFundAccessLimits/JBFundAccessSetup.sol +0 -24
  211. package/test/units/static/JBFundAccessLimits/TestFundAccessLimitsEdge.sol +0 -163
  212. package/test/units/static/JBFundAccessLimits/TestPayoutLimitOf.sol +0 -59
  213. package/test/units/static/JBFundAccessLimits/TestPayoutLimitsOf.sol +0 -101
  214. package/test/units/static/JBFundAccessLimits/TestSetFundAccessLimitsFor.sol +0 -189
  215. package/test/units/static/JBFundAccessLimits/TestSurplusAllowanceOf.sol +0 -64
  216. package/test/units/static/JBFundAccessLimits/TestSurplusAllowancesOf.sol +0 -102
  217. package/test/units/static/JBMetadataResolver/TestGetDataFor.sol +0 -90
  218. package/test/units/static/JBMetadataResolver/TestMetadataResolverEdgeCases.sol +0 -247
  219. package/test/units/static/JBMetadataResolver/TestMetadataResolverFuzz.sol +0 -229
  220. package/test/units/static/JBMultiTerminal/JBMultiTerminalSetup.sol +0 -50
  221. package/test/units/static/JBMultiTerminal/TestAccountingContextsOf.sol +0 -72
  222. package/test/units/static/JBMultiTerminal/TestAddAccountingContextsFor.sol +0 -289
  223. package/test/units/static/JBMultiTerminal/TestAddToBalanceOf.sol +0 -474
  224. package/test/units/static/JBMultiTerminal/TestCashOutTokensOf.sol +0 -624
  225. package/test/units/static/JBMultiTerminal/TestExecutePayout.sol +0 -578
  226. package/test/units/static/JBMultiTerminal/TestExecuteProcessFee.sol +0 -202
  227. package/test/units/static/JBMultiTerminal/TestMigrateBalanceOf.sol +0 -222
  228. package/test/units/static/JBMultiTerminal/TestPay.sol +0 -604
  229. package/test/units/static/JBMultiTerminal/TestPreviewCashOutFrom.sol +0 -117
  230. package/test/units/static/JBMultiTerminal/TestPreviewPayFor.sol +0 -114
  231. package/test/units/static/JBMultiTerminal/TestProcessHeldFeesOf.sol +0 -228
  232. package/test/units/static/JBMultiTerminal/TestSelfPayRevert.sol +0 -55
  233. package/test/units/static/JBMultiTerminal/TestSendPayoutsOf.sol +0 -257
  234. package/test/units/static/JBMultiTerminal/TestUseAllowanceOf.sol +0 -611
  235. package/test/units/static/JBPermissions/JBPermissionsSetup.sol +0 -20
  236. package/test/units/static/JBPermissions/TestHasPermission.sol +0 -50
  237. package/test/units/static/JBPermissions/TestHasPermissions.sol +0 -93
  238. package/test/units/static/JBPermissions/TestSetPermissionsFor.sol +0 -64
  239. package/test/units/static/JBPrices/JBPricesSetup.sol +0 -32
  240. package/test/units/static/JBPrices/TestAddPriceFeedFor.sol +0 -107
  241. package/test/units/static/JBPrices/TestPricePerUnitOf.sol +0 -132
  242. package/test/units/static/JBPrices/TestPrices.sol +0 -265
  243. package/test/units/static/JBProjects/JBProjectsSetup.sol +0 -22
  244. package/test/units/static/JBProjects/TestCreateFor.sol +0 -71
  245. package/test/units/static/JBProjects/TestInitialProject.sol +0 -21
  246. package/test/units/static/JBProjects/TestInterfaces.sol +0 -26
  247. package/test/units/static/JBProjects/TestSetResolver.sol +0 -37
  248. package/test/units/static/JBProjects/TestTokenUri.sol +0 -40
  249. package/test/units/static/JBRulesetMetadataResolver/TestSetCashOutTaxRateTo.sol +0 -108
  250. package/test/units/static/JBRulesets/JBRulesetsSetup.sol +0 -24
  251. package/test/units/static/JBRulesets/TestCurrentApprovalStatusForLatestRulesetOf.sol +0 -265
  252. package/test/units/static/JBRulesets/TestCurrentOf.sol +0 -242
  253. package/test/units/static/JBRulesets/TestGetRulesetOf.sol +0 -100
  254. package/test/units/static/JBRulesets/TestLatestQueuedRulesetOf.sol +0 -260
  255. package/test/units/static/JBRulesets/TestRulesets.sol +0 -632
  256. package/test/units/static/JBRulesets/TestRulesetsOf.sol +0 -37
  257. package/test/units/static/JBRulesets/TestUpcomingRulesetOf.sol +0 -522
  258. package/test/units/static/JBRulesets/TestUpdateRulesetWeightCache.sol +0 -96
  259. package/test/units/static/JBSplits/JBSplitsSetup.sol +0 -26
  260. package/test/units/static/JBSplits/TestSelfManagedSplitGroups.sol +0 -552
  261. package/test/units/static/JBSplits/TestSetSplitGroupsOf.sol +0 -377
  262. package/test/units/static/JBSplits/TestSplitsLockedEdge.sol +0 -267
  263. package/test/units/static/JBSplits/TestSplitsOf.sol +0 -24
  264. package/test/units/static/JBSplits/TestSplitsPacking.sol +0 -36
  265. package/test/units/static/JBSurplus/TestSurplusFuzz.sol +0 -160
  266. package/test/units/static/JBTerminalStore/JBTerminalStoreSetup.sol +0 -45
  267. package/test/units/static/JBTerminalStore/TestCurrentReclaimableSurplusOf.sol +0 -536
  268. package/test/units/static/JBTerminalStore/TestCurrentSurplusOf.sol +0 -463
  269. package/test/units/static/JBTerminalStore/TestCurrentTotalSurplusOf.sol +0 -135
  270. package/test/units/static/JBTerminalStore/TestPreviewCashOutFrom.sol +0 -476
  271. package/test/units/static/JBTerminalStore/TestPreviewPayFrom.sol +0 -494
  272. package/test/units/static/JBTerminalStore/TestRecordCashOutsFor.sol +0 -652
  273. package/test/units/static/JBTerminalStore/TestRecordPaymentFrom.sol +0 -744
  274. package/test/units/static/JBTerminalStore/TestRecordPayoutFor.sol +0 -289
  275. package/test/units/static/JBTerminalStore/TestRecordTerminalMigration.sol +0 -138
  276. package/test/units/static/JBTerminalStore/TestRecordUsedAllowanceOf.sol +0 -415
  277. package/test/units/static/JBTerminalStore/TestUint224Overflow.sol +0 -219
  278. package/test/units/static/JBTokens/JBTokensSetup.sol +0 -32
  279. package/test/units/static/JBTokens/TestBurnFrom.sol +0 -107
  280. package/test/units/static/JBTokens/TestClaimTokensFor.sol +0 -110
  281. package/test/units/static/JBTokens/TestDeployERC20ForUnits.sol +0 -92
  282. package/test/units/static/JBTokens/TestMintFor.sol +0 -100
  283. package/test/units/static/JBTokens/TestSetTokenFor.sol +0 -98
  284. package/test/units/static/JBTokens/TestTotalBalanceOf.sol +0 -65
  285. package/test/units/static/JBTokens/TestTotalSupplyOf.sol +0 -56
  286. package/test/units/static/JBTokens/TestTransferCreditsFrom.sol +0 -56
@@ -1,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
- }