{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WG7QYKTPTVCCTZGPNTAJDTUQCK","short_pith_number":"pith:WG7QYKTP","canonical_record":{"source":{"id":"1808.05752","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-08-16T02:01:11Z","cross_cats_sorted":[],"title_canon_sha256":"e97ef94dd979a431b7e5fb460471960379da0faabdb2e03db1140abf2138ebc8","abstract_canon_sha256":"890b7dfbc26e32eb13bcad874136da6d18b9463dabd846065374a4737e84c1b0"},"schema_version":"1.0"},"canonical_sha256":"b1bf0c2a6f9d4429e4cf6cc091ce9012a7ea07e688dd09aab8225901d1349dfd","source":{"kind":"arxiv","id":"1808.05752","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.05752","created_at":"2026-05-18T00:07:52Z"},{"alias_kind":"arxiv_version","alias_value":"1808.05752v1","created_at":"2026-05-18T00:07:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.05752","created_at":"2026-05-18T00:07:52Z"},{"alias_kind":"pith_short_12","alias_value":"WG7QYKTPTVCC","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WG7QYKTPTVCCTZGP","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WG7QYKTP","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WG7QYKTPTVCCTZGPNTAJDTUQCK","target":"record","payload":{"canonical_record":{"source":{"id":"1808.05752","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-08-16T02:01:11Z","cross_cats_sorted":[],"title_canon_sha256":"e97ef94dd979a431b7e5fb460471960379da0faabdb2e03db1140abf2138ebc8","abstract_canon_sha256":"890b7dfbc26e32eb13bcad874136da6d18b9463dabd846065374a4737e84c1b0"},"schema_version":"1.0"},"canonical_sha256":"b1bf0c2a6f9d4429e4cf6cc091ce9012a7ea07e688dd09aab8225901d1349dfd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:52.251616Z","signature_b64":"RcroP8Rz/fOAZfTVYXirU0iekB0ZzzYm+W13YBJ56laRaoDcZzwXnNg0hrPo8KWAMP5PUGUUAbj5OKhPSCv+Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b1bf0c2a6f9d4429e4cf6cc091ce9012a7ea07e688dd09aab8225901d1349dfd","last_reissued_at":"2026-05-18T00:07:52.250844Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:52.250844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.05752","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-18T00:07:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I8x2Hit1d7mhiCNYu6JFcxq9mUr/dWv9axmHoPwQvQgHVn7xLuqTZpR0ea1jqYLIVnrJyMK90GTYG7mK8GvHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:56:36.166767Z"},"content_sha256":"063fe749458c714ea2b1b35ef8c8097678d9f7c8161f973d70425aee5fdf0a73","schema_version":"1.0","event_id":"sha256:063fe749458c714ea2b1b35ef8c8097678d9f7c8161f973d70425aee5fdf0a73"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WG7QYKTPTVCCTZGPNTAJDTUQCK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PUG: A Framework and Practical Implementation for Why & Why-Not Provenance (extended version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Bertram Ludaescher, Boris Glavic, Seokki Lee","submitted_at":"2018-08-16T02:01:11Z","abstract_excerpt":"Explaining why an answer is (or is not) returned by a query is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. In this work, we present the first practical approach for answering such questions for queries with negation (first- order queries). Specifically, we introduce a graph-based provenance model that, while syntactic in nature, supports reverse reasoning and is proven to encode a wide range of provenance models from the literature. The implementation of this model in our PUG (Provenance Unification through Gr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.05752","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-18T00:07:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZqAWfpOXD+h0Ww85vdb5EspJ7mGmyb6/GgfUm4Ur4kTeCVTGvSdLqymG6P8xPXzMTYHC1AcefBQEwAe8fhscCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:56:36.167119Z"},"content_sha256":"4c1bad969ee2d9f156cc6125019fa0a6022bd4aa03b94b2aa3f69f1f020c6d2b","schema_version":"1.0","event_id":"sha256:4c1bad969ee2d9f156cc6125019fa0a6022bd4aa03b94b2aa3f69f1f020c6d2b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WG7QYKTPTVCCTZGPNTAJDTUQCK/bundle.json","state_url":"https://pith.science/pith/WG7QYKTPTVCCTZGPNTAJDTUQCK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WG7QYKTPTVCCTZGPNTAJDTUQCK/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-01T12:56:36Z","links":{"resolver":"https://pith.science/pith/WG7QYKTPTVCCTZGPNTAJDTUQCK","bundle":"https://pith.science/pith/WG7QYKTPTVCCTZGPNTAJDTUQCK/bundle.json","state":"https://pith.science/pith/WG7QYKTPTVCCTZGPNTAJDTUQCK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WG7QYKTPTVCCTZGPNTAJDTUQCK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WG7QYKTPTVCCTZGPNTAJDTUQCK","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":"890b7dfbc26e32eb13bcad874136da6d18b9463dabd846065374a4737e84c1b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-08-16T02:01:11Z","title_canon_sha256":"e97ef94dd979a431b7e5fb460471960379da0faabdb2e03db1140abf2138ebc8"},"schema_version":"1.0","source":{"id":"1808.05752","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.05752","created_at":"2026-05-18T00:07:52Z"},{"alias_kind":"arxiv_version","alias_value":"1808.05752v1","created_at":"2026-05-18T00:07:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.05752","created_at":"2026-05-18T00:07:52Z"},{"alias_kind":"pith_short_12","alias_value":"WG7QYKTPTVCC","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WG7QYKTPTVCCTZGP","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WG7QYKTP","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:4c1bad969ee2d9f156cc6125019fa0a6022bd4aa03b94b2aa3f69f1f020c6d2b","target":"graph","created_at":"2026-05-18T00:07:52Z","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":"Explaining why an answer is (or is not) returned by a query is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. In this work, we present the first practical approach for answering such questions for queries with negation (first- order queries). Specifically, we introduce a graph-based provenance model that, while syntactic in nature, supports reverse reasoning and is proven to encode a wide range of provenance models from the literature. The implementation of this model in our PUG (Provenance Unification through Gr","authors_text":"Bertram Ludaescher, Boris Glavic, Seokki Lee","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-08-16T02:01:11Z","title":"PUG: A Framework and Practical Implementation for Why & Why-Not Provenance (extended version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.05752","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:063fe749458c714ea2b1b35ef8c8097678d9f7c8161f973d70425aee5fdf0a73","target":"record","created_at":"2026-05-18T00:07:52Z","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":"890b7dfbc26e32eb13bcad874136da6d18b9463dabd846065374a4737e84c1b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-08-16T02:01:11Z","title_canon_sha256":"e97ef94dd979a431b7e5fb460471960379da0faabdb2e03db1140abf2138ebc8"},"schema_version":"1.0","source":{"id":"1808.05752","kind":"arxiv","version":1}},"canonical_sha256":"b1bf0c2a6f9d4429e4cf6cc091ce9012a7ea07e688dd09aab8225901d1349dfd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1bf0c2a6f9d4429e4cf6cc091ce9012a7ea07e688dd09aab8225901d1349dfd","first_computed_at":"2026-05-18T00:07:52.250844Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:52.250844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RcroP8Rz/fOAZfTVYXirU0iekB0ZzzYm+W13YBJ56laRaoDcZzwXnNg0hrPo8KWAMP5PUGUUAbj5OKhPSCv+Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:52.251616Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.05752","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:063fe749458c714ea2b1b35ef8c8097678d9f7c8161f973d70425aee5fdf0a73","sha256:4c1bad969ee2d9f156cc6125019fa0a6022bd4aa03b94b2aa3f69f1f020c6d2b"],"state_sha256":"7679c3895e595373706baa5cb3d8b494b749c332eca468d98be40ff70eacac41"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VsnV61U4GEw1E4GAMGwCR+OBgE3MMF0XKB57ngc5qsqESwJa8vRF8q13Bz7FHunulyO08xD27wWfnqJ1DBO9Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T12:56:36.169181Z","bundle_sha256":"fb97e4adca1e1101b455f56daa94dad4208697adef16087b20cd5bbf14bca250"}}