@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
package/USER_JOURNEYS.md DELETED
@@ -1,215 +0,0 @@
1
- # User Journeys
2
-
3
- ## Repo Purpose
4
-
5
- This repo is the main runtime surface for Juicebox V6. It owns project identity, rulesets, terminal execution, treasury accounting, permissions, price feeds, and migration paths. Most other V6 repos build on this behavior instead of replacing it.
6
-
7
- ## Primary Actors
8
-
9
- - founders launching and updating Juicebox projects
10
- - supporters paying projects in assets that a terminal accepts
11
- - token holders cashing out against project surplus
12
- - operators managing permissions, splits, fund access limits, and rulesets
13
- - integrators wiring hooks, terminals, price feeds, and migrations into core
14
-
15
- ## Key Surfaces
16
-
17
- - `JBController`: project launch, ruleset queueing, token setup, splits, and controller migration
18
- - `JBMultiTerminal`: pay, payout, allowance, preview, and cash-out entrypoints
19
- - `JBTerminalStore`: balance, surplus, fee, and reclaim accounting
20
- - `JBDirectory`: controller and terminal routing
21
- - `JBPermissions`: packed operator-permission registry
22
- - `JBProjects`, `JBRulesets`, `JBPrices`, `JBFundAccessLimits`, `JBSplits`, `JBTokens`: core state and helper surfaces
23
-
24
- ## Journey 1: Launch A Project With The Right Initial Setup
25
-
26
- **Actor:** founder, deployer, or protocol integrator.
27
-
28
- **Intent:** create a project with the right owner, terminal, ruleset, and hook assumptions from the start.
29
-
30
- **Preconditions**
31
- - the team knows who should own the project, which terminals it should use, and what the first ruleset should allow
32
-
33
- **Main Flow**
34
- 1. Call `JBController.launchProjectFor(...)` with the owner, URI, ruleset config, terminal configs, and any split or hook metadata.
35
- 2. `JBProjects` mints the project NFT, `JBDirectory` records controller and terminal routing, and `JBRulesets` stores the first ruleset.
36
- 3. If the project wants ERC-20 tokens, reserved-rate behavior, or hook-driven behavior, that configuration is set at launch.
37
- 4. The project can now accept payments and queue future rulesets without changing project identity.
38
-
39
- **Failure Modes**
40
- - accounting contexts do not match the intended terminal asset
41
- - hook metadata or split assumptions are invalid at launch
42
- - ownership or permission assumptions are wrong and expensive to fix later
43
-
44
- **Postconditions**
45
- - the project NFT exists, the first ruleset is active, accepted terminals are installed, and hooks or splits can start immediately
46
-
47
- ## Journey 2: Accept A Payment And Issue The Right Token Exposure
48
-
49
- **Actor:** payer or integration paying for a user.
50
-
51
- **Intent:** settle a payment through the canonical terminal path and issue the correct token exposure.
52
-
53
- **Preconditions**
54
- - the project has an active ruleset and a terminal that accepts the payer's asset
55
-
56
- **Main Flow**
57
- 1. A payer calls `pay(...)` on `JBMultiTerminal`.
58
- 2. The terminal validates the accounting context, records funds, and asks `JBTerminalStore` to derive issuance from the active ruleset.
59
- 3. `JBController` and `JBTokens` decide whether the beneficiary gets project credits, ERC-20s, or no issuance because weight is zero.
60
- 4. Any configured pay hooks or data hooks run around the accounting path.
61
-
62
- **Failure Modes**
63
- - payments are paused or the token is unsupported for the target accounting context
64
- - fee-on-transfer behavior or price-feed assumptions break the intended issuance path
65
- - hooks add side effects that the payer or integrator did not account for
66
-
67
- **Postconditions**
68
- - treasury balances increase, hooks run in the right order, and the beneficiary receives credits or ERC-20 tokens that match the ruleset
69
-
70
- ## Journey 3: Turn Credits Into ERC-20 Tokens
71
-
72
- **Actor:** holder or operator acting for a holder.
73
-
74
- **Intent:** convert non-transferable project credits into ERC-20 balances once the project exposes a token.
75
-
76
- **Preconditions**
77
- - users already have project token credits
78
- - the project now wants an ERC-20 representation
79
-
80
- **Main Flow**
81
- 1. Deploy or set the project's ERC-20 token through `JBController`.
82
- 2. Holders or operators call `claimTokensFor(...)` to convert credits into ERC-20 balances for a beneficiary.
83
- 3. Future issuance can continue under the same project identity while users now interact with a standard token surface.
84
-
85
- **Failure Modes**
86
- - the wrong token is installed for the project
87
- - integrations assume credits automatically become ERC-20 balances after token installation
88
-
89
- **Postconditions**
90
- - the project has an ERC-20 token and holders can claim credits into transferable balances
91
-
92
- ## Journey 4: Distribute Treasury Funds Through Governed Paths
93
-
94
- **Actor:** owner or authorized operator.
95
-
96
- **Intent:** move value out of the treasury through configured payout or allowance paths.
97
-
98
- **Preconditions**
99
- - the project has terminal balances
100
- - the caller is allowed to use payout or allowance paths
101
-
102
- **Main Flow**
103
- 1. An authorized caller uses payout or allowance entrypoints on the terminal.
104
- 2. `JBFundAccessLimits` bounds how much may leave for the current ruleset cycle.
105
- 3. `JBSplits` routes value to beneficiaries, projects, hooks, or fee recipients as configured.
106
- 4. `JBTerminalStore` updates balances and fee accounting so later previews and cash outs stay consistent.
107
-
108
- **Failure Modes**
109
- - splits or access limits no longer match operator expectations
110
- - downstream hook execution fails during payout fanout
111
- - operators assume allowance withdrawals behave exactly like payouts when fee treatment differs
112
-
113
- **Postconditions**
114
- - value leaves the treasury only through configured limits, recipients, and fee logic
115
-
116
- ## Journey 5: Let Holders Cash Out Against Surplus
117
-
118
- **Actor:** holder or integrator acting for a holder.
119
-
120
- **Intent:** exit project-token exposure against available terminal surplus.
121
-
122
- **Preconditions**
123
- - a holder owns project token exposure
124
- - the project has reclaimable surplus in some terminal
125
-
126
- **Main Flow**
127
- 1. The holder calls `cashOutTokensOf(...)` on the relevant terminal.
128
- 2. `JBTerminalStore` calculates reclaim value using surplus, total supply, cash-out tax rate, and any pending reserved-token effects.
129
- 3. Cash-out hooks can change behavior or side effects, but core accounting still comes from the terminal store.
130
- 4. Tokens burn and value exits the treasury through the terminal that held the asset.
131
-
132
- **Failure Modes**
133
- - fee-free or custom hook paths produce different outcomes than the holder expected
134
- - preview and execution drift under changing routing or multi-terminal liquidity
135
- - users treat multi-terminal surplus like one simple pool when it is not
136
-
137
- **Postconditions**
138
- - the holder burns the intended token exposure and receives the reclaim amount allowed by the current ruleset
139
-
140
- ## Journey 6: Queue New Rulesets Without Migrating The Project
141
-
142
- **Actor:** owner or authorized operator.
143
-
144
- **Intent:** change future project economics without changing identity or existing balances.
145
-
146
- **Preconditions**
147
- - the project is live and future economics need to change
148
-
149
- **Main Flow**
150
- 1. The owner or an allowed operator queues one or more new rulesets through `JBController`.
151
- 2. `JBRulesets` stores the future configuration and any approval-hook requirements.
152
- 3. When the active duration ends, the next approved ruleset becomes live and later pays, payouts, and cash outs follow the new terms.
153
- 4. Existing balances and token history stay intact because only future behavior changed.
154
-
155
- **Failure Modes**
156
- - approval-hook requirements are forgotten or misunderstood
157
- - queued metadata is incompatible with installed hooks
158
- - teams assume a ruleset change can fix past accounting
159
-
160
- **Postconditions**
161
- - the next ruleset activates on schedule while the project keeps the same identity, treasury, and integrations
162
-
163
- ## Journey 7: Migrate To New Terminal Or Controller Surfaces
164
-
165
- **Actor:** owner or migration operator.
166
-
167
- **Intent:** move a live project to new terminal or controller surfaces without corrupting balances, permissions, or routing history.
168
-
169
- **Preconditions**
170
- - the project needs to move to a new terminal or controller path
171
- - the destination surface is understood and intended
172
-
173
- **Main Flow**
174
- 1. Confirm the active ruleset allows migration and the destination is the intended successor.
175
- 2. Use `JBController.migrate(...)` and the terminal-store migration paths instead of manually repointing addresses.
176
- 3. Recheck directory routing and accepted accounting contexts after migration.
177
-
178
- **Failure Modes**
179
- - migration targets are wrong or only partly configured
180
- - operators manually repoint routing without using protocol migration paths
181
-
182
- **Postconditions**
183
- - balances, permissions, and future routing stay coherent after migration
184
-
185
- ## Journey 8: Hand Off Authority Without Handing Out Root Access
186
-
187
- **Actor:** project owner.
188
-
189
- **Intent:** delegate narrow project operations instead of blanket control.
190
-
191
- **Preconditions**
192
- - the owner wants operators, delegates, or automation to manage only specific surfaces
193
-
194
- **Main Flow**
195
- 1. The owner configures operator permissions in `JBPermissions`.
196
- 2. Downstream calls check those packed permission bits instead of assuming project ownership.
197
- 3. Ownable wrappers, hook deployers, and router registries can respect project-scoped delegation without custom ACL logic.
198
-
199
- **Failure Modes**
200
- - operators receive broader permissions than they need
201
- - auditors assume downstream access still depends only on project ownership
202
-
203
- **Postconditions**
204
- - permissions are narrow, auditable, and scoped to the actions the operator actually needs
205
-
206
- ## Trust Boundaries
207
-
208
- - `JBTerminalStore` is the accounting source of truth for balances, surplus, fees, and reclaim behavior
209
- - hooks, approval hooks, pay hooks, and cash-out hooks are trusted extension surfaces
210
- - price feeds and directory routing are critical shared-context surfaces
211
-
212
- ## Hand-Offs
213
-
214
- - Use [nana-permission-ids-v6](../nana-permission-ids-v6/USER_JOURNEYS.md) for the shared permission vocabulary used by downstream repos.
215
- - Use [nana-721-hook-v6](../nana-721-hook-v6/USER_JOURNEYS.md), [nana-router-terminal-v6](../nana-router-terminal-v6/USER_JOURNEYS.md), and [nana-buyback-hook-v6](../nana-buyback-hook-v6/USER_JOURNEYS.md) for opinionated layers built on the core terminal and ruleset surfaces.
@@ -1,124 +0,0 @@
1
- // SPDX-License-Identifier: MIT
2
- pragma solidity 0.8.28;
3
-
4
- import {Sphinx} from "@sphinx-labs/contracts/contracts/foundry/SphinxPlugin.sol";
5
- import {Script} from "forge-std/Script.sol";
6
-
7
- import {IPermit2} from "@uniswap/permit2/src/interfaces/IPermit2.sol";
8
- import {JBPermissions} from "src/JBPermissions.sol";
9
- import {JBProjects} from "src/JBProjects.sol";
10
- import {JBPrices} from "src/JBPrices.sol";
11
- import {JBRulesets} from "src/JBRulesets.sol";
12
- import {JBDirectory} from "src/JBDirectory.sol";
13
- import {JBERC20} from "src/JBERC20.sol";
14
- import {JBTokens} from "src/JBTokens.sol";
15
- import {JBSplits} from "src/JBSplits.sol";
16
- import {JBFeelessAddresses} from "src/JBFeelessAddresses.sol";
17
- import {JBFundAccessLimits} from "src/JBFundAccessLimits.sol";
18
- import {JBTerminalStore} from "src/JBTerminalStore.sol";
19
- import {JBMultiTerminal} from "src/JBMultiTerminal.sol";
20
-
21
- import {ERC2771Forwarder} from "@openzeppelin/contracts/metatx/ERC2771Forwarder.sol";
22
-
23
- contract Deploy is Script, Sphinx {
24
- /// @notice The universal PERMIT2 address.
25
- IPermit2 private constant _PERMIT2 = IPermit2(0x000000000022D473030F116dDEE9F6B43aC78BA3);
26
-
27
- /// @notice The address that is allowed to forward calls to the terminal and controller on a users behalf.
28
- string private constant TRUSTED_FORWARDER_NAME = "Juicebox";
29
- // forge-lint: disable-next-line(mixed-case-variable)
30
- address private TRUSTED_FORWARDER;
31
-
32
- /// @notice The address that will manage the few privileged functions of the protocol.
33
- // forge-lint: disable-next-line(mixed-case-variable)
34
- address private MANAGER;
35
-
36
- /// @notice The address that will own the fee-project.
37
- /// @dev Core deployment transfers project `#1` to this owner, but does not fully activate fee collection on its
38
- /// own. Production fee collection only starts once the fee project's controller, terminals, and accounting
39
- /// contexts are configured by follow-up deployment steps.
40
- // forge-lint: disable-next-line(mixed-case-variable)
41
- address private FEE_PROJECT_OWNER;
42
-
43
- /// @notice The nonce that gets used across all chains to sync deployment addresses and allow for new deployments of
44
- /// the same bytecode.
45
- // forge-lint: disable-next-line(mixed-case-variable)
46
- uint256 private CORE_DEPLOYMENT_NONCE = 6;
47
-
48
- function configureSphinx() public override {
49
- sphinxConfig.projectName = "nana-core-v6";
50
- sphinxConfig.mainnets = ["ethereum", "optimism", "base", "arbitrum"];
51
- sphinxConfig.testnets = ["ethereum_sepolia", "optimism_sepolia", "base_sepolia", "arbitrum_sepolia"];
52
- }
53
-
54
- /// @notice Deploys the protocol.
55
- function run() public sphinx {
56
- // Set the manager, this can be changed and won't affect deployment addresses.
57
- MANAGER = safeAddress();
58
- // Set the owner of the fee project to be the project multisig. This does not by itself make fee collection
59
- // live; project `#1` still needs its follow-up controller/terminal/accounting-context configuration.
60
- FEE_PROJECT_OWNER = safeAddress();
61
-
62
- // Deploy the protocol.
63
- deploy();
64
- }
65
-
66
- function deploy() public sphinx {
67
- TRUSTED_FORWARDER =
68
- address(new ERC2771Forwarder{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}(TRUSTED_FORWARDER_NAME));
69
-
70
- JBPermissions permissions =
71
- new JBPermissions{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}(TRUSTED_FORWARDER);
72
- JBProjects projects = new JBProjects{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}({
73
- owner: safeAddress(), feeProjectOwner: safeAddress(), trustedForwarder: TRUSTED_FORWARDER
74
- });
75
- JBDirectory directory = new JBDirectory{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}({
76
- permissions: permissions, projects: projects, owner: safeAddress()
77
- });
78
- JBSplits splits = new JBSplits{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}(directory);
79
- JBRulesets rulesets = new JBRulesets{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}(directory);
80
- JBPrices prices = new JBPrices{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}({
81
- directory: directory,
82
- permissions: permissions,
83
- projects: projects,
84
- owner: safeAddress(),
85
- trustedForwarder: TRUSTED_FORWARDER
86
- });
87
- JBTokens tokens = new JBTokens{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}({
88
- directory: directory,
89
- token: new JBERC20{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}(permissions, projects)
90
- });
91
-
92
- new JBFundAccessLimits{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}(directory);
93
-
94
- JBFeelessAddresses feeless =
95
- new JBFeelessAddresses{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}(safeAddress());
96
-
97
- new JBMultiTerminal{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}({
98
- permissions: permissions,
99
- projects: projects,
100
- splits: splits,
101
- store: new JBTerminalStore{salt: keccak256(abi.encode(CORE_DEPLOYMENT_NONCE))}({
102
- directory: directory, rulesets: rulesets, prices: prices
103
- }),
104
- tokens: tokens,
105
- feelessAddresses: feeless,
106
- permit2: _PERMIT2,
107
- trustedForwarder: TRUSTED_FORWARDER
108
- });
109
-
110
- // If the manager is not the deployer we transfer all ownership to it.
111
- if (MANAGER != safeAddress() && MANAGER != address(0)) {
112
- directory.transferOwnership(MANAGER);
113
- feeless.transferOwnership(MANAGER);
114
- prices.transferOwnership(MANAGER);
115
- projects.transferOwnership(MANAGER);
116
- }
117
-
118
- // Transfer ownership to the fee project owner. Follow-up deployment steps must still finish configuring
119
- // project `#1` before protocol fees are collected instead of being forgiven back to payer projects.
120
- if (FEE_PROJECT_OWNER != safeAddress() && FEE_PROJECT_OWNER != address(0)) {
121
- projects.safeTransferFrom({from: safeAddress(), to: FEE_PROJECT_OWNER, tokenId: 1});
122
- }
123
- }
124
- }