{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:TMMMV4YQEJN6STQRP6HWT5E6CF","short_pith_number":"pith:TMMMV4YQ","canonical_record":{"source":{"id":"2607.24021","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-07-27T05:35:57Z","cross_cats_sorted":[],"title_canon_sha256":"e6172886718be117ccc768a8c5fa363b31012effb0bfd7135b5821e4ee4adeaf","abstract_canon_sha256":"b9c8d1c351ccfe78785ba4f4d1dfc4fac041500a46f151b67a0b1d239d50f053"},"schema_version":"1.0"},"canonical_sha256":"9b18caf310225be94e117f8f69f49e116e9f3e7259808a3859432f46975effed","source":{"kind":"arxiv","id":"2607.24021","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24021","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24021v1","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24021","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"pith_short_12","alias_value":"TMMMV4YQEJN6","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"pith_short_16","alias_value":"TMMMV4YQEJN6STQR","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"pith_short_8","alias_value":"TMMMV4YQ","created_at":"2026-07-28T01:23:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:TMMMV4YQEJN6STQRP6HWT5E6CF","target":"record","payload":{"canonical_record":{"source":{"id":"2607.24021","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-07-27T05:35:57Z","cross_cats_sorted":[],"title_canon_sha256":"e6172886718be117ccc768a8c5fa363b31012effb0bfd7135b5821e4ee4adeaf","abstract_canon_sha256":"b9c8d1c351ccfe78785ba4f4d1dfc4fac041500a46f151b67a0b1d239d50f053"},"schema_version":"1.0"},"canonical_sha256":"9b18caf310225be94e117f8f69f49e116e9f3e7259808a3859432f46975effed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-28T01:23:41.494273Z","signature_b64":"T2AfvD8w0EE4ZcnvK6FQKU9uPvEXtMgV2QNEZZ1S+dvOMvVkFcdRvqypSAuIvQGYEFXN3orzm7xS5wgWDoSNCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b18caf310225be94e117f8f69f49e116e9f3e7259808a3859432f46975effed","last_reissued_at":"2026-07-28T01:23:41.493463Z","signature_status":"signed_v1","first_computed_at":"2026-07-28T01:23:41.493463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.24021","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-07-28T01:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3SbpkbLzwocULoywPRSAjtZtsX2n1PgjcrDeljASEWVCAh6D0iK6pBCB1HVJEs5Jy6Hjvdu02CqfwJdXGaqtDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:06:44.876073Z"},"content_sha256":"63d85f3816dec349e110e2eb8d0a9e1100d6a8e7b5d113f40cf5f4e49ab552fa","schema_version":"1.0","event_id":"sha256:63d85f3816dec349e110e2eb8d0a9e1100d6a8e7b5d113f40cf5f4e49ab552fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:TMMMV4YQEJN6STQRP6HWT5E6CF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EviDC: A Violation-Guided Algorithm for Incremental Denial Constraint Discovery","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Qian Zhou, Xiaolong Wan, Xixian Han","submitted_at":"2026-07-27T05:35:57Z","abstract_excerpt":"Denial Constraints (DCs) are an important class of integrity constraints and have been widely used in data quality management. In dynamic datasets, newly inserted tuples may invalidate existing DCs and require the constraint set to be updated. Existing incremental DC discovery methods still generate a large amount of intermediate evidence because they do not exploit the structural information of existing DCs during evidence construction. We propose EviDC, a violation-guided incremental DC discovery algorithm. EviDC organizes existing DCs into a prefix tree structure called DCTrie, in which eac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24021","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.24021/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-28T01:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9G4xtWWpBGOZcJ7U3GQrutEIYvv0v+78S47CfSaN9k8uPLotgV3Bc6VKqHEwVJE5rhalIzoAQQKFb8j0AcLuDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:06:44.876582Z"},"content_sha256":"071c3ae27dc35f8bbe538c7f338ac64a17d5fc38cd49dcbe7af881abd2cc85c8","schema_version":"1.0","event_id":"sha256:071c3ae27dc35f8bbe538c7f338ac64a17d5fc38cd49dcbe7af881abd2cc85c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TMMMV4YQEJN6STQRP6HWT5E6CF/bundle.json","state_url":"https://pith.science/pith/TMMMV4YQEJN6STQRP6HWT5E6CF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TMMMV4YQEJN6STQRP6HWT5E6CF/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-08-05T14:06:44Z","links":{"resolver":"https://pith.science/pith/TMMMV4YQEJN6STQRP6HWT5E6CF","bundle":"https://pith.science/pith/TMMMV4YQEJN6STQRP6HWT5E6CF/bundle.json","state":"https://pith.science/pith/TMMMV4YQEJN6STQRP6HWT5E6CF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TMMMV4YQEJN6STQRP6HWT5E6CF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TMMMV4YQEJN6STQRP6HWT5E6CF","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":"b9c8d1c351ccfe78785ba4f4d1dfc4fac041500a46f151b67a0b1d239d50f053","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-07-27T05:35:57Z","title_canon_sha256":"e6172886718be117ccc768a8c5fa363b31012effb0bfd7135b5821e4ee4adeaf"},"schema_version":"1.0","source":{"id":"2607.24021","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24021","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24021v1","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24021","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"pith_short_12","alias_value":"TMMMV4YQEJN6","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"pith_short_16","alias_value":"TMMMV4YQEJN6STQR","created_at":"2026-07-28T01:23:41Z"},{"alias_kind":"pith_short_8","alias_value":"TMMMV4YQ","created_at":"2026-07-28T01:23:41Z"}],"graph_snapshots":[{"event_id":"sha256:071c3ae27dc35f8bbe538c7f338ac64a17d5fc38cd49dcbe7af881abd2cc85c8","target":"graph","created_at":"2026-07-28T01:23:41Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.24021/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Denial Constraints (DCs) are an important class of integrity constraints and have been widely used in data quality management. In dynamic datasets, newly inserted tuples may invalidate existing DCs and require the constraint set to be updated. Existing incremental DC discovery methods still generate a large amount of intermediate evidence because they do not exploit the structural information of existing DCs during evidence construction. We propose EviDC, a violation-guided incremental DC discovery algorithm. EviDC organizes existing DCs into a prefix tree structure called DCTrie, in which eac","authors_text":"Qian Zhou, Xiaolong Wan, Xixian Han","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-07-27T05:35:57Z","title":"EviDC: A Violation-Guided Algorithm for Incremental Denial Constraint Discovery"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24021","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:63d85f3816dec349e110e2eb8d0a9e1100d6a8e7b5d113f40cf5f4e49ab552fa","target":"record","created_at":"2026-07-28T01:23:41Z","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":"b9c8d1c351ccfe78785ba4f4d1dfc4fac041500a46f151b67a0b1d239d50f053","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-07-27T05:35:57Z","title_canon_sha256":"e6172886718be117ccc768a8c5fa363b31012effb0bfd7135b5821e4ee4adeaf"},"schema_version":"1.0","source":{"id":"2607.24021","kind":"arxiv","version":1}},"canonical_sha256":"9b18caf310225be94e117f8f69f49e116e9f3e7259808a3859432f46975effed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b18caf310225be94e117f8f69f49e116e9f3e7259808a3859432f46975effed","first_computed_at":"2026-07-28T01:23:41.493463Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-28T01:23:41.493463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T2AfvD8w0EE4ZcnvK6FQKU9uPvEXtMgV2QNEZZ1S+dvOMvVkFcdRvqypSAuIvQGYEFXN3orzm7xS5wgWDoSNCg==","signature_status":"signed_v1","signed_at":"2026-07-28T01:23:41.494273Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.24021","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63d85f3816dec349e110e2eb8d0a9e1100d6a8e7b5d113f40cf5f4e49ab552fa","sha256:071c3ae27dc35f8bbe538c7f338ac64a17d5fc38cd49dcbe7af881abd2cc85c8"],"state_sha256":"674e8322498b2f04e4fd4424391dbd743c976c3df9cff26ed2c96e6ef4a85f47"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cKMdlckaH6MfkWzdB32+xtcikglCfdIydPFr+tFjXVtJTKvzbJeOFPvQK94+loDRAmAqrTib0JxKWMJYzKYlCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T14:06:44.882153Z","bundle_sha256":"5ecb671599a9934e584fc5971c8c8eff8e88d6ad1df739bec5bce33b058bf78c"}}