{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KSDBAGGFAICEPCOTHJVU4BX7MA","short_pith_number":"pith:KSDBAGGF","canonical_record":{"source":{"id":"1911.07835","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-th","submitted_at":"2019-11-18T18:55:42Z","cross_cats_sorted":[],"title_canon_sha256":"16e8cd59a8e8b1d198afe3546123abaa38de45fd475f7db3da406e568e70a927","abstract_canon_sha256":"4820ec4d430266c37edfe05b3731485871c3c6e6539f35f39992c18f2fea9732"},"schema_version":"1.0"},"canonical_sha256":"54861018c502044789d33a6b4e06ff601e80c15a03f84242f77d36460f616320","source":{"kind":"arxiv","id":"1911.07835","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.07835","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"arxiv_version","alias_value":"1911.07835v1","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.07835","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"pith_short_12","alias_value":"KSDBAGGFAICE","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"pith_short_16","alias_value":"KSDBAGGFAICEPCOT","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"pith_short_8","alias_value":"KSDBAGGF","created_at":"2026-07-05T00:41:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KSDBAGGFAICEPCOTHJVU4BX7MA","target":"record","payload":{"canonical_record":{"source":{"id":"1911.07835","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-th","submitted_at":"2019-11-18T18:55:42Z","cross_cats_sorted":[],"title_canon_sha256":"16e8cd59a8e8b1d198afe3546123abaa38de45fd475f7db3da406e568e70a927","abstract_canon_sha256":"4820ec4d430266c37edfe05b3731485871c3c6e6539f35f39992c18f2fea9732"},"schema_version":"1.0"},"canonical_sha256":"54861018c502044789d33a6b4e06ff601e80c15a03f84242f77d36460f616320","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:41:47.183509Z","signature_b64":"e5Q4iSzvyMXLuLv5u+Jc0L2h668oZEUTvQ5ngcqdQIHKNZqVyEWnn1WdwbOM5jYQ1XY+FFLih4NyA3UaufKJBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"54861018c502044789d33a6b4e06ff601e80c15a03f84242f77d36460f616320","last_reissued_at":"2026-07-05T00:41:47.183035Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:41:47.183035Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.07835","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-07-05T00:41:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iMH/2YhG2KBy2HEfV+3W1MuHcWX740wYyBcjXYLckqv5nGjj6PNax0mpj5Rx/lrlsE0gzSdHJfL4ZhbcweBPCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T20:55:34.677344Z"},"content_sha256":"698eb2a8cb3a0d85dd5b443f8dfb50febf24262cb25d35ba5fa0a39c6be6e17a","schema_version":"1.0","event_id":"sha256:698eb2a8cb3a0d85dd5b443f8dfb50febf24262cb25d35ba5fa0a39c6be6e17a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KSDBAGGFAICEPCOTHJVU4BX7MA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kahler Moduli Stabilization and the Propagation of Decidability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"hep-th","authors_text":"Fabian Ruehle, James Halverson, Jiahua Tian, Michael Plesser","submitted_at":"2019-11-18T18:55:42Z","abstract_excerpt":"Diophantine equations are in general undecidable, yet appear readily in string theory. We demonstrate that numerous classes of Diophantine equations arising in string theory are decidable and propose that decidability may propagate through networks of string vacua due to additional structure in the theory. Diophantine equations arising in index computations relevant for D3-instanton corrections to the superpotential exhibit propagation of decidability, with new and existing solutions propagating through networks of geometries related by topological transitions. In the geometries we consider, m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.07835","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/1911.07835/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-05T00:41:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/RKUM4iC4zkyXt5NMAga0u7Knb0MaKz8BdaOqNjUn9h04WBcFjoVfrSlKtk4ZOsE0gM1BLM/WHY8bODNgNGLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T20:55:34.677834Z"},"content_sha256":"e5ea00ffc46e3391b18e608e0114d5bb5bbff760b1d6c5c919a2934458d95636","schema_version":"1.0","event_id":"sha256:e5ea00ffc46e3391b18e608e0114d5bb5bbff760b1d6c5c919a2934458d95636"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KSDBAGGFAICEPCOTHJVU4BX7MA/bundle.json","state_url":"https://pith.science/pith/KSDBAGGFAICEPCOTHJVU4BX7MA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KSDBAGGFAICEPCOTHJVU4BX7MA/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-08-04T20:55:34Z","links":{"resolver":"https://pith.science/pith/KSDBAGGFAICEPCOTHJVU4BX7MA","bundle":"https://pith.science/pith/KSDBAGGFAICEPCOTHJVU4BX7MA/bundle.json","state":"https://pith.science/pith/KSDBAGGFAICEPCOTHJVU4BX7MA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KSDBAGGFAICEPCOTHJVU4BX7MA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KSDBAGGFAICEPCOTHJVU4BX7MA","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":"4820ec4d430266c37edfe05b3731485871c3c6e6539f35f39992c18f2fea9732","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-th","submitted_at":"2019-11-18T18:55:42Z","title_canon_sha256":"16e8cd59a8e8b1d198afe3546123abaa38de45fd475f7db3da406e568e70a927"},"schema_version":"1.0","source":{"id":"1911.07835","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.07835","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"arxiv_version","alias_value":"1911.07835v1","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.07835","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"pith_short_12","alias_value":"KSDBAGGFAICE","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"pith_short_16","alias_value":"KSDBAGGFAICEPCOT","created_at":"2026-07-05T00:41:47Z"},{"alias_kind":"pith_short_8","alias_value":"KSDBAGGF","created_at":"2026-07-05T00:41:47Z"}],"graph_snapshots":[{"event_id":"sha256:e5ea00ffc46e3391b18e608e0114d5bb5bbff760b1d6c5c919a2934458d95636","target":"graph","created_at":"2026-07-05T00:41:47Z","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/1911.07835/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Diophantine equations are in general undecidable, yet appear readily in string theory. We demonstrate that numerous classes of Diophantine equations arising in string theory are decidable and propose that decidability may propagate through networks of string vacua due to additional structure in the theory. Diophantine equations arising in index computations relevant for D3-instanton corrections to the superpotential exhibit propagation of decidability, with new and existing solutions propagating through networks of geometries related by topological transitions. In the geometries we consider, m","authors_text":"Fabian Ruehle, James Halverson, Jiahua Tian, Michael Plesser","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-th","submitted_at":"2019-11-18T18:55:42Z","title":"Kahler Moduli Stabilization and the Propagation of Decidability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.07835","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:698eb2a8cb3a0d85dd5b443f8dfb50febf24262cb25d35ba5fa0a39c6be6e17a","target":"record","created_at":"2026-07-05T00:41:47Z","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":"4820ec4d430266c37edfe05b3731485871c3c6e6539f35f39992c18f2fea9732","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-th","submitted_at":"2019-11-18T18:55:42Z","title_canon_sha256":"16e8cd59a8e8b1d198afe3546123abaa38de45fd475f7db3da406e568e70a927"},"schema_version":"1.0","source":{"id":"1911.07835","kind":"arxiv","version":1}},"canonical_sha256":"54861018c502044789d33a6b4e06ff601e80c15a03f84242f77d36460f616320","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54861018c502044789d33a6b4e06ff601e80c15a03f84242f77d36460f616320","first_computed_at":"2026-07-05T00:41:47.183035Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:41:47.183035Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e5Q4iSzvyMXLuLv5u+Jc0L2h668oZEUTvQ5ngcqdQIHKNZqVyEWnn1WdwbOM5jYQ1XY+FFLih4NyA3UaufKJBg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:41:47.183509Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.07835","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:698eb2a8cb3a0d85dd5b443f8dfb50febf24262cb25d35ba5fa0a39c6be6e17a","sha256:e5ea00ffc46e3391b18e608e0114d5bb5bbff760b1d6c5c919a2934458d95636"],"state_sha256":"ded7712ff80712096585c902af1221f700fac76c62c70215a36a0502a704c002"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2cgvtd28jDWgL0w89I3We396Qtty54E6nAL4v3o8U/9aR5c4H41/lPa/fAjGRYglLrb+WhoV/+gyFfJLqj47BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T20:55:34.681559Z","bundle_sha256":"c960f7736aaba4b8771e6f0fe151664ee85f0af3c78860b4fcd14da41fce83ca"}}