{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:S4KQGWK5IP5TONFQVX32SFWWNQ","short_pith_number":"pith:S4KQGWK5","canonical_record":{"source":{"id":"1312.7305","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-12-27T18:07:46Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"337cef110dab8e51dd2578029bfd1fd5a73402a5d5d1c25ad742bb8fa0ddcf23","abstract_canon_sha256":"21c861102af75b9478b9767260e015d4ae996887fb44da61c46995d5fc8d7c95"},"schema_version":"1.0"},"canonical_sha256":"971503595d43fb3734b0adf7a916d66c15980c4ba4b299b6c8f8f4ebb8b5a465","source":{"kind":"arxiv","id":"1312.7305","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.7305","created_at":"2026-05-18T01:15:07Z"},{"alias_kind":"arxiv_version","alias_value":"1312.7305v3","created_at":"2026-05-18T01:15:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.7305","created_at":"2026-05-18T01:15:07Z"},{"alias_kind":"pith_short_12","alias_value":"S4KQGWK5IP5T","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"S4KQGWK5IP5TONFQ","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"S4KQGWK5","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:S4KQGWK5IP5TONFQVX32SFWWNQ","target":"record","payload":{"canonical_record":{"source":{"id":"1312.7305","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-12-27T18:07:46Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"337cef110dab8e51dd2578029bfd1fd5a73402a5d5d1c25ad742bb8fa0ddcf23","abstract_canon_sha256":"21c861102af75b9478b9767260e015d4ae996887fb44da61c46995d5fc8d7c95"},"schema_version":"1.0"},"canonical_sha256":"971503595d43fb3734b0adf7a916d66c15980c4ba4b299b6c8f8f4ebb8b5a465","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:07.169853Z","signature_b64":"9qZETmtijor17H06TkNbp+7UTxADqqEfL2gdhY4CBWCEuqVgGsN0FUHfkVnhEHd3cIPtgO5a1FrY2YYME+RNBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"971503595d43fb3734b0adf7a916d66c15980c4ba4b299b6c8f8f4ebb8b5a465","last_reissued_at":"2026-05-18T01:15:07.169235Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:07.169235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.7305","source_version":3,"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-18T01:15:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"atIvQ25GGcXZQw8l7GyxlhYjOECNP9b3SnUtyKkFEp7+P00v6hHWCz4lQajMPSngBoiNY+UcnfGRS6kkEMfKCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:26:50.998802Z"},"content_sha256":"d409ff2ad9e4937b0065c0c1b3dea292dd3033fbabcf3ba835c8e9e316435585","schema_version":"1.0","event_id":"sha256:d409ff2ad9e4937b0065c0c1b3dea292dd3033fbabcf3ba835c8e9e316435585"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:S4KQGWK5IP5TONFQVX32SFWWNQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Computability and Choice","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"math.LO","authors_text":"Guido Gherardi, Rupert H\\\"olzl, Vasco Brattka","submitted_at":"2013-12-27T18:07:46Z","abstract_excerpt":"We study the computational power of randomized computations on infinite objects, such as real numbers. In particular, we introduce the concept of a Las Vegas computable multi-valued function, which is a function that can be computed on a probabilistic Turing machine that receives a random binary sequence as auxiliary input. The machine can take advantage of this random sequence, but it always has to produce a correct result or to stop the computation after finite time if the random advice is not successful. With positive probability the random advice has to be successful. We characterize the c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.7305","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-18T01:15:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Oj0qBrJZD1Jk/fLjH2RLu5wYr58ZKzoLSTYHoNe7gq8wlDqbKGrtJwL11yneqffxgSRFXEXMeYP/IUv0zADIDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:26:50.999138Z"},"content_sha256":"2ca5f9ca7fe991cca55155418c30d201029b6c4dfcada4ecab4ef38f9128b364","schema_version":"1.0","event_id":"sha256:2ca5f9ca7fe991cca55155418c30d201029b6c4dfcada4ecab4ef38f9128b364"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S4KQGWK5IP5TONFQVX32SFWWNQ/bundle.json","state_url":"https://pith.science/pith/S4KQGWK5IP5TONFQVX32SFWWNQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S4KQGWK5IP5TONFQVX32SFWWNQ/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-06-01T09:26:51Z","links":{"resolver":"https://pith.science/pith/S4KQGWK5IP5TONFQVX32SFWWNQ","bundle":"https://pith.science/pith/S4KQGWK5IP5TONFQVX32SFWWNQ/bundle.json","state":"https://pith.science/pith/S4KQGWK5IP5TONFQVX32SFWWNQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S4KQGWK5IP5TONFQVX32SFWWNQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:S4KQGWK5IP5TONFQVX32SFWWNQ","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":"21c861102af75b9478b9767260e015d4ae996887fb44da61c46995d5fc8d7c95","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-12-27T18:07:46Z","title_canon_sha256":"337cef110dab8e51dd2578029bfd1fd5a73402a5d5d1c25ad742bb8fa0ddcf23"},"schema_version":"1.0","source":{"id":"1312.7305","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.7305","created_at":"2026-05-18T01:15:07Z"},{"alias_kind":"arxiv_version","alias_value":"1312.7305v3","created_at":"2026-05-18T01:15:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.7305","created_at":"2026-05-18T01:15:07Z"},{"alias_kind":"pith_short_12","alias_value":"S4KQGWK5IP5T","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"S4KQGWK5IP5TONFQ","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"S4KQGWK5","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:2ca5f9ca7fe991cca55155418c30d201029b6c4dfcada4ecab4ef38f9128b364","target":"graph","created_at":"2026-05-18T01:15:07Z","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"},"paper":{"abstract_excerpt":"We study the computational power of randomized computations on infinite objects, such as real numbers. In particular, we introduce the concept of a Las Vegas computable multi-valued function, which is a function that can be computed on a probabilistic Turing machine that receives a random binary sequence as auxiliary input. The machine can take advantage of this random sequence, but it always has to produce a correct result or to stop the computation after finite time if the random advice is not successful. With positive probability the random advice has to be successful. We characterize the c","authors_text":"Guido Gherardi, Rupert H\\\"olzl, Vasco Brattka","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-12-27T18:07:46Z","title":"Probabilistic Computability and Choice"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.7305","kind":"arxiv","version":3},"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:d409ff2ad9e4937b0065c0c1b3dea292dd3033fbabcf3ba835c8e9e316435585","target":"record","created_at":"2026-05-18T01:15:07Z","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":"21c861102af75b9478b9767260e015d4ae996887fb44da61c46995d5fc8d7c95","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-12-27T18:07:46Z","title_canon_sha256":"337cef110dab8e51dd2578029bfd1fd5a73402a5d5d1c25ad742bb8fa0ddcf23"},"schema_version":"1.0","source":{"id":"1312.7305","kind":"arxiv","version":3}},"canonical_sha256":"971503595d43fb3734b0adf7a916d66c15980c4ba4b299b6c8f8f4ebb8b5a465","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"971503595d43fb3734b0adf7a916d66c15980c4ba4b299b6c8f8f4ebb8b5a465","first_computed_at":"2026-05-18T01:15:07.169235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:07.169235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9qZETmtijor17H06TkNbp+7UTxADqqEfL2gdhY4CBWCEuqVgGsN0FUHfkVnhEHd3cIPtgO5a1FrY2YYME+RNBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:07.169853Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.7305","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d409ff2ad9e4937b0065c0c1b3dea292dd3033fbabcf3ba835c8e9e316435585","sha256:2ca5f9ca7fe991cca55155418c30d201029b6c4dfcada4ecab4ef38f9128b364"],"state_sha256":"a79ce78817c5a532fc93a9ca6e750680cf3b2a8027613057309443e3cf498fa6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A8nqUD/SFietFsocGP8RMu3V1fgLX6fTPKC1yX5SDoXmMC4Fn2PJlHpQHC9BrZyymkP7wgly1uqW7TJz3h9mCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T09:26:51.001325Z","bundle_sha256":"1cc9c55ba0dfd00e5e42eab183fb66d4013f8c27b54fa9c6a59ba996aa1b5984"}}