← all findings
low SHARE_COUNT_MISREPORT

WDC: balanceOf() is 1.000217565x away from share-equivalents

subject WDC (0xF52597345A8Edf418bc4071b4a35112472277D3e) · methodology assay-rh-v0.2.0 · detected 2026-09-21T20:54:26.000Z

WDC reports uiMultiplier() = 1000217565250523909 (1.000217565). Under ERC-8056 a corporate action moves this multiplier rather than balances, so balanceOf() returns tokens, not share-equivalents. Share-equivalents = balance * uiMultiplier() / 1e18. Any surface presenting balanceOf() as a share count understates it by 0.0218% (the true count is 1.0002x the raw balance). Token value computed as balance * Chainlink feed price is unaffected, because the feed is already multiplier-adjusted.

Impact
2.18 bps · 0.0218%
totalSupply raw 182.5404 tokens vs 182.5801 share-equivalents (delta 0.0397). Presenting the raw balance as a share count understates by 0.0218%; equivalently the true count is 1.0002x the raw.
Evidence — 2/2 citations re-fetched and byte-compared
mismatched 0 · pruned 0 · verified 2026-09-21T20:54:31.671Z
uiMultiplier() == 1000217565250523909
chain 4663 · block 69099794 · uiMultiplier()
0xF52597345A8Edf418bc4071b4a35112472277D3e
0x0000000000000000000000000000000000000000000000000de17c9382dd1305
totalSupply() == 182540415550000000000
chain 4663 · block 69099794 · totalSupply()
0xF52597345A8Edf418bc4071b4a35112472277D3e
0x000000000000000000000000000000000000000000000009e541d4cd59f0ec00