Account for idle-withdrawal rounding in the share bound
When idle assets are nonzero and the vault's asset/share ratio is non-integral, line 140 introduces a separate ERC-4626 withdrawal whose upward share rounding occurs in addition to the N market iterations. The stated exitAssets+N bound can therefore be one rounding unit short, causing a caller who uses the documented value to bound the permit allowance to revert; include the idle withdrawal in the bound and cover a non-1:1 share price in the new idle-assets tests.
AGENTS.md reference: AGENTS.md:L75-L77
Useful? React with 👍 / 👎.
Originally posted by @chatgpt-codex-connector[bot] in #104 (comment)
When idle assets are nonzero and the vault's asset/share ratio is non-integral, line 140 introduces a separate ERC-4626 withdrawal whose upward share rounding occurs in addition to the
Nmarket iterations. The statedexitAssets+Nbound can therefore be one rounding unit short, causing a caller who uses the documented value to bound the permit allowance to revert; include the idle withdrawal in the bound and cover a non-1:1 share price in the new idle-assets tests.AGENTS.md reference: AGENTS.md:L75-L77
Useful? React with 👍 / 👎.
Originally posted by @chatgpt-codex-connector[bot] in #104 (comment)