{"_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_a18779ea30c904f9cfbc0c2f051eb1f98c9b151f2b3e469f9f550a7a6b635f0a","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_a18779ea30c904f9cfbc0c2f051eb1f98c9b151f2b3e469f9f550a7a6b635f0a","axiom_type":"AX.OBS","body":{"axiom_subtype":"news.vendor_press.v1","category":"news","fingerprint":"90ee783f344d4bcf15a4d38fc2bfbbf3bd2bc3701551a2144f66659aa0708ed6","published":"Thu, 11 Dec 2025 10:00:00 GMT","receipt_hash":"90ee783f344d4bcf15a4d38fc2bfbbf3bd2bc3701551a2144f66659aa0708ed6","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":"90ee783f344d4bcf15a4d38fc2bfbbf3bd2bc3701551a2144f66659aa0708ed6","observed_at":"2026-05-03T15:11:27.656745Z","parent_run_hash":null,"published":"Thu, 11 Dec 2025 10:00:00 GMT","runtime_version":"0.1.0","schema":"spider.news.vendor_press.v1","source_status":200,"source_url":"https://openai.com/blog/rss.xml","spider":"vendor_press","summary_excerpt":"GPT-5.2 is OpenAI’s strongest model yet for math and science, setting new state-of-the-art results on benchmarks like GPQA Diamond and FrontierMath. This post shows how those gains translate into real research progress, including solving an open theoretical problem and generating reliable mathematical proofs.","title":"Advancing science and math with GPT-5.2","url":"https://openai.com/index/gpt-5-2-for-science-and-math","vendor":"openai"},"summary":"GPT-5.2 is OpenAI’s strongest model yet for math and science, setting new state-of-the-art results on benchmarks like GPQA Diamond and FrontierMath. This post shows how those gains translate into real research progress, including solving an open theoretical problem and generating reliable mathematical proofs.","title":"Advancing science and math with GPT-5.2","vendor":"openai"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-05-03T15:11:27Z","notes":"Spider vendor_press (news) news.vendor_press.v1","object":{"captured_by":"crovia.spider.vendor_press","primary_source_url":"https://openai.com/index/gpt-5-2-for-science-and-math"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:697b9651a1a91920fb57e3b5d4ad2fb294736a04649b9a94a8dee3a22f1e0568441bd0ad29db73aacbbcd8e99410d6aa66ef867126e21c2e4f68273e91462a03","signer":"crovia.substrate","subject":{"observed_at":"2026-05-03T15:11:27Z","source_collector":"spider:vendor_press","target_id":"https://openai.com/index/gpt-5-2-for-science-and-math"},"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":"cd27ab6539e3dc5c9f383ac2461d876cacd5a06d1a49ec7be288425b2e1704ea","leaf_index":110714,"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":"07de6a226100f3dcb3363e72c6c243cafe3801d42ea8dd366290b59f80a9db00","side":"right"},{"sibling":"8588b62039eb612f43e58367f6c7b17642e79a8f3e7dcb6a2425df305d1f2f6e","side":"left"},{"sibling":"e5101fb51fa152ffb44524ebe15d1ebb4926fa4b0c63c4fbd81cdda3160c41b0","side":"right"},{"sibling":"1a36818cbf5c2ef5e6c9cd0983dc50d3b857632d3c9ffcaf7ea85757cd38ac98","side":"left"},{"sibling":"66a7150eb2dbc487b126618140000e53b1d8346616661897a591c19c5b3a0d7d","side":"left"},{"sibling":"c4550cd22265e478e7f43d29865859e0a204420109b2b1dae67e6f61fd81e42a","side":"left"},{"sibling":"d7820a34e19818b7c03458dd780a40db6de8d9cc696a974985521c8a46779b1a","side":"left"},{"sibling":"280298f1f7c1743cff109269788bbaf0dcf9c07af6ed0d7ab86854c91052672c","side":"right"},{"sibling":"6f725b0829febb13b15d6ef0c30e2890a252ce03f92e92788b10fce698d19999","side":"right"},{"sibling":"ec53a51e3c163eac5d1bee6f74ea7b818c471f9ef7a337561df752e6812d9748","side":"right"},{"sibling":"7322dcde9f6dec40cc973ca12dd1ebd16fe5aecf078317f5e57c51a436730eb5","side":"right"},{"sibling":"a6d6e5bc888edc394757fbba02b675bac6ad0831e36a6f5ebbaa4e5548f25603","side":"right"},{"sibling":"76d7c4385d71ae8104107105be66eddb792e01ed6e493db5a9b4eec5441abb76","side":"left"},{"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_a18779ea30c904f9cfbc0c2f051eb1f98c9b151f2b3e469f9f550a7a6b635f0a"}}