| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| medium | codex | Ownership transfer calls assume success; misconfigured or non‑reverting PoolOwners can break trade invariants | no | — |
| low | codex | Unchecked ERC20 `transfer` return values can desync fee accounting | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019ba9bc-ec96-7188-951c-3581e543fed0 | complete | crit 0 high 0 | 5 | 3 months ago |
| 019b477e-b4e9-70bc-b423-6d94181efae0 | complete | crit 0 high 0 | 2 | 3 months ago |
| 019b3844-922f-72ca-b597-ded953976a34 | complete | crit 0 high 0 | 2 | 3 months ago |