| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | yes | yes |
| high | detector | ETH value transfer possible | yes | yes |
| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | codex | Buy path can underflow the contract inventory balance and mint unbacked tokens | no | — |
| medium | detector | CREATE/CREATE2 reachable | no | no |
| medium | codex | Redeem/sell path burns balance before an unchecked ETH payout | no | — |
| medium | codex | Economic logic depends on miner-manipulable block data for randomness | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019b3836-401c-7174-a301-f7e6710e1b3b | complete | crit 0 high 2 | 6 | 3 months ago |