{"abi_invariants":{"bytecode_selectors":"absent","dispatch_control":"absent","dispatch_selectors":"absent","not_vacuous":"absent"},"canaries":[],"changed_files":["src/contracts/Token.sol"],"compiled":true,"diff_in_scope":false,"hidden_all_pass":false,"hidden_setup_failures":{"test/hidden/invariants_auto.t.sol:AutoInvariants":"EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 75506153327051474587906755573858019282972751592871715030499431892688993766217: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0xa6eef7e35abe7026729641147f7915"},"hidden_tests":{"test/hidden/regression.t.sol:MCAI_Regression:test_amm_buy_works()":["Failure","vm.deal: failed to get account for 0x0000000000000000000000000000000000b0bb1E: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getBalance [\"0x0000000000000000000000000000000000b0bb1e\", \"0x14b6d3c\"]"],"test/hidden/regression.t.sol:MCAI_Regression:test_approved_transferFrom_works_and_debits_allowance()":["Failure","vm.prank: failed to get account for 0x00000000000000000000000000000000000117E4: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getBalance [\"0x00000000000000000000000000000000000117e4\", \"0x14b6d3c\"]"],"test/hidden/regression.t.sol:MCAI_Regression:test_metadata_preserved()":["Success",""],"test/hidden/regression.t.sol:MCAI_Regression:test_normal_transfer_works()":["Failure","vm.prank: failed to get account for 0x00000000000000000000000000000000000A11cE: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getBalance [\"0x00000000000000000000000000000000000a11ce\", \"0x14b6d3c\"]"],"test/hidden/regression.t.sol:MCAI_Regression:test_taxwallet_transferFrom_with_approval_moves_tokens()":["Failure","EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 23028605044465907330590143408402628608607601776866354202691344135048377340262: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0x32e9ba82ba1265c9db926e9f9e962d"],"test/hidden/regression.t.sol:MCAI_Regression:test_transferFrom_debits_the_sender_exactly()":["Failure","EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 67636838853495343560857180560514193218047062097941764749123491324338045849287: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0x9589181ae2674f1203ccaa7dd8d502"],"test/hidden/regression.t.sol:MCAI_Regression:test_unapproved_spender_cannot_move_tokens()":["Failure","EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 92737304782526971453854896467636928138423086763491661016762623338135157954320: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0xcd077454f9a8b6b2a4a301928260d8"],"test/hidden/security.t.sol:MCAI_Security:test_taxwallet_cannot_move_holder_tokens_without_approval()":["Failure","EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 78543158553598686148638835834949107218613625935040866044242186441045927734796: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0xada5da3403a647afe8ac6178adca33"],"test/hidden/security.t.sol:MCAI_Security:test_taxwallet_cannot_move_pair_tokens_without_approval()":["Failure","EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 64989051864140497098367551748748378792513452267687878274729726101262200356207: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0x8fae7ff504a4aa7fa0cff40a5843b2"],"test/hidden/security.t.sol:MCAI_Security:test_taxwallet_transferFrom_debits_allowance()":["Failure","EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 24029004644379172903573199032907279622822360070542495345659692722274166502703: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0x351fef4637e11852f19f90d04aa41a"],"test/hidden/security.t.sol:MCAI_Security:test_unapproved_spender_cannot_burn_to_dead_wallet()":["Failure","EVM error; database error: failed to get storage for 0x810B5902CB2ac2Fa63dFE4A6935EA32aED975cc8 at 77041382601556914856323004842713349145705265199234382265622304951109847295127: server returned an error response: error code -32000: OFFLINE: unrecorded eth_getStorageAt [\"0x810b5902cb2ac2fa63dfe4a6935ea32aed975cc8\", \"0xaa53e09608157f4979af27cf9d8807"]},"outcome":"inconclusive","poc_blocked":false,"poc_failure_kind":"","poc_setup_failures":{},"poc_tests":{"test/poc.t.sol:MCAI_PoC:testExploit()":["Failure","ERC20: transfer amount exceeds allowance"]},"reason":"unrecorded_rpc","reason_family":"unrecorded_rpc","schema":"evmpatch.grade/1+reasons","score":0.0,"task_id":"mcai_2025_01","tests_match_manifest":false}