ERC-7540 extends ERC-4626 for vaults that cannot settle a deposit or redemption in the same transaction, which is the normal case for institutional and real-world-asset funds. This tool recomputes the pending, claimable and claimed split from declared request state, applies a sequence of claims at the pro-rata rate the vault fixed when it made the request claimable, reports the rounding residue a run of partial claims strands, and checks the standard's own invariants one by one. Exact uint256 integer arithmetic throughout, no floating point.
ERC-4626 fixes a rounding direction for every one of its functions. ERC-7540 does not extend that to partial claims: it requires that all requests sharing a non-zero requestId become claimable at the same pro-rata rate, but it states no direction for rounding an individual partial claim. So the direction here is something you declare, not something this tool derives, and every claim reports what the other direction would have paid out beside what it did pay. Defaulting to rounding down follows ERC-4626's favour-the-vault reasoning, which is an inherited convention rather than a requirement of ERC-7540. What this tool cannot tell you: whether the amounts you typed match any deployed vault, when or whether a pending request will actually be fulfilled, whether the controller is authorised, or whether a claim transaction would succeed.
unit is requested (deposit: assets, redeem: shares) or received (deposit: shares, redeem: assets), matching the standard's four claim overloads. A claim beyond what remains claimable is rejected rather than silently clamped.