{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3M5XLK4DBTDBCBBCMFEQRPB7IF","short_pith_number":"pith:3M5XLK4D","canonical_record":{"source":{"id":"2506.20909","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2025-06-26T00:30:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2c66e2fa409fa9ecb662a4e43c7cdfe91e3b3fabfc617d732a2c5bdbd88e9da1","abstract_canon_sha256":"9c9a98949f0a3e0dedda28654ebde44edf776258f29946404b2c9feab6ce9152"},"schema_version":"1.0"},"canonical_sha256":"db3b75ab830cc6110422614908bc3f415c21129c8a94291b20c95f83f2e265dc","source":{"kind":"arxiv","id":"2506.20909","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.20909","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"arxiv_version","alias_value":"2506.20909v2","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20909","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"pith_short_12","alias_value":"3M5XLK4DBTDB","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"3M5XLK4DBTDBCBBC","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"3M5XLK4D","created_at":"2026-07-05T11:29:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3M5XLK4DBTDBCBBCMFEQRPB7IF","target":"record","payload":{"canonical_record":{"source":{"id":"2506.20909","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2025-06-26T00:30:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2c66e2fa409fa9ecb662a4e43c7cdfe91e3b3fabfc617d732a2c5bdbd88e9da1","abstract_canon_sha256":"9c9a98949f0a3e0dedda28654ebde44edf776258f29946404b2c9feab6ce9152"},"schema_version":"1.0"},"canonical_sha256":"db3b75ab830cc6110422614908bc3f415c21129c8a94291b20c95f83f2e265dc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:29:14.159302Z","signature_b64":"VYpSAnW7q9cRc2pfiNWvu3jf4vwlqM9urCR8Z/GKWuyhIfYZKHLtQj0Gp4vQHdzr7UvvuJMV1sVb1VI/4JcJDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db3b75ab830cc6110422614908bc3f415c21129c8a94291b20c95f83f2e265dc","last_reissued_at":"2026-07-05T11:29:14.158786Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:29:14.158786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.20909","source_version":2,"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-07-05T11:29:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KBwPnMNchpsKV7l3IpMYM4hC43PeV8wbgp8lFjGeTyx6zgBRM9plYPP1u6sUom0/HV4R6qiGpNkscqaNtcYOCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T04:14:13.123443Z"},"content_sha256":"c7f889d383493c9dca7881dd376ea1c3860d71bfdb9726d6ef7a43dd2639a060","schema_version":"1.0","event_id":"sha256:c7f889d383493c9dca7881dd376ea1c3860d71bfdb9726d6ef7a43dd2639a060"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3M5XLK4DBTDBCBBCMFEQRPB7IF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.NT","authors_text":"Dierk Schleicher, Jonas Bayer, Malte Hassler, Marco David, Yuri Matiyasevich","submitted_at":"2025-06-26T00:30:24Z","abstract_excerpt":"This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers.\n  Hilbert's Tenth Problem (H10) asks about the decidability of Diophantine equations and has been answered negatively by Davis, Putnam, Robinson and Matiyasevich. It is natural to ask for which subclasses of Diophantine equations H10 remains undecidable. Such subclasses can be defined in terms of universal pairs: bounds on the number of variables $\\nu$ and degree $\\delta$ such that all Diophantine equ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.20909","kind":"arxiv","version":2},"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/2506.20909/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-07-05T11:29:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wG3Ni02sr0j8qtHH2Pf7ezhqVd0f9T1z1YhcYKT8W4g2vHVHMDM0v0crCfK3g9eoMBXaXgDjLkhE2tq0sbDkCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T04:14:13.123830Z"},"content_sha256":"ea13c77934eee5bfb25331cfb4767c91340783941b434978d731a501ee13d38a","schema_version":"1.0","event_id":"sha256:ea13c77934eee5bfb25331cfb4767c91340783941b434978d731a501ee13d38a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/bundle.json","state_url":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/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-07-09T04:14:13Z","links":{"resolver":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF","bundle":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/bundle.json","state":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3M5XLK4DBTDBCBBCMFEQRPB7IF","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9c9a98949f0a3e0dedda28654ebde44edf776258f29946404b2c9feab6ce9152","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2025-06-26T00:30:24Z","title_canon_sha256":"2c66e2fa409fa9ecb662a4e43c7cdfe91e3b3fabfc617d732a2c5bdbd88e9da1"},"schema_version":"1.0","source":{"id":"2506.20909","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.20909","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"arxiv_version","alias_value":"2506.20909v2","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20909","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"pith_short_12","alias_value":"3M5XLK4DBTDB","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"3M5XLK4DBTDBCBBC","created_at":"2026-07-05T11:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"3M5XLK4D","created_at":"2026-07-05T11:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:ea13c77934eee5bfb25331cfb4767c91340783941b434978d731a501ee13d38a","target":"graph","created_at":"2026-07-05T11:29:14Z","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/2506.20909/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers.\n  Hilbert's Tenth Problem (H10) asks about the decidability of Diophantine equations and has been answered negatively by Davis, Putnam, Robinson and Matiyasevich. It is natural to ask for which subclasses of Diophantine equations H10 remains undecidable. Such subclasses can be defined in terms of universal pairs: bounds on the number of variables $\\nu$ and degree $\\delta$ such that all Diophantine equ","authors_text":"Dierk Schleicher, Jonas Bayer, Malte Hassler, Marco David, Yuri Matiyasevich","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2025-06-26T00:30:24Z","title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.20909","kind":"arxiv","version":2},"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:c7f889d383493c9dca7881dd376ea1c3860d71bfdb9726d6ef7a43dd2639a060","target":"record","created_at":"2026-07-05T11:29:14Z","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":"9c9a98949f0a3e0dedda28654ebde44edf776258f29946404b2c9feab6ce9152","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2025-06-26T00:30:24Z","title_canon_sha256":"2c66e2fa409fa9ecb662a4e43c7cdfe91e3b3fabfc617d732a2c5bdbd88e9da1"},"schema_version":"1.0","source":{"id":"2506.20909","kind":"arxiv","version":2}},"canonical_sha256":"db3b75ab830cc6110422614908bc3f415c21129c8a94291b20c95f83f2e265dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db3b75ab830cc6110422614908bc3f415c21129c8a94291b20c95f83f2e265dc","first_computed_at":"2026-07-05T11:29:14.158786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:29:14.158786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VYpSAnW7q9cRc2pfiNWvu3jf4vwlqM9urCR8Z/GKWuyhIfYZKHLtQj0Gp4vQHdzr7UvvuJMV1sVb1VI/4JcJDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:29:14.159302Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.20909","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7f889d383493c9dca7881dd376ea1c3860d71bfdb9726d6ef7a43dd2639a060","sha256:ea13c77934eee5bfb25331cfb4767c91340783941b434978d731a501ee13d38a"],"state_sha256":"d660093a57b57f59cc23c699ee823db1ea65c0492d6aea19bdf0bfa3f084f1e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FUfn4Es+tr5qOBTcUlcZWzIh8mCgtTboJP4hTjGmUQwVlFIF9NkM8O3BWY0nHOjPlWcamFObnSHT1vI5kO0hAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T04:14:13.125836Z","bundle_sha256":"ade95ddd62ea5e212b275b00b716eda7324a9a50281d3f9e03a3d50602b601d8"}}