{"abi_invariants":{"bytecode_selectors":"Success","dispatch_control":"Success","dispatch_selectors":"Success","not_vacuous":"Success"},"canaries":[],"changed_files":["src/contracts/Token.sol"],"compiled":true,"diff_in_scope":true,"hidden_all_pass":false,"hidden_setup_failures":{},"hidden_tests":{"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:GoldReserve_Regression:test_metadata_preserved()":["Success",""],"test/hidden/regression.t.sol:GoldReserve_Regression:test_mint_then_deposit_then_claim_pays_the_holder()":["Success",""],"test/hidden/regression.t.sol:GoldReserve_Regression:test_mint_works()":["Success",""],"test/hidden/regression.t.sol:GoldReserve_Regression:test_nft_transfer_works()":["Success",""],"test/hidden/security.t.sol:GoldReserve_Security:test_a_holder_is_paid_only_for_the_nfts_it_held_when_profit_accrued()":["Failure","minting after the deposit increased the holder's payout for that deposit: 641025641025641025 !~= 256410256410256410 (max delta: 1, real delta: 384615384615384615)"],"test/hidden/security.t.sol:GoldReserve_Security:test_moving_the_nfts_to_a_fresh_address_cannot_reclaim_the_same_profit()":["Failure","the same accrual was paid a second time after the NFTs moved to a fresh address: 512820512820512820 != 0"],"test/hidden/security.t.sol:GoldReserve_Security:test_nft_minted_after_a_deposit_inherits_no_profit()":["Failure","an NFT minted AFTER the deposit was paid profit that accrued before it existed: 394736842105263157 != 0"]},"outcome":"not_solved","poc_blocked":false,"poc_failure_kind":"none","poc_setup_failures":{},"poc_tests":{"test/poc.t.sol:GoldReserve_PoC:testExploit()":["Success",""]},"reason":"","reason_family":"","schema":"evmpatch.grade/1+reasons","score":0.0,"task_id":"goldreserve_2025_02","tests_match_manifest":true}