{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","short_pith_number":"pith:W6IWLF6E","canonical_record":{"source":{"id":"2605.22763","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T17:24:57Z","cross_cats_sorted":[],"title_canon_sha256":"d1f9e3501f2023491093049a2ef441158b3f925f8a81c534086851d6060401de","abstract_canon_sha256":"c3fb98728d390ff5c996b61f32590a82b8ec932b0ba9338cf112c3c25928d3bf"},"schema_version":"1.0"},"canonical_sha256":"b7916597c43d2c3767cdfd029b6a43dbc5403da8eaef29589ebe0af524615121","source":{"kind":"arxiv","id":"2605.22763","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22763","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22763v1","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22763","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"W6IWLF6EHUWD","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"pith_short_16","alias_value":"W6IWLF6EHUWDOZ6N","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"pith_short_8","alias_value":"W6IWLF6E","created_at":"2026-05-22T02:04:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"record","payload":{"canonical_record":{"source":{"id":"2605.22763","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T17:24:57Z","cross_cats_sorted":[],"title_canon_sha256":"d1f9e3501f2023491093049a2ef441158b3f925f8a81c534086851d6060401de","abstract_canon_sha256":"c3fb98728d390ff5c996b61f32590a82b8ec932b0ba9338cf112c3c25928d3bf"},"schema_version":"1.0"},"canonical_sha256":"b7916597c43d2c3767cdfd029b6a43dbc5403da8eaef29589ebe0af524615121","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T02:04:53.969010Z","signature_b64":"E0Mm02g1Xudshz1/FZuEwM617wPtIOkaUpJjdkOIsFnSfQtpRbfZYBWRyTAgnEOP72gQs5gG+iiAdFUFaKlfDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b7916597c43d2c3767cdfd029b6a43dbc5403da8eaef29589ebe0af524615121","last_reissued_at":"2026-05-22T02:04:53.968516Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T02:04:53.968516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.22763","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T02:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u04UZKn1aVqx8euwIVu+0w/zhxkoiqwemFrWZztsmJX91HzQQjGrjxFtBkNixnmPUMawK/dVBsmIDM/jTlSmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.003731Z"},"content_sha256":"c986f6b2acf51cb6f3b08274d7c79b288eb1421920e671156a451f312ba389b8","schema_version":"1.0","event_id":"sha256:c986f6b2acf51cb6f3b08274d7c79b288eb1421920e671156a451f312ba389b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adam Zsolt Wagner, Aja Huang, Andrew Ferrauiolo, Anja Surina, Anton Kovsharov, Arun Suggala, Codrut Grosu, Eric Wieser, Francisco J. R. Ruiz, George Tsoukalas, Gergely B\\'erczi, Henryk Michalewski, Lei Yu, Matej Balog, Mikl\\'os Z. Horv\\'ath, Moritz Firsching, Pushmeet Kohli, Sergey Shirobokov, Swarat Chaudhuri, Thomas Hubert","submitted_at":"2026-05-21T17:24:57Z","abstract_excerpt":"Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to generate formal proofs in languages like Lean. We perform the first large-scale evaluation of this method's ability to solve open problems. Our most capable agent autonomously resolved 9 of 353 open Erd\\H{o}s problems at the per-problem cost of a few hundred dollars, proved 44/492 OEIS conjectures, and is being deployed in combinatorics, optimization, graph theory, algebraic geometry, and quantum optics research. A basic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22763","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.22763/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T02:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QgYSf0NRrXGWUeiNf339LdkBWfABIEd1wGdVhkYSqxLmxKS16fBQ1LnCigZ+nAI9id4GOuHj8h1YL0mmWs1dDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.004549Z"},"content_sha256":"5ba43aad161c3c1d6d3d4a7cd0af8069e1045a1c1913fafed23fa2f5462fe875","schema_version":"1.0","event_id":"sha256:5ba43aad161c3c1d6d3d4a7cd0af8069e1045a1c1913fafed23fa2f5462fe875"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/forum/thread' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/forum/thread","final_url":"https://www.erdosproblems.com/forum/thread","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779644092.07108},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/forum/thread","finding_type":"dead_url","evidence_hash":"b064d3f33d7fa691d3f2ef7a4fb0ce2b9878907d8754e4e8eb52ef23a8a86fbb","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7144,"payload_sha256":"db40b86c97c3afe96f7b71238d08e2d7ab7283a9f3a9851f919df65fc7179745","signature_b64":"KCmiWanq/eobjunbYulgY7ZV1PxAErSV3eqhgCDarJbDrdLR6Kdbmi8ad3MCW0j1+KNRnikhQLPaOpEeCzAZCQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5b2bQjSJjz87Y2rJT2RMtJryXZXmp2fvAhkt6dlUK0Tp2xZBPAjpThWngkMJNwUV7aG7T88411Ciqj7mfkjRAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.007442Z"},"content_sha256":"d7e176d1e5c98ad09df08a694413639b22f384b6f39176c8a1f662ef60b52e40","schema_version":"1.0","event_id":"sha256:d7e176d1e5c98ad09df08a694413639b22f384b6f39176c8a1f662ef60b52e40"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/foru' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/foru","final_url":"https://www.erdosproblems.com/foru","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779644091.4712067},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/foru","finding_type":"dead_url","evidence_hash":"f9547e97bc47fd49a8ba5c7bf07c45b7d6fd00684e3cdf70ebc086f6c76dd349","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7143,"payload_sha256":"94320c699f5ccd1364bace001c02309829de42f9aff0f076d5341bf89349529a","signature_b64":"kqkC0gr2TnOvWtVjqdjJFfIEutmgYvQwEnstHRAJc2buVyIn0RXK5+BSDNS51AnHg7XVeVys+EWQbNKrtnULAw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RnSvm5OsyWP1ySuF+nVR7KzAAEe/ElCMmDHyu7OUjerXttQKzSLNqaLte5IFrK2AC0fmQILHGBj08Cp4grt2Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.008016Z"},"content_sha256":"cd693ec7cbbdf10dd3d3c4ebd363e528d7a96d7d169070d1e9021e51917601db","schema_version":"1.0","event_id":"sha256:cd693ec7cbbdf10dd3d3c4ebd363e528d7a96d7d169070d1e9021e51917601db"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/fo' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/fo","final_url":"https://www.erdosproblems.com/fo","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779644090.8839917},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/fo","finding_type":"dead_url","evidence_hash":"280da8749e7ec21a8f945dd585039b3a55b0809ffdf13442aa297913b7e05126","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7142,"payload_sha256":"018b5871d3be353ec808a5b216afb50740e52a9575af11ddeab7c0e6db54d47d","signature_b64":"XHjbmjGqAuUwgmoKAIDporOZPN5/6nUDpgyU39ImB4Q/9z4ik39v88gT5OweaBCFu2fbQj1xZp/uXGhgTGffAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fU7HtfJHaTqROPxQifjQ1KovaUNgHPPkNq6kBJPDgGspfsLXFXjnaabsGFHVQvwvqDcyXlElRYnBJsNabp6YAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.008563Z"},"content_sha256":"f520516a7efffa02fcc22a5191e70cd4beffd96b81b284f05cfc6db627d820cb","schema_version":"1.0","event_id":"sha256:f520516a7efffa02fcc22a5191e70cd4beffd96b81b284f05cfc6db627d820cb"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-deepmind/alph","final_url":"https://github.com/google-deepmind/alph","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779644090.1487267},"severity":"critical","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-deepmind/alph","finding_type":"dead_code_link","evidence_hash":"8f28dca67289296547bb0399e1d95fdabc08a5276a428863c48bca4af51dc488","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7141,"payload_sha256":"5c1eb3056c1a1fab060d6678a483049d1ed1afbcd7426b061eae2bc799320696","signature_b64":"XqInKIoQhUQep7SBI1skF40QE70GOdtwzF8iKtXc9ldYWiNJkYMyYFR09Fb4Q1S+UDC0Ae8AnLcaGelpGa4DDQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0Hj9I3eCcs/08gOLJYLXFJttNFuyz/wlVQ0JODDL1HSgpj3JTYZwZNK36IRsTM5FkTc2SapaMPux49cc/9gXDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.008987Z"},"content_sha256":"e1c9d434bf0d0577417bac9c0fa781177401e0b95229bceaf76df47861e106df","schema_version":"1.0","event_id":"sha256:e1c9d434bf0d0577417bac9c0fa781177401e0b95229bceaf76df47861e106df"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-dee","final_url":"https://github.com/google-dee","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779644089.9156408},"severity":"critical","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-dee","finding_type":"dead_code_link","evidence_hash":"14171e368035d8274bdfab929f18d4b8b77803beab5c97342cfec9e038ca2d34","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7140,"payload_sha256":"b985b528aa692f9c32b0c138f89d6a22761b6b4605830ecf43e4aa59d8ce5b75","signature_b64":"+8ejoO1GJtuaSX4y4i5iNlaMibXopnfe74k84nEIlBYGI5x12grd6P748Jp9geuVEU+A42YBeg9n+ePAXC9rDQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"exqLXoBE86+rKYokYKqw4Y0QEHdGSw4AyzgnrJJ8a6NI+2U+VePXnqW8Bw9Fd1ArV/oniS3frU8KYxQM82L0DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.009307Z"},"content_sha256":"e73ce65259d63982928e3b0c757f7f3a4aab4b97724c19fc1f2236c73d64414e","schema_version":"1.0","event_id":"sha256:e73ce65259d63982928e3b0c757f7f3a4aab4b97724c19fc1f2236c73d64414e"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779644088.4942052},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github","finding_type":"dead_url","evidence_hash":"74d09b21c1270c2879d1b170029a9256f677b7700f3200c28b6ed9fb0311d23f","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7139,"payload_sha256":"268d851af3abac14c4f3b1a280260e37081754b938693782ac1de943ec19e64e","signature_b64":"puBlkMMGwuFqF3tUxWVbLFEE7DWgdhR61FuLKdUeCEZKXA2t1MeXnJmJohjPIAwgnC/wphjbTj7SxD0r4O1MCQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+wc9mm27KAK7pam+/Im5uJaeKG8nelrggaHi4qxGzx7hLCcmYBbUEWcgygnUrUy5yWXlBW+BechPTe4gmorcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.009799Z"},"content_sha256":"5e32709958a44e4f28fe4b6b4bd09c3d59bf946e7099dd2ab9d004fdb8feffa1","schema_version":"1.0","event_id":"sha256:5e32709958a44e4f28fe4b6b4bd09c3d59bf946e7099dd2ab9d004fdb8feffa1"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://people.maths.ox.ac.uk/greenbj/papers/open-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","final_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779644087.8941529},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","finding_type":"dead_url","evidence_hash":"4ed11f51a670c808c47261eb36f4d6c2499bc924a83ac9d35466de6e0d9c3328","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7138,"payload_sha256":"7eb55e41acb73fafec5ea245690316825e4f35157839d822f83599a62a8b5b95","signature_b64":"JpQTvpnQqvr8KR0U5lBsfGqyKsJA9BKnxV10AbheScqMg+Kfqo+quQJPC+RWki5tUerJXjFK0k60gxMDR0uQBw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+nO7Rl1fDGWfsi+jK1e51Y+xxgvLAALWZ6wS24i8y2jvUHImz6c1mZwSGL23e5uOWa6y+43EzWvWAv7QHqd9Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.010265Z"},"content_sha256":"4f0786dd520ff63efc77c09587ae5997bd2cb61b871c09579090133c886cb993","schema_version":"1.0","event_id":"sha256:4f0786dd520ff63efc77c09587ae5997bd2cb61b871c09579090133c886cb993"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/GasStationManager/Saf","final_url":"https://github.com/GasStationManager/Saf","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779644087.6732438},"severity":"critical","ref_index":null,"audited_at":"2026-05-24T17:34:52.566185Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/GasStationManager/Saf","finding_type":"dead_code_link","evidence_hash":"ced905ed0e7d7753b17b4bd6f7b000b06cf7c8cf9674367ca375924c82004107","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":7137,"payload_sha256":"35900f00115556007da7ace48e9465d27200314dfc8050b7397d5647048d82b4","signature_b64":"sVJP+hCwi+TD1u0TtkqDgB/La5E7HZK/tiVgP7JdAq9Votdwsym6uCMHL5NvTtMWV400wYuRvYSRJZxAc0dQDg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T17:39:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gHp4abmeykZ+DuxWv6nLmj13K8Y2Zuok5jUiTj12k315apB31I2pG6qBv7LFnV9hqoCmC8UmlofV1OLZFUOBAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.010743Z"},"content_sha256":"8db8cbc3d6ce4873be6666f89bf73ce3d08074bffa45990247567e33746bcc99","schema_version":"1.0","event_id":"sha256:8db8cbc3d6ce4873be6666f89bf73ce3d08074bffa45990247567e33746bcc99"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/forum/thread' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/forum/thread","final_url":"https://www.erdosproblems.com/forum/thread","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779600892.9721315},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/forum/thread","finding_type":"dead_url","evidence_hash":"e5514c728d746cbd4fe5d09ba2eb226fe0718bd4786fd205e8109961c0b8b1d7","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6980,"payload_sha256":"a546f08cae23549ac46b17e6fddd099e79ece77a318c0a3cb3814ee587f7c4f6","signature_b64":"NNsJjh1p6/Kq09jdrB5yNFSBY1Si0rKQiVETAqJRi9uRiOLWSsMQfioK2JoNVbBevregzDSTwFZao/Ao/pUvBw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Xgh5uy2CtQ9VwQrL0vnIg2OFz2N0drihx2ESVdACSZwgAYN+Hj00f4cK4GevaYLHcV6HyjIj02qHBJuD2j4Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.011292Z"},"content_sha256":"ee507421f59235e9bb7dbf4a103681ec0aefc317fb69fc0e71352d8823d9e63a","schema_version":"1.0","event_id":"sha256:ee507421f59235e9bb7dbf4a103681ec0aefc317fb69fc0e71352d8823d9e63a"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/foru' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/foru","final_url":"https://www.erdosproblems.com/foru","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779600892.3697624},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/foru","finding_type":"dead_url","evidence_hash":"90db4d7ddeb8fec12d34728b1993cbb59d1b619922e853563b4b91b781c86da0","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6979,"payload_sha256":"943fdc1274bb759f728393de1076ec103f082c0a5f4c925b068d1351ecd82f9f","signature_b64":"0qxfRHFiggIYcUogzGZvyoUDnojEnV0+QIhcL/K5OeGHzYTWlGKBxy5V8lUj5aQjrSEU4amqU3RLs5m1Vtc/Dg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QI/4ScAdjcw7dXTzBcBUwi9L5D3isaRJWrRhVmY0NTfXBH8fA/pI+Xwonsyff5ghHHnzk82AvfGHpuCP1VEQAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.011856Z"},"content_sha256":"b4a1827b0f1e6c4f4e040150a549c16642fe2387cef38162804c254c2a47f7e1","schema_version":"1.0","event_id":"sha256:b4a1827b0f1e6c4f4e040150a549c16642fe2387cef38162804c254c2a47f7e1"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/fo' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/fo","final_url":"https://www.erdosproblems.com/fo","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779600891.956521},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/fo","finding_type":"dead_url","evidence_hash":"3c4927e0cca85dee13b91424a1bf5932af80322682252f6959aeb8042bdfb23c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6978,"payload_sha256":"46adfbd34bfd945e92803d18bd0eb994ed95ea324920a7affc0d74fcf31ba0d6","signature_b64":"y7dmjjmEEMsKu2PFDnTnRHve60cweHkY81YY8UmpwYZSgP0NLWgn5LISEF2o5ZR7/kv9tScnm38pe/VFo1zSBA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z+TMfGi9fDfb67jKaSE/vsVCjnIIMmyJrfl2UC9ZzyrpY55vRX6tvocL3hUnyZNzN4kAbLmet2VoLdL7jAsBBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.012383Z"},"content_sha256":"8a2c0a26ed80f0672d0e48baabae222d4bf44abb20ac12f1d690993c0270c392","schema_version":"1.0","event_id":"sha256:8a2c0a26ed80f0672d0e48baabae222d4bf44abb20ac12f1d690993c0270c392"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-deepmind/alph","final_url":"https://github.com/google-deepmind/alph","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779600891.4435303},"severity":"critical","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-deepmind/alph","finding_type":"dead_code_link","evidence_hash":"1e2bfc33a16f07d2a893736f47a388e9fb0e7b8dbc5c750db50429cedb5886ad","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6977,"payload_sha256":"40e63ddb2294989315b96fcfe3ddf18d1efd741d0f76955150313e61f568dc56","signature_b64":"U/hT3vqf1gOaXsd3CgDQzMEUfYkpT6GiJH1xOENmVyp+J8hw/2Elq0tWQyRxaasc6HePo+/6WlF3307sQqa/Cw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BD2EBaqvzGJ0XYZXxRTAxjIqO6tNR3h3MsSj3gBMxR20Tt1HZmVLvj7b5+ffOmBDC8djc2RE3ocoxd+e96Q1DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.012794Z"},"content_sha256":"46fb7808a77aeea72a1634789e229f80c3101d06a8ca45a4fe4b14202f93ac00","schema_version":"1.0","event_id":"sha256:46fb7808a77aeea72a1634789e229f80c3101d06a8ca45a4fe4b14202f93ac00"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-dee","final_url":"https://github.com/google-dee","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779600891.2000747},"severity":"critical","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-dee","finding_type":"dead_code_link","evidence_hash":"a790a655e98c1855b38f2bb5fd22b4b3bf6bf51719d932eddace3cd774b51d25","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6976,"payload_sha256":"bac3da5d8807d1f2bba7261aab50b03f3106dfef6bccf326ba6a4720e7f2892d","signature_b64":"AcBZj7eUiWLaLJwk8CETzM8h7lpKY87lRiJh/Cy28ywhRsAqf+zQIcFykVJ6ua/edaaQzcS/8F1HE9TcWUOVAw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hj/yrzcckdnz4xjCwqod20804cJ4L59Lc7eZkD8ipkJDgFywABVhsFTFJOc70pi9eZbpPDXuS+iydrL5a0M5AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.013140Z"},"content_sha256":"ba60e2fb316b71f7bc3beff2410a1741e527d3945c193604a50a867ae0173fb0","schema_version":"1.0","event_id":"sha256:ba60e2fb316b71f7bc3beff2410a1741e527d3945c193604a50a867ae0173fb0"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779600889.826367},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github","finding_type":"dead_url","evidence_hash":"d117d1f2a510a2cfddc4d2886417bfbb8e05da7db9316a16f4b8cba7d1db0954","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6975,"payload_sha256":"63cb563799ae60c8ffa07554c40f1a3f755b45d21fb42aa475dfc40d39e87e09","signature_b64":"2GVArUOoRt/1xj7F73lwLJ2zgtMpsoJr7i3XoySIQSX2QSiVSNl56JXhasz+aEFzSmflo35Edhgs0ecqi9saCg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BFWXiPz7Bp4HvlKzetNRrj35rNpm+bDxCngqxKNcvKhDpASU2LuNO4clUVMaEA1EHsLgnAsEOetJUJ6J4lVzDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.013445Z"},"content_sha256":"c5fb2e20e4d95c49da980727532b28a52475d2fd0ac955d072f8ce93d28da115","schema_version":"1.0","event_id":"sha256:c5fb2e20e4d95c49da980727532b28a52475d2fd0ac955d072f8ce93d28da115"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://people.maths.ox.ac.uk/greenbj/papers/open-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","final_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779600889.1938226},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","finding_type":"dead_url","evidence_hash":"3b9da654f46d5eb278ae7060fe4f13f6a30fd842248cc8279a58ae4ca0d0b1f4","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6974,"payload_sha256":"e4b404828715531a0029f48ef7c3253e1bae8db162dc20236e052c459e291c68","signature_b64":"bSkJcWFpDWFw8oh5r/8bs+5MUkJFZBkcihTS3etQOV/gSsjrbzReDSOx20OqQB5SsybkV7/WJZ/jQ5mp2nVyDA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n38j7cap1+Re526OgdIgOCZhKNK1NDR3mxJmAZAxzNXRpest1fO/j2aAZIfert8sL2gdLkDn/aY2vKtxIbTqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.013926Z"},"content_sha256":"ef54c60908a373ca59a74dbfb3e1f3e4b4b2104f050e3852f2137d3306f2713a","schema_version":"1.0","event_id":"sha256:ef54c60908a373ca59a74dbfb3e1f3e4b4b2104f050e3852f2137d3306f2713a"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/GasStationManager/Saf","final_url":"https://github.com/GasStationManager/Saf","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779600888.955834},"severity":"critical","ref_index":null,"audited_at":"2026-05-24T05:34:53.332342Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/GasStationManager/Saf","finding_type":"dead_code_link","evidence_hash":"cfaef6d0ec2a29a03414987a9982b1504e2a7a14203efdff74d938f7ee8a1f7e","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6973,"payload_sha256":"f935799c53b7eea2407da8aa8652593b6fa0a7e478507571332b62c3815b71fc","signature_b64":"0Zg3ioZXc4GJBHgbDFIzRRHbAvfqXB8mfA16FQUxdYTxQupH9VU+RS7tjvP2mCuyhM911uvgfmosUiPN1fo3Cg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T05:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FfdQsiWZq2tT1O+kQ9jnH37OwIWH1qKRjiPkxZm38YzkuwzuHYkTkZXes5N9InAHdGE7Ug//KGCMo3cDPwvVDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.014360Z"},"content_sha256":"3889789ffc9f28745c3283789da4fb2b01537dfdfef9f6c5d2dea3bd5d4a4972","schema_version":"1.0","event_id":"sha256:3889789ffc9f28745c3283789da4fb2b01537dfdfef9f6c5d2dea3bd5d4a4972"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/forum/thread' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/forum/thread","final_url":"https://www.erdosproblems.com/forum/thread","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779557690.5452557},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/forum/thread","finding_type":"dead_url","evidence_hash":"1ada2cd4f8ddb0a12681d655e4d80b079b067b90b2604dc9d5e6187adfca43b4","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6813,"payload_sha256":"c6a2966f17e3b3aafe8b776e0cda339c19a6d23e3bfa1f58f0b643650bd2c912","signature_b64":"Ft/FPTTNkcI4PzSPGchi4b22rQsurufAcTWF8LUnw3O4juGWQLfBA0EMUuX/Eh8euTk4V2eLEt412kOc+ihVBg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hh5xf+FN1/5oQC/hrXbmU5ZWqlj8bjBCP3x5LU11SpYSV14tYuNrxYodJxeQVgiGLJUtiAMLUOvvf74SVX2bBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.014731Z"},"content_sha256":"2bd4ad9b05b6c3bf10d16a2fc3d8faf5685057b3b9d66ae3d46a4ed9aaf66468","schema_version":"1.0","event_id":"sha256:2bd4ad9b05b6c3bf10d16a2fc3d8faf5685057b3b9d66ae3d46a4ed9aaf66468"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/foru' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/foru","final_url":"https://www.erdosproblems.com/foru","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779557689.9388447},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/foru","finding_type":"dead_url","evidence_hash":"cb64c6486ed742d05d66f48044b57596b5af67c921cc1c519deb671322a253c2","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6812,"payload_sha256":"e49261697d3bdae246304086b11728bf04a2eab2158138cb66d6b179d2ef7198","signature_b64":"NohL7DUwWvfMmElHXzkEfjs96M1Pt9J5iiTXGWSUi8i62E+ZAfo4tdkuyz0Bxh9dCSRcSBdnAKfThfSRvecFCw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aJtAX/37qh0HAkR5hcaPuMYE/ndMtzszdoceE2KHGKiIHUpnfy5yru109ouCMBZqVhEGjhUwdI0jMBt06RCYAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.015092Z"},"content_sha256":"2c203af6ce603c9f16109b8b26106a3896444c3ce37e28b71c97aa1a2ed8de97","schema_version":"1.0","event_id":"sha256:2c203af6ce603c9f16109b8b26106a3896444c3ce37e28b71c97aa1a2ed8de97"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/fo' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/fo","final_url":"https://www.erdosproblems.com/fo","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779557689.3249395},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/fo","finding_type":"dead_url","evidence_hash":"078891b2089fd4d1f45c418bcf9cab403decd3eea2b075d7e89c310b8febac70","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6811,"payload_sha256":"e2fbfdc200ccd39b533975da77a708ebb473ea62219ccdc2a76de2eca28ac260","signature_b64":"vGrZlI9DajW49dlijisOAkzWsfTxkpzkRcSBNnflUxRPZxKeNoRmBkulwAP80Gfm1qFrFK1aes+qSrp3qoyNDw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZBtvJqmxPaUhXH3IhIgcrX6/o5coCrFzjx+2ddgsOKEchK+7zSd5I6YXWk9inriet2FSgVVpXxeuSF7bLN2RAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.015410Z"},"content_sha256":"0265fd40778cf411607430fdb2aae97613bd5ef01ca99f3fd32cf5d00ca93c26","schema_version":"1.0","event_id":"sha256:0265fd40778cf411607430fdb2aae97613bd5ef01ca99f3fd32cf5d00ca93c26"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-deepmind/alph","final_url":"https://github.com/google-deepmind/alph","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779557688.479836},"severity":"critical","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-deepmind/alph","finding_type":"dead_code_link","evidence_hash":"31e2718cb82ac8650dbbdf67ece982551dd35b1781194e0ac03db048a3d59f38","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6810,"payload_sha256":"78934ad75b26324fcca3ddb16e1b89eb278d9e0dddf4bfeebe44476b4db96834","signature_b64":"3+/ARQTiJS1BE+Hsht/m994qwyu6HCQOJBj7zAOnO6nmORDQ5sQJURfokMIDmcL+IeHCmkW0LHPyKfVRPZ0cBQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jSQ2+pCqs+1GY6591YhuVbrSmWa32nxDxHVuVoVRtZXs858sc9b/yxA1h8fqCZquSGbqPmihqefOqcIAW5SZAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.015686Z"},"content_sha256":"9cb7d6dc2adc1ce5cd606f9bc20e9957a4bfe7d2e87c9d492f435c803863f9bc","schema_version":"1.0","event_id":"sha256:9cb7d6dc2adc1ce5cd606f9bc20e9957a4bfe7d2e87c9d492f435c803863f9bc"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-dee","final_url":"https://github.com/google-dee","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779557688.2192023},"severity":"critical","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-dee","finding_type":"dead_code_link","evidence_hash":"24d794aaf6d8c03e0588bb36b819d2ed44e540b3b3428a0bf53e588b4cc51aea","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6809,"payload_sha256":"0df648ae202532e951eafacab1224de6751b33fcead93eb6c4b4c27dbb303654","signature_b64":"vGmK+fMtYs3klNbaH8GUakP1Wc7mDsCpc/n92cjnzaW3RJOv+h6uVQe50SnRaqCAIdy0dr4sM025AXdnJ4HSAQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRn2K1Eed1VinDb9vnuZwB8rzd/DphcBdm9j1TRFFgWgSVdLC5pdwwwNY/1nM5TaoTAZXYnMvKAJHKF5HntRCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.016095Z"},"content_sha256":"ac2fd97eb984008d2473edf70111d9cdacf0f2388658c82bb13af934ecfd7281","schema_version":"1.0","event_id":"sha256:ac2fd97eb984008d2473edf70111d9cdacf0f2388658c82bb13af934ecfd7281"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779557686.5327125},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github","finding_type":"dead_url","evidence_hash":"0498b8772cefb967c0fdcaecc77245d1d7a3a9a134065cfbb7e5b207b8c4d8a2","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6808,"payload_sha256":"e0fc68adab906b167337434833b3cff79b67c499f1311d392caa58f7a6733b02","signature_b64":"of2VtIB8oTfKpmUrXTex+E0Cws6oH1ZgIZzE9WI4k+67HsW34QUzmhTzK6GgB88PUzpemIyJLx8iZHE0K3MjAw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DqsHsdQF70nNX+l3l7YmdV8gZIGNf77owiH6wdRICGvnMLHH4WIBpMS0xWq/cEefBYEDESrR1VwVJ61A0FhfDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.016641Z"},"content_sha256":"eb509174ca5ae56c781c994561dc319ddc0728fe145450406ce2ac31d015d44a","schema_version":"1.0","event_id":"sha256:eb509174ca5ae56c781c994561dc319ddc0728fe145450406ce2ac31d015d44a"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://people.maths.ox.ac.uk/greenbj/papers/open-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","final_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779557686.0415604},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","finding_type":"dead_url","evidence_hash":"df5b1dbd19189fe429b85dca626ff18b8e973b60346a69a017ef521e1208453f","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6807,"payload_sha256":"1d0266f1a84d99a7ad9a358f76c6fe18d52c920b93d60727a79d9560ca9b75c1","signature_b64":"VXxeMQz7eEXYD5bCS1YVgFFKDY87jXO015xGNzVGkwQE3q6VdsVQBlsZ2SVHlTL1Lldp4fNLb5/gcEZ24n0DAA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oM0RA4Yg5PLM999kqRaw+jBtmLvClNEzh/q6l2mQd91puN+BZSPd6sTFPXGXuiSJSWHJF30tWmwr+nBcaqnBBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.017112Z"},"content_sha256":"88425d7dc124bd31ba3338402f54ceec609b98c05f70450b3f6324c9ea5892e8","schema_version":"1.0","event_id":"sha256:88425d7dc124bd31ba3338402f54ceec609b98c05f70450b3f6324c9ea5892e8"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/GasStationManager/Saf","final_url":"https://github.com/GasStationManager/Saf","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779557685.7343557},"severity":"critical","ref_index":null,"audited_at":"2026-05-23T17:34:51.308940Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/GasStationManager/Saf","finding_type":"dead_code_link","evidence_hash":"b7e4f46599b4d08045832dcbec63596f6e16495c7d5fa318e36bfb27cd3e0b39","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6806,"payload_sha256":"80abdd4d6adbbd0cd0e0c7f5561e11e4dbf8f30966257547f7fbb6526eb82026","signature_b64":"wujDtJ/db/OQ0xcIoXVWnhVkTu5AfM/sn0gsl7kuZB05rhh8kbzLj1Mc4qa3Lkgo0IS1xCzYiRwybXjRHxTyDQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T17:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dErDo71y7BD3VGBGwh31VBSyyCQJwNZPINGLjLkjM11Y7YR5XAorUXlED4yClHXbgorgL6CejtS7gX7XoPw2Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.017622Z"},"content_sha256":"d58e261337755999680e7a821508338b23b87536df5d99dc57fdb20a90d43647","schema_version":"1.0","event_id":"sha256:d58e261337755999680e7a821508338b23b87536df5d99dc57fdb20a90d43647"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779514484.508357},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github","finding_type":"dead_url","evidence_hash":"c4eb7a51e8c0281c67dfcfc5c613a856c448d2f141eafc083806f972b2815ec0","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6646,"payload_sha256":"6548228b3c11384ef782e507b837b507e998b1632eee041b02a0c50b3c7d8b56","signature_b64":"2QFOrtitDMqrz24ZbpFkTXgaiG6ObklmNskbPa0OgzOn6FmU3gxl0AC2bn69i6qxkylHtnZm9azWjmSDBWkFDw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uWKEK7gBiHi6BKqx3/ruuEA9BSpfnVbk+rCj5dY06I8ct5BijAKi+E2bKS0x7cnthZCdrzRt5Wcg4VhBn53MBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.017994Z"},"content_sha256":"611bf7ed567b096a68ae0a720d53c5cbafe91793ca9200403fe5f985673c2ebc","schema_version":"1.0","event_id":"sha256:611bf7ed567b096a68ae0a720d53c5cbafe91793ca9200403fe5f985673c2ebc"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://people.maths.ox.ac.uk/greenbj/papers/open-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","final_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779514483.9355946},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","finding_type":"dead_url","evidence_hash":"78b908b670ecdb4b0f561369f5f8ed63c6ba11df10805b216bd59b6a13302353","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6645,"payload_sha256":"cd930b22bbc20b9f4f57ff29e00a6da281fc9a2af198bdef25de10be1ce88089","signature_b64":"ye5HrypgJfHy41F5VEQwum4gqGNbKkjUxCZF/XnJi2+TJDzpCq7mqUNoZWTiIRHbHpG1e+qpAFVzxnGEysQbBw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IE/jd2KBHRxF4/XmmpWO5uHPU6jW3rPfTvnow2GToK5mvl27/psj2ouDHYNLPDXtqiJGe49YtAOc3jvMZYt1Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.018502Z"},"content_sha256":"fb632f9fdb9e214fea46b8feef9394d6fac174399cb6d93d01616c9b737c81ee","schema_version":"1.0","event_id":"sha256:fb632f9fdb9e214fea46b8feef9394d6fac174399cb6d93d01616c9b737c81ee"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/GasStationManager/Saf","final_url":"https://github.com/GasStationManager/Saf","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779514483.6968148},"severity":"critical","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/GasStationManager/Saf","finding_type":"dead_code_link","evidence_hash":"7f598b5ba9b5522f47e1d0d6c589c355fec08cef350dbab1fb5279704e964e2e","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6644,"payload_sha256":"b85e8b822486fc275d20fc7a47c363be5b8648056138940b13b374b4094b7e01","signature_b64":"TEJ5o5557ruPE6OZnOUq3NIKAs33eFaGNAyt6mTBG5lhUSe9EbSQRQMyJ8rGf4X8JzYkuHIgoWxz+M+GZmLvBg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oqtPz68KJnenOdxDf6S9+2BHMiQK8K3gxRi+HVsUjDB+h4pTa8lHIs2/QnLKKwQjyfWckd+O9p4VhFLXV/NMAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.019025Z"},"content_sha256":"ec407f9a6e7308099f3b1f8520a27a7bec6740ab78f15f77fd034f379092d976","schema_version":"1.0","event_id":"sha256:ec407f9a6e7308099f3b1f8520a27a7bec6740ab78f15f77fd034f379092d976"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/forum/thread' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/forum/thread","final_url":"https://www.erdosproblems.com/forum/thread","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779514488.3029015},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/forum/thread","finding_type":"dead_url","evidence_hash":"3151f7862a8e3b6cdb2fc463ce654b93311de7313da2569d6356582db24dcb5c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6643,"payload_sha256":"6fd4cff42876273076c7324ccf0250c321730690794e5d1621bb13bf4624b66c","signature_b64":"z0FZyVhzJKKUVq7vzQbZK1FCpjW91aHVAPtFWhmfCmhXYK4dSrHlvYsfdUR6Q+cyRdnYn6+iABobn3EiFsz7Aw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2RVlyKhxAFDBG8Od6QuXc7wY63JP0wuXQmJSDAndnwm74E8hRdeuz5xX3IpzScVV8ScGBBgUMsewXD/1pq0vDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.019547Z"},"content_sha256":"f857f788253e8ce90802f51524c000a4bba771513b6ce74748023501bc7cf10e","schema_version":"1.0","event_id":"sha256:f857f788253e8ce90802f51524c000a4bba771513b6ce74748023501bc7cf10e"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/foru' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/foru","final_url":"https://www.erdosproblems.com/foru","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779514487.53652},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/foru","finding_type":"dead_url","evidence_hash":"496de00ee0face3b9401029217e509641164ad3724d48777bdc556ae80779c4b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6642,"payload_sha256":"3ad2438c201278e02ed350ade4f7f0194dca82906f603570b43fa14223592a7c","signature_b64":"HWOHzMhoNq2XuP5bKqnm28pKdjjKYYnGFoudhkH/XjOeqKJkFEk0WPkYOSaByLecbSMFGoNrtqke7wM8T7IOAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JdIfZ92QdQA0TX/uORnF8Ed092R8jCU3lB1kFmB6pw01TiNRMazAyp+fHPnIs9TR4hU8XAzR1P2MarFfla16Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.020101Z"},"content_sha256":"c91fa33bb75cd07b9863dd170d7d9339df46c04e34cb6439afe0c667564d75ab","schema_version":"1.0","event_id":"sha256:c91fa33bb75cd07b9863dd170d7d9339df46c04e34cb6439afe0c667564d75ab"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/fo' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/fo","final_url":"https://www.erdosproblems.com/fo","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779514486.9668849},"severity":"advisory","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/fo","finding_type":"dead_url","evidence_hash":"3bba8a8d9d787f52aee17b5dd17f01988b2443741a0e5ea699426e5ab81db563","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6641,"payload_sha256":"15fa931b704c45f6ad6c5ff903d47de73567aabec62c89c37077f9d28d93ec27","signature_b64":"cooZtDXGztj2TNqa+MhQAXqjwW7vIWq4I+JT44CfAuYjMPwJoR7VNwAyiVihRycodW4OoHPv8ATosnQy9MXJBA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ysERs9N0C/3qFlM5uc0oagFh3cqY+A5biqXOTAFifB/OcDlssAdJD9NRsDdP/HDYKy6/ZEpHxULAFn9MwZk5CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.020629Z"},"content_sha256":"4c11b8be16a366b84bad76b5a1cde5c3403d0d0511f093b0055e1e888ce65fe9","schema_version":"1.0","event_id":"sha256:4c11b8be16a366b84bad76b5a1cde5c3403d0d0511f093b0055e1e888ce65fe9"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-deepmind/alph","final_url":"https://github.com/google-deepmind/alph","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779514486.155944},"severity":"critical","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-deepmind/alph","finding_type":"dead_code_link","evidence_hash":"bdf485915891f77b2c1abe62142f340091098c864ede4823a03a4a6f5c0aaf47","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6640,"payload_sha256":"2aea1bca9896cbfc98790b3224e2fac0abda8e9bcb139db7c8d06868daaac626","signature_b64":"aCgxPER/m+9BZScGnX0LzmURVkUEep29voZnJg19QdukEGeawAJaSNDJHvMrE4Tjz3T7mBfxtgsiPoM11IzOBA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jkT450aWywg3wwYiER7E2rRJcFPpEoS16HwnijLPTFJ1ExF+yqIY1vB8l6y11T+QUOQ2YgWA+Kj5Popnqjx+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.021136Z"},"content_sha256":"5a31384f7efb3924628e661d012d2618c7581d17c89ea6f3dc61cfe20e40ae30","schema_version":"1.0","event_id":"sha256:5a31384f7efb3924628e661d012d2618c7581d17c89ea6f3dc61cfe20e40ae30"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-dee","final_url":"https://github.com/google-dee","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779514485.9135852},"severity":"critical","ref_index":null,"audited_at":"2026-05-23T05:34:48.913766Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-dee","finding_type":"dead_code_link","evidence_hash":"142509ec8e469b65fe37aaf1410d0baba8429d4b6cc148371b8caa103ce1ceb2","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6639,"payload_sha256":"98a36f624cdd4ff91e5aa150f4320ad11385b912ef9ba7122a504df7468e6e64","signature_b64":"3gxE5YpxeT3NAolFfOVY3ZMjdIfPvRiSNJYQeqXNrQTpfqR0Nah9CWJTtohnVrKyqILb6HPflYcyqeGq+4xwCA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-23T05:37:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ktCSfCtwKOeebyweMIw20hbPc1XH/pHfKelDmyo4i79XTDBrvvu2njtQ1HLZ3Al3VfvPAEqveiPnEG7KoW4fDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.021695Z"},"content_sha256":"4a633b2bfec53ceed66dd9b653f2eb569d73e2e3bae8ea4af093e192896e5519","schema_version":"1.0","event_id":"sha256:4a633b2bfec53ceed66dd9b653f2eb569d73e2e3bae8ea4af093e192896e5519"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/forum/thread' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/forum/thread","final_url":"https://www.erdosproblems.com/forum/thread","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779471295.7854695},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/forum/thread","finding_type":"dead_url","evidence_hash":"becd3ed3531ed08de16099a89f0cf61e8f1972a33c573f6e45fc6432147a3e67","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6477,"payload_sha256":"436adc22c8bac441b6969b99a61c3e56c3be49930ab044aec26933a3ede2c38b","signature_b64":"QfH8SWUWMX9YwcvR5Jc7HAIxbPr8ZFX00wHfChoZCPDGvNl8BIKwA/zpo+4Y8aVbcRY/zbgMVV4ebRmr7JwyAQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mStevk+ZSVATSB3O1Z1m0VX5LoHSRr+jYbmObrByeGlt5CiTtadXYhJhCaFCdhgaslzgj8yAGF8+DnZogxZiCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.022256Z"},"content_sha256":"2d850fa29b579aa263c01963b060fa3ae2dd7bd4174ea4f3d0c159a565a17723","schema_version":"1.0","event_id":"sha256:2d850fa29b579aa263c01963b060fa3ae2dd7bd4174ea4f3d0c159a565a17723"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/foru' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/foru","final_url":"https://www.erdosproblems.com/foru","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779471295.15673},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/foru","finding_type":"dead_url","evidence_hash":"ae097963213ce51c1664ffa7bcfc1fb048dc19290419c381f5f4de2fad65f48c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6476,"payload_sha256":"61f4e6b755788d8abdacc4505ca4f7906bac4e56b4d0813ee4793742b1a32380","signature_b64":"4a8sMu0rYdj+v22ONexkg2Ii2fVkzO+aFqmOmS0CafIb5UcAgFfU60p9EwvELX/uArrIDal50jw01UGRKszSDA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"owWmjkTe8i+hXq7hlquLDp50zG71lvLvif2pPKr6ETF96vrhmT2kXfaNmN04h8et1gUxWZMIEUCHcE4uJSHwBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.022830Z"},"content_sha256":"dec84fbabb070da5e479e210ac216564bce117dc803be8cbae38e65557965f14","schema_version":"1.0","event_id":"sha256:dec84fbabb070da5e479e210ac216564bce117dc803be8cbae38e65557965f14"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/fo' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/fo","final_url":"https://www.erdosproblems.com/fo","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779471294.5286608},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/fo","finding_type":"dead_url","evidence_hash":"12aaa3260099a3280f4d99fa5912fb75828450f837f26dc8d544e21012eb6666","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6475,"payload_sha256":"07c7a0bfd2d2a92a6f81e3716d71a9e65dd557cae9ebdbf6d2796385ef2a0faf","signature_b64":"AA2U1Kj2QOPVR2p9PYH3sWxeHxBhMg+HBcdBunAamYEbPXA31v01rmiHU+UKJWxQYBYiGRR/z7pMWMSXvfBCBw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"huOrqfS32TjM6axfNvtoL/XTCPz53a2418vBMS/obZNYpv142Y7sAYcKoeoXCOPlmc7Ux5GZldxr4B5zT/hkAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.023415Z"},"content_sha256":"e4a5950c22fdc17b9fa54ee0bb6a38363c794acae402f13f505254144b9819f9","schema_version":"1.0","event_id":"sha256:e4a5950c22fdc17b9fa54ee0bb6a38363c794acae402f13f505254144b9819f9"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-deepmind/alph","final_url":"https://github.com/google-deepmind/alph","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779471293.6995158},"severity":"critical","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-deepmind/alph","finding_type":"dead_code_link","evidence_hash":"4879eba43b25718beb65bbe4e9e464e5c67980cff48b00597d032bac13466a14","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6474,"payload_sha256":"053d4db0395151d3781befc4a764dbcd6c6f453a696cab23ada6ccad03f36da2","signature_b64":"fJ1dDcbd09iFxIV/h/DpvAKPEdTy35B+Biq4bf5tMkUscAsOET2i8JFbpMegRvrwNm4CNbbWiDhPHwM3fMmcCA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JANExXoQSSk/+tsBby9JAPYSaLD8IwMr48jd3viNRvRt45Rof9tWD1geE2ndRtv3whjI04wWMULrjy0FR1nkCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.023964Z"},"content_sha256":"de4bbce237825183c9fb44fefbee22b5fd2825f2ae596ada1addffc5f157179f","schema_version":"1.0","event_id":"sha256:de4bbce237825183c9fb44fefbee22b5fd2825f2ae596ada1addffc5f157179f"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-dee","final_url":"https://github.com/google-dee","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779471293.4464915},"severity":"critical","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-dee","finding_type":"dead_code_link","evidence_hash":"bcf97b4cefba209f8399abcf20e9aeb506184b8b9346799b311713048549e2c6","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6473,"payload_sha256":"2ec5e622bb523259ef6f3a4f9bf5464639a24c6f670209f3b48506c65cc1fb37","signature_b64":"gJGQBhr9S5+d3y1D1fzpW5eyz0rNCo8Xc6IWc9R2nUSGuIJqz8Ep6VSzhVjOcg2X7jNy4HI2m2epxbh5SydcBA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g/7WtqhBGusp8P3HjwWFcoBsboW1vDfDAiquce8j2/wfItzvkgVeRCrLF3uR2+CGCYZ7fIKNdz577Nm9363fCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.024500Z"},"content_sha256":"d7dd4d9157feb4304eef95ab28d22947a2b8c0b3fe9a6c2c01fb240c995d8a09","schema_version":"1.0","event_id":"sha256:d7dd4d9157feb4304eef95ab28d22947a2b8c0b3fe9a6c2c01fb240c995d8a09"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779471291.6452057},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github","finding_type":"dead_url","evidence_hash":"2e2107ea131a68f58044c78479c5a95ba80f3c7896149dd6d97722eb35b7315b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6472,"payload_sha256":"bbd2829d10aa72dd1fce01f40f5c03914bb25238fd625b8177473ad0f5716752","signature_b64":"PjJZOmVsnfBqqJla4A5jdA3hFaD48irMfZ067yCUUyGLmHgWH4X0PRzTbKva1LYAf3hKZck/k9B5UaNu1MRiAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XlIKYDDxtE4N4oU5FgyorImIY1097XYW018v8LFQWzMfxh8COzJ5mD5rw63JcVfx51ApP/ocZyuIZSvGVtYMBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.025078Z"},"content_sha256":"58c46b9ea06e062fb5f51c474e5ebf2ec53a9cfd98d4da2513cfe24fdd6a6db2","schema_version":"1.0","event_id":"sha256:58c46b9ea06e062fb5f51c474e5ebf2ec53a9cfd98d4da2513cfe24fdd6a6db2"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://people.maths.ox.ac.uk/greenbj/papers/open-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","final_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779471290.9338017},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","finding_type":"dead_url","evidence_hash":"62a5ba753ec374bf18679f2fa28d37a8d253a5aed9e8ba66d210f10ea5c73ca1","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6471,"payload_sha256":"456bc9132aaa0d0faea2855b30f3e1839bee1f25f0b702c2b78922b8706e345e","signature_b64":"KGeKKKcnO9ZFDLoojTlWFzQwMffwWMn2IfDtw4UBIXABLYNNdwM5PmaNpf5VUVxMXVFohRVgyWauSiSR23f6AQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W86yWS6Ed0J+AWFy+D1fzq0a7Vqh4MAdkea0yWGJz/7Tn1wVrGVgOzdauc1DHNCwHHZHFyKxRNTRfTDMxtTHAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.025872Z"},"content_sha256":"404480db7dec5c1ec236f54310b52a83881e6ee7e63766fbf68b8aa6b5e0a51e","schema_version":"1.0","event_id":"sha256:404480db7dec5c1ec236f54310b52a83881e6ee7e63766fbf68b8aa6b5e0a51e"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/GasStationManager/Saf","final_url":"https://github.com/GasStationManager/Saf","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779471290.6628294},"severity":"critical","ref_index":null,"audited_at":"2026-05-22T17:34:56.337725Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/GasStationManager/Saf","finding_type":"dead_code_link","evidence_hash":"a2c5ea2d0cfbb12c5e22d924ea991b51bae6d7f630c82f538b3e943803464e88","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6470,"payload_sha256":"35de36fc2bbed33403a88244b58f9f19e29abe880594c5ac4d30565a7dd8814d","signature_b64":"MAe5TkyDh0f22/pOOR96CIV12lEmDgY5BksCcKLNZO3YM8v5tk5X5FxX85XmQbdIJGP8jcTPeYvIV/Dqg0+aBw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T17:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JPXEGkQJ9hb/bfIUSOoawfw1wQd5hZHN1o8E+Wp4+yVz2KAnwsl1a9LsALl4/kRA3e+95byFqC5fm3RhFOOwAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.026518Z"},"content_sha256":"61dbf9a2090bfbb656d016a5192073223b87b037cb0c77c692fc1aae6254880c","schema_version":"1.0","event_id":"sha256:61dbf9a2090bfbb656d016a5192073223b87b037cb0c77c692fc1aae6254880c"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/forum/thread' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/forum/thread","final_url":"https://www.erdosproblems.com/forum/thread","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779428050.400797},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/forum/thread","finding_type":"dead_url","evidence_hash":"07e4078b2f414099b20ca273f387bf2d3e073785fef70c7f36ec13e6cb3b18b0","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6252,"payload_sha256":"c752958da29d35241ac23acb5a69475a5d3923b3fec6a45c63624a0156a5e558","signature_b64":"+L9ESlKopBiwCyyeDz/+q0KemqCPyYi2DMJlQFOi6ItPUEN4cv0UjvIm81SpzuOyquK29n5C8c/2vpbal4XOBQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zLvq4p38AVCJoqNlDXe/mOCLk6K6gSpMLvrGOSeGG6xe4SmYrawS+W6DGlXpmhYsaXn8cJzRwSxD+kkNFdmtDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.027146Z"},"content_sha256":"215f45c4cd2dc7124d037c54a8082eeb5a88bd164a32c8ea569f941196e0d037","schema_version":"1.0","event_id":"sha256:215f45c4cd2dc7124d037c54a8082eeb5a88bd164a32c8ea569f941196e0d037"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/foru' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/foru","final_url":"https://www.erdosproblems.com/foru","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779428049.6132855},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/foru","finding_type":"dead_url","evidence_hash":"a5d19308cf553d6a2d814a2764005171a5e61cfece4993c8c906bd9a9ecf774c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6251,"payload_sha256":"42c85cbce506e52a55822b2939d30c9fd10cc6dcbd8ee475296022ec90b309bd","signature_b64":"T+sl8Wgnu3CRUncsvxPf2CshmlfwDeYIs/vmPv+DYzP1o8y/o/ib8L/SOQDNRR/0QKdJ++W0lZAPU0S4XZ6SBQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"piklyN6cE9L9kRrt80eZ5z3xVKsuMMNbhLxFZgCKmcT6Zm7mk9Du77P+tVrgFHpsTr5c9ykSDOb4jkhu0HhHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.027782Z"},"content_sha256":"6729745e205513d273d10bee3436394129b3839fa55f7d2b377be8d9d231d9dd","schema_version":"1.0","event_id":"sha256:6729745e205513d273d10bee3436394129b3839fa55f7d2b377be8d9d231d9dd"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://www.erdosproblems.com/fo' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://www.erdosproblems.com/fo","final_url":"https://www.erdosproblems.com/fo","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779428049.0437548},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www.erdosproblems.com/fo","finding_type":"dead_url","evidence_hash":"d14ebef49f019a138974593b93bcc6440c0bdab99238e845bfdb3f36cb0bf21a","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6250,"payload_sha256":"6f4a85e652ff10b3c229ce2cfb887bd035bab89fa54b2c9c657134ed04c7d9c9","signature_b64":"2FBv0hUars5ucdEvCqG6FGVr4X8m/LuHUgGLsjqRlGLuv+efyg4AGF4qgIwtn++/h3MdJLQgiSQX+VAWtC7xAw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fyVJw7Koq9SrjTGDtcHJSWQvmOsKjyEwrjNsJQgkyD6fbTdAtbrEubiF9RDj2inrrTpOYtFQuMB/WlIZMstgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.028367Z"},"content_sha256":"28b266bb5f84600e31b619788714bf300fd7cec17c2b2e6ae45a1985e564d930","schema_version":"1.0","event_id":"sha256:28b266bb5f84600e31b619788714bf300fd7cec17c2b2e6ae45a1985e564d930"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-deepmind/alph","final_url":"https://github.com/google-deepmind/alph","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779428047.9430335},"severity":"critical","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-deepmind/alph","finding_type":"dead_code_link","evidence_hash":"ca79212a841ae575f2fed4d6d48b94a5e24eb10ad816a2032592c6342ccb0d31","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6249,"payload_sha256":"c8d83617b113d05e4e79c5d4cf1f06e96d98834d2816630ee235d12c7f461c92","signature_b64":"32QCJ3TY3XE3QLuczy8/luzTIhmEpF/scZUvX5NcR6455qIJ1S1bbt2lu+fxMmm6aNG9UZUOiqgjDGGBDyeaCA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J3hyFDtcEe5SKGGyJdqbtludSRjD5MWeqMY9KFdXOabBsvVoUkv+I0IqCFtvwe/oesa2HO151h7ApQCdFnM3Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.028852Z"},"content_sha256":"e6759495f53d508a71f83a5d64fa0c499b24d8ed7aba969433ec53ced296d9dd","schema_version":"1.0","event_id":"sha256:e6759495f53d508a71f83a5d64fa0c499b24d8ed7aba969433ec53ced296d9dd"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/google-dee","final_url":"https://github.com/google-dee","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779428047.690719},"severity":"critical","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/google-dee","finding_type":"dead_code_link","evidence_hash":"61a19796e2074e2a7b0bae4dac2cbe74eeb244d5b40ae776d133c778bee99c2b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6248,"payload_sha256":"d9953a5a22883e82ea15347a163bcc12ade7a77f1c7d0cbb551160d29e51747f","signature_b64":"7ZS2SxF+arVzYP2SUGKimMjF91wR8v7BN7ZqeHoBVUsxrFWDQU4c9+KL0EZdW1/mxb7RkAzXSlWmggi7U0u1CA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/ctJI8hifmbB1siEio4VAQ6kd7tseCzxwmoGkGcg9lx5dDMqZAwORiMCjXput0Vv+A+EagLs3Buw1CYvaVmcDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.029343Z"},"content_sha256":"a9ce0e28849a0bcd2677982613d6226060977e63b915c662b4900881cbd2ab49","schema_version":"1.0","event_id":"sha256:a9ce0e28849a0bcd2677982613d6226060977e63b915c662b4900881cbd2ab49"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779428046.243124},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github","finding_type":"dead_url","evidence_hash":"6466105cc88a82c0df3076b05f49dc2c13281eafeb721ce84b4a71ee7d257c3e","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6247,"payload_sha256":"1ee482021883b88cc5971dbd03d33acc7e51af814504503fb1cab3addac3ff6a","signature_b64":"cLViniSplS+AoeGXnIaLfSS6NRbewTp/w9LMbtPqKxkk4whl2/CmyrLsO238+AWRXjvbEOus3fXAbsDoLqNlCA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PIHE8kpPNmSHS1ILdQ8tXQyV9z3MB78WaWPcXfL8kRDtyMsysCmzsLY1f3GmwcKuIC7GorbfrzpNZMrVAPWWAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.029874Z"},"content_sha256":"4863b3c0601e98846bcaf877ab12343439b5a4a0c58e43acdfec75d0c03ea298","schema_version":"1.0","event_id":"sha256:4863b3c0601e98846bcaf877ab12343439b5a4a0c58e43acdfec75d0c03ea298"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://people.maths.ox.ac.uk/greenbj/papers/open-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","final_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779428045.6202247},"severity":"advisory","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://people.maths.ox.ac.uk/greenbj/papers/open-","finding_type":"dead_url","evidence_hash":"b0d520cab6ec969bfa84903feb5e11f04ff1e38bf28c3831e3aa00c84c7b637d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6246,"payload_sha256":"089ca4d130243cbcdf55759c35eec46411d0651d3d4d36eb57f52fc6901fd953","signature_b64":"Ew110p9ztxlQNRO7zPwLyINT3FUul5GPgCxYh/b2bPZll3QRMXDxNsBKXPZcM3KlDxFbX/MXHMthCwj3wzKqCw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yyQQsrKVgTRzEuAFrEd0NC67ZNE3YC+VcV6D7c29utFHAwpBMFCyDkPsGEaLlXvCujNO2l9BXbsThC78BX93CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.030436Z"},"content_sha256":"cf3a75e5d26fc65b1c61efa93bec3b522de38b4e8cbeedb65fa50a8b4ebfc3fc","schema_version":"1.0","event_id":"sha256:cf3a75e5d26fc65b1c61efa93bec3b522de38b4e8cbeedb65fa50a8b4ebfc3fc"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","target":"integrity","payload":{"note":"URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.22763","detector":"external_links","evidence":{"url":"https://github.com/GasStationManager/Saf","final_url":"https://github.com/GasStationManager/Saf","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779428045.3565578},"severity":"critical","ref_index":null,"audited_at":"2026-05-22T05:34:11.480592Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/GasStationManager/Saf","finding_type":"dead_code_link","evidence_hash":"c1c96010c278182a953d8c04bf2f747e08c3daf1cb09acd8dba1596209ebc1f9","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6245,"payload_sha256":"ed64ae4c006caaa841da123591015d613f0c30e5b1acf061ba57f6049c3f5ad5","signature_b64":"xCZcenMy5wkg92aiDqTftdp4SJKoxLFYMlXNCYY1Uqb3dbBH8ahEFk8n54dyhhIElJFI/egUa6E9XckC3ZW0Dg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:35:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jbQAkZifgwcsAwUy3ZLPqoZ4/1ZTc/8CczGZYSMWypKWFuBvuCIBuEbpXXqRk+T9G+WqW9sRhPhXFk9P7rczDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:24:41.030908Z"},"content_sha256":"47db378b220e7c77b2b0487346b7987b1e608b9233b37ed925d316daa6a70a95","schema_version":"1.0","event_id":"sha256:47db378b220e7c77b2b0487346b7987b1e608b9233b37ed925d316daa6a70a95"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W6IWLF6EHUWDOZ6N7UBJW2SD3P/bundle.json","state_url":"https://pith.science/pith/W6IWLF6EHUWDOZ6N7UBJW2SD3P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W6IWLF6EHUWDOZ6N7UBJW2SD3P/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T04:24:41Z","links":{"resolver":"https://pith.science/pith/W6IWLF6EHUWDOZ6N7UBJW2SD3P","bundle":"https://pith.science/pith/W6IWLF6EHUWDOZ6N7UBJW2SD3P/bundle.json","state":"https://pith.science/pith/W6IWLF6EHUWDOZ6N7UBJW2SD3P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W6IWLF6EHUWDOZ6N7UBJW2SD3P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P","merge_version":"pith-open-graph-merge-v1","event_count":50,"valid_event_count":50,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c3fb98728d390ff5c996b61f32590a82b8ec932b0ba9338cf112c3c25928d3bf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T17:24:57Z","title_canon_sha256":"d1f9e3501f2023491093049a2ef441158b3f925f8a81c534086851d6060401de"},"schema_version":"1.0","source":{"id":"2605.22763","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22763","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22763v1","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22763","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"W6IWLF6EHUWD","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"pith_short_16","alias_value":"W6IWLF6EHUWDOZ6N","created_at":"2026-05-22T02:04:53Z"},{"alias_kind":"pith_short_8","alias_value":"W6IWLF6E","created_at":"2026-05-22T02:04:53Z"}],"graph_snapshots":[{"event_id":"sha256:5ba43aad161c3c1d6d3d4a7cd0af8069e1045a1c1913fafed23fa2f5462fe875","target":"graph","created_at":"2026-05-22T02:04:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2605.22763/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to generate formal proofs in languages like Lean. We perform the first large-scale evaluation of this method's ability to solve open problems. Our most capable agent autonomously resolved 9 of 353 open Erd\\H{o}s problems at the per-problem cost of a few hundred dollars, proved 44/492 OEIS conjectures, and is being deployed in combinatorics, optimization, graph theory, algebraic geometry, and quantum optics research. A basic ","authors_text":"Adam Zsolt Wagner, Aja Huang, Andrew Ferrauiolo, Anja Surina, Anton Kovsharov, Arun Suggala, Codrut Grosu, Eric Wieser, Francisco J. R. Ruiz, George Tsoukalas, Gergely B\\'erczi, Henryk Michalewski, Lei Yu, Matej Balog, Mikl\\'os Z. Horv\\'ath, Moritz Firsching, Pushmeet Kohli, Sergey Shirobokov, Swarat Chaudhuri, Thomas Hubert","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T17:24:57Z","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22763","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c986f6b2acf51cb6f3b08274d7c79b288eb1421920e671156a451f312ba389b8","target":"record","created_at":"2026-05-22T02:04:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c3fb98728d390ff5c996b61f32590a82b8ec932b0ba9338cf112c3c25928d3bf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T17:24:57Z","title_canon_sha256":"d1f9e3501f2023491093049a2ef441158b3f925f8a81c534086851d6060401de"},"schema_version":"1.0","source":{"id":"2605.22763","kind":"arxiv","version":1}},"canonical_sha256":"b7916597c43d2c3767cdfd029b6a43dbc5403da8eaef29589ebe0af524615121","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b7916597c43d2c3767cdfd029b6a43dbc5403da8eaef29589ebe0af524615121","first_computed_at":"2026-05-22T02:04:53.968516Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T02:04:53.968516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E0Mm02g1Xudshz1/FZuEwM617wPtIOkaUpJjdkOIsFnSfQtpRbfZYBWRyTAgnEOP72gQs5gG+iiAdFUFaKlfDQ==","signature_status":"signed_v1","signed_at":"2026-05-22T02:04:53.969010Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.22763","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:0265fd40778cf411607430fdb2aae97613bd5ef01ca99f3fd32cf5d00ca93c26","sha256:215f45c4cd2dc7124d037c54a8082eeb5a88bd164a32c8ea569f941196e0d037","sha256:28b266bb5f84600e31b619788714bf300fd7cec17c2b2e6ae45a1985e564d930","sha256:2bd4ad9b05b6c3bf10d16a2fc3d8faf5685057b3b9d66ae3d46a4ed9aaf66468","sha256:2c203af6ce603c9f16109b8b26106a3896444c3ce37e28b71c97aa1a2ed8de97","sha256:2d850fa29b579aa263c01963b060fa3ae2dd7bd4174ea4f3d0c159a565a17723","sha256:3889789ffc9f28745c3283789da4fb2b01537dfdfef9f6c5d2dea3bd5d4a4972","sha256:404480db7dec5c1ec236f54310b52a83881e6ee7e63766fbf68b8aa6b5e0a51e","sha256:46fb7808a77aeea72a1634789e229f80c3101d06a8ca45a4fe4b14202f93ac00","sha256:47db378b220e7c77b2b0487346b7987b1e608b9233b37ed925d316daa6a70a95","sha256:4863b3c0601e98846bcaf877ab12343439b5a4a0c58e43acdfec75d0c03ea298","sha256:4a633b2bfec53ceed66dd9b653f2eb569d73e2e3bae8ea4af093e192896e5519","sha256:4c11b8be16a366b84bad76b5a1cde5c3403d0d0511f093b0055e1e888ce65fe9","sha256:4f0786dd520ff63efc77c09587ae5997bd2cb61b871c09579090133c886cb993","sha256:58c46b9ea06e062fb5f51c474e5ebf2ec53a9cfd98d4da2513cfe24fdd6a6db2","sha256:5a31384f7efb3924628e661d012d2618c7581d17c89ea6f3dc61cfe20e40ae30","sha256:5e32709958a44e4f28fe4b6b4bd09c3d59bf946e7099dd2ab9d004fdb8feffa1","sha256:611bf7ed567b096a68ae0a720d53c5cbafe91793ca9200403fe5f985673c2ebc","sha256:61dbf9a2090bfbb656d016a5192073223b87b037cb0c77c692fc1aae6254880c","sha256:6729745e205513d273d10bee3436394129b3839fa55f7d2b377be8d9d231d9dd","sha256:88425d7dc124bd31ba3338402f54ceec609b98c05f70450b3f6324c9ea5892e8","sha256:8a2c0a26ed80f0672d0e48baabae222d4bf44abb20ac12f1d690993c0270c392","sha256:8db8cbc3d6ce4873be6666f89bf73ce3d08074bffa45990247567e33746bcc99","sha256:9cb7d6dc2adc1ce5cd606f9bc20e9957a4bfe7d2e87c9d492f435c803863f9bc","sha256:a9ce0e28849a0bcd2677982613d6226060977e63b915c662b4900881cbd2ab49","sha256:ac2fd97eb984008d2473edf70111d9cdacf0f2388658c82bb13af934ecfd7281","sha256:b4a1827b0f1e6c4f4e040150a549c16642fe2387cef38162804c254c2a47f7e1","sha256:ba60e2fb316b71f7bc3beff2410a1741e527d3945c193604a50a867ae0173fb0","sha256:c5fb2e20e4d95c49da980727532b28a52475d2fd0ac955d072f8ce93d28da115","sha256:c91fa33bb75cd07b9863dd170d7d9339df46c04e34cb6439afe0c667564d75ab","sha256:cd693ec7cbbdf10dd3d3c4ebd363e528d7a96d7d169070d1e9021e51917601db","sha256:cf3a75e5d26fc65b1c61efa93bec3b522de38b4e8cbeedb65fa50a8b4ebfc3fc","sha256:d58e261337755999680e7a821508338b23b87536df5d99dc57fdb20a90d43647","sha256:d7dd4d9157feb4304eef95ab28d22947a2b8c0b3fe9a6c2c01fb240c995d8a09","sha256:d7e176d1e5c98ad09df08a694413639b22f384b6f39176c8a1f662ef60b52e40","sha256:de4bbce237825183c9fb44fefbee22b5fd2825f2ae596ada1addffc5f157179f","sha256:dec84fbabb070da5e479e210ac216564bce117dc803be8cbae38e65557965f14","sha256:e1c9d434bf0d0577417bac9c0fa781177401e0b95229bceaf76df47861e106df","sha256:e4a5950c22fdc17b9fa54ee0bb6a38363c794acae402f13f505254144b9819f9","sha256:e6759495f53d508a71f83a5d64fa0c499b24d8ed7aba969433ec53ced296d9dd","sha256:e73ce65259d63982928e3b0c757f7f3a4aab4b97724c19fc1f2236c73d64414e","sha256:eb509174ca5ae56c781c994561dc319ddc0728fe145450406ce2ac31d015d44a","sha256:ec407f9a6e7308099f3b1f8520a27a7bec6740ab78f15f77fd034f379092d976","sha256:ee507421f59235e9bb7dbf4a103681ec0aefc317fb69fc0e71352d8823d9e63a","sha256:ef54c60908a373ca59a74dbfb3e1f3e4b4b2104f050e3852f2137d3306f2713a","sha256:f520516a7efffa02fcc22a5191e70cd4beffd96b81b284f05cfc6db627d820cb","sha256:f857f788253e8ce90802f51524c000a4bba771513b6ce74748023501bc7cf10e","sha256:fb632f9fdb9e214fea46b8feef9394d6fac174399cb6d93d01616c9b737c81ee"]}],"invalid_events":[],"applied_event_ids":["sha256:c986f6b2acf51cb6f3b08274d7c79b288eb1421920e671156a451f312ba389b8","sha256:5ba43aad161c3c1d6d3d4a7cd0af8069e1045a1c1913fafed23fa2f5462fe875"],"state_sha256":"9dc0387593fd10be43f2e571e0e18a50045a7802d320e3285586a77595d9bc8c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xbAaUkcD9QpW170hx5imp2KLuP8u8H/vmFGxqOX8qEkqzi4aOAycHI/kmLB6vDfFP2z5X+SpRc7vvvt7thOqCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T04:24:41.050113Z","bundle_sha256":"d1b62bf500f06e00a632ffafbcceaae65a2b60acc4a6ee6ed3b82da39cd099f9"}}