{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GGDHKXCRBXZAGQWS2FFTD5YB42","short_pith_number":"pith:GGDHKXCR","canonical_record":{"source":{"id":"2507.18957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-25T04:51:47Z","cross_cats_sorted":[],"title_canon_sha256":"c7d5febe7964ff645382c31e99968b0b5931293258e8bf8cc1926e462e147f88","abstract_canon_sha256":"bf0ae7e5d66b1a1a11de64333f952986589650862d4200da9d9ba9e3b52c05ad"},"schema_version":"1.0"},"canonical_sha256":"3186755c510df20342d2d14b31f701e689aa118f16428d913ab2fa9dc304bd39","source":{"kind":"arxiv","id":"2507.18957","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.18957","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"arxiv_version","alias_value":"2507.18957v1","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18957","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"pith_short_12","alias_value":"GGDHKXCRBXZA","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"pith_short_16","alias_value":"GGDHKXCRBXZAGQWS","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"pith_short_8","alias_value":"GGDHKXCR","created_at":"2026-07-05T11:43:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GGDHKXCRBXZAGQWS2FFTD5YB42","target":"record","payload":{"canonical_record":{"source":{"id":"2507.18957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-25T04:51:47Z","cross_cats_sorted":[],"title_canon_sha256":"c7d5febe7964ff645382c31e99968b0b5931293258e8bf8cc1926e462e147f88","abstract_canon_sha256":"bf0ae7e5d66b1a1a11de64333f952986589650862d4200da9d9ba9e3b52c05ad"},"schema_version":"1.0"},"canonical_sha256":"3186755c510df20342d2d14b31f701e689aa118f16428d913ab2fa9dc304bd39","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:43:16.936264Z","signature_b64":"MOfOgnvtfwcACRVaN594Lbt6O/FVe2hZwkxKv12uObzoDgu+sLoQfIc5jDyAZjH0G34mCbGqlKtokII88ypTAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3186755c510df20342d2d14b31f701e689aa118f16428d913ab2fa9dc304bd39","last_reissued_at":"2026-07-05T11:43:16.935928Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:43:16.935928Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.18957","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:43:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hcdJntGbeuwNGRA0k5gY7tLw0jkOuXnY9W6zo8V3jSVltJhLntpIUmApYNnBmrnX/uRXKTSPvzDHlZqGclFbCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T20:50:49.151448Z"},"content_sha256":"b4363b8867a4f0ae214d97b4c5069ef146cd6efed7af13999e681668431cd026","schema_version":"1.0","event_id":"sha256:b4363b8867a4f0ae214d97b4c5069ef146cd6efed7af13999e681668431cd026"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GGDHKXCRBXZAGQWS2FFTD5YB42","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bixin Li, David Lo, Jianming Chang, Jieke Shi, Lulu Wang, Xin Zhou, Yunbo Lyu, Zhou Yang","submitted_at":"2025-07-25T04:51:47Z","abstract_excerpt":"Static program slicing, which extracts the executable portions of a program that affect the values at a specific location, supports many software analysis tasks such as debugging and security auditing. However, traditional slicing tools rely on computationally expensive reachability analysis over dependency graphs, which struggle to scale to large programs and often fail to handle code with incomplete syntax. Recently emerged learning-based methods, while more robust to such cases, still fall short of achieving comparable performance to traditional methods on well-formed code.\n  In this work, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.18957","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.18957/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:43:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TlLkYb5WPuUAafa/9y7bvTY9WOX78KiT4E6s5ea5hGgcQgs2gHgUfpdw9w7nnQLeh3fJv30hfN5ZUQSSsmDvBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T20:50:49.152012Z"},"content_sha256":"37300e2028e87bea37b7f3ec38dd7d97208a9988707b1a64374620e4efad9f07","schema_version":"1.0","event_id":"sha256:37300e2028e87bea37b7f3ec38dd7d97208a9988707b1a64374620e4efad9f07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GGDHKXCRBXZAGQWS2FFTD5YB42/bundle.json","state_url":"https://pith.science/pith/GGDHKXCRBXZAGQWS2FFTD5YB42/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GGDHKXCRBXZAGQWS2FFTD5YB42/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-19T20:50:49Z","links":{"resolver":"https://pith.science/pith/GGDHKXCRBXZAGQWS2FFTD5YB42","bundle":"https://pith.science/pith/GGDHKXCRBXZAGQWS2FFTD5YB42/bundle.json","state":"https://pith.science/pith/GGDHKXCRBXZAGQWS2FFTD5YB42/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GGDHKXCRBXZAGQWS2FFTD5YB42/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GGDHKXCRBXZAGQWS2FFTD5YB42","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":"bf0ae7e5d66b1a1a11de64333f952986589650862d4200da9d9ba9e3b52c05ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-25T04:51:47Z","title_canon_sha256":"c7d5febe7964ff645382c31e99968b0b5931293258e8bf8cc1926e462e147f88"},"schema_version":"1.0","source":{"id":"2507.18957","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.18957","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"arxiv_version","alias_value":"2507.18957v1","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18957","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"pith_short_12","alias_value":"GGDHKXCRBXZA","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"pith_short_16","alias_value":"GGDHKXCRBXZAGQWS","created_at":"2026-07-05T11:43:16Z"},{"alias_kind":"pith_short_8","alias_value":"GGDHKXCR","created_at":"2026-07-05T11:43:16Z"}],"graph_snapshots":[{"event_id":"sha256:37300e2028e87bea37b7f3ec38dd7d97208a9988707b1a64374620e4efad9f07","target":"graph","created_at":"2026-07-05T11:43:16Z","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.18957/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static program slicing, which extracts the executable portions of a program that affect the values at a specific location, supports many software analysis tasks such as debugging and security auditing. However, traditional slicing tools rely on computationally expensive reachability analysis over dependency graphs, which struggle to scale to large programs and often fail to handle code with incomplete syntax. Recently emerged learning-based methods, while more robust to such cases, still fall short of achieving comparable performance to traditional methods on well-formed code.\n  In this work, ","authors_text":"Bixin Li, David Lo, Jianming Chang, Jieke Shi, Lulu Wang, Xin Zhou, Yunbo Lyu, Zhou Yang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-25T04:51:47Z","title":"SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.18957","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:b4363b8867a4f0ae214d97b4c5069ef146cd6efed7af13999e681668431cd026","target":"record","created_at":"2026-07-05T11:43:16Z","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":"bf0ae7e5d66b1a1a11de64333f952986589650862d4200da9d9ba9e3b52c05ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-25T04:51:47Z","title_canon_sha256":"c7d5febe7964ff645382c31e99968b0b5931293258e8bf8cc1926e462e147f88"},"schema_version":"1.0","source":{"id":"2507.18957","kind":"arxiv","version":1}},"canonical_sha256":"3186755c510df20342d2d14b31f701e689aa118f16428d913ab2fa9dc304bd39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3186755c510df20342d2d14b31f701e689aa118f16428d913ab2fa9dc304bd39","first_computed_at":"2026-07-05T11:43:16.935928Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:43:16.935928Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MOfOgnvtfwcACRVaN594Lbt6O/FVe2hZwkxKv12uObzoDgu+sLoQfIc5jDyAZjH0G34mCbGqlKtokII88ypTAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:43:16.936264Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.18957","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4363b8867a4f0ae214d97b4c5069ef146cd6efed7af13999e681668431cd026","sha256:37300e2028e87bea37b7f3ec38dd7d97208a9988707b1a64374620e4efad9f07"],"state_sha256":"4a39dbd42920f21f10be3072ed403aaecb5263404083c668fc945d5a187c9eb7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g6JqSs8WrGah16NUjTJFuF9c5kaHksooXe/G7oGy9bBFMWGliH32m2NlenG6LuYHTQ+O88Fqv90f3tLVkL6YDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T20:50:49.159106Z","bundle_sha256":"7a491e5171b0b9937ae53d6107ebf23741b0c0d3edd61d7d8b7429e9526b0541"}}