{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:UW6WMQPZKRKZE72J2EK7XC7WJZ","short_pith_number":"pith:UW6WMQPZ","canonical_record":{"source":{"id":"1804.01391","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-02T03:56:08Z","cross_cats_sorted":[],"title_canon_sha256":"6642b0440d7474e7f0998634156a3d7f7e67aed5a31e32ecf147e8ea8a197b50","abstract_canon_sha256":"54f01017a9e36c9c1d6ac301156d4b6389ccd20c1833882431c22ace8b3714c1"},"schema_version":"1.0"},"canonical_sha256":"a5bd6641f95455927f49d115fb8bf64e653e37d6ae86150802409ca9fd0b30ca","source":{"kind":"arxiv","id":"1804.01391","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01391","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01391v3","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01391","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"pith_short_12","alias_value":"UW6WMQPZKRKZ","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UW6WMQPZKRKZE72J","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UW6WMQPZ","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:UW6WMQPZKRKZE72J2EK7XC7WJZ","target":"record","payload":{"canonical_record":{"source":{"id":"1804.01391","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-02T03:56:08Z","cross_cats_sorted":[],"title_canon_sha256":"6642b0440d7474e7f0998634156a3d7f7e67aed5a31e32ecf147e8ea8a197b50","abstract_canon_sha256":"54f01017a9e36c9c1d6ac301156d4b6389ccd20c1833882431c22ace8b3714c1"},"schema_version":"1.0"},"canonical_sha256":"a5bd6641f95455927f49d115fb8bf64e653e37d6ae86150802409ca9fd0b30ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:12.500647Z","signature_b64":"Va9AMfEoxGABUS0Ie2+jBgqwLhIuTmdbI4VRGOme3oAmDDQ+a14r6pxFTAIZ41ZmVXUcZ+5OEG0bt5OBf+gUDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5bd6641f95455927f49d115fb8bf64e653e37d6ae86150802409ca9fd0b30ca","last_reissued_at":"2026-05-18T00:02:12.499965Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:12.499965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.01391","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:02:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PcUuFEJ+sR8JXL16/tY8KBUYoaLEfcrknCeKYY6TCI0KuDQ5dlt/gEeRM4sgts7aEVVqEWuWSstKbC8GJ0xZBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:00:46.726360Z"},"content_sha256":"061114af2609b9ce8af066c66acb10eb4b2c80817aa9ee1c8769d0019ddd78ff","schema_version":"1.0","event_id":"sha256:061114af2609b9ce8af066c66acb10eb4b2c80817aa9ee1c8769d0019ddd78ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:UW6WMQPZKRKZE72J2EK7XC7WJZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robust Non-termination Analysis of Numerical Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Bai Xue, Naijun Zhan, Qiuye Wang, Yangjia Li","submitted_at":"2018-04-02T03:56:08Z","abstract_excerpt":"Numerical software are widely used in safety-critical systems such as aircrafts, satellites, car engines and so on, facilitating dynamics control of such systems in real time, it is therefore absolutely necessary to verify their correctness. It is a long standing challenge to guarantee verified properties of numerical software are indeed satisfied by their real behaviours, because most of these verifications are conducted under ideal mathematical models, but their real executions could be influenced essentially by uncertain inputs accounting for round-off errors and additive perturbations from"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01391","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:02:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2LKT26Qymi4KBN++m1U5tJig43q1qAqtHKf79CcxUKG8D+fahyoW1gytC5LQkRd+sigCFbtnwUQQXtWX/ZYfCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:00:46.727033Z"},"content_sha256":"9beb4508aae5cb7cf7ea20f014dfe184936da3c8bb855f2e89afb414bd7da61d","schema_version":"1.0","event_id":"sha256:9beb4508aae5cb7cf7ea20f014dfe184936da3c8bb855f2e89afb414bd7da61d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UW6WMQPZKRKZE72J2EK7XC7WJZ/bundle.json","state_url":"https://pith.science/pith/UW6WMQPZKRKZE72J2EK7XC7WJZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UW6WMQPZKRKZE72J2EK7XC7WJZ/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-05T01:00:46Z","links":{"resolver":"https://pith.science/pith/UW6WMQPZKRKZE72J2EK7XC7WJZ","bundle":"https://pith.science/pith/UW6WMQPZKRKZE72J2EK7XC7WJZ/bundle.json","state":"https://pith.science/pith/UW6WMQPZKRKZE72J2EK7XC7WJZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UW6WMQPZKRKZE72J2EK7XC7WJZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UW6WMQPZKRKZE72J2EK7XC7WJZ","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":"54f01017a9e36c9c1d6ac301156d4b6389ccd20c1833882431c22ace8b3714c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-02T03:56:08Z","title_canon_sha256":"6642b0440d7474e7f0998634156a3d7f7e67aed5a31e32ecf147e8ea8a197b50"},"schema_version":"1.0","source":{"id":"1804.01391","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01391","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01391v3","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01391","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"pith_short_12","alias_value":"UW6WMQPZKRKZ","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UW6WMQPZKRKZE72J","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UW6WMQPZ","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:9beb4508aae5cb7cf7ea20f014dfe184936da3c8bb855f2e89afb414bd7da61d","target":"graph","created_at":"2026-05-18T00:02:12Z","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 are widely used in safety-critical systems such as aircrafts, satellites, car engines and so on, facilitating dynamics control of such systems in real time, it is therefore absolutely necessary to verify their correctness. It is a long standing challenge to guarantee verified properties of numerical software are indeed satisfied by their real behaviours, because most of these verifications are conducted under ideal mathematical models, but their real executions could be influenced essentially by uncertain inputs accounting for round-off errors and additive perturbations from","authors_text":"Bai Xue, Naijun Zhan, Qiuye Wang, Yangjia Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-02T03:56:08Z","title":"Robust Non-termination Analysis of Numerical Software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01391","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:061114af2609b9ce8af066c66acb10eb4b2c80817aa9ee1c8769d0019ddd78ff","target":"record","created_at":"2026-05-18T00:02:12Z","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":"54f01017a9e36c9c1d6ac301156d4b6389ccd20c1833882431c22ace8b3714c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-02T03:56:08Z","title_canon_sha256":"6642b0440d7474e7f0998634156a3d7f7e67aed5a31e32ecf147e8ea8a197b50"},"schema_version":"1.0","source":{"id":"1804.01391","kind":"arxiv","version":3}},"canonical_sha256":"a5bd6641f95455927f49d115fb8bf64e653e37d6ae86150802409ca9fd0b30ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5bd6641f95455927f49d115fb8bf64e653e37d6ae86150802409ca9fd0b30ca","first_computed_at":"2026-05-18T00:02:12.499965Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:12.499965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Va9AMfEoxGABUS0Ie2+jBgqwLhIuTmdbI4VRGOme3oAmDDQ+a14r6pxFTAIZ41ZmVXUcZ+5OEG0bt5OBf+gUDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:12.500647Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.01391","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:061114af2609b9ce8af066c66acb10eb4b2c80817aa9ee1c8769d0019ddd78ff","sha256:9beb4508aae5cb7cf7ea20f014dfe184936da3c8bb855f2e89afb414bd7da61d"],"state_sha256":"748aa9e6502d99e06d82362fd6ea2c84117814127cdc6c6db69d3005582f3452"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nL9ZmehNM1DqL48SSkY18ziDvSH3LHeEn+WrAMNIGpv+qTiklVyJuPCsYmAVHfbpnzSeSpnCElWz8SObAA8hAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T01:00:46.732072Z","bundle_sha256":"8c801cd2281465e36dd8ca5fc6499258e2632ff88d3c4a5aa59346224808a78b"}}