@bananapus/permission-ids-v6 0.0.26 → 0.0.27
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/package.json +8 -2
- package/ADMINISTRATION.md +0 -62
- package/ARCHITECTURE.md +0 -53
- package/AUDIT_INSTRUCTIONS.md +0 -57
- package/CHANGELOG.md +0 -51
- package/RISKS.md +0 -51
- package/SKILLS.md +0 -32
- package/STYLE_GUIDE.md +0 -565
- package/USER_JOURNEYS.md +0 -103
- package/foundry.lock +0 -5
- package/test/formal/JBPermissionIdsHalmos.t.sol +0 -68
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@bananapus/permission-ids-v6",
|
|
3
|
-
"version": "0.0.
|
|
3
|
+
"version": "0.0.27",
|
|
4
4
|
"license": "MIT",
|
|
5
5
|
"repository": {
|
|
6
6
|
"type": "git",
|
|
@@ -8,5 +8,11 @@
|
|
|
8
8
|
},
|
|
9
9
|
"engines": {
|
|
10
10
|
"node": ">=20.0.0"
|
|
11
|
-
}
|
|
11
|
+
},
|
|
12
|
+
"files": [
|
|
13
|
+
"foundry.toml",
|
|
14
|
+
"references/",
|
|
15
|
+
"remappings.txt",
|
|
16
|
+
"src/"
|
|
17
|
+
]
|
|
12
18
|
}
|
package/ADMINISTRATION.md
DELETED
|
@@ -1,62 +0,0 @@
|
|
|
1
|
-
# Administration
|
|
2
|
-
|
|
3
|
-
## At A Glance
|
|
4
|
-
|
|
5
|
-
| Item | Details |
|
|
6
|
-
| --- | --- |
|
|
7
|
-
| Scope | Shared permission ID namespace for the wider ecosystem |
|
|
8
|
-
| Control posture | Source-level coordination only |
|
|
9
|
-
| Highest-risk actions | Reordering or reusing IDs already assumed by deployed contracts |
|
|
10
|
-
| Recovery posture | Requires downstream code changes and redeployments where relevant |
|
|
11
|
-
|
|
12
|
-
## Purpose
|
|
13
|
-
|
|
14
|
-
`nana-permission-ids-v6` has no runtime admin surface. Its control significance is at the source level: it defines the shared permission namespace used by the rest of the ecosystem.
|
|
15
|
-
|
|
16
|
-
## Control Model
|
|
17
|
-
|
|
18
|
-
- No owner
|
|
19
|
-
- No runtime governance
|
|
20
|
-
- No mutable onchain state
|
|
21
|
-
- Source-level coordination only
|
|
22
|
-
|
|
23
|
-
## Roles
|
|
24
|
-
|
|
25
|
-
| Role | How Assigned | Scope | Notes |
|
|
26
|
-
| --- | --- | --- | --- |
|
|
27
|
-
| Maintainer | Source-code author | Ecosystem-wide | Can add or reorder constants only by editing code and updating dependent deployments |
|
|
28
|
-
|
|
29
|
-
## Privileged Surfaces
|
|
30
|
-
|
|
31
|
-
There are no privileged runtime functions. The only meaningful changes are source changes to `JBPermissionIds.sol`.
|
|
32
|
-
|
|
33
|
-
## Immutable And One-Way
|
|
34
|
-
|
|
35
|
-
- Once deployed contracts depend on a given ID mapping, that mapping is effectively immutable for those deployments.
|
|
36
|
-
- Reusing or reordering IDs is a cross-repo breaking change.
|
|
37
|
-
|
|
38
|
-
## Operational Notes
|
|
39
|
-
|
|
40
|
-
- Add new permission IDs append-only.
|
|
41
|
-
- Update downstream docs and call sites in the same change set.
|
|
42
|
-
- Treat permission ID changes as protocol changes, not refactors.
|
|
43
|
-
|
|
44
|
-
## Machine Notes
|
|
45
|
-
|
|
46
|
-
- Do not infer semantic compatibility from matching names if numeric IDs changed.
|
|
47
|
-
- Treat `src/JBPermissionIds.sol` as append-only unless a breaking ecosystem-wide migration is intentional.
|
|
48
|
-
- If docs and code disagree on a permission number, trust the code and update the docs before further review.
|
|
49
|
-
|
|
50
|
-
## Recovery
|
|
51
|
-
|
|
52
|
-
- There is no runtime recovery surface.
|
|
53
|
-
- A bad ID assignment is fixed only by downstream code changes and redeployments where needed.
|
|
54
|
-
|
|
55
|
-
## Admin Boundaries
|
|
56
|
-
|
|
57
|
-
- Nobody can patch deployed contracts to reinterpret old permission bits.
|
|
58
|
-
- This repo cannot grant, revoke, or inspect permissions by itself.
|
|
59
|
-
|
|
60
|
-
## Source Map
|
|
61
|
-
|
|
62
|
-
- `src/JBPermissionIds.sol`
|
package/ARCHITECTURE.md
DELETED
|
@@ -1,53 +0,0 @@
|
|
|
1
|
-
# Architecture
|
|
2
|
-
|
|
3
|
-
## Purpose
|
|
4
|
-
|
|
5
|
-
`nana-permission-ids-v6` is the shared permission namespace for the V6 ecosystem. It makes sure every repo agrees on what each permission bit means when interacting with `JBPermissions`.
|
|
6
|
-
|
|
7
|
-
## System Overview
|
|
8
|
-
|
|
9
|
-
This repo intentionally contains almost no logic. Other repos import `JBPermissionIds` and compare permission bits against these constants.
|
|
10
|
-
|
|
11
|
-
## Core Invariants
|
|
12
|
-
|
|
13
|
-
- Existing IDs must stay stable once deployed contracts or integrations use them.
|
|
14
|
-
- New IDs should be appended intentionally, not reused or repurposed.
|
|
15
|
-
- Numeric stability matters more than naming convenience.
|
|
16
|
-
- `ROOT` must stay aligned with `JBPermissions` expectations in `nana-core-v6`.
|
|
17
|
-
|
|
18
|
-
## Modules
|
|
19
|
-
|
|
20
|
-
| Module | Responsibility | Notes |
|
|
21
|
-
| --- | --- | --- |
|
|
22
|
-
| `JBPermissionIds` | Defines canonical `uint8` permission IDs | Entire repo value |
|
|
23
|
-
|
|
24
|
-
## Trust Boundaries
|
|
25
|
-
|
|
26
|
-
- This repo has no runtime authority by itself.
|
|
27
|
-
- It is tightly coupled to `nana-core-v6` and every repo that performs permission checks.
|
|
28
|
-
|
|
29
|
-
## Critical Flows
|
|
30
|
-
|
|
31
|
-
There is no runtime flow. Other repos import the library and use the constants in permission checks.
|
|
32
|
-
|
|
33
|
-
## Accounting Model
|
|
34
|
-
|
|
35
|
-
No accounting lives here.
|
|
36
|
-
|
|
37
|
-
## Security Model
|
|
38
|
-
|
|
39
|
-
- The code is trivial, but the coordination burden is not.
|
|
40
|
-
- A rename or reorder here can silently break permissions across the ecosystem.
|
|
41
|
-
- The real blast radius comes from deployed contracts that already use these values.
|
|
42
|
-
- There is very little meaningful local runtime test surface in this repo.
|
|
43
|
-
|
|
44
|
-
## Safe Change Guide
|
|
45
|
-
|
|
46
|
-
- Treat any ID change as a cross-repo protocol change.
|
|
47
|
-
- When adding a permission, update downstream repos and docs in the same change set.
|
|
48
|
-
- Do not add aliases that hide the one-to-one mapping between bit position and meaning.
|
|
49
|
-
|
|
50
|
-
## Source Map
|
|
51
|
-
|
|
52
|
-
- `src/JBPermissionIds.sol`
|
|
53
|
-
- `references/runtime.md`
|
package/AUDIT_INSTRUCTIONS.md
DELETED
|
@@ -1,57 +0,0 @@
|
|
|
1
|
-
# Audit Instructions
|
|
2
|
-
|
|
3
|
-
This repo is only permission ID constants, but those constants are security-critical because many repos key access control off them.
|
|
4
|
-
|
|
5
|
-
## Audit Objective
|
|
6
|
-
|
|
7
|
-
There is a billion dollars of well-meaning projects' money in the Juicebox Money Engine, growing exponentially. Your job is to hack it before anyone else. Whoever hacks it first saves/steals the money, and you are obsessed with being this winner, while also being a steward of the protocol and wanting it to keep growing safely.
|
|
8
|
-
|
|
9
|
-
Suggestions of where to look:
|
|
10
|
-
|
|
11
|
-
- assign duplicate IDs to different permissions
|
|
12
|
-
- mismatch IDs that downstream repos assume are canonical
|
|
13
|
-
- create ordering or collision hazards for future permission additions
|
|
14
|
-
|
|
15
|
-
## Scope
|
|
16
|
-
|
|
17
|
-
In scope:
|
|
18
|
-
|
|
19
|
-
- `src/JBPermissionIds.sol`
|
|
20
|
-
|
|
21
|
-
## Start Here
|
|
22
|
-
|
|
23
|
-
1. `src/JBPermissionIds.sol`
|
|
24
|
-
2. downstream consumers in `nana-core-v6` and `revnet-core-v6`
|
|
25
|
-
|
|
26
|
-
## Security Model
|
|
27
|
-
|
|
28
|
-
This repo defines canonical numeric IDs that other repos treat as part of their permission model.
|
|
29
|
-
|
|
30
|
-
- the file is small, but stale renumbering or collisions can silently widen or break access control elsewhere
|
|
31
|
-
- correctness depends on cross-repo alignment, not local logic alone
|
|
32
|
-
|
|
33
|
-
## Integration Assumptions
|
|
34
|
-
|
|
35
|
-
| Dependency | Assumption | What breaks if wrong |
|
|
36
|
-
|------------|------------|----------------------|
|
|
37
|
-
| `nana-core-v6` | ERC-20 signature delegation still uses the documented ID | Signature authority checks mismatch |
|
|
38
|
-
| `revnet-core-v6` | Loan permissions still use the documented IDs | Delegated actions widen, fail, or misroute |
|
|
39
|
-
|
|
40
|
-
## Critical Invariants
|
|
41
|
-
|
|
42
|
-
1. Each permission semantic has one stable numeric ID.
|
|
43
|
-
2. No two distinct permissions share an ID.
|
|
44
|
-
3. IDs match the expectations of all dependent repos in this workspace.
|
|
45
|
-
4. ID `23` (`SIGN_FOR_ERC20`) matches the value used by `nana-core-v6` for ERC-1271 signature delegation.
|
|
46
|
-
5. IDs used by `revnet-core-v6` match the values used in `REVLoans`.
|
|
47
|
-
|
|
48
|
-
## Attack Surfaces
|
|
49
|
-
|
|
50
|
-
- duplicate or reordered constants
|
|
51
|
-
- stale cross-repo assumptions
|
|
52
|
-
- permission additions that collide with previously assigned meanings
|
|
53
|
-
|
|
54
|
-
## Verification
|
|
55
|
-
|
|
56
|
-
- `npm install`
|
|
57
|
-
- `forge build`
|
package/CHANGELOG.md
DELETED
|
@@ -1,51 +0,0 @@
|
|
|
1
|
-
# Changelog
|
|
2
|
-
|
|
3
|
-
## Scope
|
|
4
|
-
|
|
5
|
-
This file describes the verified change from `nana-permission-ids-v5` to the current `nana-permission-ids-v6` repo.
|
|
6
|
-
|
|
7
|
-
## Current v6 surface
|
|
8
|
-
|
|
9
|
-
- `JBPermissionIds`
|
|
10
|
-
|
|
11
|
-
## Summary
|
|
12
|
-
|
|
13
|
-
- The numeric permission map shifted. `LAUNCH_RULESETS` was inserted near the top of the sequence and every downstream numeric value moved with it.
|
|
14
|
-
- v6 adds permissions for capabilities that did not exist in the old map, including `LAUNCH_RULESETS`, `ADD_TERMINALS`, `SET_TOKEN_METADATA`, `SET_BUYBACK_HOOK`, `SET_ROUTER_TERMINAL`, and `SET_SUCKER_DEPRECATION`.
|
|
15
|
-
- The old swap-terminal-specific permissions are gone because the deployed ecosystem no longer centers on `nana-swap-terminal-v5`.
|
|
16
|
-
- `SUCKER_SAFETY` no longer covers every safety action by itself. `SET_SUCKER_DEPRECATION` is its own permission in v6.
|
|
17
|
-
|
|
18
|
-
## v6 additions: nana-core ERC-1271 delegation (ID 23)
|
|
19
|
-
|
|
20
|
-
- `SIGN_FOR_ERC20` (23) — sign messages on behalf of a project's ERC-20 token via ERC-1271. Used for Etherscan contract verification and other off-chain signature validation.
|
|
21
|
-
|
|
22
|
-
## v6 additions: revnet-core delegation
|
|
23
|
-
|
|
24
|
-
- `OPEN_LOAN` — open a loan on behalf of a token holder via `REVLoans.borrowFrom`. Checked against the token holder.
|
|
25
|
-
- `REALLOCATE_LOAN` — reallocate loan collateral on behalf of a loan NFT owner via `REVLoans.reallocateCollateralFromLoan`. Checked against the loan NFT owner.
|
|
26
|
-
- `REPAY_LOAN` — repay a loan on behalf of a loan NFT owner via `REVLoans.repayLoan`. Checked against the loan NFT owner.
|
|
27
|
-
|
|
28
|
-
These are consumed by `revnet-core-v6` and checked via inline `PERMISSIONS.hasPermission` calls (for `REVLoans`).
|
|
29
|
-
|
|
30
|
-
## Verified deltas
|
|
31
|
-
|
|
32
|
-
- `QUEUE_RULESETS` no longer also covers `launchRulesetsFor`; `LAUNCH_RULESETS` is its own constant.
|
|
33
|
-
- `ADD_TERMINALS` was inserted between `SET_TERMINALS` and `SET_PRIMARY_TERMINAL`.
|
|
34
|
-
- `SET_TOKEN_METADATA`, `SET_BUYBACK_HOOK`, `SET_ROUTER_TERMINAL`, and `SET_SUCKER_DEPRECATION` are new constants.
|
|
35
|
-
- `ADD_SWAP_TERMINAL_POOL` and `ADD_SWAP_TERMINAL_TWAP_PARAMS` were removed.
|
|
36
|
-
|
|
37
|
-
## Breaking ABI changes
|
|
38
|
-
|
|
39
|
-
- There is no runtime contract ABI to port here.
|
|
40
|
-
- The breaking surface is compile-time and application-logic-level: constant names, meanings, and numeric values changed.
|
|
41
|
-
|
|
42
|
-
## Indexer impact
|
|
43
|
-
|
|
44
|
-
- None directly from this repo.
|
|
45
|
-
- Indirectly, any off-chain access-control model keyed to raw numeric IDs must be updated.
|
|
46
|
-
|
|
47
|
-
## Migration notes
|
|
48
|
-
|
|
49
|
-
- Hardcoded numeric permission IDs from v5 are stale and unsafe.
|
|
50
|
-
- Rebuild every permission check from the named v6 constants.
|
|
51
|
-
- Treat this repo as application-logic-critical even though it is not a large runtime surface.
|
package/RISKS.md
DELETED
|
@@ -1,51 +0,0 @@
|
|
|
1
|
-
# Permission IDs Risk Register
|
|
2
|
-
|
|
3
|
-
This file covers the coordination risks in `JBPermissionIds`. The contract surface is tiny, but drift here can corrupt access control across the V6 ecosystem.
|
|
4
|
-
|
|
5
|
-
## How To Use This File
|
|
6
|
-
|
|
7
|
-
- Read `Priority risks` first. The main danger is cross-repo disagreement, not a local code bug.
|
|
8
|
-
- Treat every ID change as an ecosystem migration event.
|
|
9
|
-
- Use `Invariants to verify` to keep append-only discipline explicit.
|
|
10
|
-
|
|
11
|
-
## Priority Risks
|
|
12
|
-
|
|
13
|
-
| Priority | Risk | Why it matters | Primary controls |
|
|
14
|
-
|----------|------|----------------|------------------|
|
|
15
|
-
| P0 | Semantic drift across repos | If two packages assign different meanings to the same ID, permission checks can silently authorize the wrong actions. | Single source of truth, append-only changes, and synchronized downstream updates. |
|
|
16
|
-
| P1 | Reusing or reordering existing IDs | Renumbering breaks deployed contracts and off-chain tooling without any on-chain migration safety. | Never repurpose an assigned ID. Append only. |
|
|
17
|
-
| P1 | Over-trusting high-impact IDs | Some IDs directly control funds, routing, locking, or loan state. Misgrants are dangerous. | Explicit operator review and narrow-scoped grants. |
|
|
18
|
-
|
|
19
|
-
## 1. Known Risks
|
|
20
|
-
|
|
21
|
-
- **No runtime enforcement here.** This library only defines constants. Safety depends on every consuming repo checking the intended ID.
|
|
22
|
-
- **`ROOT` is broad authority.** `ROOT` (ID `1`) grants all permissions, including permissions added in the future.
|
|
23
|
-
- **Wildcard grants increase blast radius.** Any permission granted with `projectId = 0` applies to all projects owned by that account.
|
|
24
|
-
- **Hook and router lock powers are bundled.** `SET_BUYBACK_HOOK` (`30`) and `SET_ROUTER_TERMINAL` (`31`) both cover setting and locking.
|
|
25
|
-
- **Third-party extensions do not have an on-chain namespace.** IDs `41-255` are only socially coordinated, so external packages can collide without coordination. ID `40` is not currently assigned in `JBPermissionIds.sol`.
|
|
26
|
-
|
|
27
|
-
## 2. High-Impact IDs
|
|
28
|
-
|
|
29
|
-
- **Fund-moving IDs.** `CASH_OUT_TOKENS` (`4`), `SEND_PAYOUTS` (`5`), `MIGRATE_TERMINAL` (`6`), `SET_TERMINALS` (`15`), `USE_ALLOWANCE` (`18`), and `SET_SPLIT_GROUPS` (`19`) can redirect or release value.
|
|
30
|
-
- **Hook-routing IDs.** `SET_BUYBACK_POOL` (`28`), `SET_BUYBACK_HOOK` (`30`), and `SET_ROUTER_TERMINAL` (`31`) materially control execution routes and can lock those routes permanently.
|
|
31
|
-
- **Sucker lifecycle IDs.** `SUCKER_SAFETY` (`35`) and `SET_SUCKER_DEPRECATION` (`36`) control emergency recovery and bridge shutdown state.
|
|
32
|
-
- **Revnet loan IDs.** `OPEN_LOAN` (`37`), `REALLOCATE_LOAN` (`38`), and `REPAY_LOAN` (`39`) are operationally powerful because they move collateral and debt state.
|
|
33
|
-
|
|
34
|
-
## 3. Integration Risks
|
|
35
|
-
|
|
36
|
-
- **Docs can lag deployed assumptions.** Off-chain tooling, UIs, and reviews often rely on human-readable permission names.
|
|
37
|
-
- **Cross-package imports must stay canonical.** Downstream repos should import this library instead of redefining numeric literals locally.
|
|
38
|
-
- **Future IDs expand current `ROOT` power.** Any new permission automatically becomes available to existing `ROOT` operators.
|
|
39
|
-
|
|
40
|
-
## 4. Invariants To Verify
|
|
41
|
-
|
|
42
|
-
- Assigned IDs are append-only and never repurposed.
|
|
43
|
-
- `0` stays unused as a permission ID.
|
|
44
|
-
- Every documented ID in this repo matches the numeric checks in downstream contracts.
|
|
45
|
-
- ID `40` remains unused until a named constant is appended, and all new IDs are added without colliding with existing ecosystem assignments.
|
|
46
|
-
|
|
47
|
-
## 5. Accepted Behaviors
|
|
48
|
-
|
|
49
|
-
### 5.1 This repo is coordination infrastructure, not an enforcement layer
|
|
50
|
-
|
|
51
|
-
`JBPermissionIds` intentionally has no access control, storage, or runtime checks. The repo matters because every other package can import the same constants and mean the same thing.
|
package/SKILLS.md
DELETED
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
# Juicebox Permission IDs
|
|
2
|
-
|
|
3
|
-
## Use This File For
|
|
4
|
-
|
|
5
|
-
- Use this file when you need the canonical numeric meaning of a Juicebox V6 permission constant.
|
|
6
|
-
- Start here when reviewing changes that could affect permission numbering across the ecosystem.
|
|
7
|
-
|
|
8
|
-
## Read This Next
|
|
9
|
-
|
|
10
|
-
| If you need... | Open this next |
|
|
11
|
-
|---|---|
|
|
12
|
-
| Repo overview and scope | [`README.md`](./README.md), [`ARCHITECTURE.md`](./ARCHITECTURE.md) |
|
|
13
|
-
| The actual constants | [`src/JBPermissionIds.sol`](./src/JBPermissionIds.sol) |
|
|
14
|
-
|
|
15
|
-
## Repo Map
|
|
16
|
-
|
|
17
|
-
| Area | Where to look |
|
|
18
|
-
|---|---|
|
|
19
|
-
| Constants | [`src/JBPermissionIds.sol`](./src/JBPermissionIds.sol) |
|
|
20
|
-
|
|
21
|
-
## Purpose
|
|
22
|
-
|
|
23
|
-
This repo is the single source of truth for Juicebox V6 permission ID constants. It has no runtime behavior. Its value is ecosystem-wide coordination.
|
|
24
|
-
|
|
25
|
-
## Reference Files
|
|
26
|
-
|
|
27
|
-
- Open [`references/runtime.md`](./references/runtime.md) when you need the stability expectations and why changes here affect the whole ecosystem.
|
|
28
|
-
|
|
29
|
-
## Working Rules
|
|
30
|
-
|
|
31
|
-
- Start in [`src/JBPermissionIds.sol`](./src/JBPermissionIds.sol). The file itself is the product.
|
|
32
|
-
- Treat any numeric change as a cross-repo breaking change until proven otherwise.
|
package/STYLE_GUIDE.md
DELETED
|
@@ -1,565 +0,0 @@
|
|
|
1
|
-
# Style Guide
|
|
2
|
-
|
|
3
|
-
How we write Solidity and organize repos across the Juicebox V6 ecosystem. `nana-core-v6` is the gold standard — when in doubt, match what it does.
|
|
4
|
-
|
|
5
|
-
## File Organization
|
|
6
|
-
|
|
7
|
-
```
|
|
8
|
-
src/
|
|
9
|
-
├── Contract.sol # Main contracts in root
|
|
10
|
-
├── abstract/ # Base contracts (JBPermissioned, JBControlled)
|
|
11
|
-
├── enums/ # One enum per file
|
|
12
|
-
├── interfaces/ # One interface per file, prefixed with I
|
|
13
|
-
├── libraries/ # Pure/view logic, prefixed with JB
|
|
14
|
-
├── periphery/ # Utility contracts (deadlines, price feeds)
|
|
15
|
-
└── structs/ # One struct per file, prefixed with JB
|
|
16
|
-
```
|
|
17
|
-
|
|
18
|
-
One contract/interface/struct/enum per file. Name the file after the type it contains.
|
|
19
|
-
|
|
20
|
-
## Pragma Versions
|
|
21
|
-
|
|
22
|
-
```solidity
|
|
23
|
-
// Contracts — pin to exact version
|
|
24
|
-
pragma solidity 0.8.28;
|
|
25
|
-
|
|
26
|
-
// Interfaces, structs, enums — caret for forward compatibility
|
|
27
|
-
pragma solidity ^0.8.0;
|
|
28
|
-
|
|
29
|
-
// Libraries — pin to exact version like contracts
|
|
30
|
-
pragma solidity 0.8.28;
|
|
31
|
-
```
|
|
32
|
-
|
|
33
|
-
## Imports
|
|
34
|
-
|
|
35
|
-
Named imports only. Grouped by source, alphabetized within each group:
|
|
36
|
-
|
|
37
|
-
```solidity
|
|
38
|
-
// External packages (alphabetized)
|
|
39
|
-
import {ERC2771Context} from "@openzeppelin/contracts/metatx/ERC2771Context.sol";
|
|
40
|
-
import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
|
|
41
|
-
import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
|
|
42
|
-
import {mulDiv} from "@prb/math/src/Common.sol";
|
|
43
|
-
|
|
44
|
-
// Local: abstract contracts
|
|
45
|
-
import {JBPermissioned} from "./abstract/JBPermissioned.sol";
|
|
46
|
-
|
|
47
|
-
// Local: interfaces (alphabetized)
|
|
48
|
-
import {IJBController} from "./interfaces/IJBController.sol";
|
|
49
|
-
import {IJBDirectory} from "./interfaces/IJBDirectory.sol";
|
|
50
|
-
import {IJBMultiTerminal} from "./interfaces/IJBMultiTerminal.sol";
|
|
51
|
-
|
|
52
|
-
// Local: libraries (alphabetized)
|
|
53
|
-
import {JBConstants} from "./libraries/JBConstants.sol";
|
|
54
|
-
import {JBFees} from "./libraries/JBFees.sol";
|
|
55
|
-
|
|
56
|
-
// Local: structs (alphabetized)
|
|
57
|
-
import {JBAccountingContext} from "./structs/JBAccountingContext.sol";
|
|
58
|
-
import {JBSplit} from "./structs/JBSplit.sol";
|
|
59
|
-
```
|
|
60
|
-
|
|
61
|
-
## Contract Structure
|
|
62
|
-
|
|
63
|
-
Section banners divide the contract into a fixed ordering. Every contract with 50+ lines uses these banners:
|
|
64
|
-
|
|
65
|
-
```solidity
|
|
66
|
-
/// @notice One-line description.
|
|
67
|
-
contract JBExample is JBPermissioned, IJBExample {
|
|
68
|
-
// A library that does X.
|
|
69
|
-
using SomeLib for SomeType;
|
|
70
|
-
|
|
71
|
-
//*********************************************************************//
|
|
72
|
-
// --------------------------- custom errors ------------------------- //
|
|
73
|
-
//*********************************************************************//
|
|
74
|
-
|
|
75
|
-
error JBExample_SomethingFailed(uint256 amount);
|
|
76
|
-
|
|
77
|
-
//*********************************************************************//
|
|
78
|
-
// ------------------------- public constants ------------------------ //
|
|
79
|
-
//*********************************************************************//
|
|
80
|
-
|
|
81
|
-
uint256 public constant override FEE = 25;
|
|
82
|
-
|
|
83
|
-
//*********************************************************************//
|
|
84
|
-
// ----------------------- internal constants ------------------------ //
|
|
85
|
-
//*********************************************************************//
|
|
86
|
-
|
|
87
|
-
uint256 internal constant _FEE_BENEFICIARY_PROJECT_ID = 1;
|
|
88
|
-
|
|
89
|
-
//*********************************************************************//
|
|
90
|
-
// ------------------------ private constants ------------------------ //
|
|
91
|
-
//*********************************************************************//
|
|
92
|
-
|
|
93
|
-
//*********************************************************************//
|
|
94
|
-
// --------------- public immutable stored properties ---------------- //
|
|
95
|
-
//*********************************************************************//
|
|
96
|
-
|
|
97
|
-
IJBDirectory public immutable override DIRECTORY;
|
|
98
|
-
|
|
99
|
-
//*********************************************************************//
|
|
100
|
-
// -------------- internal immutable stored properties -------------- //
|
|
101
|
-
//*********************************************************************//
|
|
102
|
-
|
|
103
|
-
//*********************************************************************//
|
|
104
|
-
// --------------------- public stored properties -------------------- //
|
|
105
|
-
//*********************************************************************//
|
|
106
|
-
|
|
107
|
-
//*********************************************************************//
|
|
108
|
-
// -------------------- internal stored properties ------------------- //
|
|
109
|
-
//*********************************************************************//
|
|
110
|
-
|
|
111
|
-
//*********************************************************************//
|
|
112
|
-
// -------------------- private stored properties -------------------- //
|
|
113
|
-
//*********************************************************************//
|
|
114
|
-
|
|
115
|
-
//*********************************************************************//
|
|
116
|
-
// ------------------- transient stored properties ------------------- //
|
|
117
|
-
//*********************************************************************//
|
|
118
|
-
|
|
119
|
-
//*********************************************************************//
|
|
120
|
-
// -------------------------- constructor ---------------------------- //
|
|
121
|
-
//*********************************************************************//
|
|
122
|
-
|
|
123
|
-
//*********************************************************************//
|
|
124
|
-
// ---------------------------- modifiers ---------------------------- //
|
|
125
|
-
//*********************************************************************//
|
|
126
|
-
|
|
127
|
-
//*********************************************************************//
|
|
128
|
-
// ------------------------- receive / fallback ---------------------- //
|
|
129
|
-
//*********************************************************************//
|
|
130
|
-
|
|
131
|
-
//*********************************************************************//
|
|
132
|
-
// ---------------------- external transactions ---------------------- //
|
|
133
|
-
//*********************************************************************//
|
|
134
|
-
|
|
135
|
-
//*********************************************************************//
|
|
136
|
-
// ----------------------- external views ---------------------------- //
|
|
137
|
-
//*********************************************************************//
|
|
138
|
-
|
|
139
|
-
//*********************************************************************//
|
|
140
|
-
// -------------------------- public views --------------------------- //
|
|
141
|
-
//*********************************************************************//
|
|
142
|
-
|
|
143
|
-
//*********************************************************************//
|
|
144
|
-
// ----------------------- public transactions ----------------------- //
|
|
145
|
-
//*********************************************************************//
|
|
146
|
-
|
|
147
|
-
//*********************************************************************//
|
|
148
|
-
// ---------------------- internal transactions ---------------------- //
|
|
149
|
-
//*********************************************************************//
|
|
150
|
-
|
|
151
|
-
//*********************************************************************//
|
|
152
|
-
// ----------------------- internal helpers -------------------------- //
|
|
153
|
-
//*********************************************************************//
|
|
154
|
-
|
|
155
|
-
//*********************************************************************//
|
|
156
|
-
// ----------------------- internal views ---------------------------- //
|
|
157
|
-
//*********************************************************************//
|
|
158
|
-
|
|
159
|
-
//*********************************************************************//
|
|
160
|
-
// ----------------------- private helpers --------------------------- //
|
|
161
|
-
//*********************************************************************//
|
|
162
|
-
}
|
|
163
|
-
```
|
|
164
|
-
|
|
165
|
-
**Section order:**
|
|
166
|
-
1. Custom errors
|
|
167
|
-
2. Public constants
|
|
168
|
-
3. Internal constants
|
|
169
|
-
4. Private constants
|
|
170
|
-
5. Public immutable stored properties
|
|
171
|
-
6. Internal immutable stored properties
|
|
172
|
-
7. Public stored properties
|
|
173
|
-
8. Internal stored properties
|
|
174
|
-
9. Private stored properties
|
|
175
|
-
10. Transient stored properties
|
|
176
|
-
11. Constructor
|
|
177
|
-
12. Modifiers
|
|
178
|
-
13. Receive / fallback
|
|
179
|
-
14. External transactions
|
|
180
|
-
15. External views
|
|
181
|
-
16. Public views
|
|
182
|
-
17. Public transactions
|
|
183
|
-
18. Internal transactions
|
|
184
|
-
19. Internal helpers
|
|
185
|
-
20. Internal views
|
|
186
|
-
21. Private helpers
|
|
187
|
-
|
|
188
|
-
Use these additional section labels where they better match the contents of the block:
|
|
189
|
-
- `internal functions` is accepted as equivalent to `internal helpers`
|
|
190
|
-
- `events` and `structs` are acceptable in specialized contracts that define them explicitly
|
|
191
|
-
|
|
192
|
-
Functions are alphabetized within each section.
|
|
193
|
-
|
|
194
|
-
## Interface Structure
|
|
195
|
-
|
|
196
|
-
```solidity
|
|
197
|
-
/// @notice One-line description.
|
|
198
|
-
interface IJBExample is IJBBase {
|
|
199
|
-
// Events (with full NatSpec)
|
|
200
|
-
|
|
201
|
-
/// @notice Emitted when X happens.
|
|
202
|
-
/// @param projectId The ID of the project.
|
|
203
|
-
/// @param amount The amount transferred.
|
|
204
|
-
event SomethingHappened(uint256 indexed projectId, uint256 amount);
|
|
205
|
-
|
|
206
|
-
// Views (alphabetized)
|
|
207
|
-
|
|
208
|
-
/// @notice The directory of terminals and controllers.
|
|
209
|
-
function DIRECTORY() external view returns (IJBDirectory);
|
|
210
|
-
|
|
211
|
-
// State-changing functions (alphabetized)
|
|
212
|
-
|
|
213
|
-
/// @notice Does the thing.
|
|
214
|
-
/// @param projectId The ID of the project.
|
|
215
|
-
/// @return result The result.
|
|
216
|
-
function doThing(uint256 projectId) external returns (uint256 result);
|
|
217
|
-
}
|
|
218
|
-
```
|
|
219
|
-
|
|
220
|
-
**Rules:**
|
|
221
|
-
- Events first, then views, then state-changing functions
|
|
222
|
-
- No custom errors in interfaces — errors belong in the implementing contract
|
|
223
|
-
- Full NatSpec on every event, function, and parameter
|
|
224
|
-
- Alphabetized within each group
|
|
225
|
-
|
|
226
|
-
## Naming
|
|
227
|
-
|
|
228
|
-
| Thing | Convention | Example |
|
|
229
|
-
|-------|-----------|---------|
|
|
230
|
-
| Contract | PascalCase | `JBMultiTerminal` |
|
|
231
|
-
| Interface | `I` + PascalCase | `IJBMultiTerminal` |
|
|
232
|
-
| Library | PascalCase | `JBCashOuts` |
|
|
233
|
-
| Struct | PascalCase | `JBRulesetConfig` |
|
|
234
|
-
| Enum | PascalCase | `JBApprovalStatus` |
|
|
235
|
-
| Enum value | PascalCase | `ApprovalExpected` |
|
|
236
|
-
| Error | `ContractName_ErrorName` | `JBMultiTerminal_FeeTerminalNotFound` |
|
|
237
|
-
| Public constant | `ALL_CAPS` | `FEE`, `MAX_FEE` |
|
|
238
|
-
| Internal constant | `_ALL_CAPS` | `_FEE_HOLDING_SECONDS` |
|
|
239
|
-
| Public immutable | `ALL_CAPS` | `DIRECTORY`, `PERMISSIONS` |
|
|
240
|
-
| Public/external function | `camelCase` | `cashOutTokensOf` |
|
|
241
|
-
| Internal/private function | `_camelCase` | `_processFee` |
|
|
242
|
-
| Internal storage | `_camelCase` | `_accountingContextForTokenOf` |
|
|
243
|
-
| Function parameter | `camelCase` (no underscores) | `projectId`, `cashOutCount` |
|
|
244
|
-
|
|
245
|
-
## NatSpec
|
|
246
|
-
|
|
247
|
-
**Contracts:**
|
|
248
|
-
```solidity
|
|
249
|
-
/// @notice One-line description of what the contract does.
|
|
250
|
-
contract JBExample is IJBExample {
|
|
251
|
-
```
|
|
252
|
-
|
|
253
|
-
**Functions:**
|
|
254
|
-
```solidity
|
|
255
|
-
/// @notice Records funds being added to a project's balance.
|
|
256
|
-
/// @param projectId The ID of the project which funds are being added to.
|
|
257
|
-
/// @param token The token being added.
|
|
258
|
-
/// @param amount The amount added, as a fixed point number with the same decimals as the terminal.
|
|
259
|
-
/// @return surplus The new surplus after adding.
|
|
260
|
-
function recordAddedBalanceFor(
|
|
261
|
-
uint256 projectId,
|
|
262
|
-
address token,
|
|
263
|
-
uint256 amount
|
|
264
|
-
) external override returns (uint256 surplus) {
|
|
265
|
-
```
|
|
266
|
-
|
|
267
|
-
**Structs:**
|
|
268
|
-
```solidity
|
|
269
|
-
/// @custom:member duration The number of seconds the ruleset lasts for. 0 means it never expires.
|
|
270
|
-
/// @custom:member weight How many tokens to mint per unit paid (18 decimals).
|
|
271
|
-
/// @custom:member weightCutPercent How much weight decays each cycle (9 decimals).
|
|
272
|
-
struct JBRulesetConfig {
|
|
273
|
-
uint32 duration;
|
|
274
|
-
uint112 weight;
|
|
275
|
-
uint32 weightCutPercent;
|
|
276
|
-
}
|
|
277
|
-
```
|
|
278
|
-
|
|
279
|
-
**Mappings:**
|
|
280
|
-
```solidity
|
|
281
|
-
/// @notice Context describing how a token is accounted for by a project.
|
|
282
|
-
/// @custom:param projectId The ID of the project.
|
|
283
|
-
/// @custom:param token The address of the token.
|
|
284
|
-
mapping(uint256 projectId => mapping(address token => JBAccountingContext)) internal _accountingContextForTokenOf;
|
|
285
|
-
```
|
|
286
|
-
|
|
287
|
-
## Numbers
|
|
288
|
-
|
|
289
|
-
Use underscores for thousands separators:
|
|
290
|
-
|
|
291
|
-
```solidity
|
|
292
|
-
uint256 internal constant _FEE_HOLDING_SECONDS = 2_419_200; // 28 days
|
|
293
|
-
uint32 public constant MAX_WEIGHT_CUT_PERCENT = 1_000_000_000;
|
|
294
|
-
uint256 public constant MAX_RESERVED_PERCENT = 10_000;
|
|
295
|
-
```
|
|
296
|
-
|
|
297
|
-
## Function Calls
|
|
298
|
-
|
|
299
|
-
Use named arguments for all function calls with 2 or more arguments — in both `src/` and `script/`:
|
|
300
|
-
|
|
301
|
-
```solidity
|
|
302
|
-
// Good — named arguments
|
|
303
|
-
token.mint({account: beneficiary, amount: count});
|
|
304
|
-
_transferOwnership({newOwner: address(0), projectId: 0});
|
|
305
|
-
PERMISSIONS.hasPermission({
|
|
306
|
-
operator: sender,
|
|
307
|
-
account: account,
|
|
308
|
-
projectId: projectId,
|
|
309
|
-
permissionId: permissionId,
|
|
310
|
-
includeRoot: true,
|
|
311
|
-
includeWildcardProjectId: true
|
|
312
|
-
});
|
|
313
|
-
|
|
314
|
-
// Bad — positional arguments with 2+ args
|
|
315
|
-
token.mint(beneficiary, count);
|
|
316
|
-
_transferOwnership(address(0), 0);
|
|
317
|
-
```
|
|
318
|
-
|
|
319
|
-
Single-argument calls use positional style: `_burn(amount)`.
|
|
320
|
-
|
|
321
|
-
This also applies to constructor calls, struct literals, and inherited/library calls (e.g., OZ `_mint`, `_safeMint`, `safeTransfer`, `allowance`, `Clones.cloneDeterministic`).
|
|
322
|
-
|
|
323
|
-
Named argument keys must use **camelCase** — never underscores. If a function's parameter names use underscores, rename them to camelCase first.
|
|
324
|
-
|
|
325
|
-
## Multiline Signatures
|
|
326
|
-
|
|
327
|
-
```solidity
|
|
328
|
-
function recordCashOutFor(
|
|
329
|
-
address holder,
|
|
330
|
-
uint256 projectId,
|
|
331
|
-
uint256 cashOutCount,
|
|
332
|
-
JBAccountingContext calldata accountingContext
|
|
333
|
-
)
|
|
334
|
-
external
|
|
335
|
-
override
|
|
336
|
-
returns (
|
|
337
|
-
JBRuleset memory ruleset,
|
|
338
|
-
uint256 reclaimAmount,
|
|
339
|
-
JBCashOutHookSpecification[] memory hookSpecifications
|
|
340
|
-
)
|
|
341
|
-
{
|
|
342
|
-
```
|
|
343
|
-
|
|
344
|
-
Modifiers and return types go on their own indented lines.
|
|
345
|
-
|
|
346
|
-
## Error Handling
|
|
347
|
-
|
|
348
|
-
- Validate inputs with explicit `revert` + custom error
|
|
349
|
-
- Use `try-catch` only for external calls to untrusted contracts (hooks, fee processing)
|
|
350
|
-
- Always include relevant context in error parameters
|
|
351
|
-
|
|
352
|
-
```solidity
|
|
353
|
-
// Direct validation
|
|
354
|
-
if (amount > limit) revert JBTerminalStore_InadequateControllerPayoutLimit(amount, limit);
|
|
355
|
-
|
|
356
|
-
// External call to untrusted hook
|
|
357
|
-
try hook.afterPayRecordedWith(context) {} catch (bytes memory reason) {
|
|
358
|
-
emit HookAfterPayReverted(hook, context, reason, _msgSender());
|
|
359
|
-
}
|
|
360
|
-
```
|
|
361
|
-
|
|
362
|
-
---
|
|
363
|
-
|
|
364
|
-
## DevOps
|
|
365
|
-
|
|
366
|
-
### foundry.toml
|
|
367
|
-
|
|
368
|
-
Standard config across all repos:
|
|
369
|
-
|
|
370
|
-
```toml
|
|
371
|
-
[profile.default]
|
|
372
|
-
solc = '0.8.28'
|
|
373
|
-
evm_version = 'cancun'
|
|
374
|
-
optimizer_runs = 200
|
|
375
|
-
libs = ["node_modules", "lib"]
|
|
376
|
-
fs_permissions = [{ access = "read-write", path = "./"}]
|
|
377
|
-
|
|
378
|
-
[fuzz]
|
|
379
|
-
runs = 4096
|
|
380
|
-
|
|
381
|
-
[invariant]
|
|
382
|
-
runs = 1024
|
|
383
|
-
depth = 100
|
|
384
|
-
fail_on_revert = false
|
|
385
|
-
|
|
386
|
-
[fmt]
|
|
387
|
-
number_underscore = "thousands"
|
|
388
|
-
multiline_func_header = "all"
|
|
389
|
-
wrap_comments = true
|
|
390
|
-
```
|
|
391
|
-
|
|
392
|
-
**Optional sections (add only when needed):**
|
|
393
|
-
- `[rpc_endpoints]` — repos with fork tests. Maps named endpoints to env vars (e.g. `ethereum = "${RPC_ETHEREUM_MAINNET}"`).
|
|
394
|
-
- `[profile.ci_sizes]` — only when CI needs different optimizer settings than defaults for the size check step (e.g. `optimizer_runs = 200` when the default profile uses a lower value).
|
|
395
|
-
|
|
396
|
-
**Common variations:**
|
|
397
|
-
- `via_ir = true` when hitting stack-too-deep
|
|
398
|
-
- `optimizer = false` when optimization causes stack-too-deep
|
|
399
|
-
- `optimizer_runs` reduced when deep struct nesting causes stack-too-deep at 200 runs
|
|
400
|
-
|
|
401
|
-
### CI Workflows
|
|
402
|
-
|
|
403
|
-
Every repo has at minimum `test.yml` and `lint.yml`:
|
|
404
|
-
|
|
405
|
-
**test.yml:**
|
|
406
|
-
```yaml
|
|
407
|
-
name: test
|
|
408
|
-
on:
|
|
409
|
-
pull_request:
|
|
410
|
-
branches: [main]
|
|
411
|
-
push:
|
|
412
|
-
branches: [main]
|
|
413
|
-
jobs:
|
|
414
|
-
forge-test:
|
|
415
|
-
runs-on: ubuntu-latest
|
|
416
|
-
steps:
|
|
417
|
-
- uses: actions/checkout@v4
|
|
418
|
-
with:
|
|
419
|
-
submodules: recursive
|
|
420
|
-
- uses: actions/setup-node@v4
|
|
421
|
-
with:
|
|
422
|
-
node-version: 25.9.0
|
|
423
|
-
- name: Install npm dependencies
|
|
424
|
-
run: npm install --omit=dev
|
|
425
|
-
- name: Install Foundry
|
|
426
|
-
uses: foundry-rs/foundry-toolchain@v1
|
|
427
|
-
- name: Run tests
|
|
428
|
-
run: forge test --fail-fast --summary --detailed --skip "*/script/**"
|
|
429
|
-
env:
|
|
430
|
-
RPC_ETHEREUM_MAINNET: ${{ secrets.RPC_ETHEREUM_MAINNET }}
|
|
431
|
-
- name: Check contract sizes
|
|
432
|
-
run: forge build --sizes --skip "*/test/**" --skip "*/script/**" --skip SphinxUtils
|
|
433
|
-
```
|
|
434
|
-
|
|
435
|
-
**lint.yml:**
|
|
436
|
-
```yaml
|
|
437
|
-
name: lint
|
|
438
|
-
on:
|
|
439
|
-
pull_request:
|
|
440
|
-
branches: [main]
|
|
441
|
-
push:
|
|
442
|
-
branches: [main]
|
|
443
|
-
jobs:
|
|
444
|
-
forge-fmt:
|
|
445
|
-
runs-on: ubuntu-latest
|
|
446
|
-
steps:
|
|
447
|
-
- uses: actions/checkout@v4
|
|
448
|
-
- name: Install Foundry
|
|
449
|
-
uses: foundry-rs/foundry-toolchain@v1
|
|
450
|
-
- name: Check formatting
|
|
451
|
-
run: forge fmt --check
|
|
452
|
-
```
|
|
453
|
-
|
|
454
|
-
**Static review workflow** (repos with `src/` contracts only):
|
|
455
|
-
|
|
456
|
-
Keep repo-local static review automation current with the package's runtime surface. At minimum, CI should run formatting, linting, and build checks with `--deny notes`. Repos that only contain deployment scripts can rely on the shared formatting and lint jobs unless they add runtime contracts.
|
|
457
|
-
|
|
458
|
-
### package.json
|
|
459
|
-
|
|
460
|
-
```json
|
|
461
|
-
{
|
|
462
|
-
"name": "@bananapus/package-name-v6",
|
|
463
|
-
"version": "x.x.x",
|
|
464
|
-
"license": "MIT",
|
|
465
|
-
"repository": { "type": "git", "url": "git+https://github.com/Org/repo.git" },
|
|
466
|
-
"engines": { "node": ">=20.0.0" },
|
|
467
|
-
"scripts": {
|
|
468
|
-
"test": "forge test",
|
|
469
|
-
"coverage": "forge coverage --match-path \"./src/*.sol\" --report lcov --report summary"
|
|
470
|
-
},
|
|
471
|
-
"dependencies": { ... },
|
|
472
|
-
"devDependencies": {
|
|
473
|
-
"@sphinx-labs/plugins": "0.33.3"
|
|
474
|
-
}
|
|
475
|
-
}
|
|
476
|
-
```
|
|
477
|
-
|
|
478
|
-
**Scoping:** `@bananapus/` for Bananapus repos, `@rev-net/` for revnet, `@croptop/` for croptop, `@bannynet/` for banny, `@ballkidz/` for defifa.
|
|
479
|
-
|
|
480
|
-
### remappings.txt
|
|
481
|
-
|
|
482
|
-
Every repo has a `remappings.txt` as the **single source of truth** for import remappings. Never add remappings to `foundry.toml`.
|
|
483
|
-
|
|
484
|
-
**Principle:** Import paths in Solidity source must match npm package names exactly. With `libs = ["node_modules", "lib"]`, Foundry auto-resolves `@scope/package/path/File.sol` → `node_modules/@scope/package/path/File.sol`. No remapping needed for packages installed as real directories.
|
|
485
|
-
|
|
486
|
-
**Note:** Auto-resolution does **not** work for symlinked packages (e.g. npm workspace links). Workspace repos like `deploy-all-v6` and `nana-cli-v6` need explicit `@scope/package/=node_modules/@scope/package/` remappings for each symlinked dependency.
|
|
487
|
-
|
|
488
|
-
**Minimal content** (most repos):
|
|
489
|
-
|
|
490
|
-
```
|
|
491
|
-
forge-std/=lib/forge-std/src/
|
|
492
|
-
```
|
|
493
|
-
|
|
494
|
-
Only add extra remappings for:
|
|
495
|
-
- **`forge-std`** — always needed (git submodule with `src/` subdirectory)
|
|
496
|
-
- **Repo-specific `lib/` submodules** that have no npm package (e.g., `hookmate/=lib/hookmate/src/`)
|
|
497
|
-
- **Symlinked npm packages** — need explicit `@scope/package/=node_modules/@scope/package/` entries
|
|
498
|
-
- **Nested transitive deps** — e.g., `@chainlink/contracts-ccip/` nested inside `@bananapus/suckers-v6/node_modules/`
|
|
499
|
-
|
|
500
|
-
**Never add remappings for:**
|
|
501
|
-
- npm packages that match their import path and are installed as real directories — they auto-resolve
|
|
502
|
-
- Short-form aliases (e.g., `@bananapus/core/` → `@bananapus/core-v6/src/`) — fix the import instead
|
|
503
|
-
- Packages available via npm that are also git submodules — remove the submodule, use npm
|
|
504
|
-
|
|
505
|
-
**Import path convention:**
|
|
506
|
-
|
|
507
|
-
| Package | Import path | Resolves to |
|
|
508
|
-
|---------|------------|-------------|
|
|
509
|
-
| `@bananapus/core-v6` | `@bananapus/core-v6/src/libraries/JBConstants.sol` | `node_modules/@bananapus/core-v6/src/...` |
|
|
510
|
-
| `@openzeppelin/contracts` | `@openzeppelin/contracts/token/ERC20/IERC20.sol` | `node_modules/@openzeppelin/contracts/...` |
|
|
511
|
-
| `@uniswap/v4-core` | `@uniswap/v4-core/src/interfaces/IPoolManager.sol` | `node_modules/@uniswap/v4-core/src/...` |
|
|
512
|
-
|
|
513
|
-
### Linting
|
|
514
|
-
|
|
515
|
-
Solar (Foundry's built-in linter) runs automatically during `forge build`. It scans all `.sol` files in `libs` directories, including `node_modules`.
|
|
516
|
-
|
|
517
|
-
**All test helpers must use relative imports** (e.g. `../../src/structs/JBRuleset.sol`), not bare `src/` imports. This ensures solar can resolve paths when the helper is consumed via npm in downstream repos.
|
|
518
|
-
|
|
519
|
-
### Fork Tests
|
|
520
|
-
|
|
521
|
-
Fork tests use named RPC endpoints defined in `[rpc_endpoints]` of `foundry.toml`. No skip guards — fork tests should hard-fail if the RPC endpoint is unavailable, making CI failures explicit.
|
|
522
|
-
|
|
523
|
-
```solidity
|
|
524
|
-
function setUp() public {
|
|
525
|
-
vm.createSelectFork("ethereum");
|
|
526
|
-
// ... setup code
|
|
527
|
-
}
|
|
528
|
-
```
|
|
529
|
-
|
|
530
|
-
The endpoint name (e.g. `"ethereum"`) maps to an env var via `foundry.toml`:
|
|
531
|
-
|
|
532
|
-
```toml
|
|
533
|
-
[rpc_endpoints]
|
|
534
|
-
ethereum = "${RPC_ETHEREUM_MAINNET}"
|
|
535
|
-
```
|
|
536
|
-
|
|
537
|
-
For multi-chain fork tests, add all needed endpoints.
|
|
538
|
-
|
|
539
|
-
### Formatting
|
|
540
|
-
|
|
541
|
-
Run `forge fmt` before committing. The `[fmt]` config in `foundry.toml` enforces:
|
|
542
|
-
- Thousands separators on numbers (`1_000_000`)
|
|
543
|
-
- Multiline function headers when multiple parameters
|
|
544
|
-
- Wrapped comments at reasonable width
|
|
545
|
-
|
|
546
|
-
CI checks formatting via `forge fmt --check`.
|
|
547
|
-
|
|
548
|
-
### Branching
|
|
549
|
-
|
|
550
|
-
- `main` is the primary branch
|
|
551
|
-
- Feature branches for PRs
|
|
552
|
-
- All PRs trigger test + lint workflows
|
|
553
|
-
- Submodule checkout with `--recursive` in CI
|
|
554
|
-
|
|
555
|
-
### Dependencies
|
|
556
|
-
|
|
557
|
-
- Solidity dependencies via npm (`node_modules/`)
|
|
558
|
-
- `forge-std` as a git submodule in `lib/`
|
|
559
|
-
- Sphinx plugins as a devDependency
|
|
560
|
-
- Cross-repo references use `file:../sibling-repo` in local development
|
|
561
|
-
- Published versions use semver ranges (`^0.0.x`) for npm
|
|
562
|
-
|
|
563
|
-
### Contract Size Checks
|
|
564
|
-
|
|
565
|
-
CI runs `forge build --sizes` to catch contracts approaching the 24KB limit. When the repo's default `optimizer_runs` differs from what you want for size checking, use `FOUNDRY_PROFILE=ci_sizes forge build --sizes` with a `[profile.ci_sizes]` section in `foundry.toml`.
|
package/USER_JOURNEYS.md
DELETED
|
@@ -1,103 +0,0 @@
|
|
|
1
|
-
# User Journeys
|
|
2
|
-
|
|
3
|
-
## Repo Purpose
|
|
4
|
-
|
|
5
|
-
This repo is the shared permission vocabulary for the V6 ecosystem. It does not store permissions or enforce them at runtime. It defines the constants that downstream repos should import so permissioned behavior stays clear and consistent.
|
|
6
|
-
|
|
7
|
-
## Primary Actors
|
|
8
|
-
|
|
9
|
-
- engineers choosing which permission constant should guard a feature
|
|
10
|
-
- auditors checking whether a repo drifted from the shared vocabulary
|
|
11
|
-
- maintainers extending the permission map without numeric collisions
|
|
12
|
-
|
|
13
|
-
## Key Surfaces
|
|
14
|
-
|
|
15
|
-
- `JBPermissionIds`: library of canonical permission constants used across V6 repos
|
|
16
|
-
- grouped constants for core, 721, router, buyback, sucker, revnet, and related actions
|
|
17
|
-
- reserved ranges documented in `README.md`, including `ROOT = 1`, currently assigned ecosystem IDs through `39`, unassigned ID `40`, and socially coordinated extension space above that
|
|
18
|
-
|
|
19
|
-
## Journey 1: Map A Product Action To The Right Permission
|
|
20
|
-
|
|
21
|
-
**Actor:** downstream engineer.
|
|
22
|
-
|
|
23
|
-
**Intent:** protect an action with the canonical permission constant instead of inventing a local number.
|
|
24
|
-
|
|
25
|
-
**Preconditions**
|
|
26
|
-
- the action is governed by `JBPermissions`
|
|
27
|
-
- the engineer knows which repo or domain owns the action
|
|
28
|
-
|
|
29
|
-
**Main Flow**
|
|
30
|
-
1. Find the action domain in `JBPermissionIds`, such as core, 721, router, buyback, or sucker permissions.
|
|
31
|
-
2. Import the constant into the downstream repo.
|
|
32
|
-
3. Use that constant in the runtime authorization check.
|
|
33
|
-
4. Treat bundled high-impact IDs like `SET_BUYBACK_HOOK` and `SET_ROUTER_TERMINAL` as broader powers than their short names suggest because they also gate locking.
|
|
34
|
-
|
|
35
|
-
**Failure Modes**
|
|
36
|
-
- the repo hardcodes a number locally and drifts from the shared vocabulary
|
|
37
|
-
- a repo picks the wrong existing constant because the action sounds similar but is not actually equivalent
|
|
38
|
-
- a team grants `ROOT` or wildcard permissions without appreciating the blast radius
|
|
39
|
-
- docs and tests describe a permission by nickname instead of the imported constant
|
|
40
|
-
|
|
41
|
-
**Postconditions**
|
|
42
|
-
- the downstream action is guarded by the shared permission vocabulary instead of a local numeric convention
|
|
43
|
-
|
|
44
|
-
## Journey 2: Review An Existing Operator Setup
|
|
45
|
-
|
|
46
|
-
**Actor:** auditor, operator, or integrator.
|
|
47
|
-
|
|
48
|
-
**Intent:** decode opaque permission bits into named actions.
|
|
49
|
-
|
|
50
|
-
**Preconditions**
|
|
51
|
-
- the operator bitset or granted permission IDs are already known
|
|
52
|
-
- the reviewer understands that this repo names permissions but does not prove how each repo uses them
|
|
53
|
-
|
|
54
|
-
**Main Flow**
|
|
55
|
-
1. Start with the permission bits granted on the project.
|
|
56
|
-
2. Map each bit to its named constant here.
|
|
57
|
-
3. Confirm the downstream repo still uses that constant consistently in authorization checks and docs.
|
|
58
|
-
4. Check whether any granted IDs are really funds-moving, routing, locking, or loan-management powers rather than low-risk admin toggles.
|
|
59
|
-
|
|
60
|
-
**Failure Modes**
|
|
61
|
-
- downstream code reuses a permission ID for a different meaning
|
|
62
|
-
- reviewers decode the bit correctly but underestimate what the downstream repo lets that permission do
|
|
63
|
-
- reviewers rely on this repo alone and skip the guarded code
|
|
64
|
-
|
|
65
|
-
**Postconditions**
|
|
66
|
-
- the reviewer has a named permission map and knows which downstream repos still need inspection
|
|
67
|
-
|
|
68
|
-
## Journey 3: Add A New Ecosystem Surface Without Permission Drift
|
|
69
|
-
|
|
70
|
-
**Actor:** maintainer extending the permission vocabulary.
|
|
71
|
-
|
|
72
|
-
**Intent:** add a new permission constant that the rest of the ecosystem can reuse.
|
|
73
|
-
|
|
74
|
-
**Preconditions**
|
|
75
|
-
- no existing constant already matches the new action
|
|
76
|
-
- the maintainer understands the numeric ranges already in use
|
|
77
|
-
|
|
78
|
-
**Main Flow**
|
|
79
|
-
1. Choose the next unused ID in the relevant range.
|
|
80
|
-
2. Add the named constant in `JBPermissionIds.sol`.
|
|
81
|
-
3. Update downstream repos to import the constant instead of duplicating the number.
|
|
82
|
-
4. Refresh docs and tests that explain the permission.
|
|
83
|
-
5. If the new ID goes above the ecosystem-managed range, coordinate externally so third-party packages do not collide on the same number.
|
|
84
|
-
|
|
85
|
-
**Failure Modes**
|
|
86
|
-
- a new repo defines its own numeric constant first and creates drift
|
|
87
|
-
- a new constant is added in the wrong semantic range, making later review harder
|
|
88
|
-
- a new ID silently expands what existing `ROOT` operators can do without that blast radius being reviewed
|
|
89
|
-
- documentation updates lag behind the code change
|
|
90
|
-
|
|
91
|
-
**Postconditions**
|
|
92
|
-
- the new ecosystem surface has a reusable canonical permission ID with coordinated downstream adoption
|
|
93
|
-
|
|
94
|
-
## Trust Boundaries
|
|
95
|
-
|
|
96
|
-
- this repo is trusted only as shared vocabulary
|
|
97
|
-
- actual storage and enforcement live elsewhere
|
|
98
|
-
- downstream repos can still misuse a constant even when they import the right one
|
|
99
|
-
|
|
100
|
-
## Hand-Offs
|
|
101
|
-
|
|
102
|
-
- Use [nana-core-v6](../nana-core-v6/USER_JOURNEYS.md) for the runtime permission registry that stores and checks these IDs.
|
|
103
|
-
- Use the relevant downstream repo when the question is about what a permissioned action does after authorization succeeds.
|
package/foundry.lock
DELETED
|
@@ -1,68 +0,0 @@
|
|
|
1
|
-
// SPDX-License-Identifier: MIT
|
|
2
|
-
pragma solidity 0.8.28;
|
|
3
|
-
|
|
4
|
-
import {JBPermissionIds} from "../../src/JBPermissionIds.sol";
|
|
5
|
-
|
|
6
|
-
/// @notice Small Halmos entrypoints for the ecosystem permission namespace.
|
|
7
|
-
/// @dev This package is constants-only, so the useful machine-check is exact namespace drift: values must remain
|
|
8
|
-
/// contiguous from ROOT through REPAY_LOAN unless a future migration intentionally updates this proof.
|
|
9
|
-
contract JBPermissionIdsHalmos {
|
|
10
|
-
/// @notice Proves the permission IDs are exactly the expected contiguous sequence.
|
|
11
|
-
function check_permissionIdsAreContiguousAndStable() public pure {
|
|
12
|
-
uint8[39] memory ids = [
|
|
13
|
-
JBPermissionIds.ROOT,
|
|
14
|
-
JBPermissionIds.QUEUE_RULESETS,
|
|
15
|
-
JBPermissionIds.LAUNCH_RULESETS,
|
|
16
|
-
JBPermissionIds.CASH_OUT_TOKENS,
|
|
17
|
-
JBPermissionIds.SEND_PAYOUTS,
|
|
18
|
-
JBPermissionIds.MIGRATE_TERMINAL,
|
|
19
|
-
JBPermissionIds.SET_PROJECT_URI,
|
|
20
|
-
JBPermissionIds.DEPLOY_ERC20,
|
|
21
|
-
JBPermissionIds.SET_TOKEN,
|
|
22
|
-
JBPermissionIds.MINT_TOKENS,
|
|
23
|
-
JBPermissionIds.BURN_TOKENS,
|
|
24
|
-
JBPermissionIds.CLAIM_TOKENS,
|
|
25
|
-
JBPermissionIds.TRANSFER_CREDITS,
|
|
26
|
-
JBPermissionIds.SET_CONTROLLER,
|
|
27
|
-
JBPermissionIds.SET_TERMINALS,
|
|
28
|
-
JBPermissionIds.ADD_TERMINALS,
|
|
29
|
-
JBPermissionIds.SET_PRIMARY_TERMINAL,
|
|
30
|
-
JBPermissionIds.USE_ALLOWANCE,
|
|
31
|
-
JBPermissionIds.SET_SPLIT_GROUPS,
|
|
32
|
-
JBPermissionIds.ADD_PRICE_FEED,
|
|
33
|
-
JBPermissionIds.ADD_ACCOUNTING_CONTEXTS,
|
|
34
|
-
JBPermissionIds.SET_TOKEN_METADATA,
|
|
35
|
-
JBPermissionIds.SIGN_FOR_ERC20,
|
|
36
|
-
JBPermissionIds.ADJUST_721_TIERS,
|
|
37
|
-
JBPermissionIds.SET_721_METADATA,
|
|
38
|
-
JBPermissionIds.MINT_721,
|
|
39
|
-
JBPermissionIds.SET_721_DISCOUNT_PERCENT,
|
|
40
|
-
JBPermissionIds.SET_BUYBACK_TWAP,
|
|
41
|
-
JBPermissionIds.SET_BUYBACK_POOL,
|
|
42
|
-
JBPermissionIds.SET_BUYBACK_HOOK,
|
|
43
|
-
JBPermissionIds.SET_ROUTER_TERMINAL,
|
|
44
|
-
JBPermissionIds.MAP_SUCKER_TOKEN,
|
|
45
|
-
JBPermissionIds.DEPLOY_SUCKERS,
|
|
46
|
-
JBPermissionIds.SET_SUCKER_PEER,
|
|
47
|
-
JBPermissionIds.SUCKER_SAFETY,
|
|
48
|
-
JBPermissionIds.SET_SUCKER_DEPRECATION,
|
|
49
|
-
JBPermissionIds.OPEN_LOAN,
|
|
50
|
-
JBPermissionIds.REALLOCATE_LOAN,
|
|
51
|
-
JBPermissionIds.REPAY_LOAN
|
|
52
|
-
];
|
|
53
|
-
|
|
54
|
-
for (uint256 i; i < ids.length;) {
|
|
55
|
-
assert(ids[i] == i + 1);
|
|
56
|
-
|
|
57
|
-
unchecked {
|
|
58
|
-
++i;
|
|
59
|
-
}
|
|
60
|
-
}
|
|
61
|
-
}
|
|
62
|
-
|
|
63
|
-
/// @notice Proves the first and final IDs stay pinned to the documented namespace bounds.
|
|
64
|
-
function check_permissionNamespaceBounds() public pure {
|
|
65
|
-
assert(JBPermissionIds.ROOT == 1);
|
|
66
|
-
assert(JBPermissionIds.REPAY_LOAN == 39);
|
|
67
|
-
}
|
|
68
|
-
}
|