{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:T62EIMP2TBWKUIMD7PGKU52VWF","short_pith_number":"pith:T62EIMP2","canonical_record":{"source":{"id":"2507.02107","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-02T19:42:37Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"e9b174b757845fc970733b659ebb49a2ba31a589262b88d186ee52d87474cc94","abstract_canon_sha256":"16dfa0af19ae7c19dce256d1c31fef4441ab01499e4d74acd6cd37f939fb5c12"},"schema_version":"1.0"},"canonical_sha256":"9fb44431fa986caa2183fbccaa7755b17f577d4eb79bfba689f2f3e224bba847","source":{"kind":"arxiv","id":"2507.02107","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.02107","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"arxiv_version","alias_value":"2507.02107v1","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.02107","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"pith_short_12","alias_value":"T62EIMP2TBWK","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"T62EIMP2TBWKUIMD","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"T62EIMP2","created_at":"2026-07-05T11:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:T62EIMP2TBWKUIMD7PGKU52VWF","target":"record","payload":{"canonical_record":{"source":{"id":"2507.02107","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-02T19:42:37Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"e9b174b757845fc970733b659ebb49a2ba31a589262b88d186ee52d87474cc94","abstract_canon_sha256":"16dfa0af19ae7c19dce256d1c31fef4441ab01499e4d74acd6cd37f939fb5c12"},"schema_version":"1.0"},"canonical_sha256":"9fb44431fa986caa2183fbccaa7755b17f577d4eb79bfba689f2f3e224bba847","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:31:12.204918Z","signature_b64":"np72FjAXur009KWfqihwl9bZ7sT8K3+t4zzm+DvCVnxf6Nyif0i9G4v3IPeme8TX4PXoRj6sq5U9Io76EudsCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9fb44431fa986caa2183fbccaa7755b17f577d4eb79bfba689f2f3e224bba847","last_reissued_at":"2026-07-05T11:31:12.204424Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:31:12.204424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.02107","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-05T11:31:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XlGqTV/9F52sWDB6ndKCGt7UOpvIdAHeRxsUqz0Pqic5UQma0CfqeRblV+BqLAPuUwvU6dTwYysFCLJrCHIIAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T12:19:59.950852Z"},"content_sha256":"3a9ccc05760811332c5870844dc7b543313dbd5ce8c9ed3393ac13785a5d19d8","schema_version":"1.0","event_id":"sha256:3a9ccc05760811332c5870844dc7b543313dbd5ce8c9ed3393ac13785a5d19d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:T62EIMP2TBWKUIMD7PGKU52VWF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structural Code Search using Natural Language Queries","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Anoop Deoras, Ben Limpanukorn, Miryung Kim, Murali Krishna Ramanathan, Pranav Garg, Xiaofei Ma, Yanjun Wang, Zach Patterson","submitted_at":"2025-07-02T19:42:37Z","abstract_excerpt":"Searching code is a common task that developers perform to understand APIs, learn common code patterns, and navigate code. Currently, developers most commonly search using keywords and regular expressions that are easy to use and widely available. Beyond keywords and regular expressions, structural code search tools allow developers to search for code based on its syntactic structure. This has numerous applications ranging from bug finding to systematically refactoring code. However, these structural code search tools operate on queries expressed in domain-specific languages (DSL) that can be "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.02107","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/2507.02107/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-05T11:31:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QoA9DSVt7vsDcJwmuPHfCCo8sflDPtk5WlKO1yqzx+bE8rY1VIzCOVAR1j/iZ3iP3KDS/ZCl7q80hci7Pzk0Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T12:19:59.951366Z"},"content_sha256":"a7d8f97aafc13ad92e873150dae0ce28ede28361075122a8565c7439b25671d9","schema_version":"1.0","event_id":"sha256:a7d8f97aafc13ad92e873150dae0ce28ede28361075122a8565c7439b25671d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T62EIMP2TBWKUIMD7PGKU52VWF/bundle.json","state_url":"https://pith.science/pith/T62EIMP2TBWKUIMD7PGKU52VWF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T62EIMP2TBWKUIMD7PGKU52VWF/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-10T12:19:59Z","links":{"resolver":"https://pith.science/pith/T62EIMP2TBWKUIMD7PGKU52VWF","bundle":"https://pith.science/pith/T62EIMP2TBWKUIMD7PGKU52VWF/bundle.json","state":"https://pith.science/pith/T62EIMP2TBWKUIMD7PGKU52VWF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T62EIMP2TBWKUIMD7PGKU52VWF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:T62EIMP2TBWKUIMD7PGKU52VWF","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":"16dfa0af19ae7c19dce256d1c31fef4441ab01499e4d74acd6cd37f939fb5c12","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-02T19:42:37Z","title_canon_sha256":"e9b174b757845fc970733b659ebb49a2ba31a589262b88d186ee52d87474cc94"},"schema_version":"1.0","source":{"id":"2507.02107","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.02107","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"arxiv_version","alias_value":"2507.02107v1","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.02107","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"pith_short_12","alias_value":"T62EIMP2TBWK","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"T62EIMP2TBWKUIMD","created_at":"2026-07-05T11:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"T62EIMP2","created_at":"2026-07-05T11:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:a7d8f97aafc13ad92e873150dae0ce28ede28361075122a8565c7439b25671d9","target":"graph","created_at":"2026-07-05T11:31:12Z","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/2507.02107/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Searching code is a common task that developers perform to understand APIs, learn common code patterns, and navigate code. Currently, developers most commonly search using keywords and regular expressions that are easy to use and widely available. Beyond keywords and regular expressions, structural code search tools allow developers to search for code based on its syntactic structure. This has numerous applications ranging from bug finding to systematically refactoring code. However, these structural code search tools operate on queries expressed in domain-specific languages (DSL) that can be ","authors_text":"Anoop Deoras, Ben Limpanukorn, Miryung Kim, Murali Krishna Ramanathan, Pranav Garg, Xiaofei Ma, Yanjun Wang, Zach Patterson","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-02T19:42:37Z","title":"Structural Code Search using Natural Language Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.02107","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:3a9ccc05760811332c5870844dc7b543313dbd5ce8c9ed3393ac13785a5d19d8","target":"record","created_at":"2026-07-05T11:31:12Z","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":"16dfa0af19ae7c19dce256d1c31fef4441ab01499e4d74acd6cd37f939fb5c12","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-02T19:42:37Z","title_canon_sha256":"e9b174b757845fc970733b659ebb49a2ba31a589262b88d186ee52d87474cc94"},"schema_version":"1.0","source":{"id":"2507.02107","kind":"arxiv","version":1}},"canonical_sha256":"9fb44431fa986caa2183fbccaa7755b17f577d4eb79bfba689f2f3e224bba847","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9fb44431fa986caa2183fbccaa7755b17f577d4eb79bfba689f2f3e224bba847","first_computed_at":"2026-07-05T11:31:12.204424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:31:12.204424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"np72FjAXur009KWfqihwl9bZ7sT8K3+t4zzm+DvCVnxf6Nyif0i9G4v3IPeme8TX4PXoRj6sq5U9Io76EudsCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:31:12.204918Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.02107","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a9ccc05760811332c5870844dc7b543313dbd5ce8c9ed3393ac13785a5d19d8","sha256:a7d8f97aafc13ad92e873150dae0ce28ede28361075122a8565c7439b25671d9"],"state_sha256":"a8842b7c2c0bf20e1b7ea4359a1280551e52e9277cbb27732a87b452aabe8129"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"64MRDEQT30StgLylLRN2GC0seDR7v2DRF19CtouQX0gfwEQJSyOg39dkb6BqhloUBLFGP0HKjooJ1VAe5za/Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T12:19:59.956944Z","bundle_sha256":"e3330c08f15e74b8d522c9837e4805f099aac12193618231feeb92c062ae9e83"}}