{"_canonicalization":{"envelope_id":"axm_ + sha256(envelope minus {signature, axiom_id, anchors})","envelope_signature":"ed25519(envelope minus {signature, axiom_id})","json":"sort_keys=True, separators=(',',':'), ensure_ascii=False, allow_nan=False, utf-8","leaf_hash":"sha256(0x00 || canonical_json(envelope_full))","seal_signature":"ed25519(seal minus {signature, sig_algorithm})"},"axiom_id":"axm_80498d884fa505a7eca85bd11f64ccf736fa112e6362c774ce5dd2c723dc3fbf","bitcoin_anchor":{"bitcoin_attestations":["bitcoin_block_949451"],"calendar_attestations":["https://finney.calendar.eternitywall.com","https://btc.calendar.catallaxy.com","https://alice.btc.calendar.opentimestamps.org","https://bob.btc.calendar.opentimestamps.org"],"ots_url":"/registry/data/substrate/anchors/77fc9c28fae777b81da5b495b3115474df6592dfac590333213d3bdf8b94a9b3.ots","stamped_at":"2026-05-15T03:00:03Z","status":"bitcoin"},"envelope":{"anchors":[{"chain":"crovia.axiom_graph","height":0,"merkle_proof":"spider_vendor_press_v1","root_at_anchor":"spider_vendor_press_v1"}],"axiom_id":"axm_80498d884fa505a7eca85bd11f64ccf736fa112e6362c774ce5dd2c723dc3fbf","axiom_type":"AX.OBS","body":{"axiom_subtype":"news.vendor_press.v1","category":"news","fingerprint":"d8f87f62f02c35193bb5976a78835055cf480796ec5ee47a3b2a178d07a1f4dd","published":"Fri, 14 Feb 2025 00:00:00 GMT","receipt_hash":"d8f87f62f02c35193bb5976a78835055cf480796ec5ee47a3b2a178d07a1f4dd","schema":"spider.news.vendor_press.v1","spider":"vendor_press","spider_record":{"axiom_subtype":"news.vendor_press.v1","category":"news","decision_hint":"POSITIVE","envelope_target":"AX.OBS","fingerprint":"d8f87f62f02c35193bb5976a78835055cf480796ec5ee47a3b2a178d07a1f4dd","observed_at":"2026-05-03T15:11:24.659906Z","parent_run_hash":null,"published":"Fri, 14 Feb 2025 00:00:00 GMT","runtime_version":"0.1.0","schema":"spider.news.vendor_press.v1","source_status":200,"source_url":"https://huggingface.co/blog/feed.xml","spider":"vendor_press","summary_excerpt":"","title":"Fixing Open LLM Leaderboard with Math-Verify","url":"https://huggingface.co/blog/math_verify_leaderboard","vendor":"huggingface"},"title":"Fixing Open LLM Leaderboard with Math-Verify","vendor":"huggingface"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-05-03T15:11:24Z","notes":"Spider vendor_press (news) news.vendor_press.v1","object":{"captured_by":"crovia.spider.vendor_press","primary_source_url":"https://huggingface.co/blog/math_verify_leaderboard"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:21ec3c153f15842756bbe0b2dddec069c97e02976933893dd96ce0ba2c845cdbaae36d559ef86976060f8e3e4cba6b965b02d64fecd10fbf7ab8fbd642d54109","signer":"crovia.substrate","subject":{"observed_at":"2026-05-03T15:11:24Z","source_collector":"spider:vendor_press","target_id":"https://huggingface.co/blog/math_verify_leaderboard"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/news/vendor_press_v1.jsonl\",\"source_seal_merkle_root\":\"spider_vendor_press_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"a52b3d85cbcba2cbe82291d6aeb0814ad8bb8449fa738fd75ae5de57a6cc1493","leaf_index":109955,"ledger_path":"/opt/crovia/substrate/axiom_ledger.jsonl"},"merkle_proof":{"hash_alg":"sha256","leaf_prefix":"0x00","node_prefix":"0x01","odd_leaf_rule":"duplicate_last","path":[{"sibling":"2aead195feaf557b059d304edb09dbb72ec25a39f259461483f2e3937cc06710","side":"left"},{"sibling":"929a921410c09d98df243d867f385a39742542cdaf5ade891f413e368b58f1d6","side":"left"},{"sibling":"953fdc13b3acd0c1b65f57db9b49f53ed18241ffd8e3c795ac9993d68a26e487","side":"right"},{"sibling":"f6bab7d5f0140f9c06a0534cef5b27fab6e26aba23ce33695b1e0d007d3affd1","side":"right"},{"sibling":"cd3dd6dbfdba81a863843681c415bf3a022aa0fe991823afb6864793c2b3f6f4","side":"right"},{"sibling":"b0ad1a75eed732ba2b4f82adfc89a202adfe29f89de4a2b978e3d422d1e6d013","side":"right"},{"sibling":"488e9e543baa7efe0dbd920f5dfb5a476974dab2ff68836e0ad65101b7b5ba85","side":"right"},{"sibling":"853ee865791aac8e99c00609e11dfc27105a6f14fced4deadc26c769d0967367","side":"left"},{"sibling":"0c4d4978d4ad29cb21718d940b0a751a5f701bcc458c0da77d3b26a4e91d97f2","side":"left"},{"sibling":"7f33dbe0958c9366ac41686ea7991b9481138cb54a4217bec3c9a9e46751326a","side":"right"},{"sibling":"64fbaccdc8b5bd01d46acfdc9a54533930f17e48413d2bfb95faa219b25fd92a","side":"left"},{"sibling":"5fd379d86d735b636882deb8c93f7c77b98bd8044b7e40b4e9a8407c31b8cc5e","side":"left"},{"sibling":"0a2127ad514a08804fc69a2fe1c82fdd0632e2079e22aba2643dd86d31b186d6","side":"right"},{"sibling":"b03f005860bf95148ea89c703a32ca19ab7a2ca71b58bb628ff94a9edb8703b0","side":"left"},{"sibling":"21d1e30b556f553dc939fddc23e6367f0a7755ebe3dd489dc0001cef017beb7f","side":"right"},{"sibling":"f2817ab288b5324fe49770372c7a10f33f7cd11005f8d4c0a730316f5229dc98","side":"left"},{"sibling":"725fac972e772ca0dc598810ea1abc70df472f72d2d6ab8a0baee2b80e5d2f4c","side":"left"},{"sibling":"98fc57dfef8873b512edc8340f7181df57302bb96777625e072235c62d7c5895","side":"right"}]},"schema":"crovia.axiom_proof.v1","seal":{"first_collector_run_id":"","first_receipt_hash":"","jsonl_path":"/opt/crovia/substrate/axiom_ledger.jsonl","key_id":"430895f101d38164","last_collector_run_id":"","last_receipt_hash":"","leaf_count":134292,"merkle_root":"77fc9c28fae777b81da5b495b3115474df6592dfac590333213d3bdf8b94a9b3","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260515T023701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-05-15T02:37:25Z","sig_algorithm":"ed25519","signature":"68107a834b00b24f5d4501e5ec727445311f132a486567ecc4c72a4e6dff24c8c21f2de3105293353ba5fdbe370d032819af6aa70f694e2e39b6af6737507009","signer_version":"1.1.0"},"trust_root":{"key_id":"430895f101d38164","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","signature_algorithm":"ed25519","url":"/registry/canon/TRUST_ROOT.md"},"verifier":{"spec":"/registry/canon/AXIOM_RECEIPT_v1.md","url":"/v/axm_80498d884fa505a7eca85bd11f64ccf736fa112e6362c774ce5dd2c723dc3fbf"}}