{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:25EQX3KMZUNSMDOD5IV6J7SCO2","short_pith_number":"pith:25EQX3KM","canonical_record":{"source":{"id":"1806.09224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-24T22:37:39Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c8a7de7e6a33963c782527d7868e073f86686380a04124b7c9ff66496cac1a3e","abstract_canon_sha256":"81bc6e826c340549c22f4e55b0decddb626d9eee83cbd115fb5f0b0bc80c44f1"},"schema_version":"1.0"},"canonical_sha256":"d7490bed4ccd1b260dc3ea2be4fe4276b8f275c03e2b738b9f6ff10666c744b8","source":{"kind":"arxiv","id":"1806.09224","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.09224","created_at":"2026-05-18T00:12:29Z"},{"alias_kind":"arxiv_version","alias_value":"1806.09224v1","created_at":"2026-05-18T00:12:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09224","created_at":"2026-05-18T00:12:29Z"},{"alias_kind":"pith_short_12","alias_value":"25EQX3KMZUNS","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"25EQX3KMZUNSMDOD","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"25EQX3KM","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:25EQX3KMZUNSMDOD5IV6J7SCO2","target":"record","payload":{"canonical_record":{"source":{"id":"1806.09224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-24T22:37:39Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c8a7de7e6a33963c782527d7868e073f86686380a04124b7c9ff66496cac1a3e","abstract_canon_sha256":"81bc6e826c340549c22f4e55b0decddb626d9eee83cbd115fb5f0b0bc80c44f1"},"schema_version":"1.0"},"canonical_sha256":"d7490bed4ccd1b260dc3ea2be4fe4276b8f275c03e2b738b9f6ff10666c744b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:29.959826Z","signature_b64":"D5OrzAwpJU51D8hdSUaEehJG/fiNq8SRnek+qTtGfqHWSuvT6D0kvtBM/wmaqXnABVXr3mepF/eBs3u59ltNBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7490bed4ccd1b260dc3ea2be4fe4276b8f275c03e2b738b9f6ff10666c744b8","last_reissued_at":"2026-05-18T00:12:29.959290Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:29.959290Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.09224","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:12:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0yYRnl0dbbtv9mgf6c92azzsXbAZYgLfMdDc5nC54IlTimi9BTn9eIfEe/uY+LccsVzYTHCBRF7A2aY0C3LtBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:59:56.044076Z"},"content_sha256":"8059665095b01271593d361e3053a5b9ac413d131052e65c5295294cc3c7adba","schema_version":"1.0","event_id":"sha256:8059665095b01271593d361e3053a5b9ac413d131052e65c5295294cc3c7adba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:25EQX3KMZUNSMDOD5IV6J7SCO2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cyber-Physical Specification Mismatches","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SY","authors_text":"Khaza Anuarul Hoque, Luan V. Nguyen, Stanley Bak, Steven Drager, Taylor T. Johnson","submitted_at":"2018-06-24T22:37:39Z","abstract_excerpt":"Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and have stringent certification, reliability, and correctness requirements. These systems undergo changes throughout their lifetimes, where either the software or physical hardware is updated in subsequent design iterations. One source of failure in safety-critical CPS is when there are unstated assumptions in either the physical or cyber parts of the syst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09224","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:12:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G/QlEqHnvOYJlblT1PEbit+q/9hYas78NIv2Xm3qLyndEBIWIu+Hd3qbQchmrbMgf25hWDnF1QxGsHEleURlBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:59:56.044453Z"},"content_sha256":"7e0671c09db5b6d1add09dc1bfc5d070ed1938624c3c701f64fe45861f01794a","schema_version":"1.0","event_id":"sha256:7e0671c09db5b6d1add09dc1bfc5d070ed1938624c3c701f64fe45861f01794a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/bundle.json","state_url":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/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-03T12:59:56Z","links":{"resolver":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2","bundle":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/bundle.json","state":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:25EQX3KMZUNSMDOD5IV6J7SCO2","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":"81bc6e826c340549c22f4e55b0decddb626d9eee83cbd115fb5f0b0bc80c44f1","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-24T22:37:39Z","title_canon_sha256":"c8a7de7e6a33963c782527d7868e073f86686380a04124b7c9ff66496cac1a3e"},"schema_version":"1.0","source":{"id":"1806.09224","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.09224","created_at":"2026-05-18T00:12:29Z"},{"alias_kind":"arxiv_version","alias_value":"1806.09224v1","created_at":"2026-05-18T00:12:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09224","created_at":"2026-05-18T00:12:29Z"},{"alias_kind":"pith_short_12","alias_value":"25EQX3KMZUNS","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"25EQX3KMZUNSMDOD","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"25EQX3KM","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:7e0671c09db5b6d1add09dc1bfc5d070ed1938624c3c701f64fe45861f01794a","target":"graph","created_at":"2026-05-18T00:12:29Z","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":"Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and have stringent certification, reliability, and correctness requirements. These systems undergo changes throughout their lifetimes, where either the software or physical hardware is updated in subsequent design iterations. One source of failure in safety-critical CPS is when there are unstated assumptions in either the physical or cyber parts of the syst","authors_text":"Khaza Anuarul Hoque, Luan V. Nguyen, Stanley Bak, Steven Drager, Taylor T. Johnson","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-24T22:37:39Z","title":"Cyber-Physical Specification Mismatches"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09224","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:8059665095b01271593d361e3053a5b9ac413d131052e65c5295294cc3c7adba","target":"record","created_at":"2026-05-18T00:12:29Z","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":"81bc6e826c340549c22f4e55b0decddb626d9eee83cbd115fb5f0b0bc80c44f1","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-24T22:37:39Z","title_canon_sha256":"c8a7de7e6a33963c782527d7868e073f86686380a04124b7c9ff66496cac1a3e"},"schema_version":"1.0","source":{"id":"1806.09224","kind":"arxiv","version":1}},"canonical_sha256":"d7490bed4ccd1b260dc3ea2be4fe4276b8f275c03e2b738b9f6ff10666c744b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d7490bed4ccd1b260dc3ea2be4fe4276b8f275c03e2b738b9f6ff10666c744b8","first_computed_at":"2026-05-18T00:12:29.959290Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:29.959290Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D5OrzAwpJU51D8hdSUaEehJG/fiNq8SRnek+qTtGfqHWSuvT6D0kvtBM/wmaqXnABVXr3mepF/eBs3u59ltNBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:29.959826Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.09224","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8059665095b01271593d361e3053a5b9ac413d131052e65c5295294cc3c7adba","sha256:7e0671c09db5b6d1add09dc1bfc5d070ed1938624c3c701f64fe45861f01794a"],"state_sha256":"f3dd51fad31810ae0ac5e2c1be0f1c4a8671120e0336f58a16d0fff9e459a279"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lxSglbc2SIQ3UAMTB6lSUBA3uB413lteS7jJ6otSQ8doRL4gEouv4vr6cMSNWEH5WDleewEjkHaEqhz0SbUeAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T12:59:56.046348Z","bundle_sha256":"e0fae245576074cc6ab00302d5ba9a5528eef0c07100df2131434cbdf7340053"}}