{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:MCEIYLXSCR4Z6NGOKPIVCF67JS","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":"9ef023e11f58dcc28f74e997ce838670f223f5f2ee1cb69dcb0f550667ec67b7","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-11T08:33:13Z","title_canon_sha256":"147f202fed98722cfd68bcd7979e2abb3838e836fec08ce2240dc9dd67385571"},"schema_version":"1.0","source":{"id":"1907.05045","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05045","created_at":"2026-05-17T23:40:29Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05045v1","created_at":"2026-05-17T23:40:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05045","created_at":"2026-05-17T23:40:29Z"},{"alias_kind":"pith_short_12","alias_value":"MCEIYLXSCR4Z","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MCEIYLXSCR4Z6NGO","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MCEIYLXS","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:8bffb9ed66396ebe0b4425fbd371cd05b04bd0872ec26848dd227c014ee1bc2e","target":"graph","created_at":"2026-05-17T23:40:29Z","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":"Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications which model analysis problems, process millions of tuples of data and contain hundreds of highly recursive rules. As a result, they are notoriously difficult to debug. While the database community has proposed several data-provenance techniques that address the Declarative Debugging Challenge for Databases, in the cases of analysis problems, these state-of-the-art t","authors_text":"Bernhard Scholz, David Zhao, Pavle Subotic","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-11T08:33:13Z","title":"Provenance for Large-scale Datalog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05045","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:c615c3e74cbca9ed62a6696ebcc989ef6a4624a58f96650304ef406aec1b0845","target":"record","created_at":"2026-05-17T23:40:29Z","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":"9ef023e11f58dcc28f74e997ce838670f223f5f2ee1cb69dcb0f550667ec67b7","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-11T08:33:13Z","title_canon_sha256":"147f202fed98722cfd68bcd7979e2abb3838e836fec08ce2240dc9dd67385571"},"schema_version":"1.0","source":{"id":"1907.05045","kind":"arxiv","version":1}},"canonical_sha256":"60888c2ef214799f34ce53d15117df4ca4f0640ee21aeb63b9f6a93d376ed241","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60888c2ef214799f34ce53d15117df4ca4f0640ee21aeb63b9f6a93d376ed241","first_computed_at":"2026-05-17T23:40:29.603120Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:29.603120Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gmv5b8aF9V8mUQdv5jCo02S+RZsMKE3fyRNjQUCtOPlowQgetum7r+UrJYVunv8NuBAvTrdwaG7zapJom3eKCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:29.603757Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.05045","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c615c3e74cbca9ed62a6696ebcc989ef6a4624a58f96650304ef406aec1b0845","sha256:8bffb9ed66396ebe0b4425fbd371cd05b04bd0872ec26848dd227c014ee1bc2e"],"state_sha256":"eab42bbdca06055c70c7dde90e5721513577d6db29de33c39ca24157f2a4571f"}