@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.
- package/foundry.lock +1 -7
- package/foundry.toml +1 -1
- package/package.json +19 -7
- package/src/JBController.sol +19 -1
- package/src/JBMultiTerminal.sol +68 -34
- package/src/JBTerminalStore.sol +6 -6
- package/src/interfaces/IJBController.sol +4 -1
- package/src/libraries/JBFees.sol +47 -9
- package/src/libraries/JBPayoutSplitGroupLib.sol +2 -2
- package/src/periphery/JBMatchingPriceFeed.sol +1 -1
- package/test/mock/MockMaliciousBeneficiary.sol +15 -15
- package/ADMINISTRATION.md +0 -103
- package/ARCHITECTURE.md +0 -133
- package/AUDIT_INSTRUCTIONS.md +0 -139
- package/RISKS.md +0 -215
- package/SKILLS.md +0 -55
- package/STYLE_GUIDE.md +0 -610
- package/USER_JOURNEYS.md +0 -215
- package/script/Deploy.s.sol +0 -124
- package/script/DeployPeriphery.s.sol +0 -354
- package/slither-ci.config.json +0 -10
- package/test/AuditFixes.t.sol +0 -808
- package/test/ComprehensiveInvariant.t.sol +0 -306
- package/test/CoreExploitTests.t.sol +0 -2741
- package/test/EconomicSimulation.t.sol +0 -348
- package/test/EntryPointPermutations.t.sol +0 -684
- package/test/FlashLoanAttacks.t.sol +0 -797
- package/test/PermissionEscalation.t.sol +0 -711
- package/test/PermissionsInvariant.t.sol +0 -403
- package/test/RulesetTransitions.t.sol +0 -713
- package/test/SplitLoopTests.t.sol +0 -752
- package/test/TestAccessToFunds.sol +0 -2683
- package/test/TestAuditResponseDesignProofs.sol +0 -434
- package/test/TestCashOut.sol +0 -198
- package/test/TestCashOutCountFor.sol +0 -271
- package/test/TestCashOutHooks.sol +0 -351
- package/test/TestCashOutTimingEdge.sol +0 -241
- package/test/TestDataHookFuzzing.sol +0 -524
- package/test/TestDurationUnderflow.sol +0 -233
- package/test/TestFeeFreeCashOutBypass.sol +0 -949
- package/test/TestFeeProcessingFailure.sol +0 -218
- package/test/TestFees.sol +0 -619
- package/test/TestForwardedTokenConsumption.sol +0 -425
- package/test/TestInterfaceSupport.sol +0 -81
- package/test/TestJBERC20Inheritance.sol +0 -103
- package/test/TestL2SequencerPriceFeed.sol +0 -292
- package/test/TestLaunchProject.sol +0 -188
- package/test/TestMetaTx.sol +0 -217
- package/test/TestMetadataOffsetOverflow.sol +0 -179
- package/test/TestMetadataParserLib.sol +0 -471
- package/test/TestMigrationHeldFees.sol +0 -255
- package/test/TestMintTokensOf.sol +0 -185
- package/test/TestMultiTerminalSurplus.sol +0 -348
- package/test/TestMultiTokenSurplus.sol +0 -202
- package/test/TestMultipleAccessLimits.sol +0 -664
- package/test/TestPayBurnRedeemFlow.sol +0 -195
- package/test/TestPayHooks.sol +0 -209
- package/test/TestPermissions.sol +0 -324
- package/test/TestPermissionsEdge.sol +0 -290
- package/test/TestPermit2DataHook.t.sol +0 -360
- package/test/TestPermit2Terminal.sol +0 -372
- package/test/TestRulesetQueueing.sol +0 -1025
- package/test/TestRulesetQueuingStress.sol +0 -806
- package/test/TestRulesetWeightCaching.sol +0 -178
- package/test/TestSplits.sol +0 -391
- package/test/TestTerminalMigration.sol +0 -274
- package/test/TestTerminalPreviewParity.sol +0 -208
- package/test/TestTokenFlow.sol +0 -191
- package/test/TestWeightCacheStaleAfterRejection.sol +0 -303
- package/test/WeirdTokenTests.t.sol +0 -817
- package/test/audit/CashOutReenterPay.t.sol +0 -501
- package/test/audit/CodexHeldFeeRounding.t.sol +0 -159
- package/test/audit/CodexMigrationFeeFailure.t.sol +0 -163
- package/test/audit/CrossTerminalSurplusSpoof.t.sol +0 -140
- package/test/audit/CycledSurplusAllowanceReset.t.sol +0 -184
- package/test/audit/FeeFreeSurplusLifecycle.t.sol +0 -399
- package/test/audit/FeeFreeSurplusStale.t.sol +0 -248
- package/test/audit/USDTVoidReturnCompat.t.sol +0 -525
- package/test/fork/TestChainlinkPriceFeedFork.sol +0 -254
- package/test/fork/TestSequencerPriceFeedFork.sol +0 -168
- package/test/fork/TestTerminalPreviewParityFork.sol +0 -108
- package/test/formal/BondingCurveProperties.t.sol +0 -420
- package/test/formal/FeeProperties.t.sol +0 -252
- package/test/invariants/Phase3DeepInvariant.t.sol +0 -412
- package/test/invariants/RulesetsInvariant.t.sol +0 -125
- package/test/invariants/TerminalStoreInvariant.t.sol +0 -227
- package/test/invariants/TokensInvariant.t.sol +0 -195
- package/test/invariants/handlers/ComprehensiveHandler.sol +0 -303
- package/test/invariants/handlers/EconomicHandler.sol +0 -377
- package/test/invariants/handlers/Phase3Handler.sol +0 -443
- package/test/invariants/handlers/RulesetsHandler.sol +0 -115
- package/test/invariants/handlers/TerminalStoreHandler.sol +0 -151
- package/test/invariants/handlers/TokensHandler.sol +0 -126
- package/test/regression/HoldFeesCashOutReserved.t.sol +0 -415
- package/test/regression/WeightCacheBoundary.t.sol +0 -291
- package/test/trees/JBController/burnTokensOf.tree +0 -9
- package/test/trees/JBController/claimTokensFor.tree +0 -5
- package/test/trees/JBController/deployERC20For.tree +0 -5
- package/test/trees/JBController/getRulesetOf.tree +0 -5
- package/test/trees/JBController/launchProjectFor.tree +0 -12
- package/test/trees/JBController/launchRulesetsFor.tree +0 -8
- package/test/trees/JBController/migrateController.tree +0 -12
- package/test/trees/JBController/mintTokensOf.tree +0 -12
- package/test/trees/JBController/payReservedTokenToTerminal.tree +0 -8
- package/test/trees/JBController/receiveMigrationFrom.tree +0 -4
- package/test/trees/JBController/sendReservedTokensToSplitsOf.tree +0 -12
- package/test/trees/JBController/setMetadataOf.tree +0 -5
- package/test/trees/JBController/setSplitGroupsOf.tree +0 -5
- package/test/trees/JBController/setTokenFor.tree +0 -5
- package/test/trees/JBController/transferCreditsFrom.tree +0 -8
- package/test/trees/JBDirectory/primaryTerminalOf.tree +0 -8
- package/test/trees/JBDirectory/setControllerOf.tree +0 -11
- package/test/trees/JBDirectory/setPrimaryTerminalOf.tree +0 -15
- package/test/trees/JBDirectory/setTerminalsOf.tree +0 -11
- package/test/trees/JBERC20/initialize.tree +0 -7
- package/test/trees/JBERC20/name.tree +0 -5
- package/test/trees/JBERC20/nonces.tree +0 -5
- package/test/trees/JBERC20/symbol.tree +0 -5
- package/test/trees/JBFeelessAddresses/setFeelessAddress.tree +0 -5
- package/test/trees/JBFeelessAddresses/supportsInterface.tree +0 -5
- package/test/trees/JBFundAccessLimits/payoutLimitOf.tree +0 -5
- package/test/trees/JBFundAccessLimits/payoutLimitsOf.tree +0 -8
- package/test/trees/JBFundAccessLimits/setFundAccessLimitsFor.tree +0 -18
- package/test/trees/JBFundAccessLimits/surplusAllowanceOf.tree +0 -5
- package/test/trees/JBFundAccessLimits/surplusAllowancesOf.tree +0 -8
- package/test/trees/JBMetadataResolver/getDataFor.tree +0 -8
- package/test/trees/JBMultiTerminal/accountingContextsOf.tree +0 -5
- package/test/trees/JBMultiTerminal/addAccountingContextsFor.tree +0 -10
- package/test/trees/JBMultiTerminal/addToBalanceOf.tree +0 -23
- package/test/trees/JBMultiTerminal/cashOutTokensOf.tree +0 -23
- package/test/trees/JBMultiTerminal/executePayout.tree +0 -32
- package/test/trees/JBMultiTerminal/executeProcessFee.tree +0 -14
- package/test/trees/JBMultiTerminal/migrateBalanceOf.tree +0 -12
- package/test/trees/JBMultiTerminal/pay.tree +0 -23
- package/test/trees/JBMultiTerminal/processHeldFeesOf.tree +0 -8
- package/test/trees/JBMultiTerminal/sendPayoutsOf.tree +0 -34
- package/test/trees/JBMultiTerminal/useAllowanceOf.tree +0 -16
- package/test/trees/JBPermissions/hasPermission.tree +0 -8
- package/test/trees/JBPermissions/hasPermissions.tree +0 -8
- package/test/trees/JBPermissions/setPermissionsFor.tree +0 -5
- package/test/trees/JBPrices/addPriceFeedFor.tree +0 -14
- package/test/trees/JBPrices/pricePerUnitOf.tree +0 -11
- package/test/trees/JBProjects/createFor.tree +0 -11
- package/test/trees/JBProjects/setTokenUriResolver.tree +0 -5
- package/test/trees/JBProjects/supportsInterface.tree +0 -9
- package/test/trees/JBProjects/tokenURI.tree +0 -5
- package/test/trees/JBRulesets/currentApprovalStatusForLatestRulesetOf.tree +0 -8
- package/test/trees/JBRulesets/currentOf.tree +0 -12
- package/test/trees/JBRulesets/getRulesetOf.tree +0 -5
- package/test/trees/JBRulesets/latestQueuedRulesetOf.tree +0 -10
- package/test/trees/JBRulesets/rulesetsOf.tree +0 -11
- package/test/trees/JBRulesets/upcomingRulesetOf.tree +0 -20
- package/test/trees/JBRulesets/updateRulesetWeightCache.tree +0 -5
- package/test/trees/JBSplits/setSplitGroupsOf.tree +0 -17
- package/test/trees/JBSplits/splitsOf.tree +0 -5
- package/test/trees/JBTerminalStore/currentReclaimableSurplusOf.tree +0 -16
- package/test/trees/JBTerminalStore/currentSurplusOf.tree +0 -25
- package/test/trees/JBTerminalStore/currentTotalSurplusOf.tree +0 -5
- package/test/trees/JBTerminalStore/recordCashOutsFor.tree +0 -16
- package/test/trees/JBTerminalStore/recordPaymentFrom.tree +0 -14
- package/test/trees/JBTerminalStore/recordPayoutFor.tree +0 -10
- package/test/trees/JBTerminalStore/recordTerminalMigration.tree +0 -5
- package/test/trees/JBTerminalStore/recordUsedAllowanceOf.tree +0 -10
- package/test/trees/JBTokens/burnFrom.tree +0 -10
- package/test/trees/JBTokens/claimTokensFor.tree +0 -10
- package/test/trees/JBTokens/deployERC20For.tree +0 -12
- package/test/trees/JBTokens/mintFor.tree +0 -10
- package/test/trees/JBTokens/setTokenFor.tree +0 -11
- package/test/trees/JBTokens/totalBalanceOf.tree +0 -5
- package/test/trees/JBTokens/totalSupplyOf.tree +0 -5
- package/test/trees/JBTokens/transferCreditsFrom.tree +0 -8
- package/test/trees/mintTokensOf.tree +0 -12
- package/test/units/static/JBChainlinkV3PriceFeed/TestPriceFeed.sol +0 -223
- package/test/units/static/JBController/JBControllerSetup.sol +0 -50
- package/test/units/static/JBController/TestBurnTokensOf.sol +0 -114
- package/test/units/static/JBController/TestClaimTokensFor.sol +0 -63
- package/test/units/static/JBController/TestDeployErc20For.sol +0 -86
- package/test/units/static/JBController/TestLaunchProjectFor.sol +0 -302
- package/test/units/static/JBController/TestLaunchRulesetsFor.sol +0 -342
- package/test/units/static/JBController/TestMigrateController.sol +0 -157
- package/test/units/static/JBController/TestMintTokensOfUnits.sol +0 -111
- package/test/units/static/JBController/TestOmnichainRulesetOperator.sol +0 -324
- package/test/units/static/JBController/TestPayReservedTokenToTerminal.sol +0 -74
- package/test/units/static/JBController/TestPreviewMintOf.sol +0 -117
- package/test/units/static/JBController/TestReceiveMigrationFrom.sol +0 -99
- package/test/units/static/JBController/TestRulesetViews.sol +0 -225
- package/test/units/static/JBController/TestSendReservedTokensToSplitsOf.sol +0 -615
- package/test/units/static/JBController/TestSetSplitGroupsOf.sol +0 -68
- package/test/units/static/JBController/TestSetTokenFor.sol +0 -239
- package/test/units/static/JBController/TestSetUriOf.sol +0 -57
- package/test/units/static/JBController/TestTransferCreditsFrom.sol +0 -169
- package/test/units/static/JBDeadline/TestDeadlineFuzz.sol +0 -211
- package/test/units/static/JBDirectory/JBDirectorySetup.sol +0 -26
- package/test/units/static/JBDirectory/TestPrimaryTerminalOf.sol +0 -126
- package/test/units/static/JBDirectory/TestSetControllerOf.sol +0 -183
- package/test/units/static/JBDirectory/TestSetControllerOfMigrationOrder.sol +0 -104
- package/test/units/static/JBDirectory/TestSetPrimaryTerminalOf.sol +0 -179
- package/test/units/static/JBDirectory/TestSetTerminalsOf.sol +0 -137
- package/test/units/static/JBERC20/JBERC20Setup.sol +0 -34
- package/test/units/static/JBERC20/SigUtils.sol +0 -36
- package/test/units/static/JBERC20/TestInitialize.sol +0 -60
- package/test/units/static/JBERC20/TestName.sol +0 -30
- package/test/units/static/JBERC20/TestNonces.sol +0 -62
- package/test/units/static/JBERC20/TestSymbol.sol +0 -31
- package/test/units/static/JBFeelessAdresses/JBFeelessSetup.sol +0 -22
- package/test/units/static/JBFeelessAdresses/TestInterfaces.sol +0 -30
- package/test/units/static/JBFeelessAdresses/TestSetFeelessAddress.sol +0 -35
- package/test/units/static/JBFees/TestFeesFuzz.sol +0 -79
- package/test/units/static/JBFixedPointNumber/TestAdjustDecimals.sol +0 -16
- package/test/units/static/JBFixedPointNumber/TestAdjustDecimalsFuzz.sol +0 -71
- package/test/units/static/JBFundAccessLimits/JBFundAccessSetup.sol +0 -24
- package/test/units/static/JBFundAccessLimits/TestFundAccessLimitsEdge.sol +0 -163
- package/test/units/static/JBFundAccessLimits/TestPayoutLimitOf.sol +0 -59
- package/test/units/static/JBFundAccessLimits/TestPayoutLimitsOf.sol +0 -101
- package/test/units/static/JBFundAccessLimits/TestSetFundAccessLimitsFor.sol +0 -189
- package/test/units/static/JBFundAccessLimits/TestSurplusAllowanceOf.sol +0 -64
- package/test/units/static/JBFundAccessLimits/TestSurplusAllowancesOf.sol +0 -102
- package/test/units/static/JBMetadataResolver/TestGetDataFor.sol +0 -90
- package/test/units/static/JBMetadataResolver/TestMetadataResolverEdgeCases.sol +0 -247
- package/test/units/static/JBMetadataResolver/TestMetadataResolverFuzz.sol +0 -229
- package/test/units/static/JBMultiTerminal/JBMultiTerminalSetup.sol +0 -50
- package/test/units/static/JBMultiTerminal/TestAccountingContextsOf.sol +0 -72
- package/test/units/static/JBMultiTerminal/TestAddAccountingContextsFor.sol +0 -289
- package/test/units/static/JBMultiTerminal/TestAddToBalanceOf.sol +0 -474
- package/test/units/static/JBMultiTerminal/TestCashOutTokensOf.sol +0 -624
- package/test/units/static/JBMultiTerminal/TestExecutePayout.sol +0 -578
- package/test/units/static/JBMultiTerminal/TestExecuteProcessFee.sol +0 -202
- package/test/units/static/JBMultiTerminal/TestMigrateBalanceOf.sol +0 -222
- package/test/units/static/JBMultiTerminal/TestPay.sol +0 -604
- package/test/units/static/JBMultiTerminal/TestPreviewCashOutFrom.sol +0 -117
- package/test/units/static/JBMultiTerminal/TestPreviewPayFor.sol +0 -114
- package/test/units/static/JBMultiTerminal/TestProcessHeldFeesOf.sol +0 -228
- package/test/units/static/JBMultiTerminal/TestSelfPayRevert.sol +0 -55
- package/test/units/static/JBMultiTerminal/TestSendPayoutsOf.sol +0 -257
- package/test/units/static/JBMultiTerminal/TestUseAllowanceOf.sol +0 -611
- package/test/units/static/JBPermissions/JBPermissionsSetup.sol +0 -20
- package/test/units/static/JBPermissions/TestHasPermission.sol +0 -50
- package/test/units/static/JBPermissions/TestHasPermissions.sol +0 -93
- package/test/units/static/JBPermissions/TestSetPermissionsFor.sol +0 -64
- package/test/units/static/JBPrices/JBPricesSetup.sol +0 -32
- package/test/units/static/JBPrices/TestAddPriceFeedFor.sol +0 -107
- package/test/units/static/JBPrices/TestPricePerUnitOf.sol +0 -132
- package/test/units/static/JBPrices/TestPrices.sol +0 -265
- package/test/units/static/JBProjects/JBProjectsSetup.sol +0 -22
- package/test/units/static/JBProjects/TestCreateFor.sol +0 -71
- package/test/units/static/JBProjects/TestInitialProject.sol +0 -21
- package/test/units/static/JBProjects/TestInterfaces.sol +0 -26
- package/test/units/static/JBProjects/TestSetResolver.sol +0 -37
- package/test/units/static/JBProjects/TestTokenUri.sol +0 -40
- package/test/units/static/JBRulesetMetadataResolver/TestSetCashOutTaxRateTo.sol +0 -108
- package/test/units/static/JBRulesets/JBRulesetsSetup.sol +0 -24
- package/test/units/static/JBRulesets/TestCurrentApprovalStatusForLatestRulesetOf.sol +0 -265
- package/test/units/static/JBRulesets/TestCurrentOf.sol +0 -242
- package/test/units/static/JBRulesets/TestGetRulesetOf.sol +0 -100
- package/test/units/static/JBRulesets/TestLatestQueuedRulesetOf.sol +0 -260
- package/test/units/static/JBRulesets/TestRulesets.sol +0 -632
- package/test/units/static/JBRulesets/TestRulesetsOf.sol +0 -37
- package/test/units/static/JBRulesets/TestUpcomingRulesetOf.sol +0 -522
- package/test/units/static/JBRulesets/TestUpdateRulesetWeightCache.sol +0 -96
- package/test/units/static/JBSplits/JBSplitsSetup.sol +0 -26
- package/test/units/static/JBSplits/TestSelfManagedSplitGroups.sol +0 -552
- package/test/units/static/JBSplits/TestSetSplitGroupsOf.sol +0 -377
- package/test/units/static/JBSplits/TestSplitsLockedEdge.sol +0 -267
- package/test/units/static/JBSplits/TestSplitsOf.sol +0 -24
- package/test/units/static/JBSplits/TestSplitsPacking.sol +0 -36
- package/test/units/static/JBSurplus/TestSurplusFuzz.sol +0 -160
- package/test/units/static/JBTerminalStore/JBTerminalStoreSetup.sol +0 -45
- package/test/units/static/JBTerminalStore/TestCurrentReclaimableSurplusOf.sol +0 -536
- package/test/units/static/JBTerminalStore/TestCurrentSurplusOf.sol +0 -463
- package/test/units/static/JBTerminalStore/TestCurrentTotalSurplusOf.sol +0 -135
- package/test/units/static/JBTerminalStore/TestPreviewCashOutFrom.sol +0 -476
- package/test/units/static/JBTerminalStore/TestPreviewPayFrom.sol +0 -494
- package/test/units/static/JBTerminalStore/TestRecordCashOutsFor.sol +0 -652
- package/test/units/static/JBTerminalStore/TestRecordPaymentFrom.sol +0 -744
- package/test/units/static/JBTerminalStore/TestRecordPayoutFor.sol +0 -289
- package/test/units/static/JBTerminalStore/TestRecordTerminalMigration.sol +0 -138
- package/test/units/static/JBTerminalStore/TestRecordUsedAllowanceOf.sol +0 -415
- package/test/units/static/JBTerminalStore/TestUint224Overflow.sol +0 -219
- package/test/units/static/JBTokens/JBTokensSetup.sol +0 -32
- package/test/units/static/JBTokens/TestBurnFrom.sol +0 -107
- package/test/units/static/JBTokens/TestClaimTokensFor.sol +0 -110
- package/test/units/static/JBTokens/TestDeployERC20ForUnits.sol +0 -92
- package/test/units/static/JBTokens/TestMintFor.sol +0 -100
- package/test/units/static/JBTokens/TestSetTokenFor.sol +0 -98
- package/test/units/static/JBTokens/TestTotalBalanceOf.sol +0 -65
- package/test/units/static/JBTokens/TestTotalSupplyOf.sol +0 -56
- 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.
|
package/script/Deploy.s.sol
DELETED
|
@@ -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
|
-
}
|