{"audit_bench":{"families":[{"instances":1,"note":"single deployment: slots cannot be derived; only an exact-hash pin would cover it","pin_proposal":null,"pool_shaped":true,"program_lens":[244913],"push_count":2206,"replay_trial":{"fee_model":"no fee","trades_clean":0,"trades_off_curve":87,"v_slot":null},"sample_covenant":"0f68460663203c7addf146354bd78d71792873bb824cb3743014cba773319bee","sample_program_hash":"f5ed79428f20ba548059a69817d2a330984a37e37d782933b16a457d556b6a4a","slot_indices":[],"slots":0,"trades":87},{"instances":2,"note":"byte-identical outside the slots; a fixture + these slots is a pinnable skeleton","pin_proposal":{"fee_model_trial":"no fee","fixture_hash":"c978469f03dace4da6f5f91e474978e24f9ce0b2d2bcad6c3c4ce050fb82fabd","push_count":295,"role_guesses":{"creator_like_32b":[],"i64_groups":[],"self_len_candidates":[]},"slot_indices":[0,1,2],"v_slot":null},"pool_shaped":true,"program_lens":[10311],"push_count":295,"replay_trial":{"fee_model":"no fee","trades_clean":0,"trades_off_curve":2,"v_slot":null},"sample_covenant":"8b48ef1fe02da86597f92412ec89df258997929b1d8d5262a44fa6f90550fa3e","sample_program_hash":"c978469f03dace4da6f5f91e474978e24f9ce0b2d2bcad6c3c4ce050fb82fabd","slot_indices":[0,1,2],"slots":3,"trades":2},{"instances":21,"note":"byte-identical outside the slots; a fixture + these slots is a pinnable skeleton","pin_proposal":{"fee_model_trial":"no fee","fixture_hash":"e2bb3bf02bd699b7e98ab3069bb08fc6adecc42dddfbe8f06d60efce15136e99","push_count":32,"role_guesses":{"creator_like_32b":[],"i64_groups":[],"self_len_candidates":[]},"slot_indices":[0],"v_slot":null},"pool_shaped":false,"program_lens":[127],"push_count":32,"replay_trial":{"fee_model":"no fee","trades_clean":0,"trades_off_curve":0,"v_slot":null},"sample_covenant":"07096ce2e8f3430d0128e408633f312c7f95dd2b3a7229aac0ba8b59642f2aee","sample_program_hash":"e2bb3bf02bd699b7e98ab3069bb08fc6adecc42dddfbe8f06d60efce15136e99","slot_indices":[0],"slots":1,"trades":0}],"note":"automated forensics on builds the matcher gave up on — proposals for a human to pin, never verdicts: nothing here is priced or published until a person reads the build and pins it with fixtures and tests","pinned":[{"commit":"5859e81","date":"2026-07-28","first_pinned_by":"kascov core (Knitser)","instances":35,"skeleton":"KRON curve v1"},{"commit":"ff798a8","date":"2026-07-28","first_pinned_by":"kascov core (Knitser)","instances":3,"skeleton":"KRON pool v1"},{"commit":"31e7450","date":"2026-08-02","first_pinned_by":"kascov core (Knitser)","instances":18,"skeleton":"KRON curve v2"},{"commit":"31e7450","date":"2026-08-02","first_pinned_by":"kascov core (Knitser)","instances":2,"skeleton":"KRON pool v2"},{"commit":"ba02d80","date":"2026-08-03","first_pinned_by":"kascov core (Knitser)","instances":0,"skeleton":"KRON pool tn-a"},{"commit":"61a41eb","date":"2026-08-06","first_pinned_by":"kascov core (Knitser)","instances":13,"skeleton":"KRON curve v3"},{"commit":"61a41eb","date":"2026-08-06","first_pinned_by":"kascov core (Knitser)","instances":2,"skeleton":"KRON pool v3"},{"commit":"2851951","date":"2026-08-14","first_pinned_by":"kascov core (Knitser)","instances":17,"skeleton":"KRON curve v4"},{"commit":"29e9979","date":"2026-08-06","first_pinned_by":"kascov core (Knitser)","instances":0,"skeleton":"curve tn-b"},{"commit":"edbda3c","date":"2026-08-11","first_pinned_by":"community vote round 1 · kascov core (Knitser)","instances":0,"skeleton":"pair pool tn-c"}],"recovered":24,"unmatched_covenants":24,"unrecoverable":0},"generated_at_ms":1787425688120,"network":"mainnet","note":"a record of what ran, not an authority on what may be published: every figure on this site is re-proved from chain each time it is served","runs":[{"finished_ms":1787300835105,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518804796,"run_id":44,"stamp":"17/3/1-locate-state-block","started_ms":1787300824710,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1787300364862,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518800086,"run_id":43,"stamp":"16/3/1-locate-state-block","started_ms":1787300353546,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1787300035127,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518796740,"run_id":42,"stamp":"15/3/1-locate-state-block","started_ms":1787300016639,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"changes":[{"from":"unvalidated","to":"verified","token":"7a98370c0d6b037c28089d7b77cd8229120804cb416ef592ddb99e23820544e4"}],"finished_ms":1787299595949,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518792252,"run_id":41,"stamp":"14/3/1-locate-state-block","started_ms":1787299575768,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":1},{"finished_ms":1787298532311,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518781444,"run_id":40,"stamp":"13/3/1-locate-state-block","started_ms":1787298511223,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1787298202487,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518778109,"run_id":39,"stamp":"12/3/1-locate-state-block","started_ms":1787298181821,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1787297349013,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518769664,"run_id":38,"stamp":"11/3/1-locate-state-block","started_ms":1787297337048,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1787296974653,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518765964,"run_id":37,"stamp":"10/3/1-locate-state-block","started_ms":1787296962617,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1787296329695,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518759431,"run_id":36,"stamp":"9/3/1-locate-state-block","started_ms":1787296318517,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1787296021900,"kind":"full","markets_examined":83,"markets_invariant_failed":0,"markets_matched":81,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":518755708,"run_id":35,"stamp":"8/3/1-locate-state-block","started_ms":1787296010745,"tokens_added":0,"tokens_examined":106,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":106,"verdicts_changed":0},{"finished_ms":1786803603404,"kind":"full","markets_examined":76,"markets_invariant_failed":0,"markets_matched":74,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":513759621,"run_id":34,"stamp":"8/2/1-locate-state-block","started_ms":1786801477044,"tokens_added":96,"tokens_examined":96,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":96,"verdicts_changed":0},{"finished_ms":1786801477044,"kind":"full","markets_examined":0,"markets_invariant_failed":0,"markets_matched":0,"markets_unmatched":0,"markets_unrevealed":0,"outcome":"interrupted","processed_daa":513759621,"run_id":33,"stamp":"8/2/1-locate-state-block","started_ms":1786800986709,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":0,"verdicts_changed":0},{"finished_ms":1786800986709,"kind":"full","markets_examined":0,"markets_invariant_failed":0,"markets_matched":0,"markets_unmatched":0,"markets_unrevealed":0,"outcome":"interrupted","processed_daa":513759621,"run_id":32,"stamp":"8/2/1-locate-state-block","started_ms":1786799778125,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":0,"verdicts_changed":0},{"finished_ms":1786799778125,"kind":"full","markets_examined":0,"markets_invariant_failed":0,"markets_matched":0,"markets_unmatched":0,"markets_unrevealed":0,"outcome":"interrupted","processed_daa":513759621,"run_id":31,"stamp":"8/2/1-locate-state-block","started_ms":1786798877344,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":0,"verdicts_changed":0},{"finished_ms":1786798877344,"kind":"full","markets_examined":0,"markets_invariant_failed":0,"markets_matched":0,"markets_unmatched":0,"markets_unrevealed":0,"outcome":"interrupted","processed_daa":513759621,"run_id":30,"stamp":"8/2/1-locate-state-block","started_ms":1786797921500,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":0,"verdicts_changed":0},{"finished_ms":1786797921500,"kind":"full","markets_examined":0,"markets_invariant_failed":0,"markets_matched":0,"markets_unmatched":0,"markets_unrevealed":0,"outcome":"interrupted","processed_daa":513759621,"run_id":29,"stamp":"8/2/1-locate-state-block","started_ms":1786797010056,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":0,"verdicts_changed":0},{"finished_ms":1786797010056,"kind":"full","markets_examined":0,"markets_invariant_failed":0,"markets_matched":0,"markets_unmatched":0,"markets_unrevealed":0,"outcome":"interrupted","processed_daa":513759621,"run_id":28,"stamp":"8/2/1-locate-state-block","started_ms":1786796244788,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":0,"verdicts_changed":0},{"finished_ms":1786720804842,"kind":"markets","markets_examined":76,"markets_invariant_failed":0,"markets_matched":74,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":513005481,"run_id":27,"stamp":"7/2/1-locate-state-block","started_ms":1786720802838,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":96,"verdicts_changed":0},{"finished_ms":1786439113329,"kind":"markets","markets_examined":73,"markets_invariant_failed":0,"markets_matched":67,"markets_unmatched":6,"markets_unrevealed":0,"outcome":"ok","processed_daa":510187472,"run_id":26,"stamp":"7/2/1-locate-state-block","started_ms":1786439111553,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":91,"verdicts_changed":0},{"finished_ms":1786370748866,"kind":"markets","markets_examined":73,"markets_invariant_failed":0,"markets_matched":66,"markets_unmatched":7,"markets_unrevealed":0,"outcome":"ok","processed_daa":509503367,"run_id":25,"stamp":"7/2/1-locate-state-block","started_ms":1786370747138,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":91,"verdicts_changed":0},{"finished_ms":1786161471016,"kind":"markets","markets_examined":73,"markets_invariant_failed":0,"markets_matched":66,"markets_unmatched":7,"markets_unrevealed":0,"outcome":"ok","processed_daa":507410761,"run_id":24,"stamp":"7/2/1-locate-state-block","started_ms":1786161469277,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":90,"verdicts_changed":0},{"finished_ms":1786160911606,"kind":"markets","markets_examined":73,"markets_invariant_failed":0,"markets_matched":66,"markets_unmatched":7,"markets_unrevealed":0,"outcome":"ok","processed_daa":507405627,"run_id":23,"stamp":"7/2/1-locate-state-block","started_ms":1786160909834,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":90,"verdicts_changed":0},{"finished_ms":1785980109023,"kind":"markets","markets_examined":65,"markets_invariant_failed":0,"markets_matched":62,"markets_unmatched":3,"markets_unrevealed":0,"outcome":"ok","processed_daa":505597925,"run_id":22,"stamp":"7/2/1-locate-state-block","started_ms":1785980107492,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":82,"verdicts_changed":0},{"finished_ms":1785691449231,"kind":"markets","markets_examined":46,"markets_invariant_failed":0,"markets_matched":44,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502712754,"run_id":21,"stamp":"7/2/1-locate-state-block","started_ms":1785691448202,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":58,"verdicts_changed":0},{"finished_ms":1785689968820,"kind":"full","markets_examined":46,"markets_invariant_failed":0,"markets_matched":44,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502698007,"run_id":20,"stamp":"7/2/1-locate-state-block","started_ms":1785689966210,"tokens_added":0,"tokens_examined":58,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":58,"verdicts_changed":0},{"finished_ms":1785689966146,"kind":"markets","markets_examined":46,"markets_invariant_failed":0,"markets_matched":44,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502698007,"run_id":19,"stamp":"7/2/1-locate-state-block","started_ms":1785689965174,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":58,"verdicts_changed":0},{"finished_ms":1785688510300,"kind":"full","markets_examined":46,"markets_invariant_failed":0,"markets_matched":44,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502683442,"run_id":18,"stamp":"7/2/1-locate-state-block","started_ms":1785688507928,"tokens_added":0,"tokens_examined":58,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":58,"verdicts_changed":0},{"finished_ms":1785688275254,"kind":"markets","markets_examined":46,"markets_invariant_failed":0,"markets_matched":44,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502681012,"run_id":17,"stamp":"7/2/1-locate-state-block","started_ms":1785688274120,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":58,"verdicts_changed":0},{"finished_ms":1785683203712,"kind":"full","markets_examined":46,"markets_invariant_failed":0,"markets_matched":44,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502630069,"run_id":16,"stamp":"7/2/1-locate-state-block","started_ms":1785683201060,"tokens_added":0,"tokens_examined":58,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":58,"verdicts_changed":0},{"finished_ms":1785683200982,"kind":"markets","markets_examined":46,"markets_invariant_failed":0,"markets_matched":44,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502630035,"run_id":15,"stamp":"7/2/1-locate-state-block","started_ms":1785683200060,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":58,"verdicts_changed":0},{"finished_ms":1785671993872,"kind":"full","markets_examined":45,"markets_invariant_failed":1,"markets_matched":43,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502517968,"run_id":14,"stamp":"7/2/1-locate-state-block","started_ms":1785671991557,"tokens_added":0,"tokens_examined":57,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":57,"verdicts_changed":0},{"finished_ms":1785671991347,"kind":"markets","markets_examined":45,"markets_invariant_failed":1,"markets_matched":43,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502517958,"run_id":13,"stamp":"7/2/1-locate-state-block","started_ms":1785671990542,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":57,"verdicts_changed":0},{"finished_ms":1785671746755,"kind":"full","markets_examined":45,"markets_invariant_failed":1,"markets_matched":43,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502515484,"run_id":12,"stamp":"7/2/1-locate-state-block","started_ms":1785671744508,"tokens_added":0,"tokens_examined":57,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":57,"verdicts_changed":0},{"finished_ms":1785671411471,"kind":"markets","markets_examined":45,"markets_invariant_failed":1,"markets_matched":43,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":502512230,"run_id":11,"stamp":"7/2/1-locate-state-block","started_ms":1785671410471,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":57,"verdicts_changed":0},{"finished_ms":1785387129550,"kind":"markets","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499667871,"run_id":10,"stamp":"7/2/1-locate-state-block","started_ms":1785387128969,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":39,"verdicts_changed":0},{"finished_ms":1785386970796,"kind":"full","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499666350,"run_id":9,"stamp":"7/2/1-locate-state-block","started_ms":1785386969595,"tokens_added":0,"tokens_examined":39,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":39,"verdicts_changed":0},{"finished_ms":1785379629713,"kind":"markets","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499592921,"run_id":8,"stamp":"7/2/1-locate-state-block","started_ms":1785379629179,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":38,"verdicts_changed":0},{"finished_ms":1785340427559,"kind":"full","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499199601,"run_id":7,"stamp":"7/2/1-locate-state-block","started_ms":1785340426405,"tokens_added":6,"tokens_examined":38,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":38,"verdicts_changed":0},{"error":"rpc error: store: database is locked","finished_ms":1785340398344,"kind":"full","markets_examined":0,"markets_invariant_failed":0,"markets_matched":0,"markets_unmatched":0,"markets_unrevealed":0,"outcome":"failed","processed_daa":499199307,"run_id":6,"stamp":"7/2/1-locate-state-block","started_ms":1785340397539,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":0,"verdicts_changed":0},{"finished_ms":1785340369585,"kind":"markets","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499199034,"run_id":5,"stamp":"7/2/1-locate-state-block","started_ms":1785340368911,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":38,"verdicts_changed":0},{"finished_ms":1785340141130,"kind":"full","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499196809,"run_id":4,"stamp":"7/2/1-locate-state-block","started_ms":1785340139976,"tokens_added":0,"tokens_examined":38,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":38,"verdicts_changed":0},{"finished_ms":1785340087553,"kind":"markets","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499192644,"run_id":3,"stamp":"7/2/1-locate-state-block","started_ms":1785340086937,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":38,"verdicts_changed":0},{"finished_ms":1785325237201,"kind":"full","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":499048046,"run_id":2,"stamp":"7/2/1-locate-state-block","started_ms":1785325236085,"tokens_added":0,"tokens_examined":38,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":38,"verdicts_changed":0},{"finished_ms":1785315318477,"kind":"markets","markets_examined":29,"markets_invariant_failed":0,"markets_matched":27,"markets_unmatched":2,"markets_unrevealed":0,"outcome":"ok","processed_daa":498948493,"run_id":1,"stamp":"7/2/1-locate-state-block","started_ms":1785315317988,"tokens_added":0,"tokens_examined":0,"tokens_invalid":0,"tokens_removed":0,"tokens_unvalidated":0,"tokens_verified":38,"verdicts_changed":0}],"unknown_builds":[{"covenants":1,"first_daa":499658666,"last_daa":500237925,"program_hash":"f5ed79428f20ba548059a69817d2a330984a37e37d782933b16a457d556b6a4a","program_len":244913,"program_pushes":2206,"sample_covenant":"0f68460663203c7addf146354bd78d71792873bb824cb3743014cba773319bee","tokens":1,"trades":87,"volume_sompi":25098700000000},{"covenants":2,"first_daa":491692848,"last_daa":503685108,"program_hash":"61108f499c0243a49496c05e1504edb000b9e88ec9bc1bb90449995830330952","program_len":10311,"program_pushes":295,"sample_covenant":"8b48ef1fe02da86597f92412ec89df258997929b1d8d5262a44fa6f90550fa3e","tokens":1,"trades":2,"volume_sompi":102000000},{"covenants":21,"first_daa":512137916,"last_daa":517072519,"program_hash":"1fec230a1b3f4404f0a80808164edb1838fb9b63780ee3dd8dfbd9d3568485c8","program_len":127,"program_pushes":32,"sample_covenant":"07096ce2e8f3430d0128e408633f312c7f95dd2b3a7229aac0ba8b59642f2aee","tokens":0,"trades":0,"volume_sompi":0}],"unknown_covenants_total":24,"unknown_note":"programs kascov could not match to an audited build. a to-audit list ranked by how much activity rides on each, never a trust ranking: nothing here has proven anything, and none of it is priced.","unknown_programs_total":3}