{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:3N6O33FWK7LW7OEPLZ6MHCLAM2","short_pith_number":"pith:3N6O33FW","canonical_record":{"source":{"id":"2409.14610","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-22T22:09:39Z","cross_cats_sorted":[],"title_canon_sha256":"96259b945bf558c0ebc6a6c0c65960d8503441e45162615438b4d38439b44fe8","abstract_canon_sha256":"47eb921f9e45fd9d1adb591dcb34826653c131b6c4a032e1093e133018d772ce"},"schema_version":"1.0"},"canonical_sha256":"db7cedecb657d76fb88f5e7cc3896066a07d04b83d7126b62d9e0a1a09a10f3f","source":{"kind":"arxiv","id":"2409.14610","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.14610","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"arxiv_version","alias_value":"2409.14610v1","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.14610","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"pith_short_12","alias_value":"3N6O33FWK7LW","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"pith_short_16","alias_value":"3N6O33FWK7LW7OEP","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"pith_short_8","alias_value":"3N6O33FW","created_at":"2026-07-05T09:10:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:3N6O33FWK7LW7OEPLZ6MHCLAM2","target":"record","payload":{"canonical_record":{"source":{"id":"2409.14610","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-22T22:09:39Z","cross_cats_sorted":[],"title_canon_sha256":"96259b945bf558c0ebc6a6c0c65960d8503441e45162615438b4d38439b44fe8","abstract_canon_sha256":"47eb921f9e45fd9d1adb591dcb34826653c131b6c4a032e1093e133018d772ce"},"schema_version":"1.0"},"canonical_sha256":"db7cedecb657d76fb88f5e7cc3896066a07d04b83d7126b62d9e0a1a09a10f3f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:10:19.134905Z","signature_b64":"zB99qybQHRGP9gtkpPnhjhjUoJDgvvCrqywNOdS95DYoOx8Yl3BDZC/OlvCetGog0TUg4INTCOTTP/jzBfUFBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db7cedecb657d76fb88f5e7cc3896066a07d04b83d7126b62d9e0a1a09a10f3f","last_reissued_at":"2026-07-05T09:10:19.134423Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:10:19.134423Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.14610","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-05T09:10:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IsZyeI+s9yqh3CCrmR9Cn4NFB3yzlK2RkozJGn8SffZzfo7JT4bxZJaG9ysnBbeeZKKW5vhEeuMKeJ25U464DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T14:24:49.944780Z"},"content_sha256":"4f0ae6338be16e44890c9766b23cc43ccae6be0c109d3ee726b785ffa82e9d2a","schema_version":"1.0","event_id":"sha256:4f0ae6338be16e44890c9766b23cc43ccae6be0c109d3ee726b785ffa82e9d2a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:3N6O33FWK7LW7OEPLZ6MHCLAM2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Empirical Study of Refactoring Engine Bugs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haibo Wang, Huaien Zhang, Nikolaos Tsantalis, Shin Hwei Tan, Zhuolin Xu","submitted_at":"2024-09-22T22:09:39Z","abstract_excerpt":"Refactoring is a critical process in software development, aiming at improving the internal structure of code while preserving its external behavior. Refactoring engines are integral components of modern Integrated Development Environments (IDEs) and can automate or semi-automate this process to enhance code readability, reduce complexity, and improve the maintainability of software products. Like traditional software systems, refactoring engines can generate incorrect refactored programs, resulting in unexpected behaviors or even crashes. In this paper, we present the first systematic study o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.14610","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/2409.14610/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-05T09:10:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+CLft1tEfJ2sJyXqHzbwv3/gWU8r62z6M1HgnPjyybCrH4wduDBRxLYKhCtl5T1ckOnzBwpXp1OZgIxeIy3RAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T14:24:49.945679Z"},"content_sha256":"8c7e60b8ae0aeb0a46184c652d1935517f22e960e78668ca38681620c4f03c2b","schema_version":"1.0","event_id":"sha256:8c7e60b8ae0aeb0a46184c652d1935517f22e960e78668ca38681620c4f03c2b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3N6O33FWK7LW7OEPLZ6MHCLAM2/bundle.json","state_url":"https://pith.science/pith/3N6O33FWK7LW7OEPLZ6MHCLAM2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3N6O33FWK7LW7OEPLZ6MHCLAM2/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-18T14:24:49Z","links":{"resolver":"https://pith.science/pith/3N6O33FWK7LW7OEPLZ6MHCLAM2","bundle":"https://pith.science/pith/3N6O33FWK7LW7OEPLZ6MHCLAM2/bundle.json","state":"https://pith.science/pith/3N6O33FWK7LW7OEPLZ6MHCLAM2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3N6O33FWK7LW7OEPLZ6MHCLAM2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:3N6O33FWK7LW7OEPLZ6MHCLAM2","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":"47eb921f9e45fd9d1adb591dcb34826653c131b6c4a032e1093e133018d772ce","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-22T22:09:39Z","title_canon_sha256":"96259b945bf558c0ebc6a6c0c65960d8503441e45162615438b4d38439b44fe8"},"schema_version":"1.0","source":{"id":"2409.14610","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.14610","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"arxiv_version","alias_value":"2409.14610v1","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.14610","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"pith_short_12","alias_value":"3N6O33FWK7LW","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"pith_short_16","alias_value":"3N6O33FWK7LW7OEP","created_at":"2026-07-05T09:10:19Z"},{"alias_kind":"pith_short_8","alias_value":"3N6O33FW","created_at":"2026-07-05T09:10:19Z"}],"graph_snapshots":[{"event_id":"sha256:8c7e60b8ae0aeb0a46184c652d1935517f22e960e78668ca38681620c4f03c2b","target":"graph","created_at":"2026-07-05T09:10:19Z","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/2409.14610/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Refactoring is a critical process in software development, aiming at improving the internal structure of code while preserving its external behavior. Refactoring engines are integral components of modern Integrated Development Environments (IDEs) and can automate or semi-automate this process to enhance code readability, reduce complexity, and improve the maintainability of software products. Like traditional software systems, refactoring engines can generate incorrect refactored programs, resulting in unexpected behaviors or even crashes. In this paper, we present the first systematic study o","authors_text":"Haibo Wang, Huaien Zhang, Nikolaos Tsantalis, Shin Hwei Tan, Zhuolin Xu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-22T22:09:39Z","title":"An Empirical Study of Refactoring Engine Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.14610","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:4f0ae6338be16e44890c9766b23cc43ccae6be0c109d3ee726b785ffa82e9d2a","target":"record","created_at":"2026-07-05T09:10:19Z","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":"47eb921f9e45fd9d1adb591dcb34826653c131b6c4a032e1093e133018d772ce","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-22T22:09:39Z","title_canon_sha256":"96259b945bf558c0ebc6a6c0c65960d8503441e45162615438b4d38439b44fe8"},"schema_version":"1.0","source":{"id":"2409.14610","kind":"arxiv","version":1}},"canonical_sha256":"db7cedecb657d76fb88f5e7cc3896066a07d04b83d7126b62d9e0a1a09a10f3f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db7cedecb657d76fb88f5e7cc3896066a07d04b83d7126b62d9e0a1a09a10f3f","first_computed_at":"2026-07-05T09:10:19.134423Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:10:19.134423Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zB99qybQHRGP9gtkpPnhjhjUoJDgvvCrqywNOdS95DYoOx8Yl3BDZC/OlvCetGog0TUg4INTCOTTP/jzBfUFBA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:10:19.134905Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.14610","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f0ae6338be16e44890c9766b23cc43ccae6be0c109d3ee726b785ffa82e9d2a","sha256:8c7e60b8ae0aeb0a46184c652d1935517f22e960e78668ca38681620c4f03c2b"],"state_sha256":"2db3422f4e7738cb7be2aed92b1e31e9222f42be99333788d6262d3ba551e611"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aouf1/Ta5nQ9gsFv7gD+xgrgOUFr9LTc/6PFfA/xcA+ofZW9AzS5TaJ2VNPCMN5yyGIXx7DrJA4CgPcPvK3mCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T14:24:49.953184Z","bundle_sha256":"e70ad1b1f67be1d8220ec635fc88e3c0748cffd1da1e7775c3c96a26a7da4209"}}