{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7NHU6DNCORG2KPMVV6Z6NCQ3HT","short_pith_number":"pith:7NHU6DNC","canonical_record":{"source":{"id":"2606.29108","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-27T23:16:50Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"4e6a9b757cf551d4f8054282d488cf788c89094169b6f14ea5a584e529f9216d","abstract_canon_sha256":"91a9f592d1c3071ac94a84b79cb3d3739fd90ceec0596e8bf152a471db0584fa"},"schema_version":"1.0"},"canonical_sha256":"fb4f4f0da2744da53d95afb3e68a1b3ceb1bdb4b524919318ab566d59bbe001a","source":{"kind":"arxiv","id":"2606.29108","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.29108","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"arxiv_version","alias_value":"2606.29108v1","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.29108","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"pith_short_12","alias_value":"7NHU6DNCORG2","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"pith_short_16","alias_value":"7NHU6DNCORG2KPMV","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"pith_short_8","alias_value":"7NHU6DNC","created_at":"2026-06-30T01:17:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7NHU6DNCORG2KPMVV6Z6NCQ3HT","target":"record","payload":{"canonical_record":{"source":{"id":"2606.29108","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-27T23:16:50Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"4e6a9b757cf551d4f8054282d488cf788c89094169b6f14ea5a584e529f9216d","abstract_canon_sha256":"91a9f592d1c3071ac94a84b79cb3d3739fd90ceec0596e8bf152a471db0584fa"},"schema_version":"1.0"},"canonical_sha256":"fb4f4f0da2744da53d95afb3e68a1b3ceb1bdb4b524919318ab566d59bbe001a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T01:17:53.140809Z","signature_b64":"VUXV4p7YFn106lgUCLg25Yye5bbhvbLAyu1OD+1vlh2ebqf7ijFL84EAPr/bHcaj1DcWRIY3w8046/eCNDBeDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb4f4f0da2744da53d95afb3e68a1b3ceb1bdb4b524919318ab566d59bbe001a","last_reissued_at":"2026-06-30T01:17:53.140302Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T01:17:53.140302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.29108","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-06-30T01:17:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"twqzWinnFDGoBgw7SoFUHwmiSOYo7YeXgVUmSZfN87y8hormk++QHDn2aVZDbN7se87ISCJexYnjnzrgjw0uBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T20:56:55.261105Z"},"content_sha256":"003183bd9a6ae3c356d61e0aff84ac9f02b0a8d3da6ffc9109d98a3cf10812d3","schema_version":"1.0","event_id":"sha256:003183bd9a6ae3c356d61e0aff84ac9f02b0a8d3da6ffc9109d98a3cf10812d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7NHU6DNCORG2KPMVV6Z6NCQ3HT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolon: Symbolic Execution by Learning Code Transformation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chihao Shen, Jie Zhu, Kexin Pei, Penghui Li, Yizheng Chen, Zhongxuan Li, Ziyang Li","submitted_at":"2026-06-27T23:16:50Z","abstract_excerpt":"Symbolic execution is a powerful program analysis technique with broad applications, such as vulnerability detection, security testing, and malware analysis. However, this technique is known to suffer from scalability issues, e.g., path explosion, complex constraints, due to certain structural and semantic patterns commonly presented in real-world programs. Existing approaches attempt to escape these patterns by transforming programs into new representations to reduce the execution cost. Unfortunately, these transformations are often too rigid to exploit diverse local program semantics and som"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.29108","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/2606.29108/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-06-30T01:17:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FMV1n74BXEd3OKejDJ292iXDd53XfbrYJiyWEEp9iIt04Y0P52a4TT2Uq6ZrJ5EF7YakDwfA2a3XDODIMPWxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T20:56:55.261501Z"},"content_sha256":"2fc7f7615edde81ebec99491495bf0ffcaff31bf28f2176c7d0ea2ee3e09a479","schema_version":"1.0","event_id":"sha256:2fc7f7615edde81ebec99491495bf0ffcaff31bf28f2176c7d0ea2ee3e09a479"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/bundle.json","state_url":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/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-06-30T20:56:55Z","links":{"resolver":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT","bundle":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/bundle.json","state":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7NHU6DNCORG2KPMVV6Z6NCQ3HT","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":"91a9f592d1c3071ac94a84b79cb3d3739fd90ceec0596e8bf152a471db0584fa","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-27T23:16:50Z","title_canon_sha256":"4e6a9b757cf551d4f8054282d488cf788c89094169b6f14ea5a584e529f9216d"},"schema_version":"1.0","source":{"id":"2606.29108","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.29108","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"arxiv_version","alias_value":"2606.29108v1","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.29108","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"pith_short_12","alias_value":"7NHU6DNCORG2","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"pith_short_16","alias_value":"7NHU6DNCORG2KPMV","created_at":"2026-06-30T01:17:53Z"},{"alias_kind":"pith_short_8","alias_value":"7NHU6DNC","created_at":"2026-06-30T01:17:53Z"}],"graph_snapshots":[{"event_id":"sha256:2fc7f7615edde81ebec99491495bf0ffcaff31bf28f2176c7d0ea2ee3e09a479","target":"graph","created_at":"2026-06-30T01:17:53Z","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.29108/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic execution is a powerful program analysis technique with broad applications, such as vulnerability detection, security testing, and malware analysis. However, this technique is known to suffer from scalability issues, e.g., path explosion, complex constraints, due to certain structural and semantic patterns commonly presented in real-world programs. Existing approaches attempt to escape these patterns by transforming programs into new representations to reduce the execution cost. Unfortunately, these transformations are often too rigid to exploit diverse local program semantics and som","authors_text":"Chihao Shen, Jie Zhu, Kexin Pei, Penghui Li, Yizheng Chen, Zhongxuan Li, Ziyang Li","cross_cats":["cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-27T23:16:50Z","title":"Symbolon: Symbolic Execution by Learning Code Transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.29108","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:003183bd9a6ae3c356d61e0aff84ac9f02b0a8d3da6ffc9109d98a3cf10812d3","target":"record","created_at":"2026-06-30T01:17:53Z","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":"91a9f592d1c3071ac94a84b79cb3d3739fd90ceec0596e8bf152a471db0584fa","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-27T23:16:50Z","title_canon_sha256":"4e6a9b757cf551d4f8054282d488cf788c89094169b6f14ea5a584e529f9216d"},"schema_version":"1.0","source":{"id":"2606.29108","kind":"arxiv","version":1}},"canonical_sha256":"fb4f4f0da2744da53d95afb3e68a1b3ceb1bdb4b524919318ab566d59bbe001a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb4f4f0da2744da53d95afb3e68a1b3ceb1bdb4b524919318ab566d59bbe001a","first_computed_at":"2026-06-30T01:17:53.140302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-30T01:17:53.140302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VUXV4p7YFn106lgUCLg25Yye5bbhvbLAyu1OD+1vlh2ebqf7ijFL84EAPr/bHcaj1DcWRIY3w8046/eCNDBeDw==","signature_status":"signed_v1","signed_at":"2026-06-30T01:17:53.140809Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.29108","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:003183bd9a6ae3c356d61e0aff84ac9f02b0a8d3da6ffc9109d98a3cf10812d3","sha256:2fc7f7615edde81ebec99491495bf0ffcaff31bf28f2176c7d0ea2ee3e09a479"],"state_sha256":"90a1da9bc9f1c4270f6c00605fe22b760268c1c42a577655254006ea1fbfdefd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uCQKt8QHe7PgOvsNHe+xHFBlTPLYv+/Wzpwhk2wLpBOTNnEQWkbE50mzZHi1eINZePZMc2x/REasDrSYAd7SCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T20:56:55.263670Z","bundle_sha256":"d5658395105eaed77eb9055a82078ff78fa65d9d14cb83cb7134ec93c2ad31d6"}}