{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7MYS52NI3VKOEQ7XHGF7D7K5E5","short_pith_number":"pith:7MYS52NI","canonical_record":{"source":{"id":"1805.00468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-01T17:58:14Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"da3054f969d759950ca5ff5f542e0a2640ba69c515438b52b5293e5c51250763","abstract_canon_sha256":"351993eb2064711bbbe97ea68fa017bc0564acbbd9af4d6f6a6cb80fdbd489d8"},"schema_version":"1.0"},"canonical_sha256":"fb312ee9a8dd54e243f7398bf1fd5d277e41ba3b6b3625e13abd5bfc086ed0a3","source":{"kind":"arxiv","id":"1805.00468","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00468","created_at":"2026-05-18T00:17:02Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00468v1","created_at":"2026-05-18T00:17:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00468","created_at":"2026-05-18T00:17:02Z"},{"alias_kind":"pith_short_12","alias_value":"7MYS52NI3VKO","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7MYS52NI3VKOEQ7X","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7MYS52NI","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7MYS52NI3VKOEQ7XHGF7D7K5E5","target":"record","payload":{"canonical_record":{"source":{"id":"1805.00468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-01T17:58:14Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"da3054f969d759950ca5ff5f542e0a2640ba69c515438b52b5293e5c51250763","abstract_canon_sha256":"351993eb2064711bbbe97ea68fa017bc0564acbbd9af4d6f6a6cb80fdbd489d8"},"schema_version":"1.0"},"canonical_sha256":"fb312ee9a8dd54e243f7398bf1fd5d277e41ba3b6b3625e13abd5bfc086ed0a3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:02.357495Z","signature_b64":"t1AeSo4jLYzH+1DE3sHus0JIy+nn+1AflOg5FoKUnNDaFUuJuROdavBcBOpyJM5EypECrjtl047QK8wxthkgDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb312ee9a8dd54e243f7398bf1fd5d277e41ba3b6b3625e13abd5bfc086ed0a3","last_reissued_at":"2026-05-18T00:17:02.356807Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:02.356807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.00468","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:17:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5MQnvxHMbxSKgJ+Akd3Y47mnnVMyn5D68oppwSN3DlIBSeHjoxuyl8zEHhSD+uGwAPGBvUOvMLXwngx9pcSPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:01:35.647695Z"},"content_sha256":"424337807c3eaa63e6bbb357d61049691c49e6d6ea0cdd4fa97696f73d830aa3","schema_version":"1.0","event_id":"sha256:424337807c3eaa63e6bbb357d61049691c49e6d6ea0cdd4fa97696f73d830aa3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7MYS52NI3VKOEQ7XHGF7D7K5E5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computable decision making on the reals and other spaces via partiality and nondeterminism","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Adam Chlipala, Benjamin Sherman, Luke Sciarappa, Michael Carbin","submitted_at":"2018-05-01T17:58:14Z","abstract_excerpt":"Though many safety-critical software systems use floating point to represent real-world input and output, programmers usually have idealized versions in mind that compute with real numbers. Significant deviations from the ideal can cause errors and jeopardize safety. Some programming systems implement exact real arithmetic, which resolves this matter but complicates others, such as decision making. In these systems, it is impossible to compute (total and deterministic) discrete decisions based on connected spaces such as $\\mathbb{R}$. We present programming-language semantics based on construc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00468","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:17:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tFlRSw+Yx3CQHQRD4MnHkcqD1psIyKacQ9V4n0uyUmMl0J4meqF6Runb+RDQS6bHbbj2dI0daePQUxZrkos3DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:01:35.648063Z"},"content_sha256":"d094e1933786bf75a17273d538aee478400becabf3c836195043d6ae45dd7ce5","schema_version":"1.0","event_id":"sha256:d094e1933786bf75a17273d538aee478400becabf3c836195043d6ae45dd7ce5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7MYS52NI3VKOEQ7XHGF7D7K5E5/bundle.json","state_url":"https://pith.science/pith/7MYS52NI3VKOEQ7XHGF7D7K5E5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7MYS52NI3VKOEQ7XHGF7D7K5E5/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-04T11:01:35Z","links":{"resolver":"https://pith.science/pith/7MYS52NI3VKOEQ7XHGF7D7K5E5","bundle":"https://pith.science/pith/7MYS52NI3VKOEQ7XHGF7D7K5E5/bundle.json","state":"https://pith.science/pith/7MYS52NI3VKOEQ7XHGF7D7K5E5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7MYS52NI3VKOEQ7XHGF7D7K5E5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7MYS52NI3VKOEQ7XHGF7D7K5E5","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":"351993eb2064711bbbe97ea68fa017bc0564acbbd9af4d6f6a6cb80fdbd489d8","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-01T17:58:14Z","title_canon_sha256":"da3054f969d759950ca5ff5f542e0a2640ba69c515438b52b5293e5c51250763"},"schema_version":"1.0","source":{"id":"1805.00468","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00468","created_at":"2026-05-18T00:17:02Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00468v1","created_at":"2026-05-18T00:17:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00468","created_at":"2026-05-18T00:17:02Z"},{"alias_kind":"pith_short_12","alias_value":"7MYS52NI3VKO","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7MYS52NI3VKOEQ7X","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7MYS52NI","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:d094e1933786bf75a17273d538aee478400becabf3c836195043d6ae45dd7ce5","target":"graph","created_at":"2026-05-18T00:17:02Z","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":"Though many safety-critical software systems use floating point to represent real-world input and output, programmers usually have idealized versions in mind that compute with real numbers. Significant deviations from the ideal can cause errors and jeopardize safety. Some programming systems implement exact real arithmetic, which resolves this matter but complicates others, such as decision making. In these systems, it is impossible to compute (total and deterministic) discrete decisions based on connected spaces such as $\\mathbb{R}$. We present programming-language semantics based on construc","authors_text":"Adam Chlipala, Benjamin Sherman, Luke Sciarappa, Michael Carbin","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-01T17:58:14Z","title":"Computable decision making on the reals and other spaces via partiality and nondeterminism"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00468","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:424337807c3eaa63e6bbb357d61049691c49e6d6ea0cdd4fa97696f73d830aa3","target":"record","created_at":"2026-05-18T00:17:02Z","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":"351993eb2064711bbbe97ea68fa017bc0564acbbd9af4d6f6a6cb80fdbd489d8","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-01T17:58:14Z","title_canon_sha256":"da3054f969d759950ca5ff5f542e0a2640ba69c515438b52b5293e5c51250763"},"schema_version":"1.0","source":{"id":"1805.00468","kind":"arxiv","version":1}},"canonical_sha256":"fb312ee9a8dd54e243f7398bf1fd5d277e41ba3b6b3625e13abd5bfc086ed0a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb312ee9a8dd54e243f7398bf1fd5d277e41ba3b6b3625e13abd5bfc086ed0a3","first_computed_at":"2026-05-18T00:17:02.356807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:02.356807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t1AeSo4jLYzH+1DE3sHus0JIy+nn+1AflOg5FoKUnNDaFUuJuROdavBcBOpyJM5EypECrjtl047QK8wxthkgDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:02.357495Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.00468","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:424337807c3eaa63e6bbb357d61049691c49e6d6ea0cdd4fa97696f73d830aa3","sha256:d094e1933786bf75a17273d538aee478400becabf3c836195043d6ae45dd7ce5"],"state_sha256":"c0607a75272b7d959836f5e9e227cdd0360d03903b0644024d339d0acc686a33"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aJKYBLc7y1VTdDBoQKUeExybYFIo766ccMzEPSCJE5ku+IRYHQRIM2FucV64EEFeG/tttzNaBdHolznkmHuHAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T11:01:35.650132Z","bundle_sha256":"bef7e42b2dee881989a7d069bc6d5b74af647502755be4d1fb4aaee742bb188c"}}