{"schema":"antibody.manifest.v2","program":{"name":"Acme Lend — pull-request checks (antibody-immune-demo)","project":"acme.antibody.testnet","description":"Fictional lending protocol with planted bugs (DELIBERATELY VULNERABLE TEST FIXTURE)."},"anchor":{"chain_id":11155111,"block_number":12091630,"block_hash":"0x7f44e2687a5f504e6fd193a30b16b1ab8b0dfeb90d0395b3324b81aa101c4f1c","evm_spec":"osaka","trust":"light-client"},"targets":[{"name":"AcmeGuard","address":"0x577e5c56eb01ca9518830f031fe1afe83a748dab","code_hash":"0xadf6b61535cbcbb83cfe61d868a55950e9739fccda86fa3753d7fb1734549792"},{"name":"acUSD","address":"0x1379ac5e47c4158f47b7e71b907c8d90ae39ec87","code_hash":"0x65a52170c555baeca47f4274d56f7a6fe9c9ca2b4a30310f20d62bac38033578"},{"name":"acETH","address":"0x092e73d0169113084ab47f7d7f4e7f3b37d850a5","code_hash":"0xed0cf4c2fca5f1d6c8c22773afa2a3246a8656b0de4e956f837fdcd5694b4181"},{"name":"AcmePool","address":"0x6bbcf451bcb91d734bcef763422382d9634c23cb","code_hash":"0x92c2bf8e86af3d8013e7df23c172b115259fba8312044d7220a20fcc34feb207"},{"name":"AcmeLend","address":"0xe5680a532570f5f2b792847c02836dc00208cf6a","code_hash":"0x2a09df94f5f2041dc6de562b1a2bb52a6429f165964cf0a369efb006513eee3b"},{"name":"AcmeLendImpl","address":"0xb2295d823f0e6f2c76857a06bbebd3dcde28b711","code_hash":"0x068e73cd53808575224fa95f4158949bb46f6489d7f39cb70b7e141302d905a9"},{"name":"AcmeVault","address":"0x53abcaabc5b21a33458ba45c10c7411c0c5d3772","code_hash":"0x2a09df94f5f2041dc6de562b1a2bb52a6429f165964cf0a369efb006513eee3b"},{"name":"AcmeVaultImpl","address":"0xeada2d4e03e3efa7c9e6f9ff4a2ea272a565243f","code_hash":"0x2df89aed189cfcc8cdbf6ac74f1505d6b33e2ab618495d7dd9db6b9d0f2b5f7f"},{"name":"AcmeTreasury","address":"0x91838aad9ad7b1446ffbe30d8b4cfcef8fdf653b","code_hash":"0xd6f0202dfcdcdadd401160ac99fc76d420bc76df55108fe5e4d8b4e77fbdbd13"}],"invariants":{"address":"0xe88d533fa3f57c4d6fa6489a13e3430d30003596","runtime_code":"0x608060405234801561000f575f5ffd5b50600436106100b1575f3560e01c80639711715a1161006e5780639711715a1461016e57806397dffc61146101835780639ad042f8146101aa578063c64b3bb5146101c2578063cd5fbc01146101d5578063fbfa77cf146101dd575f5ffd5b806314eb8e9c146100b5578063443d6b14146100f957806360f6ace31461011057806361d027b31461011857806368e57d491461013f57806371a2fbfa14610166575b5f5ffd5b6100dc7f0000000000000000000000001379ac5e47c4158f47b7e71b907c8d90ae39ec8781565b6040516001600160a01b0390911681526020015b60405180910390f35b610102611f4081565b6040519081526020016100f0565b610102600281565b6100dc7f00000000000000000000000091838aad9ad7b1446ffbe30d8b4cfcef8fdf653b81565b6101027f00000000000000000000000000000000000000000000006c6b935b8bbd40000081565b610102600481565b610176610204565b6040516100f091906109fe565b6100dc7f000000000000000000000000e5680a532570f5f2b792847c02836dc00208cf6a81565b6101b261033c565b60405190151581526020016100f0565b6101026101d0366004610a33565b61072c565b610102600181565b6100dc7f00000000000000000000000053abcaabc5b21a33458ba45c10c7411c0c5d377281565b606061020e610759565b7f00000000000000000000000053abcaabc5b21a33458ba45c10c7411c0c5d37726001600160a01b03166301e1d1146040518163ffffffff1660e01b8152600401602060405180830381865afa15801561026a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061028e9190610aa1565b7f00000000000000000000000053abcaabc5b21a33458ba45c10c7411c0c5d37726001600160a01b03166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102ea573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030e9190610aa1565b6040805160208101949094528301919091526060820152608001604051602081830303815290604052905090565b6040516370a0823160e01b81526001600160a01b037f000000000000000000000000e5680a532570f5f2b792847c02836dc00208cf6a811660048301525f9182917f0000000000000000000000001379ac5e47c4158f47b7e71b907c8d90ae39ec8716906370a0823190602401602060405180830381865afa1580156103c4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103e89190610aa1565b90505f7f000000000000000000000000e5680a532570f5f2b792847c02836dc00208cf6a6001600160a01b031663f06ac3c16040518163ffffffff1660e01b8152600401602060405180830381865afa158015610447573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061046b9190610aa1565b90505f5b818110156106a157604051631114e1e360e21b8152600481018290525f907f000000000000000000000000e5680a532570f5f2b792847c02836dc00208cf6a6001600160a01b031690634453878c90602401602060405180830381865afa1580156104dc573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105009190610ab8565b604051631aefb10760e01b81526001600160a01b0380831660048301529192505f9161271091611f4091670de0b6b3a7640000917f00000000000000000000000000000000000000000000006c6b935b8bbd400000917f000000000000000000000000e5680a532570f5f2b792847c02836dc00208cf6a1690631aefb10790602401602060405180830381865afa15801561059d573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105c19190610aa1565b6105cb9190610af9565b6105d59190610b10565b6105df9190610af9565b6105e99190610b10565b60405163d283e75f60e01b81526001600160a01b0384811660048301529192505f917f000000000000000000000000e5680a532570f5f2b792847c02836dc00208cf6a169063d283e75f90602401602060405180830381865afa158015610652573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106769190610aa1565b90508181106106855781610687565b805b6106919087610b2f565b955050505080600101905061046f565b507f000000000000000000000000e5680a532570f5f2b792847c02836dc00208cf6a6001600160a01b031663630fd0ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106fe573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107229190610aa1565b8210159250505090565b5f80808061073c85870187610b42565b92509250925061074d838383610894565b93505050505b92915050565b6040516370a0823160e01b81526001600160a01b037f00000000000000000000000091838aad9ad7b1446ffbe30d8b4cfcef8fdf653b811660048301525f917f0000000000000000000000001379ac5e47c4158f47b7e71b907c8d90ae39ec87909116906370a0823190602401602060405180830381865afa1580156107e1573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108059190610aa1565b7f00000000000000000000000053abcaabc5b21a33458ba45c10c7411c0c5d37726001600160a01b031663682c20586040518163ffffffff1660e01b8152600401602060405180830381865afa158015610861573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108859190610aa1565b61088f9190610b2f565b905090565b5f61089d61033c565b6108a5576001175b836108ae610759565b10156108b8576002175b5f7f00000000000000000000000053abcaabc5b21a33458ba45c10c7411c0c5d37726001600160a01b03166301e1d1146040518163ffffffff1660e01b8152600401602060405180830381865afa158015610915573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109399190610aa1565b90505f7f00000000000000000000000053abcaabc5b21a33458ba45c10c7411c0c5d37726001600160a01b03166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610998573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109bc9190610aa1565b905083158015906109cc57508015155b80156109e957506109dd8186610af9565b6109e78584610af9565b105b156109f5576004831792505b50509392505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b5f5f60208385031215610a44575f5ffd5b823567ffffffffffffffff811115610a5a575f5ffd5b8301601f81018513610a6a575f5ffd5b803567ffffffffffffffff811115610a80575f5ffd5b856020828401011115610a91575f5ffd5b6020919091019590945092505050565b5f60208284031215610ab1575f5ffd5b5051919050565b5f60208284031215610ac8575f5ffd5b81516001600160a01b0381168114610ade575f5ffd5b9392505050565b634e487b7160e01b5f52601160045260245ffd5b808202811582820484141761075357610753610ae5565b5f82610b2a57634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561075357610753610ae5565b5f5f5f60608486031215610b54575f5ffd5b50508135936020830135935060409092013591905056","runtime_code_hash":"0x7c24527014fb85141a8a65f8bee940b575e1401b17af2b2dedb4d74afd971328","gas_limit":5000000,"slots":[{"bit":0,"name":"solvency","severity":"critical"},{"bit":1,"name":"fees_to_treasury","severity":"high"},{"bit":2,"name":"share_price","severity":"medium"}]},"impact":{"protocol_accounts":["0xe5680a532570f5f2b792847c02836dc00208cf6a","0x53abcaabc5b21a33458ba45c10c7411c0c5d3772","0x6bbcf451bcb91d734bcef763422382d9634c23cb","0x91838aad9ad7b1446ffbe30d8b4cfcef8fdf653b"],"native_usd":"2000","tokens":[{"symbol":"acUSD","address":"0x1379ac5e47c4158f47b7e71b907c8d90ae39ec87","decimals":18,"usd":"1"},{"symbol":"acETH","address":"0x092e73d0169113084ab47f7d7f4e7f3b37d850a5","decimals":18,"usd":"2000"}]},"capabilities":{"max_senders":2,"max_endowment_wei":"100000000000000000000","max_txs":4,"max_gas_per_tx":16777216,"max_total_gas":30000000,"max_blocks":1,"max_timestamp_delta":0,"max_entry_calls":256},"protected_accounts":[{"address":"0x36fddfc9c3be50c88712807aae15a1bd408fa6ba","kind":"user"}],"canaries":[{"to":"0xe5680a532570f5f2b792847c02836dc00208cf6a","data":"0x5891de72"},{"to":"0x53abcaabc5b21a33458ba45c10c7411c0c5d3772","data":"0x01e1d114"}],"settlement":{"bond":"1000000000000000000000","challenge_bond":"5000000000000000000000","fees":{"protocol_bps":0,"release":"0"},"gap":{"claim_amount":"10000000000000000000000","threshold_usd_micro":"100000000"},"instant":{"budget":"150000000000000000000000","cap":"100000000000000000000000","window_secs":3600},"known":{"max_count":4,"max_share_bps":5000},"pause":{"min_impact_usd_micro":"0","slots":[0]},"payouts":{"critical":"100000000000000000000000","decimals":24,"high":"30000000000000000000000","impact_bps":0,"impact_cap":"0","low":"0","medium":"10000000000000000000000"},"slot_budgets":[],"terms_sha256":"3a9c40175b7ae46a342566111ba65ca4a420c8ff2289eb7b08c8759b5125a34d","unevaluable":"refund","windows":{"challenge":60,"deadline":1796746263,"disclosure_max_delay":600,"exit_grace":60,"infra_grace":600,"rerun_window":600,"resolve":300,"reveal":600,"round_min":120,"run_timeout":240}}}