{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:5OZ2KTSD2YE55OUVSABCVM6M34","short_pith_number":"pith:5OZ2KTSD","canonical_record":{"source":{"id":"1402.5599","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-23T12:12:40Z","cross_cats_sorted":[],"title_canon_sha256":"d0ef9dc245c5622de9da637202f85b024ef5f07be8b79e4a8908d5a276d3e09c","abstract_canon_sha256":"7222adb7818bc634617bc0fc9e10c024e074e4f412d7c54404961e7355c35c5c"},"schema_version":"1.0"},"canonical_sha256":"ebb3a54e43d609deba9590022ab3ccdf382181d2cd1eba8a0ceb219e2fb93f4a","source":{"kind":"arxiv","id":"1402.5599","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.5599","created_at":"2026-05-18T02:39:31Z"},{"alias_kind":"arxiv_version","alias_value":"1402.5599v5","created_at":"2026-05-18T02:39:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.5599","created_at":"2026-05-18T02:39:31Z"},{"alias_kind":"pith_short_12","alias_value":"5OZ2KTSD2YE5","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5OZ2KTSD2YE55OUV","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5OZ2KTSD","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:5OZ2KTSD2YE55OUVSABCVM6M34","target":"record","payload":{"canonical_record":{"source":{"id":"1402.5599","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-23T12:12:40Z","cross_cats_sorted":[],"title_canon_sha256":"d0ef9dc245c5622de9da637202f85b024ef5f07be8b79e4a8908d5a276d3e09c","abstract_canon_sha256":"7222adb7818bc634617bc0fc9e10c024e074e4f412d7c54404961e7355c35c5c"},"schema_version":"1.0"},"canonical_sha256":"ebb3a54e43d609deba9590022ab3ccdf382181d2cd1eba8a0ceb219e2fb93f4a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:31.995137Z","signature_b64":"FGXGh2IG/gLyqv4vXo/I3nxzA+zHcN/bsRDsdsZDKrVLU6lXPZSWUw1MuMzkRgO+VN609XI0pxOod8xNz64FDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebb3a54e43d609deba9590022ab3ccdf382181d2cd1eba8a0ceb219e2fb93f4a","last_reissued_at":"2026-05-18T02:39:31.994671Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:31.994671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.5599","source_version":5,"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-18T02:39:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2S+W84l+YIxrCltNs75SnDCpak1YeoAaeWoqz+ndcPZofXgGuUcI/slst/BE9KtKZymfS2UKqqgPviU5igH1Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:20:12.580559Z"},"content_sha256":"ab33f5d5f99b44e40b09b25686db9c7a0d7322a5451d77849d51d222c8a17326","schema_version":"1.0","event_id":"sha256:ab33f5d5f99b44e40b09b25686db9c7a0d7322a5451d77849d51d222c8a17326"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:5OZ2KTSD2YE55OUVSABCVM6M34","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alice Miller, Chris Johnson, Tingdi Zhao, Yu Lu, Zhaoguang Peng","submitted_at":"2014-02-23T12:12:40Z","abstract_excerpt":"Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability (RAM) analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures (MTBF) and thus to plan maintenance strategies, optimise reliability and maximise availability. In t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.5599","kind":"arxiv","version":5},"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-18T02:39:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EonA1nxX7fDgDbaO0/ipRbohs11bNMy/f5+pGSzWwQp7306XZugGDtqKxE8WYDv6avWeIJPYY9WZkPMH09FZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:20:12.581273Z"},"content_sha256":"b87d925e37027df01862b1cc9f12dfe64a153babfe0c0c61919321ab8e8dacb4","schema_version":"1.0","event_id":"sha256:b87d925e37027df01862b1cc9f12dfe64a153babfe0c0c61919321ab8e8dacb4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5OZ2KTSD2YE55OUVSABCVM6M34/bundle.json","state_url":"https://pith.science/pith/5OZ2KTSD2YE55OUVSABCVM6M34/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5OZ2KTSD2YE55OUVSABCVM6M34/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-26T20:20:12Z","links":{"resolver":"https://pith.science/pith/5OZ2KTSD2YE55OUVSABCVM6M34","bundle":"https://pith.science/pith/5OZ2KTSD2YE55OUVSABCVM6M34/bundle.json","state":"https://pith.science/pith/5OZ2KTSD2YE55OUVSABCVM6M34/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5OZ2KTSD2YE55OUVSABCVM6M34/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5OZ2KTSD2YE55OUVSABCVM6M34","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":"7222adb7818bc634617bc0fc9e10c024e074e4f412d7c54404961e7355c35c5c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-23T12:12:40Z","title_canon_sha256":"d0ef9dc245c5622de9da637202f85b024ef5f07be8b79e4a8908d5a276d3e09c"},"schema_version":"1.0","source":{"id":"1402.5599","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.5599","created_at":"2026-05-18T02:39:31Z"},{"alias_kind":"arxiv_version","alias_value":"1402.5599v5","created_at":"2026-05-18T02:39:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.5599","created_at":"2026-05-18T02:39:31Z"},{"alias_kind":"pith_short_12","alias_value":"5OZ2KTSD2YE5","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5OZ2KTSD2YE55OUV","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5OZ2KTSD","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:b87d925e37027df01862b1cc9f12dfe64a153babfe0c0c61919321ab8e8dacb4","target":"graph","created_at":"2026-05-18T02:39:31Z","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":"Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability (RAM) analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures (MTBF) and thus to plan maintenance strategies, optimise reliability and maximise availability. In t","authors_text":"Alice Miller, Chris Johnson, Tingdi Zhao, Yu Lu, Zhaoguang Peng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-23T12:12:40Z","title":"Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.5599","kind":"arxiv","version":5},"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:ab33f5d5f99b44e40b09b25686db9c7a0d7322a5451d77849d51d222c8a17326","target":"record","created_at":"2026-05-18T02:39:31Z","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":"7222adb7818bc634617bc0fc9e10c024e074e4f412d7c54404961e7355c35c5c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-23T12:12:40Z","title_canon_sha256":"d0ef9dc245c5622de9da637202f85b024ef5f07be8b79e4a8908d5a276d3e09c"},"schema_version":"1.0","source":{"id":"1402.5599","kind":"arxiv","version":5}},"canonical_sha256":"ebb3a54e43d609deba9590022ab3ccdf382181d2cd1eba8a0ceb219e2fb93f4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ebb3a54e43d609deba9590022ab3ccdf382181d2cd1eba8a0ceb219e2fb93f4a","first_computed_at":"2026-05-18T02:39:31.994671Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:31.994671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FGXGh2IG/gLyqv4vXo/I3nxzA+zHcN/bsRDsdsZDKrVLU6lXPZSWUw1MuMzkRgO+VN609XI0pxOod8xNz64FDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:31.995137Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.5599","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab33f5d5f99b44e40b09b25686db9c7a0d7322a5451d77849d51d222c8a17326","sha256:b87d925e37027df01862b1cc9f12dfe64a153babfe0c0c61919321ab8e8dacb4"],"state_sha256":"6cc0f1da3f177c9b89d15dbf8e268084c9c7d4695b9e3a8328e49aec069fcfc6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dD/EJjgUi+ED8bax28s4M/mQF6yO0G3evOrhA14RruawRAl1VJciVMu/qE+V/Z7dLVz4yVPbBAtU+XF2J8yNAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:20:12.584781Z","bundle_sha256":"8925e9d1953c725a69194a912fb484c4102d70f54f5342bf2a0e9932474908c8"}}