{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:V7GZ5JCBF7ZUSHJLWPDHWNLOGS","short_pith_number":"pith:V7GZ5JCB","canonical_record":{"source":{"id":"1907.09097","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-22T03:12:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"23cda3b19f962262460da43ec572a34b3140e4cd7fa98e0b3361d2630177c9fe","abstract_canon_sha256":"d55f51f7c020be7d038a603955a2e5e7af292e89f7f801cf25a4cd3517a848b8"},"schema_version":"1.0"},"canonical_sha256":"afcd9ea4412ff3491d2bb3c67b356e34b5a1ff76c0f58bfc2892360b421054be","source":{"kind":"arxiv","id":"1907.09097","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.09097","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"1907.09097v1","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.09097","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"V7GZ5JCBF7ZU","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"V7GZ5JCBF7ZUSHJL","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"V7GZ5JCB","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:V7GZ5JCBF7ZUSHJLWPDHWNLOGS","target":"record","payload":{"canonical_record":{"source":{"id":"1907.09097","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-22T03:12:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"23cda3b19f962262460da43ec572a34b3140e4cd7fa98e0b3361d2630177c9fe","abstract_canon_sha256":"d55f51f7c020be7d038a603955a2e5e7af292e89f7f801cf25a4cd3517a848b8"},"schema_version":"1.0"},"canonical_sha256":"afcd9ea4412ff3491d2bb3c67b356e34b5a1ff76c0f58bfc2892360b421054be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:00.194988Z","signature_b64":"xWjuwqhvLPkpiWXNi9xgDoLbOWJdoBn/t2H77gFY6ubXsA2L5d/419uP3ynpZoA5vLKyw1uLqBRrUArXd3EVDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"afcd9ea4412ff3491d2bb3c67b356e34b5a1ff76c0f58bfc2892360b421054be","last_reissued_at":"2026-05-17T23:40:00.194413Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:00.194413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.09097","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-17T23:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vg509vTLXoZwkN72i2qcirrQC61+oGHg33ifUlnvwStf7KcDkOzfCwbc/KVPDDx/qgUzbvdsZUjZwkidGeJxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T16:01:08.723409Z"},"content_sha256":"7b6092751146c8b5318633551a89e9bdd53c9eda0968821462c2e7a9e2a5be68","schema_version":"1.0","event_id":"sha256:7b6092751146c8b5318633551a89e9bdd53c9eda0968821462c2e7a9e2a5be68"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:V7GZ5JCBF7ZUSHJLWPDHWNLOGS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Open Problems in a Logic of Gossips","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Amsterdam, Dominik Wojtczak (University of Liverpool, Krzysztof R. Apt (Centrum Wiskunde & Informatica, Liverpool, Poland), The Netherlands, UK), University of Warsaw, Warsaw","submitted_at":"2019-07-22T03:12:30Z","abstract_excerpt":"Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets. Such protocols rely on a point-to-point or group communication.  Distributed epistemic gossip protocols use epistemic formulas in the component programs for the agents. The advantage of the use of epistemic logic is that the resulting protocols are very concise and amenable for a simple verification.\n  Recently, we introduced a natural modal logic that allows one to express distributed epistemic gossip protocols and to reason about their c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.09097","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-17T23:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EwoZ+Hiys+iONu9ImRFAC/NuWjlFDCqQ081bavxntj3b4lNQveWZ0HNs8xndwNcc/H12WYIhHdy/ySw3nO+EDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T16:01:08.724018Z"},"content_sha256":"9db9dc80e601f875163ad2f6a22e4d19c232b0d40704dba94f6b70c4b834f3a2","schema_version":"1.0","event_id":"sha256:9db9dc80e601f875163ad2f6a22e4d19c232b0d40704dba94f6b70c4b834f3a2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V7GZ5JCBF7ZUSHJLWPDHWNLOGS/bundle.json","state_url":"https://pith.science/pith/V7GZ5JCBF7ZUSHJLWPDHWNLOGS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V7GZ5JCBF7ZUSHJLWPDHWNLOGS/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-29T16:01:08Z","links":{"resolver":"https://pith.science/pith/V7GZ5JCBF7ZUSHJLWPDHWNLOGS","bundle":"https://pith.science/pith/V7GZ5JCBF7ZUSHJLWPDHWNLOGS/bundle.json","state":"https://pith.science/pith/V7GZ5JCBF7ZUSHJLWPDHWNLOGS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V7GZ5JCBF7ZUSHJLWPDHWNLOGS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:V7GZ5JCBF7ZUSHJLWPDHWNLOGS","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":"d55f51f7c020be7d038a603955a2e5e7af292e89f7f801cf25a4cd3517a848b8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-22T03:12:30Z","title_canon_sha256":"23cda3b19f962262460da43ec572a34b3140e4cd7fa98e0b3361d2630177c9fe"},"schema_version":"1.0","source":{"id":"1907.09097","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.09097","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"1907.09097v1","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.09097","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"V7GZ5JCBF7ZU","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"V7GZ5JCBF7ZUSHJL","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"V7GZ5JCB","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:9db9dc80e601f875163ad2f6a22e4d19c232b0d40704dba94f6b70c4b834f3a2","target":"graph","created_at":"2026-05-17T23:40:00Z","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":"Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets. Such protocols rely on a point-to-point or group communication.  Distributed epistemic gossip protocols use epistemic formulas in the component programs for the agents. The advantage of the use of epistemic logic is that the resulting protocols are very concise and amenable for a simple verification.\n  Recently, we introduced a natural modal logic that allows one to express distributed epistemic gossip protocols and to reason about their c","authors_text":"Amsterdam, Dominik Wojtczak (University of Liverpool, Krzysztof R. Apt (Centrum Wiskunde & Informatica, Liverpool, Poland), The Netherlands, UK), University of Warsaw, Warsaw","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-22T03:12:30Z","title":"Open Problems in a Logic of Gossips"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.09097","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:7b6092751146c8b5318633551a89e9bdd53c9eda0968821462c2e7a9e2a5be68","target":"record","created_at":"2026-05-17T23:40:00Z","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":"d55f51f7c020be7d038a603955a2e5e7af292e89f7f801cf25a4cd3517a848b8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-22T03:12:30Z","title_canon_sha256":"23cda3b19f962262460da43ec572a34b3140e4cd7fa98e0b3361d2630177c9fe"},"schema_version":"1.0","source":{"id":"1907.09097","kind":"arxiv","version":1}},"canonical_sha256":"afcd9ea4412ff3491d2bb3c67b356e34b5a1ff76c0f58bfc2892360b421054be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"afcd9ea4412ff3491d2bb3c67b356e34b5a1ff76c0f58bfc2892360b421054be","first_computed_at":"2026-05-17T23:40:00.194413Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:00.194413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xWjuwqhvLPkpiWXNi9xgDoLbOWJdoBn/t2H77gFY6ubXsA2L5d/419uP3ynpZoA5vLKyw1uLqBRrUArXd3EVDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:00.194988Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.09097","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b6092751146c8b5318633551a89e9bdd53c9eda0968821462c2e7a9e2a5be68","sha256:9db9dc80e601f875163ad2f6a22e4d19c232b0d40704dba94f6b70c4b834f3a2"],"state_sha256":"a88de4cbd2f2bd2b15fc49507b94f300d62d8137a4dd48e8ac4aed11e76e8d52"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ucd8yrbcQLubPBaR/weH6ZMANYOpSYNhHb4Yim7e2T+k1LJw4uFbOjrgzCbO5VCq1DrWAPW0Zxyvt86llUqsAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T16:01:08.727633Z","bundle_sha256":"ab589a0cde0cd57871ad40961a154890e50297feb7589fc6969739159204ff13"}}