{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:YGXXJ7NC5TF6NHC4PJB7ZK24HR","short_pith_number":"pith:YGXXJ7NC","canonical_record":{"source":{"id":"1808.07937","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:31:57Z","cross_cats_sorted":[],"title_canon_sha256":"db98cdf2011e13498ca44026276fa5c0ae488dbff3cb076217f9618dfb713a7a","abstract_canon_sha256":"609e6ec752ddbaadcce42273f5bbc479c7287ddb87ad619ec475249c3b8347ab"},"schema_version":"1.0"},"canonical_sha256":"c1af74fda2eccbe69c5c7a43fcab5c3c6408ea45eca7e09f4aa96f387ba45179","source":{"kind":"arxiv","id":"1808.07937","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.07937","created_at":"2026-05-17T23:54:43Z"},{"alias_kind":"arxiv_version","alias_value":"1808.07937v3","created_at":"2026-05-17T23:54:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.07937","created_at":"2026-05-17T23:54:43Z"},{"alias_kind":"pith_short_12","alias_value":"YGXXJ7NC5TF6","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YGXXJ7NC5TF6NHC4","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YGXXJ7NC","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:YGXXJ7NC5TF6NHC4PJB7ZK24HR","target":"record","payload":{"canonical_record":{"source":{"id":"1808.07937","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:31:57Z","cross_cats_sorted":[],"title_canon_sha256":"db98cdf2011e13498ca44026276fa5c0ae488dbff3cb076217f9618dfb713a7a","abstract_canon_sha256":"609e6ec752ddbaadcce42273f5bbc479c7287ddb87ad619ec475249c3b8347ab"},"schema_version":"1.0"},"canonical_sha256":"c1af74fda2eccbe69c5c7a43fcab5c3c6408ea45eca7e09f4aa96f387ba45179","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:43.550686Z","signature_b64":"kG/s/52eeK02xIimDYkYIEdO0oeyNzrWKzw/EcGBfMaTo9if+46upB6JzRWsefbT29aCwIEqcAzhYi+0KIvECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1af74fda2eccbe69c5c7a43fcab5c3c6408ea45eca7e09f4aa96f387ba45179","last_reissued_at":"2026-05-17T23:54:43.550010Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:43.550010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.07937","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-17T23:54:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oZpWupFDMDVuC9ZAl1w1Pe2laaCWGbJL0wTN5stFczPwN+2w8b2ddh0/wVHJ8ATdEDd42FxKU6P30M3UazfmDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:23:45.065560Z"},"content_sha256":"0cec0e7bf2340fc8630fc2956916017e558d174b3a9923134732ed982ea6f343","schema_version":"1.0","event_id":"sha256:0cec0e7bf2340fc8630fc2956916017e558d174b3a9923134732ed982ea6f343"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:YGXXJ7NC5TF6NHC4PJB7ZK24HR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Runtime verification in Erlang by using contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Julio Mari\\~no, Lars-{\\AA}ke Fredlund, Salvador Tamarit, Sergio P\\'erez","submitted_at":"2018-08-23T20:31:57Z","abstract_excerpt":"During its lifetime, a program suffers several changes that seek to improve or to augment some parts of its functionality. However, these modifications usually also introduce errors that affect the already-working code. There are several approaches and tools that help to spot and find the source of these errors. However, most of these errors could be avoided beforehand by using some of the knowledge that the programmers had when they were writing the code. This is the idea behind the design-by-contract approach, where users can define contracts that can be checked during runtime. In this paper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.07937","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-17T23:54:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b+St4+NWvGON8Y9E3iiE2R7RzyO7CQZkbZoVULp44aFuFcN4/h93i6uQgj2oP5uXuq8LZM2DijdhFEAr7N5YDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:23:45.066259Z"},"content_sha256":"5dc65cab55359ef1730e9ebb285f855da54005f8287511a483f8d60936d77115","schema_version":"1.0","event_id":"sha256:5dc65cab55359ef1730e9ebb285f855da54005f8287511a483f8d60936d77115"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YGXXJ7NC5TF6NHC4PJB7ZK24HR/bundle.json","state_url":"https://pith.science/pith/YGXXJ7NC5TF6NHC4PJB7ZK24HR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YGXXJ7NC5TF6NHC4PJB7ZK24HR/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-05-28T21:23:45Z","links":{"resolver":"https://pith.science/pith/YGXXJ7NC5TF6NHC4PJB7ZK24HR","bundle":"https://pith.science/pith/YGXXJ7NC5TF6NHC4PJB7ZK24HR/bundle.json","state":"https://pith.science/pith/YGXXJ7NC5TF6NHC4PJB7ZK24HR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YGXXJ7NC5TF6NHC4PJB7ZK24HR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YGXXJ7NC5TF6NHC4PJB7ZK24HR","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":"609e6ec752ddbaadcce42273f5bbc479c7287ddb87ad619ec475249c3b8347ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:31:57Z","title_canon_sha256":"db98cdf2011e13498ca44026276fa5c0ae488dbff3cb076217f9618dfb713a7a"},"schema_version":"1.0","source":{"id":"1808.07937","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.07937","created_at":"2026-05-17T23:54:43Z"},{"alias_kind":"arxiv_version","alias_value":"1808.07937v3","created_at":"2026-05-17T23:54:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.07937","created_at":"2026-05-17T23:54:43Z"},{"alias_kind":"pith_short_12","alias_value":"YGXXJ7NC5TF6","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YGXXJ7NC5TF6NHC4","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YGXXJ7NC","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:5dc65cab55359ef1730e9ebb285f855da54005f8287511a483f8d60936d77115","target":"graph","created_at":"2026-05-17T23:54:43Z","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":"During its lifetime, a program suffers several changes that seek to improve or to augment some parts of its functionality. However, these modifications usually also introduce errors that affect the already-working code. There are several approaches and tools that help to spot and find the source of these errors. However, most of these errors could be avoided beforehand by using some of the knowledge that the programmers had when they were writing the code. This is the idea behind the design-by-contract approach, where users can define contracts that can be checked during runtime. In this paper","authors_text":"Julio Mari\\~no, Lars-{\\AA}ke Fredlund, Salvador Tamarit, Sergio P\\'erez","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:31:57Z","title":"Runtime verification in Erlang by using contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.07937","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:0cec0e7bf2340fc8630fc2956916017e558d174b3a9923134732ed982ea6f343","target":"record","created_at":"2026-05-17T23:54:43Z","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":"609e6ec752ddbaadcce42273f5bbc479c7287ddb87ad619ec475249c3b8347ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:31:57Z","title_canon_sha256":"db98cdf2011e13498ca44026276fa5c0ae488dbff3cb076217f9618dfb713a7a"},"schema_version":"1.0","source":{"id":"1808.07937","kind":"arxiv","version":3}},"canonical_sha256":"c1af74fda2eccbe69c5c7a43fcab5c3c6408ea45eca7e09f4aa96f387ba45179","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1af74fda2eccbe69c5c7a43fcab5c3c6408ea45eca7e09f4aa96f387ba45179","first_computed_at":"2026-05-17T23:54:43.550010Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:43.550010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kG/s/52eeK02xIimDYkYIEdO0oeyNzrWKzw/EcGBfMaTo9if+46upB6JzRWsefbT29aCwIEqcAzhYi+0KIvECw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:43.550686Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.07937","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0cec0e7bf2340fc8630fc2956916017e558d174b3a9923134732ed982ea6f343","sha256:5dc65cab55359ef1730e9ebb285f855da54005f8287511a483f8d60936d77115"],"state_sha256":"3cc69f2f65dde8737270d480b719f216952be474a9b4e494589f773bbf7a68e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FN1+sP/Ecu5as3EsmHza7310nnCDqvr3he6i9eqt0jqXihigVI4RKkmPn7wdX8WiqBiisVMcuQf57PrY/arvAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T21:23:45.070131Z","bundle_sha256":"84f4d5c6822ec189988ef9bd71eb20fc7ceee5ff0283fa27a0e557eaf8a8c19f"}}