{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VHYCVV6N5I3ZN24C5DUQSZDKSV","short_pith_number":"pith:VHYCVV6N","canonical_record":{"source":{"id":"2410.16092","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-21T15:13:32Z","cross_cats_sorted":[],"title_canon_sha256":"2852c4ee8a4d3babada636973608f90b00f9b350f9dc8a42f4156db16f992d06","abstract_canon_sha256":"51a6dae7add29430c843fcb2da10a47a4d2ffbd227c5d6ae73dc7e54576eb3de"},"schema_version":"1.0"},"canonical_sha256":"a9f02ad7cdea3796eb82e8e909646a957e22d4302be262c3888dfec57cc7b01b","source":{"kind":"arxiv","id":"2410.16092","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.16092","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"arxiv_version","alias_value":"2410.16092v2","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.16092","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"pith_short_12","alias_value":"VHYCVV6N5I3Z","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"pith_short_16","alias_value":"VHYCVV6N5I3ZN24C","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"pith_short_8","alias_value":"VHYCVV6N","created_at":"2026-07-05T10:18:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VHYCVV6N5I3ZN24C5DUQSZDKSV","target":"record","payload":{"canonical_record":{"source":{"id":"2410.16092","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-21T15:13:32Z","cross_cats_sorted":[],"title_canon_sha256":"2852c4ee8a4d3babada636973608f90b00f9b350f9dc8a42f4156db16f992d06","abstract_canon_sha256":"51a6dae7add29430c843fcb2da10a47a4d2ffbd227c5d6ae73dc7e54576eb3de"},"schema_version":"1.0"},"canonical_sha256":"a9f02ad7cdea3796eb82e8e909646a957e22d4302be262c3888dfec57cc7b01b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:18:10.637738Z","signature_b64":"TNXsC/cbTk+HKxczFQmjZQgUOQFFZLSBpA6JNeoPRGlRNVKfnpNsoSpOidBmTnNGKJKL9CFir+C0ziKSplC9BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a9f02ad7cdea3796eb82e8e909646a957e22d4302be262c3888dfec57cc7b01b","last_reissued_at":"2026-07-05T10:18:10.637251Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:18:10.637251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.16092","source_version":2,"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-05T10:18:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i8FYC/yuhW7Ih2UjAo9pva0aatiWnvAYXPK3+1Si6RYVXY7xTD1doptt7fj8ukXU2no/EV8VLX2vSBNJu6xZBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T21:10:38.842991Z"},"content_sha256":"0ec1c2f0f3ed14bb326031a9282a7a830bc217ae8f19b63b6830fa596210a4f8","schema_version":"1.0","event_id":"sha256:0ec1c2f0f3ed14bb326031a9282a7a830bc217ae8f19b63b6830fa596210a4f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VHYCVV6N5I3ZN24C5DUQSZDKSV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Beatriz Souza, Lars Gr\\\"oninger, Michael Pradel","submitted_at":"2024-10-21T15:13:32Z","abstract_excerpt":"Code changes are an integral part of the software development process. Many code changes are meant to improve the code without changing its functional behavior, e.g., refactorings and performance improvements. Unfortunately, validating whether a code change preserves the behavior is non-trivial, particularly when the code change is performed deep inside a complex project. This paper presents ChangeGuard, an approach that uses learning-guided execution to compare the runtime behavior of a modified function. The approach is enabled by the novel concept of pairwise learning-guided execution and b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.16092","kind":"arxiv","version":2},"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/2410.16092/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-05T10:18:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RiQiu5QgjduIB3/OPTKJM6wTOIDgvUZIn8MeulE6wyOyJtt/thMY3h/EeCV2MSZchGaLiTSxrWSaAhEar6FPCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T21:10:38.843875Z"},"content_sha256":"47da2fe6ca700e06ba83febb8e7bc25e8d56ab4cdbf597639d40fc8efc6f5617","schema_version":"1.0","event_id":"sha256:47da2fe6ca700e06ba83febb8e7bc25e8d56ab4cdbf597639d40fc8efc6f5617"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VHYCVV6N5I3ZN24C5DUQSZDKSV/bundle.json","state_url":"https://pith.science/pith/VHYCVV6N5I3ZN24C5DUQSZDKSV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VHYCVV6N5I3ZN24C5DUQSZDKSV/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-20T21:10:38Z","links":{"resolver":"https://pith.science/pith/VHYCVV6N5I3ZN24C5DUQSZDKSV","bundle":"https://pith.science/pith/VHYCVV6N5I3ZN24C5DUQSZDKSV/bundle.json","state":"https://pith.science/pith/VHYCVV6N5I3ZN24C5DUQSZDKSV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VHYCVV6N5I3ZN24C5DUQSZDKSV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VHYCVV6N5I3ZN24C5DUQSZDKSV","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":"51a6dae7add29430c843fcb2da10a47a4d2ffbd227c5d6ae73dc7e54576eb3de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-21T15:13:32Z","title_canon_sha256":"2852c4ee8a4d3babada636973608f90b00f9b350f9dc8a42f4156db16f992d06"},"schema_version":"1.0","source":{"id":"2410.16092","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.16092","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"arxiv_version","alias_value":"2410.16092v2","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.16092","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"pith_short_12","alias_value":"VHYCVV6N5I3Z","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"pith_short_16","alias_value":"VHYCVV6N5I3ZN24C","created_at":"2026-07-05T10:18:10Z"},{"alias_kind":"pith_short_8","alias_value":"VHYCVV6N","created_at":"2026-07-05T10:18:10Z"}],"graph_snapshots":[{"event_id":"sha256:47da2fe6ca700e06ba83febb8e7bc25e8d56ab4cdbf597639d40fc8efc6f5617","target":"graph","created_at":"2026-07-05T10:18:10Z","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/2410.16092/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code changes are an integral part of the software development process. Many code changes are meant to improve the code without changing its functional behavior, e.g., refactorings and performance improvements. Unfortunately, validating whether a code change preserves the behavior is non-trivial, particularly when the code change is performed deep inside a complex project. This paper presents ChangeGuard, an approach that uses learning-guided execution to compare the runtime behavior of a modified function. The approach is enabled by the novel concept of pairwise learning-guided execution and b","authors_text":"Beatriz Souza, Lars Gr\\\"oninger, Michael Pradel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-21T15:13:32Z","title":"ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.16092","kind":"arxiv","version":2},"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:0ec1c2f0f3ed14bb326031a9282a7a830bc217ae8f19b63b6830fa596210a4f8","target":"record","created_at":"2026-07-05T10:18:10Z","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":"51a6dae7add29430c843fcb2da10a47a4d2ffbd227c5d6ae73dc7e54576eb3de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-21T15:13:32Z","title_canon_sha256":"2852c4ee8a4d3babada636973608f90b00f9b350f9dc8a42f4156db16f992d06"},"schema_version":"1.0","source":{"id":"2410.16092","kind":"arxiv","version":2}},"canonical_sha256":"a9f02ad7cdea3796eb82e8e909646a957e22d4302be262c3888dfec57cc7b01b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a9f02ad7cdea3796eb82e8e909646a957e22d4302be262c3888dfec57cc7b01b","first_computed_at":"2026-07-05T10:18:10.637251Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:18:10.637251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TNXsC/cbTk+HKxczFQmjZQgUOQFFZLSBpA6JNeoPRGlRNVKfnpNsoSpOidBmTnNGKJKL9CFir+C0ziKSplC9BA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:18:10.637738Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.16092","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0ec1c2f0f3ed14bb326031a9282a7a830bc217ae8f19b63b6830fa596210a4f8","sha256:47da2fe6ca700e06ba83febb8e7bc25e8d56ab4cdbf597639d40fc8efc6f5617"],"state_sha256":"5736729495c04044ce000ae219ccf218fe6a47d7d0cc7d25ef0a9e3ad837a839"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JSvrZghgPevN6fIuTouq9K2Hg810In5CKRei/S+shbtgU8UquKBq5gBvuJg1fGdxg8JpKvzyvFFfbjWRvrfdDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T21:10:38.860246Z","bundle_sha256":"27176aa2a8e67ca0d3201a803670a5e407d2fa394446a3403b4178ec30cbda4a"}}