{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:WO3R57ZV6EQI5RXXUZP3M3BOI2","short_pith_number":"pith:WO3R57ZV","canonical_record":{"source":{"id":"1705.06662","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T15:54:44Z","cross_cats_sorted":[],"title_canon_sha256":"8b418616f0b0c2b093192b0f2ec00ce2add5e3743535e2b16e75558aa78a1189","abstract_canon_sha256":"1a49e23272f7280ee283663eb7f13d935c7619fea93a72f087e1d027f8dcec76"},"schema_version":"1.0"},"canonical_sha256":"b3b71eff35f1208ec6f7a65fb66c2e46ac7b53e16d3b2847b49a76002ceab489","source":{"kind":"arxiv","id":"1705.06662","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06662","created_at":"2026-05-18T00:32:50Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06662v3","created_at":"2026-05-18T00:32:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06662","created_at":"2026-05-18T00:32:50Z"},{"alias_kind":"pith_short_12","alias_value":"WO3R57ZV6EQI","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WO3R57ZV6EQI5RXX","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WO3R57ZV","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:WO3R57ZV6EQI5RXXUZP3M3BOI2","target":"record","payload":{"canonical_record":{"source":{"id":"1705.06662","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T15:54:44Z","cross_cats_sorted":[],"title_canon_sha256":"8b418616f0b0c2b093192b0f2ec00ce2add5e3743535e2b16e75558aa78a1189","abstract_canon_sha256":"1a49e23272f7280ee283663eb7f13d935c7619fea93a72f087e1d027f8dcec76"},"schema_version":"1.0"},"canonical_sha256":"b3b71eff35f1208ec6f7a65fb66c2e46ac7b53e16d3b2847b49a76002ceab489","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:50.724055Z","signature_b64":"x5VQvzMcxtpDSfFgHRTPG/CMbpPJVE6kWal9EOt2c4jZD0weBwgmG2kotl9U4+rPaZR+7UBDkRnWaA4k0dyLCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3b71eff35f1208ec6f7a65fb66c2e46ac7b53e16d3b2847b49a76002ceab489","last_reissued_at":"2026-05-18T00:32:50.723557Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:50.723557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.06662","source_version":3,"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:32:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LA61CB2brEeWeADmBR/qzj1Scp3/OqNi/LkE19KcSDXS5bqqvxtfWUt8s/dqvDLBkffnRH0b9rmQCw/Gf4rwCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T01:46:48.568062Z"},"content_sha256":"6499e1ef9b04ce0afde43eaaca914d409aef69f75e7011f4dcea2152bca3561e","schema_version":"1.0","event_id":"sha256:6499e1ef9b04ce0afde43eaaca914d409aef69f75e7011f4dcea2152bca3561e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:WO3R57ZV6EQI5RXXUZP3M3BOI2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploiting Term Hiding to Reduce Run-time Checking Overhead","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, Nataliia Stulova","submitted_at":"2017-05-18T15:54:44Z","abstract_excerpt":"One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to the program via assertions, but this can introduce overheads that are in many cases impractical. While static analysis can greatly reduce such overheads, the gains depend strongly on the quality of the information inferred. Reusable libraries, i.e., library modules that are pre-compiled independently of the client, pose special challenges in this c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06662","kind":"arxiv","version":3},"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:32:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CVg4/OGWnfEPUVMXdwlNm8Dj8rty/tQCnkQmi5KzCJpklZyC+rbrXvPPearZcvT35Kve+7jXk2B7T9YRoOG9Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T01:46:48.568421Z"},"content_sha256":"28938642ffd40e808e940c55502bbb4f4bdd3d5f6c11d90b00c825b2a10d4793","schema_version":"1.0","event_id":"sha256:28938642ffd40e808e940c55502bbb4f4bdd3d5f6c11d90b00c825b2a10d4793"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WO3R57ZV6EQI5RXXUZP3M3BOI2/bundle.json","state_url":"https://pith.science/pith/WO3R57ZV6EQI5RXXUZP3M3BOI2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WO3R57ZV6EQI5RXXUZP3M3BOI2/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-04T01:46:48Z","links":{"resolver":"https://pith.science/pith/WO3R57ZV6EQI5RXXUZP3M3BOI2","bundle":"https://pith.science/pith/WO3R57ZV6EQI5RXXUZP3M3BOI2/bundle.json","state":"https://pith.science/pith/WO3R57ZV6EQI5RXXUZP3M3BOI2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WO3R57ZV6EQI5RXXUZP3M3BOI2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:WO3R57ZV6EQI5RXXUZP3M3BOI2","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":"1a49e23272f7280ee283663eb7f13d935c7619fea93a72f087e1d027f8dcec76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T15:54:44Z","title_canon_sha256":"8b418616f0b0c2b093192b0f2ec00ce2add5e3743535e2b16e75558aa78a1189"},"schema_version":"1.0","source":{"id":"1705.06662","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06662","created_at":"2026-05-18T00:32:50Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06662v3","created_at":"2026-05-18T00:32:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06662","created_at":"2026-05-18T00:32:50Z"},{"alias_kind":"pith_short_12","alias_value":"WO3R57ZV6EQI","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WO3R57ZV6EQI5RXX","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WO3R57ZV","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:28938642ffd40e808e940c55502bbb4f4bdd3d5f6c11d90b00c825b2a10d4793","target":"graph","created_at":"2026-05-18T00:32:50Z","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":"One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to the program via assertions, but this can introduce overheads that are in many cases impractical. While static analysis can greatly reduce such overheads, the gains depend strongly on the quality of the information inferred. Reusable libraries, i.e., library modules that are pre-compiled independently of the client, pose special challenges in this c","authors_text":"Jos\\'e F. Morales, Manuel V. Hermenegildo, Nataliia Stulova","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T15:54:44Z","title":"Exploiting Term Hiding to Reduce Run-time Checking Overhead"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06662","kind":"arxiv","version":3},"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:6499e1ef9b04ce0afde43eaaca914d409aef69f75e7011f4dcea2152bca3561e","target":"record","created_at":"2026-05-18T00:32:50Z","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":"1a49e23272f7280ee283663eb7f13d935c7619fea93a72f087e1d027f8dcec76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T15:54:44Z","title_canon_sha256":"8b418616f0b0c2b093192b0f2ec00ce2add5e3743535e2b16e75558aa78a1189"},"schema_version":"1.0","source":{"id":"1705.06662","kind":"arxiv","version":3}},"canonical_sha256":"b3b71eff35f1208ec6f7a65fb66c2e46ac7b53e16d3b2847b49a76002ceab489","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3b71eff35f1208ec6f7a65fb66c2e46ac7b53e16d3b2847b49a76002ceab489","first_computed_at":"2026-05-18T00:32:50.723557Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:50.723557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"x5VQvzMcxtpDSfFgHRTPG/CMbpPJVE6kWal9EOt2c4jZD0weBwgmG2kotl9U4+rPaZR+7UBDkRnWaA4k0dyLCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:50.724055Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.06662","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6499e1ef9b04ce0afde43eaaca914d409aef69f75e7011f4dcea2152bca3561e","sha256:28938642ffd40e808e940c55502bbb4f4bdd3d5f6c11d90b00c825b2a10d4793"],"state_sha256":"f6409c836b18ef9cb48e0bc8b93ef5c5f7d391cadbe05f01e4ecfdcc8d73b27b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4epQ3wPA7U/L0/qCK5Qi8uuPebsY4dlde1Clyd/mQAuG7nALR3rNCb471lcPKGRgX7Q82BNk57Dlqf5o/m+CCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T01:46:48.570405Z","bundle_sha256":"8d4f37f6145e965f9f954f9dd7e088fe759c9408586193bb27610d167c1c7feb"}}