{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XG3HOVBISN2VT2IPZ4LHOXTH4K","short_pith_number":"pith:XG3HOVBI","canonical_record":{"source":{"id":"2503.00600","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-03-01T19:59:25Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"eb3cff715b24acebcfc03150d66cfe9c4553b4c97c7887d4c913d61b942d6754","abstract_canon_sha256":"0494a01ee215b07071e769ffd4c2bf3b1ec865fed3db9366353bb2867de56bd2"},"schema_version":"1.0"},"canonical_sha256":"b9b6775428937559e90fcf16775e67e29e603a4c63654af04bfb124accaf0ca3","source":{"kind":"arxiv","id":"2503.00600","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.00600","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"arxiv_version","alias_value":"2503.00600v3","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.00600","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"pith_short_12","alias_value":"XG3HOVBISN2V","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"pith_short_16","alias_value":"XG3HOVBISN2VT2IP","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"pith_short_8","alias_value":"XG3HOVBI","created_at":"2026-07-05T12:01:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XG3HOVBISN2VT2IPZ4LHOXTH4K","target":"record","payload":{"canonical_record":{"source":{"id":"2503.00600","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-03-01T19:59:25Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"eb3cff715b24acebcfc03150d66cfe9c4553b4c97c7887d4c913d61b942d6754","abstract_canon_sha256":"0494a01ee215b07071e769ffd4c2bf3b1ec865fed3db9366353bb2867de56bd2"},"schema_version":"1.0"},"canonical_sha256":"b9b6775428937559e90fcf16775e67e29e603a4c63654af04bfb124accaf0ca3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:01:58.096768Z","signature_b64":"TX2+bYxHczay/QD2rc4hLCmPUWcbB9HjTT8c27ZgAf0H1Z9yHMCRgvBxZytiOEvlfxRh/3TD/0EJizjRltX0Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9b6775428937559e90fcf16775e67e29e603a4c63654af04bfb124accaf0ca3","last_reissued_at":"2026-07-05T12:01:58.096269Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:01:58.096269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.00600","source_version":3,"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-05T12:01:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BE4A30ZXJsLdSAdvwfc4Ny1PMumHNClTwf0dRbpC1XjBODS9AzmegNMHkgZUwiGWFsN/SUpXRVSR0C5NpDjDDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-28T07:39:16.613670Z"},"content_sha256":"35a16703bacfcbb7a9b9f56c2ed27ea9e7f71d536a39394daca2023c7e88932f","schema_version":"1.0","event_id":"sha256:35a16703bacfcbb7a9b9f56c2ed27ea9e7f71d536a39394daca2023c7e88932f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XG3HOVBISN2VT2IPZ4LHOXTH4K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.DB","authors_text":"Akshay Mehta, Alexander W. Lee, Deepti Raghavan, Justin Chan, Michael Fu, Nicolas Kim, Ugur Cetintemel","submitted_at":"2025-03-01T19:59:25Z","abstract_excerpt":"AI-augmented data processing systems (DPSs) integrate large language models (LLMs) into query pipelines, allowing powerful semantic operations on structured and unstructured data. However, the reliability (a.k.a. trust) of these systems is fundamentally challenged by the potential for LLMs to produce errors, limiting their adoption in critical domains. To help address this reliability bottleneck, we introduce semantic integrity constraints (SICs) -- a declarative abstraction for specifying and enforcing correctness conditions over LLM outputs in semantic queries. SICs generalize traditional da"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.00600","kind":"arxiv","version":3},"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/2503.00600/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-05T12:01:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OSwrZmZnzfUTH4EchKQez/vCuU3tMitcI86FDIHGHeu51Ft1KY1sH55rMdu0NOEGNgHyI4StX6iVEpw1P8HEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-28T07:39:16.614044Z"},"content_sha256":"090c7c7e11aac248d88a64468afc7dea77ac46aef3fb8d4f7f6a553d632ef282","schema_version":"1.0","event_id":"sha256:090c7c7e11aac248d88a64468afc7dea77ac46aef3fb8d4f7f6a553d632ef282"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XG3HOVBISN2VT2IPZ4LHOXTH4K/bundle.json","state_url":"https://pith.science/pith/XG3HOVBISN2VT2IPZ4LHOXTH4K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XG3HOVBISN2VT2IPZ4LHOXTH4K/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-07-28T07:39:16Z","links":{"resolver":"https://pith.science/pith/XG3HOVBISN2VT2IPZ4LHOXTH4K","bundle":"https://pith.science/pith/XG3HOVBISN2VT2IPZ4LHOXTH4K/bundle.json","state":"https://pith.science/pith/XG3HOVBISN2VT2IPZ4LHOXTH4K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XG3HOVBISN2VT2IPZ4LHOXTH4K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XG3HOVBISN2VT2IPZ4LHOXTH4K","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":"0494a01ee215b07071e769ffd4c2bf3b1ec865fed3db9366353bb2867de56bd2","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-03-01T19:59:25Z","title_canon_sha256":"eb3cff715b24acebcfc03150d66cfe9c4553b4c97c7887d4c913d61b942d6754"},"schema_version":"1.0","source":{"id":"2503.00600","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.00600","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"arxiv_version","alias_value":"2503.00600v3","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.00600","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"pith_short_12","alias_value":"XG3HOVBISN2V","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"pith_short_16","alias_value":"XG3HOVBISN2VT2IP","created_at":"2026-07-05T12:01:58Z"},{"alias_kind":"pith_short_8","alias_value":"XG3HOVBI","created_at":"2026-07-05T12:01:58Z"}],"graph_snapshots":[{"event_id":"sha256:090c7c7e11aac248d88a64468afc7dea77ac46aef3fb8d4f7f6a553d632ef282","target":"graph","created_at":"2026-07-05T12:01:58Z","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/2503.00600/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"AI-augmented data processing systems (DPSs) integrate large language models (LLMs) into query pipelines, allowing powerful semantic operations on structured and unstructured data. However, the reliability (a.k.a. trust) of these systems is fundamentally challenged by the potential for LLMs to produce errors, limiting their adoption in critical domains. To help address this reliability bottleneck, we introduce semantic integrity constraints (SICs) -- a declarative abstraction for specifying and enforcing correctness conditions over LLM outputs in semantic queries. SICs generalize traditional da","authors_text":"Akshay Mehta, Alexander W. Lee, Deepti Raghavan, Justin Chan, Michael Fu, Nicolas Kim, Ugur Cetintemel","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-03-01T19:59:25Z","title":"Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.00600","kind":"arxiv","version":3},"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:35a16703bacfcbb7a9b9f56c2ed27ea9e7f71d536a39394daca2023c7e88932f","target":"record","created_at":"2026-07-05T12:01:58Z","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":"0494a01ee215b07071e769ffd4c2bf3b1ec865fed3db9366353bb2867de56bd2","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-03-01T19:59:25Z","title_canon_sha256":"eb3cff715b24acebcfc03150d66cfe9c4553b4c97c7887d4c913d61b942d6754"},"schema_version":"1.0","source":{"id":"2503.00600","kind":"arxiv","version":3}},"canonical_sha256":"b9b6775428937559e90fcf16775e67e29e603a4c63654af04bfb124accaf0ca3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9b6775428937559e90fcf16775e67e29e603a4c63654af04bfb124accaf0ca3","first_computed_at":"2026-07-05T12:01:58.096269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:01:58.096269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TX2+bYxHczay/QD2rc4hLCmPUWcbB9HjTT8c27ZgAf0H1Z9yHMCRgvBxZytiOEvlfxRh/3TD/0EJizjRltX0Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:01:58.096768Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.00600","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35a16703bacfcbb7a9b9f56c2ed27ea9e7f71d536a39394daca2023c7e88932f","sha256:090c7c7e11aac248d88a64468afc7dea77ac46aef3fb8d4f7f6a553d632ef282"],"state_sha256":"0d9e702c48768cc8e57c277ff471ce349a41118f96b1c90376a436a130e21b77"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eHckJOKcqyvcr8fgH+0JMGKARSaTe7euA2LO7YMy9qA86Jj6034Q5C/i37PvU0bVlhDZNcDPMGJEtA7nwpHfDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-28T07:39:16.616650Z","bundle_sha256":"1ace0a9869620757002ca904e1d855ab4f201c60e5327dc9c0a423eac3e6220b"}}