{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:64ZAPVXRUQD43KGEI4BISNNPRA","short_pith_number":"pith:64ZAPVXR","canonical_record":{"source":{"id":"1907.06541","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-15T15:10:29Z","cross_cats_sorted":["cs.CR","math.LO"],"title_canon_sha256":"adc31527a842ee940443b32a80f1f7a47949ee126d020f911def3a5130d51662","abstract_canon_sha256":"ff2f0bbcfd460772365c423841b089454a2831a0119b3517333a72a7befba450"},"schema_version":"1.0"},"canonical_sha256":"f73207d6f1a407cda8c447028935af883efe9cb63be38afbf78174fc32b425a7","source":{"kind":"arxiv","id":"1907.06541","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.06541","created_at":"2026-05-17T23:40:22Z"},{"alias_kind":"arxiv_version","alias_value":"1907.06541v2","created_at":"2026-05-17T23:40:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.06541","created_at":"2026-05-17T23:40:22Z"},{"alias_kind":"pith_short_12","alias_value":"64ZAPVXRUQD4","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"64ZAPVXRUQD43KGE","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"64ZAPVXR","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:64ZAPVXRUQD43KGEI4BISNNPRA","target":"record","payload":{"canonical_record":{"source":{"id":"1907.06541","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-15T15:10:29Z","cross_cats_sorted":["cs.CR","math.LO"],"title_canon_sha256":"adc31527a842ee940443b32a80f1f7a47949ee126d020f911def3a5130d51662","abstract_canon_sha256":"ff2f0bbcfd460772365c423841b089454a2831a0119b3517333a72a7befba450"},"schema_version":"1.0"},"canonical_sha256":"f73207d6f1a407cda8c447028935af883efe9cb63be38afbf78174fc32b425a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:22.965446Z","signature_b64":"BJYGZO/Z4GXDVvjxoLHLtD9apSKEgx1bYmQeRa4GSZfRymSffR4UPhIZie4MksbAY8fMe/PwaGV6klXsNUIiDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f73207d6f1a407cda8c447028935af883efe9cb63be38afbf78174fc32b425a7","last_reissued_at":"2026-05-17T23:40:22.964705Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:22.964705Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.06541","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-05-17T23:40:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i7RJMyJlgE8dTe9xqxhcC3tG6zPkpYUAZyQrUCCy0jjU2t9oeFVEazS/+3eznecZhI96BRo1vY2UgNCSsEg0Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:42:48.375588Z"},"content_sha256":"58baee27dbe8c9e2c187754a05d49d1e07a55c1b48bdba16b722c9167053a9de","schema_version":"1.0","event_id":"sha256:58baee27dbe8c9e2c187754a05d49d1e07a55c1b48bdba16b722c9167053a9de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:64ZAPVXRUQD43KGEI4BISNNPRA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Time-Stamped Claim Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","math.LO"],"primary_cat":"cs.LO","authors_text":"Cristina Sernadas, Erisa Karafili, Jo\\~ao Rasga, Luca Vigan\\`o","submitted_at":"2019-07-15T15:10:29Z","abstract_excerpt":"The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus that allows one to reduc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.06541","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":""},"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:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ps9vHaMDz0aHV0X2wcgUI6KdvWFiKfjzXwzJhCLL9jr1oIFOaNG8kvHlPJaW2wXv6aCKt5WKWFZI/QBXKaI4Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:42:48.376265Z"},"content_sha256":"f921e00bee34220484580164a308bba4c4c7bb9b8178855ba9a935a268941617","schema_version":"1.0","event_id":"sha256:f921e00bee34220484580164a308bba4c4c7bb9b8178855ba9a935a268941617"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/64ZAPVXRUQD43KGEI4BISNNPRA/bundle.json","state_url":"https://pith.science/pith/64ZAPVXRUQD43KGEI4BISNNPRA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/64ZAPVXRUQD43KGEI4BISNNPRA/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-28T17:42:48Z","links":{"resolver":"https://pith.science/pith/64ZAPVXRUQD43KGEI4BISNNPRA","bundle":"https://pith.science/pith/64ZAPVXRUQD43KGEI4BISNNPRA/bundle.json","state":"https://pith.science/pith/64ZAPVXRUQD43KGEI4BISNNPRA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/64ZAPVXRUQD43KGEI4BISNNPRA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:64ZAPVXRUQD43KGEI4BISNNPRA","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":"ff2f0bbcfd460772365c423841b089454a2831a0119b3517333a72a7befba450","cross_cats_sorted":["cs.CR","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-15T15:10:29Z","title_canon_sha256":"adc31527a842ee940443b32a80f1f7a47949ee126d020f911def3a5130d51662"},"schema_version":"1.0","source":{"id":"1907.06541","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.06541","created_at":"2026-05-17T23:40:22Z"},{"alias_kind":"arxiv_version","alias_value":"1907.06541v2","created_at":"2026-05-17T23:40:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.06541","created_at":"2026-05-17T23:40:22Z"},{"alias_kind":"pith_short_12","alias_value":"64ZAPVXRUQD4","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"64ZAPVXRUQD43KGE","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"64ZAPVXR","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:f921e00bee34220484580164a308bba4c4c7bb9b8178855ba9a935a268941617","target":"graph","created_at":"2026-05-17T23:40:22Z","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":"The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus that allows one to reduc","authors_text":"Cristina Sernadas, Erisa Karafili, Jo\\~ao Rasga, Luca Vigan\\`o","cross_cats":["cs.CR","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-15T15:10:29Z","title":"Time-Stamped Claim Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.06541","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:58baee27dbe8c9e2c187754a05d49d1e07a55c1b48bdba16b722c9167053a9de","target":"record","created_at":"2026-05-17T23:40:22Z","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":"ff2f0bbcfd460772365c423841b089454a2831a0119b3517333a72a7befba450","cross_cats_sorted":["cs.CR","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-15T15:10:29Z","title_canon_sha256":"adc31527a842ee940443b32a80f1f7a47949ee126d020f911def3a5130d51662"},"schema_version":"1.0","source":{"id":"1907.06541","kind":"arxiv","version":2}},"canonical_sha256":"f73207d6f1a407cda8c447028935af883efe9cb63be38afbf78174fc32b425a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f73207d6f1a407cda8c447028935af883efe9cb63be38afbf78174fc32b425a7","first_computed_at":"2026-05-17T23:40:22.964705Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:22.964705Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BJYGZO/Z4GXDVvjxoLHLtD9apSKEgx1bYmQeRa4GSZfRymSffR4UPhIZie4MksbAY8fMe/PwaGV6klXsNUIiDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:22.965446Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.06541","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58baee27dbe8c9e2c187754a05d49d1e07a55c1b48bdba16b722c9167053a9de","sha256:f921e00bee34220484580164a308bba4c4c7bb9b8178855ba9a935a268941617"],"state_sha256":"7c451fea432db5b762c30edca1a3093adb9dfdbd64520cd912f8a96ba7a785f9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K1RRn+OqdrZhR24X3M2I122sd8r8JGleVZAxdHc5EYsKLqGxanSWxD+S7ACczaIGUqZxm1tUI4qG5U/Tx6k1DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:42:48.380039Z","bundle_sha256":"8bdfe6c9580ad5d5de80b859e11f2ea1cffd9c779646b4841732b941e723ca72"}}