{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:UBLSGE5777KMC2LYBVVL6CQ2DY","short_pith_number":"pith:UBLSGE57","canonical_record":{"source":{"id":"2003.11667","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-25T22:40:29Z","cross_cats_sorted":[],"title_canon_sha256":"41a21a72a4954543851de4d9a0fbda37f372f4b304ca85109e8ec79e68d535c0","abstract_canon_sha256":"ceddbc16dd8bc6831b8c23e6b8b64cb812e0551af7ca7b03a4aae8bcdcf1b481"},"schema_version":"1.0"},"canonical_sha256":"a0572313bfffd4c169780d6abf0a1a1e2c73871437b8f1aeed4df199f86e64bd","source":{"kind":"arxiv","id":"2003.11667","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2003.11667","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"arxiv_version","alias_value":"2003.11667v1","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2003.11667","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"pith_short_12","alias_value":"UBLSGE5777KM","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"pith_short_16","alias_value":"UBLSGE5777KMC2LY","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"pith_short_8","alias_value":"UBLSGE57","created_at":"2026-07-05T00:50:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:UBLSGE5777KMC2LYBVVL6CQ2DY","target":"record","payload":{"canonical_record":{"source":{"id":"2003.11667","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-25T22:40:29Z","cross_cats_sorted":[],"title_canon_sha256":"41a21a72a4954543851de4d9a0fbda37f372f4b304ca85109e8ec79e68d535c0","abstract_canon_sha256":"ceddbc16dd8bc6831b8c23e6b8b64cb812e0551af7ca7b03a4aae8bcdcf1b481"},"schema_version":"1.0"},"canonical_sha256":"a0572313bfffd4c169780d6abf0a1a1e2c73871437b8f1aeed4df199f86e64bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:50:46.459617Z","signature_b64":"5Uah+WI039+0tuBMHA0Gb9jnT5L0obIwm5ov/VNDIU4XAqH7nePav5TrYd6aYD/YprptvbhqFDU6V8CU6Z8iDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a0572313bfffd4c169780d6abf0a1a1e2c73871437b8f1aeed4df199f86e64bd","last_reissued_at":"2026-07-05T00:50:46.459075Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:50:46.459075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2003.11667","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-05T00:50:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rYvOCPnxibB+SKLAf+mN4OsMjhZuDfQJAmN2gVCMyKNuaK26RSdSMHCuxu74MUFSAckH/PqcNxB1LpRL8HPbDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:38:53.343171Z"},"content_sha256":"45dbd853c7bbbc354b24a2ddf6c4735032969cd980769830fcfa16b4ed19ba9f","schema_version":"1.0","event_id":"sha256:45dbd853c7bbbc354b24a2ddf6c4735032969cd980769830fcfa16b4ed19ba9f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:UBLSGE5777KMC2LYBVVL6CQ2DY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Zhen Yu Ding","submitted_at":"2020-03-25T22:40:29Z","abstract_excerpt":"Most automatic program repair techniques rely on test cases to specify correct program behavior. Due to test cases' frequently incomplete coverage of desired behavior, however, patches often overfit and fail to generalize to broader requirements. Moreover, in the absence of perfectly correct outputs, methods to ensure higher patch quality, such as merging together several patches or a human evaluating patch recommendations, benefit from having access to a diverse set of patches, making patch diversity a potentially useful trait. We evaluate the correctness and diversity of patches generated by"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2003.11667","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/2003.11667/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-05T00:50:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nHsBZHL8CQPelsPnn5gHO6RSvHnReaBNuX4TCp6nnLCzTKvhU401rTGdVjb2tLAaRW3I7QmxleE/Mi1CJAodAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:38:53.343559Z"},"content_sha256":"204a3d2fdef9811e62f228c1f302adc0b82212514e3df0d35f55dbe0f28768e3","schema_version":"1.0","event_id":"sha256:204a3d2fdef9811e62f228c1f302adc0b82212514e3df0d35f55dbe0f28768e3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UBLSGE5777KMC2LYBVVL6CQ2DY/bundle.json","state_url":"https://pith.science/pith/UBLSGE5777KMC2LYBVVL6CQ2DY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UBLSGE5777KMC2LYBVVL6CQ2DY/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-07-07T15:38:53Z","links":{"resolver":"https://pith.science/pith/UBLSGE5777KMC2LYBVVL6CQ2DY","bundle":"https://pith.science/pith/UBLSGE5777KMC2LYBVVL6CQ2DY/bundle.json","state":"https://pith.science/pith/UBLSGE5777KMC2LYBVVL6CQ2DY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UBLSGE5777KMC2LYBVVL6CQ2DY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:UBLSGE5777KMC2LYBVVL6CQ2DY","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":"ceddbc16dd8bc6831b8c23e6b8b64cb812e0551af7ca7b03a4aae8bcdcf1b481","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-25T22:40:29Z","title_canon_sha256":"41a21a72a4954543851de4d9a0fbda37f372f4b304ca85109e8ec79e68d535c0"},"schema_version":"1.0","source":{"id":"2003.11667","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2003.11667","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"arxiv_version","alias_value":"2003.11667v1","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2003.11667","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"pith_short_12","alias_value":"UBLSGE5777KM","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"pith_short_16","alias_value":"UBLSGE5777KMC2LY","created_at":"2026-07-05T00:50:46Z"},{"alias_kind":"pith_short_8","alias_value":"UBLSGE57","created_at":"2026-07-05T00:50:46Z"}],"graph_snapshots":[{"event_id":"sha256:204a3d2fdef9811e62f228c1f302adc0b82212514e3df0d35f55dbe0f28768e3","target":"graph","created_at":"2026-07-05T00:50:46Z","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/2003.11667/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Most automatic program repair techniques rely on test cases to specify correct program behavior. Due to test cases' frequently incomplete coverage of desired behavior, however, patches often overfit and fail to generalize to broader requirements. Moreover, in the absence of perfectly correct outputs, methods to ensure higher patch quality, such as merging together several patches or a human evaluating patch recommendations, benefit from having access to a diverse set of patches, making patch diversity a potentially useful trait. We evaluate the correctness and diversity of patches generated by","authors_text":"Zhen Yu Ding","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-25T22:40:29Z","title":"Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2003.11667","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:45dbd853c7bbbc354b24a2ddf6c4735032969cd980769830fcfa16b4ed19ba9f","target":"record","created_at":"2026-07-05T00:50:46Z","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":"ceddbc16dd8bc6831b8c23e6b8b64cb812e0551af7ca7b03a4aae8bcdcf1b481","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-25T22:40:29Z","title_canon_sha256":"41a21a72a4954543851de4d9a0fbda37f372f4b304ca85109e8ec79e68d535c0"},"schema_version":"1.0","source":{"id":"2003.11667","kind":"arxiv","version":1}},"canonical_sha256":"a0572313bfffd4c169780d6abf0a1a1e2c73871437b8f1aeed4df199f86e64bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a0572313bfffd4c169780d6abf0a1a1e2c73871437b8f1aeed4df199f86e64bd","first_computed_at":"2026-07-05T00:50:46.459075Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:50:46.459075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Uah+WI039+0tuBMHA0Gb9jnT5L0obIwm5ov/VNDIU4XAqH7nePav5TrYd6aYD/YprptvbhqFDU6V8CU6Z8iDA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:50:46.459617Z","signed_message":"canonical_sha256_bytes"},"source_id":"2003.11667","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45dbd853c7bbbc354b24a2ddf6c4735032969cd980769830fcfa16b4ed19ba9f","sha256:204a3d2fdef9811e62f228c1f302adc0b82212514e3df0d35f55dbe0f28768e3"],"state_sha256":"2809e161d1505eb1f65c9ff7bcdf166b08647731af6f2cfe870fb75203c22403"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EKGLStgaAOt+tzy8pKb6Fw8BZxH528ZwM5pJsPYWQj/SMyNCosQuow3aA4zGv1k6+ebx1W/MzxorW3oQPvWJCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T15:38:53.345455Z","bundle_sha256":"c1c2c71f5c8397db78db8d5fdc081f7e2364e9b25739633bdb70398daa91043e"}}