Add experimental learned Intent action contracts and native verification evidence

experiments/action-contracts-384/v1/5dd54fae01f9a5faa543195e5455b28a5c8cbdcf543cf024ae535aacabea3032/evidence.tar.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9a34675aae60af80537e265fc302bce94edb52d0a7f408233df1bfd5fc4557bb
+size 2696550

experiments/action-contracts-384/v1/5dd54fae01f9a5faa543195e5455b28a5c8cbdcf543cf024ae535aacabea3032/manifest.json

@@ -0,0 +1 @@
+{"accelerate_commit":"2ea2edbe4ba1406b82c5e5e41b198ce0073b7afc","archive_sha256":"9a34675aae60af80537e265fc302bce94edb52d0a7f408233df1bfd5fc4557bb","checkpoint_bytes":384106,"checkpoint_schema":"structured-source-384-autoencoder/v1","checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","datasets_commit":"54cbb4800110c983ae6202984a04b5db3d6fcf19","embedding_reconstruction_trained":false,"files":[{"bytes":198436,"path":"native/case-000/IntentCodeEffects.lean","sha256":"43fbc579f796b6899ebb39bfd272101183d6034ba415eb2914d7acd2350ec8a1"},{"bytes":7057,"path":"native/case-000/association.json","sha256":"d0a633198868792e05ecfd9965f1e6eb3e353d808d8bbfd9ef55b41112a6ebb3"},{"bytes":392061,"path":"native/case-000/consumer-advice.json","sha256":"069dd60ed6a8e9e58ec2d21b6ede1d9c9979a09c878d04760adb164e45f8aa10"},{"bytes":7405,"path":"native/case-000/consumer-config.json","sha256":"75032d3f1ecd038b1e7af17cc1c00f8a029ac879bec01a89bb38ffc881aac98e"},{"bytes":254,"path":"native/case-000/instruction.json","sha256":"597c482a07e9a734624586539b861aa5319f724b2398ecd2c02a2650fafb4edf"},{"bytes":33886,"path":"native/case-000/intent-advice.json","sha256":"56dfe66982faf3c3b3e0fa32139128fa04cebf2de525a042b57a0933fd2814af"},{"bytes":1075,"path":"native/case-000/result.json","sha256":"59cde9330f83697d831297b074e09bf24859962b6a0c09e724fe6f30700da328"},{"bytes":197736,"path":"native/case-001/IntentCodeEffects.lean","sha256":"d9cbca6931b816c318909c5cc05e1a1f52cdcb11a2985af63fd8275662d6100b"},{"bytes":7057,"path":"native/case-001/association.json","sha256":"72754b43bb2a9d074da2ab254a861cdaeeac2e6c4f38c37e11588ea7bfcd58b7"},{"bytes":391369,"path":"native/case-001/consumer-advice.json","sha256":"c48994a56f8f9e48a532914c752c918f4d0fd8c8f15954b1dfcd16252850c301"},{"bytes":7405,"path":"native/case-001/consumer-config.json","sha256":"0808421fe96aca61e52882a06b1196a84c987052845f284d787daefd52a18e7f"},{"bytes":251,"path":"native/case-001/instruction.json","sha256":"96762aeca143dc03aedfe0ef5961fbbd4af29e2a90a801ce0f4c5ef9271e8123"},{"bytes":33813,"path":"native/case-001/intent-advice.json","sha256":"a57d27d05c337afd85fa2330c5b4b308028e584eaea1dcd95276f8a8a6ef4a5a"},{"bytes":1078,"path":"native/case-001/result.json","sha256":"38f9fb534a738889c247bd8e5313cd84bf2e1b7a3f6b0196ae1039ba48bdec4e"},{"bytes":197727,"path":"native/case-002/IntentCodeEffects.lean","sha256":"b74a49b60704b4aa902536b67dcbe27fcdaa01fa11b73faac9f610a7d303c59e"},{"bytes":7057,"path":"native/case-002/association.json","sha256":"28ebf800081c9a62bf612c626dca904bad8ace4769a0c1572c6ab8b54af89c56"},{"bytes":391363,"path":"native/case-002/consumer-advice.json","sha256":"b20824fabc0b02f255bcae33a249a66f7dfd5f40178d744de816e9461b89b9a9"},{"bytes":7405,"path":"native/case-002/consumer-config.json","sha256":"d179e014967569426bb389db1aa942370147f80098c593c7a076398170adf8c4"},{"bytes":254,"path":"native/case-002/instruction.json","sha256":"f1a17836fd97f0428d30f3fc19b9bbf3b32565c286341f17c22ec9563eb4975e"},{"bytes":33889,"path":"native/case-002/intent-advice.json","sha256":"db8bc0f7300cd4947c43df005f99a6e4b9bcd99901427394670bb8a52fa105b9"},{"bytes":1079,"path":"native/case-002/result.json","sha256":"6bba993b5ee800802136d217dbed7d4f275a669e66c2d6f02a51b7940ea12e4b"},{"bytes":197726,"path":"native/case-003/IntentCodeEffects.lean","sha256":"fe95a71d0a58857d622f9484650db195063bac5f82880971453df523b74652dd"},{"bytes":7057,"path":"native/case-003/association.json","sha256":"6d543911570465a08d5082967ba4107d51a09ffb3d26e94a804fd73e56f49541"},{"bytes":391349,"path":"native/case-003/consumer-advice.json","sha256":"c157290e18729a8838937c6aee0ea7c3c5ea3b928c660f630f97817e0bc46532"},{"bytes":7405,"path":"native/case-003/consumer-config.json","sha256":"5336e3c00e514078dd211a6a2363a384b77933c6d613042878f27c049d104d17"},{"bytes":249,"path":"native/case-003/instruction.json","sha256":"d50be9699892dd746472fbc47aa4fb7df698c31bfdef16cb58e41528108d9e72"},{"bytes":33774,"path":"native/case-003/intent-advice.json","sha256":"97198b927479bc45c3923d2c98b399657d345be16aa6b6d22e95c12e1a2e0757"},{"bytes":1077,"path":"native/case-003/result.json","sha256":"3c7a78d7084513ece07c92288512a25fe46b158e320588dccd91291171e78b68"},{"bytes":197731,"path":"native/case-004/IntentCodeEffects.lean","sha256":"e2ccebae5deaadbe3b922275b7d2217fe5690e14bf8dae2ae738c91c472d91b1"},{"bytes":7057,"path":"native/case-004/association.json","sha256":"24e9c7363189e52b9b130c49971881320eaa6a3d8cf25fd7be5d6ffb47c470c7"},{"bytes":391359,"path":"native/case-004/consumer-advice.json","sha256":"a3caf400da7405e9e9bdb70e66ac988825b3693d1159fee8d7abd3999654d361"},{"bytes":7405,"path":"native/case-004/consumer-config.json","sha256":"25642601220fe31cb0241ebdab4fc02b19b3eee8579283147163608215df35ec"},{"bytes":250,"path":"native/case-004/instruction.json","sha256":"01d7cc26d635a8410c9d7dabea45726d670fdafa35f366a1e6c8996f9437cab3"},{"bytes":33792,"path":"native/case-004/intent-advice.json","sha256":"cf723e92c96e5f5120913aacb87d2c1e385e3d0efd385a65e526d871b0cd3f27"},{"bytes":1079,"path":"native/case-004/result.json","sha256":"b40deb0927f385f4272d12276880f92b5c4d53ea756b586237ddea6c90cf79a3"},{"bytes":193964,"path":"native/case-005/IntentCodeEffects.lean","sha256":"5d3d902ecc7b9dc0ab9c2fa7739623dcd04cf97267aeffbd16ffe2a7cd93d4e0"},{"bytes":7057,"path":"native/case-005/association.json","sha256":"f0a02bdab80deb43f0d3e536787d5d50a4d268484d6ed327a89a23c95556b95c"},{"bytes":387504,"path":"native/case-005/consumer-advice.json","sha256":"0c2e68038011ac753651197810812bbf07fa73749404515bafb2ea3905ec8394"},{"bytes":7405,"path":"native/case-005/consumer-config.json","sha256":"be5f7bf4245a0c6ba1822bfac3fc8e5e312dd71824b532748b047d96a19d43a7"},{"bytes":250,"path":"native/case-005/instruction.json","sha256":"763e01b2b9527f4687d98b1f06c5b4aac30e0525da41d103531cd4e848e0fe4f"},{"bytes":33805,"path":"native/case-005/intent-advice.json","sha256":"6b78e6800f33ad15a9f20fc6f614249972e0cd6d53104f9a321c31ac853d65ba"},{"bytes":1078,"path":"native/case-005/result.json","sha256":"cfb23cf01e679e4ea6ff4ac8bca339a6c3a139c64824a2efb7f39dab87a86180"},{"bytes":197712,"path":"native/case-006/IntentCodeEffects.lean","sha256":"52828f27ae8243681388d7facd3e3afacd2e67e6432a05943e98cab165d9c973"},{"bytes":7057,"path":"native/case-006/association.json","sha256":"3562ef16d874f8a61b037c715885d2826ddc6987b1bd63f0c6b2b1f6af5d4701"},{"bytes":391333,"path":"native/case-006/consumer-advice.json","sha256":"f2a73cdc22ceeca3ff52350775d193e7d278a248dbfcfa2f2a6fc2e8cf07966c"},{"bytes":7405,"path":"native/case-006/consumer-config.json","sha256":"2a4e615350524c0ee09c50edd7710316531147347857f49037f4341d22df3469"},{"bytes":251,"path":"native/case-006/instruction.json","sha256":"c504ad86129c95545a0aa7c123a95018a6810b37376e3cc2c7d1ac4d7d2ac812"},{"bytes":33824,"path":"native/case-006/intent-advice.json","sha256":"bef699af122adec89093a8b9218754260b9ae7eb2ed9ab9a9631ffb3e5f04de0"},{"bytes":1079,"path":"native/case-006/result.json","sha256":"33378b98077ba9bc4326c01ba3681dafb32c98e4415c31ad2861785499cb8b01"},{"bytes":197744,"path":"native/case-007/IntentCodeEffects.lean","sha256":"dbe2c4e0c54c3311d3d16038602ec343c857e1b8d60ea75efcd3b9b38391307d"},{"bytes":7057,"path":"native/case-007/association.json","sha256":"aea71f1238d9629d65df2532a0da885e913622418673b2dbf8ef5dceb995e454"},{"bytes":391381,"path":"native/case-007/consumer-advice.json","sha256":"77d06df3d505c4f82c68bedb140033d965a039c00afaaceefa17ee1353370c19"},{"bytes":7405,"path":"native/case-007/consumer-config.json","sha256":"7dbabee14821d9e64f2f67733fc1229112306707df072b995ba85674d85891f3"},{"bytes":251,"path":"native/case-007/instruction.json","sha256":"c2570cebb129ebd6342ff686efbce69b5d9a5689dfa884f64fef56d44d0d802a"},{"bytes":33828,"path":"native/case-007/intent-advice.json","sha256":"b6580ebc66240149d66ef8644c384e71140e019200faf3eba73cd3dc2a508a7c"},{"bytes":1078,"path":"native/case-007/result.json","sha256":"c262e65d35e9d4c78a0230f94b95d5c7cbb6e6639850a0b66698c66f4e54b448"},{"bytes":193969,"path":"native/case-008/IntentCodeEffects.lean","sha256":"e1d96b2ed93f10aec6829c5b54098f5bafb8170936a8bcc08160a5aedd4c87fc"},{"bytes":7057,"path":"native/case-008/association.json","sha256":"1d50b5d3e8e6fd1fa9ac4c482504c769ad36477112ee1a4093dd1b91a5487972"},{"bytes":387514,"path":"native/case-008/consumer-advice.json","sha256":"57b5cbd3b25ea3c6faaad6adb326a2ec6cdba545cf5fdc4fd9c0397b4b25af3b"},{"bytes":7405,"path":"native/case-008/consumer-config.json","sha256":"eacba0f3c96ed2cda3bc90f11161c6e7b762ad3a416b314478fc3653e8c5b65c"},{"bytes":251,"path":"native/case-008/instruction.json","sha256":"0d364098ef24da6e5b45becb17e3fa447939f09909911d87447d2279886bc31a"},{"bytes":33838,"path":"native/case-008/intent-advice.json","sha256":"942e2d1d349c2260cea254d31d0bd50a7acf028bcb405785e9dd80db18dc964c"},{"bytes":1078,"path":"native/case-008/result.json","sha256":"14e64f4297e4ae0981612b807b9096d088d065863fb4ba1686d2c32d191def3e"},{"bytes":193941,"path":"native/case-009/IntentCodeEffects.lean","sha256":"50e649ea461506e91da452bb06142f826a0f8c3b51f05bdae00a0b71eed67ee8"},{"bytes":7058,"path":"native/case-009/association.json","sha256":"3a7f48f1758b721c4ce777d75f65e603447ac9f2a4d794ba83ea9132c684d986"},{"bytes":387467,"path":"native/case-009/consumer-advice.json","sha256":"ff47aac24e13d2cf1d92140f7412fb95efc99a1a65969e234506153ee0e0cb50"},{"bytes":7406,"path":"native/case-009/consumer-config.json","sha256":"094896a10495582172f69c7a9d5a3d3cfd3442e7eb186cbcbe985a159bfcdd1e"},{"bytes":250,"path":"native/case-009/instruction.json","sha256":"7020f5f577190714dd53e291617e9704615a8b2b0b156edabe7df09e4f67515b"},{"bytes":33791,"path":"native/case-009/intent-advice.json","sha256":"4693237a114c02187582bf545e5b6cad2c62944e376e3374f3cc3dcc18885489"},{"bytes":1078,"path":"native/case-009/result.json","sha256":"5b5d6a17b69f0247030ea13199aa5f55d139596013e953f84432bd965c60063e"},{"bytes":197731,"path":"native/case-010/IntentCodeEffects.lean","sha256":"6e02f1ac4182e7b06c5d30db73e8873186e0d0553c9e4bda59c549e4fa002614"},{"bytes":7057,"path":"native/case-010/association.json","sha256":"51ac9e1b9ab93c50835c920e91837b032b72f36643762fa4b8a76027bd4af605"},{"bytes":391362,"path":"native/case-010/consumer-advice.json","sha256":"6f80f2e64f1d7dca582e5be0d1b66e654c5f04e83423b0c4524fde2c329d87b1"},{"bytes":7406,"path":"native/case-010/consumer-config.json","sha256":"84e5b81d4dcabd6ba5702b508feb1db8d6a0c79540b711bb21c74d1a2c6f4c11"},{"bytes":251,"path":"native/case-010/instruction.json","sha256":"161fc4ce0416033db9eecd8c4451aea2bd5d0da6ea05043709cfc295a95319bf"},{"bytes":33775,"path":"native/case-010/intent-advice.json","sha256":"3a75f9312175b1fb4a331e507bd3cd9796edd089691934692311e9d90d447f22"},{"bytes":1080,"path":"native/case-010/result.json","sha256":"9e5b7801bbacd56f2c6d668f7ea272d3bef622271db9ce9318f6565c08ad36b3"},{"bytes":197726,"path":"native/case-011/IntentCodeEffects.lean","sha256":"4717644b6dc9395b34f1fca8f41b03945aee09a5d8961563a9efdd5bb9b4b330"},{"bytes":7057,"path":"native/case-011/association.json","sha256":"c6093674b88150a055b825fc56f0bb0cc61a2b5dde0365b53e9bd7b2fcfd193d"},{"bytes":391351,"path":"native/case-011/consumer-advice.json","sha256":"8792c0ce7accccb55455ead74c88ee47d49341bc941cb1b5c5e56c77ebd044c9"},{"bytes":7406,"path":"native/case-011/consumer-config.json","sha256":"49bb347df430f50634a590cf95e2b0fc260ba01176decf00888b82eb1c18ca10"},{"bytes":250,"path":"native/case-011/instruction.json","sha256":"9e9c9a6ebdf641696e6943d952b4f81726d6da754f74afd0f66c4d5c85ce91f1"},{"bytes":33773,"path":"native/case-011/intent-advice.json","sha256":"6f6f1f9a65f9970e1a2480e2982aa7edc935a2b721416de026b47957e6b5d4d6"},{"bytes":1079,"path":"native/case-011/result.json","sha256":"d26e94fb950f0f780cdd57c72ecc844d5657ea2c19331d7a33730167c58171ed"},{"bytes":197759,"path":"native/case-012/IntentCodeEffects.lean","sha256":"1e01188905eda6aa08ffd9a40918c26b94a93c2d240527fefdccecee1562a728"},{"bytes":7057,"path":"native/case-012/association.json","sha256":"9bbe300d27ed6cc428e60370796e1a35ee28ff41448b8fc4a132ddcc58e0e044"},{"bytes":391414,"path":"native/case-012/consumer-advice.json","sha256":"c7bb67ff1bce394c3143ba8a5d120a6ec87757a2534bcebef0ac08ad43e447cc"},{"bytes":7406,"path":"native/case-012/consumer-config.json","sha256":"ecc119e7a0fe4299bb1e0e84993363f65b48a3bc479c4b2e91cad24005cd5c22"},{"bytes":255,"path":"native/case-012/instruction.json","sha256":"1bafe1287ccc8bc0722947957fb7d7a76591bd5c829e8ee0e2829bd5519f8883"},{"bytes":33892,"path":"native/case-012/intent-advice.json","sha256":"4b426486a8be5219690c6fe053befa20f7a561a6c35df32b1120927f2e56bf4d"},{"bytes":1079,"path":"native/case-012/result.json","sha256":"8b8327e6bd5609158687f07e3442cac863b9806891e710314da22cfda6294501"},{"bytes":193961,"path":"native/case-013/IntentCodeEffects.lean","sha256":"6e62622b35ccf2bde942bff80176b105fc1587c13c1de01a563647adc57301a9"},{"bytes":7057,"path":"native/case-013/association.json","sha256":"2027322c47be5c363d63c4b9577f7ed27ec05b3b6d6c289993c175315f738613"},{"bytes":387505,"path":"native/case-013/consumer-advice.json","sha256":"51341e11970f350506f9b770eb165bd133bb945eb50726b19be490619584f56f"},{"bytes":7406,"path":"native/case-013/consumer-config.json","sha256":"a0bbf518db5a0e55e61b5849747cfc8fa049a75990edcefd46de52f003ca8db1"},{"bytes":252,"path":"native/case-013/instruction.json","sha256":"23a83c493781ea9774eed26b2f9d66af01284662d45b1e8cd1e8bed3c80dc405"},{"bytes":33823,"path":"native/case-013/intent-advice.json","sha256":"e51e9f60d7844507ec1f129d32247cc26d8d507df709f2d0f25a487863f86aee"},{"bytes":1079,"path":"native/case-013/result.json","sha256":"779121f1aa12c9bb93129b708287da203036612e51ae7649949ab56689e2957b"},{"bytes":197727,"path":"native/case-014/IntentCodeEffects.lean","sha256":"628ebfc7825ac4bc1c671ee51aee5013da03fb0b89340f8cca202db371e3ea9b"},{"bytes":7057,"path":"native/case-014/association.json","sha256":"37c9828b009cd6beca44c67dae381aa00ffd5bc7e63a9992ca657a5a1f94e30a"},{"bytes":391366,"path":"native/case-014/consumer-advice.json","sha256":"852ce73111c7d8df167ae8b9187b4eb1f5495e1ed326d69982f624afe544e66e"},{"bytes":7406,"path":"native/case-014/consumer-config.json","sha256":"b163b090f703113019f9b139a8a8b17af958241e3c13935e5dc35013b78d28dd"},{"bytes":255,"path":"native/case-014/instruction.json","sha256":"38910bb2099b7ce98bca4ed5b9b017dd82b7fc37b866558b7881e08f3e05b867"},{"bytes":33891,"path":"native/case-014/intent-advice.json","sha256":"63bfdbd574cc17754bbecdc16b9acd2cb20ecd628f886e74c6cd8f689ea8bbea"},{"bytes":1080,"path":"native/case-014/result.json","sha256":"3c698a644b810921a89c3c8f5dc098830b52d4d7491d1aca00dc058aeabc7c42"},{"bytes":193976,"path":"native/case-015/IntentCodeEffects.lean","sha256":"db787e4d7b7aad48dd6ad667ee74a2c726591bdc487292d019270dbc1861f2c7"},{"bytes":7057,"path":"native/case-015/association.json","sha256":"8442a4732d98e5761f661e261082f7fd4bf0ee939d3cdb93dd00fb77f398832e"},{"bytes":387535,"path":"native/case-015/consumer-advice.json","sha256":"9bcff9bb16fa049b34b33f225f63eebd787c2cae0c009c3c22e1bbd7efa305fa"},{"bytes":7406,"path":"native/case-015/consumer-config.json","sha256":"661c603d601a379b0633c0ae9337fbdfad912c4547cfcbdbded08c89f02c1c6e"},{"bytes":255,"path":"native/case-015/instruction.json","sha256":"0a522ab909384e4fb5373b2301e7bc2b74f3abedcb12e011c9fd46d850a6b386"},{"bytes":33892,"path":"native/case-015/intent-advice.json","sha256":"115259df1871c54a7bb19e8487c21541106f1279f4d3871c5faea3f1aef522c0"},{"bytes":1079,"path":"native/case-015/result.json","sha256":"f59017b5a974fb961cae47d2b2350ffe1f6e1501dc24a1cf96ad2d2b28169232"},{"bytes":193945,"path":"native/case-016/IntentCodeEffects.lean","sha256":"7939c4b2054c4488bf64d262b99a48d6fb322cfa8703324446b29186ddedd71e"},{"bytes":7058,"path":"native/case-016/association.json","sha256":"00fbc80f44ff50cb26a986c98d3c0904d8dd660560ce0e604dceaa6f0df001f5"},{"bytes":387479,"path":"native/case-016/consumer-advice.json","sha256":"ed8ee8e28a33a4444134cf5c2045ea55ace8149f1acca12fd731cadb724a8324"},{"bytes":7407,"path":"native/case-016/consumer-config.json","sha256":"80c2396cc87d2aa2ee089951d82ae0e83b4267c4e9851dcece88e83d87d75f48"},{"bytes":251,"path":"native/case-016/instruction.json","sha256":"63083d8f5ecf0047438b2bc1ef91105962a6cfcaa4fd846c8b14b9db2c7077e7"},{"bytes":33808,"path":"native/case-016/intent-advice.json","sha256":"960ea63cf70e8b26bc8334f3acdbe4b7a197be6f614bcb0cf3c54f13b71e76f0"},{"bytes":1080,"path":"native/case-016/result.json","sha256":"8ab2d044a96a38ed6f380656d44a49ffc1ac52e033142ddb0a91bcb07f77962d"},{"bytes":197741,"path":"native/case-017/IntentCodeEffects.lean","sha256":"ef5292087cb885a3e730e4d113627258486b745c0f797fd6bd77696f39253f8b"},{"bytes":7057,"path":"native/case-017/association.json","sha256":"b7f13d9d73adaafa756571f55ceffb5649c306995577ea1eee959fa91c01ecdd"},{"bytes":391382,"path":"native/case-017/consumer-advice.json","sha256":"7a9db5a491fdf50c944e7fb971070b4b0ebc81953cf9169c1377a241ffff83ac"},{"bytes":7406,"path":"native/case-017/consumer-config.json","sha256":"4200870671559c64cda221368dd5135a62da9f3781b753379846149c40c24760"},{"bytes":253,"path":"native/case-017/instruction.json","sha256":"facca1b61ff094cc7e6d45cf26a3081700d94021e4d01d5b955b04dd6a21a68b"},{"bytes":33821,"path":"native/case-017/intent-advice.json","sha256":"83928d7c726390dbd445310bd19acb069f2af02a6e15af08be4b113e54a74fff"},{"bytes":1079,"path":"native/case-017/result.json","sha256":"6a86f420d228780d47a21aedb548166b07e20c6de2b2140f19e7e1cf00694430"},{"bytes":197734,"path":"native/case-018/IntentCodeEffects.lean","sha256":"ef4d447fec0010c91b6527d803481380ec5cc22268c1b8e728ad4dd71603670a"},{"bytes":7057,"path":"native/case-018/association.json","sha256":"a3591d84390e5f7a1c9212fc22d7406b1ae7aba298ceeb485847a053e73b4de8"},{"bytes":391364,"path":"native/case-018/consumer-advice.json","sha256":"99db70ac15ef57be28d44054255ce5f66fd03a73ce397777add4b656a9d2795a"},{"bytes":7406,"path":"native/case-018/consumer-config.json","sha256":"96411a0a1da6f0e34f0c59dc9b5bf565ee3487bf6d27b80b035f0301211894d6"},{"bytes":250,"path":"native/case-018/instruction.json","sha256":"8e7d0d49d44ede0c5389c257ba0b18ee86854bd87936d4a199c501ce86f05062"},{"bytes":33766,"path":"native/case-018/intent-advice.json","sha256":"aabc21df9881f51da544db832a455893716753ea3a55d70e94bcce991d1c8b40"},{"bytes":1079,"path":"native/case-018/result.json","sha256":"9c90cf0f20531edd80080b319c9081d3a1cea7bc739ab875710fe959bfe8dc72"},{"bytes":197751,"path":"native/case-019/IntentCodeEffects.lean","sha256":"c1ff8212690ebfb08016cd401dbe5894eab01a25fba892ffc2e91e6b2c8a5ee1"},{"bytes":7057,"path":"native/case-019/association.json","sha256":"c6d5e166523007a35d9c818d30cec759a1501beb06f6b74ab343c0dcfbe4036f"},{"bytes":391402,"path":"native/case-019/consumer-advice.json","sha256":"42e6594fdd7ff5c9b256ffcdedf0890b6d6801fb54d40604faa00e5d334058a9"},{"bytes":7406,"path":"native/case-019/consumer-config.json","sha256":"4102959f777aaa35dd45b6d7d2311f86607dd65ca38caad8d99b096bfaf5c76d"},{"bytes":255,"path":"native/case-019/instruction.json","sha256":"4afe6559b6ea1d49b723b5922afc4a54d3cf31a75bd4974b25b3c7536c683abc"},{"bytes":33889,"path":"native/case-019/intent-advice.json","sha256":"3456685d1d61de85178a3b0fed61fff79d986436753d9539a80fb5b3a6a49c31"},{"bytes":1079,"path":"native/case-019/result.json","sha256":"e4bae773de542f2e20197e827e7b96d14795b75c89fcb1a9994d67485ab23357"},{"bytes":197751,"path":"native/case-020/IntentCodeEffects.lean","sha256":"71fe9f4c462e91aa28c3be486e96d24e889219c9b99f6bb50c06d850fb064934"},{"bytes":7057,"path":"native/case-020/association.json","sha256":"749065bba209e7a1cf827ab1a900577b3ac2101a4a0683ad37d5f773fced111d"},{"bytes":391402,"path":"native/case-020/consumer-advice.json","sha256":"9937dd92ac51f92ff1dd8740a5ddcf178881fb20656e87fc934bdb2548e74fc9"},{"bytes":7406,"path":"native/case-020/consumer-config.json","sha256":"257c5375a60ae46bdca677ca3042e32a9a39decf3815f6aa9a82b00d211a789e"},{"bytes":255,"path":"native/case-020/instruction.json","sha256":"f159733a4a79c9b4b56a59292507854fa6bdffb7f00eebdac97e601d4a2214e8"},{"bytes":33887,"path":"native/case-020/intent-advice.json","sha256":"30e1f6eeb755fb821762c0745d2586b275c3f2f64d6d5b4218fd9eea17dcdbc5"},{"bytes":1080,"path":"native/case-020/result.json","sha256":"1927fa37d40206652e1ab082408d12631196a0853c6b26feaadba46807ec8b56"},{"bytes":193959,"path":"native/case-021/IntentCodeEffects.lean","sha256":"50a7fe8da66ffb525f77fd250e7f9858343aa76a12babba61ca29e9295b248d6"},{"bytes":7057,"path":"native/case-021/association.json","sha256":"6359c2922d966d64ba0069ff2788a8c8a91a46c30bb66139ad2d0c7908b5bfd3"},{"bytes":387497,"path":"native/case-021/consumer-advice.json","sha256":"c34482f5cdf05a4e8ecbd1e2257f3eb1d38ce746b69afc3a0d74a05d3cc1bad8"},{"bytes":7406,"path":"native/case-021/consumer-config.json","sha256":"5adfb069595c043ae8bb6b224bb9d3448fec99732cb289fe621b859b2773c704"},{"bytes":250,"path":"native/case-021/instruction.json","sha256":"fdca6d6ef6d0bd9a0066a4f6344d467507d7b34e6044933b4ab20f6a2d475f70"},{"bytes":33801,"path":"native/case-021/intent-advice.json","sha256":"03a02e396d35268ac2dc0a07cdf08f18d821610cf998a2e0775bbdc433d880cd"},{"bytes":1079,"path":"native/case-021/result.json","sha256":"ae8e6783655d71ce74731a0c4978a6db80a8ef6f1d6ebc2c463bae21d886a100"},{"bytes":193952,"path":"native/case-022/IntentCodeEffects.lean","sha256":"6e26cb16b0e47fab552adc815b5203b32059243577b93bff644a796ef5ae9cd2"},{"bytes":7057,"path":"native/case-022/association.json","sha256":"02276cf1c8e87931752f05d33bb04e35a19f284cc2f45e4f78682d22675d5eae"},{"bytes":387486,"path":"native/case-022/consumer-advice.json","sha256":"ea5a8104249ca615ce09db41e2dbcc1eda7c646d816175f301746063341c167f"},{"bytes":7406,"path":"native/case-022/consumer-config.json","sha256":"9f22cd44954b6b0165933dccda56799b110de48291bc80ca7c1e7ce712b4b716"},{"bytes":251,"path":"native/case-022/instruction.json","sha256":"5901e6fd6f2cb0ab489a3cef4c74f9269404617d9a7985470f53112b35c8aa5d"},{"bytes":33791,"path":"native/case-022/intent-advice.json","sha256":"8bdf374870f882b98de7a489078a9184ab298c92afd1cf493d6c00fb19baf368"},{"bytes":1077,"path":"native/case-022/result.json","sha256":"0f2c4b96c04e7b58aa43af2cd41d51b8b26b39c6a557ccd2f49743e847ee9c1d"},{"bytes":197739,"path":"native/case-023/IntentCodeEffects.lean","sha256":"239e81ae517aaef70f1afb133d83faf09f809a4611e876d619d998fea5ca2cad"},{"bytes":7057,"path":"native/case-023/association.json","sha256":"4135858013d40cd6e76aaf7f41183d8e6b6a463ba6af3a4b0cac80aea388f3bc"},{"bytes":391374,"path":"native/case-023/consumer-advice.json","sha256":"dad3cab19ec137cb5798fa6721a87b658c038815bae450639c9cf90f4919a98e"},{"bytes":7406,"path":"native/case-023/consumer-config.json","sha256":"d79165d75bb61a505fee7222d70112dd6e8c0a873e683f7e33a610d3b71ae893"},{"bytes":251,"path":"native/case-023/instruction.json","sha256":"58120cc9822855a1c85fadce08e4bb26388eea38b9c2621271eabd352703394c"},{"bytes":33797,"path":"native/case-023/intent-advice.json","sha256":"f9e5be661abf3309f3e929084e7fb81027e443ff360872f7e9ccb5c8b066c3d9"},{"bytes":1080,"path":"native/case-023/result.json","sha256":"abba111e8eda2eb154744ac7ea26e6d9c0e4468c73a89fda0d624d22855f8231"},{"bytes":132,"path":"native/execution-environment.json","sha256":"a67d9cd8298650f9eccb0b6d797be66f1fbec5f23edcd4b513f993f245e5008e"},{"bytes":1609,"path":"native/input-references.json","sha256":"746e954ddb3d75b481ce4584b1b6fa581b4022a76c7b08c3e9b0824efb7d69a7"},{"bytes":286,"path":"native/intent-config.json","sha256":"5b724b049483b90a737fb78d654c5fb33c6d1739b0c9168c2b54fdf788f7ecfe"},{"bytes":47900,"path":"native/producer-sources.json","sha256":"fde6204940886f2fd5206dde1edf8c8b8afd6bc79adf71c2ba1e3b1a6645222a"},{"bytes":259189,"path":"native/security-advice.json","sha256":"fbacb87bb27def2f24160cea93e571ebc95f548bf6f5fec351268bd7824cfdca"},{"bytes":526,"path":"native/security-config.json","sha256":"a4294dbd791c53bb786e8ba7884ef568f630ac782ae307b77ebe55f93f85d4a6"},{"bytes":215,"path":"native/source-inputs.json","sha256":"cd60840da661f061ee026d0e591fcc3f51aa8fdf75488e0ab0c790d2f0cca231"},{"bytes":6070,"path":"native/source-only-instructions.json","sha256":"a7f437ec31fe50cea22106c001405d2a234c6f9988cb28d8fa63307af1e0512f"},{"bytes":27589,"path":"native/summary.json","sha256":"a9c970a3b3aff40119edcd2700077c248fc06d4a69a3ee5c117bcec059d214f9"},{"bytes":23788,"path":"publication/publish.py","sha256":"065393b4607915cc79bf462389a4265ad6d8acd070afe80f1e1ead04c4ab32f3"},{"bytes":3226,"path":"sources/accelerate/docs/agent_supervisor/intent_384_action_advice.md","sha256":"d5e30f1811930c5e939410747401c2453687735b36b5f4e89c7f5f31ea074086"},{"bytes":10522,"path":"sources/accelerate/ipfs_accelerate_py/agent_supervisor/runtime/intent_384_advisor.py","sha256":"448fc19e6f4727510a8d34864bffbcae72fc59ee752a6abcb09a5f2fd8be56e0"},{"bytes":19713,"path":"sources/accelerate/ipfs_accelerate_py/agent_supervisor/runtime/intent_code_effect_advisor.py","sha256":"66f2b8ca88ec186ae4b8dd646b1c273b9afd531981a0871ea45f943ffa10bb93"},{"bytes":12402,"path":"sources/datasets/docs/autoencoders/intent_action_contract_training_384.md","sha256":"2542c9fcc2bc99a4c590d6c42e997d3c02d65b0aca65a2f322b472fcaeaf0717"},{"bytes":9263,"path":"sources/datasets/ipfs_datasets_py/logic/formalization/autoencoder/intent_action_association.py","sha256":"af791bc7a6ae148843ce62b26e6758a4ce5ae64ba54c34a367cca2a4b3476512"},{"bytes":3792,"path":"sources/datasets/ipfs_datasets_py/logic/formalization/autoencoder/intent_action_hub_384.py","sha256":"08cef043180c5b39564c344404c551ad8d9462f3080040d8af10a11129ac0416"},{"bytes":7288,"path":"sources/datasets/ipfs_datasets_py/logic/formalization/autoencoder/intent_action_runtime_384.py","sha256":"47cf60a2da45804ece8b10196f4e80deba9b8756c1b052cabe8a6bed101648c4"},{"bytes":14572,"path":"sources/datasets/ipfs_datasets_py/logic/intent_ir/formalize/action_contracts.py","sha256":"694e490c8f62bf8abed4cea0f60f161888436ee5886b1e814784ff77da811cc7"},{"bytes":15949,"path":"sources/datasets/scripts/ops/autoencoder/check_learned_intent_action_effects_384.py","sha256":"eb27e958afc97e2de565d70b19e66bff2316af9bce0d4514ec54223e69359501"},{"bytes":7818,"path":"sources/datasets/scripts/ops/autoencoder/train_intent_action_contracts_384.py","sha256":"6c899a09541cf685455f04d0cbe54c432dcde6b7ab12d5b4bd7185f6ccb31530"},{"bytes":280,"path":"training/fit-seal.json","sha256":"fa73ced6d65cb066cf2ab8a79476170535fd64f133086dcb52fe41329c518aca"},{"bytes":2435,"path":"training/plan.json","sha256":"276c0a47662c65982b17401d0a09f2d31b22a23cba2b9be1ce0fba3f437ace59"},{"bytes":1075,"path":"training/summary.json","sha256":"f96b93abb400370b60f64ef4083c46ada0300fa3549a5e335d462c65fff266e9"},{"bytes":260332,"path":"training/test-actual.json","sha256":"551fcc39692326817c4ca8b5807cdd3b19b7e9b00452fd8f78368aa173321523"},{"bytes":210809,"path":"training/test-bindings.json","sha256":"6422ffefe43d157039e3ddd6696b48b111df8d593fc245f62f259271b7e4c2a2"},{"bytes":252669,"path":"training/test-rows.json","sha256":"c85624e913e6e5d770516ba6c24db728f578ac04bbc4ba9ff3ddaa8392cc374b"},{"bytes":260767,"path":"training/test-shuffle_embeddings.json","sha256":"c0ec2983ebf953ba5eb46749469a9be309fb580dc36728f66be242a0a6919cfb"},{"bytes":260443,"path":"training/test-zero_head.json","sha256":"ee4a9b00b92fef40a45a8b142443a99f31201fc213e720cce3bb571ef20b94cd"},{"bytes":112637,"path":"training/training-report.json","sha256":"f9efcf1ecc7cf0ec54129320f501e653648f71bc3cc00ccf0c23dac46ecd1bbd"},{"bytes":1011194,"path":"training/training-rows.json","sha256":"3f207beec7d02294ab45441366db6a04594bceab2033b68a7d42d2dc1243a8ef"},{"bytes":252932,"path":"training/validation-rows.json","sha256":"a39603f55f7f475b398251bd0e86209303f44891c0b0c02434c325b90fee0b23"}],"native":{"all_instructions_retained":true,"all_supported_contracts_used_supervisor_consumer":true,"checked_instruction_count":24,"code_input_cases_per_instruction":9,"completion_authority":false,"counterexample_case_count":24,"distinct_security_sources":1,"effect_dispositions":{"no_enabled_cases":15,"refuted":8,"satisfied":1},"enabled_case_count":33,"execution_authority":false,"fresh_security_inference_calls":1,"full_daemon_executed":false,"input_instruction_count":24,"inputs_and_weights_unchanged":true,"intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","parameter_mapping":{"left":"capacity","right":"threshold"},"positive_satisfaction_count":1,"proof_authority":false,"provider_calls":0,"rows":[{"bound_candidate_sha256":"bec040982296ecb5460e0288426e35f526c81846a82db7be6da769ae832dc08d","bounded_effects_satisfied":true,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"satisfied","elapsed_seconds":3.5473255021497607,"enabled_case_count":3,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:0","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"973b45edbb0cef6082d28f0eb30c68f39cbe47bc650fefe9f59c04b3e901b0a4","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"608eca7854f91cc3b2e0896cd2f833ef07ac87578fec6ee8743e91ea3c0c62b6","status":"checked"},{"bound_candidate_sha256":"320acf14f089648983dbab9b609dc5c246dc1a9e99b3d5c67bed22454d25deb4","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.332461994839832,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:1","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"ab497b0127b0b5fec9f5d7c951f82cb24da221c5b6bb2ac86b839458b62f3389","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"cf737a8b8bc09eba640e253e19cb99f06b24a97d09ea38b82c19f701df6174ea","status":"checked"},{"bound_candidate_sha256":"987637e6aa4082fcf72e285d63060fba7a5ec4193e46400d5330d459c8f8f834","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.3729862708132714,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:2","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"53bbaf1779212ecf600dbdc53db8d38ec08e944e82c9565d6a8b4e7d98e9f6e8","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"537c69024e4a90a69d37bcca0558f47a9954b2fd437636a1e790e39cb2e9d073","status":"checked"},{"bound_candidate_sha256":"40bdaeb060aea9db91e1867d26a8cd5c6864370d63e91dfb5aef613fe492e0a4","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.54523508483544,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:3","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"2968423d7edfdc31c33eaef089aede3f7b2f1c1b09c3ca7cb4b40ec31b34ccb9","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"5df4f32895791da4bc6b51290422b4b203504c4041164f0653378cb51e90dac6","status":"checked"},{"bound_candidate_sha256":"e18c28c08fa60af4543e8117d76ca89fdbc10e26e0026e38da767f3debd163f7","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.3988103240262717,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:4","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"c97e7bf46ccfba982b9b540e51bd39d5b37dd8a056ea62601b32973deed6674e","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"87cbeefe259b674deb33a2871446e781fff4a5a55ca5049455e5437faf1fa4f0","status":"checked"},{"bound_candidate_sha256":"d84041e5a13bb43480566af93692c9c1451ef7ba0938fe3c3e8a5bd0c146ef31","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[6,7,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.3686960788909346,"enabled_case_count":3,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:5","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"beb29f87cd6422b1843f28c2bf7bc4222bcf3d1027c677dd375dd36743a69585","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"5c152fea8b6701d11c42574386896fde9780172370e946dd51b6db8be6ce8718","status":"checked"},{"bound_candidate_sha256":"4c5f150a6c055ba2b20bd293d02a8be4a2c23b563ad7b22277817fb958100bdf","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.4730283298995346,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:6","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"0590e49a0f8e56370209b3f5dd53bed2de172b5c4f982d9882bbbfbfd80e50d6","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"567af8b752ac1fd3e9d2b2c681d3d52ce617a494cc8f5a2201d6b0d06fff7367","status":"checked"},{"bound_candidate_sha256":"0e23b767145735de27c753888790eb25800c6aaea04b5d08584bc7536d32ab2a","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.495650531956926,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:7","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"9e168ff7e25e8991a27b5fadffb7bf40d8e3a042936144462b21b3f8b79f767c","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"40479b7f387da39ff92664e87c80c1d38a605a4fe4b8dd7b68ce80f29fe7a0a6","status":"checked"},{"bound_candidate_sha256":"e7c8fe8bbddf03532cc1dab9833e863c3a31089efbda8810143fbcdb589c2fce","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[6,7,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.3793135818559676,"enabled_case_count":3,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:8","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"c8a9fcd8e8c25e96fecdf9a50cf5fe308ac020debf5318bc9b1eab6fc6270c69","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"d5b6e133edea33458da3a3a000c42adfc56f2150dfee8955e4cf3cb3afbe00bf","status":"checked"},{"bound_candidate_sha256":"27139c59c406278075e95e9f4dcb7eead9bef99461d78c8f86dd89a7613ace75","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[6,7,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.3834367899689823,"enabled_case_count":6,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:9","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"b883b1d5c99d5bf41411c2df4580e4378ec0f0e750ac828a2d40ef5772f12cf9","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"c5c38b0d970e0ab507ba2f3349a9ba2fced317e73afc6a16bcc2dbb900266ad5","status":"checked"},{"bound_candidate_sha256":"20c952f259c447d9bf406f4f22ea1844b573765249586fc7d18e98abe0297c8d","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.3880400208290666,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:10","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"8c5cf0bf238244088d10fcede829f328a85b1386b7cfca2994f15b26035b4800","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"107615d3afd4d37a3f9caf43c59614b558585deb720951e2fa4c691b664b3923","status":"checked"},{"bound_candidate_sha256":"eb9a61f93c0a0594917d3fbeeb7b6513ed64b067e30070d81f4d0f95e1186893","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.715431331191212,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:11","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"0ce54d9fef471cedf600d20efaa90865b2de7144fbbd1f05791228a0f67fe692","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"e663db11e556198d2842b58f45ef1c557fe24a6353fcbf1fea754e4c3fda97d2","status":"checked"},{"bound_candidate_sha256":"48dd78b3c301f4fce6567427e6001d2a1e9d85f299a4457820af88f6f3487185","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.663287018891424,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:12","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"d67be0bcca16bb28557ee86c3db50f3fa14e6d395cd5248160f2bf74a3b889ab","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"fc033544435a002e5a3647eb947e8d968a72cc0f64d372e7dfb98ff89ce92b6a","status":"checked"},{"bound_candidate_sha256":"3a403b794f603d4d80385dcae8df6e1fc5ccb1d85b31400626e9cfcd2001730a","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[6,7,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.3667965359054506,"enabled_case_count":3,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:13","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"d5f062a82e6221b34644986087e72838519fd073cd7a0a5ae20ceae01ed3c701","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"1612f4f05e3b3c281d763943ff075af62474435610ac6bc6afbbc9d6b812e511","status":"checked"},{"bound_candidate_sha256":"f5597cb08d3bb33b93ab0b8d3e315b407e1c96152ad15cac427e9b1ad139bcaa","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.3248745761811733,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:14","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"f5f9ec20a1ba6e0132bbd705647a4eb735b15f236deadbe998d1898393c4dd6c","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"948d07cb90fa23bcf7e405a27d97bf55b761bc8ce1d09714df550662055e739e","status":"checked"},{"bound_candidate_sha256":"51c49b8a6baf63418117c458a5128476226e8f30390e75ed28d9257354b9d34b","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[6,7,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.3244527759961784,"enabled_case_count":3,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:15","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"cf942e421a9e63dcd0be6232673e6a7f985e1297e60cc8c47ccc64cffe1540da","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"dfa7470ccf513edb522e5fac9b0d75a0880835702acb7084f4307552c001567a","status":"checked"},{"bound_candidate_sha256":"15d1e5f555b4677ef9fcd53f7aee7313fc4d9d450e139b8c4b6aa8b7ee1ee5b9","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[3,5,6,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.323245334206149,"enabled_case_count":6,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:16","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"515d84166608cefdd86274e44279f6e8281c101b9329262d9c5112245a29c168","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"71fe2397b2321581f6731fba86543e8258f1c9dc7dc47ccd487dc6fa41965ad5","status":"checked"},{"bound_candidate_sha256":"da5039b82998b4dc67ad27c8bf5d5ea05765425aae2466bd36f77674825ddb9c","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.655120274052024,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:17","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"f1e20d3ed74ce58a76407ffa90d87e0b29612ea1d1d42899231ab574ae3c6805","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"3bed4cac7e13e5a1702318ff112909fb4c3cf35b001f906de03e52203ef4f809","status":"checked"},{"bound_candidate_sha256":"670f35f375beb913d147182d5260220a85b348dba755f6bb5ecc93a6724424a8","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.366246521938592,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:18","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"6eae6ff9d6d3bf9d276e8365ef60c62aac08906d19241841b66d68124bb64b12","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"c7376e16c9ee16450e381e4f62558fa3d58bafd8b1865022570ad2bf97bfcc9f","status":"checked"},{"bound_candidate_sha256":"11d44c9f2aa49d6f74f3d4fd2966be9fe2efa76569392c0688f7ee73825bc30d","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.414054850116372,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:19","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"7b543af2cec5a3cd1e6004011adf5b5db85839aa911bae926a97b002485ea3f8","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"67970c312fd698b526676370c88c8bc51dcac7f2c7228fdaa2152dfe392c4b50","status":"checked"},{"bound_candidate_sha256":"c49d2868c562bdaffd1e06af25022465f13bfe2ba7b89e6ab75f50ec8896fb34","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.3946049949154258,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:20","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"8029728c11875e039aeb5753f37d831e48bdddcc885f08c08b39085dfa92cab2","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"059b31d5848db1d08ab33bbd65dfbf37c74e355bd617dfce5ac67826168ff363","status":"checked"},{"bound_candidate_sha256":"ab4be854e5b4e722b74a458d5244ededd8d0a43159e2808176de264a588c7100","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[6,7,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.3434152400586754,"enabled_case_count":3,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:21","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"e07c1784e19214ca6d499096f4e46bc5af458daf385144439decba4d7793c646","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"df523f9572c2576e010717e7a7334ed80eb6074d9709b57ec2e5ee36c694da2f","status":"checked"},{"bound_candidate_sha256":"10cf8ce7aae2f3437001c7aba09ff17a63f34a4a9bc8876fb38ccb8e8197addf","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_interpretation_advice","continue_planning":true,"counterexample_case_indices":[6,8],"counterexample_kernel_checked":true,"effect_status":"refuted","elapsed_seconds":3.3915473169181496,"enabled_case_count":3,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:22","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"036c9081679e3e9d0619626c323ac6ff2011aabcdb075f61e3157007ea8adf15","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"836de3e848a3f379379715c0011520fb9d03b282c5a500222a06e47496731e03","status":"checked"},{"bound_candidate_sha256":"eb88d078571fa3e593e55e0490537a4239a422f87c4d043d57ec499f3f4bbd21","bounded_effects_satisfied":false,"case_count":9,"code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","completion_authority":false,"consumer_status":"contract_no_enabled_inputs","continue_planning":true,"counterexample_case_indices":[],"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","elapsed_seconds":3.3716554869897664,"enabled_case_count":0,"execution_authority":false,"finite_effects_kernel_checked":true,"id":"action-contract:test:23","intent_checkpoint_sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd","intent_status":"semantic_candidate_advice","proof_authority":false,"raw_candidate_sha256":"ae1e495090ba0d6d8956860bd5d99488a0197374e475a84d6a5c3c07a2519b2b","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","source_semantics_verified":false,"source_sha256":"2b4f7689b7529c3f6bf6b81163cfc7eae6b8c8fb7025f932b8a91b1be3b9bd8b","status":"checked"}],"schema":"learned-intent-action-effect-checks/v1","scope":"24 authored held-out source instructions over one shared learned Security candidate; selected finite action contracts only","security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","security_inference_seconds":3.060601731063798,"shared_code_candidate_sha256":"98d9d4d4379ea24d9366d1d8501298e86c4b176978dd812135581aec64f1816b","shared_code_source_sha256":"0b09b6c6dc7c6f7e324dd5ff17e5e48eac1690a84e899c06d1d8cc7b8b2459d9","source_executed":false,"source_semantics_verified":false,"status":"passed","stored_embeddings_passed_to_inference":false,"stored_targets_passed_to_inference":false,"terminal_bench_executed":false,"timing_scope":"diagnostic wall time only; not a throughput comparison","total_bounded_instruction_cases":216,"training_steps":0,"unsupported_instruction_count":0,"weights_changed":false,"whole_instruction_verified":false},"parent_sha256":"969461ab82a2806e54ad33ba242a1eb62d032fa1b3cfc808b77c66dcc965aa62","parent_unchanged":true,"production_promoted":false,"repository_id":"Publicus/intent-ir-autoencoder","schema":"intent-action-384-development-release/v1","scope":"experimental fixed-schema known-vocabulary composition decoder; no default promotion or broad-language claim","source_provenance":"authored controlled-language contracts; no SkillCenter or CVE source excerpts","source_semantics_verified":false,"terminal_bench_run":false,"training":{"checkpoint":{"path":"/home/barberb/lift_coding/artifacts/intent-action-contracts-20261002/training-01/checkpoint.json","sha256":"4f3fd17ea2d908fe36c57a444517f3cc0a983cab26f0f67f2e32371e25def3cd"},"embedding_reconstruction_trained":false,"fit_seconds":0.25459415512159467,"frozen_inherited_projection":true,"lake_executed":false,"model_promoted":false,"parent_unchanged":true,"schema":"intent-action-training-experiment/v1","scope":"native_effect_target_readout_and_bounded_source_agreement_not_task_completion","source_agreement_count":24,"source_semantics_verified":false,"split_counts":{"test":24,"train":96,"validation":24},"split_scope":"disjoint_authored_combinations_shared_lexical_values_and_grammar","test":{"actual":{"count":24,"exact_targets":24,"semantic_leaf_accuracy":1.0},"shuffle_embeddings":{"count":24,"exact_targets":0,"semantic_leaf_accuracy":0.3402777777777778},"zero_head":{"count":24,"exact_targets":0,"semantic_leaf_accuracy":0.2916666666666667}},"test_used_for_selection":false,"total_seconds":5.580521571915597,"unseen_vocabulary_evaluation":false}}