{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","short_pith_number":"pith:GCJZNVWQ","canonical_record":{"source":{"id":"2607.16452","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T18:49:26Z","cross_cats_sorted":[],"title_canon_sha256":"aaf8ae54bebfee1cfb105ce3e3ed8bd3e0e6d76dfdc41776d6b4ccb5ec7073a2","abstract_canon_sha256":"d4ec32320348cc49f8486e30af4fc75fc1a6e2772d1c793a3e1b924cf9777afe"},"schema_version":"1.0"},"canonical_sha256":"309396d6d05afcca8df035bf55e6d46e4e408091c0d4924414dba4f0a3971c49","source":{"kind":"arxiv","id":"2607.16452","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16452","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16452v1","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16452","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"pith_short_12","alias_value":"GCJZNVWQLL6M","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"pith_short_16","alias_value":"GCJZNVWQLL6MVDPQ","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"pith_short_8","alias_value":"GCJZNVWQ","created_at":"2026-07-21T00:20:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","target":"record","payload":{"canonical_record":{"source":{"id":"2607.16452","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T18:49:26Z","cross_cats_sorted":[],"title_canon_sha256":"aaf8ae54bebfee1cfb105ce3e3ed8bd3e0e6d76dfdc41776d6b4ccb5ec7073a2","abstract_canon_sha256":"d4ec32320348cc49f8486e30af4fc75fc1a6e2772d1c793a3e1b924cf9777afe"},"schema_version":"1.0"},"canonical_sha256":"309396d6d05afcca8df035bf55e6d46e4e408091c0d4924414dba4f0a3971c49","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-21T00:20:19.412749Z","signature_b64":"t/VhcB2ItYFHJgLYIyxO43sAlYf1JYBQPssbEUArgEsJt1ZCAc5caQWMLOjHl4qfSCg/4CRs1Xze9lfn5a/RCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"309396d6d05afcca8df035bf55e6d46e4e408091c0d4924414dba4f0a3971c49","last_reissued_at":"2026-07-21T00:20:19.411882Z","signature_status":"signed_v1","first_computed_at":"2026-07-21T00:20:19.411882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.16452","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-21T00:20:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cV9kkvWSL++LyFQWxmg0aHk+idL7qk9N4LWa9jxTAEfVgM5Iz1OfZ6X0yRq+XmhuhD1U2iFQfV3u9iiwgfOxDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:05:05.291680Z"},"content_sha256":"ffe9f26e6bf4a381921f4ca1f4479e7f2c5662c0656ce631eed137bad6ba390f","schema_version":"1.0","event_id":"sha256:ffe9f26e6bf4a381921f4ca1f4479e7f2c5662c0656ce631eed137bad6ba390f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"I-Rex: An Interactive Debugger for SQL","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Alex Chao, Jun Yang, Kristin Stephens-Martinez, Sharan Sokhi, Sudeepa Roy, Yihao Hu, Zachary Zheng, Zhiming Leong, Zian Chen","submitted_at":"2026-07-17T18:49:26Z","abstract_excerpt":"SQL is declarative in nature and rich in its features. Writing semantically correct SQL queries and finding logical bugs in SQL are not easy, even for experienced programmers, who are often used to the mindset of working with general-purpose programming languages (GPLs). While there are many GPL debuggers, SQL debugging has received much less attention. In this paper, we present I-Rex, a SQL debugger that enables users to inspect the logical execution of SQL queries visually and interactively to identify and potentially fix logical bugs in the queries. I-Rex draws analogies to the debugging pa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16452","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.16452/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-21T00:20:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SQaNoD36592cnLvJv9UKpY8oyTrRRLlrX+81wcoqY6AWBpipc4jHqRi9hgNcun+fvJyDo/QQxTBfv49heg1bCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:05:05.292743Z"},"content_sha256":"79adb6d10fd0ae9df4fa0628f63ffcfbfd37e5cac1b3b81879a844cc6bc4e73b","schema_version":"1.0","event_id":"sha256:79adb6d10fd0ae9df4fa0628f63ffcfbfd37e5cac1b3b81879a844cc6bc4e73b"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.18653/v1/2021.findings-acl.388) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Logic-Consistency Text Generation from Semantic Parses. InFindings of the Association for Computational Linguistics: ACL-IJCNLP 2021. Association for Computational Linguistics, Online, 4414–4426. https://doi.org/10.18653/v1/2021. findings-a","arxiv_id":"2607.16452","detector":"doi_compliance","evidence":{"ref_index":2021,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.18653/v1/2021","reconstructed_doi":"10.18653/v1/2021.findings-acl.388"},"severity":"advisory","ref_index":2021,"audited_at":"2026-08-01T21:00:03.472088Z","event_type":"pith.integrity.v1","detected_doi":"10.18653/v1/2021.findings-acl.388","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"78e0acf5d98a29c613d437bf10803cbb73b1ea9e130d1a12650a62693eb1426d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16624,"payload_sha256":"7f39e347f0caf648c83970d79f2058dcd8214d4c0c598f6a5496a567c4c88bf4","signature_b64":"OGPF1OhORcT29P/x3lM+z7qIB00rcTwnLTUhyFg05KWCA4IqNevtzdwSWI/1Yk/WVnzrFiplBdKInQUF9eQ0Dw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T21:03:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ml5FDvxDvWOmRvt0Sh/J31VTjMQVxSqOHZcOW6HNI3VaHyD4uIHOwjD/jhK0VgmIzWsAdhZwcM4WLf5jKSG7Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:05:05.303146Z"},"content_sha256":"348fe3c54cc8744e2d12b717952cabaa292669b190de8cb59b65b36b963b37dd","schema_version":"1.0","event_id":"sha256:348fe3c54cc8744e2d12b717952cabaa292669b190de8cb59b65b36b963b37dd"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.18653/v1/2025.acl-industry.71) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Pushpendu Ghosh, Aryan Jain, and Promod Yenigalla. 2025. SQLGenie: A Practi- cal LLM based System for Reliable and Efficient SQL Generation. InProceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 6","arxiv_id":"2607.16452","detector":"doi_compliance","evidence":{"ref_index":38,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.18653/v1/2025.acl-","reconstructed_doi":"10.18653/v1/2025.acl-industry.71"},"severity":"advisory","ref_index":38,"audited_at":"2026-08-01T21:00:03.472088Z","event_type":"pith.integrity.v1","detected_doi":"10.18653/v1/2025.acl-industry.71","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"0f0617df2dcb7bd121c9978b1f8f6e04c851629883f2c26485b04d78a169ccec","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16623,"payload_sha256":"4facae968506fcac713cc3b80833c31c8b74a89716a38c0221533cdad51a998f","signature_b64":"PHFPtWwU+bYKzqSAlKiRt/F/XeW7S+Dau0DExbjbEl/amnr1P+r6dMnAmgINUSrfYbJhikqIV7MjrbtLtOG9Aw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T21:03:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XJBnNtZTq97wj+7V7DBYH6FneZVemF/2SkmPkwcN4h7Z+K108VYUjdvGDcnh0ZEirE8OtxcOj0q6L/GWOVmrCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:05:05.303897Z"},"content_sha256":"9dcc284edbe2fb01cb6bae1f19a320ed6b8b1a11cb241a9c06782a3ebef9d9e7","schema_version":"1.0","event_id":"sha256:9dcc284edbe2fb01cb6bae1f19a320ed6b8b1a11cb241a9c06782a3ebef9d9e7"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1016/J.JSS.2005.06.028 resolves to 'Semantic errors in SQL queries: A quite complete list'. A reader following the printed text alone cannot reach it.","snippet":"Stefan Brass and Christian Goldberg. 2006. Semantic errors in SQL queries: A quite complete list.J. Syst. Softw.79, 5 (2006), 630–644. https://doi.org/10.1016/J. JSS.2005.06.028","arxiv_id":"2607.16452","detector":"doi_compliance","evidence":{"ref_index":16,"verdict_class":"incontrovertible","resolved_title":"Semantic errors in SQL queries: A quite complete list","printed_excerpt":"10.1016/j","reconstructed_doi":"10.1016/J.JSS.2005.06.028"},"severity":"advisory","ref_index":16,"audited_at":"2026-08-01T21:00:03.472088Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/J.JSS.2005.06.028","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"6ef07687ed12857229783d4e3151666f02fff5abf11e2204924450787099b239","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Semantic errors in SQL queries: A quite complete list","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16622,"payload_sha256":"2ecdb2a4a8521369359783ba6f2841aba116588bb978c3e0c84bbd522fcb6d68","signature_b64":"m/ipS0epYVAbmX0he0o3cXfBJwoH0BlyMNbBShF0DOQW1i7vbUPCpLZYtyWV8Jl+xKKquoQkI0FRR0Lmrs0vDA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T21:03:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+4bSKBzq9S3wCadU8AYbGwky63zoV/QOjGIeQqr1Zppr4+CqeT6zD6TKjSVjP/Y+5DW0coSYvyOpSUITl6cKBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:05:05.304631Z"},"content_sha256":"73ec2aeafd1707a6e04e4e02385e83a8058f704acc2ea968dc9958d4d827e782","schema_version":"1.0","event_id":"sha256:73ec2aeafd1707a6e04e4e02385e83a8058f704acc2ea968dc9958d4d827e782"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1145/362686.362692 resolves to 'Space/time trade-offs in hash coding with allowable errors'. A reader following the printed text alone cannot reach it.","snippet":"Burton H. Bloom. 1970. Space/Time Trade-offs in Hash Coding with Allowable Errors.Commun. ACM13, 7 (1970), 422–426. https://doi.org/10.1145/362686. 362692","arxiv_id":"2607.16452","detector":"doi_compliance","evidence":{"ref_index":13,"verdict_class":"incontrovertible","resolved_title":"Space/time trade-offs in hash coding with allowable errors","printed_excerpt":"10.1145/362686","reconstructed_doi":"10.1145/362686.362692"},"severity":"advisory","ref_index":13,"audited_at":"2026-08-01T21:00:03.472088Z","event_type":"pith.integrity.v1","detected_doi":"10.1145/362686.362692","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"511879334adce34437fd8065bb3155eea486472a4ca8765d5d06853b2e54b0f3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Space/time trade-offs in hash coding with allowable errors","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16621,"payload_sha256":"ab6eb0640783c07dcacacec7999a35b5a7822fe7c66d7e2e2fb2c9a3237799c8","signature_b64":"nFuQShLx7wUa09oIVW66Sjw+FA+TWXD9XFzv/u3LOwxSpzmYy8RndCtlUtCAzkTVds/Rm8nmkOdPrnVx6F7jBQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T21:03:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a2EOkzCz5P6xVpA5BvjDVrzm8gIBV8aLmql/6PjxqyXDX057JPKU9sIF0zATKc1KEv7i9HmecmNdmEt1i8QtDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:05:05.305343Z"},"content_sha256":"bf116a5bbe8f7437ddbc84bf984be764df2b26b6eafb7f2ae6b4a1a2984635ef","schema_version":"1.0","event_id":"sha256:bf116a5bbe8f7437ddbc84bf984be764df2b26b6eafb7f2ae6b4a1a2984635ef"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GCJZNVWQLL6MVDPQGW7VLZWUNZ/bundle.json","state_url":"https://pith.science/pith/GCJZNVWQLL6MVDPQGW7VLZWUNZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GCJZNVWQLL6MVDPQGW7VLZWUNZ/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-03T22:05:05Z","links":{"resolver":"https://pith.science/pith/GCJZNVWQLL6MVDPQGW7VLZWUNZ","bundle":"https://pith.science/pith/GCJZNVWQLL6MVDPQGW7VLZWUNZ/bundle.json","state":"https://pith.science/pith/GCJZNVWQLL6MVDPQGW7VLZWUNZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GCJZNVWQLL6MVDPQGW7VLZWUNZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GCJZNVWQLL6MVDPQGW7VLZWUNZ","merge_version":"pith-open-graph-merge-v1","event_count":6,"valid_event_count":6,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d4ec32320348cc49f8486e30af4fc75fc1a6e2772d1c793a3e1b924cf9777afe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T18:49:26Z","title_canon_sha256":"aaf8ae54bebfee1cfb105ce3e3ed8bd3e0e6d76dfdc41776d6b4ccb5ec7073a2"},"schema_version":"1.0","source":{"id":"2607.16452","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16452","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16452v1","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16452","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"pith_short_12","alias_value":"GCJZNVWQLL6M","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"pith_short_16","alias_value":"GCJZNVWQLL6MVDPQ","created_at":"2026-07-21T00:20:19Z"},{"alias_kind":"pith_short_8","alias_value":"GCJZNVWQ","created_at":"2026-07-21T00:20:19Z"}],"graph_snapshots":[{"event_id":"sha256:79adb6d10fd0ae9df4fa0628f63ffcfbfd37e5cac1b3b81879a844cc6bc4e73b","target":"graph","created_at":"2026-07-21T00:20:19Z","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.16452/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"SQL is declarative in nature and rich in its features. Writing semantically correct SQL queries and finding logical bugs in SQL are not easy, even for experienced programmers, who are often used to the mindset of working with general-purpose programming languages (GPLs). While there are many GPL debuggers, SQL debugging has received much less attention. In this paper, we present I-Rex, a SQL debugger that enables users to inspect the logical execution of SQL queries visually and interactively to identify and potentially fix logical bugs in the queries. I-Rex draws analogies to the debugging pa","authors_text":"Alex Chao, Jun Yang, Kristin Stephens-Martinez, Sharan Sokhi, Sudeepa Roy, Yihao Hu, Zachary Zheng, Zhiming Leong, Zian Chen","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T18:49:26Z","title":"I-Rex: An Interactive Debugger for SQL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16452","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:ffe9f26e6bf4a381921f4ca1f4479e7f2c5662c0656ce631eed137bad6ba390f","target":"record","created_at":"2026-07-21T00:20:19Z","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":"d4ec32320348cc49f8486e30af4fc75fc1a6e2772d1c793a3e1b924cf9777afe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T18:49:26Z","title_canon_sha256":"aaf8ae54bebfee1cfb105ce3e3ed8bd3e0e6d76dfdc41776d6b4ccb5ec7073a2"},"schema_version":"1.0","source":{"id":"2607.16452","kind":"arxiv","version":1}},"canonical_sha256":"309396d6d05afcca8df035bf55e6d46e4e408091c0d4924414dba4f0a3971c49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"309396d6d05afcca8df035bf55e6d46e4e408091c0d4924414dba4f0a3971c49","first_computed_at":"2026-07-21T00:20:19.411882Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-21T00:20:19.411882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t/VhcB2ItYFHJgLYIyxO43sAlYf1JYBQPssbEUArgEsJt1ZCAc5caQWMLOjHl4qfSCg/4CRs1Xze9lfn5a/RCg==","signature_status":"signed_v1","signed_at":"2026-07-21T00:20:19.412749Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.16452","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:348fe3c54cc8744e2d12b717952cabaa292669b190de8cb59b65b36b963b37dd","sha256:73ec2aeafd1707a6e04e4e02385e83a8058f704acc2ea968dc9958d4d827e782","sha256:9dcc284edbe2fb01cb6bae1f19a320ed6b8b1a11cb241a9c06782a3ebef9d9e7","sha256:bf116a5bbe8f7437ddbc84bf984be764df2b26b6eafb7f2ae6b4a1a2984635ef"]}],"invalid_events":[],"applied_event_ids":["sha256:ffe9f26e6bf4a381921f4ca1f4479e7f2c5662c0656ce631eed137bad6ba390f","sha256:79adb6d10fd0ae9df4fa0628f63ffcfbfd37e5cac1b3b81879a844cc6bc4e73b"],"state_sha256":"a5c34eeae6f91bb275b75be96c7c552f5d34cf422b56dbbf9102027149a0a79a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kUG+0mtBaAI22663FFOI3Be2mMPbGO6J/mQ4s8P30JaCxnGYxC17Bj8n/c9A7D6Yj7leARtd8TkbKlfO6mPnCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T22:05:05.367368Z","bundle_sha256":"2ccbb5a25702b43a9badfa894a424e123ef9f014247aa00e773d02e58d93d69c"}}