{"schema":"antibody.manifest.v2","program":{"name":"Acme Lend v1 — pre-launch (testnet)","project":"acme.antibody.testnet","description":"Fictional lending protocol with planted bugs (DELIBERATELY VULNERABLE TEST FIXTURE)."},"anchor":{"chain_id":11155111,"block_number":12063269,"block_hash":"0x16662a318858fe75ac73c5ffc61dd184b0069ce90148470fff821b16d373f2c2","evm_spec":"osaka","trust":"light-client"},"targets":[{"name":"AcmeGuard","address":"0x0a1811b3a36287727abc7065aacc8fc4547b2f98","code_hash":"0xf45c264911a1eecaa48c7c7b191650c4b38d4cb1b04e3861b284d211c5686367"},{"name":"acUSD","address":"0xf4e8d84a44d5d901b322d82e60b1a6cdc7620955","code_hash":"0x3afc4a0ac6cb2e7864dc0a31324dae2889b78d9f4bae5a8bddcd4158adf1c3ab"},{"name":"acETH","address":"0x4edd629802596011ab8d76d996ef35b419961c76","code_hash":"0xbea2eab7997a15413a1e5f54c3c57369bf3e0aa935d477869ee18f38d8be57f0"},{"name":"AcmePool","address":"0x0053fefbaab1d98b3cc6765f435dbb6f8682f245","code_hash":"0xb1ecd0600348f3f1cf532e5ff1a4b1d976d0aa492e5a9d9ef1ea4882c17ae5c4"},{"name":"AcmeLend","address":"0xca1fafbcfc14d665d76045a018b215987f39f8a7","code_hash":"0x2a09df94f5f2041dc6de562b1a2bb52a6429f165964cf0a369efb006513eee3b"},{"name":"AcmeLendImpl","address":"0x4c348e8758deea78df03d0c0b20c58d1148edc2c","code_hash":"0x468923ece363c401f502ba169f9665beccdf07a24490820bdb911bbfecea86e9"},{"name":"AcmeVault","address":"0x0433ceb84db807402de6642929ebf1450381cc46","code_hash":"0x2a09df94f5f2041dc6de562b1a2bb52a6429f165964cf0a369efb006513eee3b"},{"name":"AcmeVaultImpl","address":"0x0fd4fe9da00079c3f3a94be994482ab8eb8c44fa","code_hash":"0x648bd158667ee1467ed0904caee66833ba010b2b6433f13313c37bf81ce5fc35"},{"name":"AcmeTreasury","address":"0x25d16d1c0c5b86b88adae16e5a526a5526dc0c97","code_hash":"0xf9431cd77b16235470fe08f3ce041f6da901556130b38cc20ba616432b4e3ded"}],"invariants":{"address":"0xe88d533fa3f57c4d6fa6489a13e3430d30003596","runtime_code":"0x608060405234801561000f575f5ffd5b50600436106100b1575f3560e01c80639711715a1161006e5780639711715a1461016e57806397dffc61146101835780639ad042f8146101aa578063c64b3bb5146101c2578063cd5fbc01146101d5578063fbfa77cf146101dd575f5ffd5b806314eb8e9c146100b5578063443d6b14146100f957806360f6ace31461011057806361d027b31461011857806368e57d491461013f57806371a2fbfa14610166575b5f5ffd5b6100dc7f000000000000000000000000f4e8d84a44d5d901b322d82e60b1a6cdc762095581565b6040516001600160a01b0390911681526020015b60405180910390f35b610102611f4081565b6040519081526020016100f0565b610102600281565b6100dc7f00000000000000000000000025d16d1c0c5b86b88adae16e5a526a5526dc0c9781565b6101027f00000000000000000000000000000000000000000000006c6b935b8bbd40000081565b610102600481565b610176610204565b6040516100f091906109fe565b6100dc7f000000000000000000000000ca1fafbcfc14d665d76045a018b215987f39f8a781565b6101b261033c565b60405190151581526020016100f0565b6101026101d0366004610a33565b61072c565b610102600181565b6100dc7f0000000000000000000000000433ceb84db807402de6642929ebf1450381cc4681565b606061020e610759565b7f0000000000000000000000000433ceb84db807402de6642929ebf1450381cc466001600160a01b03166301e1d1146040518163ffffffff1660e01b8152600401602060405180830381865afa15801561026a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061028e9190610aa1565b7f0000000000000000000000000433ceb84db807402de6642929ebf1450381cc466001600160a01b03166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102ea573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030e9190610aa1565b6040805160208101949094528301919091526060820152608001604051602081830303815290604052905090565b6040516370a0823160e01b81526001600160a01b037f000000000000000000000000ca1fafbcfc14d665d76045a018b215987f39f8a7811660048301525f9182917f000000000000000000000000f4e8d84a44d5d901b322d82e60b1a6cdc762095516906370a0823190602401602060405180830381865afa1580156103c4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103e89190610aa1565b90505f7f000000000000000000000000ca1fafbcfc14d665d76045a018b215987f39f8a76001600160a01b031663f06ac3c16040518163ffffffff1660e01b8152600401602060405180830381865afa158015610447573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061046b9190610aa1565b90505f5b818110156106a157604051631114e1e360e21b8152600481018290525f907f000000000000000000000000ca1fafbcfc14d665d76045a018b215987f39f8a76001600160a01b031690634453878c90602401602060405180830381865afa1580156104dc573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105009190610ab8565b604051631aefb10760e01b81526001600160a01b0380831660048301529192505f9161271091611f4091670de0b6b3a7640000917f00000000000000000000000000000000000000000000006c6b935b8bbd400000917f000000000000000000000000ca1fafbcfc14d665d76045a018b215987f39f8a71690631aefb10790602401602060405180830381865afa15801561059d573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105c19190610aa1565b6105cb9190610af9565b6105d59190610b10565b6105df9190610af9565b6105e99190610b10565b60405163d283e75f60e01b81526001600160a01b0384811660048301529192505f917f000000000000000000000000ca1fafbcfc14d665d76045a018b215987f39f8a7169063d283e75f90602401602060405180830381865afa158015610652573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106769190610aa1565b90508181106106855781610687565b805b6106919087610b2f565b955050505080600101905061046f565b507f000000000000000000000000ca1fafbcfc14d665d76045a018b215987f39f8a76001600160a01b031663630fd0ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106fe573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107229190610aa1565b8210159250505090565b5f80808061073c85870187610b42565b92509250925061074d838383610894565b93505050505b92915050565b6040516370a0823160e01b81526001600160a01b037f00000000000000000000000025d16d1c0c5b86b88adae16e5a526a5526dc0c97811660048301525f917f000000000000000000000000f4e8d84a44d5d901b322d82e60b1a6cdc7620955909116906370a0823190602401602060405180830381865afa1580156107e1573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108059190610aa1565b7f0000000000000000000000000433ceb84db807402de6642929ebf1450381cc466001600160a01b031663682c20586040518163ffffffff1660e01b8152600401602060405180830381865afa158015610861573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108859190610aa1565b61088f9190610b2f565b905090565b5f61089d61033c565b6108a5576001175b836108ae610759565b10156108b8576002175b5f7f0000000000000000000000000433ceb84db807402de6642929ebf1450381cc466001600160a01b03166301e1d1146040518163ffffffff1660e01b8152600401602060405180830381865afa158015610915573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109399190610aa1565b90505f7f0000000000000000000000000433ceb84db807402de6642929ebf1450381cc466001600160a01b03166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610998573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109bc9190610aa1565b905083158015906109cc57508015155b80156109e957506109dd8186610af9565b6109e78584610af9565b105b156109f5576004831792505b50509392505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b5f5f60208385031215610a44575f5ffd5b823567ffffffffffffffff811115610a5a575f5ffd5b8301601f81018513610a6a575f5ffd5b803567ffffffffffffffff811115610a80575f5ffd5b856020828401011115610a91575f5ffd5b6020919091019590945092505050565b5f60208284031215610ab1575f5ffd5b5051919050565b5f60208284031215610ac8575f5ffd5b81516001600160a01b0381168114610ade575f5ffd5b9392505050565b634e487b7160e01b5f52601160045260245ffd5b808202811582820484141761075357610753610ae5565b5f82610b2a57634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561075357610753610ae5565b5f5f5f60608486031215610b54575f5ffd5b50508135936020830135935060409092013591905056","runtime_code_hash":"0xcca0f5f733aab4ce9efcacc1435c6281c60f8e937ef767816c54294b4f020fc2","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":["0xca1fafbcfc14d665d76045a018b215987f39f8a7","0x0433ceb84db807402de6642929ebf1450381cc46","0x0053fefbaab1d98b3cc6765f435dbb6f8682f245","0x25d16d1c0c5b86b88adae16e5a526a5526dc0c97"],"native_usd":"2000","tokens":[{"symbol":"acUSD","address":"0xf4e8d84a44d5d901b322d82e60b1a6cdc7620955","decimals":18,"usd":"1"},{"symbol":"acETH","address":"0x4edd629802596011ab8d76d996ef35b419961c76","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":"0xd9c5da47f78af0ae7afe0be56986ea9a50973eb5","kind":"user"}],"canaries":[{"to":"0xca1fafbcfc14d665d76045a018b215987f39f8a7","data":"0x5891de72"},{"to":"0x0433ceb84db807402de6642929ebf1450381cc46","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":1796397753,"disclosure_max_delay":600,"exit_grace":60,"infra_grace":600,"rerun_window":600,"resolve":300,"reveal":600,"round_min":120,"run_timeout":240}}}