{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:Q2X75FERWY6J2XUBXKZJL7DMZG","short_pith_number":"pith:Q2X75FER","canonical_record":{"source":{"id":"1604.08784","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-29T11:55:23Z","cross_cats_sorted":[],"title_canon_sha256":"783fd21d8b0bb9cc77a6c7e4a0feb567f7b88e726bff26c4968ed15029f85806","abstract_canon_sha256":"48678f59748b6b0dd4c82662a7e00afde7f020ef553d625a7fdf9cb9f5e80a5f"},"schema_version":"1.0"},"canonical_sha256":"86affe9491b63c9d5e81bab295fc6cc98ff0aef2f03c77b97835f5ad939509ca","source":{"kind":"arxiv","id":"1604.08784","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08784","created_at":"2026-05-18T01:15:22Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08784v2","created_at":"2026-05-18T01:15:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08784","created_at":"2026-05-18T01:15:22Z"},{"alias_kind":"pith_short_12","alias_value":"Q2X75FERWY6J","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"Q2X75FERWY6J2XUB","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"Q2X75FER","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:Q2X75FERWY6J2XUBXKZJL7DMZG","target":"record","payload":{"canonical_record":{"source":{"id":"1604.08784","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-29T11:55:23Z","cross_cats_sorted":[],"title_canon_sha256":"783fd21d8b0bb9cc77a6c7e4a0feb567f7b88e726bff26c4968ed15029f85806","abstract_canon_sha256":"48678f59748b6b0dd4c82662a7e00afde7f020ef553d625a7fdf9cb9f5e80a5f"},"schema_version":"1.0"},"canonical_sha256":"86affe9491b63c9d5e81bab295fc6cc98ff0aef2f03c77b97835f5ad939509ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:22.264174Z","signature_b64":"fDFZUnRSCWMLpNb5R3U9rIU1ejuSJH/He3j6QQlYzyZ6Fw25ihYJro38UpCnGTk7TYvXI+UrKs0AFFppy7APAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"86affe9491b63c9d5e81bab295fc6cc98ff0aef2f03c77b97835f5ad939509ca","last_reissued_at":"2026-05-18T01:15:22.263551Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:22.263551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.08784","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-18T01:15:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dVXDx6+KLLSqup5hikefhcKPNyoQYRvENOWz6WhtcBrFAvmr6wlUI2CrJJx3J1AuQQ8D0iSN/+lLOz+CxZrTCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:16:02.301876Z"},"content_sha256":"b3148e4b7bdeea5a79e15637d079c7f962bab4acd9a2e130bef0eddc1ddecb3f","schema_version":"1.0","event_id":"sha256:b3148e4b7bdeea5a79e15637d079c7f962bab4acd9a2e130bef0eddc1ddecb3f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:Q2X75FERWY6J2XUBXKZJL7DMZG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deriving approximation tolerance constraints from verification runs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Felix Pauck, Heike Wehrheim, Marie-Christine Jakobs, Tobias Isenberg","submitted_at":"2016-04-29T11:55:23Z","abstract_excerpt":"Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing for hardware which only carries out \"approximately correct\" calculations. For software verification, this challenges the validity of verification results for programs run on approximate hardware.\n  In this paper, we present a novel approach to examine program correctness in the context of approximate computing. In contrast to all existing approaches, we start with a standard program verification and compute the allowed tolerances fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08784","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-18T01:15:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qtmerBl77UBWzA/kgzp4f32th4j71nDXwA2uBlXTMVWmNxSOTi/wVBNa97wyessMetb7+N4albylyaRQ2NKwBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:16:02.302483Z"},"content_sha256":"7808202ddd4a0c6b85ceb8f53651d4ac82f94622d41327b9d235d90102b58b44","schema_version":"1.0","event_id":"sha256:7808202ddd4a0c6b85ceb8f53651d4ac82f94622d41327b9d235d90102b58b44"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q2X75FERWY6J2XUBXKZJL7DMZG/bundle.json","state_url":"https://pith.science/pith/Q2X75FERWY6J2XUBXKZJL7DMZG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q2X75FERWY6J2XUBXKZJL7DMZG/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-07T07:16:02Z","links":{"resolver":"https://pith.science/pith/Q2X75FERWY6J2XUBXKZJL7DMZG","bundle":"https://pith.science/pith/Q2X75FERWY6J2XUBXKZJL7DMZG/bundle.json","state":"https://pith.science/pith/Q2X75FERWY6J2XUBXKZJL7DMZG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q2X75FERWY6J2XUBXKZJL7DMZG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:Q2X75FERWY6J2XUBXKZJL7DMZG","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":"48678f59748b6b0dd4c82662a7e00afde7f020ef553d625a7fdf9cb9f5e80a5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-29T11:55:23Z","title_canon_sha256":"783fd21d8b0bb9cc77a6c7e4a0feb567f7b88e726bff26c4968ed15029f85806"},"schema_version":"1.0","source":{"id":"1604.08784","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08784","created_at":"2026-05-18T01:15:22Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08784v2","created_at":"2026-05-18T01:15:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08784","created_at":"2026-05-18T01:15:22Z"},{"alias_kind":"pith_short_12","alias_value":"Q2X75FERWY6J","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"Q2X75FERWY6J2XUB","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"Q2X75FER","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:7808202ddd4a0c6b85ceb8f53651d4ac82f94622d41327b9d235d90102b58b44","target":"graph","created_at":"2026-05-18T01:15:22Z","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":"Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing for hardware which only carries out \"approximately correct\" calculations. For software verification, this challenges the validity of verification results for programs run on approximate hardware.\n  In this paper, we present a novel approach to examine program correctness in the context of approximate computing. In contrast to all existing approaches, we start with a standard program verification and compute the allowed tolerances fo","authors_text":"Felix Pauck, Heike Wehrheim, Marie-Christine Jakobs, Tobias Isenberg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-29T11:55:23Z","title":"Deriving approximation tolerance constraints from verification runs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08784","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:b3148e4b7bdeea5a79e15637d079c7f962bab4acd9a2e130bef0eddc1ddecb3f","target":"record","created_at":"2026-05-18T01:15:22Z","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":"48678f59748b6b0dd4c82662a7e00afde7f020ef553d625a7fdf9cb9f5e80a5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-29T11:55:23Z","title_canon_sha256":"783fd21d8b0bb9cc77a6c7e4a0feb567f7b88e726bff26c4968ed15029f85806"},"schema_version":"1.0","source":{"id":"1604.08784","kind":"arxiv","version":2}},"canonical_sha256":"86affe9491b63c9d5e81bab295fc6cc98ff0aef2f03c77b97835f5ad939509ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"86affe9491b63c9d5e81bab295fc6cc98ff0aef2f03c77b97835f5ad939509ca","first_computed_at":"2026-05-18T01:15:22.263551Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:22.263551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fDFZUnRSCWMLpNb5R3U9rIU1ejuSJH/He3j6QQlYzyZ6Fw25ihYJro38UpCnGTk7TYvXI+UrKs0AFFppy7APAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:22.264174Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.08784","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3148e4b7bdeea5a79e15637d079c7f962bab4acd9a2e130bef0eddc1ddecb3f","sha256:7808202ddd4a0c6b85ceb8f53651d4ac82f94622d41327b9d235d90102b58b44"],"state_sha256":"19cdd7d7dbb96f31ea4083972366144d88e649996b1c3b407b36370dc8411fed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZFISVQPLf0UAEqlvcnRJ37dcUiXn4X13YC7h+ft2pkks4SWYwVf1h3o7R5wQIe8zcx1qubSe0J1O1ij66xRGDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T07:16:02.306208Z","bundle_sha256":"f8771f1514d35c7bfae0d50546536201ecb2207bae5d724e8ef74b482baf178a"}}