{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:V5LCV64FTDPIF32YCNLLMFKS4S","short_pith_number":"pith:V5LCV64F","canonical_record":{"source":{"id":"1211.7346","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-30T19:25:03Z","cross_cats_sorted":[],"title_canon_sha256":"bb4f46aeff4767e9465b3e5756a539db07171e0c83993e54d525011db2bee526","abstract_canon_sha256":"113f628d84cfdc5d2f271a4e337b31cc4d15f1424b643fcb255fc92aa700cc9f"},"schema_version":"1.0"},"canonical_sha256":"af562afb8598de82ef581356b61552e4b160667d3d538f87d3f79cf7ef4e75de","source":{"kind":"arxiv","id":"1211.7346","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.7346","created_at":"2026-05-18T03:39:30Z"},{"alias_kind":"arxiv_version","alias_value":"1211.7346v1","created_at":"2026-05-18T03:39:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.7346","created_at":"2026-05-18T03:39:30Z"},{"alias_kind":"pith_short_12","alias_value":"V5LCV64FTDPI","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"V5LCV64FTDPIF32Y","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"V5LCV64F","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:V5LCV64FTDPIF32YCNLLMFKS4S","target":"record","payload":{"canonical_record":{"source":{"id":"1211.7346","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-30T19:25:03Z","cross_cats_sorted":[],"title_canon_sha256":"bb4f46aeff4767e9465b3e5756a539db07171e0c83993e54d525011db2bee526","abstract_canon_sha256":"113f628d84cfdc5d2f271a4e337b31cc4d15f1424b643fcb255fc92aa700cc9f"},"schema_version":"1.0"},"canonical_sha256":"af562afb8598de82ef581356b61552e4b160667d3d538f87d3f79cf7ef4e75de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:39:30.847569Z","signature_b64":"aT7t82eq2CWVpjsdh/rkcn6yMB8Gjr2Xqq9NZ0hXBMvvpreJC7XIJ2PJsiJUyDaSB5zjqOO+AOOZZvJTfRTgDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"af562afb8598de82ef581356b61552e4b160667d3d538f87d3f79cf7ef4e75de","last_reissued_at":"2026-05-18T03:39:30.846857Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:39:30.846857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.7346","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-18T03:39:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EBmmbL1ThI8WvlX3RlilCRyMNQSIZS8LXhqZFPisLygP5MhyhxAWhLSATVSRgzcHyFlQqi6R3NbbZxkLTCzcBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T16:56:50.806197Z"},"content_sha256":"c1247d68d5dac413ac999d5a7e54894be892ad72e6eec91792112aa17b3fa2d6","schema_version":"1.0","event_id":"sha256:c1247d68d5dac413ac999d5a7e54894be892ad72e6eec91792112aa17b3fa2d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:V5LCV64FTDPIF32YCNLLMFKS4S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Checking generalized debates with small space and randomness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"A. C. Cem Say, H. G\\\"okalp Demirci","submitted_at":"2012-11-30T19:25:03Z","abstract_excerpt":"We introduce a model of probabilistic debate checking, where a silent resource-bounded verifier reads a dialogue about the membership of the string in the language under consideration between a prover and a refuter. Our model combines and generalizes the concepts of one-way interactive proof systems, games of incomplete information, and probabilistically checkable complete-information debate systems. We consider debates of partial and zero information, where the prover is prevented from seeing some or all of the messages of the refuter, as well as those of complete information. The classes of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.7346","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":""},"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-18T03:39:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vTwBIibpWDbFd3/ZzeA0tNx+H29CMpsYvXfqAo/u1UaC+dDRJfrkixUliCAXpjPMKaL+lRtd5RwKTgFFRfhKDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T16:56:50.806547Z"},"content_sha256":"c4eec8127bdd7c4275dd2eb7d2ce6a660dfbbc1414421e121daa4044c217210a","schema_version":"1.0","event_id":"sha256:c4eec8127bdd7c4275dd2eb7d2ce6a660dfbbc1414421e121daa4044c217210a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V5LCV64FTDPIF32YCNLLMFKS4S/bundle.json","state_url":"https://pith.science/pith/V5LCV64FTDPIF32YCNLLMFKS4S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V5LCV64FTDPIF32YCNLLMFKS4S/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-26T16:56:50Z","links":{"resolver":"https://pith.science/pith/V5LCV64FTDPIF32YCNLLMFKS4S","bundle":"https://pith.science/pith/V5LCV64FTDPIF32YCNLLMFKS4S/bundle.json","state":"https://pith.science/pith/V5LCV64FTDPIF32YCNLLMFKS4S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V5LCV64FTDPIF32YCNLLMFKS4S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:V5LCV64FTDPIF32YCNLLMFKS4S","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":"113f628d84cfdc5d2f271a4e337b31cc4d15f1424b643fcb255fc92aa700cc9f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-30T19:25:03Z","title_canon_sha256":"bb4f46aeff4767e9465b3e5756a539db07171e0c83993e54d525011db2bee526"},"schema_version":"1.0","source":{"id":"1211.7346","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.7346","created_at":"2026-05-18T03:39:30Z"},{"alias_kind":"arxiv_version","alias_value":"1211.7346v1","created_at":"2026-05-18T03:39:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.7346","created_at":"2026-05-18T03:39:30Z"},{"alias_kind":"pith_short_12","alias_value":"V5LCV64FTDPI","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"V5LCV64FTDPIF32Y","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"V5LCV64F","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:c4eec8127bdd7c4275dd2eb7d2ce6a660dfbbc1414421e121daa4044c217210a","target":"graph","created_at":"2026-05-18T03:39:30Z","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 introduce a model of probabilistic debate checking, where a silent resource-bounded verifier reads a dialogue about the membership of the string in the language under consideration between a prover and a refuter. Our model combines and generalizes the concepts of one-way interactive proof systems, games of incomplete information, and probabilistically checkable complete-information debate systems. We consider debates of partial and zero information, where the prover is prevented from seeing some or all of the messages of the refuter, as well as those of complete information. The classes of ","authors_text":"A. C. Cem Say, H. G\\\"okalp Demirci","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-30T19:25:03Z","title":"Checking generalized debates with small space and randomness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.7346","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:c1247d68d5dac413ac999d5a7e54894be892ad72e6eec91792112aa17b3fa2d6","target":"record","created_at":"2026-05-18T03:39:30Z","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":"113f628d84cfdc5d2f271a4e337b31cc4d15f1424b643fcb255fc92aa700cc9f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-30T19:25:03Z","title_canon_sha256":"bb4f46aeff4767e9465b3e5756a539db07171e0c83993e54d525011db2bee526"},"schema_version":"1.0","source":{"id":"1211.7346","kind":"arxiv","version":1}},"canonical_sha256":"af562afb8598de82ef581356b61552e4b160667d3d538f87d3f79cf7ef4e75de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"af562afb8598de82ef581356b61552e4b160667d3d538f87d3f79cf7ef4e75de","first_computed_at":"2026-05-18T03:39:30.846857Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:39:30.846857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aT7t82eq2CWVpjsdh/rkcn6yMB8Gjr2Xqq9NZ0hXBMvvpreJC7XIJ2PJsiJUyDaSB5zjqOO+AOOZZvJTfRTgDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:39:30.847569Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.7346","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1247d68d5dac413ac999d5a7e54894be892ad72e6eec91792112aa17b3fa2d6","sha256:c4eec8127bdd7c4275dd2eb7d2ce6a660dfbbc1414421e121daa4044c217210a"],"state_sha256":"8cdaa1203231d603b35b80b090a16f47af4f8fb29c60c363ef0ab40e856a1a00"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"arEZjTaOO+IYN+NeE3q/azsTbh1Fi9JCNpqGvI2ZewG1aXrCjTpALIC1EhDJ9XS1Q9L0dKjHF1cUUUFfePOxAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T16:56:50.808386Z","bundle_sha256":"571bbd3a66e2ea4f870f3fc3a277ec0da5d0f927019bcb8053d970fc231ae34f"}}