{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:FEMC7UQ5T5DV33TJ5LM76VAJN6","short_pith_number":"pith:FEMC7UQ5","canonical_record":{"source":{"id":"1410.0198","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-01T12:17:40Z","cross_cats_sorted":[],"title_canon_sha256":"8986334264fe4c1a88abff82f5dd392c737626f2d18865f544e5ffc02c7dab0a","abstract_canon_sha256":"7df3e0ac9a97198f6d5f35308c080271f52df63917ba00e90a1eee263c84ab7c"},"schema_version":"1.0"},"canonical_sha256":"29182fd21d9f475dee69ead9ff54096fb83e8e7c050963882b516271b6a788ca","source":{"kind":"arxiv","id":"1410.0198","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.0198","created_at":"2026-05-18T01:19:16Z"},{"alias_kind":"arxiv_version","alias_value":"1410.0198v3","created_at":"2026-05-18T01:19:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.0198","created_at":"2026-05-18T01:19:16Z"},{"alias_kind":"pith_short_12","alias_value":"FEMC7UQ5T5DV","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FEMC7UQ5T5DV33TJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FEMC7UQ5","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:FEMC7UQ5T5DV33TJ5LM76VAJN6","target":"record","payload":{"canonical_record":{"source":{"id":"1410.0198","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-01T12:17:40Z","cross_cats_sorted":[],"title_canon_sha256":"8986334264fe4c1a88abff82f5dd392c737626f2d18865f544e5ffc02c7dab0a","abstract_canon_sha256":"7df3e0ac9a97198f6d5f35308c080271f52df63917ba00e90a1eee263c84ab7c"},"schema_version":"1.0"},"canonical_sha256":"29182fd21d9f475dee69ead9ff54096fb83e8e7c050963882b516271b6a788ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:16.259343Z","signature_b64":"pTQ1evLJDwpWheruWCeikpUZzR9ewoIlTY060DVQcCh49sbs1QanuqXYXL87uo//2WQACFau/lWCHqDRcwBwCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29182fd21d9f475dee69ead9ff54096fb83e8e7c050963882b516271b6a788ca","last_reissued_at":"2026-05-18T01:19:16.258955Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:16.258955Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.0198","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-18T01:19:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GqT/1FDNey+5Mvbz0jqIZLiFfLDnJayFvEoh8ORJWLj7QXBqC8YwoPoawer4YJgBzCmtQbZA/p2t+8J9urTrDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T20:35:57.756772Z"},"content_sha256":"fc91aea8102ce557f0f9fadaafe7844e3f2410a6df180c7e518598a7993743ef","schema_version":"1.0","event_id":"sha256:fc91aea8102ce557f0f9fadaafe7844e3f2410a6df180c7e518598a7993743ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:FEMC7UQ5T5DV33TJ5LM76VAJN6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards a Compiler for Reals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Eva Darulova, Viktor Kuncak","submitted_at":"2014-10-01T12:17:40Z","abstract_excerpt":"Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. In many domains, roundoff errors are not the only source of inaccuracy and measurement and other input errors further increase the uncertainty of the computed results. Adequate tools are needed to help users select suitable approximations, especially for safety-critical applications.\n  We present the source-to-source compiler Rosa which takes as input a real-valued program with error specifications and synthesizes code over an ap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.0198","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-18T01:19:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U46CmUjI5H1/84gQdoC+B4NsE+kPSNuce4ysO3qfkS44un1fOSx5gcefcIBgVvvx9M/jEgzKrmIvn15cIg4lCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T20:35:57.757419Z"},"content_sha256":"9fde51e23d046f2279a366da2563de9d964aaa39e4ff32ce779b4d2de0412c68","schema_version":"1.0","event_id":"sha256:9fde51e23d046f2279a366da2563de9d964aaa39e4ff32ce779b4d2de0412c68"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FEMC7UQ5T5DV33TJ5LM76VAJN6/bundle.json","state_url":"https://pith.science/pith/FEMC7UQ5T5DV33TJ5LM76VAJN6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FEMC7UQ5T5DV33TJ5LM76VAJN6/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-29T20:35:57Z","links":{"resolver":"https://pith.science/pith/FEMC7UQ5T5DV33TJ5LM76VAJN6","bundle":"https://pith.science/pith/FEMC7UQ5T5DV33TJ5LM76VAJN6/bundle.json","state":"https://pith.science/pith/FEMC7UQ5T5DV33TJ5LM76VAJN6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FEMC7UQ5T5DV33TJ5LM76VAJN6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FEMC7UQ5T5DV33TJ5LM76VAJN6","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":"7df3e0ac9a97198f6d5f35308c080271f52df63917ba00e90a1eee263c84ab7c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-01T12:17:40Z","title_canon_sha256":"8986334264fe4c1a88abff82f5dd392c737626f2d18865f544e5ffc02c7dab0a"},"schema_version":"1.0","source":{"id":"1410.0198","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.0198","created_at":"2026-05-18T01:19:16Z"},{"alias_kind":"arxiv_version","alias_value":"1410.0198v3","created_at":"2026-05-18T01:19:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.0198","created_at":"2026-05-18T01:19:16Z"},{"alias_kind":"pith_short_12","alias_value":"FEMC7UQ5T5DV","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FEMC7UQ5T5DV33TJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FEMC7UQ5","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:9fde51e23d046f2279a366da2563de9d964aaa39e4ff32ce779b4d2de0412c68","target":"graph","created_at":"2026-05-18T01:19:16Z","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":"Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. In many domains, roundoff errors are not the only source of inaccuracy and measurement and other input errors further increase the uncertainty of the computed results. Adequate tools are needed to help users select suitable approximations, especially for safety-critical applications.\n  We present the source-to-source compiler Rosa which takes as input a real-valued program with error specifications and synthesizes code over an ap","authors_text":"Eva Darulova, Viktor Kuncak","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-01T12:17:40Z","title":"Towards a Compiler for Reals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.0198","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:fc91aea8102ce557f0f9fadaafe7844e3f2410a6df180c7e518598a7993743ef","target":"record","created_at":"2026-05-18T01:19:16Z","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":"7df3e0ac9a97198f6d5f35308c080271f52df63917ba00e90a1eee263c84ab7c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-01T12:17:40Z","title_canon_sha256":"8986334264fe4c1a88abff82f5dd392c737626f2d18865f544e5ffc02c7dab0a"},"schema_version":"1.0","source":{"id":"1410.0198","kind":"arxiv","version":3}},"canonical_sha256":"29182fd21d9f475dee69ead9ff54096fb83e8e7c050963882b516271b6a788ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29182fd21d9f475dee69ead9ff54096fb83e8e7c050963882b516271b6a788ca","first_computed_at":"2026-05-18T01:19:16.258955Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:16.258955Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pTQ1evLJDwpWheruWCeikpUZzR9ewoIlTY060DVQcCh49sbs1QanuqXYXL87uo//2WQACFau/lWCHqDRcwBwCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:16.259343Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.0198","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc91aea8102ce557f0f9fadaafe7844e3f2410a6df180c7e518598a7993743ef","sha256:9fde51e23d046f2279a366da2563de9d964aaa39e4ff32ce779b4d2de0412c68"],"state_sha256":"69a1e5c14e042ede313d7c3bb0112a8b2a7d56a6747994cd9066ec74179e4e50"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bu30jVuEkIZp4TDsve2rJTFL0SKqvArD0eNFoEhRYC4o/TuhGWtKLL8ueOO2VoYJ3xon9mkjKxKsupn4aiggAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T20:35:57.760948Z","bundle_sha256":"d8befc12eb3c99c70755a461b90d076faa717f7ed696480bd3d54f6455ec8731"}}