{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:VHVAHBZD7I3ODZKUMQKTJLCKHY","short_pith_number":"pith:VHVAHBZD","canonical_record":{"source":{"id":"2607.03766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-04T08:36:10Z","cross_cats_sorted":[],"title_canon_sha256":"8e4a139e629a9dc10eeac406a23356101df205f27470e030948aa3a1298aa72e","abstract_canon_sha256":"c3ea16b1b510ba5d74ee8b862bc7b4191338ac3bbf231daf9e9064de510e4a33"},"schema_version":"1.0"},"canonical_sha256":"a9ea038723fa36e1e554641534ac4a3e282971c969c2c9dea3765fb31c7ce2c7","source":{"kind":"arxiv","id":"2607.03766","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.03766","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"arxiv_version","alias_value":"2607.03766v1","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.03766","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"pith_short_12","alias_value":"VHVAHBZD7I3O","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"pith_short_16","alias_value":"VHVAHBZD7I3ODZKU","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"pith_short_8","alias_value":"VHVAHBZD","created_at":"2026-07-07T02:18:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:VHVAHBZD7I3ODZKUMQKTJLCKHY","target":"record","payload":{"canonical_record":{"source":{"id":"2607.03766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-04T08:36:10Z","cross_cats_sorted":[],"title_canon_sha256":"8e4a139e629a9dc10eeac406a23356101df205f27470e030948aa3a1298aa72e","abstract_canon_sha256":"c3ea16b1b510ba5d74ee8b862bc7b4191338ac3bbf231daf9e9064de510e4a33"},"schema_version":"1.0"},"canonical_sha256":"a9ea038723fa36e1e554641534ac4a3e282971c969c2c9dea3765fb31c7ce2c7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T02:18:06.590847Z","signature_b64":"sOizoU759rTCt9BocCfw4Z/E5Gbrc3wWvGKk4OZ4/76rsLZxccd/AJY3mbhmpL7tbp0c9W1VOa8t95T/di3vDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a9ea038723fa36e1e554641534ac4a3e282971c969c2c9dea3765fb31c7ce2c7","last_reissued_at":"2026-07-07T02:18:06.590118Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T02:18:06.590118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.03766","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-07T02:18:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xPvWLBZ9QXkWCV9UjOLCqxWNcZzV2feVrG3U+8ZL0B6o1b8TVi4fxxxzANjanCweIcqqZ9WJFldPjESYc5P2CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T21:40:46.933131Z"},"content_sha256":"617db161dc17fb903ed0a866866787d7798e4cb1972e12dcf2afd16217720b29","schema_version":"1.0","event_id":"sha256:617db161dc17fb903ed0a866866787d7798e4cb1972e12dcf2afd16217720b29"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:VHVAHBZD7I3ODZKUMQKTJLCKHY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantic-aware and Self-improving Program Reduction via Agentic Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chengnian Sun, Chunhao Liao, Hongxu Xu, Puzhuo Liu, Xintong Zhou, Yongqiang Tian","submitted_at":"2026-07-04T08:36:10Z","abstract_excerpt":"Reducing bug-triggering programs to their minimal essential form is a fundamental task in debugging language processors such as compilers and interpreters. Existing reduction techniques are limited by their reliance on predefined, syntax-driven transformations that lack semantic understanding of the target program, and by their inability to learn from past reduction experiences.\n  We present a new approach that recasts program reduction as an autonomous reasoning task powered by agentic Large Language Models (LLMs). Instead of applying fixed transformation rules, our method enables an LLM to a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.03766","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/2607.03766/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-07T02:18:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s4DGCInBbzmugmKS9HBPHUc9hRebqY6/9thdfoTLN0/JAy+dZ11tV1FcS4elG9SxwI1g3CqJoIBEvcP5MSl5Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T21:40:46.933724Z"},"content_sha256":"f1a10b6c24924d05139ba42dc43741dd6aa20689a51619421993f9b205c2c422","schema_version":"1.0","event_id":"sha256:f1a10b6c24924d05139ba42dc43741dd6aa20689a51619421993f9b205c2c422"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VHVAHBZD7I3ODZKUMQKTJLCKHY/bundle.json","state_url":"https://pith.science/pith/VHVAHBZD7I3ODZKUMQKTJLCKHY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VHVAHBZD7I3ODZKUMQKTJLCKHY/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-18T21:40:46Z","links":{"resolver":"https://pith.science/pith/VHVAHBZD7I3ODZKUMQKTJLCKHY","bundle":"https://pith.science/pith/VHVAHBZD7I3ODZKUMQKTJLCKHY/bundle.json","state":"https://pith.science/pith/VHVAHBZD7I3ODZKUMQKTJLCKHY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VHVAHBZD7I3ODZKUMQKTJLCKHY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VHVAHBZD7I3ODZKUMQKTJLCKHY","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":"c3ea16b1b510ba5d74ee8b862bc7b4191338ac3bbf231daf9e9064de510e4a33","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-04T08:36:10Z","title_canon_sha256":"8e4a139e629a9dc10eeac406a23356101df205f27470e030948aa3a1298aa72e"},"schema_version":"1.0","source":{"id":"2607.03766","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.03766","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"arxiv_version","alias_value":"2607.03766v1","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.03766","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"pith_short_12","alias_value":"VHVAHBZD7I3O","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"pith_short_16","alias_value":"VHVAHBZD7I3ODZKU","created_at":"2026-07-07T02:18:06Z"},{"alias_kind":"pith_short_8","alias_value":"VHVAHBZD","created_at":"2026-07-07T02:18:06Z"}],"graph_snapshots":[{"event_id":"sha256:f1a10b6c24924d05139ba42dc43741dd6aa20689a51619421993f9b205c2c422","target":"graph","created_at":"2026-07-07T02:18:06Z","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/2607.03766/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reducing bug-triggering programs to their minimal essential form is a fundamental task in debugging language processors such as compilers and interpreters. Existing reduction techniques are limited by their reliance on predefined, syntax-driven transformations that lack semantic understanding of the target program, and by their inability to learn from past reduction experiences.\n  We present a new approach that recasts program reduction as an autonomous reasoning task powered by agentic Large Language Models (LLMs). Instead of applying fixed transformation rules, our method enables an LLM to a","authors_text":"Chengnian Sun, Chunhao Liao, Hongxu Xu, Puzhuo Liu, Xintong Zhou, Yongqiang Tian","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-04T08:36:10Z","title":"Semantic-aware and Self-improving Program Reduction via Agentic Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.03766","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:617db161dc17fb903ed0a866866787d7798e4cb1972e12dcf2afd16217720b29","target":"record","created_at":"2026-07-07T02:18:06Z","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":"c3ea16b1b510ba5d74ee8b862bc7b4191338ac3bbf231daf9e9064de510e4a33","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-04T08:36:10Z","title_canon_sha256":"8e4a139e629a9dc10eeac406a23356101df205f27470e030948aa3a1298aa72e"},"schema_version":"1.0","source":{"id":"2607.03766","kind":"arxiv","version":1}},"canonical_sha256":"a9ea038723fa36e1e554641534ac4a3e282971c969c2c9dea3765fb31c7ce2c7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a9ea038723fa36e1e554641534ac4a3e282971c969c2c9dea3765fb31c7ce2c7","first_computed_at":"2026-07-07T02:18:06.590118Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T02:18:06.590118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sOizoU759rTCt9BocCfw4Z/E5Gbrc3wWvGKk4OZ4/76rsLZxccd/AJY3mbhmpL7tbp0c9W1VOa8t95T/di3vDg==","signature_status":"signed_v1","signed_at":"2026-07-07T02:18:06.590847Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.03766","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:617db161dc17fb903ed0a866866787d7798e4cb1972e12dcf2afd16217720b29","sha256:f1a10b6c24924d05139ba42dc43741dd6aa20689a51619421993f9b205c2c422"],"state_sha256":"943e667907514b274c46ba4c59d082aa78422f739b83e4a03be6f2170e07f0d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XELIczQ/gFehRh2HaIIbwJ5Lxp2KOVVa/0HmtLz9j7LZoWKkGijSh+ncxm1OrWxRWXs5A195rwWLn1mCa1PfBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T21:40:46.939721Z","bundle_sha256":"67d443cf109d287c03de11f394ee9d258f143d4c7e13291aa399cda351af3486"}}