{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:7RC56DCGW7YXVLSOSCNGI7S3VQ","short_pith_number":"pith:7RC56DCG","canonical_record":{"source":{"id":"1102.1059","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-02-05T08:31:07Z","cross_cats_sorted":[],"title_canon_sha256":"d7a3a63384580e9d9f9cf555784b0374d1b8cac0261b0ffaacb262bb991dca39","abstract_canon_sha256":"d6899a0f523c50d1629cb7ab5c659b40f8b3ecdd567146ee9a125755ac145b50"},"schema_version":"1.0"},"canonical_sha256":"fc45df0c46b7f17aae4e909a647e5bac335f563f3bb27496a4e8e5b9914f186e","source":{"kind":"arxiv","id":"1102.1059","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.1059","created_at":"2026-05-18T02:22:40Z"},{"alias_kind":"arxiv_version","alias_value":"1102.1059v2","created_at":"2026-05-18T02:22:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.1059","created_at":"2026-05-18T02:22:40Z"},{"alias_kind":"pith_short_12","alias_value":"7RC56DCGW7YX","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7RC56DCGW7YXVLSO","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7RC56DCG","created_at":"2026-05-18T12:26:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:7RC56DCGW7YXVLSOSCNGI7S3VQ","target":"record","payload":{"canonical_record":{"source":{"id":"1102.1059","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-02-05T08:31:07Z","cross_cats_sorted":[],"title_canon_sha256":"d7a3a63384580e9d9f9cf555784b0374d1b8cac0261b0ffaacb262bb991dca39","abstract_canon_sha256":"d6899a0f523c50d1629cb7ab5c659b40f8b3ecdd567146ee9a125755ac145b50"},"schema_version":"1.0"},"canonical_sha256":"fc45df0c46b7f17aae4e909a647e5bac335f563f3bb27496a4e8e5b9914f186e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:40.375028Z","signature_b64":"hjnc875p3WBDDBfi5ycXNrhfao6G4as3lSCut31GgurKYVgs1hMsXp+S/ZFE47UNCyZUtKuBUb2OSwHuqyIaCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc45df0c46b7f17aae4e909a647e5bac335f563f3bb27496a4e8e5b9914f186e","last_reissued_at":"2026-05-18T02:22:40.374309Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:40.374309Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1102.1059","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-05-18T02:22:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W2mfSgx9blYz49JcwMXytF0b0SO9SXBqzQlGbNJ4fKQH7/cT7cD7EhTRyaL8YswSrIXoSVCOipM2maDm1K/iBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T23:14:19.554264Z"},"content_sha256":"579a46d26dbcac22759e68f1473dd642373bb85f09ad954d1bb2c37b98b9578a","schema_version":"1.0","event_id":"sha256:579a46d26dbcac22759e68f1473dd642373bb85f09ad954d1bb2c37b98b9578a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:7RC56DCGW7YXVLSOSCNGI7S3VQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Code-based Automated Program Fixing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bertrand Meyer, Carlo A. Furia, Martin Nordio, Yi Wei, Yu Pei","submitted_at":"2011-02-05T08:31:07Z","abstract_excerpt":"Many programmers, when they encounter an error, would like to have the benefit of automatic fix suggestions---as long as they are, most of the time, adequate. Initial research in this direction has generally limited itself to specific areas, such as data structure classes with carefully designed interfaces, and relied on simple approaches. To provide high-quality fix suggestions in a broad area of applicability, the present work relies on the presence of contracts in the code, and on the availability of dynamic analysis to gather evidence on the values taken by expressions derived from the pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.1059","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":""},"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-05-18T02:22:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ULWvZE//mwzgsRhHbQ1tvCK9pRLU7Ukh5tAtI+M/+Fym1xcUqbB7YVO23XjTFeOcdJJAnBgoLpRERa/GDImzAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T23:14:19.554866Z"},"content_sha256":"d403b702b14fb13ae6db50017d1b300a980aefa6bfc8742f0b346b0d5afe1d3a","schema_version":"1.0","event_id":"sha256:d403b702b14fb13ae6db50017d1b300a980aefa6bfc8742f0b346b0d5afe1d3a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7RC56DCGW7YXVLSOSCNGI7S3VQ/bundle.json","state_url":"https://pith.science/pith/7RC56DCGW7YXVLSOSCNGI7S3VQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7RC56DCGW7YXVLSOSCNGI7S3VQ/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-01T23:14:19Z","links":{"resolver":"https://pith.science/pith/7RC56DCGW7YXVLSOSCNGI7S3VQ","bundle":"https://pith.science/pith/7RC56DCGW7YXVLSOSCNGI7S3VQ/bundle.json","state":"https://pith.science/pith/7RC56DCGW7YXVLSOSCNGI7S3VQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7RC56DCGW7YXVLSOSCNGI7S3VQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:7RC56DCGW7YXVLSOSCNGI7S3VQ","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":"d6899a0f523c50d1629cb7ab5c659b40f8b3ecdd567146ee9a125755ac145b50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-02-05T08:31:07Z","title_canon_sha256":"d7a3a63384580e9d9f9cf555784b0374d1b8cac0261b0ffaacb262bb991dca39"},"schema_version":"1.0","source":{"id":"1102.1059","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.1059","created_at":"2026-05-18T02:22:40Z"},{"alias_kind":"arxiv_version","alias_value":"1102.1059v2","created_at":"2026-05-18T02:22:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.1059","created_at":"2026-05-18T02:22:40Z"},{"alias_kind":"pith_short_12","alias_value":"7RC56DCGW7YX","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7RC56DCGW7YXVLSO","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7RC56DCG","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:d403b702b14fb13ae6db50017d1b300a980aefa6bfc8742f0b346b0d5afe1d3a","target":"graph","created_at":"2026-05-18T02:22:40Z","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"},"paper":{"abstract_excerpt":"Many programmers, when they encounter an error, would like to have the benefit of automatic fix suggestions---as long as they are, most of the time, adequate. Initial research in this direction has generally limited itself to specific areas, such as data structure classes with carefully designed interfaces, and relied on simple approaches. To provide high-quality fix suggestions in a broad area of applicability, the present work relies on the presence of contracts in the code, and on the availability of dynamic analysis to gather evidence on the values taken by expressions derived from the pro","authors_text":"Bertrand Meyer, Carlo A. Furia, Martin Nordio, Yi Wei, Yu Pei","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-02-05T08:31:07Z","title":"Code-based Automated Program Fixing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.1059","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:579a46d26dbcac22759e68f1473dd642373bb85f09ad954d1bb2c37b98b9578a","target":"record","created_at":"2026-05-18T02:22:40Z","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":"d6899a0f523c50d1629cb7ab5c659b40f8b3ecdd567146ee9a125755ac145b50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-02-05T08:31:07Z","title_canon_sha256":"d7a3a63384580e9d9f9cf555784b0374d1b8cac0261b0ffaacb262bb991dca39"},"schema_version":"1.0","source":{"id":"1102.1059","kind":"arxiv","version":2}},"canonical_sha256":"fc45df0c46b7f17aae4e909a647e5bac335f563f3bb27496a4e8e5b9914f186e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc45df0c46b7f17aae4e909a647e5bac335f563f3bb27496a4e8e5b9914f186e","first_computed_at":"2026-05-18T02:22:40.374309Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:40.374309Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hjnc875p3WBDDBfi5ycXNrhfao6G4as3lSCut31GgurKYVgs1hMsXp+S/ZFE47UNCyZUtKuBUb2OSwHuqyIaCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:40.375028Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.1059","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:579a46d26dbcac22759e68f1473dd642373bb85f09ad954d1bb2c37b98b9578a","sha256:d403b702b14fb13ae6db50017d1b300a980aefa6bfc8742f0b346b0d5afe1d3a"],"state_sha256":"549b064a93b4a356f19143f6b37f7525f60eac2e8d1e8bd1163b8ef78783764a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qQseJ3MiS8/TvIsUUEyWSFGa+ps89Ium2hAl9nsiWNQtPslS7Ut7CcT1pe2SILJx5O3VbjmbD/7nFwfqlCbGDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T23:14:19.558715Z","bundle_sha256":"140bdc1de2c2d7f32d1c66c4a8ae34d6bf359602d7e9c22a224caf7ea1a570e2"}}