{"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"}