{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:EF566WYYWWQKN6Y64KWQFQEIKE","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":"50f85601fd893cf8ed84b6a8d0802b05f65a09c31f139447d3f8359d9c15b301","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","title_canon_sha256":"5a4e97c3577399111c337aeb0344d7cf1a17f4190290ad40d77e0e33c8508aae"},"schema_version":"1.0","source":{"id":"2606.23294","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23294","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23294v1","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23294","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_12","alias_value":"EF566WYYWWQK","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_16","alias_value":"EF566WYYWWQKN6Y6","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_8","alias_value":"EF566WYY","created_at":"2026-06-23T03:14:16Z"}],"graph_snapshots":[{"event_id":"sha256:d4621e598b7827821c10df28fb03bdbf93e623f13771e7771d38afd953680766","target":"graph","created_at":"2026-06-23T03:14:16Z","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/2606.23294/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The query optimizer is a fundamental component of database management systems that determines the most efficient execution strategy for a given query by evaluating alternative query plans. Among its tasks, join optimization plays a central role, as the order of joins in multi-table queries can significantly affect execution performance. However, due to the inherent complexity of join optimization, logical bugs are inevitable and often difficult to detect. While existing fuzzing tools have shown notable success in uncovering crash- and performance-related errors, effectively identifying logical","authors_text":"Aoying Zho, Ce Lyu, Changzheng Wei, Hanghang Wu, Jie Liang, Li Lin, Minghao Zhao, Yanhao Wang, Ying Yan","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23294","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:6837765e94ccec64e6d8d46c73d6654e4519b42574689669d8f988198ed9e83a","target":"record","created_at":"2026-06-23T03:14:16Z","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":"50f85601fd893cf8ed84b6a8d0802b05f65a09c31f139447d3f8359d9c15b301","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","title_canon_sha256":"5a4e97c3577399111c337aeb0344d7cf1a17f4190290ad40d77e0e33c8508aae"},"schema_version":"1.0","source":{"id":"2606.23294","kind":"arxiv","version":1}},"canonical_sha256":"217bef5b18b5a0a6fb1ee2ad02c0885100ef0b3bd13da4ba03129c6431d81443","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"217bef5b18b5a0a6fb1ee2ad02c0885100ef0b3bd13da4ba03129c6431d81443","first_computed_at":"2026-06-23T03:14:16.078236Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:14:16.078236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"57b/bdJVSsVnLVifwc2c10oZvI7BFFLzR9cbchwMmS7KQC0iEsO/VA8ekcknmV390+bXrpoLLjoSv9InACKKAw==","signature_status":"signed_v1","signed_at":"2026-06-23T03:14:16.078644Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23294","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6837765e94ccec64e6d8d46c73d6654e4519b42574689669d8f988198ed9e83a","sha256:d4621e598b7827821c10df28fb03bdbf93e623f13771e7771d38afd953680766"],"state_sha256":"b5e45b43c6ec79909b7640232b45bb89d6d8529f57ece1f6b0bb372df41ed1fc"}