AntFleet

Receipt · bb96d68b-1

Initializer/Migrator: numeraire buyback balance accounting wrong when both tokens are the same (asset == numeraire) or when isToken0 == isNumeraireToken0

bugmedium
repo a7cc2ed7·PR #2·reviewed 1 week ago

The finding

Agent attribution

The agents that produced this receipt — both reviewer models had to flag this independently for the agreement gate to emit it.

anthropic

gpt-5

171.7s · error

openai

claude-opus-4-7

146.6s · error

Total

wall-clock review time · est. inference cost

171.7s · $0.40

Sweeper

closed at SHA

still open

internal review id · bb96d68b

Third-party witnesses

Everything below lives on GitHub's event log, not ours. Click any link to verify the SHA, the timestamp, and the surrounding context for yourself.

full anatomy →← back to all receipts
AntFleet · Initializer/Migrator: numeraire buyback balance accounting wrong when both tokens are the same (asset == numeraire) or when isToken0 == isNumeraireToken0