{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:6HEGRJN7PM4LF4SUCRT4M6I72E","short_pith_number":"pith:6HEGRJN7","canonical_record":{"source":{"id":"1804.02380","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-06T17:53:29Z","cross_cats_sorted":[],"title_canon_sha256":"2272b24a2a88c2f923bd8aeff2d4858a27f86a07b90b6ee2aebe87f3b2b6d9c6","abstract_canon_sha256":"c6b26a987c0e6d49269f14f5e32c11645f6afc78b074f5f0daab1d54cf4a67a1"},"schema_version":"1.0"},"canonical_sha256":"f1c868a5bf7b38b2f2541467c6791fd135a06db53fd27970c660450a7ee5de2f","source":{"kind":"arxiv","id":"1804.02380","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02380","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02380v1","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02380","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"6HEGRJN7PM4L","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6HEGRJN7PM4LF4SU","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6HEGRJN7","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:6HEGRJN7PM4LF4SUCRT4M6I72E","target":"record","payload":{"canonical_record":{"source":{"id":"1804.02380","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-06T17:53:29Z","cross_cats_sorted":[],"title_canon_sha256":"2272b24a2a88c2f923bd8aeff2d4858a27f86a07b90b6ee2aebe87f3b2b6d9c6","abstract_canon_sha256":"c6b26a987c0e6d49269f14f5e32c11645f6afc78b074f5f0daab1d54cf4a67a1"},"schema_version":"1.0"},"canonical_sha256":"f1c868a5bf7b38b2f2541467c6791fd135a06db53fd27970c660450a7ee5de2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:05.037437Z","signature_b64":"rJFURyjH3xCmUZliEDXkgNKPR7asLCZ1tUtpf6Xym+c4upiKuJryA9FNjfEFIz975T5u7JfXnF633VbfW/l7Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1c868a5bf7b38b2f2541467c6791fd135a06db53fd27970c660450a7ee5de2f","last_reissued_at":"2026-05-18T00:19:05.036813Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:05.036813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.02380","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-18T00:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EdvlkdVWRu9wGPrHJVzY+J9ANcKdOF71HQxdlEGKdmMne4hZ0qeOsLFWl4pRRIObGJSWKpR/fjW6zWM1m38tCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T09:31:07.923597Z"},"content_sha256":"c7c9ae061fbc29348d4b24f57a8717786bb1bb5b1093969468cc066ee2126b52","schema_version":"1.0","event_id":"sha256:c7c9ae061fbc29348d4b24f57a8717786bb1bb5b1093969468cc066ee2126b52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:6HEGRJN7PM4LF4SUCRT4M6I72E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Approach to Static Performance Guarantees for Programs with Run-time Checks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jos\\'e F. Morales, Manuel V. Hermenegildo, Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia","submitted_at":"2018-04-06T17:53:29Z","abstract_excerpt":"Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such run-time checks inevitably introduce run-time overhead (in execution time, memory, energy, etc.). Several approaches have been proposed for reducing such overhead, such as eliminating the checks that can statically be proved to always succeed, and/or optimizing the way in which the (remaining) checks are performed. However, there are cas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02380","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-18T00:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MV8aTA9cZJ1bUS7W2ZigbLikELUxosQwNqum97zLhiqSlIOlEX66Mw1Sp2eGfihpAZO8Aiofb2/pCUwfNbtgAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T09:31:07.923930Z"},"content_sha256":"f82f8387b82d7468cdcaea82d6b66c602bf70511511ca9010d0f663ccf18febf","schema_version":"1.0","event_id":"sha256:f82f8387b82d7468cdcaea82d6b66c602bf70511511ca9010d0f663ccf18febf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6HEGRJN7PM4LF4SUCRT4M6I72E/bundle.json","state_url":"https://pith.science/pith/6HEGRJN7PM4LF4SUCRT4M6I72E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6HEGRJN7PM4LF4SUCRT4M6I72E/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-11T09:31:07Z","links":{"resolver":"https://pith.science/pith/6HEGRJN7PM4LF4SUCRT4M6I72E","bundle":"https://pith.science/pith/6HEGRJN7PM4LF4SUCRT4M6I72E/bundle.json","state":"https://pith.science/pith/6HEGRJN7PM4LF4SUCRT4M6I72E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6HEGRJN7PM4LF4SUCRT4M6I72E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6HEGRJN7PM4LF4SUCRT4M6I72E","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":"c6b26a987c0e6d49269f14f5e32c11645f6afc78b074f5f0daab1d54cf4a67a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-06T17:53:29Z","title_canon_sha256":"2272b24a2a88c2f923bd8aeff2d4858a27f86a07b90b6ee2aebe87f3b2b6d9c6"},"schema_version":"1.0","source":{"id":"1804.02380","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02380","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02380v1","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02380","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"6HEGRJN7PM4L","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6HEGRJN7PM4LF4SU","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6HEGRJN7","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:f82f8387b82d7468cdcaea82d6b66c602bf70511511ca9010d0f663ccf18febf","target":"graph","created_at":"2026-05-18T00:19:05Z","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":"Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such run-time checks inevitably introduce run-time overhead (in execution time, memory, energy, etc.). Several approaches have been proposed for reducing such overhead, such as eliminating the checks that can statically be proved to always succeed, and/or optimizing the way in which the (remaining) checks are performed. However, there are cas","authors_text":"Jos\\'e F. Morales, Manuel V. Hermenegildo, Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-06T17:53:29Z","title":"An Approach to Static Performance Guarantees for Programs with Run-time Checks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02380","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:c7c9ae061fbc29348d4b24f57a8717786bb1bb5b1093969468cc066ee2126b52","target":"record","created_at":"2026-05-18T00:19:05Z","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":"c6b26a987c0e6d49269f14f5e32c11645f6afc78b074f5f0daab1d54cf4a67a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-06T17:53:29Z","title_canon_sha256":"2272b24a2a88c2f923bd8aeff2d4858a27f86a07b90b6ee2aebe87f3b2b6d9c6"},"schema_version":"1.0","source":{"id":"1804.02380","kind":"arxiv","version":1}},"canonical_sha256":"f1c868a5bf7b38b2f2541467c6791fd135a06db53fd27970c660450a7ee5de2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1c868a5bf7b38b2f2541467c6791fd135a06db53fd27970c660450a7ee5de2f","first_computed_at":"2026-05-18T00:19:05.036813Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:05.036813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rJFURyjH3xCmUZliEDXkgNKPR7asLCZ1tUtpf6Xym+c4upiKuJryA9FNjfEFIz975T5u7JfXnF633VbfW/l7Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:05.037437Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.02380","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7c9ae061fbc29348d4b24f57a8717786bb1bb5b1093969468cc066ee2126b52","sha256:f82f8387b82d7468cdcaea82d6b66c602bf70511511ca9010d0f663ccf18febf"],"state_sha256":"2e4412369546b6b3b834aaf58594600dc26de1b0d9fd07d5848ef6df29b0f8af"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Rop7M6coiYky9/g1cdX9ZRxEG/8b0Stsq2XwbrqV2H0PXeXbLKKmxMo1WjouygeHToiKdGfTb1K6K7UQWFEECQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T09:31:07.925788Z","bundle_sha256":"3e274b278ea7a1014ad3606a887929dcb7afcb4b9309636678e3a79c1abd363b"}}