{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:XY7NME5JY6J47BJZBD3IQIBCZH","short_pith_number":"pith:XY7NME5J","schema_version":"1.0","canonical_sha256":"be3ed613a9c793cf853908f6882022c9f25918b1294a99d07326aa4d1978b12a","source":{"kind":"arxiv","id":"2608.09919","version":1},"attestation_state":"computed","paper":{"title":"Detecting Behavioral Changes in Python Refactoring Implementations with Foundation Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessandro Garcia, Jonhnanthan Oliveira, M\\'arcio Ribeiro, Rohit Gheyi","submitted_at":"2026-08-10T17:57:37Z","abstract_excerpt":"Python is a widely adopted programming language, valued for its simplicity and flexibility. However, automated refactoring for Python remains challenging, even though refactoring is an essential practice in software evolution aimed at improving internal code structure without changing external behavior. Understanding how behavioral changes are introduced during refactoring is crucial, as such issues can compromise software reliability and reduce developer productivity. We propose an approach based on a foundation model oracle that analyzes git-style diffs to identify behavioral changes introdu"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.09919","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-10T17:57:37Z","cross_cats_sorted":[],"title_canon_sha256":"786b9d1c96d5ce18418e505cf20bb9b234a7cda63c312547218158c7329eda9f","abstract_canon_sha256":"a4a98cb132c09db1bbcd16b7061680ea3f52226ca0d762affbbdc96ca818a7b4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-11T02:25:26.864424Z","signature_b64":"zWqBlRQ2ZdjO0mXPbmK/9ePzqalFIj6jXhoLLEQ8gUCYgHAQBkRPSyH71Ay+E3JsgGeJg3zhH7PB3IyT6c0ZDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be3ed613a9c793cf853908f6882022c9f25918b1294a99d07326aa4d1978b12a","last_reissued_at":"2026-08-11T02:25:26.862794Z","signature_status":"signed_v1","first_computed_at":"2026-08-11T02:25:26.862794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Detecting Behavioral Changes in Python Refactoring Implementations with Foundation Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessandro Garcia, Jonhnanthan Oliveira, M\\'arcio Ribeiro, Rohit Gheyi","submitted_at":"2026-08-10T17:57:37Z","abstract_excerpt":"Python is a widely adopted programming language, valued for its simplicity and flexibility. However, automated refactoring for Python remains challenging, even though refactoring is an essential practice in software evolution aimed at improving internal code structure without changing external behavior. Understanding how behavioral changes are introduced during refactoring is crucial, as such issues can compromise software reliability and reduce developer productivity. We propose an approach based on a foundation model oracle that analyzes git-style diffs to identify behavioral changes introdu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.09919","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/2608.09919/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.09919","created_at":"2026-08-11T02:25:26.863452+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.09919v1","created_at":"2026-08-11T02:25:26.863452+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.09919","created_at":"2026-08-11T02:25:26.863452+00:00"},{"alias_kind":"pith_short_12","alias_value":"XY7NME5JY6J4","created_at":"2026-08-11T02:25:26.863452+00:00"},{"alias_kind":"pith_short_16","alias_value":"XY7NME5JY6J47BJZ","created_at":"2026-08-11T02:25:26.863452+00:00"},{"alias_kind":"pith_short_8","alias_value":"XY7NME5J","created_at":"2026-08-11T02:25:26.863452+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH","json":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH.json","graph_json":"https://pith.science/api/pith-number/XY7NME5JY6J47BJZBD3IQIBCZH/graph.json","events_json":"https://pith.science/api/pith-number/XY7NME5JY6J47BJZBD3IQIBCZH/events.json","paper":"https://pith.science/paper/XY7NME5J"},"agent_actions":{"view_html":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH","download_json":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH.json","view_paper":"https://pith.science/paper/XY7NME5J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.09919&json=true","fetch_graph":"https://pith.science/api/pith-number/XY7NME5JY6J47BJZBD3IQIBCZH/graph.json","fetch_events":"https://pith.science/api/pith-number/XY7NME5JY6J47BJZBD3IQIBCZH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH/action/storage_attestation","attest_author":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH/action/author_attestation","sign_citation":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH/action/citation_signature","submit_replication":"https://pith.science/pith/XY7NME5JY6J47BJZBD3IQIBCZH/action/replication_record"}},"created_at":"2026-08-11T02:25:26.863452+00:00","updated_at":"2026-08-11T02:25:26.863452+00:00"}