{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WMG4LBTCFPTJ5OQXO5SU6EEIQF","short_pith_number":"pith:WMG4LBTC","canonical_record":{"source":{"id":"1811.08064","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-20T04:02:41Z","cross_cats_sorted":["cs.FL","cs.LO","cs.SY"],"title_canon_sha256":"c2f7751fc77d1507edbcfd71647fb951980e193ca97e700d9003dc3373a42532","abstract_canon_sha256":"a684552b242e18245c11a17d014aad73926acc0eb360245ac0bdab59bbfe7228"},"schema_version":"1.0"},"canonical_sha256":"b30dc586622be69eba1777654f108881616856260184fca6a4c9484903577618","source":{"kind":"arxiv","id":"1811.08064","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.08064","created_at":"2026-05-18T00:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1811.08064v1","created_at":"2026-05-18T00:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.08064","created_at":"2026-05-18T00:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"WMG4LBTCFPTJ","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WMG4LBTCFPTJ5OQX","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WMG4LBTC","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WMG4LBTCFPTJ5OQXO5SU6EEIQF","target":"record","payload":{"canonical_record":{"source":{"id":"1811.08064","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-20T04:02:41Z","cross_cats_sorted":["cs.FL","cs.LO","cs.SY"],"title_canon_sha256":"c2f7751fc77d1507edbcfd71647fb951980e193ca97e700d9003dc3373a42532","abstract_canon_sha256":"a684552b242e18245c11a17d014aad73926acc0eb360245ac0bdab59bbfe7228"},"schema_version":"1.0"},"canonical_sha256":"b30dc586622be69eba1777654f108881616856260184fca6a4c9484903577618","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:13.993025Z","signature_b64":"6bZXnSndghT87UazZxZdg1ZSvY4A/0E4pJOo0Mqrb/nk7P06aeLLy0D3up1PQjg26dda4GhS0WEREqOAnpinDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b30dc586622be69eba1777654f108881616856260184fca6a4c9484903577618","last_reissued_at":"2026-05-18T00:00:13.992277Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:13.992277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.08064","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:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lnfQVNMdy3HCNhHmMDNFDxQws/TmVbql1vijfm2jhJDGPHsoX6M1j0VN0Mu+z83FVXt5kHEGX57cz/kd7lydBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:40:57.097643Z"},"content_sha256":"fd8c7c66a579328f92176a7fc70befca83f664d2cd51c4b743a1b0cfc916d2d4","schema_version":"1.0","event_id":"sha256:fd8c7c66a579328f92176a7fc70befca83f664d2cd51c4b743a1b0cfc916d2d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WMG4LBTCFPTJ5OQXO5SU6EEIQF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.LO","cs.SY"],"primary_cat":"cs.SE","authors_text":"Chunhui Guo, Lui Sha, Shangping Ren, Zhenyu Zhang, Zhicheng Fu","submitted_at":"2018-11-20T04:02:41Z","abstract_excerpt":"Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be reduced by computerizing medical guidelines. Most existing medical guideline models are validated and/or verified based on the assumption that all necessary medical resources needed for a patient care are always available. However, the reality is that some medical resources, such as special medical equipment or medical specialists, can be temporarily unavailable for an individual patient. In such cases, safety properties valid"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.08064","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:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OwEwnoREbpIezhpFkDfqv9wFjMbyotXOMsSXUm5y1B9uh7MLtTHu3Kk/SKLiyufb6YOnZpUAW3U58LRPLh4ODw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:40:57.098222Z"},"content_sha256":"06cfe7cb25a0c4781b5dd1acbd15a5fbd6c3e774610513b3c0ab7d061620e7bb","schema_version":"1.0","event_id":"sha256:06cfe7cb25a0c4781b5dd1acbd15a5fbd6c3e774610513b3c0ab7d061620e7bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WMG4LBTCFPTJ5OQXO5SU6EEIQF/bundle.json","state_url":"https://pith.science/pith/WMG4LBTCFPTJ5OQXO5SU6EEIQF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WMG4LBTCFPTJ5OQXO5SU6EEIQF/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-26T18:40:57Z","links":{"resolver":"https://pith.science/pith/WMG4LBTCFPTJ5OQXO5SU6EEIQF","bundle":"https://pith.science/pith/WMG4LBTCFPTJ5OQXO5SU6EEIQF/bundle.json","state":"https://pith.science/pith/WMG4LBTCFPTJ5OQXO5SU6EEIQF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WMG4LBTCFPTJ5OQXO5SU6EEIQF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WMG4LBTCFPTJ5OQXO5SU6EEIQF","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":"a684552b242e18245c11a17d014aad73926acc0eb360245ac0bdab59bbfe7228","cross_cats_sorted":["cs.FL","cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-20T04:02:41Z","title_canon_sha256":"c2f7751fc77d1507edbcfd71647fb951980e193ca97e700d9003dc3373a42532"},"schema_version":"1.0","source":{"id":"1811.08064","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.08064","created_at":"2026-05-18T00:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1811.08064v1","created_at":"2026-05-18T00:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.08064","created_at":"2026-05-18T00:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"WMG4LBTCFPTJ","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WMG4LBTCFPTJ5OQX","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WMG4LBTC","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:06cfe7cb25a0c4781b5dd1acbd15a5fbd6c3e774610513b3c0ab7d061620e7bb","target":"graph","created_at":"2026-05-18T00:00:13Z","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":"Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be reduced by computerizing medical guidelines. Most existing medical guideline models are validated and/or verified based on the assumption that all necessary medical resources needed for a patient care are always available. However, the reality is that some medical resources, such as special medical equipment or medical specialists, can be temporarily unavailable for an individual patient. In such cases, safety properties valid","authors_text":"Chunhui Guo, Lui Sha, Shangping Ren, Zhenyu Zhang, Zhicheng Fu","cross_cats":["cs.FL","cs.LO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-20T04:02:41Z","title":"Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.08064","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:fd8c7c66a579328f92176a7fc70befca83f664d2cd51c4b743a1b0cfc916d2d4","target":"record","created_at":"2026-05-18T00:00:13Z","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":"a684552b242e18245c11a17d014aad73926acc0eb360245ac0bdab59bbfe7228","cross_cats_sorted":["cs.FL","cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-20T04:02:41Z","title_canon_sha256":"c2f7751fc77d1507edbcfd71647fb951980e193ca97e700d9003dc3373a42532"},"schema_version":"1.0","source":{"id":"1811.08064","kind":"arxiv","version":1}},"canonical_sha256":"b30dc586622be69eba1777654f108881616856260184fca6a4c9484903577618","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b30dc586622be69eba1777654f108881616856260184fca6a4c9484903577618","first_computed_at":"2026-05-18T00:00:13.992277Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:13.992277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6bZXnSndghT87UazZxZdg1ZSvY4A/0E4pJOo0Mqrb/nk7P06aeLLy0D3up1PQjg26dda4GhS0WEREqOAnpinDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:13.993025Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.08064","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd8c7c66a579328f92176a7fc70befca83f664d2cd51c4b743a1b0cfc916d2d4","sha256:06cfe7cb25a0c4781b5dd1acbd15a5fbd6c3e774610513b3c0ab7d061620e7bb"],"state_sha256":"12939a5d8f1074f43dd22874736de6c377d2be4f6341054e40232f8c9865fc77"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pHvcD53BpVERIpi5R6zH5WZQjJiDAEWIc4Z9UVc7OflksPzsr5DrzKWtjw8vE/mJPSgIQ8NJye8bqkQUlLVHCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T18:40:57.101372Z","bundle_sha256":"6b15b1cb6038a7f727c30a611f2f35c00b6cac1c1c42c3cebe4d5d55a093d9fb"}}