{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ZMW3Q7MKM2R4T3A2GT6Z74OBLD","short_pith_number":"pith:ZMW3Q7MK","canonical_record":{"source":{"id":"2305.04316","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-05-07T15:54:10Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e34d7103eddc12a3c776c3ee7c7325692cb0d73335eed9d396d887852d948f73","abstract_canon_sha256":"49eb7d606f55f5030f33388cf59688fcdbc11ea7b45836af93c43e44f44479e7"},"schema_version":"1.0"},"canonical_sha256":"cb2db87d8a66a3c9ec1a34fd9ff1c158fbb78f9dc0d17dab9d9c80e8168f8337","source":{"kind":"arxiv","id":"2305.04316","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.04316","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"arxiv_version","alias_value":"2305.04316v2","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.04316","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"pith_short_12","alias_value":"ZMW3Q7MKM2R4","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"pith_short_16","alias_value":"ZMW3Q7MKM2R4T3A2","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"pith_short_8","alias_value":"ZMW3Q7MK","created_at":"2026-07-05T06:09:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ZMW3Q7MKM2R4T3A2GT6Z74OBLD","target":"record","payload":{"canonical_record":{"source":{"id":"2305.04316","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-05-07T15:54:10Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e34d7103eddc12a3c776c3ee7c7325692cb0d73335eed9d396d887852d948f73","abstract_canon_sha256":"49eb7d606f55f5030f33388cf59688fcdbc11ea7b45836af93c43e44f44479e7"},"schema_version":"1.0"},"canonical_sha256":"cb2db87d8a66a3c9ec1a34fd9ff1c158fbb78f9dc0d17dab9d9c80e8168f8337","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:09:10.732780Z","signature_b64":"3/z2/lwYaRgeg5+mW0UaUrCKNl8uI1zppIdJsR05GAnwrgLlvLDgEsZJQC2bMv69nchSaqcacfbRuWKCvI29DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb2db87d8a66a3c9ec1a34fd9ff1c158fbb78f9dc0d17dab9d9c80e8168f8337","last_reissued_at":"2026-07-05T06:09:10.732346Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:09:10.732346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.04316","source_version":2,"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-05T06:09:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zJ8qq4gJpWyzwz7dfD0Or3J/CeG+I415/GScCJJqMPculkiCtUYVTuvmnrn2prg3GXgsLcEj+7+Rkk0z3FfTDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T15:19:03.300093Z"},"content_sha256":"bbd4898363290a7e3592eb0e500a51a222dcabc1d0cab4b50467aaf15d54ff89","schema_version":"1.0","event_id":"sha256:bbd4898363290a7e3592eb0e500a51a222dcabc1d0cab4b50467aaf15d54ff89"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ZMW3Q7MKM2R4T3A2GT6Z74OBLD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing Conjunctive Queries for Code Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Charles Zhang, Chengpeng Wang, Gang Fan, Peisen Yao, Wensheng Tang","submitted_at":"2023-05-07T15:54:10Z","abstract_excerpt":"This paper presents Squid, a new conjunctive query synthesis algorithm for searching code with target patterns. Given positive and negative examples along with a natural language description, Squid analyzes the relations derived from the examples by a Datalog-based program analyzer and synthesizes a conjunctive query expressing the search intent. The synthesized query can be further used to search for desired grammatical constructs in the editor. To achieve high efficiency, we prune the huge search space by removing unnecessary relations and enumerating query candidates via refinement. We also"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.04316","kind":"arxiv","version":2},"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/2305.04316/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-05T06:09:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mVArkDXGYDKHxjIpX81HG6qKCjrYDA58Y6RVobi8BIHfkPqvQnMYt5lHa9X5p0Qm7OHTnHpwHvj8G/ddhNmKDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T15:19:03.300624Z"},"content_sha256":"e9cd7cfcb9b7a70fb6eaed2da6faae8dd848e957142cbf8e388e52097c78d112","schema_version":"1.0","event_id":"sha256:e9cd7cfcb9b7a70fb6eaed2da6faae8dd848e957142cbf8e388e52097c78d112"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/bundle.json","state_url":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/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-05T15:19:03Z","links":{"resolver":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD","bundle":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/bundle.json","state":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZMW3Q7MKM2R4T3A2GT6Z74OBLD","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":"49eb7d606f55f5030f33388cf59688fcdbc11ea7b45836af93c43e44f44479e7","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-05-07T15:54:10Z","title_canon_sha256":"e34d7103eddc12a3c776c3ee7c7325692cb0d73335eed9d396d887852d948f73"},"schema_version":"1.0","source":{"id":"2305.04316","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.04316","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"arxiv_version","alias_value":"2305.04316v2","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.04316","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"pith_short_12","alias_value":"ZMW3Q7MKM2R4","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"pith_short_16","alias_value":"ZMW3Q7MKM2R4T3A2","created_at":"2026-07-05T06:09:10Z"},{"alias_kind":"pith_short_8","alias_value":"ZMW3Q7MK","created_at":"2026-07-05T06:09:10Z"}],"graph_snapshots":[{"event_id":"sha256:e9cd7cfcb9b7a70fb6eaed2da6faae8dd848e957142cbf8e388e52097c78d112","target":"graph","created_at":"2026-07-05T06:09:10Z","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/2305.04316/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents Squid, a new conjunctive query synthesis algorithm for searching code with target patterns. Given positive and negative examples along with a natural language description, Squid analyzes the relations derived from the examples by a Datalog-based program analyzer and synthesizes a conjunctive query expressing the search intent. The synthesized query can be further used to search for desired grammatical constructs in the editor. To achieve high efficiency, we prune the huge search space by removing unnecessary relations and enumerating query candidates via refinement. We also","authors_text":"Charles Zhang, Chengpeng Wang, Gang Fan, Peisen Yao, Wensheng Tang","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-05-07T15:54:10Z","title":"Synthesizing Conjunctive Queries for Code Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.04316","kind":"arxiv","version":2},"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:bbd4898363290a7e3592eb0e500a51a222dcabc1d0cab4b50467aaf15d54ff89","target":"record","created_at":"2026-07-05T06:09:10Z","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":"49eb7d606f55f5030f33388cf59688fcdbc11ea7b45836af93c43e44f44479e7","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-05-07T15:54:10Z","title_canon_sha256":"e34d7103eddc12a3c776c3ee7c7325692cb0d73335eed9d396d887852d948f73"},"schema_version":"1.0","source":{"id":"2305.04316","kind":"arxiv","version":2}},"canonical_sha256":"cb2db87d8a66a3c9ec1a34fd9ff1c158fbb78f9dc0d17dab9d9c80e8168f8337","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb2db87d8a66a3c9ec1a34fd9ff1c158fbb78f9dc0d17dab9d9c80e8168f8337","first_computed_at":"2026-07-05T06:09:10.732346Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:09:10.732346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3/z2/lwYaRgeg5+mW0UaUrCKNl8uI1zppIdJsR05GAnwrgLlvLDgEsZJQC2bMv69nchSaqcacfbRuWKCvI29DA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:09:10.732780Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.04316","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbd4898363290a7e3592eb0e500a51a222dcabc1d0cab4b50467aaf15d54ff89","sha256:e9cd7cfcb9b7a70fb6eaed2da6faae8dd848e957142cbf8e388e52097c78d112"],"state_sha256":"31a0e258f646aafbe40335a3726829f7c615bc4f6471448a148e17fa36bbc7d9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aYMcjNOSFXukzCM8u0Z8sipC5Ib/IgJu+1/t72hm69uvNKf6ESPjqX3DrIQ1TujWT4f5lhmc1O+lJpPZ4rxXAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T15:19:03.305408Z","bundle_sha256":"eeeff164bdb11cad732377cb6c3254c95c738ce266ee047b3090afab0c955514"}}