{"closed_by":"T0","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a0590166ad67676f616c5f69647840653161316333326461653066323564323565316134316266323432343535613139303837343130646437636339643138646230303266386336643839393735386773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403761313530353464313962343730363932663866303366666561653839653863343431353235363263303464323937336435373334343666353937323435613968746f74616c5f756a183269636c6f7365645f6279625430697761737465645f756a006a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f7258409b4cd2baa6da5b230e1fb6323fd41e95e6e13f685fb57820735c8ae76ee7e4448514c4b98d1f2557028de5ecd31b3b015828de1287764db1f1f06abae65b7201","goal":"x = x","signed_core_hex":"ad67676f616c5f69647840653161316333326461653066323564323565316134316266323432343535613139303837343130646437636339643138646230303266386336643839393735386773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403761313530353464313962343730363932663866303366666561653839653863343431353235363263303464323937336435373334343666353937323435613968746f74616c5f756a183269636c6f7365645f6279625430697761737465645f756a006a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":50,"wire":{"artifact":"7a15054d19b470692f8f03ffeae89e8c44152562c04d2973d573446f597245a9","baseline_uj":50000000,"closed_by":"T0","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"e1a1c32dae0f25d25e1a41bf242455a19087410dd7cc9d18db002f8c6d899758","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":50,"verdict":"proved","wasted_uj":0}}
{"closed_by":"T1","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a0590168ad67676f616c5f69647840346566363262656464333866613437616230643761393631383462663465353339373233383037336539353839643136653062666364316636396666363832646773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403462346430323937393136363538376231363334306364383463613338663565636434623261306636383937346435643938636262666539313730653363326268746f74616c5f756a1913ba69636c6f7365645f6279625431697761737465645f756a18326a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f725840359ae6346d7f62f143539b60b32de36efa46cdfcf2108deeb20881196e07108134f5542e742ae4c7f3bc04bf9eb530efa38084d532718dd0e0213a52f7140209","goal":"decidable claim","signed_core_hex":"ad67676f616c5f69647840346566363262656464333866613437616230643761393631383462663465353339373233383037336539353839643136653062666364316636396666363832646773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403462346430323937393136363538376231363334306364383463613338663565636434623261306636383937346435643938636262666539313730653363326268746f74616c5f756a1913ba69636c6f7365645f6279625431697761737465645f756a18326a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":5050,"wire":{"artifact":"4b4d02979166587b16340cd84ca38f5ecd4b2a0f68974d5d98cbbfe9170e3c2b","baseline_uj":50000000,"closed_by":"T1","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"4ef62bedd38fa47ab0d7a96184bf4e5397238073e9589d16e0bfcd1f69ff682d","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":5050,"verdict":"proved","wasted_uj":50}}
{"closed_by":"T2","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a059016bad67676f616c5f69647840353061373034313263326635643239306263386236336331663233376534393335383633626436306638643535613331333966313231363930373563653230656773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403832656537633362646430383431316637373531386566646138373730663231323261633638323063626536366135643732333865363936383034643730313568746f74616c5f756a1a0007b4da69636c6f7365645f6279625432697761737465645f756a1913ba6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f7258402452325ae2d140857a866374c30b5ad5dce1d39083cb42795b7e6ef20c4786c7d57c3d4b80cabd424828516ad032aa2e62ce8834289a945f12241dfb99781d0f","goal":"needs search","signed_core_hex":"ad67676f616c5f69647840353061373034313263326635643239306263386236336331663233376534393335383633626436306638643535613331333966313231363930373563653230656773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403832656537633362646430383431316637373531386566646138373730663231323261633638323063626536366135643732333865363936383034643730313568746f74616c5f756a1a0007b4da69636c6f7365645f6279625432697761737465645f756a1913ba6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":505050,"wire":{"artifact":"82ee7c3bdd08411f77518efda8770f2122ac6820cbe66a5d7238e696804d7015","baseline_uj":50000000,"closed_by":"T2","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"50a70412c2f5d290bc8b63c1f237e4935863bd60f8d55a3139f12169075ce20e","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":505050,"verdict":"proved","wasted_uj":5050}}
{"closed_by":"T3","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a059016dad67676f616c5f69647840343266633262643632363965383032613639323236636134366562653962626230373462653930306164353035306135613564303466323231643165633864356773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478406165323862643362653339316438386664643231303331356337623430303666646262303862616165623431323836396464633536323962343630326531343768746f74616c5f756a1a0302a55a69636c6f7365645f6279625433697761737465645f756a1a0007b4da6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f7258404b06d1e479383f339f3aab11255f53aac6c03e1107d90666b1896f03ff4e88d54bff78358be465eeced3468c623efb1eb3d422c1e6da083a7e336208fb8c2b03","goal":"open conjecture","signed_core_hex":"ad67676f616c5f69647840343266633262643632363965383032613639323236636134366562653962626230373462653930306164353035306135613564303466323231643165633864356773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478406165323862643362653339316438386664643231303331356337623430303666646262303862616165623431323836396464633536323962343630326531343768746f74616c5f756a1a0302a55a69636c6f7365645f6279625433697761737465645f756a1a0007b4da6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":50505050,"wire":{"artifact":"ae28bd3be391d88fdd210315c7b4006fdbb08baaeb412869ddc5629b4602e147","baseline_uj":50000000,"closed_by":"T3","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"42fc2bd6269e802a69226ca46ebe9bbb074be900ad5050a5a5d04f221d1ec8d5","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":50505050,"verdict":"proved","wasted_uj":505050}}