{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ZDUEFJBQ7P22H46XYZZHZBMN3V","short_pith_number":"pith:ZDUEFJBQ","canonical_record":{"source":{"id":"2508.21302","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-08-29T01:47:07Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"bb138acdac025dadf7ca9fc5ae08bc8c95183a6ab07f7ad7f96b3b7a16ca3f78","abstract_canon_sha256":"1c17d81d13d026e3e921a1d5b845deec956d60ac0091b7281e36ac71da6d3311"},"schema_version":"1.0"},"canonical_sha256":"c8e842a430fbf5a3f3d7c6727c858ddd504030c71dd5542b84a8cc18099ea3b8","source":{"kind":"arxiv","id":"2508.21302","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.21302","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"arxiv_version","alias_value":"2508.21302v3","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.21302","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZDUEFJBQ7P22","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"pith_short_16","alias_value":"ZDUEFJBQ7P22H46X","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"pith_short_8","alias_value":"ZDUEFJBQ","created_at":"2026-07-23T00:23:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ZDUEFJBQ7P22H46XYZZHZBMN3V","target":"record","payload":{"canonical_record":{"source":{"id":"2508.21302","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-08-29T01:47:07Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"bb138acdac025dadf7ca9fc5ae08bc8c95183a6ab07f7ad7f96b3b7a16ca3f78","abstract_canon_sha256":"1c17d81d13d026e3e921a1d5b845deec956d60ac0091b7281e36ac71da6d3311"},"schema_version":"1.0"},"canonical_sha256":"c8e842a430fbf5a3f3d7c6727c858ddd504030c71dd5542b84a8cc18099ea3b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-23T00:23:35.658693Z","signature_b64":"UUyyymTAWe0MKKA3hdVEoQhf2KHPcAaUegnnh9ebcOLphUCHicVk7CgZgzy2M+9PL/ovw+qHMxIAzvDlOATzBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8e842a430fbf5a3f3d7c6727c858ddd504030c71dd5542b84a8cc18099ea3b8","last_reissued_at":"2026-07-23T00:23:35.657689Z","signature_status":"signed_v1","first_computed_at":"2026-07-23T00:23:35.657689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.21302","source_version":3,"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-23T00:23:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q29hY1KkBwNjLFGZ+h+35r2SD6sZfZW57z2DjQdJjUooj6AgpGd4OxuNlC0B+I/e2i0jUTlQfftkZEWrPn7+Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:49:49.640226Z"},"content_sha256":"4b1fd3f5cccbe56d14e54cfc88a7d39ae0a9a701cb65fb95607c885ceda49893","schema_version":"1.0","event_id":"sha256:4b1fd3f5cccbe56d14e54cfc88a7d39ae0a9a701cb65fb95607c885ceda49893"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ZDUEFJBQ7P22H46XYZZHZBMN3V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Locus: Agentic Predicate Synthesis for Directed Fuzzing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chihao Shen, Jiahao Yu, Jie Zhu, Kexin Pei, Yizheng Chen, Ziyang Li","submitted_at":"2025-08-29T01:47:07Z","abstract_excerpt":"Directed fuzzing aims to find program inputs that lead to specified target program states. It has broad applications, such as debugging system crashes, confirming reported bugs, and generating exploits for potential vulnerabilities. This task is inherently challenging because target states are often deeply nested in the program, while the search space manifested by numerous possible program inputs is prohibitively large. Existing approaches rely on branch distances or manually-specified constraints to guide the search; however, the branches alone are often insufficient to precisely characteriz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.21302","kind":"arxiv","version":3},"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/2508.21302/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-23T00:23:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dcAY768dmXPyHEnMdsU0o8w5EJIUskJRPvaBHYPFa0l1DkGu3bHrN3eIEG26OvVuU7fcFj/q5U4l+2j9MU3aAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:49:49.640845Z"},"content_sha256":"7d5cbaed477870b7fec3e7d808498a92801fa41fc989764a867dba2d25dd6010","schema_version":"1.0","event_id":"sha256:7d5cbaed477870b7fec3e7d808498a92801fa41fc989764a867dba2d25dd6010"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/bundle.json","state_url":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/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-05T13:49:49Z","links":{"resolver":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V","bundle":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/bundle.json","state":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZDUEFJBQ7P22H46XYZZHZBMN3V","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":"1c17d81d13d026e3e921a1d5b845deec956d60ac0091b7281e36ac71da6d3311","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-08-29T01:47:07Z","title_canon_sha256":"bb138acdac025dadf7ca9fc5ae08bc8c95183a6ab07f7ad7f96b3b7a16ca3f78"},"schema_version":"1.0","source":{"id":"2508.21302","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.21302","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"arxiv_version","alias_value":"2508.21302v3","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.21302","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZDUEFJBQ7P22","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"pith_short_16","alias_value":"ZDUEFJBQ7P22H46X","created_at":"2026-07-23T00:23:35Z"},{"alias_kind":"pith_short_8","alias_value":"ZDUEFJBQ","created_at":"2026-07-23T00:23:35Z"}],"graph_snapshots":[{"event_id":"sha256:7d5cbaed477870b7fec3e7d808498a92801fa41fc989764a867dba2d25dd6010","target":"graph","created_at":"2026-07-23T00:23:35Z","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/2508.21302/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Directed fuzzing aims to find program inputs that lead to specified target program states. It has broad applications, such as debugging system crashes, confirming reported bugs, and generating exploits for potential vulnerabilities. This task is inherently challenging because target states are often deeply nested in the program, while the search space manifested by numerous possible program inputs is prohibitively large. Existing approaches rely on branch distances or manually-specified constraints to guide the search; however, the branches alone are often insufficient to precisely characteriz","authors_text":"Chihao Shen, Jiahao Yu, Jie Zhu, Kexin Pei, Yizheng Chen, Ziyang Li","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-08-29T01:47:07Z","title":"Locus: Agentic Predicate Synthesis for Directed Fuzzing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.21302","kind":"arxiv","version":3},"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:4b1fd3f5cccbe56d14e54cfc88a7d39ae0a9a701cb65fb95607c885ceda49893","target":"record","created_at":"2026-07-23T00:23:35Z","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":"1c17d81d13d026e3e921a1d5b845deec956d60ac0091b7281e36ac71da6d3311","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-08-29T01:47:07Z","title_canon_sha256":"bb138acdac025dadf7ca9fc5ae08bc8c95183a6ab07f7ad7f96b3b7a16ca3f78"},"schema_version":"1.0","source":{"id":"2508.21302","kind":"arxiv","version":3}},"canonical_sha256":"c8e842a430fbf5a3f3d7c6727c858ddd504030c71dd5542b84a8cc18099ea3b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8e842a430fbf5a3f3d7c6727c858ddd504030c71dd5542b84a8cc18099ea3b8","first_computed_at":"2026-07-23T00:23:35.657689Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-23T00:23:35.657689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UUyyymTAWe0MKKA3hdVEoQhf2KHPcAaUegnnh9ebcOLphUCHicVk7CgZgzy2M+9PL/ovw+qHMxIAzvDlOATzBg==","signature_status":"signed_v1","signed_at":"2026-07-23T00:23:35.658693Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.21302","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b1fd3f5cccbe56d14e54cfc88a7d39ae0a9a701cb65fb95607c885ceda49893","sha256:7d5cbaed477870b7fec3e7d808498a92801fa41fc989764a867dba2d25dd6010"],"state_sha256":"ff97512c514a54a92eb64c4efa858290cdf34adba6fcfc7023fd899f19c3a6de"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HX3RCQSK/I76FvU3nkGlqf50MxgdlEr0Pg6PNLtlrYtP21CpM1VCmyBdHKnjf5sBkhjBqFH6hwb48ZNK/0ThCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T13:49:49.645081Z","bundle_sha256":"17ecfb2df62c2852ca640149f251199a74baa028333438aa702b7d842311941a"}}