low SHARE_COUNT_MISREPORT

F: balanceOf() is 1.000145503x away from share-equivalents

subject F (0x25C288E6D899b9BC30160965aD9644c67e73bE0C) · methodology assay-rh-v0.2.0 · detected 2026-09-21T20:57:11.000Z

F reports uiMultiplier() = 1000145502866134027 (1.000145503). 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.0145% (the true count is 1.0001x the raw balance). Token value computed as balance * Chainlink feed price is unaffected, because the feed is already multiplier-adjusted.

Impact

1.46 bps · 0.0145%

totalSupply raw 18822.7078 tokens vs 18825.4466 share-equivalents (delta 2.7388). Presenting the raw balance as a share count understates by 0.0145%; equivalently the true count is 1.0001x the raw.

Evidence — 2/2 citations re-fetched and byte-compared

mismatched 0 · pruned 0 · verified 2026-09-21T20:57:19.112Z

uiMultiplier() == 1000145502866134027

chain 4663 · block 69101444 · uiMultiplier()
0x25C288E6D899b9BC30160965aD9644c67e73bE0C

0x0000000000000000000000000000000000000000000000000de13b092e0a540b

totalSupply() == 18822707821950000000000

chain 4663 · block 69101444 · totalSupply()
0x25C288E6D899b9BC30160965aD9644c67e73bE0C

0x0000000000000000000000000000000000000000000003fc618b8d1558516c00

Reproduce this yourself:

cast call 0x25C288E6D899b9BC30160965aD9644c67e73bE0C "uiMultiplier()" \
  --block 69101444 \
  --rpc-url https://rpc.mainnet.chain.robinhood.com

Note: the public RPC prunes state within roughly 1k–10k blocks, so an older block may no longer be served. That makes a citation unchecked here, not disproven — ASSAY reports those two cases separately and never publishes a finding whose citation contradicts chain state.