{"abi_invariants":{"bytecode_selectors":"Success","dispatch_control":"Success","dispatch_selectors":"Success","not_vacuous":"Success"},"canaries":["residual_vulnerability"],"changed_files":["src/contracts/Token.sol"],"compiled":true,"diff_in_scope":true,"hidden_all_pass":false,"hidden_setup_failures":{},"hidden_tests":{"test/hidden/amm_regression.t.sol:NGP_AmmRegression:test_amm_buy_then_sell_round_trip()":["Success",""],"test/hidden/amm_regression.t.sol:NGP_AmmRegression:test_trading_flags_still_open()":["Success",""],"test/hidden/invariants_auto.t.sol:AutoInvariants:test_abi_selectors_dispatch()":["Success",""],"test/hidden/invariants_auto.t.sol:AutoInvariants:test_abi_selectors_preserved()":["Success",""],"test/hidden/invariants_auto.t.sol:AutoInvariants:test_contract_has_code()":["Success",""],"test/hidden/invariants_auto.t.sol:AutoInvariants:test_selector_check_is_not_vacuous()":["Success",""],"test/hidden/invariants_auto.t.sol:AutoInvariants:test_unknown_selector_is_rejected()":["Success",""],"test/hidden/regression.t.sol:NGP_Regression:test_metadata_preserved()":["Success",""],"test/hidden/regression.t.sol:NGP_Regression:test_normal_transfer_works()":["Success",""],"test/hidden/regression.t.sol:NGP_Regression:test_price_view_works()":["Success",""],"test/hidden/security.t.sol:NGP_Security:test_direct_transfer_to_the_pair_moves_nothing_out_of_it()":["Failure","a direct transfer to the pair moved NGP OUT of it: the pool is still being drained inside someone else's transfer: 3500000000000000000000 != 0"],"test/hidden/security.t.sol:NGP_Security:test_ordinary_sell_moves_no_tokens_out_of_the_pair()":["Failure","a sell moved NGP OUT of the pair: the seller is draining the pool inside their own transfer (amm-reserve-manipulation): 3630547125325919886628 != 0"],"test/hidden/security.t.sol:NGP_Security:test_pair_keeps_every_token_an_ordinary_sell_sends_it()":["Failure","the pair did not keep everything the sell sent it: tokens leaked out of the pool during the seller's transfer: 2593247946661371347594 != 6223795071987291234222"],"test/hidden/security.t.sol:NGP_Security:test_treasury_and_reward_are_not_funded_out_of_the_pair()":["Failure","the treasury fee on a sell was taken out of the pair, not out of the seller: 2593247946661371347592 != 0"]},"outcome":"not_solved","poc_blocked":true,"poc_failure_kind":"revert","poc_setup_failures":{},"poc_tests":{"test/poc.t.sol:NGP_PoC:testExploit()":["Failure","BEP20: transfer amount exceeds balance"]},"reason":"","reason_family":"","schema":"evmpatch.grade/1+reasons","score":0.0,"task_id":"ngp_2025_09","tests_match_manifest":true}