{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:AYWS4VRAQKF66SDDEK7PX32TAF","short_pith_number":"pith:AYWS4VRA","canonical_record":{"source":{"id":"1209.5920","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-26T13:02:24Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e995df4bc4f0d262d7f4e3c7918613ceac75791729d728c81a93a00bc6abbb0c","abstract_canon_sha256":"1b51e541127cb999bd4dac6c24ac45c0af3841a641cb0218b8816cca66ba8972"},"schema_version":"1.0"},"canonical_sha256":"062d2e5620828bef486322befbef53017c79c6d7ecdaffa513e5160e3e1f074a","source":{"kind":"arxiv","id":"1209.5920","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.5920","created_at":"2026-05-18T03:44:45Z"},{"alias_kind":"arxiv_version","alias_value":"1209.5920v1","created_at":"2026-05-18T03:44:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.5920","created_at":"2026-05-18T03:44:45Z"},{"alias_kind":"pith_short_12","alias_value":"AYWS4VRAQKF6","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AYWS4VRAQKF66SDD","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AYWS4VRA","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:AYWS4VRAQKF66SDDEK7PX32TAF","target":"record","payload":{"canonical_record":{"source":{"id":"1209.5920","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-26T13:02:24Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e995df4bc4f0d262d7f4e3c7918613ceac75791729d728c81a93a00bc6abbb0c","abstract_canon_sha256":"1b51e541127cb999bd4dac6c24ac45c0af3841a641cb0218b8816cca66ba8972"},"schema_version":"1.0"},"canonical_sha256":"062d2e5620828bef486322befbef53017c79c6d7ecdaffa513e5160e3e1f074a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:44:45.928180Z","signature_b64":"0pkxBwLjzaqswyvniSJ6evxQr1+r4jSV9UBqNwdQFsF5uljYMi1UXVnAIFxWRhCcMFlyhnHfIWSL3baHkrr7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"062d2e5620828bef486322befbef53017c79c6d7ecdaffa513e5160e3e1f074a","last_reissued_at":"2026-05-18T03:44:45.927662Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:44:45.927662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1209.5920","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-05-18T03:44:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AwCsI1hZA6PC4cfzTyBktjkjP/sqNDQ924kjZggXXsdtbFzTVkDmqUOg40Ruq8y6vdGt3sMSoTy+O1zGZrk2DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T12:14:37.984748Z"},"content_sha256":"d2abcdcdcd391812ffb0d9469f0355a774e6666e72573b514520b44e9bf05f75","schema_version":"1.0","event_id":"sha256:d2abcdcdcd391812ffb0d9469f0355a774e6666e72573b514520b44e9bf05f75"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:AYWS4VRAQKF66SDDEK7PX32TAF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the correctness of a branch displacement algorithm","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Claudio Sacerdoti Coen, Jaap Boender","submitted_at":"2012-09-26T13:02:24Z","abstract_excerpt":"The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions, of different sizes, for jumps of different displacements. The problem, which is provably NP-hard, is then to select the instructions such that one ends up with the smallest possible program.\n  During our research with the CerCo project on formally verifying a C compiler, we have implemented and proven correct an algorithm for this problem. In this paper, we discuss the problem, possible solutions, our specific solu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.5920","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":""},"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-18T03:44:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"up3ValmQVRJ8HMWkc4RLKn7EH/kzxyH7RuYGgnc86sLWxOdakst5kcZFTSDNxU+XWWr7vsMXFvqrCqHg1vaZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T12:14:37.985087Z"},"content_sha256":"16aa0593906221853b8f11a20cc6c2000b62d0c4f62601454907914ccf21a6b0","schema_version":"1.0","event_id":"sha256:16aa0593906221853b8f11a20cc6c2000b62d0c4f62601454907914ccf21a6b0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AYWS4VRAQKF66SDDEK7PX32TAF/bundle.json","state_url":"https://pith.science/pith/AYWS4VRAQKF66SDDEK7PX32TAF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AYWS4VRAQKF66SDDEK7PX32TAF/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-06-20T12:14:37Z","links":{"resolver":"https://pith.science/pith/AYWS4VRAQKF66SDDEK7PX32TAF","bundle":"https://pith.science/pith/AYWS4VRAQKF66SDDEK7PX32TAF/bundle.json","state":"https://pith.science/pith/AYWS4VRAQKF66SDDEK7PX32TAF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AYWS4VRAQKF66SDDEK7PX32TAF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:AYWS4VRAQKF66SDDEK7PX32TAF","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":"1b51e541127cb999bd4dac6c24ac45c0af3841a641cb0218b8816cca66ba8972","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-26T13:02:24Z","title_canon_sha256":"e995df4bc4f0d262d7f4e3c7918613ceac75791729d728c81a93a00bc6abbb0c"},"schema_version":"1.0","source":{"id":"1209.5920","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.5920","created_at":"2026-05-18T03:44:45Z"},{"alias_kind":"arxiv_version","alias_value":"1209.5920v1","created_at":"2026-05-18T03:44:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.5920","created_at":"2026-05-18T03:44:45Z"},{"alias_kind":"pith_short_12","alias_value":"AYWS4VRAQKF6","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AYWS4VRAQKF66SDD","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AYWS4VRA","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:16aa0593906221853b8f11a20cc6c2000b62d0c4f62601454907914ccf21a6b0","target":"graph","created_at":"2026-05-18T03:44:45Z","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":"The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions, of different sizes, for jumps of different displacements. The problem, which is provably NP-hard, is then to select the instructions such that one ends up with the smallest possible program.\n  During our research with the CerCo project on formally verifying a C compiler, we have implemented and proven correct an algorithm for this problem. In this paper, we discuss the problem, possible solutions, our specific solu","authors_text":"Claudio Sacerdoti Coen, Jaap Boender","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-26T13:02:24Z","title":"On the correctness of a branch displacement algorithm"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.5920","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:d2abcdcdcd391812ffb0d9469f0355a774e6666e72573b514520b44e9bf05f75","target":"record","created_at":"2026-05-18T03:44:45Z","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":"1b51e541127cb999bd4dac6c24ac45c0af3841a641cb0218b8816cca66ba8972","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-26T13:02:24Z","title_canon_sha256":"e995df4bc4f0d262d7f4e3c7918613ceac75791729d728c81a93a00bc6abbb0c"},"schema_version":"1.0","source":{"id":"1209.5920","kind":"arxiv","version":1}},"canonical_sha256":"062d2e5620828bef486322befbef53017c79c6d7ecdaffa513e5160e3e1f074a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"062d2e5620828bef486322befbef53017c79c6d7ecdaffa513e5160e3e1f074a","first_computed_at":"2026-05-18T03:44:45.927662Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:44:45.927662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0pkxBwLjzaqswyvniSJ6evxQr1+r4jSV9UBqNwdQFsF5uljYMi1UXVnAIFxWRhCcMFlyhnHfIWSL3baHkrr7AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:44:45.928180Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.5920","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d2abcdcdcd391812ffb0d9469f0355a774e6666e72573b514520b44e9bf05f75","sha256:16aa0593906221853b8f11a20cc6c2000b62d0c4f62601454907914ccf21a6b0"],"state_sha256":"9bf7cf7e78ed0430ec33594a04b3ff67fe4526fc4da234446b6c008fce2de52b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YNDGYSWPSZUQFRnW+8BAjsQ4HW4yBdtNCariADMot4Dzq+d+vZ6HsLa2IGoprmYMX1i/LCIkX5f4DNaOeZnrBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T12:14:37.986959Z","bundle_sha256":"4f26354fbfb46a5fcf1db89f5077a8149534369b32cdc202c23a5fd675459b4d"}}