1 {2 "classification": "COMPOSED_ORDINARY_BLOCK_FROZEN_CHECK_PASS_INDEPENDENT_REVIEW_OPEN",3 "recorded_at_utc": "2026-09-11T06:57:49.803246+00:00",4 "source_commit": "f2ab5eb37c8a436c4cf2e74059dd71520e0ad73a",5 "command": "make check",6 "exit_code": 0,7 "validation_worktree": "/Users/thomas/work/eip-8282/direct-closure-validation",8 "ffi_prerequisite": {9 "command": "lake build EvmYul.FFI.ffi:dynlib",10 "exit_code": 0,11 "provenance": "same collected frozen make check"12 },13 "checks": [14 "audit_metadata.py",15 "full default lake build",16 "PSubmit1Mutant",17 "PDrain1Mutant",18 "PControl1Mutant",19 "Mutants",20 "DirectMutations",21 "ReferenceOrdinaryBlock eight kernel mutation/edge witnesses",22 "28 new production exports in default aggregate/Trust",23 "all existing registered tests and semantic scripts unchanged"24 ],25 "build_log": {26 "path": "audit/receipts/direct-ordinary-block-build-20260911.txt",27 "sha256": "0668097807a6f6c7ef6111af480e0723f67a788578d806d6ccd3b09cae8a73f6"28 },29 "source_sha256": {30 "Eip8282.lean": "8562232b914db0e6fe14e482255f772ff31cee9c9be812397a8a04be5b8ec6ab",31 "Eip8282/Audit/AllGuarantees.lean": "1068eaf320b104c6a4fb7c7f5484b240facca847c648702e1ebc98b9381cea4c",32 "Eip8282/Audit/Bytecode.lean": "cf17b12a3ceda77a0abf6fd0c71fb0b3bc0fba73a1427c2c593155ba99df36fc",33 "Eip8282/Audit/Correspondence.lean": "ad44620c23a756c81a918cb3a3bafb69aa238dbc8cb88ee0d57e6a0198f02b2f",34 "Eip8282/Audit/EntryReach.lean": "43fcedfb76e27afe128ceefe82c0ddfedaecc047777b3e7ff24b4a3b541476ff",35 "Eip8282/Audit/EntryReach/Blocks.lean": "f66d2b0d591bce495b9ae056a110bd98cdf24da60514b6bdb6a317d40db4f709",36 "Eip8282/Audit/EntryReach/Deposit.lean": "8e3e827f47ec3d377ffb4b5f19fdb805b4555f10cb78da11c8aa4c02cba5ec79",37 "Eip8282/Audit/EntryReach/Endpoint.lean": "0b391c882efc73266e6cb32ece7f6095ca3a224c69db2ddbf4f1bcd382ef206a",38 "Eip8282/Audit/EntryReach/Exit.lean": "4f785d1c72db745f560ceaaa0741921ca1b2a2c543f7fd4d8894ba651b93d00a",39 "Eip8282/Audit/EntryReach/Fee.lean": "6e8e0aae0dade2497a1758e646ddda6a9ad10d6d8957770cabcd8f832f4197cc",40 "Eip8282/Audit/EntryReach/FeeQuote.lean": "c5555f91f283779b3aaa567c903780f0109d6133f3225b50785025128222ce1b",41 "Eip8282/Audit/EntryReach/FeeQuoteGetter.lean": "c385b9680ae160c0094a968795a9b0e4d5de244bbf6819469700173f24e9479c",42 "Eip8282/Audit/EntryReach/FeeQuotePath.lean": "3ff92a8d540a3545cbcd1205e67e0e9904a237ba8dc6a73af1c0523ec85b4021",43 "Eip8282/Audit/EntryReach/Machine.lean": "2acfddc54c3d89198ae913a578cd7c2310588387b3f2886b96ff97dad2db3fbf",44 "Eip8282/Audit/EntryReach/Operands.lean": "c5d247ad4f07f87ab66b3b04b06c33a0bdb6ee194bab033ab1566ff5287ff73b",45 "Eip8282/Audit/EntryReach/Path.lean": "fc875cb35fe26ee7d2bd73295bdfdb79a9b79595e4957cba21b16682be873018",46 "Eip8282/Audit/EntryReach/Steps.lean": "e66411fe065b01924178a96510bb23a024bab57a36efaa476f988a9b91f8a42b",47 "Eip8282/Audit/EntryReach/Words.lean": "81794ed621d68d8226ad69baba2b1a2672324d1175c7cfe8d6d39f40da95a083",48 "Eip8282/Audit/EvmRunner.lean": "8134ed8547aaf7d93f6610d3e2be142c3d1f9ec70a30056cc4519401d0633ef8",49 "Eip8282/Audit/Guarantees/PControl1.lean": "dd480ed5c8247f169fc9bfc324b43ddc3395da0009d3ff338ea094b11b83bd83",50 "Eip8282/Audit/Guarantees/PControl1/Count.lean": "82bfc6b45d7e23f643c8e09a82deed1a44fa7a0733454fb2906e8e93a178e213",51 "Eip8282/Audit/Guarantees/PControl1/Ctor.lean": "e3e2d04000d0480e30a9cfc3b15f0a8464ea5721007f851e0757394b1da0a40d",52 "Eip8282/Audit/Guarantees/PControl1/CtorXi.lean": "efcd5b4362fd00fda12b954f0455a49f3d337606c8c146ff0245a1af892ede4b",53 "Eip8282/Audit/Guarantees/PControl1/Excess.lean": "3ef731bb2b01a54620668178242cd5245ca1ea309cecaa269b6f78fb05fc43c2",54 "Eip8282/Audit/Guarantees/PControl1/Gate.lean": "d0e45b92665ff40eed0e7a9afeeef4917f361576ad0fceeb30c635c3807a583c",55 "Eip8282/Audit/Guarantees/PDrain1.lean": "7801e615e0b24c1e6e5235b3d673ffe9f874e736aa8518d673a3947620fdb493",56 "Eip8282/Audit/Guarantees/PDrain1/Encode.lean": "37661c600afff4cd810e4246463418215032cb01c580bab4f656fc3c43538038",57 "Eip8282/Audit/Guarantees/PDrain1/Fifo.lean": "f8cbe79c8bdef16363bf9f045860625f265d826dc0652017936cb2a546532ce8",58 "Eip8282/Audit/Guarantees/PDrain1/Footprint.lean": "5017c9fa4ef77a1f5b979462b7e03a393117a4d2c89ab6c11232b7c346d9812c",59 "Eip8282/Audit/Guarantees/PSubmit1.lean": "9cb71da9d44e2a30661e59eb2f92096f1b8800e0b92dd06b61766097be7381de",60 "Eip8282/Audit/Guarantees/PSubmit1/Append.lean": "d9e192a91e35a6513e7695fdc15f7faf3ad94cc0099dba8413f7912612041c4f",61 "Eip8282/Audit/Guarantees/PSubmit1/FakeExpo.lean": "a7059729edc13d0f106fc78e4a51b580a7ebc8d64d3747db783710bb40baf68e",62 "Eip8282/Audit/Guarantees/PSubmit1/Fee.lean": "6da9934d83d07388d0b42b5576e1cb79bc452b72788cc2dcbec1837040fe756f",63 "Eip8282/Audit/Guarantees/PSubmit1/Revert.lean": "5541716202f251e7d39c30fda9f6eb3be2dd4c1f3454ff19ac77840825b8d1df",64 "Eip8282/Audit/Guarantees/Registry.lean": "1e5babdfa598503553ad78bc62d90c23eb6998ef692dba485e247512d37d6fe7",65 "Eip8282/Audit/Integrator.lean": "1b9664ebee01da4502b0481f538ccebc6f5c208200476c8e185fe306b4fb3e3a",66 "Eip8282/Audit/Integrator/AccountedState.lean": "382a0419905acd948e36c7290e2b81f6d3641f712e4077bb471386340b7b54e7",67 "Eip8282/Audit/Integrator/ActualAppendGas.lean": "79a04a7b1a092026b24e3dfc3b0adc9bffaaa17a473e76a3f8a5447e75a7ea0d",68 "Eip8282/Audit/Integrator/ActualHistoryCalls.lean": "5688dfc67a9f4c99e462eea19716aced138bc84a4e1f8be4143c18470c784f1a",69 "Eip8282/Audit/Integrator/ActualJournalHistory.lean": "744476e8ebc4ce5fbfe722045a405fe0a9a8e7b5d61554898df382daa0a39e8e",70 "Eip8282/Audit/Integrator/AdmissionInversion.lean": "b77c1eef9df027a365baac47ae2978c78dec6e92948d6c0aa1162779019aa6a0",71 "Eip8282/Audit/Integrator/AppendDataSpec.lean": "6f74417e67adbe2d42fb62bd69e7b53eea17d05a71e0ca53c4c533cf42c6c2d1",72 "Eip8282/Audit/Integrator/AppendEvents.lean": "227ac63c9d323bac1a1b3e9e396738d982a6bc71e5e2a7ea2742fbe011ed9d83",73 "Eip8282/Audit/Integrator/AppendGasPath.lean": "4ae4dfb5b97ede8a12f108dc79ba45c4e041936b554772cbefb8c5539074c366",74 "Eip8282/Audit/Integrator/AppendInversion.lean": "11b57eb1e9446067a798c51c7ad97f34767630c8be796d481f109b180031a4ce",75 "Eip8282/Audit/Integrator/AppendSpec.lean": "e32555d3e11d19b99132213c3504b795ffedce7bdb05bd044700c0cd46c742c3",76 "Eip8282/Audit/Integrator/AppendStorage.lean": "06e1f4e9e0c0f447c52eff02f853b9f15b511f58b944e8ecb21745e4e54c23eb",77 "Eip8282/Audit/Integrator/AuditedChildGas.lean": "476d03b05433139f778807104864ce4cd14ac3020d8aea4dcb609d7c2651904a",78 "Eip8282/Audit/Integrator/CallBridge.lean": "b42ae57766fa3fb55b12728c5c36cbcbea1eafdff38489ebebea7ab49ccb8bcf",79 "Eip8282/Audit/Integrator/CallDispatchGas.lean": "e1c5f79113ed283b4193bf6548adf7b91190a5b37183b00caf19a644460c6d4b",80 "Eip8282/Audit/Integrator/CallFamilyGas.lean": "cae233fa8cbc8d8bd84c8ba00e48970c97a1abba03fe6987682d897e12a0e4b0",81 "Eip8282/Audit/Integrator/CallFunding.lean": "d5429791c3baf878e2fa0ea041d8bb00604b39f97bb5e23cfd25ad75c5aed9f2",82 "Eip8282/Audit/Integrator/CallGasAccounting.lean": "35fc0df6019b4de427b3a1fced13564fa41b9c3a7e16ac40b9a929f8391f78b1",83 "Eip8282/Audit/Integrator/CallOutcome.lean": "4db2f3e3c92cdc8f958a9f8d69efd9b5d9c627d8ad421c847e11d4af1886a956",84 "Eip8282/Audit/Integrator/CallOwnerCoherence.lean": "8939740e428456bb96cafe21811a7017aed29521e2a4700ed5f1828b6cd84e5e",85 "Eip8282/Audit/Integrator/CallRevert.lean": "28eff04033865e20973543f911552e13a948b42c0dc572799a99f5f983c70a37",86 "Eip8282/Audit/Integrator/CallSuccess.lean": "fa0714e036da0b40ee638f60d57b9ba70a487635be4ca6678fc13be31938eccc",87 "Eip8282/Audit/Integrator/CallWorld.lean": "d91c68bcce947482acaabbd79c9779ac60bf49f6c908acf7185830f5059bbc18",88 "Eip8282/Audit/Integrator/CodeStorageFrame.lean": "1a6efa00c64b3da0eb7c88b0ed59bc63ead86b1716cfe20f51d86fc6a3c2abe8",89 "Eip8282/Audit/Integrator/CommittedAppend.lean": "1bae1c578fb56ca68e7a1cd3cb6c2c6e7ac9719e55748e5d1fd2900c86dc7b5b",90 "Eip8282/Audit/Integrator/CommittedSystem.lean": "e28f6cdb5c11c3ce7613333cdd4ddda04f76df2e7b6a3537b7d8be4453d11d92",91 "Eip8282/Audit/Integrator/ConcreteHistory.lean": "d1a5d5f8ffd6c40da56215308934ace6d583cb7e52881bd0ec3be9a3a90c345b",92 "Eip8282/Audit/Integrator/ControlSpec.lean": "a8d1c48459d1779fabba1031f9b8e2474ae429638615826c9a4b0b63fdb39ebf",93 "Eip8282/Audit/Integrator/CreationCollisionScope.lean": "e8381a99bae83ba0f9e707effada24667e3c2f20ca0d30c0570e4c11e23037c0",94 "Eip8282/Audit/Integrator/CreationErrorScope.lean": "c1c76e2b4f7132881c04c35f2195787703eb205b053160510e470958bce847c7",95 "Eip8282/Audit/Integrator/CreationFunding.lean": "56aea62e253201415efc28eab267a99f9d6adc671885521d4eaec10b7c59816a",96 "Eip8282/Audit/Integrator/CreationGas.lean": "13aff91fba701884c09b25065ac1f8e7afaa849ce2b4c3b9e75abebed975feeb",97 "Eip8282/Audit/Integrator/CreationOutcome.lean": "2f3acec9be4d3c26f425ff9e94d8bbbb4709ffee9b93527313e31ff22a541ed3",98 "Eip8282/Audit/Integrator/CreationPreimageTotal.lean": "de3d9e2cf426bfd042dfc4cd4cbb9607c8ce00436dc34676c81eff84b7980778",99 "Eip8282/Audit/Integrator/CreationSettlement.lean": "d95b28f2a46daf588a2aaf15e8a8f77fc28b075116e5f2395360e73152383820",100 "Eip8282/Audit/Integrator/CreationSettlementProgress.lean": "24b3e6e8046ba8e3dfe7b7d02bc59cfa32ca7abf670d5202c51a147531e7f660",101 "Eip8282/Audit/Integrator/CreationStorageFrame.lean": "764bca5ab5f2806924004395a447d4f180f970b3f7347df433dc3dc655ad5629",102 "Eip8282/Audit/Integrator/CreationWorld.lean": "5b096b395cb74f05511c6a288522630cbf436cac205881ffe9f7760597b358ed",103 "Eip8282/Audit/Integrator/DepositDrain.lean": "7dca8b1b01d837ff73b7b3ece4a8e8dc101c73c7cf8abdd83d22ff5e89aed5d0",104 "Eip8282/Audit/Integrator/DirectAdmission.lean": "6ff3c19de48cc96bb17410ead5074be485a8660149f07de44fe35960a10d379c",105 "Eip8282/Audit/Integrator/DirectAppend.lean": "647eaa41fe5a8637e0df70834bb501d4ebbcf555cf5414fcb0c79eb0221ad600",106 "Eip8282/Audit/Integrator/DirectControl.lean": "a7fde1c5324713a55594f56c9d863553019636194eff5594da8661dde08580ec",107 "Eip8282/Audit/Integrator/DirectDrain.lean": "915a08868399a8fe39baea245b7bacb9fea5912a4b6cdafd86c9a07ea4c2dab3",108 "Eip8282/Audit/Integrator/DirectGuarantees.lean": "5ff993fdd230deb47917074ab3416db8b5dc4bab5d9b92bb3a396e98e2b0034f",109 "Eip8282/Audit/Integrator/DirectInitialization.lean": "c195ad44ccc597fa534d8337b5b60d4e16976b0b1273f56b615a67019a465458",110 "Eip8282/Audit/Integrator/DirectSubmit.lean": "ab6ee97c55c9d9d4356b484632e6e2a62489e11f00411f33098b9ebd41968fee",111 "Eip8282/Audit/Integrator/EndpointState.lean": "2eec560dd9e8b9210df37ef72806b8b22480242c16bc89cf80a70d9f75b4eb63",112 "Eip8282/Audit/Integrator/EvaluationFuelBoundary.lean": "289167ce2f08074de57c5a37490fa5fe1d901f52133ff40d85fa44630def3cde",113 "Eip8282/Audit/Integrator/EventTree.lean": "a6393ed6adb27caa2e1e282b3692e6ba40fcd1715021aa2ea196ec67569d36c4",114 "Eip8282/Audit/Integrator/ExecutionFunding.lean": "faa5fd66ac0daa24770a2dd4608cf8729721166a7636ccd8ac27ed88fc8b7d5b",115 "Eip8282/Audit/Integrator/ExitDrain.lean": "fd854f4e0b223e36c28554392ecf026d37e28340de3adf95b8b0269ddd9c6978",116 "Eip8282/Audit/Integrator/ExitRecord.lean": "904013bc2402c018b25ee30c70c1e37b187aff32350a389596499af6dd7b4027",117 "Eip8282/Audit/Integrator/FactoryCallEntry.lean": "e92c7ecc6a1f6958808524335c790fef8b0b88d41312b191089bea7b128fb84c",118 "Eip8282/Audit/Integrator/FactoryChildResources.lean": "40498844ece8948d4569e60c045182cfcad3c0293baf2697368d445261ee7b18",119 "Eip8282/Audit/Integrator/FactoryHistoryGuarantees.lean": "641937241f6f4cff741c1d05f888a6c4868441dd6d4a6599d666e0f0eadc9cb2",120 "Eip8282/Audit/Integrator/FactoryInitializedCall.lean": "502f1466f4663892af82321fb7ea179b043c09226a650c3498bfc359279f6514",121 "Eip8282/Audit/Integrator/FactoryInitializedExecution.lean": "7d82fa30081c3d4682570ccbb2ffa5dc761656e9e760b849d49a701345a6bc86",122 "Eip8282/Audit/Integrator/FactoryInitializedTransaction.lean": "021a78a9a535e86f601a4660dfe5684d563b143532b19757b4188b9229a7b6de",123 "Eip8282/Audit/Integrator/FactoryPrefixGas.lean": "ec6abf292e317a02e1d767437957387dda3246fefe776de692727f5fe681a07d",124 "Eip8282/Audit/Integrator/FactoryReturnEncoding.lean": "5f5ec77b2fa054a85bd11b0d14b291985370d58f55f0271e6a5da6d8606e5bd7",125 "Eip8282/Audit/Integrator/FactoryRuntimeEntry.lean": "5db2300cf09834f93349967e353267ca78a06e3507f37653d1565de0554ff3d9",126 "Eip8282/Audit/Integrator/FactoryRuntimeReturn.lean": "b0aeed29e8536eacd5fa71cc21c8757011c9393c747c47153134c49f72fd497a",127 "Eip8282/Audit/Integrator/FactorySystemSequence.lean": "68348c4b319991f3f071ba7632248d90f0047076381040df9bf990ef895d3484",128 "Eip8282/Audit/Integrator/FeeBoundary.lean": "f687d461bafe1af5a6963ddf979b5dd4af4348afc2421617160c5f90da31f7e2",129 "Eip8282/Audit/Integrator/FeeSafeDomain.lean": "3f23254c5bcced81f37ca5e510e6575e940ff3dc2455d798c2313348c46d6bbd",130 "Eip8282/Audit/Integrator/FinalizationFunding.lean": "e63683924b7f7ba1fdacd84c8c9cf76d3d770b3fc64e5e468ce9aa594a56bcb0",131 "Eip8282/Audit/Integrator/FinalizationWorldFrame.lean": "4a4fe0138a2fc1f91ebd2507b109db0a78504e9d5ba147198b77a2aaacf2954e",132 "Eip8282/Audit/Integrator/FrameEvents.lean": "d5f2ff9126b3a054f5f63b71d4dbaf9a2d79070ec6a7ac80ddd2a54963c32f66",133 "Eip8282/Audit/Integrator/FuelAdequacy.lean": "50441a931a4f5e2ce7e6dee8d56f7d0b67fa1211f0b4f66a71ba3ed7df736c42",134 "Eip8282/Audit/Integrator/FundedDomain.lean": "957cb3c9fa8951df7daf57bf0cb0fae883c4b01e7b514c0dee551edf773cd1d7",135 "Eip8282/Audit/Integrator/FundingBounds.lean": "32f80b6277840cd0ac76bf355423eb2fb2d539a879bd8f4cd4508add3b4703f9",136 "Eip8282/Audit/Integrator/FundingHistory.lean": "da5af24a0eb4630f8c02beb32c4245e54f08dd0c880ec79278002c6c6352e65f",137 "Eip8282/Audit/Integrator/GenesisFundingData.lean": "62d6e9c792bc75db9c713deaacd42d497e2f3df15fc17194f63ab6f35f9fc1ad",138 "Eip8282/Audit/Integrator/GenesisFundingInput.lean": "129d39db51cb813e986a8b4ad20610303edc0ee8f550c386b7cb52d9423823e4",139 "Eip8282/Audit/Integrator/GenesisFundingWorld.lean": "fa696efa6f52872f4e42105ed25c635ff8d0515c8cc0636b96d21e4c76ef570c",140 "Eip8282/Audit/Integrator/GenesisWorldFunding.lean": "da2dca717bc3be49034d15bcf11826ff47c8b1f15cb13ed17ee9216f960226fa",141 "Eip8282/Audit/Integrator/GetterCall.lean": "3aa3a91a8976c655a2309fde4468307b702f2c28d0a8c8f32ff746f1daf2eb12",142 "Eip8282/Audit/Integrator/GetterInversion.lean": "43b9fa209ed9fb674f8d74168dfb3496389afe2a6b938807e85fed52efc52e7b",143 "Eip8282/Audit/Integrator/HistoryCommittedGuarantees.lean": "8883fd1c8afca24ef90318ffd4c90ea3cd9612a2b6e09c38ec3cacf827448f37",144 "Eip8282/Audit/Integrator/Initialization.lean": "3a18b65cff2c7ca6ae1500322c283362e89802ebf515092518ead9671ce23c5d",145 "Eip8282/Audit/Integrator/InitializedInvariant.lean": "2aac90df903d5f12e14c55821441940cfe25c15cbdd9d9bf503550c66f039382",146 "Eip8282/Audit/Integrator/InitializerJournalFields.lean": "c03bca1397e4d628022e3a5705af7bdcd6ac988791225f5359fa36d6c12a2e16",147 "Eip8282/Audit/Integrator/InitializerProgress.lean": "2cf7d3c523300adec80ca5dd6fae3d3437082496f50808b3213da2098f57e867",148 "Eip8282/Audit/Integrator/InitializerWorldFrame.lean": "54f8e31c6358f6fa54d4d896de1422011d5ec6f7ea335c1a82ee80a82dd12bc8",149 "Eip8282/Audit/Integrator/JournalCheckpoints.lean": "f01a4391ac64bf255b30e15bd2f2921a5894f887c8a1d1777ae625f4c71f7b6d",150 "Eip8282/Audit/Integrator/JournalChildEntry.lean": "c446c2d54108826b9f21bd1a2858431ef4390f05a6ee928c76258cea41807c19",151 "Eip8282/Audit/Integrator/JournalCommittedCardinality.lean": "3d388d875ca1fbd8bb68bf0099dcdaf4d8cb1e5ecc18784879e91be0edd61db3",152 "Eip8282/Audit/Integrator/JournalCommittedLogs.lean": "4b0f04b0372e295010b4a29c4006b8a3d6a6b880d6292e0fb8a667f92b933740",153 "Eip8282/Audit/Integrator/JournalExecution.lean": "ef1f8e294f95af850872855cf46e25f2916c6119cccb445a859c464a65a32e54",154 "Eip8282/Audit/Integrator/JournalGuarantees.lean": "dca9fdb14b45cbd6707269bc2c988f91c2f85909f03d9d61f538a019a1f00790",155 "Eip8282/Audit/Integrator/JournalInvariant.lean": "c12320d5c137e34211bca2d179579e1ca291e06287cece017d76c64ba016dead",156 "Eip8282/Audit/Integrator/JournalLogInputs.lean": "b665ed7dab9f77a3a09f7afc93f76fbe5cab91c855239ff3f523d8245ac64a5f",157 "Eip8282/Audit/Integrator/JournalPathQueues.lean": "bf2b2103e2c8ae537a8e09bb2e0dc7dc0ccb1afd0afc45b6ed2b5d9333d852d1",158 "Eip8282/Audit/Integrator/JournalProvenanceInterface.lean": "3d875f24c326a22c1da2692dcbf84c20b5236130b81635dc0c4784c3d93e58cc",159 "Eip8282/Audit/Integrator/JournalRetainedCalls.lean": "78201e3b62778186ff8609871b48a6d503714a0afa4229f2101be06bfa11444d",160 "Eip8282/Audit/Integrator/JournalRetainedPaths.lean": "55c507a93f3f4f1a6ef7eb4f3a60244354ddf80679a1a184c31fdb52f68179a5",161 "Eip8282/Audit/Integrator/JournalRetainedWork.lean": "0d7f08f571b95fb3c9197c013fabe02731c6d60eebd81f7d51fd0cab81d2d2a2",162 "Eip8282/Audit/Integrator/JournalWorldPaths.lean": "19c5bbdfc88a578a47264281013135255a82f8e34557138f5f1adf09ab2f2643",163 "Eip8282/Audit/Integrator/LedgerCreditSafety.lean": "4d9f8310c0afbdbbc227f898beb4f6bb0e1268b74114fa5fbc146b0faa5cd79c",164 "Eip8282/Audit/Integrator/MathFee.lean": "5db596d01d2d93ea604c3fab7aa7e924248be8301187fa5ac82cc1813aecdf73",165 "Eip8282/Audit/Integrator/MessageCall.lean": "3f16088bd13b6f6fdf13de417e4843f08e9dcd61fa6dfdddfc6342c250ccf342",166 "Eip8282/Audit/Integrator/NestedAppendCount.lean": "a3d62b4c06bd8aea5649e259a7f88bc7762270eaf64b419b8b198babfaf566e1",167 "Eip8282/Audit/Integrator/NestedAppendPrefix.lean": "2dd80602ac2b3bab896296cc6607ef7626f52c0f7ddc69ee588fcbb1624419a9",168 "Eip8282/Audit/Integrator/NestedCallDataFit.lean": "15156a99358f7146fc615b62190a593fd5e49c0e956fd729f0d43f00c9218b20",169 "Eip8282/Audit/Integrator/NestedCallFunding.lean": "e59717ffee78bb44777e4fbbe02c269cd0e2edfcea43d56ce3040d90aa0c9e3a",170 "Eip8282/Audit/Integrator/NestedCallIdentity.lean": "8b1f66e3370c0f3d3e919555ed58bc6e80b42e392440f2c0cd437658f1503dc0",171 "Eip8282/Audit/Integrator/NestedCallOccurrence.lean": "ffa3243784c31f316f9bd46f7da98a5f8845e7e3689783b92b62fe9e8d387895",172 "Eip8282/Audit/Integrator/NestedCertificateAll.lean": "298096bd2d162056a90c7ca8236988753731ba40d95fc1fe648947b8cdd6e2cd",173 "Eip8282/Audit/Integrator/NestedEventArgs.lean": "3500fd65a3daf12870f039a3c45d63b36ffe56c92057d0705757037a3db406db",174 "Eip8282/Audit/Integrator/NestedEventBounds.lean": "17d237133cdded4b8f98e47e7db9e909416df5e9d59cfb5d8374cdd2e26351c6",175 "Eip8282/Audit/Integrator/NestedEventCert.lean": "e7dfa7dd2c7c7855fd30b22a4f7af154eef3571d4a7e69311df29b44b69337e3",176 "Eip8282/Audit/Integrator/NestedEventDebit.lean": "516bf1cb635398a64a0adce9f6f01f9312f82a94cbc445417d7145c47e8e391d",177 "Eip8282/Audit/Integrator/NestedEventExtract.lean": "3e6185904a4c9553f4b6fa79390a6f6399624a048e42a621a58cab4e301bd8c8",178 "Eip8282/Audit/Integrator/NestedEventProjection.lean": "8302478458f38ab36406300f5b41603a68392ea01ba586aff14adf1d77fc0d96",179 "Eip8282/Audit/Integrator/NestedFrameFunding.lean": "a5ea58302eb4d7f92e0da2492c016b5e666a953a2e83176173f58caac299de69",180 "Eip8282/Audit/Integrator/NestedFrameIdentity.lean": "204507e93d745ed611204905cbfe17fa71fbec52a496a65e88137afd0c511311",181 "Eip8282/Audit/Integrator/NestedFrameOccurrence.lean": "b55f3299e13c0acc378bf5bddec238fe8d5a626ff8c10b9f9cf199d67aeb4273",182 "Eip8282/Audit/Integrator/NestedFrameOwnership.lean": "1b54c7c85a8114ea6d6258a052ba600aecfa6e4689fef1d60c7943bc1c1d377e",183 "Eip8282/Audit/Integrator/NestedFundingEdges.lean": "6cebbc067ef7e1d356a26973f6616a7a987e9020b7d26fe378b592d6660ae301",184 "Eip8282/Audit/Integrator/NestedFundingInterface.lean": "4aa756a1333467f4ebd87c2820192a3542c4df21df35d3e0efefb8e7432722d5",185 "Eip8282/Audit/Integrator/NestedJournalBudget.lean": "3ae79aaab5f9d20f6b235a3ab8ef72ed8b9f02c58eab971ca4e1bb7e00a08971",186 "Eip8282/Audit/Integrator/NestedProtectedJournal.lean": "cd77c62c36cff1faf801dc08fdf67e59522b47bbf3a5827777160c98bce80b79",187 "Eip8282/Audit/Integrator/OpcodeCostPositive.lean": "b5492c63c7a89714edc3d5d8534d8bb7aaa74addcf87e8e0a8647865e85ca255",188 "Eip8282/Audit/Integrator/OrdinaryFunding.lean": "dc8c4eddd8af0b05396e4882d77fac97ead4e512e5996ed784c465f4ae5c53a6",189 "Eip8282/Audit/Integrator/OrdinaryGas.lean": "d41661f413814579343e04a37da8cb87624881f63ac132440077beb8dc0adfd4",190 "Eip8282/Audit/Integrator/OrdinaryWorldFrame.lean": "9c10fc578d096bea0983ae2ce58981d28baad9c277ab31e999334b3d339d977a",191 "Eip8282/Audit/Integrator/PrecompileWorldFrame.lean": "536637ec4207f18b640f60a6ae7a44d8bf8de4de637fb37f4ba9453bd819cef2",192 "Eip8282/Audit/Integrator/PrefundedInitialization.lean": "86d61ab170bc5d428bdc1f383d25e28262941aa4d972ce93089f6387ae47a29f",193 "Eip8282/Audit/Integrator/ProtectedCallLogSeries.lean": "cb28106e21c23f959837ff3bd114c6483dc9335484b4e59ce40d084f912ff355",194 "Eip8282/Audit/Integrator/ProtectedJournalStep.lean": "96a335873aa26b828ad29f7cf841e43777022310775a11e449fbccb8353a3a62",195 "Eip8282/Audit/Integrator/ProtectedLogFrame.lean": "c538e903a3e6a3ddcb0c3a9fd9f72880bef3fc7d59aeb173662fb795d636ae5b",196 "Eip8282/Audit/Integrator/ProtocolCreditEnvelope.lean": "79d4b50bf49d7cefa35e35bd5bb92f6b84dca99cb60aeadc9445ea721dcacb7c",197 "Eip8282/Audit/Integrator/ProtocolMigrationLedger.lean": "0c6e16de0e037a564c2e28c39c6dac222edbc254b8091d0f962ba156ae4eca5b",198 "Eip8282/Audit/Integrator/ProtocolPowCount.lean": "b206aef0219909de6686d1dd224844d7c27f953942741c53c41d052b59c73159",199 "Eip8282/Audit/Integrator/ProtocolPowRewards.lean": "731baa5a1585a73333b3a17edbc5bbe71809d0923e8416874554f1569c418bb0",200 "Eip8282/Audit/Integrator/ProtocolSlotExtraction.lean": "8b539636e1e157ea2149ad248e5af7106c72f9b41b8c9bac1a9dec39b10a7797",201 "Eip8282/Audit/Integrator/ProtocolSystemCalls.lean": "a661b7c1e0936d8837c2bfae50818bfd14251de35d270950cf1c1d98ab78c0fd",202 "Eip8282/Audit/Integrator/ProtocolSystemDispatchExtraction.lean": "59741bc60989b950c2de028e313fa0d3d387e28c2f2861d39243bdf594375a73",203 "Eip8282/Audit/Integrator/ProtocolSystemSequence.lean": "a917dd217b21aa053800970b46f32f820325ff75545cbec5b56f301499e94877",204 "Eip8282/Audit/Integrator/ProtocolTransfer.lean": "0f79448d00498376ead1a03594f2ea62eae9df4f678b77bf89582c65c40753bb",205 "Eip8282/Audit/Integrator/ProtocolWithdrawalCount.lean": "3f5bc2d2740044a4f4d8194cb5b1108ead105f05320bda034fcdb63982fe4174",206 "Eip8282/Audit/Integrator/ProtocolWithdrawalExpectationState.lean": "ae24efbfe3e65d1077c0a9d75d53fc7503eed5a3f7d62d3189e89013ed57a8d3",207 "Eip8282/Audit/Integrator/ProtocolWithdrawalExtraction.lean": "f647bbbdc99804636c700c10bee19c01f2a36b7a883b9926e01f8c972da40870",208 "Eip8282/Audit/Integrator/ProtocolWithdrawalStageExtraction.lean": "43520928af7c44915e7ce2bf10906e3680f9058081a9c5591ffd32c3f4d02223",209 "Eip8282/Audit/Integrator/QueueArithmetic.lean": "95dd375417bcf6ddd2fa2bf3326807f1db7080e9ddfb0f75c4f2d1f7aa925da9",210 "Eip8282/Audit/Integrator/QueueInvariant.lean": "5e15726133885b59340a5ffc4d8650fe33d4cda27639039ad1fe92fe49de5219",211 "Eip8282/Audit/Integrator/ReachableCalls.lean": "6faeb4ce64325ccd5bf0c9314a89e158382b479e59df59b3dd531b221208f585",212 "Eip8282/Audit/Integrator/RecursiveEventDebit.lean": "5f2e5192fa26543e30eb470773417ebba0c57ed3a5947ec5a90a454ffd39a9b3",213 "Eip8282/Audit/Integrator/RecursiveGasProgress.lean": "8ac112fdfe497b419365a043e62df9185e527159650a66bd45db0fefe385aec3",214 "Eip8282/Audit/Integrator/RecursiveJournalEdges.lean": "cc3c0651b0109ca93a8f6189c42df5aa622756a8ea4be943cabe0c194aa65823",215 "Eip8282/Audit/Integrator/RecursiveLogEdges.lean": "71a481d03a35e9be6000b65883d880cffaeaafb2b337c6a150573924ed83afd9",216 "Eip8282/Audit/Integrator/ReferenceAcceptedStack.lean": "957a2e5fa7d073b6acc34948d315528e13d3b458bb2097946dbe61470e86baca",217 "Eip8282/Audit/Integrator/ReferenceAccountFaults.lean": "f4f302481c7eb06508153d63bc7f5546c00176b7df426b9ecf92aee90d0ec72f",218 "Eip8282/Audit/Integrator/ReferenceAccountGuarantees.lean": "ca8c7335bd6e1608c1428b144c4dda537436a0ed110682d4bb7142b721e800e2",219 "Eip8282/Audit/Integrator/ReferenceAccountLookup.lean": "5c36a201a6c1d30adfcc0c738fbc670f00471c37255b680787fa095d615ec811",220 "Eip8282/Audit/Integrator/ReferenceAccountedReceipt.lean": "bee2cc391d4f307649f3c54e12a846669e383a0de1ae368dd32537ca1acc2215",221 "Eip8282/Audit/Integrator/ReferenceActionControlAdmission.lean": "e49d6903fb044e4da418aa5dfadfcad77523e3b6a345af3fe12b8258c1361e80",222 "Eip8282/Audit/Integrator/ReferenceActionDeterminism.lean": "babf70fe701ea686f994998d23419c4cde4c6fffe9e862f1b0fe37e442143467",223 "Eip8282/Audit/Integrator/ReferenceActionMemoryBounds.lean": "42b3f9c81ef80e02527a188e489f3beb3d6bc1a80e829cccb0766a36a80beca4",224 "Eip8282/Audit/Integrator/ReferenceActionMetadata.lean": "1326d0ae3de6f18d4527a21df65f9133d4fc575f746e657e60affba933b33d18",225 "Eip8282/Audit/Integrator/ReferenceActionStackBounds.lean": "a910105fc5839497bcaf3f36cb4369f815741158fb19c2e4b0641d05c2e3c600",226 "Eip8282/Audit/Integrator/ReferenceAdmissionExtraction.lean": "25ad6d2e4398a7d7049fa44d9d202e772daa8e95125da9cdbe2d5ab976a3d618",227 "Eip8282/Audit/Integrator/ReferenceAdmissionHistory.lean": "3a00fb15db859efdc75189086f4fa3c8de9facbac21058bae7b89533f72f5b44",228 "Eip8282/Audit/Integrator/ReferenceAllDecode.lean": "b6938212bfb661d90bfb13ff0138129026a609ceaaf8a0fe09e00a1aac40a8cd",229 "Eip8282/Audit/Integrator/ReferenceAllocatedEntry.lean": "378cdc21ee5bcd00dede535d6c2b1ec0b726defffe542fe5db17c9a21cac2eb3",230 "Eip8282/Audit/Integrator/ReferenceAllocatedExecution.lean": "084ac621d30440e83b3d7c2279d3994c78cbe15fd063c9b6674cd50d2c19ae32",231 "Eip8282/Audit/Integrator/ReferenceAllocatedFailure.lean": "2baaeecc944e5bdec735c1d14eef47996992326638e84983d1bfb3a5ff041994",232 "Eip8282/Audit/Integrator/ReferenceAllocatedGuarantees.lean": "2c13383ec80a2fc116db1a3e6dd31ce37b2c9d0faa2f68660e017f695f6a7baa",233 "Eip8282/Audit/Integrator/ReferenceAllocatedReceipt.lean": "77ef4b624aa9679637ea39d1552ab26dae6412379e364c417af101f3f7bd34db",234 "Eip8282/Audit/Integrator/ReferenceAllocatedTotal.lean": "8dd4cca8cf39d65655d23bbc03ac4abd480852dde0d68adad818fbe81c1bf60c",235 "Eip8282/Audit/Integrator/ReferenceAppendCompletedCost.lean": "a581b74c022a6309822b689a8c507ae755d43ed07e201ff9c926f63f3cab34d5",236 "Eip8282/Audit/Integrator/ReferenceAppendEntry.lean": "cf58f40501f0a0d1c87b0fec118dd85208c92ad97d0f953fbf4c985fe9c6d8f6",237 "Eip8282/Audit/Integrator/ReferenceAppendOccurrences.lean": "d57cf170148c75ddfb0441b026808c708c089cd6563ccb994bfd3d43b73bd8be",238 "Eip8282/Audit/Integrator/ReferenceAppendPrice.lean": "70b0530b251b935e2092fee0d7840444b42339c364a125cccd448b9ce32fb8de",239 "Eip8282/Audit/Integrator/ReferenceCallChildBoundary.lean": "806047adc162c7a48cb857dfd01a04c3db8c95dec24d19a3719465797f2399ca",240 "Eip8282/Audit/Integrator/ReferenceCallEntry.lean": "fa130b58916795a63b348dc67df7b26030cef4dff2d2abe8d6053104c2270eda",241 "Eip8282/Audit/Integrator/ReferenceCallGrant.lean": "1582e1948d2d06cd15070f5a0211608ee36c8ca7c8b607b9b1b5080a60d3c323",242 "Eip8282/Audit/Integrator/ReferenceCallPotential.lean": "56e1e15a8f616e4c2ca9b4a872ab72d1e1776e5cacb691ad7a7ac5d76161e2e9",243 "Eip8282/Audit/Integrator/ReferenceCalldataAdmission.lean": "25cca43525bfd71683c180e93346c4054d8279cdd37a011a697f121096a9d914",244 "Eip8282/Audit/Integrator/ReferenceCalldataCopy.lean": "61619b348056b200399e684eddf8b5a277ad168d04114c1eecb1d57625fcdb2d",245 "Eip8282/Audit/Integrator/ReferenceCheckedAccountDispatch.lean": "b57934d9681a01163c66e799b1d1bb17bf2995a5a5787c91698e20512ba674be",246 "Eip8282/Audit/Integrator/ReferenceCheckedAccountEvaluator.lean": "985fc7d5763b61d9b42cf51ec8554090f38f223da5722df0d98b8339afe07764",247 "Eip8282/Audit/Integrator/ReferenceCheckedAppend.lean": "af83d55e35e19d122b50786fcb6f88058a2eeb1c3e44abe3f3f16465735205f8",248 "Eip8282/Audit/Integrator/ReferenceCheckedBinaryStep.lean": "9f6063e598ef1d7f94592c2476b8bceaf4ba55547cb18071a0457f9e7614a601",249 "Eip8282/Audit/Integrator/ReferenceCheckedCompletion.lean": "a2c114ca6121b638ef1b48649b6fc8c90916c5af4004b2ba47755e9cd380e273",250 "Eip8282/Audit/Integrator/ReferenceCheckedConversionSafety.lean": "c193205e71d4446650c28789159d7a2324127cbb11401384b178b453d480bd99",251 "Eip8282/Audit/Integrator/ReferenceCheckedCopyLogStep.lean": "53bd51bfd5c0189ac92bffef4c05cc46e4f6ba6be6c1da73cd5333afd28f7772",252 "Eip8282/Audit/Integrator/ReferenceCheckedDecode.lean": "ab507a77ece225f3438a33f6329fbfc3812e038e2206eb97b06dd7e8dcbd284d",253 "Eip8282/Audit/Integrator/ReferenceCheckedDispatch.lean": "b3eab7bc008f8d5a5bfbccf9b76d07d37712225fd8032825d78c6b06f7dfe9ad",254 "Eip8282/Audit/Integrator/ReferenceCheckedDispatchMetadata.lean": "626a1fc1b0b401e5511b31258dd604ea6ffcdec52c9e93355ed48b82572ad9d8",255 "Eip8282/Audit/Integrator/ReferenceCheckedDispatchTerminal.lean": "8035f04b492cb173fd6cae12c63da8dcecdf7aab163cac638ae425de31b12fe7",256 "Eip8282/Audit/Integrator/ReferenceCheckedEOF.lean": "7bb90ff05c24bf61394b23f2fab4895cd3225c23480698de91a56c0b1d7e95e4",257 "Eip8282/Audit/Integrator/ReferenceCheckedEnvironmentStep.lean": "5eb9a06bdd28e4a24cb1006cc25e457375088463b2043b7f05532af09e54d2e1",258 "Eip8282/Audit/Integrator/ReferenceCheckedEvaluator.lean": "42b52cafd65fbbec9f85e392fc3f0babb9381cbf34df07d9275164ebae470fc9",259 "Eip8282/Audit/Integrator/ReferenceCheckedExecution.lean": "1d8a23bacb7bd55d2dba3f43d2506275e905ab522d80f5d4c18158d005a58aae",260 "Eip8282/Audit/Integrator/ReferenceCheckedFaultClass.lean": "fe1a3efe7abcdea2873db169767d62271481620d7906ba64f3d5a25c944096c5",261 "Eip8282/Audit/Integrator/ReferenceCheckedFrameMeter.lean": "c01733016f913b505e0fff09bbb1f739a2c0d32837abea2c8ee4a01dd0575dff",262 "Eip8282/Audit/Integrator/ReferenceCheckedFrameOutcome.lean": "2ed0b2c229f93d65e061ff8cb01ed1c11ad146da46d9827f4cc947abf1c3cf7c",263 "Eip8282/Audit/Integrator/ReferenceCheckedLogContext.lean": "7fc964641fd18883c66b91b003b3f1d1a6d8b07b99eefd0f8570d1eccca888f7",264 "Eip8282/Audit/Integrator/ReferenceCheckedMemoryForward.lean": "ea92512440b838d53b6379ecea84c431ced57851bd269fb1188ea438373a23e2",265 "Eip8282/Audit/Integrator/ReferenceCheckedMemoryStore.lean": "13a880c00d018176b74d78be0c905b8bf868fc18857cfbae9b741f5739a8cac2",266 "Eip8282/Audit/Integrator/ReferenceCheckedPrefix.lean": "cf1f0263f223cca5f8bbb4221c85a103735d76b3d6c338bbac7ee648bde10cbd",267 "Eip8282/Audit/Integrator/ReferenceCheckedPureForward.lean": "b3c5338b31b6e2516e51c251c91258c50b0387a55d44a082a95449e5c4ebbcce",268 "Eip8282/Audit/Integrator/ReferenceCheckedRefund.lean": "36e8de11966bac28737223cc68212ff0a580080d727208bfc4a26c675a0a9181",269 "Eip8282/Audit/Integrator/ReferenceCheckedRuntimeTrace.lean": "c118c89e8306aac5a1406e497522fe3198ff63627cb138844d565888d5ec9dd6",270 "Eip8282/Audit/Integrator/ReferenceCheckedSourceSelection.lean": "ca7a4411987d3afb94522e1888e61909751c60f16e838b19952bc15055f719d3",271 "Eip8282/Audit/Integrator/ReferenceCheckedStackControlStep.lean": "a6b0ffe17dc16eb895d741927acc802bccb4eb8486d21f3291c7eb3e1973d8dd",272 "Eip8282/Audit/Integrator/ReferenceCheckedStateGas.lean": "96ddbc5e12aa5a05db8f3077a1633cf0f3b568dbfde93e7695edc7b869651aa9",273 "Eip8282/Audit/Integrator/ReferenceCheckedStorageForward.lean": "43c75a079d1375924553ed195130a135d20bb69a77d6525bcf3e01447512ce25",274 "Eip8282/Audit/Integrator/ReferenceCheckedStorageStep.lean": "2ee7791ea405f232162cdb70c43fd643a6d0bdbd323b37f50ace7f5f11eee611",275 "Eip8282/Audit/Integrator/ReferenceCheckedSystemBlock.lean": "21e0dc7c7fd47b51ba9c6a836725cd1332eeff4afbbae2871e7642b2a130604b",276 "Eip8282/Audit/Integrator/ReferenceCheckedSystemDrainTotal.lean": "c102a85c00e3bc41d51146ad5fd80c3b42e5ecae337fd13e42e623b168915021",277 "Eip8282/Audit/Integrator/ReferenceCheckedSystemEntry.lean": "7f05a2159e691c7cb492860129b90b7cb67a59ebd9046c894c47f94e50fcab3a",278 "Eip8282/Audit/Integrator/ReferenceCheckedSystemExecution.lean": "03b7e3e5271af5a41f70c5aa05fbe74a18fcacea196f87ec4e0a74a15fcd9c88",279 "Eip8282/Audit/Integrator/ReferenceCheckedSystemForward.lean": "626d8e346d965d45d140147342155ed6991e0083badcbc4ab1d8242e61816688",280 "Eip8282/Audit/Integrator/ReferenceCheckedSystemJournal.lean": "9d12eafe8dccba8691f41acd01081fba303aea328d6847c5a0eca4a1f38f05af",281 "Eip8282/Audit/Integrator/ReferenceCheckedSystemOutcome.lean": "76b1a873d2b30435ebddd72ee1bd81d100a32987eb1c2500026cd0aff3ccafc1",282 "Eip8282/Audit/Integrator/ReferenceCheckedSystemPair.lean": "fabefc7736d7ff3606334701ef54a398f59e768ea6f44dc451afb0ea25187df6",283 "Eip8282/Audit/Integrator/ReferenceCheckedSystemReturn.lean": "03495e193ef773f481fc5b742a2743ef2a6541f65167276ab068d62c621ec1ac",284 "Eip8282/Audit/Integrator/ReferenceCheckedSystemSuccess.lean": "2e4d0e94279387777626e190dcbfc4d28415f3eba3ea618ed8dc9bbb0bde914a",285 "Eip8282/Audit/Integrator/ReferenceCheckedSystemTotal.lean": "3030767a261bea8479d23f704b04c7b918101b9e1f9af0ec91e2bf606e34b49b",286 "Eip8282/Audit/Integrator/ReferenceCheckedSystemTraceForward.lean": "0c3bac32b5deba7732e92244e2771378e2d0f38fedfec8328f7dabe78acc7eef",287 "Eip8282/Audit/Integrator/ReferenceCheckedSystemWhole.lean": "5b7286f49cca63d77300a463f4e8158dcec84ece6b1c0db8cf0ec98af85a1e89",288 "Eip8282/Audit/Integrator/ReferenceCheckedTerminalStep.lean": "3807f0c05fc67cd02b7644787077f34c9abf1fa098e6c93af4bb866b707cd3a5",289 "Eip8282/Audit/Integrator/ReferenceCheckedTheta.lean": "d0e98bfe9df34ef103dc4bd3ca74661d9725dbc6a31f46c2fd58e91ff3ac8ada",290 "Eip8282/Audit/Integrator/ReferenceCheckpointCall.lean": "30c50e47e4ab3d9276b9236f8fe4444a33f3f690712db839ab067d00059148aa",291 "Eip8282/Audit/Integrator/ReferenceCheckpointFailure.lean": "c414dab3854eb93e3dcbd69b80c89d0aebaaf67b267af7ba4a3ee1b15187055d",292 "Eip8282/Audit/Integrator/ReferenceCheckpointGuarantees.lean": "6a70b762b28aedbb96026961444699d0e7124e0a13a0d62d5ed2af5c32bf2839",293 "Eip8282/Audit/Integrator/ReferenceChildMeter.lean": "884134ec10ea2ae16edbc2690d95b123eb1dad5d333f5f25bb6be033da29425f",294 "Eip8282/Audit/Integrator/ReferenceCodeAccountPresence.lean": "e937b78b835ba4f9757af15935dc696b84ebd5a7d155f7925a6d3ba32ef2cdca",295 "Eip8282/Audit/Integrator/ReferenceControlOps.lean": "a33e74a3225421423e176b020500b17ad502fab2265860334ba771253c5e6db1",296 "Eip8282/Audit/Integrator/ReferenceCopyLogGas.lean": "3fcb9b69a945cb1416a6652e411279c42778701a1dee792d638ccc502395b132",297 "Eip8282/Audit/Integrator/ReferenceCopyLogReverse.lean": "e214b701da48fe302c2ab97f0a8bf2911e44105694407c1bb6dd2e94aab1772b",298 "Eip8282/Audit/Integrator/ReferenceCopyMemory.lean": "22d7d143fad74849f6fe02a78577f656daa12bfea6505785972691579862d007",299 "Eip8282/Audit/Integrator/ReferenceCoupledPrefix.lean": "ae0dec1fc49b292fe82efc4c4106ebbcfb1ec07efce141e70cf7055186ec2109",300 "Eip8282/Audit/Integrator/ReferenceDecodeShape.lean": "451abd8021dc62c53efc2761d534af77643daf8ff8dd0beee6b9a0ff46431a84",301 "Eip8282/Audit/Integrator/ReferenceDecodeSites.lean": "494266481a3aed3a26188710ee83c6b26f04c615422fc7195888bcfe83ff4c49",302 "Eip8282/Audit/Integrator/ReferenceDerivedFailure.lean": "53fc882d73e5d81f74caa495aba54f43dc3236ab53d03c4d3350bb4bd4db7283",303 "Eip8282/Audit/Integrator/ReferenceEnvironmentOps.lean": "addba7069bb2a728f6c89fe442c1afc3dc874f1922f8585d3c501262377adbf2",304 "Eip8282/Audit/Integrator/ReferenceExecutionLedger.lean": "7c97fb8d5ba5e3787ee52d61735f69352af7921ac16c6c4b16e6e07357775c69",305 "Eip8282/Audit/Integrator/ReferenceExecutionPotential.lean": "05e04fb02caeb2d6868307e8e0c2ee44fa50ed523d00321dcc8640a5b961a9a5",306 "Eip8282/Audit/Integrator/ReferenceFreshStorageEntry.lean": "3bfb3df20ec343cb26e0083bf9ce4bf3f5c4dcbcd31a560c8a661976d6224bcf",307 "Eip8282/Audit/Integrator/ReferenceFullFeeBlockNonce.lean": "118eef1c5cc04133290f21037ed916247c0ace74b265fe718e2486a592dcedb8",308 "Eip8282/Audit/Integrator/ReferenceFullFeeBlockReceipt.lean": "098bb6a4f056786eb09b9195c7c6012d26b53100265618c83cecceaf3a6d353a",309 "Eip8282/Audit/Integrator/ReferenceFullFeeBlockTotal.lean": "98500b59d1f693e4b2312ffbc19ea971ce5255e7625560dc80fd59c15b4fa979",310 "Eip8282/Audit/Integrator/ReferenceFullFeeTotal.lean": "652c5863496ef58a4b7c58a3e1137638ea5a83cac46affe1bdbc33021de59a37",311 "Eip8282/Audit/Integrator/ReferenceFullGasTotal.lean": "b5bc7406b1dcb17589e1584dbc844da58d29ab7f782501ea06928ead6cc279c7",312 "Eip8282/Audit/Integrator/ReferenceFullLogExecution.lean": "c2b6564da15323a5d6b7bc8ceeeaccac2f1b06b929b753bed03607d1059bde15",313 "Eip8282/Audit/Integrator/ReferenceFullLogTotal.lean": "a513b9b9631d0bd3e3cdc2b7c12585714e5721ca687a0f8623d37aa1bb2a3b94",314 "Eip8282/Audit/Integrator/ReferenceHistoryFailure.lean": "e8bb24e8fcf1f24d1b12d89035a2ce44154b47c26b644a217842b6c3a469a018",315 "Eip8282/Audit/Integrator/ReferenceInitialAccess.lean": "623c98db55e1d7b9ae40b0feb4bd99fa57810d2349b63f6bdc0720802cf504f3",316 "Eip8282/Audit/Integrator/ReferenceInitializedFailure.lean": "8003ab67d5af351d5ee182ad1731865d82b450c42e33b9d1578648f64242bd8d",317 "Eip8282/Audit/Integrator/ReferenceInitializedGuarantees.lean": "603ca590bd8254028f03ff1210aa8e38812c2c5d48e1cfd9c0676eb8e8493e32",318 "Eip8282/Audit/Integrator/ReferenceIntrinsicGap.lean": "93ffa8ae5981138bcc0f2241f56f3cd9653ad3609bcb55392fd3cc2a821f4335",319 "Eip8282/Audit/Integrator/ReferenceLogPrefixEvaluation.lean": "1044102bcf54643af1af5508eac2940da09b2019724123b6132d26e8d038d223",320 "Eip8282/Audit/Integrator/ReferenceLogPrefixHandlers.lean": "4e946c732ff7658666aa38935075227cd731eddbef104dc6609f16de1e8089cd",321 "Eip8282/Audit/Integrator/ReferenceLogPrefixSettlement.lean": "718361b5b3f92aaf1aff72946c570bb76bb32d618e94b1cebe57511120d605ff",322 "Eip8282/Audit/Integrator/ReferenceLogView.lean": "9b8bd2be9b97ac028d0521a3918c87d981ff97a46340f8c3072cdd2e0e9f0d74",323 "Eip8282/Audit/Integrator/ReferenceMemoryCapacity.lean": "c5ca168fd4d4dc6d08247895ec4362ee59ff8a5a2e0bf7c52acfc3a852110406",324 "Eip8282/Audit/Integrator/ReferenceMemoryExpansionSource.lean": "6a6d2ded44d7fd6e274ff768f9e51a0ecf170e1c5b089e4cb70b7850807cde74",325 "Eip8282/Audit/Integrator/ReferenceMemoryOperations.lean": "a72929f02fbdd7487ce17c88cf4ad1364ac933f5a3606efbf97a63d75bb9ea4d",326 "Eip8282/Audit/Integrator/ReferenceMemoryReverse.lean": "dc00cb7f67345450bbea220af72a05a09c256c8ac204bc9e6cec4cfab8ab3ac8",327 "Eip8282/Audit/Integrator/ReferenceMemoryStep.lean": "926af97f563c28abbb4c146c96a466b277fc9cba0d39eee291bffb54ed92f965",328 "Eip8282/Audit/Integrator/ReferenceMemoryView.lean": "f71eee267502dbeff3cb905331d7f37e5fb5b779ca6d7a66ec533074d70b5e8d",329 "Eip8282/Audit/Integrator/ReferenceMemoryViewAction.lean": "32ae8103e63c2d8c9cb1b256c47d5017de33a5918e1aafdd5c8bc2d64f96d4f3",330 "Eip8282/Audit/Integrator/ReferenceMemoryWrite.lean": "c28fdb1241db9b1b640e96d143b465104284a1187ea5eb2f5e689121bac2f053",331 "Eip8282/Audit/Integrator/ReferenceMeterBoundary.lean": "7672cb249fd273e453fa65da26d30801ebb26ce89614b0088634b2168b871328",332 "Eip8282/Audit/Integrator/ReferenceMeterConservation.lean": "757fb98cb1d51c29264620c200640b0b0f36eb58417213a98c2a383699bfcc58",333 "Eip8282/Audit/Integrator/ReferenceMeterMetadata.lean": "9d91e217b5792aba79f59a66498f283596e09b2fc152455e39e8823883a2755a",334 "Eip8282/Audit/Integrator/ReferenceMeterPath.lean": "b02f41079c3d0ae4cfed50ce5cee18e42a38e53678145bd1c9d05d0d52aaa4a1",335 "Eip8282/Audit/Integrator/ReferenceMeterRollback.lean": "95c68aae475f9a0a5bfd94d23e32a4abbb97f995ec31900f3b402b631c549da1",336 "Eip8282/Audit/Integrator/ReferenceNestedSourceAppend.lean": "3417e57d7b5d81a3cfd934c8de2a58839b75439671d91a7581e77a98031070e0",337 "Eip8282/Audit/Integrator/ReferenceOrdinaryBlockAccess.lean": "270dfa5bbdf06481f6b9caebfe35b2f52e23192aa0f6452d2969ba7b03130fa7",338 "Eip8282/Audit/Integrator/ReferenceOrdinaryBlockAccounts.lean": "8fcfe36667cba6bd50ec77ca753ada2c958e6965793793891b7a65aa237759b3",339 "Eip8282/Audit/Integrator/ReferenceOrdinaryBlockNonce.lean": "0f520baa76aa57e9a475a869abb7d2956586f38082f60f661341857c96e9510b",340 "Eip8282/Audit/Integrator/ReferenceOrdinaryBlockSettlement.lean": "ec4160a0aecdd1ee217136a9c97acb22ebed827101a49e63d3b69fff5ea9a788",341 "Eip8282/Audit/Integrator/ReferenceOrdinaryBlockStorage.lean": "3d8bb98b4594372666d25636ed50f8f949ac9fe9ddbc72a1795cde00c1ee5188",342 "Eip8282/Audit/Integrator/ReferenceOrdinaryGas.lean": "0dc7029112c2b36f3cdaed32ce7e130000f7ffecad6be62340bee2099f6e4320",343 "Eip8282/Audit/Integrator/ReferenceOutcomeGas.lean": "556ab4fe2e4c5ce035f99fd793c2fd26643f199b5a7f42680f76b235e5b8c20c",344 "Eip8282/Audit/Integrator/ReferenceParentEquivalence.lean": "61a7a03a894f4c9e8c7b15be6e6fbb3f2595f6b7b4ff49a05472084a4c0f4866",345 "Eip8282/Audit/Integrator/ReferencePinnedFailure.lean": "2e178a46815a5105fb4f00a1e02cd9b607459d564c958172154d457e88f6e3af",346 "Eip8282/Audit/Integrator/ReferencePrepaidFailure.lean": "4120f864a40d0ff5d5f79d8bf4e086f71b6c625fd99e89fcf0f6131b509b699c",347 "Eip8282/Audit/Integrator/ReferencePrepaidGuarantees.lean": "06006bbfffe1a51579a1ed50e345a9c03a5eaffbbb27e589c7e93240c614a09c",348 "Eip8282/Audit/Integrator/ReferencePureAction.lean": "0982b4a3bd2161f23f3b6530182afa14425239f110c702fa75d840b9bfa36d82",349 "Eip8282/Audit/Integrator/ReferencePureComplete.lean": "d843083a0d72c811e1312aeb3781cb3992b625716ab761e67ec51a0b89f8ae16",350 "Eip8282/Audit/Integrator/ReferencePureControl.lean": "855d3e3fc1d6254608a2f06f6e4bece5dd94fa6d647543303f9670050e292a07",351 "Eip8282/Audit/Integrator/ReferencePureEnvironment.lean": "ef97c9ec454621b1402d90f089cf09d4e9f3a1b055c4972cde93d0e8fcc3715a",352 "Eip8282/Audit/Integrator/ReferencePureReverseBinary.lean": "6aa66811368a1fd027b7063da35ed43261f4191d06f6f27c77168bcbbd5d2dce",353 "Eip8282/Audit/Integrator/ReferencePureReverseComplete.lean": "09fa0ebc34f13bb10e14b8ce2ccee33d6ef1c23fbc32eae232379251c9ad97f5",354 "Eip8282/Audit/Integrator/ReferencePureReverseControl.lean": "8d383b383daeb738e68db76aa462b90cc24d9097777dc8af42c566d6233a4fab",355 "Eip8282/Audit/Integrator/ReferencePureReverseEnvironment.lean": "e781bb26804a6cddbc61110a3a975014ca7acbbfe91810b8c80d3922772fed86",356 "Eip8282/Audit/Integrator/ReferenceRefundCounter.lean": "0b7030265a3bab2fa9f2bd7b9df3e9558e6b48f28a99e7ee4b2a100146d5f291",357 "Eip8282/Audit/Integrator/ReferenceReplayAdmission.lean": "a795df9e28cd10ea5d85ea29b3ff0c91686ed600e28310e30136c4035a523593",358 "Eip8282/Audit/Integrator/ReferenceReplayCost.lean": "e63d152596e8aacdf64a113b3f4fc8ad210b4c16850942d3084fb6dd8b274f4e",359 "Eip8282/Audit/Integrator/ReferenceReplayMemoryCost.lean": "05b00e82aa87f93f363f583a93439c5011a6e98023e985cd797001ce1862a0f3",360 "Eip8282/Audit/Integrator/ReferenceResourceEntryBound.lean": "e323fd5d868710dfcc91a6ad2608d1206610feeaad29532d083b0abc94070c96",361 "Eip8282/Audit/Integrator/ReferenceReturnSlice.lean": "d27c072942d2a8ed74c98ec081734e626288928ba6c187b7a2da3ce36684fff8",362 "Eip8282/Audit/Integrator/ReferenceReturnView.lean": "fefe436d2f08bf89d44a20d094238f641c1eee9befa4c1aa9d1dafc2ca06322d",363 "Eip8282/Audit/Integrator/ReferenceRevertView.lean": "9eacac3e5777c90f269475bc13b8e48b0e423292420e21b90cef2e820009e2a7",364 "Eip8282/Audit/Integrator/ReferenceRuntimeAction.lean": "d2919db661324e7c9ad33b6a2a00bf9839f56623a4a42e9db47c8893314e471b",365 "Eip8282/Audit/Integrator/ReferenceRuntimeCompletion.lean": "1b6709e4f4ec621ca5566cf058a8676f5ccc29aa9f52bf32b0a40052aaea1dee",366 "Eip8282/Audit/Integrator/ReferenceRuntimeEndpoint.lean": "18b4e96c4d23b8b651cbed12b793e417888f9f1293c950c9e624400e7f6b1426",367 "Eip8282/Audit/Integrator/ReferenceRuntimeGasBalance.lean": "b9e9f2470ccb52abbae29f0ad213df6021f4643f39cc02a8b44371aa5fc778e6",368 "Eip8282/Audit/Integrator/ReferenceRuntimeGasCertificate.lean": "dfea973a765e98bc727f414c023a74674a7cb787128a65b10415ae9205b2cf4a",369 "Eip8282/Audit/Integrator/ReferenceRuntimePayment.lean": "d7c527d785df0020a4ee503fc0583fb5a9a456384e87288716c40b02e1cf912e",370 "Eip8282/Audit/Integrator/ReferenceRuntimePriceBounds.lean": "d8aed4b344a1844f8a7764540b250d370dbac296e264cc8829fa4edf15fb54c6",371 "Eip8282/Audit/Integrator/ReferenceRuntimeReadings.lean": "40558803e75fb2c5acab9fe265dc3e1a95951a1b64725954c593b230d0ca7753",372 "Eip8282/Audit/Integrator/ReferenceRuntimeReceipt.lean": "3f93c2c28975a0381b576a8b04494a2e5bae04167eed0a4e7a47674dcd4e80d6",373 "Eip8282/Audit/Integrator/ReferenceRuntimeReplay.lean": "2f554a5979206c47f7d65ed1153cfb081d2d48cfd051a12ce05bc4a720bd680f",374 "Eip8282/Audit/Integrator/ReferenceRuntimeResourceReceipt.lean": "dead6ede70a09816222d0baf2b61887cdebff2cc7e6446e2e9a80425e9a3208d",375 "Eip8282/Audit/Integrator/ReferenceRuntimeReverse.lean": "bd724e929b5c76bb379d1f35bb3ffe7ab983048300c68db16d4169f366353422",376 "Eip8282/Audit/Integrator/ReferenceRuntimeSites.lean": "7a15ac366dc8495c8ef7c2293db9ce3dc204dba3c6720e20bef89037a1a5e38b",377 "Eip8282/Audit/Integrator/ReferenceRuntimeStateBalance.lean": "139d7d022bcb5b68264fb4dbac0f539110fb67817341cf6727fe4469de3d7b29",378 "Eip8282/Audit/Integrator/ReferenceRuntimeTerminalPayment.lean": "30b3c4773d0fd09d5d3787e8380d218a6ca2a44ae69545b66ebd865a2dd60da6",379 "Eip8282/Audit/Integrator/ReferenceRuntimeTrace.lean": "aef930fd5f2df1083ab6feff7a1620201a14b9add354b05cc92cd6b907199ceb",380 "Eip8282/Audit/Integrator/ReferenceRuntimeTransactionPayment.lean": "e66cdf6a2b8c68cd05acfe18a59a1de6e194abe648b0667cec47d954e3736508",381 "Eip8282/Audit/Integrator/ReferenceRuntimeView.lean": "5242dabdb863c029f1b903ff04b540db135a516d04edb1e12f9bcb0794065d41",382 "Eip8282/Audit/Integrator/ReferenceRuntimeWorkLength.lean": "83a0958466732f8b94c5e8db913b871e4482811f5737f0da362b087e04efc600",383 "Eip8282/Audit/Integrator/ReferenceSelectedAppendWork.lean": "34cca95856fc270b953c4edf20aa0edd0a98acd7184eb215fe135b6fdb63d6f7",384 "Eip8282/Audit/Integrator/ReferenceSettledAccountJournal.lean": "45b0efb84b2387f9216a83d565af170b3175a764dcac24ac83868eb90bb205bb",385 "Eip8282/Audit/Integrator/ReferenceSharedPayment.lean": "29ab1105421e772c630d8050f8642900efcca1066bb1151211fd69ca6292a61d",386 "Eip8282/Audit/Integrator/ReferenceSourceAppendCost.lean": "376959853ec140adcdc7c9cabe332f5cb32bb19021559fb49406889b52a614ac",387 "Eip8282/Audit/Integrator/ReferenceSourceBalanceOutcome.lean": "7c3613616146887b9a07a588af102830c7edcd86c611988a53459ff015d6fb9c",388 "Eip8282/Audit/Integrator/ReferenceSourceBalanceTransport.lean": "5932d8fefb8c58d17d79bc802f59c855a2a8d14f72258a9601f7ce504d584286",389 "Eip8282/Audit/Integrator/ReferenceSourceBalancedFailure.lean": "cc80c246ade08fc90b762b2c586f141a506c3ca13ae785a7b4809ed5381f36d2",390 "Eip8282/Audit/Integrator/ReferenceSourceBalancedGuarantees.lean": "f52e7f7183beb07a1618e31681f5cef45d59ed003b07d8232f54812f7fd0c424",391 "Eip8282/Audit/Integrator/ReferenceSourceCompletedBalances.lean": "c473b501c4caa88353e3af6db6554da97b283c759456b1da17151d93717fa187",392 "Eip8282/Audit/Integrator/ReferenceSourceDispatch.lean": "8845b4291fde056127a0449b173ffd9c7753eb40d4a9c25bc6e4a472751dca8d",393 "Eip8282/Audit/Integrator/ReferenceSourceFeeAmounts.lean": "7073273f65e92885228e75966866b6522b3ca94ac2ca43a359b146543928c71d",394 "Eip8282/Audit/Integrator/ReferenceSourceFeeCredit.lean": "a76d9c759686ffb0c816a7009ba26513f7e329a6c4ddb6c8e5dc914bd208f396",395 "Eip8282/Audit/Integrator/ReferenceSourceFeeDisbursement.lean": "62711c479749903f354fcc7d04936b61968b61171caafabf491642ced60bdc53",396 "Eip8282/Audit/Integrator/ReferenceSourceFeeFinalization.lean": "f0df5fd537fcc1670acd7b1e77bda370c68ee243debbfee60108e8caa6699a16",397 "Eip8282/Audit/Integrator/ReferenceSourceFundedEntry.lean": "b0ab5b54ece642c8d48d686278e047ca9c7d16fd647e8d10507b9919954f5557",398 "Eip8282/Audit/Integrator/ReferenceSourceFundedFailure.lean": "8d9a0410cb2555c26d731bde2f90c5a2cf6add3ae4c3de0dc8585b75601f5eae",399 "Eip8282/Audit/Integrator/ReferenceSourceFundedGuarantees.lean": "c8483a5d5ac2c43bbd153b2a3cf89096ba6c546b3ee3a1797e1bb27589ecd400",400 "Eip8282/Audit/Integrator/ReferenceSourceOpcodeTable.lean": "c7c03b1aa807422604cd84bcaa75c522438cd2253cade3eabe4c512cd5970ffb",401 "Eip8282/Audit/Integrator/ReferenceSourcePaidAppend.lean": "121e173ab3ff5e03a3e44e0fbafcd7e8f95aac6b76d8ccb2c1acc0637a2ef6f9",402 "Eip8282/Audit/Integrator/ReferenceSourcePrepaidCheckpoint.lean": "9803817d40c22c03996dc36f9ff8e296e5309f8c135c2e6a700999aae425f795",403 "Eip8282/Audit/Integrator/ReferenceSourcePreparedBounds.lean": "b0978adff8a259c0aa132af3a77694ec7a0d9e41a8ca388ada965fe292e0d4e6",404 "Eip8282/Audit/Integrator/ReferenceSourcePrepayment.lean": "4efc8fdea8305405b666b2f6acb0ee5e1b7873e968bc3b9595c7d6cd6518efdb",405 "Eip8282/Audit/Integrator/ReferenceSourceReadings.lean": "5158cba7d99f42bc7c473116213c1a27eb605fdddc34bced1d43944127a44f5e",406 "Eip8282/Audit/Integrator/ReferenceSourceReplayCompletion.lean": "999e78b69fc65734113a7ffe8501711d14c89eb06c8617aabf5459c7a85ee8a3",407 "Eip8282/Audit/Integrator/ReferenceSourceReplayEntry.lean": "4db26531652448cefa6b7c0c461a875e3d5d11421e5cf0d2112762fff26cb494",408 "Eip8282/Audit/Integrator/ReferenceSourceReplayTrace.lean": "3248536d5cd32a48445177f793e6bc4a9888c64d177f02db38339e77b76c6a00",409 "Eip8282/Audit/Integrator/ReferenceSourceStackAdmission.lean": "dafbb172db642802834d47a753ec0016835722c0ef8f19082b0408a3094af425",410 "Eip8282/Audit/Integrator/ReferenceSourceTransferFunding.lean": "151d3f3f30ac58d4b4342e5d20684af00b1ba5d3b30930841efd445706a48def",411 "Eip8282/Audit/Integrator/ReferenceSourceValueTransfer.lean": "6815033856ee52933be2eb40aada0278c30129c6782584657c3ff75def733b9d",412 "Eip8282/Audit/Integrator/ReferenceStackOps.lean": "8556d044400f3241e77ad18416cb0a8084073610f939de708bcade01b2592dbe",413 "Eip8282/Audit/Integrator/ReferenceStopView.lean": "578340830b2727a1993cef42f925b7196198f5fb2eaed12fb2d02ec693649543",414 "Eip8282/Audit/Integrator/ReferenceStorageFlow.lean": "e51a2795b776e0c7b2fffdd5c5f503ceb791e19b5783eafaa0949c5b93f29f87",415 "Eip8282/Audit/Integrator/ReferenceStorageGas.lean": "232a212971a1be7376f1032ea9f6d23b9fa200485a7bbf91e505548bd746877e",416 "Eip8282/Audit/Integrator/ReferenceStoragePotential.lean": "915a12feb2807e3a79557eeaf5e3fec6102c01a6de2c2eb85f51d01e8a71213c",417 "Eip8282/Audit/Integrator/ReferenceStorageReverse.lean": "6e56ebd6a38bb51bd14ad32ecb844da94cb242dbc6317434d030117336545b11",418 "Eip8282/Audit/Integrator/ReferenceStorageStep.lean": "78089eef5ea28ce35067b502ef05599ef3df19cc0d03022922e400f375afeda6",419 "Eip8282/Audit/Integrator/ReferenceStorageView.lean": "23db65a073055ccf1a6512e3eccb0521a1d4fcb346abcbeff2931efe27aff998",420 "Eip8282/Audit/Integrator/ReferenceStorageViewAction.lean": "5dfba4c36a38b4aed598c6716f3ef9cadabfd2478d62812a33ca680ce932829f",421 "Eip8282/Audit/Integrator/ReferenceStorageWarmth.lean": "2a3e51fc867644f57662f644209765c6600fef29811a5573726503367002c76e",422 "Eip8282/Audit/Integrator/ReferenceSupportedOutcome.lean": "67c35b8848aaa40fa28397bdd35a8e260602693a566b17abd1f64a4fd572b7d9",423 "Eip8282/Audit/Integrator/ReferenceSystemAction.lean": "cae8d82edf82f981001d46e77fee4f3642d1cda2fdaaf82baf0755100ae5e537",424 "Eip8282/Audit/Integrator/ReferenceSystemBlockAccess.lean": "56b5d10df28b14820aeb3330a214b18c1a0b373107cbb32ae88afd52a14d7c76",425 "Eip8282/Audit/Integrator/ReferenceSystemBlockFootprint.lean": "70c90565860928d4951a32a24a4ee13be7c3accd645d72f82f8ca5ec50b1ac54",426 "Eip8282/Audit/Integrator/ReferenceSystemBlockParent.lean": "30f557eadc158caeeea1fefbf65308a0112c40c133e364e87eb572544270fb6c",427 "Eip8282/Audit/Integrator/ReferenceSystemBlockReceipt.lean": "e8657a64fe97c633260f054b3d757e6b4c1fc6d3b516b07b84121efc03fa2228",428 "Eip8282/Audit/Integrator/ReferenceSystemBlockSettlement.lean": "d9c0671ade987eafe5cc9d37aa7471a9f4ef16ab6c064adab516b71216cdcfd9",429 "Eip8282/Audit/Integrator/ReferenceSystemBlockWorld.lean": "e501361b09a85d212d911401ca3dd4c8a18667294262766a0dca887c941fa4a7",430 "Eip8282/Audit/Integrator/ReferenceSystemEndpoint.lean": "a1cfbd073f529c7d2e075a64ed1e9a59f295012c26da2517afa4bcf7207ad53f",431 "Eip8282/Audit/Integrator/ReferenceSystemEntry.lean": "249031c15d56836e29f1e8f182f8846cd21c3666022880c70c5e4a0eddc8506c",432 "Eip8282/Audit/Integrator/ReferenceSystemGuarantees.lean": "81788c3575c0a0e9c7c93392750c5f0748b5a63c1d653f202457abede9746242",433 "Eip8282/Audit/Integrator/ReferenceSystemOutputMeter.lean": "164b950390e91a5e2b029af8bb6836a56f6ba61db7415a8a888132df6d07b8e3",434 "Eip8282/Audit/Integrator/ReferenceSystemOutputReceipt.lean": "4d6a73c57ccf58e4e83d9a8224d0be19fc17172b18e664e90b81145f1b77d03b",435 "Eip8282/Audit/Integrator/ReferenceSystemReadingsTrace.lean": "a016685fa1ccfd528f76316aad790eb079ef4ca9121afda8ddcd4871cfd73913",436 "Eip8282/Audit/Integrator/ReferenceSystemSourceEntry.lean": "f4c58887eb6491f6075db1b81077b30c820becc21a2e3e3aef0fff791ac41b29",437 "Eip8282/Audit/Integrator/ReferenceSystemSourcePayment.lean": "c52c374d3579c24373e649f95b3fa81abaa408503e9a2739a949595011e1d337",438 "Eip8282/Audit/Integrator/ReferenceSystemStackBound.lean": "d9566d5bb5f44f7856eab1cc1bd1382d8b09ecf909f819d135eceb68798f875f",439 "Eip8282/Audit/Integrator/ReferenceSystemTrace.lean": "9e10feee834838fb3a8b8682d852c78a2b1f38da28809eb7e3d1e5003fdf5cf0",440 "Eip8282/Audit/Integrator/ReferenceTerminalDecode.lean": "bc849eaaef0767a949cb8a0e1a8a7f4bb7f0b4738ed38862d8a0e59e8cc39cf9",441 "Eip8282/Audit/Integrator/ReferenceTerminalReplay.lean": "7a02483860456ee5ff0a2e545df6fba237770ca629d7b5b3b30cdfd21019aada",442 "Eip8282/Audit/Integrator/ReferenceTraceAgreement.lean": "b2be596942cf2bcefe466355f773c3226ba333a9436251848177677e30e9b765",443 "Eip8282/Audit/Integrator/ReferenceTransactionGas.lean": "609587d734f25532286b0f0178ec0541f931e52d457df81b4817c0565d213042",444 "Eip8282/Audit/Integrator/ReferenceTransactionPayment.lean": "b3014ed20de1410c238d52a276e182ad857d8cdc8c1be4786fba83b313783dd5",445 "Eip8282/Audit/Integrator/ReferenceTransactionSettlement.lean": "6fdde09c027c27b13236e97724eee5d6e6fc95b30c131881bd5d94880b7ceb14",446 "Eip8282/Audit/Integrator/ReferenceTransactionWork.lean": "b966eb5c46320dc0cc2d4f76926c240f24b31de7fa151c71cf1ed27efe24d1c9",447 "Eip8282/Audit/Integrator/ReferenceTransferLogs.lean": "410277347cfc69b21ec4a796a28c50224bb3f649fd2303546e0869ee1b4c05d1",448 "Eip8282/Audit/Integrator/ReferenceTransferredFailure.lean": "d34d0314cb6b9245893d241d6574ccdd52ff7398a5451dabb7fba2f484e21e7e",449 "Eip8282/Audit/Integrator/ReferenceValueTransfer.lean": "b759152c4b5ba3d6de96ce897533aa0848f180ff6575ef9d7821f1bd21580219",450 "Eip8282/Audit/Integrator/ReferenceWordOps.lean": "6cfe43123d39bf518d22f5305d2164473246e972f886977c68bea6c51280b79e",451 "Eip8282/Audit/Integrator/RefundAccounting.lean": "4c67ebc4ccb77819248e0c6030cc5f63a0274ce0752d8ad17784a136096750fb",452 "Eip8282/Audit/Integrator/RejectionCases.lean": "305b65343389485af0065f498e53d7471254b77ded8f0689a7e388de032ec2a3",453 "Eip8282/Audit/Integrator/RejectionSpec.lean": "1e81aa9225acfe3d2765003443a3384bd8a72c7201488d6f750e61497bb4e547",454 "Eip8282/Audit/Integrator/ReleaseCandidate.lean": "764488ab43cbb63b775d97f0a41ec98fe520445bcd1390bbca5a834a181c2d66",455 "Eip8282/Audit/Integrator/ReleaseGetterProgress.lean": "8b13a2019958849874a66c53d62aa3953a1e306ad6a78b9ed0ab56af68f68f71",456 "Eip8282/Audit/Integrator/ReleaseInhibitionCycle.lean": "34f7172a3754c22a7588f6e2fcbad00c7a6b66511bb4003f5861d64bcbcb7ac5",457 "Eip8282/Audit/Integrator/ReleaseSubmitProgress.lean": "706d9b1dc1b8386b903adb71ec108a4dd13f3aa95c19419814db3ffcb0d5ceb9",458 "Eip8282/Audit/Integrator/ResourceBounds.lean": "099a06b7178531f58fb8c889ecd583bbe7fd890d1490ae0261d971f5640d87b6",459 "Eip8282/Audit/Integrator/ReturnedGas.lean": "b39d7af6e35834bb6ecd3364fd1055768ae8e11712dc92d811312e4ffce9dde9",460 "Eip8282/Audit/Integrator/RuntimeBalancePreservation.lean": "6f376531674098aff38092c4c55e20ac0bc9a31e5fdec405d103ea0ec937b835",461 "Eip8282/Audit/Integrator/RuntimeCodePreservation.lean": "9a9c8e238dbde9d9ca3b52a95a08ec6b00c765fd62f448dbe4cccadf546ae326",462 "Eip8282/Audit/Integrator/RuntimeExecutionScope.lean": "99e45311bc3ea10e78f06a274151cd0e270e847bf8f8951ee4aacbed07ea23c8",463 "Eip8282/Audit/Integrator/RuntimeMemoryCharges.lean": "fdeb2ded68a3e900dc80c7e59869172016e1613b961af47b95b500ced0cb9916",464 "Eip8282/Audit/Integrator/RuntimeMemoryFunding.lean": "48f76f406138d885cdd34c7f0de2fea4694a1f0de70bd9c52248ba933eba4322",465 "Eip8282/Audit/Integrator/RuntimeMemoryMonotone.lean": "090c2288e6c3f3f0da762fb4ea2647729ab4514bd2d07635320e8784b31d514b",466 "Eip8282/Audit/Integrator/RuntimeOpcodeScope.lean": "1743d2efcca88c3c3617fce267ebc64ceab225ae7b77dce01dea3e438b44eafd",467 "Eip8282/Audit/Integrator/RuntimeRevertTrace.lean": "5b01043e0ab8edb8a0cc56dfde03201a99660eac0a389390ef9b83d88799c7be",468 "Eip8282/Audit/Integrator/RuntimeThetaExclusion.lean": "86cd13a0a8fb1630e32129827736165a666883721e23a6ecde0863f68c622ada",469 "Eip8282/Audit/Integrator/SelfdestructFunding.lean": "a231fbc4c38c1424e7ce63f0ad1c327d9b9fc4352b37c6d60dfb8543e5e4db35",470 "Eip8282/Audit/Integrator/StorageFunding.lean": "0340e3ac715e17f415d2708e3916b417f138e9fba445efee4af88c3cf5b3a044",471 "Eip8282/Audit/Integrator/SubmissionCall.lean": "face1db4310075322e020321797e520da7068221633495912bdd192b0ff1e7b8",472 "Eip8282/Audit/Integrator/SubstateSelfdestructFrame.lean": "bada109bcfe8a809ba900dd60cb574948c99880c0c0490c19b0834443338a084",473 "Eip8282/Audit/Integrator/SuccessInversion.lean": "16296f56350ba53322d29e8cce6c8799ae95c175489d92689ed170d2875297c7",474 "Eip8282/Audit/Integrator/SuccessfulAppend.lean": "7dd2fab6f9f754bbd4c75043ef2a87b4df3cce25555d1d7ec004346836313e07",475 "Eip8282/Audit/Integrator/SuccessfulQuote.lean": "8acb62d979b209dc403385810fc25e242bd834cbc0ce13f53651660240f452d6",476 "Eip8282/Audit/Integrator/SuccessfulSystem.lean": "a31902e51e200319607fc2967424214edd1acc409f36009818de615ad4f5616e",477 "Eip8282/Audit/Integrator/SuccessfulUser.lean": "fb5651794e94dac56439daaeb3ca83aa4c012d6916998cb638b1fdee5e80afff",478 "Eip8282/Audit/Integrator/SystemDataSpec.lean": "0db93120f0ce199f1977f0aba984771d6717965af20cfd4ac823eba72d691495",479 "Eip8282/Audit/Integrator/SystemDepositTrace.lean": "8697936caf6f05158b1c3731371da13b62947149e989473c330fdf0f5b321fed",480 "Eip8282/Audit/Integrator/SystemExecutionResources.lean": "387039a1284dd942376dc84fbad83c414082f1f01b0281540b557da2f008e49b",481 "Eip8282/Audit/Integrator/SystemExitTrace.lean": "af65d87c37d1bfc3d69f9238823de7307179d697cc41fff7a55123ab078d3bef",482 "Eip8282/Audit/Integrator/SystemFrame.lean": "74b04b8a3a98ba7226479d0b53d955b98bf48e6ea16742888e5bdb1b69b9efa9",483 "Eip8282/Audit/Integrator/SystemInversion.lean": "79a7f947800d665fcae8aec7cfac978e54f500233e1c84436bb6af2e3f49bba5",484 "Eip8282/Audit/Integrator/SystemJournal.lean": "3b48efd7e9b5b8e61582e7a8adc907a80d8c58565d8ec1b2d880fdcb6e2da886",485 "Eip8282/Audit/Integrator/SystemMemoryResources.lean": "1b32cc68f0cb9743607aadfa2f7d079ca784cff288deb8abaabee42abf348cf3",486 "Eip8282/Audit/Integrator/SystemMeterResources.lean": "3870544840623ff6ff3f46aba75dbec43a167fd1d473608604ee2eb63d116681",487 "Eip8282/Audit/Integrator/SystemPathBudget.lean": "a3263c261a46500bf88b6bfa44b44cb9d5b0f3798b47d248191c6aaee500762a",488 "Eip8282/Audit/Integrator/SystemProgress.lean": "543378c2b97f1eb7668c68f15742bc23d784c8c0ba9b22c89a6983f7f34d77b7",489 "Eip8282/Audit/Integrator/SystemSpec.lean": "291b21d9803b148276bf05a111940fb4bc37af676a89466a0ba808c1a2d80b26",490 "Eip8282/Audit/Integrator/SystemStateInvariant.lean": "082bde0053b3b50dfb54ded08a5e3cc7f5e647594f8d1a1ae40f506f8e31feac",491 "Eip8282/Audit/Integrator/SystemTraceAnnotations.lean": "f5ea47575ceaa4693f45bb738b67b10fb43e1ed5c5b98d7b3a569cc97295151d",492 "Eip8282/Audit/Integrator/SystemTraceWitness.lean": "cd74ca35c0587d69939717237fae5f3e59820df04623f80c44c5d5c60a1f8efb",493 "Eip8282/Audit/Integrator/TransactionAdmissionHistory.lean": "223df1672e105807a2381c3b2523294c10f87b81682cb78b83fba91675457572",494 "Eip8282/Audit/Integrator/TransactionAppendBudget.lean": "aa799503613c3cc88d327f9e011a25dee08ce6bf569359f8d6e512d86cf25518",495 "Eip8282/Audit/Integrator/TransactionCalldataAdmission.lean": "aaca41fb2ca7451a7a7f8612506b2605eca41aff1f59113b4d15b0120bba8372",496 "Eip8282/Audit/Integrator/TransactionCommittedEffects.lean": "e77d49313b4ddbeb6c4f3ef6e12c8ee22cd7543ac843fe6a441377219864a30e",497 "Eip8282/Audit/Integrator/TransactionEventBounds.lean": "9f0e5a162e729a12f97a7789e289d44c315820ba7729ffbab07e72d9f93c6a1d",498 "Eip8282/Audit/Integrator/TransactionFactoryEntry.lean": "45c71ca61181f3de2a27620d225dcf85c99df6dbf4b980346039c171a22cf376",499 "Eip8282/Audit/Integrator/TransactionFunding.lean": "dff074ffa97b3c17862496c3cd92bfb50611c7f19796c79ad95a469778508f2f",500 "Eip8282/Audit/Integrator/TransactionGas.lean": "c9d1714110c73b74a29bc2eb2900b2264fd4136275a8d4cd3e5788647044476e",501 "Eip8282/Audit/Integrator/TransactionJournal.lean": "5e0ad68b3921ee8a4d0cbb6f41f94689cbe1329bc3b15714c28d827b5b8d84ba",502 "Eip8282/Audit/Integrator/TransactionJournalEdges.lean": "4efc7000d86277fe7f3b3a518cd5431b85d4a70cdea9b0090fc6e9577a5fe8d7",503 "Eip8282/Audit/Integrator/TransactionQueuePaths.lean": "aaee673ea31518af14391dd943f5b49e916f000a50ffe0880f3c18dfc7b60418",504 "Eip8282/Audit/Integrator/TransactionRetainedQueues.lean": "a98cce77bce333b6a5c1bc10ac9ec37d0b0c3b897ce784fb7af63d013daa38e7",505 "Eip8282/Audit/Integrator/TransferFrame.lean": "d7344861f8706ed4ef57954f8d0a5464212f45f12a5940976a6ebdd5bd945a1b",506 "Eip8282/Audit/Integrator/TransferFunding.lean": "b8d8286170495a4a59d0f61ad19e0354e624ea3a0c0e0f48bd24e92ea7871766",507 "Eip8282/Audit/Integrator/UniversalGate.lean": "251ee50dabe9d3992e004caeef696a8ac42e3596a2dd502838d2fd8382d3ee6b",508 "Eip8282/Audit/Integrator/UniversalRejection.lean": "5a513a8c25d266069c4e79c3899503cb691f4c9ee520ac9ac0dc90e41d5fac8f",509 "Eip8282/Audit/Integrator/UserQueueInvariant.lean": "f269ccf117faa4d30ca13de7cb86631877cc59451bd350b63430ec07a6854bd0",510 "Eip8282/Audit/Integrator/UserStateInvariant.lean": "d97bfdb9c02be37a754ff3d0ac57533d759ea50c8cd60592486f795526ea7879",511 "Eip8282/Audit/Integrator/WorldNonempty.lean": "2c60a3380aac09ff03ec780bdc43c06919ccb8cebf618dd41ca5bc0caa54ab1c",512 "Eip8282/Audit/Integrator/WrapperEventDebit.lean": "500678f48cd7259159ab6ba448e267df89dbd4f5c3c7230e3a335b48251683ee",513 "Eip8282/Audit/Integrator/WrapperJournalEdges.lean": "f9d8bca20ab7b9072178db598f6c4451fae1435ac54a43f30c9fa406a4b21bcf",514 "Eip8282/Audit/Jumpdests.lean": "917e095b1099b9edb7ebbc2e160a2d5ff1f1de338ed3abdbce6528a64d803b07",515 "Eip8282/Audit/Model.lean": "980dc20cb05cece56605d89c5dd0f854b4c5d3bf6a72fd497a6fbc8717b5a039",516 "Eip8282/Audit/Reachable.lean": "d94b595a6c3d9e39ffc1472e6b179c3791e1f51f4cd50189976373bcda30d718",517 "Eip8282/Audit/Represents.lean": "91e9e0893ebca01454f8430c44ccf2dfa60aa78ebaf7582357b2cea37971cd83",518 "Eip8282/Audit/Step.lean": "95482c311162b8aaf2071c481d829aeae41be170d62e8c7238ef81bfb4f89d21",519 "Eip8282/Audit/SymExec.lean": "25de470777f173f9cb720876c836ca551a908c42557bcdad033b9b1ee029af63",520 "Eip8282/Audit/SystemXiCorrespondence.lean": "4e3aecbaf69cd2ed39369ec351941ab2c2026b77399c4679c34070c45e5d6b8d",521 "Eip8282/Audit/Trust.lean": "fbebb8eedd08c99f7742c73e4c2d8536a5d4570bf036bd53b87d128790629b0c",522 "Eip8282/Audit/UniversalBoundary.lean": "77552364ce1acc69ce290e4828d783478c00930aac08bcedf9fe17021064b515",523 "Eip8282/Audit/UserXiCorrespondence.lean": "ca172cbe3874ee22944b7e63dcfca5220b7707fb1ead2618dd362b144950f4bc",524 "Eip8282/Audit/WellFormed.lean": "3b70e1c12c61a429add2dfb1857574ce04f8c4e6f4c966697e5e0e982b25d481",525 "Eip8282/Audit/XiTransport.lean": "0bfa4d4fbf34dfc6ee0e85725d113c3954a4dc9ecaa3ad7b653ad1a74eb66b8b",526 "Eip8282/Tests/DirectMutations.lean": "aa3ec12bc05b491eade0adbd1e7076e288ad9cba06041b194054c19db0002f8d",527 "Eip8282/Tests/DirectThetaDrainMutations.lean": "cf371254f95e1d3e309d0deab724ccd7088e76a81dbc58f4e85dd20e4205f99b",528 "Eip8282/Tests/DirectThetaKills.lean": "df9633ea5ba2fe5892a14f5689ce474cdede276f12317e4e777094d1c965459a",529 "Eip8282/Tests/DirectThetaMutations.lean": "c324c198700f99d1255ee86ff485b0eb2693de67498302e614048ee1f4583801",530 "Eip8282/Tests/DirectThetaSubmitCounterexample.lean": "901132e757a609f1ac540029db1ffb4c175a28bef9210aed023096e2388952bf",531 "Eip8282/Tests/DirectThetaSubmitMutation.lean": "e5315502d98aa18cce68d1063e4f95677b57a2de9357c7112c2647f77dc726bc",532 "Eip8282/Tests/Mutants.lean": "66d9e56a21ddbfddfa3694b704518ad19f75c465d5fd5a2cb696bfaca584c795",533 "Eip8282/Tests/PControl1Mutant.lean": "b73f7f0d79a41897fe3932e5a973dab8c05b640702d81afd8787a6a7e6055ca9",534 "Eip8282/Tests/PDrain1Mutant.lean": "02d2f5a0602c7a58f9d8c07fb47d842197c89e86f810aa46dffbf22e1f0865a9",535 "Eip8282/Tests/PSubmit1Mutant.lean": "53a8ec20aab3dadc83c3309fb15987f105783be50e46f7d73db2d14d21bf5bba",536 "Eip8282/Tests/ReferenceAllocatedEntry.lean": "0b5f617073a0ae14bb76feec39f17ce090e12060b15ccdb46dd96502321bba1f",537 "Eip8282/Tests/ReferenceAllocatedTotal.lean": "1b30210734951b667d674fcab02dde10e1e205caf22906685af4c3f8e1411251",538 "Eip8282/Tests/ReferenceCheckedSystem.lean": "3fd27cee433fd8251cc0f74172169ab0811ac08db4028be675f4881c831dc5de",539 "Eip8282/Tests/ReferenceCheckpoint.lean": "54f7c64f8479fea76c2b2f524858dc74bc48cc1afbe22a5021856ce5f070d718",540 "Eip8282/Tests/ReferenceFeeFinalization.lean": "ad7b4ac55ee3ea2efd42bf28d79ab8593de9163870d141cbd7a05af53298a6ab",541 "Eip8282/Tests/ReferenceFullLogs.lean": "4283295e53a3f84b8692faedd1541f6d795ef8b141852d7d0c3d3c673e0f7258",542 "Eip8282/Tests/ReferenceGasSettlement.lean": "fd3b0087eb1226da31eb5ece4e90e9777dbf8c3dbdd483e1d043da868339b14a",543 "Eip8282/Tests/ReferenceInitialAccess.lean": "8d91a38c0b13f2fb88d1f7ccfa0496ed17cb01ad6afc2376de1194911f5145a5",544 "Eip8282/Tests/ReferenceOrdinaryBlock.lean": "a1e623dcfb14645fb546308c5d333d6d1847fad9451027e920cd37e91492a502",545 "Eip8282/Tests/ReferencePrepayment.lean": "f7fbd2000d9b43f61e34b0a4e7d1625bdedfbb500b80a8213c1266bbba237a38",546 "Eip8282/Tests/ReferenceSourceTransfer.lean": "e464c2b552349d120c79ef8150ce30c2ac4ddcf9af15dd2a966eaa05580e7586",547 "Eip8282/Tests/ReferenceSystemBlock.lean": "eb7155592751ec5ea3ee813fba2114653e7981b6d252b67aee36caedb6453c60",548 "Eip8282/Tests/ReferenceSystemSuccess.lean": "0129b78e75fbdd3f86171415783fe30bf2ba1e3f0919b2b8bc4343ab232f2d79",549 "Makefile": "3a25794f4210c6d2595d04c033a11dab3d2ab5a5cb5c8fbbf8b33168f0509e6b",550 "audit/artifacts.lock.json": "2ae5be87f69e5fb129f533595f0724815dd1f6d8b59e25b4aa6d11cab1ba7990",551 "lake-manifest.json": "7f32be20a1e009ce48fd0db131983c7a8e7e7d687b9546a412dfd063ee89ee95",552 "lakefile.lean": "d08f82eba116c4a9801cfdd8c43ecf1fa16bf613ce965bb7907160ff7ad3c215",553 "lean-toolchain": "efac0b94923b2d8b6840cd35be9177ad0fc5ab2332f4f4311c98712cee92fdee",554 "scripts/check_direct_semantics.py": "00cb573efe736da2be68c705ce6d407fab32cd0dee070e2b32cfc26fbbd8a862",555 "scripts/check_factory_deployment.py": "2193965b947e4ca9d9aaeaa413c7c519a0cc58321fb9eb05732b211a5c9ae514",556 "scripts/check_nested_rollback.py": "65347d1c117f945f41c430d68a023092aa74a438f5b072b7da9e98a353f34264"557 },558 "scope": "Same ordinary full fee receipt/all3 composed with actual functional block account/storage incorporation. Source initial nonce correspondence explicit; fresh tx constructed; no canonical or next-History claim.",559 "terminal_session": {560 "id": 24023,561 "exit_code": 0,562 "collected": true563 },564 "new_module_warning": "ReferenceOrdinaryBlockAccounts.code has an unused execution binder; source/axiom check passed. No proof gap or ignored error."565 }566